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