diff options
Diffstat (limited to 'math/lean4/distinfo')
-rw-r--r-- | math/lean4/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/lean4/distinfo b/math/lean4/distinfo new file mode 100644 index 000000000000..d307f90be676 --- /dev/null +++ b/math/lean4/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1705134061 +SHA256 (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 8b5ae344816670adb2a68859b2f4c309592feb32674d477e46e061275f9e8129 +SIZE (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 17060956 |