From 1c33e521c460dc40899ce7bc919602b842ce27e2 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 5 Mar 2023 23:52:45 +0000
Subject: gentoo auto-resync : 05:03:2023 - 23:52:45

---
 sci-mathematics/smtinterpol/Manifest                         |  2 +-
 sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild | 12 +++++++-----
 2 files changed, 8 insertions(+), 6 deletions(-)

(limited to 'sci-mathematics/smtinterpol')

diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest
index d56ef5728808..7abdc5ae56b5 100644
--- a/sci-mathematics/smtinterpol/Manifest
+++ b/sci-mathematics/smtinterpol/Manifest
@@ -1,5 +1,5 @@
 AUX smtinterpol-Version.template-version.patch 468 BLAKE2B 38fb0d6e26949f0e56a13ba41a440018e08409bc7527c4241f7c2d1a1824d727aa79f00dc45a854cbcf457caeceb032ec94ffa026234117073de011c89e94ccc SHA512 035dd014bc899f1694523dca5c59e2e80c510b77d3184ba38ec6c01439a555322e2fa3b9f2c8246656fe981685b49eef6370624cc55646222cb13fadf5569e0d
 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.ebuild 853 BLAKE2B c5e2a288242b460a622bb838ebe53554e45e57ab5e44cbdf48b9346f341e8c9ac7aa73cc54b4e4d19f99b875d1e728f019fb143fb167f98acfa18b900f1d280a SHA512 bf1d36a47a30d79a1bd5c7fed7b4b8f053fe7f8b3bc35d838584c5408da764d72b995c07312e6997359ccfc36b55501faa1de0f0192f991df6469cee67d346fd
+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
index 30f4b003bd3f..dc297a1f0de8 100644
--- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild
+++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild
@@ -3,21 +3,23 @@
 
 EAPI=8
 
-H=32d7fa8751f668f9e9a18e4e96df3337b53d2150
+[[ ${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/"
-SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${H}"
+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"
 
-DEPEND=">=virtual/jdk-1.8"
 RDEPEND=">=virtual/jre-1.8"
+DEPEND=">=virtual/jdk-1.8"
 
 PATCHES=(
 	"${FILESDIR}"/${PN}-Version.template-version.patch
-- 
cgit v1.2.3