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


../
clips-doc_6.24-1.1.diff.gz                         01-Apr-2008 01:03                3344
clips-doc_6.24-1.1.dsc                             01-Apr-2008 01:03                 613
clips-doc_6.24-1.1_all.deb                         01-Apr-2008 02:03             7962870
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