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

chore(npins): Update nix-modules #215

Open
dgnum-chores wants to merge 1 commit from npins-updates/nix-modules into main
pull from: npins-updates/nix-modules
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

@ -237,9 +237,9 @@
"url": "https://git.hubrecht.ovh/hubrecht/nix-modules.git"
},
"branch": "main",
"revision": "75e8d70a051dd19d126b5248b62f61d6f8ce4361",
"revision": "5b5c77f7c0219d68340d0ad75e23a5e183e24f76",
"url": null,
"hash": "0yx5by3v2cshiidyh27n75lcqy9d1kk5zz5mchmfv63s9p0cjzqn"
"hash": "16gdwv9c93c8jslsy6ysxmkj2z7lmvqjrhvavyigd3naqawxmmqr"
},
"nix-patches": {
"type": "GitRelease",