../ 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