Index of /mirror/archive.debian.org/debian/pool/main/c/clips-doc

	Name	Last modified	Size	Description
	Parent Directory		-
	clips-doc_6.24.orig.tar.gz	2007-04-02 00:02	7.6M
	clips-doc_6.24-2.1_all.deb	2016-12-23 06:44	7.6M
	clips-doc_6.24-2.1.dsc	2016-12-21 06:02	1.7K
	clips-doc_6.24-2.1.diff.gz	2016-12-21 06:02	3.8K