| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2015-12-20 |
| * | coqPackages.ssreflect: add ncurses as a dependency | John Wiegley | 2015-10-31 |
| * | 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-06-19 |
| * | coq_8_5: New expression | John Wiegley | 2015-04-26 |
| * | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 2014-10-13 |
| * | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 2014-09-28 |