diff options
Diffstat (limited to 'sci-mathematics/verit/verit-2021.06.2.ebuild')
| -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" |