| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: use lib.optional instead of 'then []' | Felix Buehler | 2023-07-12 |
| * | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 2023-01-21 |
| * | Add metacoq 1.1 release | Kenji Maillard | 2022-09-27 |
| * | fix dev metacoq builds for coq >= 8.16 | Kenji Maillard | 2022-09-22 |
| * | add the release 1.0 of metacoq for coq 8.16 | Kenji Maillard | 2022-07-27 |
| * | 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 |