Index of /sbo/14.0/academic/coq

            _ ,,,,              _
       __    |-|-:__    ___.   |  ,  __    __  __    . ,.  ___
      (__`   |''''__)  /   `   |.(    |    |   __)    |   /___)
  |   .__)  _|_  (__|_ '.__.  _|  \_  \_/\_/  (__|_  _|_  '.__.
  |
  |__________________________________________________  | |  |_/
                                                       \_/  | \

 Name                    Last modified      Size  Description
 Parent Directory                             -    
 README                  2012-09-29 05:34  696    
 coq.SlackBuild          2012-10-02 18:59  2.7K   
 coq.info                2012-09-29 05:34  286    
 gpl.txt.gz              2011-08-12 02:58   12K   
 slack-desc              2011-08-12 02:58  833

Apache/2 Server at raw.slackware.uk Port 443