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

chore(npins): Update nix-pkgs #216

Open
dgnum-chores wants to merge 1 commit from npins-updates/nix-pkgs into main
pull from: npins-updates/nix-pkgs
merge into: DGNum:main
Conversation 0 Commits 1 Files changed 1 +2 -2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 8a2cd88fc2 - Show all commits

4
npins/sources.json
View file

@ -262,9 +262,9 @@
"url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs"
},
"branch": "main",
"revision": "cc01e1c2a6ecb1e38fde35ee54995a6a639fb057",
"revision": "2e9a6576055b2f47d85304c685be083b9f0c7462",
"url": null,
"hash": "17a9vlwrk9365ccyl7a5xspqsn9wizcpwdpvr3qdimvq4fpwhjal"
"hash": "13vsj8x3pyc0ddmk0ckp8qvxxl462yjybj2102yxp4mghfgbhj99"
},
"nix-reuse": {
"type": "GitRelease",