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

chore(npins): Update

Browse source
This commit is contained in:
Tom Hubrecht 2023-09-28 17:20:31 +02:00
parent ef9f84430e
commit 10f16665b2
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": "d5a7f393842abc0ed5d808f1dab4c9946eb7f910", "revision": "c444b702b21954f6d23b50caf70566f90cc0052f",
"url": null, "url": null,
"hash": "0rpyj5sczpx5yc1zjfs06n6kblcik9kl4jj1mqf1igppif0ypp0l" "hash": "0lhghfxxr4j015r534b1ddxiax1ra6m7b9axis644bk5dfzc4vh0"
}, },
"nix-lib": { "nix-lib": {
"type": "GitRelease", "type": "GitRelease",