Age | Commit message (Expand) | Author |
---|---|---|
2016-01-24 | Remove no longer (or never) referenced patches | Tobias Geerinckx-Rice |
2016-01-04 | ssreflect, mathcomp: fix build | Vincent Laporte |
2015-12-20 | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley |
2015-10-31 | coqPackages.ssreflect: add ncurses as a dependency | John Wiegley |
2015-06-19 | ssreflect, mathcomp: better package names | Vincent Laporte |
2015-06-19 | coq-ssreflect: refactor | Vincent Laporte |
2015-06-19 | coq-ssreflect: also build and install the documentation | Vincent Laporte |
2015-04-26 | coq_8_5: New expression | John Wiegley |
2014-10-13 | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley |
2014-09-28 | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte |