Index of /ubuntu/pool/universe/c/clips-doc/
../ clips-doc_6.24-2.1.diff.gz 23-Dec-2016 15:23 3845 clips-doc_6.24-2.1.dsc 23-Dec-2016 15:23 1710 clips-doc_6.24-2.diff.gz 03-May-2008 02:20 3884 clips-doc_6.24-2.dsc 03-May-2008 02:20 618 clips-doc_6.24-2_all.deb 06-May-2008 08:04 8M clips-doc_6.24.orig.tar.gz 27-Apr-2007 10:04 8M