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

../
README                                             26-Nov-2013 09:57                 696
coq.SlackBuild                                     26-Nov-2013 09:57                2821
coq.info                                           26-Nov-2013 09:57                 286
gpl.txt.gz                                         26-Nov-2013 09:57               12138
slack-desc                                         26-Nov-2013 09:57                 830