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

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