aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 15 Pull Requests 3 Packages Projects Releases Wiki Activity

chore: Update Nix flake #214

Merged
aniva merged 1 commits from chore/toolchain into dev 2025-06-20 14:03:07 -07:00
Conversation 0 Commits 1 Files Changed 1 +3 -3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit d1d6493d09 - Show all commits

6
flake.lock
View File

@ -44,11 +44,11 @@
]
},
"locked": {
"lastModified": 1750275702,
"narHash": "sha256-CpwSdtwvrQCR+ZfXZweFHJMG583EYijCRGEeGrgBsjU=",
"lastModified": 1750369222,
"narHash": "sha256-KFFTVbciXUaHgeGN1yiaUtY88OLGU0gElXx5SfICDKg=",
"owner": "lenianiva",
"repo": "lean4-nix",
"rev": "95a315f6e7d5e463090ae4977d5e2e6c3b4ef0d0",
"rev": "015ecd25206734d582a1b15dd11eb10be35ca555",
"type": "github"
},
"original": {