3 commits

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