Commit graph

2 commits

Author SHA1 Message Date
Robby Workman
738fcf4d62 academic/coq: Fixed dep information
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
2012-08-22 16:07:13 -05:00
William Bowman
bef4f3c03f academic/coq: Added (The Coq Proof Assistant)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-08-05 11:11:34 -03:00