Index of /debian/pool/main/c/clips-doc

	Name	Last modified	Size	Description
	Parent Directory		-
	clips-doc_6.24-2.diff.gz	16-Apr-2008 09:47	3.8K
	clips-doc_6.24-2.dsc	16-Apr-2008 09:47	618
	clips-doc_6.24-2_all.deb	16-Apr-2008 09:47	7.6M
	clips-doc_6.24.orig.tar.gz	01-Apr-2007 17:02	7.6M