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 395168f7c42c..1ca0f069d7a4 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1720597727 -SHA256 (leanprover-lean4-v4.9.1_GH0.tar.gz) = 713e41ec71a9e9030e6f46cc5dbb5aef30ac1887dfe5faa5a054c0a2f0613b1e -SIZE (leanprover-lean4-v4.9.1_GH0.tar.gz) = 22771989 +TIMESTAMP = 1722411891 +SHA256 (leanprover-lean4-v4.10.0_GH0.tar.gz) = dee5d1dbcea924fa3f4500c1f4854ea5953f471e3600dac71421c742c844b094 +SIZE (leanprover-lean4-v4.10.0_GH0.tar.gz) = 25013155 |