Cyril Cohen
b7f55b30f5
coqPackages.mathcomp: 1.11.0
2020-06-12 14:37:40 +02:00
Cyril Cohen
147aded7df
coqPackages.mathcomp-extra: refactor
...
- removing broken packages
- taking into account fixpoint coqPackages in mathcomp-extra-config
2020-05-27 09:22:42 +02:00
Cyril Cohen
8d05e53561
Coq: refactoring of mathcomp packages ( #86088 )
...
- fixed bignum version
- fixed coq-bits version
- fixed coqprime version
- fixed mathcomp and mathcomp extra packages
(reworked building scheme and removed unused ssreflect directory)
- giving the user access to function filterCoqPackages, because overrideScope' does not re-apply it.
2020-05-09 07:47:47 +02:00
Robin Gloster
2157dcd141
treewide: installFlags is a list
2019-12-30 13:22:43 +01:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +00:00
Cyril Cohen
d80148928b
coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0
2019-07-02 12:01:36 +00:00
Cyril Cohen
547466064e
coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed
2019-06-03 15:23:35 +00:00
Cyril Cohen
d16a78b512
several fixes in coq and coqPackages.mathcomp (and extras)
2019-05-21 08:55:38 +02:00
Cyril Cohen
b71c308591
coqPackages: refactor mathcomp packages
...
Closes #61456
2019-05-15 14:11:21 +00:00
