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             7963994
clips-doc_6.24.orig.tar.gz                                                                                               27-Apr-2007 10:04             7965554