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

chore: Update Lean to v4.12.0 #108

Merged
aniva merged 4 commits from misc/version into dev 2024-10-08 09:49:09 -07:00
Conversation 2 Commits 4 Files Changed 8 +6 -6
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 2e1276c21c - Show all commits

10
flake.lock
View File

@ -58,16 +58,16 @@
"lspec": {
"flake": false,
"locked": {
"lastModified": 1728255812,
"lastModified": 1728279187,
"narHash": "sha256-ZMqbvCqR/gHXRuIkuo7b0Yp9N1vOQR7xnrcy/SeIBoQ=",
"owner": "lenianiva",
"owner": "argumentcomputer",
"repo": "LSpec",
"rev": "c492cecd0bc473e2f9c8b94d545d02cc0056034f",
"rev": "504a8cecf8da601b9466ac727aebb6b511aae4ab",
"type": "github"
},
"original": {
"owner": "lenianiva",
"ref": "c492cecd0bc473e2f9c8b94d545d02cc0056034f",
"owner": "argumentcomputer",
"ref": "504a8cecf8da601b9466ac727aebb6b511aae4ab",
"repo": "LSpec",
"type": "github"
}

2
flake.nix
View File

@ -9,7 +9,7 @@
url = "github:leanprover/lean4?ref=v4.12.0";
};
lspec = {
url = "github:lenianiva/LSpec?ref=c492cecd0bc473e2f9c8b94d545d02cc0056034f";
url = "github:argumentcomputer/LSpec?ref=504a8cecf8da601b9466ac727aebb6b511aae4ab";
flake = false;
};
};