Index of /salix/sbo/13.37/academic/coq/

../
README                                             11-Aug-2011 22:00     935
coq.SlackBuild                                     11-Aug-2011 22:00    2814
coq.info                                           11-Aug-2011 22:00     290
gpl.txt.gz                                         11-Aug-2011 22:00     12K
slack-desc                                         11-Aug-2011 22:00     833