Age | Commit message (Expand) | Author |
---|---|---|
2019-08-19 | coq 8.9.1 | Ismael Luceno |
2018-12-08 | devel/coq: version 8.8.2 | Florian Franzmann |
2015-06-11 | coq 8.4pl6 | Ismael Luceno |
2014-02-02 | devel/coq: fix detection of make during configure | Florian Franzmann |
2013-05-26 | devel/coq: add dependency on zarith | Florian Franzmann |
2012-09-09 | devel/coq: version 8.4 | Florian Franzmann |
2012-03-02 | devel/coq: new spell, a formal proof management system | Florian Franzmann |