summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin16666 -> 16678 bytes
-rw-r--r--sci-mathematics/lean/Manifest8
-rw-r--r--sci-mathematics/lean/lean-3.43.0.ebuild4
-rw-r--r--sci-mathematics/lean/lean-3.44.1.ebuild4
-rw-r--r--sci-mathematics/lean/lean-3.45.0.ebuild4
-rw-r--r--sci-mathematics/lean/lean-3.9999.ebuild4
-rw-r--r--sci-mathematics/octave/Manifest4
-rw-r--r--sci-mathematics/octave/octave-7.2.0.ebuild (renamed from sci-mathematics/octave/octave-7.1.0.ebuild)77
-rw-r--r--sci-mathematics/z3/Manifest2
-rw-r--r--sci-mathematics/z3/z3-4.8.17.ebuild2
10 files changed, 60 insertions, 49 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 55cd4e2b1cb0..a33a6cb83b85 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index 91e3fc7c8f3a..dd7f7ad68b49 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -2,8 +2,8 @@ AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117
DIST lean-3.43.0.tar.gz 1909158 BLAKE2B 587995afb123e6c74a730f9709a001bab6b2ac82471dcf8b1219dda782853fcdb9735d16038b95a7950f6530dd3cf1e0b13e4d1044d723d3662217951b809928 SHA512 25cbad94b869bb39edaf9ed2478ffc298b130f22cb4db7c116212546583d670079ddde1b524a33499d00ac43fc82b6928e6801c83d613597aae255db9c45d9f3
DIST lean-3.44.1.tar.gz 1911708 BLAKE2B 33dc94fb1f1eac2684b7a37fda3545ad6d4f6d703e7914c44b9a05fb57e55d4b9bef484ff1f6608f9bb0fe453ca28b7fa5c74e6bce135df06fb25ad6d9d3a37b SHA512 69ffd1a8519b476dd1879bfe2f8f8f4268a5490f11b581ee1e583382e6f03f947d958e8b5ee8ceead562945a406ee2dc9b0ae2da6f29f03a38828eadab88a4f8
DIST lean-3.45.0.tar.gz 1913638 BLAKE2B f36548be556407cbf7b30a7988bb2454542543cafcd2d0f2af90f75f886d4b711c6955503f7241844ffff69400ec354a194cc345feca8f0dbcb06a673cc2d3d4 SHA512 c97c1dc6004823c73d8e40b5587ebbee7bd7a90b65ecdd3a976510d0d335b6df9a26916eedd5524f7137a32254a59dd5a6f15ce67f77d500926c9bc781aa5526
-EBUILD lean-3.43.0.ebuild 1760 BLAKE2B 21543910ba7f9eee7186e4db4ba439ce4e23cf72e49c936beb47fd0717cbcb276c41b03a651efc46a9855d1d9f2b0bd9904e34f52b3c6569eff0f757c6719c6a SHA512 bfb7062d09fff733cb5779b0f1f49c1ec7b1d90e48f12b2c524dc4c5189439e2de2773ac25f3621359a39cae5c2c6d338d2e6f0a1c892ebf1f5e4ad742ce9f2c
-EBUILD lean-3.44.1.ebuild 1760 BLAKE2B 21543910ba7f9eee7186e4db4ba439ce4e23cf72e49c936beb47fd0717cbcb276c41b03a651efc46a9855d1d9f2b0bd9904e34f52b3c6569eff0f757c6719c6a SHA512 bfb7062d09fff733cb5779b0f1f49c1ec7b1d90e48f12b2c524dc4c5189439e2de2773ac25f3621359a39cae5c2c6d338d2e6f0a1c892ebf1f5e4ad742ce9f2c
-EBUILD lean-3.45.0.ebuild 1760 BLAKE2B 21543910ba7f9eee7186e4db4ba439ce4e23cf72e49c936beb47fd0717cbcb276c41b03a651efc46a9855d1d9f2b0bd9904e34f52b3c6569eff0f757c6719c6a SHA512 bfb7062d09fff733cb5779b0f1f49c1ec7b1d90e48f12b2c524dc4c5189439e2de2773ac25f3621359a39cae5c2c6d338d2e6f0a1c892ebf1f5e4ad742ce9f2c
-EBUILD lean-3.9999.ebuild 1760 BLAKE2B 21543910ba7f9eee7186e4db4ba439ce4e23cf72e49c936beb47fd0717cbcb276c41b03a651efc46a9855d1d9f2b0bd9904e34f52b3c6569eff0f757c6719c6a SHA512 bfb7062d09fff733cb5779b0f1f49c1ec7b1d90e48f12b2c524dc4c5189439e2de2773ac25f3621359a39cae5c2c6d338d2e6f0a1c892ebf1f5e4ad742ce9f2c
+EBUILD lean-3.43.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+EBUILD lean-3.44.1.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+EBUILD lean-3.45.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+EBUILD lean-3.9999.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7
diff --git a/sci-mathematics/lean/lean-3.43.0.ebuild b/sci-mathematics/lean/lean-3.43.0.ebuild
index 5d8ee8eecd4b..6623228581a0 100644
--- a/sci-mathematics/lean/lean-3.43.0.ebuild
+++ b/sci-mathematics/lean/lean-3.43.0.ebuild
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
-inherit cmake readme.gentoo-r1
+inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
+ filter-lto
+
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
diff --git a/sci-mathematics/lean/lean-3.44.1.ebuild b/sci-mathematics/lean/lean-3.44.1.ebuild
index 5d8ee8eecd4b..6623228581a0 100644
--- a/sci-mathematics/lean/lean-3.44.1.ebuild
+++ b/sci-mathematics/lean/lean-3.44.1.ebuild
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
-inherit cmake readme.gentoo-r1
+inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
+ filter-lto
+
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
diff --git a/sci-mathematics/lean/lean-3.45.0.ebuild b/sci-mathematics/lean/lean-3.45.0.ebuild
index 5d8ee8eecd4b..6623228581a0 100644
--- a/sci-mathematics/lean/lean-3.45.0.ebuild
+++ b/sci-mathematics/lean/lean-3.45.0.ebuild
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
-inherit cmake readme.gentoo-r1
+inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
+ filter-lto
+
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild
index 5d8ee8eecd4b..6623228581a0 100644
--- a/sci-mathematics/lean/lean-3.9999.ebuild
+++ b/sci-mathematics/lean/lean-3.9999.ebuild
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
-inherit cmake readme.gentoo-r1
+inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
+ filter-lto
+
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
diff --git a/sci-mathematics/octave/Manifest b/sci-mathematics/octave/Manifest
index 8100155978b4..d292fa6e3ca9 100644
--- a/sci-mathematics/octave/Manifest
+++ b/sci-mathematics/octave/Manifest
@@ -6,8 +6,8 @@ AUX octave-6.4.0-omit-qtchooser-qtver.patch 765 BLAKE2B 2f889e8278e48489f2eab1c3
AUX octave-6.4.0-slibtool.patch 1416 BLAKE2B e4b487481490b41a4da499bb5eceff0f6a25a7e25d4f6c76088c3703259ab4899a354b0cf67eecb989bf4c4c05836be09881cce72145b3badca1393bd386a85f SHA512 cac0d183b3c555a25db37df250b2517ae4b762b7bc0d65ba0cb1093133f6f7ada42f6745b060d17f59c2177976841dafabcda61cf03d9cd14028399472f28ed7
DIST octave-5.2.0.tar.gz 33360285 BLAKE2B 6d53a48a7fbe929e372fd51d084c0269befd3140341f3f3a1f2cae02f9f085ed434c3336c770c9a856081197c93ee306f481dd116b958685175bc294e4db62ae SHA512 fa2076fb22415e0797964c66cfb8d24643f178f45eb9c14ebb4c082767e0a53509fde550f579fa4a816348bd0f7cbc74f24144f9a30a5b9c09ebe1b3949db498
DIST octave-6.4.0.tar.gz 32873157 BLAKE2B afa729c3c9917f724e7d97fe3af42986f323d3ff849e0a33ac9f183237e68d989d4f3dacd644405b648ec050ad07d8973abddbd8657b810de6f65d5b5ae37c02 SHA512 91ff031f6dfff8506fa738fd4f1f07276501fdfe003f8ed992cccf91da14d9d33da6d08923322b0dae5f5b696b49856b0f5c5065e26b0701b0d1630173807435
-DIST octave-7.1.0.tar.gz 34187598 BLAKE2B da4c1b47e0d71f05edc47036b9b10fb83aa6edb8aa911ff22f77a013935ea37295f776f5c478e198c38102b8d1ad68edada818c9b46ad1061a466b5c77eeed58 SHA512 042a68bd2c5c873ccc846c6de13743c6fddd166e8b062948daf184133eb774a05e29ab6132829886411a5ba330126d20a3d0700a606819a424c3db6e57471888
+DIST octave-7.2.0.tar.gz 34180572 BLAKE2B 311021c339b92b3a94b0272f0fb7c788b78ae18fa7a4bddf8302c181401854f35ea7b8e6738d1a294c9baa343c7e8ec365d33f5af2d984ac6ea6853f5d53cf23 SHA512 b1f484fb97ca9270c3090f73b01f1ec0dcd6d3f838ecf7f46c50eb6245a1fa454fbc15dcf87b462a71532ba324cccd4d547b8a5b6a8e7a0914ea14981386b024
EBUILD octave-5.2.0.ebuild 5403 BLAKE2B c84884673c5ae98b97e18f93763932b28c01945957a56b6b5b79ac2e194ebaf01194dc96d53d0cff2ec79da04aa888f0999dd9df448cda0a6bfe1de61bbfb340 SHA512 eca18c92da4e6a76639ba1d421e648f8ed6b2fb903be02bb466038746ced17ad2c1e0cd3cea6a6ce467ba23728b5df1eb5e6bd6c9bd37d112cc63183cbc0aeda
EBUILD octave-6.4.0-r3.ebuild 6044 BLAKE2B a5e0e0acda2c545beb02b59ba6b11356de65bf9384c736db3b1d44d4961a2272184e451fbb37b8530a0b7bce73d07db821b5519b776a43f600cde3564ae2887d SHA512 bd08da458ea2a6a3eb5aa745b25b3c47b3eb5ff34332fd0387863e480805ff984f9872b970b0e0770edbd8adb233b8a4ac2b541218cd87eb9dbba4e8c8fedc0e
-EBUILD octave-7.1.0.ebuild 5922 BLAKE2B a8e6bf212db1071cb06b894919fc76d051a45594eaf3b60e271b8a5dfe37467169f3f03e2238f2c60e161426046459875cce13188b6ded765ac75d8359c5b3df SHA512 5b0f1d8e096a27c28236a2ee387d1b091c5bcff2a077a613d247d8d8b30030052b95340b51fc435506c4e52b5facb9a24c15c99cd298420d5936a27767ca358f
+EBUILD octave-7.2.0.ebuild 5863 BLAKE2B 9403f9d11353ebb2e7e0b8c644e94822c9ba332a6d0b8a54c213591241fa31d5d0dfc123aeb0ea9f205a2f268a95fe9a5b2dff956ca81f8d2bd56b42bed647f7 SHA512 8f6206155e8cfeee388237a2920c8102e954c22d2bfb8a86c9926d5c719d4bfb3546987149a5a6f2e5e0aa068b391c13711f3f17a766208e7c027a85b7f5eb85
MISC metadata.xml 1262 BLAKE2B 39736c6913fb3241bed38c5dd9218190d570a3e914a01d1d06fff2cdd68c3c07296a19e2a35305a67aa776a12636445e523b3e349daeffbf67ab60b074a25fed SHA512 177539fd369e2eee0db21ef46d64f8e9f30b39eb4648c5224ff221465c55cd554ac142940f32171ec36b9561b68243761f4e3cbcfb6b06896d45986cbb568c82
diff --git a/sci-mathematics/octave/octave-7.1.0.ebuild b/sci-mathematics/octave/octave-7.2.0.ebuild
index 91df3f2a06d3..5ae855cdd7e0 100644
--- a/sci-mathematics/octave/octave-7.1.0.ebuild
+++ b/sci-mathematics/octave/octave-7.2.0.ebuild
@@ -11,17 +11,14 @@ SRC_URI="mirror://gnu/${PN}/${P}.tar.gz"
LICENSE="GPL-3"
SLOT="0/${PV}"
-IUSE="curl doc fftw +glpk gnuplot gui hdf5 java json opengl
- portaudio postscript +qhull +qrupdate readline sndfile +sparse
- ssl static-libs sundials X zlib"
-# Issue when building w/ SSL needs investigation
-#KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux"
+IUSE="curl doc fftw +glpk gnuplot gui hdf5 java json opengl portaudio postscript +qhull +qrupdate readline sndfile +sparse ssl static-libs sundials X zlib"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux"
# Although it is listed in INSTALL.OCTAVE as a build tool, Octave runs
# "makeinfo" from sys-apps/texinfo at runtime to convert its texinfo
# documentation to text (see scripts/help/help.m).
#
-# (un)zip isn't mentioned, but there's a test that uses it (bug 775254).
+# (un)zip isn't mentioned, but there's a test that uses it (bug #775254).
#
RDEPEND="
app-arch/bzip2
@@ -29,14 +26,14 @@ RDEPEND="
app-arch/zip
app-text/ghostscript-gpl
sys-apps/texinfo
- dev-libs/libpcre:3=
- sys-libs/ncurses:0=
+ dev-libs/libpcre:=
+ sys-libs/ncurses:=
sys-libs/zlib
virtual/blas
virtual/lapack
- curl? ( net-misc/curl:0= )
+ curl? ( net-misc/curl:= )
fftw? ( sci-libs/fftw:3.0= )
- glpk? ( sci-mathematics/glpk:0= )
+ glpk? ( sci-mathematics/glpk:= )
gnuplot? ( sci-visualization/gnuplot )
gui? (
dev-qt/qtcore:5
@@ -48,15 +45,15 @@ RDEPEND="
dev-qt/qtwidgets:5
x11-libs/qscintilla:=
)
- hdf5? ( sci-libs/hdf5:0= )
+ hdf5? ( sci-libs/hdf5:= )
java? ( >=virtual/jre-1.8:* )
json? ( dev-libs/rapidjson )
opengl? (
- media-libs/freetype:2=
- media-libs/fontconfig:1.0=
+ media-libs/freetype:=
+ media-libs/fontconfig:=
virtual/glu
>=x11-libs/fltk-1.3:1=[opengl,xft]
- x11-libs/gl2ps:0=
+ x11-libs/gl2ps:=
)
portaudio? ( media-libs/portaudio )
postscript? (
@@ -64,27 +61,30 @@ RDEPEND="
media-gfx/pstoedit
media-gfx/transfig
)
- qhull? ( media-libs/qhull:0= )
- qrupdate? ( sci-libs/qrupdate:0= )
- readline? ( sys-libs/readline:0= )
+ qhull? ( media-libs/qhull:= )
+ qrupdate? ( sci-libs/qrupdate:= )
+ readline? ( sys-libs/readline:= )
sndfile? ( media-libs/libsndfile )
sparse? (
- sci-libs/arpack:0=
- sci-libs/camd:0=
- sci-libs/ccolamd:0=
- sci-libs/cholmod:0=
- sci-libs/colamd:0=
- sci-libs/cxsparse:0=
- sci-libs/umfpack:0=
+ sci-libs/arpack:=
+ sci-libs/camd:=
+ sci-libs/ccolamd:=
+ sci-libs/cholmod:=
+ sci-libs/colamd:=
+ sci-libs/cxsparse:=
+ sci-libs/umfpack:=
)
ssl? (
- dev-libs/openssl:0=
+ dev-libs/openssl:=
)
- sundials? ( >=sci-libs/sundials-4:0= )
- X? ( x11-libs/libX11:0= )"
-DEPEND="${RDEPEND}
+ sundials? ( >=sci-libs/sundials-4:= )
+ X? ( x11-libs/libX11:= )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
dev-util/gperf
virtual/imagemagick-tools
+ virtual/pkgconfig
doc? (
dev-texlive/texlive-fontsrecommended
dev-texlive/texlive-plaingeneric
@@ -92,11 +92,10 @@ DEPEND="${RDEPEND}
virtual/latex-base
)
java? ( >=virtual/jdk-1.8:* )
+ gui? ( dev-qt/linguist-tools:5 )
qrupdate? ( app-misc/pax-utils )
- sparse? ( app-misc/pax-utils )"
-BDEPEND="
- virtual/pkgconfig
- gui? ( dev-qt/linguist-tools:5 )"
+ sparse? ( app-misc/pax-utils )
+"
PATCHES=(
"${FILESDIR}"/${PN}-5.1.0-pkgbuilddir.patch
@@ -120,13 +119,16 @@ src_prepare() {
}
src_configure() {
- # unfortunate dependency on mpi from hdf5 (bug #302621)
+ # Unfortunate dependency on mpi from hdf5 (bug #302621)
use hdf5 && has_version sci-libs/hdf5[mpi] && \
export CXX=mpicxx CC=mpicc FC=mpif77 F77=mpif77
- # tell autoconf where to find qt binaries, fix bug #837752
- export MOC="$(qt5_get_bindir)/moc" UIC="$(qt5_get_bindir)/uic" RCC="$(qt5_get_bindir)/rcc" \
- LRELEASE="$(qt5_get_bindir)/lrelease" QCOLLECTIONGENERATOR="$(qt5_get_bindir)/qcollectiongenerator" \
+ # Tell autoconf where to find qt binaries, fix bug #837752
+ export MOC="$(qt5_get_bindir)/moc" \
+ UIC="$(qt5_get_bindir)/uic" \
+ RCC="$(qt5_get_bindir)/rcc" \
+ LRELEASE="$(qt5_get_bindir)/lrelease" \
+ QCOLLECTIONGENERATOR="$(qt5_get_bindir)/qcollectiongenerator" \
QHELPGENERATOR="$(qt5_get_bindir)/qhelpgenerator"
# Some of these use_with flags are a bit mismatched. The configure
@@ -180,7 +182,8 @@ src_configure() {
}
src_compile() {
- export VARTEXFONTS="${T}/fonts" # otherwise it will write to /var/cache/fonts/ and trip sandbox
+ # Otherwise it will write to /var/cache/fonts/ and trip sandbox
+ export VARTEXFONTS="${T}/fonts"
default
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index 1a601a4c3224..cbb67905554d 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -4,6 +4,6 @@ DIST z3-4.8.17.tar.gz 5232392 BLAKE2B 80dbb5d48811eb6022c0d0117d1e954bae7b27ff98
DIST z3-4.9.1.tar.gz 5358020 BLAKE2B b707084424b615a43dcefbc395d6cf0519f3d6ea3ab1cc8b34b1810d5eb241afa22eae694e4dfc756fff42179a5dabe10052f88aab02953154ada8334f7e0b64 SHA512 0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
EBUILD z3-4.10.1.ebuild 2616 BLAKE2B 675a78252eccdedc81057c7c5964cc3f8ff8701bcacdfd081246b1333b9c6b2fcdfea463e754a0a464560dcebf26a3ca0044b88f5de63e1a19b77d529a1e9554 SHA512 5e4b1ecbfe6b713d7a30d8dfef2b24f39246b66a0f535c94f3be04072c1928fae18b6f185a323db8bc0b5a301c4347233011874b038cf491d3bbf3137e717055
EBUILD z3-4.10.2.ebuild 2616 BLAKE2B 675a78252eccdedc81057c7c5964cc3f8ff8701bcacdfd081246b1333b9c6b2fcdfea463e754a0a464560dcebf26a3ca0044b88f5de63e1a19b77d529a1e9554 SHA512 5e4b1ecbfe6b713d7a30d8dfef2b24f39246b66a0f535c94f3be04072c1928fae18b6f185a323db8bc0b5a301c4347233011874b038cf491d3bbf3137e717055
-EBUILD z3-4.8.17.ebuild 2614 BLAKE2B e69e8ede7cebd497598e854224bb1f3c9e93765df016aaf33efbfa56bd2508a773459c829a0343de6aa9cffcfb3e3da4eb62fbd7e438fae7aaf3af26288d4391 SHA512 6c9f47d73b9c016fc404c28656d4102a0f179c2e8b73f548aadbaf2847f211da41ec099b76f9f79602f19fd59eab4ee99ae66315bd47a35509158ad235e4fbac
+EBUILD z3-4.8.17.ebuild 2613 BLAKE2B 3f0b83c0ae6f25e7f048c056b72367a7b8230b7caf6b0b4d426dc823e89325b8f460e915d89d7b49400adfa282fc35105e24a048ccc54a59c3782baf4cb0358a SHA512 e7989ea9e2b77b956bde677b6e57afc37566c61aa1d8a9f42636e7055c2be92489282871d16671aa9af83f556db174da52528a921f0fbabf587b2c46b99704ac
EBUILD z3-4.9.1-r1.ebuild 2616 BLAKE2B 675a78252eccdedc81057c7c5964cc3f8ff8701bcacdfd081246b1333b9c6b2fcdfea463e754a0a464560dcebf26a3ca0044b88f5de63e1a19b77d529a1e9554 SHA512 5e4b1ecbfe6b713d7a30d8dfef2b24f39246b66a0f535c94f3be04072c1928fae18b6f185a323db8bc0b5a301c4347233011874b038cf491d3bbf3137e717055
MISC metadata.xml 617 BLAKE2B f940ac3d7c159dadf4398164b749eaded84c12af5553a154d97fd9bfb939c72e3122e08e11c1c9764514f59a87695534daff6628bd15be4de834c7cfdb65d7f9 SHA512 758df481a60606de12c5a450162ee89fd2f68f842675b3bf280f024fcd61232228476ac889e60c09e42ebae01ad855b32ad77793ba7fa5714861ccc5ca52bfc7
diff --git a/sci-mathematics/z3/z3-4.8.17.ebuild b/sci-mathematics/z3/z3-4.8.17.ebuild
index f97bc38fd53d..6383decc5301 100644
--- a/sci-mathematics/z3/z3-4.8.17.ebuild
+++ b/sci-mathematics/z3/z3-4.8.17.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
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}"
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 05:06:43 +0000