diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-01-25 02:30:58 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-01-25 04:21:35 +0100 |
| commit | 892d16ff94306c2b2fc952dce7a63245ff7caba5 (patch) | |
| tree | b872d43ac4a2bf18374f4a68026beb7e57006278 /sci-mathematics/coq/Manifest | |
| parent | dev-python/python-xmp-toolkit: Stabilize 2.0.2 hppa, #922855 (diff) | |
| download | gentoo-892d16ff94306c2b2fc952dce7a63245ff7caba5.tar.gz gentoo-892d16ff94306c2b2fc952dce7a63245ff7caba5.tar.bz2 gentoo-892d16ff94306c2b2fc952dce7a63245ff7caba5.zip | |
sci-mathematics/coq: bump to 8.19.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, 1 insertions, 0 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 376aed292011..0864410beed2 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,2 +1,3 @@ DIST coq-8.17.1.tar.gz 7506035 BLAKE2B 29b5b11666185ec293f50264f5a8ad66433c3ce05d74128b524f6fc3c6810551fe76d11d6f9db7d3741b829ac8bacb66948aad522d0cd2c487692c3df8b563ff SHA512 9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b DIST coq-8.18.0.tar.gz 7612742 BLAKE2B 2fb9f6205465ded60d2e1f7943f53ad884aea121c8129bb30c3f66c172f51f97eb553f8a745fd3ab1ec4da80d4ca08a7aea22f65d372fda3322c0f9ca7862923 SHA512 46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50 +DIST coq-8.19.0.tar.gz 7674352 BLAKE2B 195040c01797ac9ce67611e0c96a4601e0a48966e094e868b9f3644aa9f75fa85adf0e2e6340a14ae0a0598b746f5ad989d8f10736cd2d3852a449f6f79d2c93 SHA512 02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b |