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
Showing only changes of commit bf435cc7c7 - Show all commits

4
npins/sources.json
View file

@ -248,9 +248,7 @@
"url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs"
},
"branch": "dgnum",
"revision": "304abd514dfe07bce4b368b1f384bfd598d61183",
"url": null,
"hash": null
"revision": "304abd514dfe07bce4b368b1f384bfd598d61183"
},
"nix-reuse": {
"type": "GitRelease",