chore(npins): Update metis

2025-01-25 12:15:49 +00:00 · 2025-01-25 12:15:49 +00:00 · 3f9fe3b7c9
commit 3f9fe3b7c9
parent c94e2e1cbf
1 changed files with 2 additions and 2 deletions
--- a/npins/sources.json
+++ b/npins/sources.json
@ -211,9 +211,9 @@
        "url": "https://git.dgnum.eu/DGNum/metis"
      },
      "branch": "master",
-      "revision": "5168aea5b22c1914a10d7d2918ab7df84c0668d7",
+      "revision": "f8898110f4aa32c5384af605e727bfea9b0bd2de",
      "url": null,
-      "hash": "1iwsdwp2n89b3fdm860q1p8f90vcral26xfwps3hlyrvvpbwkzw9"
+      "hash": "07wxqff5w8bfjwn01rjgcdinirxh45xnc7q4j4kqzwr1xyhh5d2s"
    },
    "microvm.nix": {
      "type": "Git",