3 commits

Author	SHA1	Message	Date
Théo Zimmermann	450eab2ca7	coqPackages_8_14.gaia-hydras: 0.5 -> 0.6	2022-02-20 14:32:30 +01:00
Cyril Cohen	c5c34f6be1	coqPackages.mathcomp: 1.12.0 -> 1.13.0	2021-10-29 21:05:07 +02:00
Théo Zimmermann	8797af5eb7	coqPackages.gaia-hydras: init at 0.5	2021-10-18 11:42:52 +02:00