Index of /salix/sbo/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                                         11-Aug-2011 22:00     12K
slack-desc                                         18-Jan-2020 05:32     831