diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-05-27 03:10:45 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-05-27 03:10:45 +0100 |
| commit | 9e68aee0e16e4b361fe06f9566c74b4bb2a22a27 (patch) | |
| tree | 419e98a8690f9f840b62b1a2013e04141d0342c0 /sci-mathematics/coq | |
| parent | a20b8556104c163a81183ff983af8123e40f16c5 (diff) | |
gentoo auto-resync : 27:05:2023 - 03:10:45
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.17.0.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index f96805c38305..89e136d56242 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -7,5 +7,5 @@ EBUILD coq-8.12.0-r2.ebuild 1853 BLAKE2B 2a34013702abba1c9e1116397822684fcfd0906 EBUILD coq-8.13.0-r1.ebuild 1827 BLAKE2B c14222f64269417e09c02f581a281a5328cb71e203d365019a939846bd2c2d61c8a059e64f3df0027472927b8e36aea6b2b998de86799cd1c425481a3d98e3d3 SHA512 faad0043cabc4f2d2fa129878a233ba11d0ced13fbd2c0f947c6ee380a5a1efceb65bcc0ee8e84f4116a9c3b78beb940865c07aafd22816911a39a69f9b23138 EBUILD coq-8.15.2.ebuild 2402 BLAKE2B a1f9f44c17ea51c1a0536d02eaddbeba7eb5e441ec8562da3b9776dbafafbd30c50beb821d248e0a51dc56b3a5bec7feb36811d92277609d405b01229bdda17f SHA512 45c64aa13323c97c29dd4eeccc5b4e228b6abf51a3717bf62dee0c102df13c9a809073150d82be8ae7a07d43f62f52b4b7d2a69908f0ffed646b64a44d46c7e3 EBUILD coq-8.16.1.ebuild 2418 BLAKE2B 09538efce3b1ba1b96141fe56b4328ed5fdd9a2c3aeeabb94ab35af59027748e4e75f456edd6ea81d97f8a7cd2ace7c6a89af1c815139168bd2728ad8ceafc7e SHA512 37dd16c4b7d7ebb9c380f47e24c25bbdf361db401d593f1a0d21cd0842dc4a1c6ebfd1bafd1d6c661885811f2b00c3d1665e78efcc385c478216b832e7889a51 -EBUILD coq-8.17.0.ebuild 2318 BLAKE2B 43895300c1c9b754f5c1d1cfc2140318f8ef32014bcfa59e47e21931efe8d9d115637791b0ddad99c6ecea9fefc172bfddaaef048cffe99ae769fdb807cef8eb SHA512 6f9149a727109283ec4f4ca883016478f0e77464542ca3798e068d3eea2d682eba1b226b37bdc1bc9e4c35c8c19997e1720f3abf2d42c6fc790d148137e0f8a4 +EBUILD coq-8.17.0.ebuild 2317 BLAKE2B 6f6d95472af219858da6f5e10840b4023eb9ee3208ef5466743b1f1001dfa7557a6842236900e4f865f1571de1a12efe79d2f05e5e931b88120e2867506283a7 SHA512 353d4c840833d3339a541fc54535670a8ffc5a75c8ba043fe883139515d5282a42ab04f2d4d8c91e9b7830b45e00a7b50cf4e46dd3735d1f30e517d5288f05bd MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild index f634026e1cda..6e20f85ae93c 100644 --- a/sci-mathematics/coq/coq-8.17.0.ebuild +++ b/sci-mathematics/coq/coq-8.17.0.ebuild @@ -17,7 +17,7 @@ S="${WORKDIR}"/${MY_P} LICENSE="LGPL-2.1" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64 x86" IUSE="debug doc gui +ocamlopt test" RESTRICT="!test? ( test )" |