5 Commits

Author	SHA1	Message	Date
Cyril Cohen	9ffd16b385	coqPackages: refactor	2021-01-09 11:56:17 +01:00
Robin Gloster	2157dcd141	treewide: installFlags is a list	2019-12-30 13:22:43 +01:00
Vincent Laporte	7044058ef7	coqPackages_8_10.ltac2: init at 0.3	2019-10-24 06:20:59 +00:00
volth	35d68ef143	treewide: remove redundant quotes	2019-08-26 21:40:19 +00:00
Vincent Laporte	c37e00067d	coqPackages.ltac2: init at 0.1	2019-05-23 14:25:07 +02:00