Update Lean to v4.33.0-rc2

Changes

3 changed files (+13/-13)

• lake-manifest.json
  • @@ -5,17 +5,17 @@ [{"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "79d0395a1825a6264ad5d269e35e60537518955e", + "rev": "51e6992efd06126df61a496bebf8f49482a4e129", "name": "mathlib", "manifestFile": "lake-manifest.json", - "inputRev": "v4.33.0-rc1", + "inputRev": "v4.33.0-rc2", "inherited": false, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/plausible", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "b1c4a69a7e247ab7df20460212001673d74f08c0", + "rev": "123d15766ba49356c02ebad2a4462dfe12d79899", "name": "plausible", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -25,7 +25,7 @@ {"url": "https://github.com/leanprover-community/LeanSearchClient",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "c5d5b8fe6e5158def25cd28eb94e4141ad97c843", + "rev": "f5c090429dff3cf66cb65562526c9ea6e8edfbcb", "name": "LeanSearchClient", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -35,7 +35,7 @@ {"url": "https://github.com/leanprover-community/import-graph",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "18a90119a5d316358fde6c86e0ca24e59212e32c", + "rev": "bb3469a87774349fe01898d8bf2fc6a1ce6411ca", "name": "importGraph", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -45,7 +45,7 @@ {"url": "https://github.com/leanprover-community/ProofWidgets4",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "b1436dc749e722c9920036b52cdc43b3451d0b69", + "rev": "222c58dad7706a6e7cae46c0edd65ea881d3ee27", "name": "proofwidgets", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -55,7 +55,7 @@ {"url": "https://github.com/leanprover-community/aesop",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "57d3325be72a842920813bcb40f96a6f7393c185", + "rev": "7db8190085343afde2f5d2cdcc9bac719b6ec02c", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master",
  • @@ -65,7 +65,7 @@ {"url": "https://github.com/leanprover-community/quote4",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "ee41917ae11d38479fb8fb24745f7ca4bf0a784d", + "rev": "ef42f8944eaf5b6cbfbe75d1917d824c7dd6cf33", "name": "Qq", "manifestFile": "lake-manifest.json", "inputRev": "master",
  • @@ -75,7 +75,7 @@ {"url": "https://github.com/leanprover-community/batteries",
    "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "31a49105f960721073a9adfc82b261f5d0f2ce1e", + "rev": "76e1c118b0700b4ceafe99532e887d6431625e1a", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main",
  • @@ -85,10 +85,10 @@ {"url": "https://github.com/leanprover/lean4-cli",
    "type": "git", "subDir": null, "scope": "leanprover", - "rev": "da07ca808b6718cb2aed14dba154e5a08b8f8ecf", + "rev": "1319485273bf87833fa472afbcefdedecb16b45f", "name": "Cli", "manifestFile": "lake-manifest.json", - "inputRev": "v4.33.0-rc1", + "inputRev": "v4.33.0-rc2", "inherited": true, "configFile": "lakefile.toml"}], "name": "miscelleaneous",
• lakefile.toml
  • @@ -31,4 +31,4 @@
    [[require]] name = "mathlib" scope = "leanprover-community" - rev = "v4.33.0-rc1" + rev = "v4.33.0-rc2"
• lean-toolchain
  • @@ -1,1 +1,1 @@
    - leanprover/lean4:v4.33.0-rc1 + leanprover/lean4:v4.33.0-rc2