3 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
Vincent Laporte	13e9efbb02	coqPackages.paramcoq: init at 1.1.1	2019-02-17 15:56:43 +01:00