gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3-for-spark: UnusedInherits

Browse Source 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2021-09-18 18:48:56 +02:00
parent 025b7ad08e
commit cf52b47b1c
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
View File

@@ -3,8 +3,6 @@
EAPI=6
inherit autotools
MYP=${PN}-gpl-${PV}-src
DESCRIPTION="Platform for deductive program verification"