summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2025-01-01 06:30:58 +0000
committerV3n3RiX <venerix@koprulu.sector>2025-01-01 06:30:58 +0000
commitc4d4d544a37efc45bd5482e62e1fcdbe7d5993d3 (patch)
treee97ec8b6356535412a838039bf7874aef3129f50 /sci-mathematics
parent2e36bcecf24a3f583ae8f27b71ba13b3cfd39778 (diff)
gentoo auto-resync : 01:01:2025 - 06:30:57
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin19685 -> 19690 bytes
-rw-r--r--sci-mathematics/primesieve/Manifest2
-rw-r--r--sci-mathematics/primesieve/primesieve-12.3.ebuild2
-rw-r--r--sci-mathematics/why3-for-spark/Manifest4
-rw-r--r--sci-mathematics/why3-for-spark/metadata.xml3
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild2
-rw-r--r--sci-mathematics/why3/Manifest4
-rw-r--r--sci-mathematics/why3/why3-1.6.0.ebuild4
-rw-r--r--sci-mathematics/why3/why3-1.7.2.ebuild2
9 files changed, 13 insertions, 10 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 34acfe898063..e979fd57fdb1 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/primesieve/Manifest b/sci-mathematics/primesieve/Manifest
index df9164d57fbb..11f29456564d 100644
--- a/sci-mathematics/primesieve/Manifest
+++ b/sci-mathematics/primesieve/Manifest
@@ -1,5 +1,5 @@
DIST primesieve-11.0.tar.gz 125086 BLAKE2B ac425b6435bc95efbfc3d7458b59719af390508db811e0a993a606397166771cfcb9c0269249341fb6f678aafa8bae4a89e7a914176f61a608e6ccdfd0cab22b SHA512 1be9ff9d07068cab1ca69315010238ab15e5ba3b674bd45e9a0e11d20418810ece05a8df3853796118193468ac2ac6e24391f82d6db9581658ce59ddabb5b7fc
DIST primesieve-12.3.tar.gz 140761 BLAKE2B d93aa8747d43850b9194172a2300942a685797c1aeb503240eb23cbbfe4b99281f3058a622d0e2359017e144ff8200dcecdd56922e16b46366d693b04eb1350a SHA512 b7bd74223ca9abe41de9f6a48102e6cfd1b1989fb291292c13f5c751a31f8df93e1faaadee318f169cfe81fa4dc4d5b0678fe7556f77043941d8ae749c6e8cc7
EBUILD primesieve-11.0.ebuild 1038 BLAKE2B 24f210bb5099c96234c0682bf634a3387ad33b8325b229497a93f7bcc77e04d604d08c579f4ad03414dc2669f648ebbf8ee0b1c6fbfe1c14c95fbeeb408e4120 SHA512 e8ef7324d624fbc1033081f443f3d241e631071869cf210ad4a5cf95ca879bda7f7dc29a308ddfedd775c60fbc5fd5d3fd1d85525ec76c06433439bcc8703331
-EBUILD primesieve-12.3.ebuild 1129 BLAKE2B ad789a6eecab521cf191a556da7a5c65c7247c58eb6461b533b16a32507cb72a2483e2dc627068610a823d77f13a190702c471d274036c3cc98b0581b83616db SHA512 84a244e06db884110fb45f1a4c6a0a7a9f49d1a7f07e88ec2d65370d036e766fc24fec13e467dc1744126f1b119be4299d907f25c33858a13d953e0d4db823ac
+EBUILD primesieve-12.3.ebuild 1136 BLAKE2B 3f8f4abdc654de46602652fdbff0035d21701dfcebb5315f1f51cca9b2aa1760bfc7c9753eceafb11e6bb58ad0be0e072752748a9a31137a538bec102c59b383 SHA512 35cde68ac0168ab5acbec24fc4dd65d9bcc933bfc932727410f57bfc501de45ae829c72100011b76796be738321215afa8a7beb5702f262f22e09f59621ec098
MISC metadata.xml 672 BLAKE2B e580c88061b6dcece5a34fde2cd13ce8c55264f3bac16fe3af6374df92d6280993452ebeea3d8446d9f8afcf7c1cb6927405c40e82a1c01a153d5060c77392fd SHA512 8ad3dd50c172ad3333d30a01b0e7ddb8f0f96b7666b61a0c6a1644e92abc49fa75f4f54c4c88eb72c2c8c7104d5e720d852bc7319fbc1a9569fcc5de85529b02
diff --git a/sci-mathematics/primesieve/primesieve-12.3.ebuild b/sci-mathematics/primesieve/primesieve-12.3.ebuild
index 6d81d07c4184..85de4162e460 100644
--- a/sci-mathematics/primesieve/primesieve-12.3.ebuild
+++ b/sci-mathematics/primesieve/primesieve-12.3.ebuild
@@ -10,7 +10,7 @@ HOMEPAGE="https://github.com/kimwalisch/primesieve"
SRC_URI="https://github.com/kimwalisch/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="BSD-2"
SLOT="0/12" # subslot is first component of libprimesieve.so version
-KEYWORDS="~amd64 ~riscv"
+KEYWORDS="~amd64 ~ppc64 ~riscv"
IUSE="doc +executable test"
RESTRICT="!test? ( test )"
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index 5210dd217a72..57c67374b35d 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -3,5 +3,5 @@ AUX why3-for-spark-2020-gentoo.patch 332 BLAKE2B d71897d1d253a95f2a783483ee7bb0d
AUX why3-for-spark-2021-flags.patch 1234 BLAKE2B 617040fbf9204382adda8161a07ab5244bb60daf1936a8c549ccd3c28a10e447c80cf8875ef2d16103751dfc9881c15e0a8f39f2877fe7d0adf9a8dd374e1e21 SHA512 abbe1b1f9ed6b5aedf0521e0f8d19b6f0267c5304000419f6df91b581bfa99a46c4b46ceed5a294ffc47c0b2f987666c6cd5801049da14b79f24885cbd227bcb
AUX why3-for-spark-2021-make.patch 350 BLAKE2B 970a7ba442a22d96e5807aacd07997587c20a53660045392229e2069801ae4b8f92c5385fa732341acb2498dbcf515d51aa5f2e96d6375006dfedc7ee2eea53f SHA512 b729369bb74e3a8546b449f186cac490d83e764a4fe801de9dd9cb134a8e21dcd9b45af6c63733d953b3072e4363e95599d0cd8e6dfdb936648c3acb9918828e
DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db
-EBUILD why3-for-spark-2021-r1.ebuild 3070 BLAKE2B ba0121f103bd21f08d23a39ceb8cee2a065fd5c7e9d05127914e76c1e93a9c8f57ecbd3e32359ac2ac7d79df5100bcf176578559e02a2d56b27dbc56fe09904f SHA512 924629eef9390e20c8a9a55bb678405e8d4d9e9322bf89eb8d47baa8d9b2ce30e0d383870a49616121d3b297974783c9c4672b9949cbad8a5426e850dbb635fd
-MISC metadata.xml 1484 BLAKE2B 3984c01654d94bc4c1fe32b691c237d37eb78fdf79df335ebd2a11de4a8b535aedb704e9be230b328f4250a16b604a983813d48d6f467a9e66dfacfe175a564d SHA512 b51b258eb4bf49e6f9db867602fb0d9ca9fff01c90e7a5b526aa750a98032b2ccd48fd3b4ddbd284eb4e25e6d07548a4403dc9299972f0b2e7f45045b9936ee6
+EBUILD why3-for-spark-2021-r1.ebuild 3103 BLAKE2B fd8e8cd70d1d38c69fad088c3ba66f101e335bea625ab3dffe996d1462f364a2e4e5489869c462396b4a0ec7a4e418df593f1869927188840ffadd4b56a02cb6 SHA512 dc2472a0a6375bb8cf08760d438fdb4cd3f4dcc41063f6b4950657cf7d277c7b6506269fbbd8c711b951fc8cfb8d65fde9df5fa4af556c7a68814001961370e9
+MISC metadata.xml 1561 BLAKE2B 48c1ebe394b9a4152cd3b3a0560ff5e2d0e93e48422265d224b49b80b5b625b110f3561a09825e7e6efaf1dbb1dca8362612cfdccd43d954f4a848fb39624653 SHA512 02c1cecdd192e289d0146d0ba16148a2fcd9daddc39b6afbaa2a510594475a12cacd4b4c92d1c1b7bf40c291a90d66b887fdbf19fa82af45f197e2323e4b2b20
diff --git a/sci-mathematics/why3-for-spark/metadata.xml b/sci-mathematics/why3-for-spark/metadata.xml
index 353e88c87868..17bbe7c1b27f 100644
--- a/sci-mathematics/why3-for-spark/metadata.xml
+++ b/sci-mathematics/why3-for-spark/metadata.xml
@@ -25,4 +25,7 @@
<flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag>
<flag name="zip">Enable compression of session files</flag>
</use>
+ <upstream>
+ <remote-id type="github">AdaCore/why3</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
index 7a9e671ad83f..962d85cf88de 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
@@ -10,7 +10,7 @@ ID=dd74ae7ecfd7d56aff7b17cee7a35559384a600f
MYP=why3-${PV}-20210519-19ADF-src
DESCRIPTION="Platform for deductive program verification"
-HOMEPAGE="https://why3.lri.fr/"
+HOMEPAGE="https://www.why3.org/ https://github.com/AdaCore/why3"
SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz"
S="${WORKDIR}"/${MYP}
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest
index bbaca0e7ab6e..f2ec969686e3 100644
--- a/sci-mathematics/why3/Manifest
+++ b/sci-mathematics/why3/Manifest
@@ -1,6 +1,6 @@
AUX why3-1.7.2-signum.patch 406 BLAKE2B ab81e95db7537a31fd75e3d0551ee57cf664aa6f41779c2d72100b39c88ca0f3a90fa517e07dd1f17c3f93fff134802cb1e3fa192e15b66b8163e840c1e75dd8 SHA512 3491b58cc54bfdd8601242b2f78d7a8afbed8097758610dd38815e8ed90cf462d02ded16905838a51275fd16ed634f89ba11e38a8d573c78ca01477fcfa35237
DIST why3-1.6.0.tar.gz 6850062 BLAKE2B 91db6f67a9d0fe24b7d7d18e6c5e9cd362563a55702bfb28c478754f53e831beb3033adde251214facd8d64ab923389b0b9fe7b240b6cd09f0b4b3e6f8eca143 SHA512 60d61b8337ab9f2fd2e6c7174eb0bab063f122417738cd75990c5c53120dd535bcedccb670567f5753853d6bc9f8efebb563d079e4d368372a7687193f1346b1
DIST why3-1.7.2.tar.gz 7005562 BLAKE2B cd1b25e35147a319e5d5d1f1380ecfaa3555624c797459e8df5cb3b1558928d9c02b567645a2f2952b877c7135a5a393f4b734dd35e569bea6e6b073708901ce SHA512 7e80671480ce0dc3c69514bea2836f5899c686b43a4e8607c27d28e63f78150150dc45fcac5760dbee9721d363e456b1dcaeb1501fc9f63f360722a1021f675f
-EBUILD why3-1.6.0.ebuild 2348 BLAKE2B 0b8f27f14bb7d2117a9f5f6451d12e57ae3123ac6f491c653fb762bdf2410b5af17f9f3d7c2655c56f6a2f3f198aad07411a7c07e4943e62e1673b66e4779e41 SHA512 7a4ff6be794f77a6a319ee5e39e0bb3c80c82777d45da510d54ab6ac1793c0d249ebf10516c4db4ad7bf27441a0ef37171c43c04295ae0bd757f34619ac6fd61
-EBUILD why3-1.7.2.ebuild 2409 BLAKE2B c26ca5d897b83c8b9a7c48216b5f3753b246cf9f3d1f1532d7f0fbe02e327a6df21634866db07483e3e1b7f7493163b2dcf632b29ecfabf1d9e672d30ce1c8a9 SHA512 f02f1161252451824854c61615e049a90761321f433727bf25590f3777351bff991732ef761d8f11951fb0d54afe8ccc50bfef60ff2bf1611f6437e050451d56
+EBUILD why3-1.6.0.ebuild 2349 BLAKE2B 946115ce4d70ed1505fb3072c7ad6e67c6c3ea0c97a03dd6141b069ef8b2502f43e44717ff9f3dbc5c4de367fb25d7dbd98369f8313ff75ba0471f35c320df04 SHA512 8a196dfa7a161c980e2023f1363d6ff91af3ca854e96539ca44d004efa2b5d813b480c79dd0d51e31796a0c0b6f886d094bd06751469dd8b236aad239ddaf1f7
+EBUILD why3-1.7.2.ebuild 2410 BLAKE2B 00e650a1716213d2be02c98e07157d44311996a6faf64c52193f7bbe1dcf16dde133a81468cc36e950a48c0891100096119960323b0045a79ae068599c6685b3 SHA512 aa928c405d247f6462b2e2571f5efe2e01993034d6515d6f0c4a3bb847fb352f319621ec1d31ffb3e6f8336cc32372cb6170e621bf9507e71866c5b1dddfd612
MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9
diff --git a/sci-mathematics/why3/why3-1.6.0.ebuild b/sci-mathematics/why3/why3-1.6.0.ebuild
index 1c3b6b458cc9..27569d1c9825 100644
--- a/sci-mathematics/why3/why3-1.6.0.ebuild
+++ b/sci-mathematics/why3/why3-1.6.0.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
@@ -6,7 +6,7 @@ EAPI=8
inherit autotools findlib
DESCRIPTION="Platform for deductive program verification"
-HOMEPAGE="https://why3.lri.fr/"
+HOMEPAGE="https://www.why3.org/"
SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz"
LICENSE="LGPL-2"
diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild
index 888c5c48f865..7e5ea53e4f28 100644
--- a/sci-mathematics/why3/why3-1.7.2.ebuild
+++ b/sci-mathematics/why3/why3-1.7.2.ebuild
@@ -6,7 +6,7 @@ EAPI=8
inherit autotools findlib
DESCRIPTION="Platform for deductive program verification"
-HOMEPAGE="https://why3.lri.fr/"
+HOMEPAGE="https://www.why3.org/"
SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz"
LICENSE="LGPL-2"