3 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
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