gentoo auto-resync : 07:09:2022 - 16:36:21

6 files changed, 94 insertions, 2 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index eed973b45976..9813113c1566 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest
index 4637b00c1a30..d91ee52399eb 100644
--- a/sci-mathematics/coq-mathcomp/Manifest
+++ b/sci-mathematics/coq-mathcomp/Manifest
@@ -1,3 +1,5 @@
 DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf
-EBUILD coq-mathcomp-1.14.0.ebuild 604 BLAKE2B c40cb3f909d150fa3166e57d2f8a894086f6f17f0409b4626d223624cd53a77047e62c803067dd2dd245722f2d04d69f458e3a6037ebebaf5e7453e9bd6a0960 SHA512 c44bc20bcb101a506d1aedc264429b624f0e67e9a6908ad6ee7ad2eaa17f84406186dea2518675f68cbeff1cd5504421606c460872a4410c15aa3d66b4bc7bbf
+DIST coq-mathcomp-1.15.0.tar.gz 1359283 BLAKE2B 7a575e49f93c6527da877a4044ae97d82fa48f242c29b5ed22bc58154f422e14716cb481aa4de96963cfd3cf1aad5dcd76608d85ec4b68ce1a5601b13e3add3e SHA512 96d3bc53ab83740675e6d0bd6e31479e16d986994d1725e9a0466ef46cd517e4ced966d6b1e34b3ff1b15327a2058afcc914b91dba3c5354021d4ef224b8348c
+EBUILD coq-mathcomp-1.14.0-r1.ebuild 634 BLAKE2B f6799e12f4a72b243e06ac651e3f7e1e2c38ec1898834afc5ccd5dab55e0cf9760af03596c4a1c3a22cae896234c2b40b18ba2e1eff55f67d2b59a5e6192cf7c SHA512 cb2047bbe7629738b8fecd26980a05491f8bed63a9ba5b5ea8b427792c9355780ec0115753fc3b09bf6055305fe1212d7f2c39f8f58963043c9497acb066c4b5
+EBUILD coq-mathcomp-1.15.0.ebuild 489 BLAKE2B 4c86a4f49167e12e044c42ed361770100a543754664bf91908a5db09e920f409972bcdc9fdd2f35a3ffd15464f9d1fcd3dc7fbb15d3f21fff8ea35428bb39078 SHA512 40e252491580dd5fd07545a3ac5a8ea549103ff2a6f478197a448536f6f1235a3b043499104193071a48e8b1403b82fb6399badd50c297c3b35fc1b53f6a1f00
 MISC metadata.xml 511 BLAKE2B 3936f96cbf938fb9de97b080566d7fdde222d7dd303ccf842c76e7bd113b31c05136aea043c354bbd2ac6d4f61e2cba4e738f9f325059d36b7bae4feaed1ae89 SHA512 af2a4cfded0990d95e0a4b77ba69aebea09dee075f9eb4023b14c4788cd4118a78b3b5a4349fed11fff347061ab4bf59a4c63c8f43b22f8513054f1b3817af2f
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild
index 2197f1aa5dd9..fcf362d97248 100644
--- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild
+++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild
@@ -13,7 +13,7 @@ LICENSE="CeCILL-B"
 SLOT="0/${PV}"
 KEYWORDS="~amd64"
 
-RDEPEND=">=sci-mathematics/coq-8.13.0:="
+RDEPEND=">=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:="
 DEPEND="${RDEPEND}"
 
 # > make jobserver unavailable
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild
new file mode 100644
index 000000000000..5e41229a4f4f
--- /dev/null
+++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild
@@ -0,0 +1,17 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Mathematical Components for the Coq proof assistant"
+HOMEPAGE="https://github.com/math-comp/math-comp/"
+SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz
+	-> ${P}.tar.gz"
+S="${WORKDIR}"/math-comp-mathcomp-${PV}/mathcomp
+
+LICENSE="CeCILL-B"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+
+RDEPEND=">=sci-mathematics/coq-8.16.0:="
+DEPEND="${RDEPEND}"
diff --git a/sci-mathematics/gimps/Manifest b/sci-mathematics/gimps/Manifest
index e6e2c2e1d8c2..388b355b5509 100644
--- a/sci-mathematics/gimps/Manifest
+++ b/sci-mathematics/gimps/Manifest
@@ -7,6 +7,8 @@ DIST gimps-30.7.9.linux32.tar.gz 5966449 BLAKE2B b31b93417857d338e5e7454e1466bd8
 DIST gimps-30.7.9.linux64.tar.gz 7100830 BLAKE2B 8ebae083d26309f7c624e38c943e3bb0c7fe40a538840970dc222ed33ba5eaa9a5c0767b822682921eaae27f839c1eca5c0204b2c135748002e5d072744afe25 SHA512 5e6f3fbcc50b9b91fda7b286392bb17e58fd8d55a8386f27e206c63c560993da9713513d5eb4355e8e934f2e8703b39fc96f3c6f01058b729330f3526d37479b
 DIST gimps-30.8.15.linux32.tar.gz 6029035 BLAKE2B 4b84ebd89d45d5f0d0de28539ea8bc5bfb0f7383f39bb02ac00d51ba46897bba222db6215578e38fb939f541dae2569f431547caa51825dcdc6845e7e62f028b SHA512 b0a30d2d629d0f08dd2838be9dbe669c7f8f3d9f50ccfedc94c453a994cba9972440182e05d8e3b74b258e6e60cff53f6521e73a7ebdb34a45701a81d8b3f671
 DIST gimps-30.8.15.linux64.tar.gz 7211031 BLAKE2B 1d0291adb255099b9c8b44e2f650831755822ab850c2ebaa86dbe9728da619a4f9c22e3e5736a70ca3657818e2748caf32a23243347c048b9d57ecc8f7b3cf42 SHA512 6034dca7644bab85da3fdb194755a076778b37dfaa0a944ee5e64915e1196b61bd5f0a291a40118648c3a81faef3ac3026230709312d2de154260c3cf736a166
