diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-16 01:51:50 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-16 01:51:50 +0100 |
| commit | 6144cd2e90f8e3623912112050c8d2025de44f0a (patch) | |
| tree | bf6abe7c75cda0f602c2d522c905278a620a5cbf /sci-mathematics/smtinterpol | |
| parent | ca144cbf71b2faf598564847378fa40a0090d67c (diff) | |
gentoo auto-resync : 16:10:2022 - 01:51:50
Diffstat (limited to 'sci-mathematics/smtinterpol')
| -rw-r--r-- | sci-mathematics/smtinterpol/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest index d30be41e1aa2..95f305e14306 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 861 BLAKE2B a6c5d7a1285e65ea87f6a7ffc046dc134c16344c228bd41c9ba76160d811fda8323ee8cea698bc50321b345f65060b643639e3e68beac07e5730ba9559b8feab SHA512 64777d2f76f5013317069f6c0bf049c181353116e05eed91aa2684749c79b77f2415abca6b57647c4ee2ab3daad799b39bc7b3a3237e2ff463b42340ee05291d +EBUILD smtinterpol-2.5_p20211018.ebuild 854 BLAKE2B 4f29b63e262a9eac71cfc0054cdad297a96dfbc3e51bcc7de8ef5811405830cd181e559ece3a800259cdf07380eb1f2162cd89afd7bf7f53b826870922897d3d SHA512 48f3cf92c85ff530829cd153519a90031de5a62c5634cad68c608dd7ae5b4088bde34f8768670d66bc6ed3bdd6d0f18b58cb83f593c0894df892d5e9679c050b 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 495a57f37578..7ae391eb2ff8 100644 --- a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild +++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -7,7 +7,7 @@ H=32d7fa8751f668f9e9a18e4e96df3337b53d2150 inherit java-pkg-2 java-ant-2 -DESCRIPTION="Interpolating SMT-solver that can compute Craig interpolants for various theories" +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}" |