diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-11-19 20:45:22 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-11-19 20:52:08 +0100 |
| commit | 585c3c9caae3a47255532f85d2595f8bf048a5ac (patch) | |
| tree | 67e2f17d3d475ed0792b4fc59127c40b80a5c79c /sci-mathematics/coq/Manifest | |
| parent | sci-mathematics/coq: drop old 8.19.0 (diff) | |
| download | gentoo-585c3c9caae3a47255532f85d2595f8bf048a5ac.tar.gz gentoo-585c3c9caae3a47255532f85d2595f8bf048a5ac.tar.bz2 gentoo-585c3c9caae3a47255532f85d2595f8bf048a5ac.zip | |
sci-mathematics/coq: drop old 8.19.1
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 d35ed18e4b25..25ce5290b45c 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,2 @@ -DIST coq-8.19.1.tar.gz 7675945 BLAKE2B 62ee346f50d0a22ab217a8e689c3078347519d159619b75f20a8decace356b49c60bcd5b2cec5fbcaffc758a8944f8a7940298df1c0ddddfbd858ed9269c12f3 SHA512 ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42 DIST coq-8.19.2.tar.gz 7678311 BLAKE2B 5f9617fbe0127b0c8357c63f331ba3e9fb5a931be9a4a8e8de2e27820a0d986bf99ed9a512740a0f721c742504225ae56e240af893510aa0e449931499d10aab SHA512 91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c DIST coq-8.20.0.tar.gz 7839432 BLAKE2B 9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c SHA512 1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b |