diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-07-01 00:30:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-07-01 00:30:16 +0200 |
commit | b2e0a5c33ce0db07af94a7f9cfd50612dd4bdcda (patch) | |
tree | dec7051350efceb59e8bf94e3cb1bde50ca8d99d /pkgs/development/coq-modules/metacoq/default.nix | |
parent | 354766a0f978793add8a3dfa8bde2a0104c230c3 (diff) | |
parent | 5e32cc2824c0b42bc46912f83f7d657ed77b2a92 (diff) |
Merge pull request #322568 from pyrox0/fixjson-init
fixjson: move out of node-packages
Diffstat (limited to 'pkgs/development/coq-modules/metacoq/default.nix')
0 files changed, 0 insertions, 0 deletions