6 Commits

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