ecoppens/infrastructure
1
0
Fork 0
forked from DGNum/infrastructure
Code Pull requests Activity

chore(npins): Update metis

Browse source
This commit is contained in:
Tom Hubrecht 2023-11-08 17:48:09 +01:00
parent af0b63b2b6
commit 0a65b4894f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
npins/sources.json
View file

@ -72,9 +72,9 @@
"url": "https://git.dgnum.eu/DGNum/metis" "url": "https://git.dgnum.eu/DGNum/metis"
}, },
"branch": "master", "branch": "master",
"revision": "1a151d6cf48acf9eef18f4600ebb6cce2f3b4786", "revision": "a14d334c7591a29bc84ed4aa86b11934b83c33ca",
"url": null, "url": null,
"hash": "1anq6848vy4is8pgq5rkcmpa6kiv31lpbiw6kk030r2qn6amnqhw" "hash": "0irmx64a07fxyzva6m3advqjn98km8xa4nqn5mac0k55vfn4q6d9"
}, },
"nix-lib": { "nix-lib": {
"type": "GitRelease", "type": "GitRelease",