4 Commits

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