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

chore(metis): Update

Browse source
This commit is contained in:
Tom Hubrecht 2024-09-18 14:23:28 +02:00
parent f6253021d7
commit f791ba15a4
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc
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

@ -178,9 +178,9 @@
"url": "https://git.dgnum.eu/DGNum/metis" "url": "https://git.dgnum.eu/DGNum/metis"
}, },
"branch": "master", "branch": "master",
"revision": "23839b284e18fefe642292be8f11fcf501b170b3", "revision": "9eaa1f289751b6b62f700e8e0e0ddbfbaa98c021",
"url": null, "url": null,
"hash": "0rxamafpfg39wsfz4wnfapl1hiyyzizvjv3d23n1sdmy0yi8kgf1" "hash": "0m9il1lllw59a6l9vwfi1bika7g4pxs20clc48kklpflnk0scb1f"
}, },
"nix-lib": { "nix-lib": {
"type": "GitRelease", "type": "GitRelease",