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

../
README                                             18-Jan-2020 05:32                 367
coq.SlackBuild                                     18-Jan-2020 05:32                3234
coq.info                                           18-Jan-2020 05:32                 295
gpl.txt.gz                                         26-Nov-2013 09:57               12138
slack-desc                                         18-Jan-2020 05:32                 831