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

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      clips-doc_6.24-2.1.diff.gz                    2016-12-23 10:23  3.8K  
      clips-doc_6.24-2.1.dsc                        2016-12-23 10:23  1.7K  
      clips-doc_6.24-2.diff.gz                      2008-05-02 22:20  3.8K  
      clips-doc_6.24-2.dsc                          2008-05-02 22:20  618   
      clips-doc_6.24-2_all.deb                      2008-05-06 04:04  7.6M  
      clips-doc_6.24.orig.tar.gz                    2007-04-27 06:04  7.6M