DGNum/infrastructure
11
6
Fork 2
Code Issues 20 Pull requests 14 Projects 1 Releases Packages Wiki Activity Actions

chore(npins): Update nix-pkgs #246

Closed
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 -4
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
npins/sources.json
View file

@ -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
} }