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


../
clips-doc_6.23-1.diff.gz                           22-Feb-2005 21:47                2080
clips-doc_6.23-1.dsc                               30-Apr-2005 11:53                 697
clips-doc_6.23-1_all.deb                           22-Feb-2005 21:47             5914896
clips-doc_6.23.orig.tar.gz                         30-Apr-2005 11:53             5913919