DGNum/infrastructure
12
6
Fork 2
Code Issues 18 Pull requests 31 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

4
npins/sources.json
View file

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