diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-11-30 22:20:35 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-11-30 22:33:32 +0100 |
| commit | e02ad2dcc0f93107c18f8316b386b92b45548e97 (patch) | |
| tree | e1c341a5fe9be21a2d2ed9086dd19f3d29fee8f0 /lake-manifest.json | |
| parent | ea38ef0cb2c57e10696c7fb6108732a6f454818c (diff) | |
update lean
Diffstat (limited to 'lake-manifest.json')
| -rw-r--r-- | lake-manifest.json | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/lake-manifest.json b/lake-manifest.json index e793730..6dce1af 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,17 +5,17 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "37df177aaa770670452312393d4e84aaad56e7b6", + "rev": "1ccd71f89cbbd82ae7d097723ce1722ca7b01c33", "name": "mathlib", "manifestFile": "lake-manifest.json", - "inputRev": "v4.23.0", + "inputRev": "v4.25.0", "inherited": false, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/plausible", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "a22e7c1fa7707fb7ea75f2f9fd6b14de2b7b87a9", + "rev": "2503bfb5e2d4d8202165f5bd2cc39e44a3be31c3", "name": "plausible", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -25,7 +25,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "99657ad92e23804e279f77ea6dbdeebaa1317b98", + "rev": "2ed4ba69b6127de8f5c2af83cccacd3c988b06bf", "name": "LeanSearchClient", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -35,7 +35,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "7fca1d4a190761bac0028848f73dc9a59fcb4957", + "rev": "009064c21bad4d7f421f2901c5e817c8bf3468cb", "name": "importGraph", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -45,17 +45,17 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "6e47cc88cfbf1601ab364e9a4de5f33f13401ff8", + "rev": "e8ef4bdd7a23c3a37170fbd3fa7ee07ef2a54c2d", "name": "proofwidgets", "manifestFile": "lake-manifest.json", - "inputRev": "v0.0.71", + "inputRev": "v0.0.79", "inherited": true, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "247ff80701c76760523b5d7c180b27b7708faf38", + "rev": "26e4c7c0e63eb3e6cce3cf7faba27b8526ea8349", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -65,7 +65,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "9b703a545097978aef0e7e243ab8b71c32a9ff65", + "rev": "2781d8ad404303b2fe03710ac7db946ddfe3539f", "name": "Qq", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -75,7 +75,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "d117e2c28cba42e974bc22568ac999492a34e812", + "rev": "5c78955e8375f872c085514cb521216bac1bda17", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -85,11 +85,11 @@ "type": "git", "subDir": null, "scope": "leanprover", - "rev": "41c5d0b8814dec559e2e1441171db434fe2281cc", + "rev": "1dae8b12f8ba27576ffe5ddee78bebf6458157b0", "name": "Cli", "manifestFile": "lake-manifest.json", - "inputRev": "main", + "inputRev": "v4.25.0", "inherited": true, "configFile": "lakefile.toml"}], - "name": "Nominal", + "name": "CoalgebraicAutomata", "lakeDir": ".lake"} |