| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2017-02-11 | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 2 | -15/+3 |
| 2017-01-25 | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 2 | -33/+16 |
| 2016-12-22 | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2 | -18/+32 |
| 2016-01-04 | ssreflect, mathcomp: fix build | Vincent Laporte | 1 | -0/+1 |
| 2015-12-20 | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2 | -12/+20 |
| 2015-06-19 | ssreflect, mathcomp: better package names | Vincent Laporte | 1 | -1/+1 |
| 2015-06-19 | coq-mathcomp: refactor | Vincent Laporte | 3 | -53/+49 |
| 2015-06-19 | coq-mathcomp: also build and install the documentation | Vincent Laporte | 1 | -1/+10 |
| 2015-04-26 | coq_8_5: New expression | John Wiegley | 1 | -0/+26 |
| 2014-10-13 | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 1 | -1/+3 |
| 2014-09-28 | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 1 | -0/+24 |
