gentoo auto-resync : 11:01:2023 - 05:43:34

7 files changed, 49 insertions, 4 deletions

diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index fff333dfa3e7..a763108a1214 100644
--- a/metadata/md5-cache/sci-mathematics/Manifest.gz
+++ b/metadata/md5-cache/sci-mathematics/Manifest.gz
diff --git a/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110 b/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110
new file mode 100644
index 000000000000..25ab904eba1d
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110
@@ -0,0 +1,17 @@
+BDEPEND=test? ( dev-cpp/gtest ) >=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
+DEFINED_PHASES=compile configure install prepare setup test
+DEPEND=sci-mathematics/btor2tools:= cryptominisat? ( sci-mathematics/cryptominisat:= ) gmp? ( dev-libs/gmp:= ) minisat? ( sci-mathematics/minisat:= ) picosat? ( sci-mathematics/picosat:= ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.16:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.16:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.1:3.11 ) )
+DESCRIPTION=Fast SMT solver for bit-vectors, arrays and uninterpreted functions
+EAPI=8
+HOMEPAGE=https://boolector.github.io/ https://github.com/Boolector/boolector/
+INHERIT=python-single-r1 cmake
+IUSE=cryptominisat examples +gmp minisat +picosat python test python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11
+KEYWORDS=~amd64 ~x86
+LICENSE=MIT
+RDEPEND=sci-mathematics/btor2tools:= cryptominisat? ( sci-mathematics/cryptominisat:= ) gmp? ( dev-libs/gmp:= ) minisat? ( sci-mathematics/minisat:= ) picosat? ( sci-mathematics/picosat:= ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.16:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.16:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.9:3.10 ) python_single_target_python3_11? ( >=dev-lang/python-3.11.1:3.11 ) )
+REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 ) ) || ( cryptominisat minisat picosat )
+RESTRICT=!test? ( test )
+SLOT=0
+SRC_URI=https://github.com/Boolector/boolector/archive/13a8a06d561041cafcaf5458e404c1ec354b2841.tar.gz -> boolector-3.2.2_p20220110.tar.gz
+_eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	python-single-r1	75118e916668a74c660a13b0ecb22562	python-utils-r1	7870d60e8b98856ef02d33397fd5ec0f	toolchain-funcs	ec8bbc28394c7305b43ea07164bd8f5f	xdg-utils	ac0e315a3688929e34ac75b139e7349a
+_md5_=3782161be645e3977c28ea68454056d5
diff --git a/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518 b/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518
new file mode 100644
index 000000000000..65d4ced1d173
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518
@@ -0,0 +1,13 @@
+BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
+DEFINED_PHASES=compile configure install prepare test
+DESCRIPTION=Generic parser and tools for the BTOR2 format
+EAPI=8
+HOMEPAGE=https://github.com/Boolector/btor2tools/
+INHERIT=cmake
+IUSE=examples
+KEYWORDS=~amd64 ~x86
+LICENSE=MIT
+SLOT=0
+SRC_URI=https://github.com/Boolector/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz -> btor2tools-1.0.0_pre20220518.tar.gz
+_eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	ec8bbc28394c7305b43ea07164bd8f5f	xdg-utils	ac0e315a3688929e34ac75b139e7349a
+_md5_=3c1382c1cf2a6037f6170cca7088ab64
diff --git a/metadata/md5-cache/sci-mathematics/cadical-1.5.3 b/metadata/md5-cache/sci-mathematics/cadical-1.5.3-r1
index 3dba8ec5d57c..faa720dabae6 100644
--- a/metadata/md5-cache/sci-mathematics/cadical-1.5.3
+++ b/metadata/md5-cache/sci-mathematics/cadical-1.5.3-r1
@@ -8,4 +8,4 @@ LICENSE=MIT
 SLOT=0/1.5.3
 SRC_URI=https://github.com/arminbiere/cadical/archive/rel-1.5.3.tar.gz -> cadical-1.5.3.tar.gz
 _eclasses_=multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	ec8bbc28394c7305b43ea07164bd8f5f
