Index of /pub/slackbuilds.org/slackbuilds/13.37/academic/coq/

../
README                                             12-Aug-2011 01:58                 935
coq.SlackBuild                                     12-Aug-2011 01:58                2814
coq.info                                           12-Aug-2011 01:58                 290
gpl.txt.gz                                         12-Aug-2011 01:58               12138
slack-desc                                         12-Aug-2011 01:58                 833