Index of /ubuntu/pool/universe/c/clips-doc

	Name	Last modified	Size	Description
	Parent Directory		-
	clips-doc_6.24-2.1.diff.gz	2016-12-23 22:23	3.8K
	clips-doc_6.24-2.1.dsc	2016-12-23 22:23	1.7K
	clips-doc_6.24.orig.tar.gz	2007-04-27 17:04	7.6M