Index of /slackbuilds/14.1/academic/coq

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[   ] README                      2013-11-26 03:57  696   
[   ] coq.SlackBuild              2013-11-26 03:57  2.8K  
[   ] coq.info                    2013-11-26 03:57  286   
[   ] gpl.txt.gz                  2013-11-26 03:57   12K  
[   ] slack-desc                  2013-11-26 03:57  830