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

6
flake.lock
View File

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