ftp://ftp.school.ioffe.ru/pub/mirrors/debian/pool/main/c/clips-doc/  direct

5.64 MB  2004-02-23clips-doc_6.23-1_all.deb  info  browse  108 mirrors
 clips-doc - "C" Language Integrated Production System Documentation
 /Main/Debian/all/doc/