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

../
README                                             29-Sep-2012 04:34                 696
coq.SlackBuild                                     02-Oct-2012 17:59                2814
coq.info                                           29-Sep-2012 04:34                 286
gpl.txt.gz                                         12-Aug-2011 01:58               12138
slack-desc                                         12-Aug-2011 01:58                 833