Index of /slackbuilds.org/14.2/academic/coq
Name
Last modified
Size
Description
Parent Directory
-
slack-desc
18-Jan-2020 14:32
831
gpl.txt.gz
26-Nov-2013 18:57
12K
coq.info
18-Jan-2020 14:32
295
coq.SlackBuild
18-Jan-2020 14:32
3.2K