6 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
volth	08f68313a4	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
volth	f3282c8d1e	treewide: remove unused variables (#63177) ... * treewide: remove unused variables * making ofborg happy	2019-06-16 19:59:05 +00:00
Vincent Laporte	5a12bedbfa	coqPackages.StructTact: fix build	2018-12-21 12:37:04 +01:00
John Wiegley	a370bd1fed	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	2018-11-20 15:18:12 -08:00