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

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] README                              2012-09-29 04:34  696   
[   ] coq.SlackBuild                      2012-10-02 17:59  2.7K  
[   ] coq.info                            2012-09-29 04:34  286   
[   ] gpl.txt.gz                          2011-08-12 01:58   12K  
[   ] slack-desc                          2011-08-12 01:58  833