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


../
clips-doc_6.24-2.1.diff.gz                         24-Dec-2016 00:23    3845
clips-doc_6.24-2.1.dsc                             24-Dec-2016 00:23    1710
clips-doc_6.24-2.diff.gz                           03-May-2008 11:20    3884
clips-doc_6.24-2.dsc                               03-May-2008 11:20     618
clips-doc_6.24-2_all.deb                           06-May-2008 17:04      8M
clips-doc_6.24.orig.tar.gz                         27-Apr-2007 19:04      8M