Skip to content

Commit a763ee1

Browse files
pandaman64pandaman64
authored
v4.26.0 (#146)
1 parent e499c52 commit a763ee1

7 files changed

Lines changed: 31 additions & 31 deletions

File tree

‎correctness/lake-manifest.json‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -12,17 +12,17 @@
1212
"type": "git",
1313
"subDir": null,
1414
"scope": "leanprover-community",
15-
"rev": "d5c9558e75342a10d6321e6a8c798a14f68ae23c",
15+
"rev": "2df2f0150c275ad53cb3c90f7c98ec15a56a1a67",
1616
"name": "mathlib",
1717
"manifestFile": "lake-manifest.json",
18-
"inputRev": "v4.26.0-rc2",
18+
"inputRev": "v4.26.0",
1919
"inherited": false,
2020
"configFile": "lakefile.lean"},
2121
{"url": "https://github.com/leanprover-community/plausible",
2222
"type": "git",
2323
"subDir": null,
2424
"scope": "leanprover-community",
25-
"rev": "74835c84b38e4070b8240a063c6417c767e551ae",
25+
"rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11",
2626
"name": "plausible",
2727
"manifestFile": "lake-manifest.json",
2828
"inputRev": "main",
@@ -32,7 +32,7 @@
3232
"type": "git",
3333
"subDir": null,
3434
"scope": "leanprover-community",
35-
"rev": "2ed4ba69b6127de8f5c2af83cccacd3c988b06bf",
35+
"rev": "3591c3f664ac3719c4c86e4483e21e228707bfa2",
3636
"name": "LeanSearchClient",
3737
"manifestFile": "lake-manifest.json",
3838
"inputRev": "main",
@@ -42,7 +42,7 @@
4242
"type": "git",
4343
"subDir": null,
4444
"scope": "leanprover-community",
45-
"rev": "6e3bb4bf31f731ab28891fe229eb347ec7d5dad3",
45+
"rev": "e9f31324f15ead11048b1443e62c5deaddd055d2",
4646
"name": "importGraph",
4747
"manifestFile": "lake-manifest.json",
4848
"inputRev": "main",
@@ -52,17 +52,17 @@
5252
"type": "git",
5353
"subDir": null,
5454
"scope": "leanprover-community",
55-
"rev": "2aaad968dd10a168b644b6a5afd4b92496af4710",
55+
"rev": "b4fb2aa5290ebf61bc5f80a5375ba642f0a49192",
5656
"name": "proofwidgets",
5757
"manifestFile": "lake-manifest.json",
58-
"inputRev": "v0.0.82",
58+
"inputRev": "v0.0.83",
5959
"inherited": true,
6060
"configFile": "lakefile.lean"},
6161
{"url": "https://github.com/leanprover-community/aesop",
6262
"type": "git",
6363
"subDir": null,
6464
"scope": "leanprover-community",
65-
"rev": "9c70abdd9215b76019340fad65138e2e8d21843e",
65+
"rev": "2f6d238744c4cb07fdc91240feaf5d4221a27931",
6666
"name": "aesop",
6767
"manifestFile": "lake-manifest.json",
6868
"inputRev": "master",
@@ -72,7 +72,7 @@
7272
"type": "git",
7373
"subDir": null,
7474
"scope": "leanprover-community",
75-
"rev": "a31845b5557fd5e47d52b9e2977a1b0eff3c38c3",
75+
"rev": "9312503909aa8e8bb392530145cc1677a6298574",
7676
"name": "Qq",
7777
"manifestFile": "lake-manifest.json",
7878
"inputRev": "master",
@@ -82,7 +82,7 @@
8282
"type": "git",
8383
"subDir": null,
8484
"scope": "leanprover-community",
85-
"rev": "afe9302d9243cee630b0be95322b38b90342ddbf",
85+
"rev": "24241822ef9d3e7f6a3bcc53ad136e12663db8f3",
8686
"name": "batteries",
8787
"manifestFile": "lake-manifest.json",
8888
"inputRev": "main",
@@ -92,10 +92,10 @@
9292
"type": "git",
9393
"subDir": null,
9494
"scope": "leanprover",
95-
"rev": "7e1ced9e049a4fab2508980ec4877ca9c46dffc9",
95+
"rev": "933fce7e893f65969714c60cdb4bd8376786044e",
9696
"name": "Cli",
9797
"manifestFile": "lake-manifest.json",
98-
"inputRev": "v4.26.0-rc2",
98+
"inputRev": "v4.26.0",
9999
"inherited": true,
100100
"configFile": "lakefile.toml"}],
101101
"name": "RegexCorrectness",

‎correctness/lakefile.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ defaultTargets = ["RegexCorrectness"]
99
[[require]]
1010
name = "mathlib"
1111
scope = "leanprover-community"
12-
rev = "v4.26.0-rc2"
12+
rev = "v4.26.0"
1313

1414
[[require]]
1515
name = "Regex"

‎correctness/lean-toolchain‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
leanprover/lean4:v4.26.0-rc2
1+
leanprover/lean4:v4.26.0

