diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 16207 -> 16206 bytes | |||
| -rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.11.2.ebuild | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 41abd4bb6084..563a9856a81a 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index b8a2f17d9c43..a4078f331401 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -7,7 +7,7 @@ DIST z3-4.9.1.tar.gz 5358020 BLAKE2B b707084424b615a43dcefbc395d6cf0519f3d6ea3ab EBUILD z3-4.10.1.ebuild 2597 BLAKE2B eba2a719e5ec43add7ebcb3919ce9c315a0d5a36bb5cfc0bb2d72b65b7f0c51c99d9e2daa980d887526fb5f112b4285ad849c5962ef3ed6fae061ca6fb44293e SHA512 9ea78fee2dd63521e56bed98b565a785da1a27efab83f0e2d16e707d1cef48b6bdd268aa215a87a24958ebd7c4bca1416e302cbb26a8aff5bbe127abdffdea03 EBUILD z3-4.10.2.ebuild 2593 BLAKE2B 80eedc9d3aefea51c06a81bfd18a58005c83385f093fe6cfeafc2a5a5f442e67fff70fa43d2030a07894b6a0d5b272c21052699c6620bea1d240d756f2ce62fe SHA512 74c36a1ad1c41951a0a12e453eabf8da4a5d78d21a988fe94b5544478d2f4545394e5629b8087577d51f7593d7dbf2fb3e601fd01aa912ba2f22432d84991ac3 EBUILD z3-4.11.0.ebuild 2597 BLAKE2B 08065cfcdf7bf9e38d272c8820e74c2f658f5043463f28bdd5fb726a892fabfd40401c6cbd731f13f14321b0a6ea1b30623918c2c47c4984a3f0e166a0f85910 SHA512 53f817c5131a4a9632720a06efd167dd716ff873f7672d74c5e69aa0e45eaa064c4e1829045dc6143756af447856bb77aa963bc1068490efd3fd8f3406a3f2cf -EBUILD z3-4.11.2.ebuild 2593 BLAKE2B 2492d686758dfcbb8d22c7967f8f4a88f9f8878d7f6ce676ee269d05b341516f8683374f891bdde27a66747dd4ce9c088bf7dcdf8b455b80d529da65e4c1fac5 SHA512 fe397099e1a03d36bfdd0d68638727e3829f2c74302d9a6a845f778741e3c7fe3eaa3506de554b9684b656a3971c1dd8e2888bdb609c05eb314bbb52aa8ef3ff +EBUILD z3-4.11.2.ebuild 2592 BLAKE2B 47094d4b7b7af4b4fd98db4db800ea9a57c1f5bf2e7081eeb3e883e31b78946e63197bc07837b80c2ad68f765cb71904ce05437749524515ed07f7f70e323456 SHA512 3e1b7f0b095e91e1606ac7d196101ff99b79152510c16df4159aa0a57edcc801c3d1d292049700edb513e1cc349321284ee47317e4dd1cdcf000a8381749ff4d EBUILD z3-4.8.17.ebuild 2594 BLAKE2B a9b14f2abe00c69252c4b66621f804c3e29a423bea51324cb03cb618f2f42b8762ebffc44f0cfe0cfa35f2c7f5baa615a07d3d8170a2c5f9a2ef40762ae38e2b SHA512 d548f50364c08cbc14c6c966535882286042c538c3a2119951fbe4ce2c3c9dd1f244d955b0060e28045ea89c7199a7a9617c65d1cace66e146de392f5a4d724d EBUILD z3-4.9.1-r1.ebuild 2597 BLAKE2B eba2a719e5ec43add7ebcb3919ce9c315a0d5a36bb5cfc0bb2d72b65b7f0c51c99d9e2daa980d887526fb5f112b4285ad849c5962ef3ed6fae061ca6fb44293e SHA512 9ea78fee2dd63521e56bed98b565a785da1a27efab83f0e2d16e707d1cef48b6bdd268aa215a87a24958ebd7c4bca1416e302cbb26a8aff5bbe127abdffdea03 MISC metadata.xml 617 BLAKE2B f940ac3d7c159dadf4398164b749eaded84c12af5553a154d97fd9bfb939c72e3122e08e11c1c9764514f59a87695534daff6628bd15be4de834c7cfdb65d7f9 SHA512 758df481a60606de12c5a450162ee89fd2f68f842675b3bf280f024fcd61232228476ac889e60c09e42ebae01ad855b32ad77793ba7fa5714861ccc5ca52bfc7 diff --git a/sci-mathematics/z3/z3-4.11.2.ebuild b/sci-mathematics/z3/z3-4.11.2.ebuild index f578c7837da9..9733d67afd2e 100644 --- a/sci-mathematics/z3/z3-4.11.2.ebuild +++ b/sci-mathematics/z3/z3-4.11.2.ebuild @@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P} SLOT="0/$(ver_cut 1-2)" LICENSE="MIT" -KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~sparc x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv ~sparc x86" IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" |