Index of /slackware/sbo/local/14.2/academic/coq/

../
README                                             16-Jan-2022 10:36                 367
coq.SlackBuild                                     16-Jan-2022 10:36                3234
coq.info                                           16-Jan-2022 10:36                 295
gpl.txt.gz                                         16-Jan-2022 10:36               12138
slack-desc                                         16-Jan-2022 10:36                 831