Index of /Salix/sbo/13.37/academic/coq/

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