diff options
| author |   Sam James <sam@gentoo.org> | 2022-03-10 04:44:48 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2022-03-10 21:09:38 +0000 |
| commit | 269048a4f656738773e3f63bff5dba7881f601e5 (patch) | |
| tree | 8a84fca0f14142458ff7fe12892c487b1118c553 /sci-mathematics | |
| parent | sci-libs/qd: [QA] fix UnusedInherits (autotools) (diff) | |
| download | gentoo-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')
| -rw-r--r-- | sci-mathematics/verit/verit-2021.06.2.ebuild | 4 |
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" |