-_md5_=69c9a5d9103a3cdb8b6ff0eb04bc05b1
+_md5_=cda1218026a05a04d4632e7b05c8b74c
diff --git a/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r1 b/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r1
new file mode 100644
index 000000000000..e14e87fb0359
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/cubicle-1.2.0-r1
@@ -0,0 +1,15 @@
+BDEPEND=dev-ml/findlib sys-apps/gawk sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71-r5 >=sys-devel/libtool-2.4.7
+DEFINED_PHASES=compile configure install postinst postrm prepare
+DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* )
+DESCRIPTION=Model checker for verifying properties of array-based systems
+EAPI=8
+HOMEPAGE=https://cubicle.lri.fr/ https://github.com/cubicle-model-checker/cubicle/
+INHERIT=autotools elisp-common
+IUSE=emacs examples ocamlopt
+KEYWORDS=~amd64 ~x86
+LICENSE=Apache-2.0
+RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* )
+SLOT=0/1.2.0
+SRC_URI=https://github.com/cubicle-model-checker/cubicle/archive/1.2.0.tar.gz -> cubicle-1.2.0.tar.gz
+_eclasses_=autotools	6dcd6b6a486e79928e1243ff9ba41fcc	elisp-common	79f8e13c80c89792e5c9b3fc8ef59f3b	gnuconfig	b6b3e92f8b8c996400074b5f61a59256	libtool	241a8f577b9781a42a7421e53448a44e	multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	ec8bbc28394c7305b43ea07164bd8f5f
+_md5_=e7bf82c53b1e66b0d21e76ac67159064
diff --git a/metadata/md5-cache/sci-mathematics/picosat-965 b/metadata/md5-cache/sci-mathematics/picosat-965-r1
index fec103820576..cde5b6d46986 100644
--- a/metadata/md5-cache/sci-mathematics/picosat-965
+++ b/metadata/md5-cache/sci-mathematics/picosat-965-r1
@@ -8,4 +8,4 @@ LICENSE=MIT
 SLOT=0
 SRC_URI=http://fmv.jku.at/picosat/picosat-965.tar.gz
 _eclasses_=multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	ec8bbc28394c7305b43ea07164bd8f5f
-_md5_=dc64bf57a14766edad01558bbbece1af
+_md5_=f5005e282e2ffe32a08f869d80f271c0
diff --git a/metadata/md5-cache/sci-mathematics/singular-4.3.1_p2 b/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3
index 64b956a5c4ce..2f0cfea27587 100644
--- a/metadata/md5-cache/sci-mathematics/singular-4.3.1_p2
+++ b/metadata/md5-cache/sci-mathematics/singular-4.3.1_p3
@@ -9,6 +9,6 @@ KEYWORDS=~amd64 ~ppc ~riscv ~x86 ~x86-linux
 LICENSE=BSD GPL-2 GPL-3
 RDEPEND=dev-lang/perl dev-libs/gmp:0 dev-libs/ntl:= sci-libs/cddlib sci-mathematics/flint emacs? ( >=app-editors/emacs-23.1:* ) polymake? ( sci-mathematics/polymake ) readline? ( sys-libs/readline )
 SLOT=0
-SRC_URI=https://www.singular.uni-kl.de/ftp/pub/Math/Singular/SOURCES/4-3-1/singular-4.3.1p2.tar.gz
+SRC_URI=https://www.singular.uni-kl.de/ftp/pub/Math/Singular/SOURCES/4-3-1/singular-4.3.1p3.tar.gz
 _eclasses_=elisp-common	79f8e13c80c89792e5c9b3fc8ef59f3b
-_md5_=53471d3d7f7b955583ca6ac6d9dfda8f
+_md5_=482c3be3568a289378390a7b7692aa3b