summaryrefslogtreecommitdiff
path: root/math/lean4/distinfo
diff options
context:
space:
mode:
Diffstat (limited to 'math/lean4/distinfo')
-rw-r--r--math/lean4/distinfo6
1 files changed, 3 insertions, 3 deletions
diff --git a/math/lean4/distinfo b/math/lean4/distinfo
index 5aef4f3763ae..55b80a8bdc7c 100644
--- a/math/lean4/distinfo
+++ b/math/lean4/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1746632807
-SHA256 (leanprover-lean4-v4.20.0-rc5_GH0.tar.gz) = aaddadf237e16bdb2fd06987315f4af0791dfa965a924511087865d441b80ec6
-SIZE (leanprover-lean4-v4.20.0-rc5_GH0.tar.gz) = 40328367
+TIMESTAMP = 1755740882
+SHA256 (leanprover-lean4-v4.22.0_GH0.tar.gz) = 625aa7b9916b0dd9dd5c0a0f9b76d4921cc837528e799bd9ced8c6685c27651b
+SIZE (leanprover-lean4-v4.22.0_GH0.tar.gz) = 38212555