Age | Commit message (Expand) | Author |
---|---|---|
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 |