summaryrefslogtreecommitdiffstats
path: root/academic/coq/coq.SlackBuild
AgeCommit message (Expand)Author
2013-11-22various: Update find command to match template. dsomero
2013-11-22various: Fix SlackBuild formatting and comment nit picks. dsomero
2011-08-05academic/coq: Added (The Coq Proof Assistant) William Bowman