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     12K
slack-desc                                         12-Aug-2011 01:58     833