summaryrefslogtreecommitdiffstats
path: root/devel/coq
AgeCommit message (Expand)Author
2014-02-02devel/coq: fix detection of make during configureFlorian Franzmann
2013-05-26devel/coq: add dependency on zarithFlorian Franzmann
2012-09-09devel/coq: version 8.4Florian Franzmann
2012-03-02devel/coq: new spell, a formal proof management systemFlorian Franzmann