diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-11-26 13:37:07 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-11-26 14:08:07 +0100 |
| commit | 5893d61a895b2c428d465dba6fe5a3109659fd6c (patch) | |
| tree | fbd2d3e839fa74dd2961d6442fb077473ba13940 /sci-mathematics/mathlib-tools/Manifest | |
| parent | sci-mathematics/lean: new package; add version 3.35.1 (diff) | |
| download | gentoo-5893d61a895b2c428d465dba6fe5a3109659fd6c.tar.gz gentoo-5893d61a895b2c428d465dba6fe5a3109659fd6c.tar.bz2 gentoo-5893d61a895b2c428d465dba6fe5a3109659fd6c.zip | |
sci-mathematics/mathlib-tools: new package; add version 1.1.0
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/mathlib-tools/Manifest')
| -rw-r--r-- | sci-mathematics/mathlib-tools/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest new file mode 100644 index 000000000000..4ab66c9a9e5d --- /dev/null +++ b/sci-mathematics/mathlib-tools/Manifest @@ -0,0 +1 @@ +DIST mathlib-tools-1.1.0.tar.gz 32374 BLAKE2B f470927cae1dc66478efd44de6a5fd7c8df9656351ee342d14a1e75e8774383616cedf01b21ef1b92220fb03b1f1ccb326e3363dd0fec4fb5876f43c5ddb4010 SHA512 bc59d2e41c42ecc22c5768ac3adb209f0b170e2e97fe68483d8518b78a6b4fa163c1d46e4e3996c6f3e0aaa329c642fd111b3e16d850f40b6edc81c81215d03f |