gentoo auto-resync : 16:03:2024 - 18:48:51

8 files changed, 2 insertions, 99 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 75298ac9440c..0d0d17ddecb1 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/giac/Manifest b/sci-mathematics/giac/Manifest
index db44f23f4541..7300d4cfb300 100644
--- a/sci-mathematics/giac/Manifest
+++ b/sci-mathematics/giac/Manifest
@@ -1,8 +1,6 @@
 AUX giac-1.6.0-pari-2.11.patch 783 BLAKE2B f173015006fef4a9f8176965f923664f11b0b05151b126cf74a5bccf5036e1fd3aa97f12fd91808fab7fe23a3194e6a4a7a9f12be5b69a5dfda5aedec8a0117c SHA512 56102439f05f0e27bda49f1e9803bbba7921c87eab383fc2f068ccca6ef598f11e35d00f5a737076a6a41df08ef9065e567cb84030ba6ea928520f371d51b9ed
 AUX giac-1.7.0.1-gsl_lapack.patch 2912 BLAKE2B b0f9f05126316b9b76d5f1a5ad737cc88ecbc71dc450ef714f6da323128d9c945ada9d658c73647987f84638498aa4d3bbef49062424ab63b53c76defc127902 SHA512 14bfcb04e5a23933cfa4635789bf02f6d6e6a528c167504678b3d2ecb38f135d0c05583712005fe53afd7696cc9ebee5dc3ab90cac056d75bd43be786075b011
 AUX giac-1.9.0.21-pari-2.15.patch 298 BLAKE2B 99329cfd473ec3b580caf8f9700501e8b5dca9143cd04d883729880109d4e1962d19dce19aaf51e5d26ab09dc399a45a3a052847837f53a60c1b21087ebeabb8 SHA512 f9335dd47ee43ca10b784c8302422efcd5a835b1fe13fa134f5d36e453327e96624e77e086710f9d556352b1d62e6e693b3308fe8af329492e11d68cc9451b5b
-AUX giac-1.9.0.55-pari-2.15-test.patch 356 BLAKE2B 93863190cb64dbf0073f56e9657478b5e6d166da5ae36b81e55a45bbb75359cf63b23089b8191ae1e60958bf14652d5ac935b1aaf900b2bfb7d30b7ef3dc9504 SHA512 09155a08d8078d9bff610be15a2df0329ab9db53ca3873f01e61b02095361ab201ec93600cebc2ef42ccac67be40095a71bdaecaf54561e824fa267085245c7f
-AUX giac-1.9.0.55-undefined-behavior.patch 2081 BLAKE2B 68a3b7f2a56b6d425442f47fe6f069c1cce1bda38d85421519c68fdc9fd256ff7228886c74697151a80ec79016b436c82bc033be098b62e848e49ec499273d2d SHA512 ae531a42c9670d1ecb2cc6546ed256532705a99e13154fef6024f0ab69d5ff07b2872746b164b1cf234dce1ffe9c448a174a60dfb34eb914535ae92816007a2a
 AUX giac-1.9.0.67-system-gl2ps.patch 2283 BLAKE2B 6c98e3ea09f0f8b0e34e2634218595d576e7eee85234e56436db24fe0aa276288f58049bcfb374ae42d7f104b44f0d51b3e81acc6e2e9af1cecc4e4adadfada8 SHA512 88dae722242b81ee22b7d377e4fd4b98d1e687307aaf3091ab17ffc720678bedb93c30bc0fd92c0388b7994945b820f31dd57e831736b6dd29e5d8285320d4e6
 AUX giac-1.9.0.93-glibcxx-assertions.patch 1135 BLAKE2B 5dc1f882f0832f305dbc24789e1ec3fde79ac6f203fef013d330f6cc268fe5366dd938cf6f141d7f3dad7aff6d012d65693d9daea20745d8bc87f15dc55453d1 SHA512 cd882c469a7af89dad475cd77f9a3625f914a6b522eba8eb12275535552da5d98bab63e6b84ba730766976ee3fe70bd414143febb3b5de55727e7da854c0cad9
 AUX giac-1.9.0.93-no-fltk-buildfix.patch 1690 BLAKE2B 7ff97352ebe164107700ed0a45cfe25df7685ac69684cdfe6811235db2d2020322791868ef2b503281095120083ac8c63f0982c1eec9baac009c8642dca2229d SHA512 4a739550164d0555ddfaec7a02e2fe43f5dcdbc752d7d785ae8c4d1bad7b3e18d15ff2c5670129fc99b9680e6198f87b1517255a03b390bfcadfa0a02f28752f
