Index of ftp://rlworkman.net/pub/slackbuilds.org/14.0/academic/coq

[DIR] Parent Directory

[ ] README  696.00b  September 29 2012
[ ] coq.SlackBuild  2.75Kb  October 2 2012
[ ] coq.info  286.00b  September 29 2012
[ GZ] gpl.txt.gz  11.85Kb  August 12 2011
[ ] slack-desc  833.00b  August 12 2011