Index of /salix/sbo/14.0/academic/coq/

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