diff options
| author | Kenji Maillard <chocobodralliam@gmail.com> | 2022-05-03 09:26:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-03 09:26:34 +0200 |
| commit | 86a6908045c6a6c613e6a94b447c95846408fde3 (patch) | |
| tree | f01467d198ab864ce528d913c91be0dc4d96332e /nixos | |
| parent | defbaa09f138c134b33eb32c65b00f095ec0b82d (diff) | |
coqPackages.metacoq: create package (#162639)
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions