aboutsummaryrefslogtreecommitdiff
path: root/academic/coq/coq.SlackBuild
AgeCommit message (Expand)Author
2011-08-05academic/coq: Added (The Coq Proof Assistant)William Bowman
generated by cgit v1.2.3 (git 2.26.2) at 2024-09-22 01:56:29 +0000