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

sci-mathematics/coq: fix eclass usage

Browse Source 
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13706
Signed-off-by: Aaron Bauman <bman@gentoo.org>
This commit is contained in:
Michael Mair-Keimberger
2019-11-19 11:46:51 +01:00
committed by Aaron Bauman
parent 19127b9f71
commit 863a22e55e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/coq/coq-8.9.1-r1.ebuild
View File

@@ -3,7 +3,7 @@
EAPI="7"
inherit eutils multilib
inherit desktop multilib
MY_PV=${PV/_p/pl}
MY_P=${PN}-${MY_PV}