11 commits

Author	SHA1	Message	Date
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Vincent Laporte	607b0ae7ae	coqPackages.coqprime: init at 8.12 for Coq 8.12	2020-09-09 06:32:25 +02:00
Vincent Laporte	1875d9bfd5	coqPackages.coqprime: enable for Coq 8.11	2020-08-23 08:19:21 +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
Vincent Laporte	5e241a691b	coqPackages.coqprime: enable for Coq 8.10	2019-06-18 07:29:11 +00:00
Vincent Laporte	59949aa55c	Revert "coq-modules: add default to fix eval" ... This reverts commit e20b65156c.	2019-02-01 16:02:42 +00:00
Matthew Bauer	82a1153d6d	coq-modules: add default to fix eval ... We don’t want these to not even evaluate, otherwise we won’t know why they’re broken. For now, I’ve left these as the latest version for a default. In the future, maybe we should be smarter about choosing these. (cherry picked from commit e20b65156c)	2019-01-28 10:16:30 -05:00
Vincent Laporte	881bec3238	coqPackages.coqprime: enable for Coq 8.9	2018-12-20 10:43:59 +01:00
Vincent Laporte	c71cc0b98b	coqPackages.coqprime: init at 8.7.2 & 8.8	2018-10-01 10:11:24 +00:00