diff options
| author | Kenji Maillard <kenji@maillard.blue> | 2022-07-19 13:05:54 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-07-20 16:52:11 +0200 |
| commit | b9da0d3852fc0069cb555f8679901ba075ee3f90 (patch) | |
| tree | db0f7528d0ac1a662e053ba36a8e6eb0b3e47468 /pkgs/build-support/fetchpatch/default.nix | |
| parent | cb63ee9ff82a2c6193cf059d18c194a24f9de807 (diff) | |
first release of Metacoq
Diffstat (limited to 'pkgs/build-support/fetchpatch/default.nix')
0 files changed, 0 insertions, 0 deletions