5 Commits

Author	SHA1	Message	Date
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Vincent Laporte	f6db90a389	coqPackages.coq-bits: enable for Coq 8.11 and 8.12	2020-07-09 08:17:49 +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
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Valentin Robert	1bb56de88b	coqPackages.coq-bits: init at 20190812	2019-10-24 06:24:33 +00:00