diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-09-18 18:48:56 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-09-18 18:51:25 +0200 |
| commit | cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8 (patch) | |
| tree | d9126e6d2a76faf03a3eb19e48dafc6bcae362d8 /sci-mathematics | |
| parent | net-mail/courier-imap: UnusedInherits (diff) | |
| download | gentoo-cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8.tar.gz gentoo-cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8.tar.bz2 gentoo-cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8.zip | |
sci-mathematics/why3-for-spark: UnusedInherits
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | 2 |
1 files changed, 0 insertions, 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 bb7093a5b79d..48d190220579 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" |