Index of /old/debian/pool/main/c/clips-doc/

../
clips-doc_6.24-2.diff.gz                           03-Oct-2017 12:01                3884
clips-doc_6.24-2.dsc                               03-Oct-2017 12:01                 618
clips-doc_6.24-2_all.deb                           24-Aug-2017 09:28             7963996
clips-doc_6.24.orig.tar.gz                         03-Oct-2017 08:07             7965554