gentoo auto-resync : 03:10:2024 - 04:43:49

3 files changed, 0 insertions, 44 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 0efa88b6b13a..e701bedec319 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest
index 6ad4287be431..ba06ccf6e546 100644
--- a/sci-mathematics/smtinterpol/Manifest
+++ b/sci-mathematics/smtinterpol/Manifest
@@ -2,5 +2,4 @@ AUX smtinterpol-Version.template-version.patch 468 BLAKE2B 38fb0d6e26949f0e56a13
 AUX smtinterpol-build.xml-basename.patch 527 BLAKE2B 41e72630f9d8502f00fe79261e9a45d812fad310ccd3ae45205dc0245abbaa5113824ec4fae1de814b8a98f6bc154de21bbfeeda76d514224320545b5680d0d8 SHA512 6a327c27aa661468619b0b94eab84ab894bd5a7d96ab5ac8c50d1ea4cf1286397a6a2b662fa7a352c6f61d1dcc7d51fbf4a7c7c083070e3625877b49831b790c
 DIST smtinterpol-2.5_p20211018.tar.gz 10676726 BLAKE2B 27bed1f707241416f71d10ae33c39b7fe638b9650a26f3237409722a8782af3b09890dce9acf30ab2d0412cfbe94f57684850c51e486d3d7f7dddd8025021c8d SHA512 8630ae5f9cf3fdcbceffeeb1f199c2e21e27d0348d3aec5a7062ee5eb942c640661ae58603f273881f30f24630a92b041ea867086ce6d0a2eab5fdd924eb01c3
 EBUILD smtinterpol-2.5_p20211018-r1.ebuild 984 BLAKE2B 5d1b1fb138a0ca02de0bdc915f8ef4645688cf8a9738da00a13bb57268e6bf5ae6ff1c5df23153a3eac8af56668bcf45d49cb457fc3e11763e5a9de153a0ba6b SHA512 abd9630c26e694c886187bd26bd4c2b9985172af4e0af83981f8785e23cac3fbeb596103c1c4abdbf8827d5b1ca79ee3faa67ccfa1c21c752092c6a3075f4bac
-EBUILD smtinterpol-2.5_p20211018.ebuild 944 BLAKE2B 1941ae5f0b1c35b15d8248fcc1d6dcd953aa3e8426fd8cce299b7eb553e708e83c7a13d9845647c035b42da499477dde6f423e5f3afd0f85df5aefa7dc8aeb3d SHA512 f5bfe96669c19f2b70c7150ad8e1114afe4cc9c52c51e6ac6946ebdccca7492f52fe21631774e857938d798d691265f61ca021406c79673723085c5932eff183
 MISC metadata.xml 443 BLAKE2B a49ab13ae830d7e212d85005e32f535d7a13d60ca39d28a0534b2f3dbd779b0afb39918649c903ad698c02b755e1d80e6dd928cbd6d1c045c0bfd514b7a51eaa SHA512 52ea501a323d32e118edd1e82217a6c92432fef5ccce7fdfa78023e0ef2aa76a8c66a274524be18aa39d26c547c00a5035c3998a74f81e6ba73d1c1458e33e36
diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild
deleted file mode 100644
index dc297a1f0de8..000000000000
--- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20211018 ]] && COMMIT=32d7fa8751f668f9e9a18e4e96df3337b53d2150
-
-inherit java-pkg-2 java-ant-2
-
-DESCRIPTION="Interpolating SMT-solver computing Craig interpolants for various theories"
-HOMEPAGE="http://ultimate.informatik.uni-freiburg.de/smtinterpol/
-	https://github.com/ultimate-pa/smtinterpol/"
-SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${COMMIT}.tar.gz
-	-> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COMMIT}
-
-LICENSE="LGPL-3"
-SLOT="0"
-KEYWORDS="amd64 ~x86"
-
-RDEPEND=">=virtual/jre-1.8"
-DEPEND=">=virtual/jdk-1.8"
-
-PATCHES=(
-	"${FILESDIR}"/${PN}-Version.template-version.patch
-	"${FILESDIR}"/${PN}-build.xml-basename.patch
-)
-
-src_prepare() {
-	default
-	java-pkg-2_src_prepare
-}
-
-src_compile() {
-	eant all
-}
-
-src_install() {
-	java-pkg_dojar dist/*.jar
-	java-pkg_dolauncher ${PN} --jar ${PN}.jar
-
-	einstalldocs
-}