diff options
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.11b.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index d0c233f2064e..dfae36a94ecf 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -3,5 +3,5 @@ DIST z3-4.8.11.tar.gz 4799940 BLAKE2B 5478f9f45f2dc8ea5d2b781e79d886e77eed5ae034 DIST z3-4.8.11b.tar.gz 4801435 BLAKE2B 903a04246fe4dedc96fda653fa9e3a57a80b951d20b992306bd07bc778cf0a94cf36fe4ed3f178bb26196a1ca294834c784a117fe906d52b82f874a43869d110 SHA512 dfcfc85209dd00aa5f07de0a7e7186a33442b72b94b05c01f53350b9281551be2a2c21ad5e7814bc2c52a3329be8df578e6be8c387cbfdc3a9d3bef0611d6613 EBUILD z3-4.8.10-r1.ebuild 2428 BLAKE2B dbcf484ac1b804abc88bc0dc7405e2c161f1d80259d972d2327c7f837bec3bee355efaa0d689fe5f490d09c0a509a2ee4be7fb38588518ca3f5db92997449e31 SHA512 3a48335f2cbb5d94a24c80793c4651f244c71645a869ee494ec83600aaaa3824a8198d71a32fe3c14c8f2df80c5b76ac321f41f6e04b5c4aab05851db65bf37c EBUILD z3-4.8.11-r1.ebuild 2433 BLAKE2B 6289708b8c64f3aa62e98f659cc79bad7d9d189267e670d2543c45dc8b2fc60ee31b1a9950059f7a75ed2a470cf13d5a9dc5956259614985365de2aa6fd4418e SHA512 37db72f50f850d89bc9b540140d94d26a18358fda78afdd4cb95ba47b9ba3591c2afb50679acd722b776e8a9ff681688ab73899317d63d71c47687a8b8dd4d0e -EBUILD z3-4.8.11b.ebuild 2434 BLAKE2B b2e68066debfd8269a84a38f38b62bcb27dac57a2c208f4025ffc06d423cbd78cb123dbf714a0042563d82c01e4374fd46a3989d9e756ba1f3731769a5304c6c SHA512 75d5212ecb38f38da01d765d0ff3c806cf25b04cd8d1d5d9bbcdf6c141f2069e7e9b5dc18a9fc6f5637ef297a7ad219d9e1bb7588a1d64af614630342fbbe168 +EBUILD z3-4.8.11b.ebuild 2433 BLAKE2B 7cb4957417d1f8327cdb7ce66b820838b84984b73e2825b2feaa14e4877f7655d60f946f54e08979ebf61aa86c225aa4082d15145dc602c3c5e27488736edfe9 SHA512 fe28f5f6d28b00b0092411fb102c810d07e97c95df7c693aefc3279822773953b0b58006d96ec06d030e59278eb359f30e76d1acfbf8f8d65b64cf9fc9758f11 MISC metadata.xml 616 BLAKE2B c35cac6f5810148c69a612d6b04ed4cacdbf066e61951ea1433336f14b2b058c4dd50530b547021007489122f5e94407b30641dc9ccf3b59a345e7a09e5fdd28 SHA512 eaf72a29601e96d5312120a1fc01a0b3dd2b7d8dbee70f6052e8ff7a7e07ae8b768d1417b7f4b523e755e5569092f2685bba77beaf3d7c455ccbd057cc9b670a diff --git a/sci-mathematics/z3/z3-4.8.11b.ebuild b/sci-mathematics/z3/z3-4.8.11b.ebuild index 985b483904f9..6716e2d4fda3 100644 --- a/sci-mathematics/z3/z3-4.8.11b.ebuild +++ b/sci-mathematics/z3/z3-4.8.11b.ebuild @@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P} SLOT="0/4.8" LICENSE="MIT" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86" IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" |