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

Icon  Name                       Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] clips-doc_6.24.orig.tar.gz 2007-04-27 12:04 7.6M [   ] clips-doc_6.24-2_all.deb 2008-05-06 10:04 7.6M [   ] clips-doc_6.24-2.diff.gz 2008-05-03 04:20 3.8K [   ] clips-doc_6.24-2.1.diff.gz 2016-12-23 16:23 3.8K [TXT] clips-doc_6.24-2.1.dsc 2016-12-23 16:23 1.7K [TXT] clips-doc_6.24-2.dsc 2008-05-03 04:20 618
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443