| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | first release of Metacoq | Kenji Maillard | 2022-07-20 |
| * | coqPackages: etc | Cyril Cohen | 2022-05-25 |
| * | Revert "coqPackages: etc" | Vincent Laporte | 2022-05-13 |
| * | coqPackages: etc | Cyril Cohen | 2022-05-12 |
| * | coqPackages.metacoq: create package (#162639) | Kenji Maillard | 2022-05-03 |