‎docbuild/lake-manifest.json‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -5,10 +5,10 @@
55
"type": "git",
66
"subDir": null,
77
"scope": "leanprover",
8-
"rev": "2679356b3372d52f76d6d984eef16cade7956e0c",
8+
"rev": "77ef3eb515ad6bd125c596f0b164349d4a7d5bf5",
99
"name": "«doc-gen4»",
1010
"manifestFile": "lake-manifest.json",
11-
"inputRev": "v4.26.0-rc2",
11+
"inputRev": "v4.26.0",
1212
"inherited": false,
1313
"configFile": "lakefile.lean"},
1414
{"type": "path",
@@ -22,7 +22,7 @@
2222
"type": "git",
2323
"subDir": null,
2424
"scope": "",
25-
"rev": "7e1ced9e049a4fab2508980ec4877ca9c46dffc9",
25+
"rev": "933fce7e893f65969714c60cdb4bd8376786044e",
2626
"name": "Cli",
2727
"manifestFile": "lake-manifest.json",
2828
"inputRev": "main",
@@ -32,7 +32,7 @@
3232
"type": "git",
3333
"subDir": null,
3434
"scope": "",
35-
"rev": "106abeac8ee53a047b238976281b0e5017bded8a",
35+
"rev": "84b88f7ac9adf382b9668f852cee82487d616792",
3636
"name": "UnicodeBasic",
3737
"manifestFile": "lake-manifest.json",
3838
"inputRev": "main",
@@ -69,17 +69,17 @@
6969
"type": "git",
7070
"subDir": null,
7171
"scope": "leanprover-community",
72-
"rev": "d5c9558e75342a10d6321e6a8c798a14f68ae23c",
72+
"rev": "2df2f0150c275ad53cb3c90f7c98ec15a56a1a67",
7373
"name": "mathlib",
7474
"manifestFile": "lake-manifest.json",
75-
"inputRev": "v4.26.0-rc2",
75+
"inputRev": "v4.26.0",
7676
"inherited": true,
7777
"configFile": "lakefile.lean"},
7878
{"url": "https://github.com/leanprover-community/plausible",
7979
"type": "git",
8080
"subDir": null,
8181
"scope": "leanprover-community",
82-
"rev": "74835c84b38e4070b8240a063c6417c767e551ae",
82+
"rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11",
8383
"name": "plausible",
8484
"manifestFile": "lake-manifest.json",
8585
"inputRev": "main",
@@ -89,7 +89,7 @@
8989
"type": "git",
9090
"subDir": null,
9191
"scope": "leanprover-community",
92-
"rev": "2ed4ba69b6127de8f5c2af83cccacd3c988b06bf",
92+
"rev": "3591c3f664ac3719c4c86e4483e21e228707bfa2",
9393
"name": "LeanSearchClient",
9494
"manifestFile": "lake-manifest.json",
9595
"inputRev": "main",
@@ -99,7 +99,7 @@
9999
"type": "git",
100100
"subDir": null,
101101
"scope": "leanprover-community",
102-
"rev": "6e3bb4bf31f731ab28891fe229eb347ec7d5dad3",
102+
"rev": "e9f31324f15ead11048b1443e62c5deaddd055d2",
103103
"name": "importGraph",
104104
"manifestFile": "lake-manifest.json",
105105
"inputRev": "main",
@@ -109,17 +109,17 @@
109109
"type": "git",
110110
"subDir": null,
111111
"scope": "leanprover-community",
112-
"rev": "2aaad968dd10a168b644b6a5afd4b92496af4710",
112+
"rev": "b4fb2aa5290ebf61bc5f80a5375ba642f0a49192",
113113
"name": "proofwidgets",
114114
"manifestFile": "lake-manifest.json",
115-
"inputRev": "v0.0.82",
115+
"inputRev": "v0.0.83",
116116
"inherited": true,
117117
"configFile": "lakefile.lean"},
118118
{"url": "https://github.com/leanprover-community/aesop",
119119
"type": "git",
120120
"subDir": null,
121121
"scope": "leanprover-community",
122-
"rev": "9c70abdd9215b76019340fad65138e2e8d21843e",
122+
"rev": "2f6d238744c4cb07fdc91240feaf5d4221a27931",
123123
"name": "aesop",
124124
"manifestFile": "lake-manifest.json",
125125
"inputRev": "master",
@@ -129,7 +129,7 @@
129129
"type": "git",
130130
"subDir": null,
131131
"scope": "leanprover-community",
132-
"rev": "a31845b5557fd5e47d52b9e2977a1b0eff3c38c3",
132+
"rev": "9312503909aa8e8bb392530145cc1677a6298574",
133133
"name": "Qq",
134134
"manifestFile": "lake-manifest.json",
135135
"inputRev": "master",
@@ -139,7 +139,7 @@
139139
"type": "git",
140140
"subDir": null,
141141
"scope": "leanprover-community",
142-
"rev": "afe9302d9243cee630b0be95322b38b90342ddbf",
142+
"rev": "24241822ef9d3e7f6a3bcc53ad136e12663db8f3",
143143
"name": "batteries",
144144
"manifestFile": "lake-manifest.json",
145145
"inputRev": "main",

‎docbuild/lakefile.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,4 +10,4 @@ path = "../correctness"
1010
[[require]]
1111
scope = "leanprover"
1212
name = "doc-gen4"
13-
rev = "v4.26.0-rc2"
13+
rev = "v4.26.0"

‎docbuild/lean-toolchain‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
leanprover/lean4:v4.26.0-rc2
1+
leanprover/lean4:v4.26.0

‎regex/lean-toolchain‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
leanprover/lean4:v4.26.0-rc2
1+
leanprover/lean4:v4.26.0

0 commit comments

Comments
 (0)