chore(npins): Update metis

2025-01-11 16:05:23 +00:00 · 2025-01-11 16:05:23 +00:00 · 988345083e
commit 988345083e
parent fb993945c8
1 changed files with 2 additions and 4 deletions
--- a/npins/sources.json
+++ b/npins/sources.json
@ -248,9 +248,7 @@
        "url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs"
      },
      "branch": "dgnum",
-      "revision": "304abd514dfe07bce4b368b1f384bfd598d61183",
-      "url": null,
-      "hash": null
+      "revision": "304abd514dfe07bce4b368b1f384bfd598d61183"
    },
    "nix-reuse": {
      "type": "GitRelease",