summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-03-09 00:01:06 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-03-09 00:01:06 +0000
commit9a754065ce56ab139449903367df82ccc14a7725 (patch)
treeaba2026be26b9905ddb573e3e79da8da2a812921 /sci-mathematics
parent78ebdce6a16942c7081565472862ab6730321ee3 (diff)
gentoo auto-resync : 09:03:2023 - 00:01:06
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin18360 -> 18358 bytes
-rw-r--r--sci-mathematics/cadabra/Manifest4
-rw-r--r--sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild (renamed from sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild)2
-rw-r--r--sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild (renamed from sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild)2
-rw-r--r--sci-mathematics/cubicle/Manifest2
-rw-r--r--sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild (renamed from sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild)4
6 files changed, 7 insertions, 7 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index b11e129bbccb..bf5cc9f9f1a9 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/cadabra/Manifest b/sci-mathematics/cadabra/Manifest
index 76951db4ea53..bb163aa67baa 100644
--- a/sci-mathematics/cadabra/Manifest
+++ b/sci-mathematics/cadabra/Manifest
@@ -2,7 +2,7 @@ AUX cadabra2-CMake.patch 3184 BLAKE2B afa702834d5eb82a8056307b419fc20bbc2d45b047
DIST cadabra-2.4.2.1.tar.gz 25154623 BLAKE2B 99c24728c80c5909df338b9214774123c2aac63e475138b5059c0c7824685827765d7906c17200ab3bad63e08b3637c7eb67b2f25bb3477eab4ca02fcbedbb56 SHA512 9dd280dfaca3cf1def268bca7884b0d00287bba5bfb7b80e8bdf4759f91c83117d146af2a24e05d2a8bdc8a5be412529a805713861a56a7186c35fe07ff8d0db
DIST cadabra-2.4.2.2.tar.gz 25156757 BLAKE2B 05d4e490d1fa740b3dd505b72d5f4f298e62e234859e81b5bdf865e895ab820b3cd5d6db3ecda1cac0426b031cc5c87428d464bdb66b24cb9b945ababc860a90 SHA512 c5c55abad090d72f981341d94d3e299583f446a4bff1df994a60c740cede9e543b5cdee146dae2a846deec4adf446172e62b0f12deab8c89e7a085ffa7006acf
DIST cadabra-2.4.3.2.tar.gz 25157173 BLAKE2B 895b91a01f5dedc87294903959ee3aca0234016fce0094f4288c07e2d265f90f834670b9c50dcfa059e46564c773f73f049cf65db74f49932e442d15d68ecd88 SHA512 21c76804442397fa3d5fa407fc74395fc800d01c2a5d84270e9cf3abd875c8ff96e2ba8f8349037797ff4ef3d2b9033c2a1a6af45bb75c3a201acdd7357adb6f
-EBUILD cadabra-2.4.2.1.ebuild 2366 BLAKE2B 05d162fcc8f08085183d37779a34b7c584a5379371a516eb360806ba503f92435469ea1b404d7d67d1b191e41ac2aabe56bc4720a2f382774c33bc4a1972f7bc SHA512 900b29e7f7a105fd54980c1f628802797cd12fe016b5eab097ebe2d27deaa18c112306622c749ce5da46a283a6c5cbe126ba0fd1cb92b9a885f52a786f3c68d9
-EBUILD cadabra-2.4.2.2.ebuild 2366 BLAKE2B 05d162fcc8f08085183d37779a34b7c584a5379371a516eb360806ba503f92435469ea1b404d7d67d1b191e41ac2aabe56bc4720a2f382774c33bc4a1972f7bc SHA512 900b29e7f7a105fd54980c1f628802797cd12fe016b5eab097ebe2d27deaa18c112306622c749ce5da46a283a6c5cbe126ba0fd1cb92b9a885f52a786f3c68d9
+EBUILD cadabra-2.4.2.1-r1.ebuild 2366 BLAKE2B bb04d2b44dfa890cb72b67988aececd2317433c3b2f88e7e2a15078a647b097804076b48bdc5a6386ced66c4a875e9ab9c5d0a19d01f4655a5bc91ea4ceeff78 SHA512 a81b0bb03307ce1ef3b03772e183cd60a858e2aa04de7ad281d4fadddb7452b69dd5f2d248b2b5cd0a6e6cf67456e3eaa8c1a2bb54c6096200c5d19d104d67b1
+EBUILD cadabra-2.4.2.2-r1.ebuild 2366 BLAKE2B bb04d2b44dfa890cb72b67988aececd2317433c3b2f88e7e2a15078a647b097804076b48bdc5a6386ced66c4a875e9ab9c5d0a19d01f4655a5bc91ea4ceeff78 SHA512 a81b0bb03307ce1ef3b03772e183cd60a858e2aa04de7ad281d4fadddb7452b69dd5f2d248b2b5cd0a6e6cf67456e3eaa8c1a2bb54c6096200c5d19d104d67b1
EBUILD cadabra-2.4.3.2.ebuild 2365 BLAKE2B 2074e07f0b3f7b4d9186f843a10abfd647f36855bab1d3831a3f079912db36363cc4cb3ce8553fb63d9b2e5538d3274216843c93de2e9d90e1a609d49b415e7f SHA512 0b27c49db0d95481f091833886ddf7ffb876f29f4065a9a821fd1207b1c612d80de92ebd929ffd71385409099a6c3d1d9369fb457e6a51e4ca3b34a6d9cdb4ec
MISC metadata.xml 1342 BLAKE2B 2f34aae73fc01d4b8fd4326505b7b0785663c62593641d1d0a01f64adc12cbc8676271612ce91258927ac22957a8d5aba53dd2627130582c744bc32c28e0e207 SHA512 41dffbcfae16f8f0702df5a1837b225100761d48817a2d70fa03aca6246b9d3184d60989cf265282286b02a77a126ac82695c2d74c6de91da45e8f64fcb91811
diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild
index 85095564544c..729dbdb870fa 100644
--- a/sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild
+++ b/sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CADABRA=${PN}${MAJOR}
-PYTHON_COMPAT=( python3_{9..10} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit xdg-utils python-single-r1 cmake
diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild
index 85095564544c..729dbdb870fa 100644
--- a/sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild
+++ b/sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CADABRA=${PN}${MAJOR}
-PYTHON_COMPAT=( python3_{9..10} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit xdg-utils python-single-r1 cmake
diff --git a/sci-mathematics/cubicle/Manifest b/sci-mathematics/cubicle/Manifest
index aa9a2c6b901b..33678f503d2e 100644
--- a/sci-mathematics/cubicle/Manifest
+++ b/sci-mathematics/cubicle/Manifest
@@ -1,4 +1,4 @@
AUX 50cubicle-gentoo.el 185 BLAKE2B 76ef002c52bd0d6ef8ce5474e5cf9032cffe861d273a88176c3a8eae17f6176896bc1a4cb099d1f793b63f1ad3e0b7fb6d4b066317f160a0a4fd586e0a61ec64 SHA512 c9a93fec3f1f12cbe326940a79dfe950b56c82e7bdd24a6bf5923d1c4fe6245b8fec4c399f3e60c16cc4757f290f9cbeab606a20b5844f4228a4f29b0ed669f4
DIST cubicle-1.2.0.tar.gz 866004 BLAKE2B 4fd944acb394165396344b7a9d4b29ffcb7b61571e1ac9cb90aacf1a5ddb0521d399f301a51af6b37461e5a47244fb095ad69ab0041440c240257522ba4de4a7 SHA512 e2815b4b7b4feda30df91eabebae741d14a2c822f5efea972676bc7a941454ea368e9dc003f754c2edb1c6b1db5a5c86a354b3612c2d47a9095f8fc348dfb692
-EBUILD cubicle-1.2.0-r1.ebuild 1332 BLAKE2B 7dbbb9ed042dd4ecabb00ee3ccc050e39174b01e7131f90b6bbd5dde249299071e30eee3f2cfd5576f8504b7a3f27ab1430428935b4012e0da69c8cbc67409b7 SHA512 a9018679ffa0b2481fd3629518317e8ceab2494d66d1688e1a95ff41b73964a62f17b4d2c6e2ad17e130c09e93b84bb1d23f360e5eebdb8f6f87f154a4069f9d
+EBUILD cubicle-1.2.0-r2.ebuild 1322 BLAKE2B 7136d0adc33943f7ea5f5f5579988fe853b6060e2f495352aabc589ee51a01ed64cb7b7b70ebb153361462b5d98928e068967e83e2b3844f10e853d0dabe407c SHA512 a4947250719ef0e0428b4862ca2b47b8f50e6940988efd0c866885e83207ccb1d969c34a99dc5160917ed41fe61ff5f777e8ad9effad5c7ff90d546c5a9d7829
MISC metadata.xml 1503 BLAKE2B d67f3f6524234cf3be4b0118aced6f4e3424a25754d91b13eb5c8250aedb6a57a6f7faabe6539875953874f48b2d8349fe3adfe431b72675fdd6723cb9ff3c52 SHA512 96540a56c6ef839924fa93f49e4ffdeb8a5eb3b83ef43bd62ccbed72dfa522f1b0acad4132650f67387915af5be8fe432fd6d01f8c9a76271c53f7f3a33f476d
diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
index 8159f9f60a4a..756eb6aab056 100644
--- a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
+++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
@@ -14,10 +14,10 @@ SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz
LICENSE="Apache-2.0"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
-IUSE="emacs examples ocamlopt"
+IUSE="emacs examples"
RDEPEND="
- >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
+ >=dev-lang/ocaml-4.09.0:=[ocamlopt]
dev-ml/num:=
emacs? ( >=app-editors/emacs-23.1:* )
"