| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: installFlags is a list | Robin Gloster | 2019-12-30 |
| * | treewide: remove redundant rec | volth | 2019-08-28 |
| * | treewide: remove unused variables (#63177) | volth | 2019-06-16 |
| * | coqPackages.StructTact: fix build | Vincent Laporte | 2018-12-21 |
| * | coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi | John Wiegley | 2018-11-20 |