diff options
Diffstat (limited to 'math/lean4/distinfo')
| -rw-r--r-- | math/lean4/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/lean4/distinfo b/math/lean4/distinfo index 55b80a8bdc7c..da328bb6517b 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1755740882 -SHA256 (leanprover-lean4-v4.22.0_GH0.tar.gz) = 625aa7b9916b0dd9dd5c0a0f9b76d4921cc837528e799bd9ced8c6685c27651b -SIZE (leanprover-lean4-v4.22.0_GH0.tar.gz) = 38212555 +TIMESTAMP = 1758525947 +SHA256 (leanprover-lean4-v4.23.0_GH0.tar.gz) = 1820cc8fc09f439c448ea39cc14f90e73058c55b12b5aa5cf4d2ca86f0c89099 +SIZE (leanprover-lean4-v4.23.0_GH0.tar.gz) = 45087678 |