summaryrefslogtreecommitdiffstats
path: root/academic/coq/coq.SlackBuild (follow)
Commit message (Expand)AuthorAgeFilesLines
* various: Update find command to match template....Signed-off-by: dsomero <xgizzmo@slackbuilds.org> dsomero2013-11-221-2/+2
* various: Fix SlackBuild formatting and comment nit picks....Signed-off-by: dsomero <xgizzmo@slackbuilds.org> dsomero2013-11-221-8/+8
* academic/coq: Added (The Coq Proof Assistant)...Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> William Bowman2011-08-051-0/+104