+DIST gimps-30.8.16.linux64.tar.gz 7211483 BLAKE2B 0d4b6f7c8e5eae2cf1dc64700b8274a4bbb024511fbcfb206474a889cb4bbe67c91b5be958593615b4089c37a51fd0b2e0026046edb3170986e86e126646245a SHA512 2a1c37ecffa24e5688002a3b5a8d0742b3d76d38b2e580d5e7a9684f02a8d6a8410dba2d54a825db531fed792e3c7207a32a23fd15048fb2cd93eabbb9e19b66
 EBUILD gimps-30.7.9.ebuild 1928 BLAKE2B 8dabf8f54eb82e875380668b6ebe6f971db1cd3443d80ed9bd668204b5a19c91e997b68cfcc86ab6e9339bc24a696b6015a21bcdb83c7bea09893902596b31d5 SHA512 f22996f1a27b8941881a0fcbb2b09219f73967bf80708e6c9a55a1407ed57a180b26a53878989ec70ee05d604d29980616988e0ff1aab4323444d62b638f8e65
 EBUILD gimps-30.8.15.ebuild 1930 BLAKE2B 89102fc275d061607159a6e358105944c88ec526c0a00c4fdea1813656ccb42aa0faa48db182c6b22e64159cbe6bbd67f994845ae5f13f46801bb965fea1b0a7 SHA512 b2bf140602852c2b5bb6a6298fdf31a90ddd06ff5230ea8ab0e846e341e078efc288211f8076991413634ae383c5ffc0ba83e1a752eeb9f712f1da14ab22b874
+EBUILD gimps-30.8.16.ebuild 1806 BLAKE2B 38ae90400994502ac44ffecd73e159c23eb554019869b84bfafe80a4531254d371d25891ac7834f3b5a68a7edcbaec42c91d07bf8d10b62907d73a854f623dcc SHA512 45b47270904812a81133ddedb54f276e3ed6389d0423de4ab04d877909d06803ffa03f7348cc206a7dcb07b9bc2b774a37604fa291c9d7d033d476b0369c499b
 MISC metadata.xml 560 BLAKE2B 01b265f54acd4ad1c9e1d23043d4ce2020fd41843a0efb09003046ea835989393df9935edcc3320eff43d552e47c2bb5afc688ddb96e9e6088c1e1c3a38fca64 SHA512 ba744b0b86d81acf54ed31c70e19be7ee315b6976b29cf0a40e79a7a227b8f68f4262ac2eecd696ddf051dd13de2019dae5df43706ca629bceca738e0e501175
diff --git a/sci-mathematics/gimps/gimps-30.8.16.ebuild b/sci-mathematics/gimps/gimps-30.8.16.ebuild
new file mode 100644
index 000000000000..3470d5d20ebf
--- /dev/null
+++ b/sci-mathematics/gimps/gimps-30.8.16.ebuild
@@ -0,0 +1,71 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit pax-utils readme.gentoo-r1 systemd tmpfiles
+
+DESCRIPTION="The Great Internet Mersenne Prime Search"
+HOMEPAGE="https://www.mersenne.org/"
+
+# The author has finally caved in to the pressure of putting the build
+# number in the package name. Some dark magic necessary to get to the
+# package name
+
+MY_PV=$(ver_rs 2 'b' )
+
+SRC_URI="https://www.mersenne.org/ftp_root/gimps/p95v${MY_PV/./}.linux64.tar.gz -> ${P}.linux64.tar.gz"
+
+SLOT="0"
+LICENSE="GIMPS"
+RESTRICT="mirror bindist"
+KEYWORDS="-* ~amd64"
+
+# Since there are no statically linked binaries for this version of mprime,
+# and no static binaries for amd64 in general, we use the dynamically linked
+# ones and try to cover the .so deps with the packages listed in RDEPEND.
+# libgmp.so.10.4.1 is bundled within the .tar.gz, but we use the system one.
+
+DEPEND=""
+RDEPEND="net-misc/curl
+	>=dev-libs/gmp-6.1.2"
+
+S="${WORKDIR}"
+OPTINSTALLDIR="/opt/gimps"
+
+QA_PREBUILT="opt/gimps/mprime"
+
+DOCS=( license.txt readme.txt stress.txt undoc.txt whatsnew.txt )
+
+src_install() {
+	dodir ${OPTINSTALLDIR}
+	keepdir /var/lib/gimps
+	pax-mark m mprime
+	cp mprime "${D}/${OPTINSTALLDIR}" || die
+	fperms a-w "${OPTINSTALLDIR}/mprime"
+	fowners root:0 "${OPTINSTALLDIR}"
+	fowners root:0 "${OPTINSTALLDIR}/mprime"
+
+	einstalldocs
+
+	readme.gentoo_create_doc
+
+	newinitd "${FILESDIR}/${PN}-28.9-init.d" gimps
+	newconfd "${FILESDIR}/${PN}-25.6-conf.d" gimps
+
+	systemd_dounit "${FILESDIR}/${PN}.service"
+	newtmpfiles "${FILESDIR}/${PN}.tmpfiles" "${PN}.conf"
+}
+
+pkg_postinst() {
+	tmpfiles_process "${PN}.conf"
+
+	readme.gentoo_print_elog
+}
+
+pkg_postrm() {
+	echo
+	einfo "GIMPS data files were not removed."
+	einfo "Remove them manually from /var/lib/gimps/"
+	echo
+}