ftp://ftp.kfki.hu/pub/linux/ubuntu/pool/universe/c/clips-doc/  direct

7.60 MB  2006-04-27clips-doc_6.24.orig.tar.gz  info  browse  426+ mirrors
 clips-doc_6.24.orig.tar.gz
 /Main/Debian/Other/

7.60 MB  2007-05-07clips-doc_6.24-2_all.deb  info  browse  180 mirrors
 clips-doc - "C" Language Integrated Production System Documentation
 /Main/Ubuntu/all/doc/

618 B  2007-05-04clips-doc_6.24-2.dsc  424+ mirrors
3.79 KB  2007-05-04clips-doc_6.24-2.diff.gz  427+ mirrors
7.59 MB  2007-04-02clips-doc_6.24-1.1_all.deb  info  browse  178 mirrors
 clips-doc - "C" Language Integrated Production System Documentation
 /Main/Ubuntu/all/doc/

613 B  2007-04-02clips-doc_6.24-1.1.dsc  172 mirrors
3.27 KB  2007-04-02clips-doc_6.24-1.1.diff.gz  176 mirrors
5.64 MB  2004-04-13clips-doc_6.23.orig.tar.gz  info  browse  488+ mirrors
 clips-doc_6.23.orig.tar.gz
 /Main/Debian/Other/

5.64 MB  2004-10-25clips-doc_6.23-2_all.deb  info  browse  176 mirrors
 clips-doc - "C" Language Integrated Production System Documentation
 /Main/Ubuntu/all/doc/

697 B  2004-10-25clips-doc_6.23-2.dsc  437+ mirrors
2.09 KB  2004-10-25clips-doc_6.23-2.diff.gz  440+ mirrors