Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.mathcomp-extra: refactor | Cyril Cohen | 2020-05-27 |
* | Coq: refactoring of mathcomp packages (#86088) | Cyril Cohen | 2020-05-09 |
* | treewide: installFlags is a list | Robin Gloster | 2019-12-30 |
* | treewide: remove redundant quotes | volth | 2019-08-26 |
* | coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0 | Cyril Cohen | 2019-07-02 |
* | coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed | Cyril Cohen | 2019-06-03 |
* | several fixes in coq and coqPackages.mathcomp (and extras) | Cyril Cohen | 2019-05-21 |
* | coqPackages: refactor mathcomp packages | Cyril Cohen | 2019-05-15 |