7 Commits

Author	SHA1	Message	Date
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