diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-08-22 16:30:18 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-08-22 16:32:25 +0200 |
| commit | 15f33031b800eba31732bd4b2acd7ce659162d47 (patch) | |
| tree | ef82c3fcc673134da911fb157b2bb20af84bdf9b /sci-mathematics/vampire/Manifest | |
| parent | sci-mathematics/opensmt: drop old 2.5.1 (diff) | |
| download | gentoo-15f33031b800eba31732bd4b2acd7ce659162d47.tar.gz gentoo-15f33031b800eba31732bd4b2acd7ce659162d47.tar.bz2 gentoo-15f33031b800eba31732bd4b2acd7ce659162d47.zip | |
sci-mathematics/vampire: drop old 4.7-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/vampire/Manifest')
| -rw-r--r-- | sci-mathematics/vampire/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index 1432854a8700..34007ddf898b 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1,2 +1 @@ -DIST vampire-4.7.tar.gz 1462358 BLAKE2B 10fdf4076bbcd7113da575d19890634a5142dd6917c028eb7ae0e94405df9e6915fc6127956d39b6f9f97242958b0fa04fa9e835853f09cec381786862009ef5 SHA512 978169a9b4d561dce1d55aa9a61a8b302657ff758036309d9c5f58a5d9271b874ac020d110fbb2a16d34f2ccdd10a497eb469829c91d58530dba5e1cd8978d78 DIST vampire-4.8-casc2023.tar.gz 1527236 BLAKE2B fb6ce26bb31996529e2b4d76173a1cb8d2c796aa6a5a2581515c516b5f07e9d4efc6040db1ac7f65388d723ee5080d62fb9c2b6ec88f58babd892fd96c0bf0ba SHA512 d6349ab23a289101a0d9f3caa5190df065dfbbe4e2e999e7d5b97ff738c8355b35848d93423ec3a0b0f88d4ac806173493f9a2de4e31945bb09c500c64eb5028 |