Vincent Laporte
|
31648f5f8e
|
coqPackages.StructTact: enable for Coq 8.16
|
2022-06-13 11:29:20 +02:00 |
|
Vincent Laporte
|
2b51eb99d2
|
coqPackages.StructTac: enable for Coq 8.15
|
2021-12-09 15:46:06 +01:00 |
|
Vincent Laporte
|
05845bd429
|
coqPackages.StructTact: 20181102 → 20210328
|
2021-10-05 07:38:05 +02:00 |
|
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 |
|