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 d12208f173cc..395168f7c42c 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1717688258 -SHA256 (leanprover-lean4-v4.8.0_GH0.tar.gz) = 3bb46c24b4f5ad1fee38163bf466d8f60a334bb64a19c9801a42f76162580f9c -SIZE (leanprover-lean4-v4.8.0_GH0.tar.gz) = 20345135 +TIMESTAMP = 1720597727 +SHA256 (leanprover-lean4-v4.9.1_GH0.tar.gz) = 713e41ec71a9e9030e6f46cc5dbb5aef30ac1887dfe5faa5a054c0a2f0613b1e +SIZE (leanprover-lean4-v4.9.1_GH0.tar.gz) = 22771989 |