diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 18679 -> 18680 bytes | |||
| -rw-r--r-- | sci-mathematics/coq/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.17.0.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/ent/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/ent/ent-101202.ebuild | 2 |
5 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 988bc8265606..bc9ae606b627 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz 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 )" diff --git a/sci-mathematics/ent/Manifest b/sci-mathematics/ent/Manifest index d4b8e283aa1a..db2bf64525e9 100644 --- a/sci-mathematics/ent/Manifest +++ b/sci-mathematics/ent/Manifest @@ -1,4 +1,4 @@ AUX 101202-gentoo.patch 385 BLAKE2B 50ff9cb07e240b83db5610960cf0c6419d36cfbfb932dec421ba9144c8bfd1ccee01a100caa913dccde099725916e93fc8f5178d444217d0a553cf584dcb7a4d SHA512 5148ab2c222ce7e87d5240750a54abb4d79e414ef392fec4d8f955509ffebbcfa0216841ad18a20c2f84b00b5105739e8aca737df5cd08f4567b276f16de4755 DIST ent-101202.zip 76200 BLAKE2B fec032543e2b5721f558c641f9668544579db022e018ad025fad16b7402f9279a0b66c70465a6cae1cae81afecc04fccd02edc80f213d167cd513c18c876eda3 SHA512 f74cfae8cd8b9f405b7459a350571d3ef438bdba42508da59ca214f6e7f6372d253a4c1a30685aa7dfc1cf14dde9796ea54bf42aa103a63bae09a5bb3fd3d3d8 -EBUILD ent-101202.ebuild 632 BLAKE2B 0f3707675a82adf67b1bd9bfafe803d2e873cad9997437cd8a0d6d4c190acb4bd48eb9429e0efeee4b6334fb9ba51ed0adad18929b49852951e3853adad15f2d SHA512 6e1fe0b84b4ace3063e8159f7f2fd5b6954011e8008dcf49a717b54d33ddd3e503cdd7b379340a82247d7d002a048357cfc6bafb6e2df4f85a742d2914ed66b5 +EBUILD ent-101202.ebuild 631 BLAKE2B 7d95fc678c9ce9aacc77952faa09ed7f717b9d275d1f4329332d088670c331494b59fe2c1e60be1ca91a80206904acd6129b621337b267e4b3f7da1fdbad5660 SHA512 eb8b6d76abc42dd8c63ce7d5a8d0fec6ed20ab2d3fd4eca710d65d3bf5ea4148f86406d45bf7a37a9f5772ed96a14aa919b507ae25855d4d9a67781d2439c9d4 MISC metadata.xml 276 BLAKE2B ebfb8324de9ffc201d51a89c5c48054dad71e7ed3d0c012d20b4e24bdc18aef948acb61b87b4540808e7eeb07e99dca7e2d9b43123b8735e559427d5afc7a28f SHA512 615bf33cd754550bca58862b133795b54792f3253d1e80cf933a4094717e4a46acbd872d9373e0f25005843ff296ce3529d55acf38db43e9921220bdf0a3c2d1 diff --git a/sci-mathematics/ent/ent-101202.ebuild b/sci-mathematics/ent/ent-101202.ebuild index d69dd0083f7f..276a9a29fe86 100644 --- a/sci-mathematics/ent/ent-101202.ebuild +++ b/sci-mathematics/ent/ent-101202.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}" LICENSE="public-domain" SLOT="0" -KEYWORDS="amd64 ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux" BDEPEND="app-arch/unzip" |