diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-11-26 13:06:35 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-11-26 14:08:07 +0100 |
| commit | 7d5b1c7ba22597740387ad17314b58d88e941474 (patch) | |
| tree | 4e6e1867e9ab5ab6f5e3a967544ec1615be13e44 /sci-mathematics/lean/Manifest | |
| parent | sys-kernel/gentoo-sources: Linux version bumps and genpatches (diff) | |
| download | gentoo-7d5b1c7ba22597740387ad17314b58d88e941474.tar.gz gentoo-7d5b1c7ba22597740387ad17314b58d88e941474.tar.bz2 gentoo-7d5b1c7ba22597740387ad17314b58d88e941474.zip | |
sci-mathematics/lean: new package; add version 3.35.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
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, 1 insertions, 0 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest new file mode 100644 index 000000000000..cad21881763c --- /dev/null +++ b/sci-mathematics/lean/Manifest @@ -0,0 +1 @@ +DIST lean-3.35.1.tar.gz 1872461 BLAKE2B 44635b05a7e8ea89522dfb44b8f097ec530419ab79a5413648292ca34019ca744ae3e327cf3a7c627cb7a7a682cfcb2ffc5e6802f2c5ad67e0a7abc303624a3c SHA512 24238cd9e920042f5bf7ba0a121da860e7e9c804d169c888bfabbc5e79e55f556a8920fab0c1a7e72b13501798c5f3fcb068f1705a0cf230f2b89abe1b3045ab |