Index of /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               12138
slack-desc                                         11-Aug-2011 22:00                 833