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

	Name	Last modified	Size	Description
	Parent Directory		-
	clips-doc_6.24.orig.tar.gz	2007-04-27 06:04	7.6M
	clips-doc_6.24-1.1.diff.gz	2008-03-31 21:03	3.3K
	clips-doc_6.24-1.1.dsc	2008-03-31 21:03	613
	clips-doc_6.24-1.1_all.deb	2008-03-31 22:03	7.6M