DGNum/infrastructure
12
6
Fork 2
Code Issues 18 Pull requests 22 Projects 1 Releases Packages Wiki Activity Actions

chore(npins): Update liminix #211

Closed
dgnum-chores wants to merge 1 commit from npins-updates/liminix into main
pull from: npins-updates/liminix
merge into: DGNum:main
Conversation 0 Commits 1 Files changed 1 +4 -6
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
npins/sources.json
View file

@ -143,9 +143,9 @@
"url": "https://git.dgnum.eu/DGNum/liminix" "url": "https://git.dgnum.eu/DGNum/liminix"
}, },
"branch": "main", "branch": "main",
"revision": "473d6acc3de70bd6dbbb4a77af54f508f25c3c9c", "revision": "1322de1ee0cdb19fead79e12ab279ee0b575019a",
"url": null, "url": null,
"hash": "00slsh0yqd8n8jcx3sbxgcmw1z28bnszy87pfs0ynfkl3bldzs3d" "hash": "07nk6nik97k8a57cf17dcj3gn2lbhw1myymrxpqc2aqa3haj754k"
}, },
"linkal": { "linkal": {
"type": "Git", "type": "Git",
@ -248,9 +248,7 @@
"url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs" "url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs"
}, },
"branch": "dgnum", "branch": "dgnum",
"revision": "304abd514dfe07bce4b368b1f384bfd598d61183", "revision": "304abd514dfe07bce4b368b1f384bfd598d61183"
"url": null,
"hash": null
}, },
"nix-reuse": { "nix-reuse": {
"type": "GitRelease", "type": "GitRelease",
@ -350,4 +348,4 @@
} }
}, },
"version": 3 "version": 3
} }