DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 8 Projects 1 Releases Packages Wiki Activity Actions

chore(npins): Update metis

Browse source
This commit is contained in:
sinavir 2023-10-05 16:40:39 +02:00
parent c2d7adfcd0
commit 4b52d66492
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"
},
"branch": "master",
"revision": "c444b702b21954f6d23b50caf70566f90cc0052f",
"revision": "b5b9941560171832b96669a6566c758c0c1a1993",
"url": null,
"hash": "0lhghfxxr4j015r534b1ddxiax1ra6m7b9axis644bk5dfzc4vh0"
"hash": "0zbdqlanp799saph4x91xwvwxb53d9nj42d6nlydgajnk6gmvc35"
},
"nix-lib": {
"type": "GitRelease",