diff --git a/npins/sources.json b/npins/sources.json index 28d126c..7560e8f 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -166,9 +166,9 @@ "url": "https://git.dgnum.eu/DGNum/metis" }, "branch": "master", - "revision": "49b136a43a51c53226db42cf1788a4812cb9549b", + "revision": "6eeeea36549d3815eed1ecadc2e45060f2ad1576", "url": null, - "hash": "0nzr368fg2bwwxpgsjzk2mn2dywf8f2d79pjc56rqqsvwgn2ldwi" + "hash": "1nj5pxadqbgwfb6760w7vkq1py819nsjf2y4qagxz363j45412lz" }, "nix-lib": { "type": "GitRelease",