diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-09 15:17:48 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-09 20:13:59 +0200 |
| commit | 7cb88d7766b20c6b5eadf008b921e1faaa2fa131 (patch) | |
| tree | eee0c973959d8e172797963fb19b2169f8d2dac0 /sci-mathematics/coq/Manifest | |
| parent | sci-mathematics/coq: drop old 8.12.0-r2 (diff) | |
| download | gentoo-7cb88d7766b20c6b5eadf008b921e1faaa2fa131.tar.gz gentoo-7cb88d7766b20c6b5eadf008b921e1faaa2fa131.tar.bz2 gentoo-7cb88d7766b20c6b5eadf008b921e1faaa2fa131.zip | |
sci-mathematics/coq: drop old 8.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq/Manifest')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 385fbe314d18..eec1fefc064d 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,2 +1 @@ -DIST coq-8.17.0.tar.gz 7504612 BLAKE2B 90ff0e187e13a6501580733f0e92dbaba0ddc520b418246c743f0c282e74cee3e1d69ad0249cddfd5b8f3ba363bc58cb91aad33d0936ae38afde0f4c97d47a72 SHA512 2f77bcb5211018b5d46320fd39fd34450eeb654aca44551b28bb50a2364398c4b34587630b6558db867ecfb63b246fd3e29dc2375f99967ff62bc002db9c3250 DIST coq-8.17.1.tar.gz 7506035 BLAKE2B 29b5b11666185ec293f50264f5a8ad66433c3ce05d74128b524f6fc3c6810551fe76d11d6f9db7d3741b829ac8bacb66948aad522d0cd2c487692c3df8b563ff SHA512 9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b |