diff --git a/Projects/mathlib-demo/lake-manifest.json b/Projects/mathlib-demo/lake-manifest.json index 5c3475eb..e26d79fd 100644 --- a/Projects/mathlib-demo/lake-manifest.json +++ b/Projects/mathlib-demo/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "41bc768e2224d6c75128a877f1d6e198859b3178", + "rev": "dc167d260ff7ee9849b436037add06bed15104be", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -25,7 +25,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "6058ab8d938c5104eace7d0fb5ac17b21cb067b1", + "rev": "8ff1f48157c719e04bebc729f12af55cc22aabe4", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -35,10 +35,10 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "c87908619cccadda23f71262e6898b9893bffa36", + "rev": "a96aee5245720f588876021b6a0aa73efee49c76", "name": "proofwidgets", "manifestFile": "lake-manifest.json", - "inputRev": "v0.0.40", + "inputRev": "v0.0.41", "inherited": true, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover/lean4-cli", @@ -55,7 +55,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "e7e90d90a62e6d12cbb27cbbfc31c094ee4ecc58", + "rev": "68cd8ae0f5b996176d1243d94c56e17de570e3bf", "name": "importGraph", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -65,7 +65,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "7669be18c4affa2e4909d4edc9d3c81c03d5e3ed", + "rev": "aeb3c05894d02069f1bc626babe6249945362bcf", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master", diff --git a/Projects/mathlib-demo/lean-toolchain b/Projects/mathlib-demo/lean-toolchain index 7f0ea50a..64981ae5 100644 --- a/Projects/mathlib-demo/lean-toolchain +++ b/Projects/mathlib-demo/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.10.0 +leanprover/lean4:v4.11.0-rc1