Index of /slackbuilds/13.37/academic/coq

      Name                         Last modified      Size  Description
      Parent Directory                                  -   
      gpl.txt.gz                   2011-08-11 20:58   12K  
      coq.SlackBuild               2011-08-11 20:58  2.7K  
      README                       2011-08-11 20:58  935   
      slack-desc                   2011-08-11 20:58  833   
      coq.info                     2011-08-11 20:58  290