aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 12 Pull Requests 2 Packages Projects Releases Wiki Activity

Merge pull request 'chore: Update Nix flake' (#214) from chore/toolchain into dev 

Reviewed-on: #214
This commit is contained in:
Leni Aniva 2025-06-20 14:03:06 -07:00
parent 9304cf2368 d1d6493d09
commit cd8c08fe38
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": {