sci-mathematics/coq: fix eclass usage
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Tue, 19 Nov 2019 10:46:51 +0000 (11:46 +0100)
committerAaron Bauman <bman@gentoo.org>
Sun, 24 Nov 2019 00:43:44 +0000 (19:43 -0500)
commit863a22e55e820cde02b6d8529d355d7094676f28
tree82899064abf5ca851791b77ca2d019e03ae4f96c
parent19127b9f710ef29d9be37eabf1f12f669ef33e71
sci-mathematics/coq: fix eclass usage

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>
sci-mathematics/coq/coq-8.9.1-r1.ebuild