gentoo auto-resync : 15:08:2023 - 15:27:23

5 files changed, 43 insertions, 2 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 048034142b9a..47e0b7bb3936 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/kissat/Manifest b/sci-mathematics/kissat/Manifest
index ef692656c4d6..ff60f0ccc0e5 100644
--- a/sci-mathematics/kissat/Manifest
+++ b/sci-mathematics/kissat/Manifest
@@ -1,3 +1,5 @@
 DIST kissat-3.0.0.tar.gz 466704 BLAKE2B 453f894884e80cfd0ee7022adbde0439d64e31a402c4bfa92f022ad41699cc5c11682d5b9069cf33f8a779afa255f103987519bc9412b49f54480bd688fbc4eb SHA512 2a5b7b9c9bb74ca8395399425519c138e135eb9adfb6e802ce8d7544c9d53e0b7687f86e6a032fcdff1c6fc01770dd7e7449e488e0ddf3e4ee1199e1448a0862
+DIST kissat-3.1.0.tar.gz 470710 BLAKE2B bd79a480209d6ff35aa431dc294018cd78ef06e5f6c431fcd23206a72183c3f18eb4a4b9b57f471f2edc7c9224a52d00ae1d75f6c9af050b1fa7e667776932a7 SHA512 226090d4e8c42197709e08341dd4623cbf7e63f2fee72e59305ab7643c3e59cfc1f9f3abb5a766e3572137b45018ed788bbdfb486e6b8d86a7317f959358f2e8
 EBUILD kissat-3.0.0.ebuild 807 BLAKE2B 92016c0e2616ec1546e83e6e5d81d8c308eefd06a9dc2b3eb7e206d718fbebacdaf3efc664dbf16b6d80a2011bfa0a63284aa7fafc2a58dde2ce70f7e0bd8188 SHA512 3ded71ded97147212c4cf5b65e55e076d7adf9a7e6bcf5235afff97aea4634384baa42c5fd9054efd46c825789666b2e2a34d84f9b0d7cf3dd61d5c935b8c930
+EBUILD kissat-3.1.0.ebuild 807 BLAKE2B 92016c0e2616ec1546e83e6e5d81d8c308eefd06a9dc2b3eb7e206d718fbebacdaf3efc664dbf16b6d80a2011bfa0a63284aa7fafc2a58dde2ce70f7e0bd8188 SHA512 3ded71ded97147212c4cf5b65e55e076d7adf9a7e6bcf5235afff97aea4634384baa42c5fd9054efd46c825789666b2e2a34d84f9b0d7cf3dd61d5c935b8c930
 MISC metadata.xml 762 BLAKE2B 95fefd93903442e9c5c6881127d734899535b35ffcef1e9082502774849d5b04aeb7f5f5d53b2dfc899f9b503fce0785ec5f3e8fab580965636bbb17775b10e5 SHA512 441d510f122197141ce7a4140023d858c6dbb41bd8f8ea5b8466aaa4864b51df019d0759cdf54de51eb89bf4f421fbdf8937e6349b2100cb1e92d5b8f9556c26
diff --git a/sci-mathematics/kissat/kissat-3.1.0.ebuild b/sci-mathematics/kissat/kissat-3.1.0.ebuild
new file mode 100644
index 000000000000..4c1fed10488f
--- /dev/null
+++ b/sci-mathematics/kissat/kissat-3.1.0.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Keep-it-simple and clean bare metal SAT solver written in C"
+HOMEPAGE="http://fmv.jku.at/kissat/
+	https://github.com/arminbiere/kissat/"
+SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
+	-> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-rel-${PV}
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+RDEPEND="!>=x11-terms/kitty-0.27"
+
+src_configure() {
+	local myopts=(
+		CC="$(tc-getCC) ${CFLAGS} ${LDFLAGS}"
+		--kitten
+		--statistics
+	)
+	sh ./configure "${myopts[@]}" || die
+}
+
+src_compile() {
+	emake AR="$(tc-getAR)"
+}
+
+src_install() {
+	dolib.a build/libkissat.a
+	exeinto /usr/bin/
+	doexe build/{kissat,kitten}
+	dodoc CONTRIBUTING NEWS.md README.md
+}
diff --git a/sci-mathematics/opensmt/Manifest b/sci-mathematics/opensmt/Manifest
index e6377c265b68..6622290758b8 100644
--- a/sci-mathematics/opensmt/Manifest
+++ b/sci-mathematics/opensmt/Manifest
@@ -1,6 +1,6 @@
 AUX opensmt-2.4.3-musl.patch 4317 BLAKE2B 7f1349452d31edac8e90ba322396fd4725399512481b035f6996b5ec4ad09cc1af3579668ee4da79deb198befdde2cd2fbb9fcc4159ec97b0aaedfce9e73a443 SHA512 09c2cea9928e89806136c5cae2403eb4168bf3984974f6212c0c1b9857affd3b1559bf6cb1bb5a0b8a3a6d9a340cca559446fe4d535b87b1f5b2cdc176f7b7ad
