Index of /slackbuilds/14.2/academic/coq

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[   ] README                      2020-01-17 23:32  367   
[   ] coq.SlackBuild              2020-01-17 23:32  3.2K  
[   ] coq.info                    2020-01-17 23:32  295   
[   ] gpl.txt.gz                  2013-11-26 03:57   12K  
[   ] slack-desc                  2020-01-17 23:32  831