diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-12-15 02:02:03 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-12-15 02:02:03 +0000 |
| commit | 16a4365c3b854e62b50726456ddb29bb78fd5038 (patch) | |
| tree | 6de11adc70daeb6424485bb16be162d2cb277018 /sci-mathematics/coq | |
| parent | 59d772d9463f8cf6a145a677bedbf377a0625aff (diff) | |
gentoo auto-resync : 15:12:2024 - 02:02:03
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.20.0.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 937ffb5bf1c6..daefd4ddc0dd 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,5 +1,5 @@ DIST coq-8.19.2.tar.gz 7678311 BLAKE2B 5f9617fbe0127b0c8357c63f331ba3e9fb5a931be9a4a8e8de2e27820a0d986bf99ed9a512740a0f721c742504225ae56e240af893510aa0e449931499d10aab SHA512 91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c DIST coq-8.20.0.tar.gz 7839432 BLAKE2B 9b489db0cc6874b0a629f3bdb4b503201005ec95a3375441538cd7e51d371a39561b9d0ab23ac485652782fdc7ae8d90c97ca1ff4d9a85fb8727a39ed4a6f48c SHA512 1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b EBUILD coq-8.19.2.ebuild 2483 BLAKE2B ce2870e40fe70f113cb52eea1a7b5771bee4180d0a58e4bfb539feb0c499531b2dc1388066f33bb7024d77c5efc8541d3e545e86568e58cec12c48eaa9f8360d SHA512 49605fd89331d80ac24bd886f1b96ffbf9ad17c0ffec3dfe2ac0bda2176853f10e023708a02ccffbcda2c0f2a9443e921a44e2745446ac13181aada4c5aebb97 -EBUILD coq-8.20.0.ebuild 2896 BLAKE2B 0b241fec6dd165b83fa07c0708b03461ceebbf800fd6501936c8c36e7c9a0f42c6c01594c1ee48903b535dbd65a2fc389bd4bdb66e98ffe926a78fe302e4acec SHA512 5d4d0a01cf012f142cb341d63c2c19ea05be45c2605ca2a2ebe92a9773703d046927318371afc5804187546e0a60daa225b20df05428f721dd04e964a4dc1378 +EBUILD coq-8.20.0.ebuild 2895 BLAKE2B 537f16925a0b630a4fec48a5503aa3e10a8a225aca594d2cdd529f6ede52bdca5b6139b9556daba827f8283278827a013438ce4b4ce5153c038a01b79b774ac9 SHA512 c24c2a9d573a348ca6934de093b281c84de698b95355714f9d8d7d9d81d1d945eafa869370f9847731e4d930ae10e77600581aa3d27be6cace6adfaaa4f62323 MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc diff --git a/sci-mathematics/coq/coq-8.20.0.ebuild b/sci-mathematics/coq/coq-8.20.0.ebuild index 7446a497d097..ed305875cdd0 100644 --- a/sci-mathematics/coq/coq-8.20.0.ebuild +++ b/sci-mathematics/coq/coq-8.20.0.ebuild @@ -17,7 +17,7 @@ else SRC_URI="https://github.com/coq/coq/archive/V${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64 ~x86" + KEYWORDS="amd64 ~x86" fi LICENSE="LGPL-2.1" |