-DIST opensmt-2.5.0.tar.gz 1940493 BLAKE2B ee643815b9da8bdc4a3a074a438eacdfde778347f4090aa7403e34859a9d51a17db8992c38a0e9f7a808384b0413abfbe2aa7b360dda44181344528159666945 SHA512 d70972eae376b927694f893ff9b6e4bfba7d0cfffe63545b5a0d582b594c3538643c9ae0121e75cf85aec3876eb4a45df2766c3a7700d07da05d1d6081953f42
 DIST opensmt-2.5.1.tar.gz 1943888 BLAKE2B 17b58fc3e693e77ce70835820f7361db9efe1cac561f1fa3480a839fbdf003d2566617cd97a3e2772ad8e890356b6a5761457779c0ac3b0841c2df6aee74946e SHA512 359ff968d7dbd8d94d6c5687d5b84e19c47016df5b1c0d80374743b395b6257cb4b97aa354b264103bd19c522f55912f1c938e646daf37f6b413488db917fc61
-EBUILD opensmt-2.5.0.ebuild 1541 BLAKE2B 44e686101a91b3c64297a7121afa8e9916c2a8f163e6d42adb5db551da837d2815d0457019548de86e12136ae19e9367d8a24f48ef0c7cec5ca85f057e6fcf89 SHA512 8594a6f32268774fb18567e8aac36ebb3aab0c91dec6fba09056f5d17ed0f753bfa681f696c3b572c6d7498242b2bba11989d5330d0de84179f3b4af7700e41c
+DIST opensmt-2.5.2.tar.gz 1935650 BLAKE2B 85cd171d56591d2f1162a41ff8a425fc818238a2820aab0f75cc75ece8898c5e7de1478aeab93e8905a1aedad85a6df03062fefaad69bea043dce1f3f3d531f5 SHA512 c22d17d3aee33a3360f8ea552c82151eafdef7cc89e6750d34b4ff2a011675a5a5f04a7cb68ff984dd6a5332b2f180fb8abc529e64c3970aba6b7eb60408f198
 EBUILD opensmt-2.5.1.ebuild 1541 BLAKE2B 44e686101a91b3c64297a7121afa8e9916c2a8f163e6d42adb5db551da837d2815d0457019548de86e12136ae19e9367d8a24f48ef0c7cec5ca85f057e6fcf89 SHA512 8594a6f32268774fb18567e8aac36ebb3aab0c91dec6fba09056f5d17ed0f753bfa681f696c3b572c6d7498242b2bba11989d5330d0de84179f3b4af7700e41c
+EBUILD opensmt-2.5.2.ebuild 1541 BLAKE2B 44e686101a91b3c64297a7121afa8e9916c2a8f163e6d42adb5db551da837d2815d0457019548de86e12136ae19e9367d8a24f48ef0c7cec5ca85f057e6fcf89 SHA512 8594a6f32268774fb18567e8aac36ebb3aab0c91dec6fba09056f5d17ed0f753bfa681f696c3b572c6d7498242b2bba11989d5330d0de84179f3b4af7700e41c
 MISC metadata.xml 798 BLAKE2B 173b47beab9c5ecc15caf32dd0514230f5dbefea8a9c75b33ab4f4cc51bc7e66e1a90240c3d0ba55f09959accf4203136c2b1ab400c2289e8329906cc0aabb56 SHA512 e3acadb473098ff0985b15ce2fb7ffcd8ef2f29fde2736a9c7e5d297a0857e358cdfa508b9f030add29f8bd808ce1594961e9a92768cbc8cff155a8195bd392e
diff --git a/sci-mathematics/opensmt/opensmt-2.5.0.ebuild b/sci-mathematics/opensmt/opensmt-2.5.2.ebuild
index 479c6c7e252f..479c6c7e252f 100644
--- a/sci-mathematics/opensmt/opensmt-2.5.0.ebuild
+++ b/sci-mathematics/opensmt/opensmt-2.5.2.ebuild