diff --git a/sci-mathematics/giac/files/giac-1.9.0.55-pari-2.15-test.patch b/sci-mathematics/giac/files/giac-1.9.0.55-pari-2.15-test.patch
deleted file mode 100644
index 956ade485edd..000000000000
--- a/sci-mathematics/giac/files/giac-1.9.0.55-pari-2.15-test.patch
+++ /dev/null
@@ -1,10 +0,0 @@
-https://github.com/void-linux/void-packages/blob/master/srcpkgs/giac/patches/giac-pari-2.15-test.patch
-
---- a/check/chk_fhan4	2018-03-13 15:27:11.000000000 -0300
-+++ b/check/chk_fhan4	2022-10-14 18:51:12.604731890 -0300
-@@ -1,4 +1,5 @@
- #! /bin/sh
- unset LANG
-+export PARI_SIZE=2048000
- ../src/icas TP04-sol.cas > TP04.tst
- diff TP04.tst TP04-sol.cas.out1
diff --git a/sci-mathematics/giac/files/giac-1.9.0.55-undefined-behavior.patch b/sci-mathematics/giac/files/giac-1.9.0.55-undefined-behavior.patch
deleted file mode 100644
index 78eac91a5244..000000000000
--- a/sci-mathematics/giac/files/giac-1.9.0.55-undefined-behavior.patch
+++ /dev/null
@@ -1,62 +0,0 @@
-From fc0fb5ba02953d6e15424ce3a2d8f5b52380ffb4 Mon Sep 17 00:00:00 2001
-From: Michael Orlitzky <michael@orlitzky.com>
-Date: Sun, 25 Jun 2023 13:43:35 -0400
-Subject: [PATCH 1/1] src/vecteur.cc: fix invalid vector indexing.
-
-A few places in vector.cc use the construct &buffer[n]-m where
-"buffer" is an std::vector and "n" its size. This is undefined
-behavior since the index is outside of the allowed range (0 through
-n-1). With GLIBCXX_ASSERTIONS enabled, it crashes on the out-of-
-bounds index.
-
-The most obvious fix is to use &buffer[n-1]-(m+1), which avoids the
-issue so long as n >= 1. I think this will always be the case in the
-affected code, but if I'm wrong, it can be fixed by adding a special
-case for n == 0.
----
- src/vecteur.cc | 8 ++++----
- 1 file changed, 4 insertions(+), 4 deletions(-)
-
-diff --git a/src/vecteur.cc b/src/vecteur.cc
-index 89b1445..c91af66 100644
---- a/src/vecteur.cc
-+++ b/src/vecteur.cc
-@@ -7998,7 +7998,7 @@ namespace giac {
- 	if (convertpos){
- 	  int C=col+1;
- 	  longlong * buf=&buffer[C];
--	  longlong * bufend=&buffer[cmax]-8;
-+	  longlong * bufend=&buffer[cmax-1]-7;
- 	  const int * nline=&Nline[C];
- 	  for (;buf<=bufend;buf+=8,nline+=8){
- 	    longlong x,y;
-@@ -8022,7 +8022,7 @@ namespace giac {
- 	else {
- 	  int C=col+1;
- 	  longlong * buf=&buffer[C];
--	  longlong * bufend=&buffer[cmax]-8;
-+	  longlong * bufend=&buffer[cmax-1]-7;
- 	  const int * nline=&Nline[C];
- 	  for (;buf<=bufend;buf+=8,nline+=8){
- 	    buf[0] -= coeff*nline[0];
-@@ -8268,7 +8268,7 @@ namespace giac {
- 	    }
- #else
- 	    int C=col+1;
--	    longlong * ptr= &buffer[C],*ptrend=&buffer[cmax]-4;
-+	    longlong * ptr= &buffer[C],*ptrend=&buffer[cmax-1]-3;
- 	    const int *ptrN=&Nline[C];
- 	    for (;ptr<ptrend;ptrN+=4,ptr+=4){
- 	      longlong x = *ptr;
-@@ -8300,7 +8300,7 @@ namespace giac {
- 	  }
- 	  else {
- 	    int C=col+1;
--	    longlong * ptr= &buffer[C],*ptrend=&buffer[cmax]-4;
-+	    longlong * ptr= &buffer[C],*ptrend=&buffer[cmax-1] - 3;
- 	    const int *ptrN=&Nline[C];
- 	    for (;ptr<ptrend;ptrN+=4,ptr+=4){
- 	      *ptr -= coeff*(*ptrN);
--- 
-2.39.3
-
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest
index daab7ee54b3d..b6ef0c577f89 100644
--- a/sci-mathematics/psmt2-frontend/Manifest
+++ b/sci-mathematics/psmt2-frontend/Manifest
@@ -1,4 +1,3 @@
-AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700
 DIST psmt2-frontend-0.4.0.tar.gz 70801 BLAKE2B 337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702 SHA512 68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5
 EBUILD psmt2-frontend-0.4.0.ebuild 591 BLAKE2B e6c8444f7401566e19ce5cfeddfbac2d7df46d78d7b6bd171df3cf547cdaddd245fde9e157b23707d29bf73fef6226f90f81e735a91d9baa10590d576d05acc1 SHA512 2f594d42be049cceb40fffe52b336790863abd16b1507c1edd8061c737c7f29125828b51d2eb99fd1f63a5bd05e0501ae9df39901ea48c9fc677ad113083058a
 MISC metadata.xml 731 BLAKE2B 14577e7299ccd12be2ce493d8544a43bf3cafc7ffe7dff3be057f1428b467a0f47195b937303c50b284e5df1896765436d0f122472fe2d9aab0ddcf45f7fe140 SHA512 6bf3fdf46245ea1c9ff4b032ebba4feb6b519ec16605b1f486a2daf28961a4fe7f58b419b31eacf077e2cb64ca3e846dc21d741c7a4be3b57003e55c572c985a
diff --git a/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch b/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch
deleted file mode 100644
index 74fbed08bf6b..000000000000
--- a/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch
+++ /dev/null
@@ -1,22 +0,0 @@
---- a/Makefile.in	2019-07-20 19:20:06.818740706 +0200
-+++ b/Makefile.in	2019-07-20 19:21:33.437581073 +0200
-@@ -18,7 +18,7 @@
- libdir=@libdir@
- # exec_prefix=@exec_prefix@
- # BINDIR=$(DESTDIR)@bindir@
--LIBDIR=$(prefix)$(libdir)
-+LIBDIR=$(libdir)
- # DATADIR=$(DESTDIR)@datadir@/psmt2-frontend
- 
- # where to install the man page
-@@ -119,8 +119,8 @@
- ##############
- 
- install: all META
--	mkdir -p $(DESTDIR)$(LIBDIR)
--	OCAMLFIND_DESTDIR=$(DESTDIR)$(LIBDIR) \
-+	mkdir -p $(DESTDIR)$(OCAMLLIB)
-+	OCAMLFIND_DESTDIR=$(DESTDIR)$(OCAMLLIB) \
- 	  ocamlfind install psmt2-frontend src/$(LIBNAME).* src/*.mli META
- 
- 
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index f00d754c1edd..eac3772dc59a 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -2,6 +2,6 @@ DIST z3-4.12.5.tar.gz 5491803 BLAKE2B 9ad626386c73dea23b4a304312d5381be76b4c6b9a
 DIST z3-4.12.6.tar.gz 5492517 BLAKE2B 721db0881ec77112ca0461897fa01f2b7e9f8748976f54d1b0c36acc583f74c175d0002cf46261f87c15b2614832700c1e5f94a199767a945041950cc3d9048d SHA512 10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
 DIST z3-4.13.0.tar.gz 5520232 BLAKE2B 0889c03991311c46c361f269b85fb316c0b4be5cee84f1bb420ef640876058431fe5ec00f58a3dc9377ed3a2ea1cd908a8d9731f9575cf0e4a819fe1f50be670 SHA512 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
 EBUILD z3-4.12.5.ebuild 2858 BLAKE2B 09cbdc8fc592e03499d1d8108717b60424729a8f384ae48e954372a5da1a69b5d7f00b20537891ee449d64fd6f3419df21b73a8380774d0e869bf42492a4b87c SHA512 5710b3de087309c72d5e7b17f611eb3107962486c405ec4f78da5958564616123c904da8e8db48acc92dd5aa9614531b608623728455b88bb4ca147fe85f7c24
-EBUILD z3-4.12.6.ebuild 2862 BLAKE2B 57cf5c054d82af6d569b3bfc5a0cc138d3a5e78265107b5a49172d17d309511b47cdd20ba92f11b737b291e877426bcef90e95253070ba65586fd616d55e4e8c SHA512 62ecd426f608e5dddad32c0363207065a5d9e08b7fc4f35f1d0dd83a89a85f18e98e412adefe456b8e75c835d260ff6c4bba439a6bae2874af040e02ef815eec
+EBUILD z3-4.12.6.ebuild 2858 BLAKE2B 09cbdc8fc592e03499d1d8108717b60424729a8f384ae48e954372a5da1a69b5d7f00b20537891ee449d64fd6f3419df21b73a8380774d0e869bf42492a4b87c SHA512 5710b3de087309c72d5e7b17f611eb3107962486c405ec4f78da5958564616123c904da8e8db48acc92dd5aa9614531b608623728455b88bb4ca147fe85f7c24
 EBUILD z3-4.13.0.ebuild 2606 BLAKE2B 20c67a359fbf84f2f639dd2b496a3528f04e01d0be3fb41a2e013fb1200a61da65cc041ba23f44f80db000ab1d6d265790222952fc4eb5dc60acd624a1808ea3 SHA512 a1a0d85858b83acef24bf6df1c4bdd71868e1cc7aa45f2e311a40225fa3999ece72a38162c8d72cc609207dd70b5d2127b4902dd10a90b5def052a2e9a3dd570
 MISC metadata.xml 1718 BLAKE2B a94783909c12aa7dd2d5fd1f9d2fc75e20ca91b6abffd6dc020f602e57ef698f7184acaf14def4b6e21bb659e595abd44956ba37a679134d11b523103b0461df SHA512 ed375986a8010a7ae1eadab3107342126194a5513cbb22ce2064ffeff42c7184ea94f4f69017204c73bd61236847475cd1f0d8b3ba369236b26630dc8b2f46a2
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild b/sci-mathematics/z3/z3-4.12.6.ebuild
index a15011922f35..64ffaff192f5 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -14,7 +14,7 @@ S=${WORKDIR}/z3-${P}
 
 SLOT="0/$(ver_cut 1-2)"
 LICENSE="MIT"
-KEYWORDS="~amd64 ~arm arm64 ~loong ~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}"