Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 2017-02-11 |
* | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 2017-01-25 |
* | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2016-12-22 |
* | ssreflect, mathcomp: fix build | Vincent Laporte | 2016-01-04 |
* | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2015-12-20 |
* | ssreflect, mathcomp: better package names | Vincent Laporte | 2015-06-19 |
* | coq-mathcomp: refactor | Vincent Laporte | 2015-06-19 |