7 files changed, 20 insertions, 22 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz
index 27ff91c030f4..f304f8652d66 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/bertini-1.6 b/metadata/md5-cache/sci-mathematics/bertini-1.6
new file mode 100644
index 000000000000..8d90fc0b2cca
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/bertini-1.6
@@ -0,0 +1,15 @@
+BDEPEND=sys-devel/bison sys-devel/flex
+DEFINED_PHASES=configure install prepare
+DEPEND=dev-libs/gmp dev-libs/mpfr
+DESCRIPTION=Software for Numerical Algebraic Geometry
+EAPI=8
+HOMEPAGE=http://bertini.nd.edu
+INHERIT=toolchain-funcs flag-o-matic
+IUSE=doc examples +optimization
+KEYWORDS=~amd64 ~x86
+LICENSE=bertini
+RDEPEND=dev-libs/gmp dev-libs/mpfr
+SLOT=0
+SRC_URI=https://bertini.nd.edu/BertiniSource_v1.6.tar.gz doc? ( https://bertini.nd.edu/BertiniUsersManual.pdf )
+_eclasses_=flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	9a610728b9bcca1919234cceb35a1027
+_md5_=f673dbccf6304e833ddc1b09c787059f
diff --git a/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 b/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1
index 141ab955a0e1..4479a3406b56 100644
--- a/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1
+++ b/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1
@@ -3,7 +3,7 @@ DEFINED_PHASES=compile configure install prepare test
 DEPEND=sys-libs/zlib:=
 DESCRIPTION=Small yet efficient SAT solver with reference paper
 EAPI=8
-HOMEPAGE=http://minisat.se/Main.html
+HOMEPAGE=http://minisat.se/Main.html https://github.com/stp/minisat/
 INHERIT=cmake
 IUSE=doc
 KEYWORDS=~amd64 ~x86
@@ -12,4 +12,4 @@ RDEPEND=sys-libs/zlib:=
 SLOT=0/2.2.1
 SRC_URI=https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz -> minisat-2.2.1.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf )
 _eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	9a610728b9bcca1919234cceb35a1027	xdg-utils	ac0e315a3688929e34ac75b139e7349a
-_md5_=fac114018ca9b6d7e277dee1812172a1
+_md5_=5ea1be27bc65784e2692a2a88abe2b96
diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3 b/metadata/md5-cache/sci-mathematics/opensmt-2.4.3
deleted file mode 100644
index 09022e45b0f6..000000000000
--- a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3
+++ /dev/null
@@ -1,17 +0,0 @@
-BDEPEND=sys-devel/bison sys-devel/flex test? ( dev-cpp/gtest ) >=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
-DEFINED_PHASES=compile configure install prepare test
-DEPEND=dev-libs/gmp:= readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= )
-DESCRIPTION=Compact and open-source SMT-solver written in C++
-EAPI=8
-HOMEPAGE=http://verify.inf.usi.ch/opensmt/ https://github.com/usi-verification-and-security/opensmt/
-INHERIT=cmake
-IUSE=debug libedit +readline test
-KEYWORDS=~amd64 ~x86
-LICENSE=MIT
-RDEPEND=dev-libs/gmp:= readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= )
-REQUIRED_USE=?? ( libedit readline )
-RESTRICT=!test? ( test )
-SLOT=0/2.4.3
-SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.4.3.tar.gz -> opensmt-2.4.3.tar.gz
-_eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	9a610728b9bcca1919234cceb35a1027	xdg-utils	ac0e315a3688929e34ac75b139e7349a
-_md5_=f175036f775329db3ecc60dbd8ebf9b6
diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r1 b/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r1
index 2f7158373aef..9631ec975fc8 100644
--- a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r1
+++ b/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r1
@@ -14,4 +14,4 @@ RESTRICT=!test? ( test )
 SLOT=0/2.4.3
 SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.4.3.tar.gz -> opensmt-2.4.3.tar.gz
 _eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	9a610728b9bcca1919234cceb35a1027	xdg-utils	ac0e315a3688929e34ac75b139e7349a
-_md5_=be02e166e5350b03329db8f601bfe2f1
+_md5_=b059a38629e9354ca5386ede9fb1bdeb
diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2
index 40d205d9ec18..77bf10792dcf 100644
--- a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2
+++ b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2
@@ -13,4 +13,4 @@ RESTRICT=!debug? ( test )
 SLOT=0/4.6.1
 SRC_URI=https://github.com/vprover/vampire/archive/v4.6.1.tar.gz -> vampire-4.6.1.tar.gz
 _eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	9a610728b9bcca1919234cceb35a1027	xdg-utils	ac0e315a3688929e34ac75b139e7349a
-_md5_=daf6722623787ab6b73526de0ed5bc36
+_md5_=adaabe076f15150cc3940fc31cc19bad
diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1
index abada0a353eb..1ebafdd665ee 100644
--- a/metadata/md5-cache/sci-mathematics/vampire-4.7-r1
+++ b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1
@@ -13,4 +13,4 @@ RESTRICT=!debug? ( test )
 SLOT=0/4.7
 SRC_URI=https://github.com/vprover/vampire/archive/2d02e4655e1b08d1ca9ee7c0aade40f59f046460.tar.gz -> vampire-4.7.tar.gz
 _eclasses_=cmake	449b4785acace35308fe747fc939bde1	flag-o-matic	69394e25812406faa1f90edaf4969395	multilib	5ca4e49abed8e3a2f7b56920eadee157	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ninja-utils	38c85b725d0467e51954ea921b6c104b	toolchain-funcs	9a610728b9bcca1919234cceb35a1027	xdg-utils	ac0e315a3688929e34ac75b139e7349a
-_md5_=8c5a74f6c33e467f1666e6c025dd0abb
+_md5_=ace6dac4dbc37c4fdd69226724f36980