summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2022-03-10 04:44:48 +0000
committerSam James <sam@gentoo.org>2022-03-10 21:09:38 +0000
commit269048a4f656738773e3f63bff5dba7881f601e5 (patch)
tree8a84fca0f14142458ff7fe12892c487b1118c553 /sci-mathematics/verit
parentsci-libs/qd: [QA] fix UnusedInherits (autotools) (diff)
downloadgentoo-269048a4f656738773e3f63bff5dba7881f601e5.tar.gz
gentoo-269048a4f656738773e3f63bff5dba7881f601e5.tar.bz2
gentoo-269048a4f656738773e3f63bff5dba7881f601e5.zip
sci-mathematics/verit: [QA] fix UnusedInherits (autotools)
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/verit')
-rw-r--r--sci-mathematics/verit/verit-2021.06.2.ebuild4
1 files changed, 1 insertions, 3 deletions
diff --git a/sci-mathematics/verit/verit-2021.06.2.ebuild b/sci-mathematics/verit/verit-2021.06.2.ebuild
index bd4092215917..d76cb2be23a3 100644
--- a/sci-mathematics/verit/verit-2021.06.2.ebuild
+++ b/sci-mathematics/verit/verit-2021.06.2.ebuild
@@ -1,10 +1,8 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-inherit autotools
-
DESCRIPTION="An open, trustable and efficient SMT-prover"
HOMEPAGE="https://verit.loria.fr/"
SRC_URI="https://verit.loria.fr/download/${PV}/${P}-rmx.tar.gz"