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