greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bump to v4.3.0-rc2

Browse Source
This commit is contained in:
joneugster
2023-11-28 11:44:52 +01:00
parent ff54cc788f
commit 87ecc6bac2
3 changed files with 69 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@@ -1,4 +1,4 @@
build/ build/
lake-packages/ lake-packages/
lakefile.olean .lake/
**/.DS_Store **/.DS_Store

126
lake-manifest.json
View File

@@ -1,60 +1,68 @@
{"version": 6, {"version": 7,
"packagesDir": "lake-packages", "packagesDir": ".lake/packages",
"packages": "packages":
[{"git": [{"url": "https://github.com/leanprover-community/lean4game.git",
{"url": "https://github.com/leanprover-community/lean4game.git", "type": "git",
"subDir?": "server", "subDir": "server",
"rev": "6f92d6138148e9222052f681b589c8d015750c47", "rev": "241ef4b67a5c95e33a4101769bb34ae45a66b82c",
"opts": {}, "name": "GameServer",
"name": "GameServer", "manifestFile": "lake-manifest.json",
"inputRev?": "v4.2.0", "inputRev": "v4.3.0-rc2",
"inherited": false}}, "inherited": false,
{"git": "configFile": "lakefile.lean"},
{"url": "https://github.com/leanprover-community/mathlib4.git", {"url": "https://github.com/leanprover/std4",
"subDir?": null, "type": "git",
"rev": "753159252c585df6b6aa7c48d2b8828d58388b79", "subDir": null,
"opts": {}, "rev": "a652e09bd81bcb43ea132d64ecc16580b0c7fa50",
"name": "mathlib", "name": "std",
"inputRev?": "v4.2.0", "manifestFile": "lake-manifest.json",
"inherited": false}}, "inputRev": "main",
{"git": "inherited": true,
{"url": "https://github.com/leanprover-community/quote4", "configFile": "lakefile.lean"},
"subDir?": null, {"url": "https://github.com/leanprover-community/quote4",
"rev": "a387c0eb611857e2460cf97a8e861c944286e6b2", "type": "git",
"opts": {}, "subDir": null,
"name": "Qq", "rev": "d3a1d25f3eba0d93a58d5d3d027ffa78ece07755",
"inputRev?": "master", "name": "Qq",
"inherited": true}}, "manifestFile": "lake-manifest.json",
{"git": "inputRev": "master",
{"url": "https://github.com/leanprover/lean4-cli", "inherited": true,
"subDir?": null, "configFile": "lakefile.lean"},
"rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa", {"url": "https://github.com/leanprover-community/aesop",
"opts": {}, "type": "git",
"name": "Cli", "subDir": null,
"inputRev?": "nightly", "rev": "c7cff4551258d31c0d2d453b3f9cbca757d445f1",
"inherited": true}}, "name": "aesop",
{"git": "manifestFile": "lake-manifest.json",
{"url": "https://github.com/leanprover-community/ProofWidgets4", "inputRev": "master",
"subDir?": null, "inherited": true,
"rev": "f1a5c7808b001305ba07d8626f45ee054282f589", "configFile": "lakefile.lean"},
"opts": {}, {"url": "https://github.com/leanprover-community/ProofWidgets4",
"name": "proofwidgets", "type": "git",
"inputRev?": "v0.0.21", "subDir": null,
"inherited": true}}, "rev": "909febc72b4f64628f8d35cd0554f8a90b6e0749",
{"git": "name": "proofwidgets",
{"url": "https://github.com/leanprover/std4", "manifestFile": "lake-manifest.json",
"subDir?": null, "inputRev": "v0.0.23",
"rev": "6747f41f28627bed83e6d5891683538211caa2c1", "inherited": true,
"opts": {}, "configFile": "lakefile.lean"},
"name": "std", {"url": "https://github.com/leanprover/lean4-cli",
"inputRev?": "main", "type": "git",
"inherited": true}}, "subDir": null,
{"git": "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
{"url": "https://github.com/leanprover-community/aesop", "name": "Cli",
"subDir?": null, "manifestFile": "lake-manifest.json",
"rev": "6749fa4e776919514dae85bfc0ad62a511bc42a7", "inputRev": "main",
"opts": {}, "inherited": true,
"name": "aesop", "configFile": "lakefile.lean"},
"inputRev?": "master", {"url": "https://github.com/leanprover-community/mathlib4.git",
"inherited": true}}], "type": "git",
"name": "Game"} "subDir": null,
"rev": "83d4f222771f491b351d70b070406481f5d2b2ba",
"name": "mathlib",
"manifestFile": "lake-manifest.json",
"inputRev": "v4.3.0-rc2",
"inherited": false,
"configFile": "lakefile.lean"}],
"name": "Game",
"lakeDir": ".lake"}

2
lean-toolchain
View File

@@ -1 +1 @@
leanprover/lean4:v4.2.0 leanprover/lean4:v4.3.0-rc2