gentoo auto-resync : 24:05:2024 - 00:07:11

10 files changed, 93 insertions, 16 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index d6ecc79b00a1..62fc186bb2d3 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index e80249f90020..a1a6a757171c 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,5 +1,5 @@
 DIST coq-8.19.0.tar.gz 7674352 BLAKE2B 195040c01797ac9ce67611e0c96a4601e0a48966e094e868b9f3644aa9f75fa85adf0e2e6340a14ae0a0598b746f5ad989d8f10736cd2d3852a449f6f79d2c93 SHA512 02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b
 DIST coq-8.19.1.tar.gz 7675945 BLAKE2B 62ee346f50d0a22ab217a8e689c3078347519d159619b75f20a8decace356b49c60bcd5b2cec5fbcaffc758a8944f8a7940298df1c0ddddfbd858ed9269c12f3 SHA512 ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42
-EBUILD coq-8.19.0.ebuild 2492 BLAKE2B fe590d0bda77462a0a6ea157a80dfa7985a381b464a2721745d33c30bf5a0cca4a8545c7b7a1d64824a9537c5896f566aaec62d794bb57930741337b2b4422e8 SHA512 8893d803d164780d4830645c15c303afa4b09647025eb223c0badc154ab2f6b80b36e82bb5c63b637a9350ff0829d8206af3dc2e5f2bb504c65fc23c69679dae
-EBUILD coq-8.19.1.ebuild 2493 BLAKE2B 277efc3bf5c38592e7729a7a2e46cd21a7b5a02934ab22e4c57c8da13b59dd63bc21552291efc88cd542debe7cb940f4f93ea5e2d51aae33bb3ccc32a1fd8b7a SHA512 4196e78ef5929e6ecf2381bb11b760ddb90e9a0be00a6ce30bd8feeec15adfcc7534178f306a23fc22871d37b7de7bdf8effb3dec19731ca77ae087c21ebe2b1
+EBUILD coq-8.19.0.ebuild 2491 BLAKE2B ee610273d5294b25e7aa48cfb048b99af86aef21fb8d3c21019da509c82912b4f6624ae5076a694d98eb3679e9eba7ef138cb12a8ba0f938ce7ecbe4aacf6027 SHA512 498a461e9bc69016aab3abc5578bbd2367322dc14f8c2db9293a246022a4d8065dd06966741db3ae45365b3c1049703f85a9cef42416a8be3ed469dc4d80233e
+EBUILD coq-8.19.1.ebuild 2492 BLAKE2B 1c1d296a61f57bf8e5120aa8e70dce382548cc55a8c1365c1e85b33080e3fd346ea1b904e9440af465c67416b83f4b4e538ec558ce0b8c10ec42a94efee7e0f8 SHA512 9783ef6098d6028dd207a239796916ed90d8eab01429c4fded5e25f0a1c776f1c9dc0bac9f15e4d0847ad5d915bb69760937347cb6f295806f61af95cec2199b
 MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc
diff --git a/sci-mathematics/coq/coq-8.19.0.ebuild b/sci-mathematics/coq/coq-8.19.0.ebuild
index 34fb7a688efa..bd6df0374602 100644
--- a/sci-mathematics/coq/coq-8.19.0.ebuild
+++ b/sci-mathematics/coq/coq-8.19.0.ebuild
@@ -90,7 +90,7 @@ src_configure() {
 		-native-compiler "$(usex ocamlopt yes no)"
 	)
 	use debug && myconf+=( -debug )
