diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 16203 -> 16201 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 42207a596086..fe3547cc034c 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index e95f0c3cca41..965b0a1fb993 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ DIST z3-4.11.2.tar.gz 5428273 BLAKE2B 85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1 SHA512 be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a -EBUILD z3-4.11.2.ebuild 2591 BLAKE2B c3178fe3ee767a1e15ee324e529fd67f1cdeffdd7f62eb28afe64cf06cc8512b84c952ee66baa6bc10ed22c35d9927786d0b86607bac6b8fb96923dbce58a1a0 SHA512 74c746847c3ad2d33d2fef0e9cf4acf5ea2f5fe11e08be97bfa3b91aa83fc8a8c59d3d045b1d5ed2a381d487fc7151fde8b7996efb5403f04e936ad1f3ccd426 +EBUILD z3-4.11.2.ebuild 2598 BLAKE2B a7ed4afbff24bf7f001fd883f9844f8fe837ff4623499475199b3eca33dc52d57490c61820bf22ff27b72044d51bd53cd6f36203aaac2c41b37d807e15e0f1b7 SHA512 233c06d48697b3795c3e071703d16458c688773d9523fe5b8b16efba315a67efd03d5b6ac478611dbdde6d8e7e28af72db39a26cbebf45341873d4aa192db84f 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 c988608e72f8..828f9a4c4d12 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 ~loong ~ppc ppc64 ~riscv sparc x86" IUSE="doc examples gmp isabelle java python" REQUIRED_USE="${PYTHON_REQUIRED_USE}" |