Adding metadata

3 files changed, 0 insertions, 94 deletions

diff --git a/sci-mathematics/yices2/Manifest b/sci-mathematics/yices2/Manifest
deleted file mode 100644
index 405ade1dbadb..000000000000
--- a/sci-mathematics/yices2/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST yices2-2.6.5.gh.tar.gz 10387735 BLAKE2B de8c198efa108ee8ce7118409c59ad7b0260315928da1ae863ac7dd2389b469619b56cab45461d886123e6fb92775545f1603a670716d59e25573e0398e02cce SHA512 59015bfa526871d36999485342e6f35e8849495923c824a58168fd6fb058ead8d10914e832989cce177ac9149eb0354779f8febbcb9f9b943112d54a8ccbd3db
diff --git a/sci-mathematics/yices2/metadata.xml b/sci-mathematics/yices2/metadata.xml
deleted file mode 100644
index 364505151c71..000000000000
--- a/sci-mathematics/yices2/metadata.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://docs.baldeagleos.com/dtd/metadata.dtd">
-<pkgmetadata>
-  <maintainer type="project">
-    <email>sci-mathematics@gentoo.org</email>
-    <name>Gentoo Mathematics Project</name>
-  </maintainer>
-  <longdescription>
-    Yices 2 is an SMT solver that decides the satisfiability of formulas
-    containing uninterpreted function symbols with equality, real and integer
-    arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both
-    linear and nonlinear arithmetic. Yices 2 can process input written in the
-    SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively,
-    you can write specifications using Yices 2's own specification language,
-    which includes tuples and scalar types. You can also use Yices 2 as a
-    library in your software.
-  </longdescription>
-  <use>
-    <flag name="mcsat">Enable support for MCSAT</flag>
-  </use>
-  <upstream>
-    <bugs-to>https://github.com/SRI-CSL/yices2/issues/</bugs-to>
-  </upstream>
-  <origin>baldeagleos-repo</origin>
-</pkgmetadata>
diff --git a/sci-mathematics/yices2/yices2-2.6.5.ebuild b/sci-mathematics/yices2/yices2-2.6.5.ebuild
deleted file mode 100644
index 097365c22b32..000000000000
--- a/sci-mathematics/yices2/yices2-2.6.5.ebuild
+++ /dev/null
@@ -1,68 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit autotools
-
-DESCRIPTION="SMT Solver supporting SMT-LIB and Yices specification language"
-HOMEPAGE="https://github.com/SRI-CSL/yices2/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/SRI-CSL/${PN}"
-else
-	SRC_URI="https://github.com/SRI-CSL/${PN}/archive/${PV}.tar.gz
-		-> ${P}.gh.tar.gz"
-
-	KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-IUSE="+mcsat"
-
-RDEPEND="
-	dev-libs/gmp:=
-	mcsat? (
-		sci-mathematics/libpoly:=
-		sci-mathematics/cudd:=
-	)
-"
-DEPEND="
-	${RDEPEND}
-"
-BDEPEND="
-	sys-process/parallel
-"
-
-DOCS=( FAQ.md README.md )
-
-src_prepare() {
-	mkdir "${HOME}/.parallel" || die
-	touch "${HOME}/.parallel/will-cite" || die "parallel setup failed"
-
-	default
-	eautoreconf
-}
-
-src_configure() {
-	econf $(use_enable mcsat)
-}
-
-src_compile() {
-	emake STRIP="echo"
-}
-
-src_test() {
-	emake check
-}
-
-src_install() {
-	default
-
-	doman ./doc/*.1
-
-	rm "${ED}/usr/$(get_libdir)/libyices.a" || die
-}