commit: cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 18 16:48:56 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Sep 18 16:51:25 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf52b47b
sci-mathematics/why3-for-spark: UnusedInherits
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | 2 --
1 file changed, 2 deletions(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
index bb7093a5b79..48d19022057 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
@@ -3,8 +3,6 @@
EAPI=6
-inherit autotools
-
MYP=${PN}-gpl-${PV}-src
DESCRIPTION="Platform for deductive program verification"
