phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

bump mathlib

Browse Source
pull/43/head
Jon Eugster 2 years ago
parent e4d5010163
commit 51f111bbed
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File

2
server/leanserver/lean-toolchain
Unescape Escape View File

@ -1 +1 @@
leanprover/lean4:nightly-2023-01-29 leanprover/lean4:nightly-2023-02-10

6
server/testgame/lake-manifest.json
Unescape Escape View File

@ -4,7 +4,7 @@
[{"git": [{"git":
{"url": "https://github.com/leanprover-community/mathlib4.git", {"url": "https://github.com/leanprover-community/mathlib4.git",
"subDir?": null, "subDir?": null,
"rev": "774069a73cae9148d941b09c267b465d3f7d7737", "rev": "364f46963851ce41be45328ae127a61ee1070109",
"name": "mathlib", "name": "mathlib",
"inputRev?": "master"}}, "inputRev?": "master"}},
{"git": {"git":
@ -16,13 +16,13 @@
{"git": {"git":
{"url": "https://github.com/JLimperg/aesop", {"url": "https://github.com/JLimperg/aesop",
"subDir?": null, "subDir?": null,
"rev": "ccff5d4ae7411c5fe741f3139950e8bddf353dea", "rev": "ba61f7fec6174d8c7d2796457da5a8d0b0da44c6",
"name": "aesop", "name": "aesop",
"inputRev?": "master"}}, "inputRev?": "master"}},
{"path": {"name": "GameServer", "dir": "./../leanserver"}}, {"path": {"name": "GameServer", "dir": "./../leanserver"}},
{"git": {"git":
{"url": "https://github.com/leanprover/std4", {"url": "https://github.com/leanprover/std4",
"subDir?": null, "subDir?": null,
"rev": "cda27d551340756d5ed6f9b83716a9db799c5537", "rev": "de7e2a79905a3f87cad1ad5bf57045206f9738c7",
"name": "std", "name": "std",
"inputRev?": "main"}}]} "inputRev?": "main"}}]}

2
server/testgame/lean-toolchain
Unescape Escape View File

@ -1 +1 @@
leanprover/lean4:nightly-2023-01-29 leanprover/lean4:nightly-2023-02-10

Write Preview
Loading…
Cancel
Save