-	edob sh ./configure "${myconf[@]}"
+	edo sh ./configure "${myconf[@]}"
 }
 
 src_compile() {
diff --git a/sci-mathematics/coq/coq-8.19.1.ebuild b/sci-mathematics/coq/coq-8.19.1.ebuild
index 33c2b23fecf7..a4d16f2c2b48 100644
--- a/sci-mathematics/coq/coq-8.19.1.ebuild
+++ b/sci-mathematics/coq/coq-8.19.1.ebuild
@@ -90,7 +90,7 @@ src_configure() {
 		-native-compiler "$(usex ocamlopt yes no)"
 	)
 	use debug && myconf+=( -debug )
-	edob sh ./configure "${myconf[@]}"
+	edo sh ./configure "${myconf[@]}"
 }
 
 src_compile() {
diff --git a/sci-mathematics/ginac/Manifest b/sci-mathematics/ginac/Manifest
index f7d4675f2c60..91a55a59f32e 100644
--- a/sci-mathematics/ginac/Manifest
+++ b/sci-mathematics/ginac/Manifest
@@ -2,4 +2,5 @@ AUX ginac-1.8.2-pkgconfig.patch 340 BLAKE2B 1f405dea9cc0a68fec86a65765247e93959a
 DIST ginac-1.8.7.tar.bz2 1153952 BLAKE2B 272a9603741d43d4ba4f7ac3478aac405490cf747e20a5f77d7d6c672c6aee972ab77ddf4cd68daa3c432ea0b02a46ba295311967c2c5a2135bf34070a25f272 SHA512 29a5dbe1fa8a40668a32eb0065d1f676b074222d76ed70a05c5841a4be92c4b1a019ae3fc820e1c7007e641ef8ef94d00adab901f89673df0d372a4c8af8e51a
 EBUILD ginac-1.8.7-r1.ebuild 1520 BLAKE2B 7c999ade6c88ee0815f3bb508ec2054dae9f3911f2ad7ef01af36dbbf52f341d1765121f4f0c65beb3b694763e62f7f7e28c9a05d5baa33251969e3bc785eb9b SHA512 0a976b1092d4738e2dce36bb251778c9fce7d696b5b4a37ff050cfd60be5664a85f4d3304d5f2737623fa6d78a2d2febd1a29719572c9f87dd9b2803edf67b06
 EBUILD ginac-1.8.7-r2.ebuild 1511 BLAKE2B 877ef797f014448bcd918e11b5d4f3bba8dba1c4d5c9c630fc5194b4aa42efe32967f6a0376593c04c2ccba4e1e403bc209605dbd4ac14e6fd18dbf21e1419bd SHA512 c0f7482332ab7e1b8f9d6e5146d2edc7013956328ae9fbc02fd9eeba4cc8df2e08fc9624d67122102d2056eb8da5e5b5b539ed93a0648369ef65cba3e5be7640
+EBUILD ginac-1.8.7-r3.ebuild 1534 BLAKE2B 57666d89a846e97d608874ce52c00cadc2f33ad647ad914f733059fd74849d587c1018e09902cc83c221efc40a4fdc906777fe187fafcb076392f5a7ba73d136 SHA512 575c2d49711c4213118ff2a8e56e9663b8b553888369261211f291f84516890de312c3afc6e4c544c08d376c90bfe15312d491c7b6f41a6200ebc0e95204101b
 MISC metadata.xml 793 BLAKE2B e657f7bb74f228c2a4be58dc2fee5dced4002195d0a33d153a354a962552a8c49395cfb92a9b0de0b5090d8009de29e13c001301b041dce149dbb9fec9799b95 SHA512 c8da993984bc0313f9586aad8899ce1fd43c304da66486aa68a1c33bb1c75aac63e129eddeda925081f624c38064634187fc24ce39c5c337b64f2889443befad
diff --git a/sci-mathematics/ginac/ginac-1.8.7-r3.ebuild b/sci-mathematics/ginac/ginac-1.8.7-r3.ebuild
new file mode 100644
index 000000000000..aa58de66a5af
--- /dev/null
+++ b/sci-mathematics/ginac/ginac-1.8.7-r3.ebuild
@@ -0,0 +1,76 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{9..12} )
+
+inherit python-any-r1
+
+DESCRIPTION="C++ library and tools for symbolic calculations"
+HOMEPAGE="https://www.ginac.de/"
+SRC_URI="http://www.ginac.de/${P}.tar.bz2"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
+IUSE="doc examples"
+
+RDEPEND=">=sci-libs/cln-1.2.2"
+DEPEND="${RDEPEND}"
+BDEPEND="
+	${PYTHON_DEPS}
+	virtual/pkgconfig
+	doc? (
+		app-text/doxygen
+		dev-texlive/texlive-fontsrecommended
+		>=media-gfx/fig2dev-3.2.9-r3[ghostscript]
+		dev-texlive/texlive-latexextra
+		virtual/texi2dvi
+	)"
+
+PATCHES=( "${FILESDIR}"/${PN}-1.8.2-pkgconfig.patch )
+
+src_configure() {
+	econf \
+		--disable-rpath \
+		--disable-static
+}
+
+src_compile() {
+	emake
+
+	if use doc; then
+		local -x VARTEXFONTS="${T}"/fonts
+		emake -C doc/reference html pdf
+		emake -C doc/tutorial ginac.pdf ginac.html
+	fi
+}
+
+src_install() {
+	default
+
+	if use doc; then
+		pushd doc >/dev/null || die
+		newdoc tutorial/ginac.pdf tutorial.pdf
+		newdoc reference/reference.pdf reference.pdf
+
+		docinto html/reference
+		dodoc -r reference/html_files/.
+
+		docinto html
+		newdoc tutorial/ginac.html tutorial.html
+		popd >/dev/null || die
+	fi
+
+	if use examples; then
+		pushd doc >/dev/null || die
+		docinto examples
+		dodoc examples/*.cpp examples/ginac-examples.*
+		docompress -x /usr/share/doc/${PF}/examples
+		popd >/dev/null || die
+	fi
+
+	# no static archives
+	find "${ED}" -name '*.la' -delete || die
+}
diff --git a/sci-mathematics/proverif/Manifest b/sci-mathematics/proverif/Manifest
index aee10192a859..64eb3e31c02a 100644
--- a/sci-mathematics/proverif/Manifest
+++ b/sci-mathematics/proverif/Manifest
@@ -1,7 +1,7 @@
 AUX 50proverif-gentoo.el 650 BLAKE2B d31acd5c6aeeb2b938b0a475c896f0345149abc500bc98e889a89b2b241b8e59890544b64997eb7f029fe048de3fc696a2290bf1a707d9898b166458065f4d22 SHA512 44e6058ffc609a6475b21350148d677dfc0cd8846b7441541ed33b9f10bc789c4f1177ad517e684cc19f9e1ac34066a023cb003197be8c376f3c3cf99e7ff937
 DIST proverif-v2.04.tar.bz2 61001112 BLAKE2B 03364d315bfa3d6cc8dfb68819be6b92301f554cf7ae4db0c4b9d8190a7d7576b79295dd536bf1356e12679028c100e6040d8c4e4299cf137c15114caf0216d2 SHA512 dbfafa62f4df72044b05563e10219b034ad49dd972598bf72eba616f2a88ff1cb85c3ee7bb9235050d0f35dbde750bffddbc93897b9ca2101dc6d153d3ea5575
 DIST proverif2.05.tar.gz 980879 BLAKE2B 738531d34249f1837a93c6897d7249e326213940cc9a8fc378a25912a4de4c122a6ce536a429f17c1ef7fae5dd5e1673cdf439d7bad2dd0f44826b33363dbc8a SHA512 e20d6dc40b0e4957590b9ce019ef654361f3514f53e0a5c3240a40d296ff2a50093630982b7a230c2277eadf4ed22ba1b6d09b48764c2ad3ec0e102033d1c486
-EBUILD proverif-2.04-r1.ebuild 1215 BLAKE2B 96842c9a3971326e7dbe1d49060a0bd6f1449375b0a4054153ad23922978084711b78f4a595cc578b2a6015ea7e6a0da128917e36f3d784cdcf07adba7d03475 SHA512 bb68fb16e894a32ad8d1071b63fcd98b2697e2cc2745dd843dc66f7c3cfe45d00a1f6c393d0a86c576fc97f430a465e26c68b9029fdfcf644132667a2a9d15ca
-EBUILD proverif-2.05.ebuild 1174 BLAKE2B 7e95f21b988e317904788248ca5168906340cccdac9a0f9770fca259dcdd8309aea203a34afaeb2db4dc29ecf44fe087df8ddaef552c3faa22a07e78bdfa0bef SHA512 eebed22d18d52f3337ab4ca8cbcf23fc67591a68bd5e61e5455e5c1b5bd4452a5eb395f50ebc2194f7068d263f69a759c183209601ca2e08b8371ae6c948d247
-EBUILD proverif-9999.ebuild 1215 BLAKE2B 96842c9a3971326e7dbe1d49060a0bd6f1449375b0a4054153ad23922978084711b78f4a595cc578b2a6015ea7e6a0da128917e36f3d784cdcf07adba7d03475 SHA512 bb68fb16e894a32ad8d1071b63fcd98b2697e2cc2745dd843dc66f7c3cfe45d00a1f6c393d0a86c576fc97f430a465e26c68b9029fdfcf644132667a2a9d15ca
+EBUILD proverif-2.04-r1.ebuild 1213 BLAKE2B 0c137e118389408a5fae423067631537adcfebaa927d6c3acaccc302670993ec36e8585ad397c5132da463c98d9d41014f45ac17a89d999f95a0318d2cb35754 SHA512 f2efe5ae4c40f232cf5a138576f83306ac32b876377e7a8d4827983c03f48990643b4198416fc15f97c0896f72615343d74d184455656bbd74fcfd2dca2e3e5e
+EBUILD proverif-2.05.ebuild 1172 BLAKE2B c9020106caf4c49d079db586f66de7ac23520c8df3208eb806a86479efb95dbdc2c35245000e8a0f3a413f680abe809175f88549d967db4c08a86990e97e0a66 SHA512 42c9b60ddb798c222f4848f008fc3730b840ddafd3f99df16a4d7ffb37e28424d4d306ea337b8299fbfd49afa47710d52e28e443df50ae165bc40622ed69fc78
+EBUILD proverif-9999.ebuild 1213 BLAKE2B 0c137e118389408a5fae423067631537adcfebaa927d6c3acaccc302670993ec36e8585ad397c5132da463c98d9d41014f45ac17a89d999f95a0318d2cb35754 SHA512 f2efe5ae4c40f232cf5a138576f83306ac32b876377e7a8d4827983c03f48990643b4198416fc15f97c0896f72615343d74d184455656bbd74fcfd2dca2e3e5e
 MISC metadata.xml 1638 BLAKE2B 61f7bbf62117942baa127c9cabb9f15ea797b8ea8b313ed720a15a6d96dba1e78e8ad9921739a277175eb008b8c697bdd4b424f472e984d9a01ee63e75ced6f2 SHA512 9bbd77f4247eb5c210e0f1424100541b16235701dc048c2a7ca1485fcdbcbf5a5ab598c8f5a11e234c77f74560e2312f4496af598f07cb504561f60acc2558f9
diff --git a/sci-mathematics/proverif/proverif-2.04-r1.ebuild b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
index a70d69a747de..9f2156ce655e 100644
--- a/sci-mathematics/proverif/proverif-2.04-r1.ebuild
+++ b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
 SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
-	edob sh ./build -nointeract
+	edo sh ./build -nointeract
 
 	if use emacs ; then
 		cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
 }
 
 src_test() {
-	edob sh ./test
+	edo sh ./test
 }
 
 src_install() {
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild
index 3a6c80ee509e..a537929ab036 100644
--- a/sci-mathematics/proverif/proverif-2.05.ebuild
+++ b/sci-mathematics/proverif/proverif-2.05.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README )
 SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
-	edob sh ./build -nointeract
+	edo sh ./build -nointeract
 
 	if use emacs ; then
 		cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
 }
 
 src_test() {
-	edob sh ./test
+	edo sh ./test
 }
 
 src_install() {
diff --git a/sci-mathematics/proverif/proverif-9999.ebuild b/sci-mathematics/proverif/proverif-9999.ebuild
index a70d69a747de..9f2156ce655e 100644
--- a/sci-mathematics/proverif/proverif-9999.ebuild
+++ b/sci-mathematics/proverif/proverif-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
 SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
-	edob sh ./build -nointeract
+	edo sh ./build -nointeract
 
 	if use emacs ; then
 		cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
 }
 
 src_test() {
-	edob sh ./test
+	edo sh ./test
 }
 
 src_install() {