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