diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-12-15 09:17:58 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-12-15 09:41:12 +0100 |
| commit | ad73daf529a2e367c224390bf18f17e72fa3ccd3 (patch) | |
| tree | 497ba5293e66629f89d2f2d06e2ca4f6a662cd41 /sci-mathematics/lean/Manifest | |
| parent | sci-mathematics/lean: drop old 3.47.0 (diff) | |
| download | gentoo-ad73daf529a2e367c224390bf18f17e72fa3ccd3.tar.gz gentoo-ad73daf529a2e367c224390bf18f17e72fa3ccd3.tar.bz2 gentoo-ad73daf529a2e367c224390bf18f17e72fa3ccd3.zip | |
sci-mathematics/lean: drop old 3.48.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/lean/Manifest')
| -rw-r--r-- | sci-mathematics/lean/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index 6cab555cb67f..a6322520da8d 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -1,3 +1,2 @@ -DIST lean-3.48.0.tar.gz 1918012 BLAKE2B 4616af2e4d66c56866f321797d6bb05049925f62c2c62c72a3a5552d39cc83c48c1dc2e59b9d81a7341346ed6f3173ef6e69902b8e8a5a24c4af86dace76360b SHA512 9e017484f88fac40e35604643c972d5f316df70c18b00f90b107d994f5e58eeb0637033354c1e0159a9dfc8c72fe3ea9d3b70569b46fc37b22a94c3d7445cdac DIST lean-3.49.0.tar.gz 1918154 BLAKE2B 9f9973d00d2d5d5b7d26d50117c27754feb5132e88decd55859432a384dac2897184dcf8d841ad0034854657ac25e462dc69cdbe1cf2040787d108bb7e1370f4 SHA512 b4672843c2e923da8d56b91c14966fc2ec66c573564d68db9c52f9b40f2c97d82497f2ef6424b023c4ae50f6f0c11674e2d79053844ea669d226d0fe24077ade DIST lean-3.49.1.tar.gz 1918165 BLAKE2B bebb29023f7d8979dae19d7c5ef6503be03012366c8a4f21a69244a1daadf90c73e8a8754656d7b1a6eccb1123f0905f3dcaa15885b0307399979024d2c5a051 SHA512 6648ab84840099495df5bec9432c75c40fc0920ac2a18297b42c35de593ec4eaee8bcf807cb6e273c2715090e5d1ab6c59652f482016af68d758e7e6e55dd87f |