diff options
| author |   Mikle Kolyada <zlogene@gentoo.org> | 2019-11-04 17:38:22 +0300 |
|---|---|---|
| committer | Mikle Kolyada <zlogene@gentoo.org> | 2019-11-04 17:38:22 +0300 |
| commit | 5dffc8ac72841d4f802ad6a887b33dfa27be0448 (patch) | |
| tree | dba6ac57be2028daa71a4ef3811c744db0157e04 /sci-mathematics/coq | |
| parent | sci-visualization/epix: migrate from dev-tex/xcolor (diff) | |
| download | gentoo-5dffc8ac72841d4f802ad6a887b33dfa27be0448.tar.gz gentoo-5dffc8ac72841d4f802ad6a887b33dfa27be0448.tar.bz2 gentoo-5dffc8ac72841d4f802ad6a887b33dfa27be0448.zip | |
sci-mathematics/coq: forward keywords again (forgotten)
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/coq-8.6.1-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq/coq-8.6.1-r1.ebuild b/sci-mathematics/coq/coq-8.6.1-r1.ebuild index 2c9f5df91416..955cc400bc20 100644 --- a/sci-mathematics/coq/coq-8.6.1-r1.ebuild +++ b/sci-mathematics/coq/coq-8.6.1-r1.ebuild @@ -14,7 +14,7 @@ SRC_URI="http://${PN}.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="amd64 ppc x86" IUSE="gtk debug +ocamlopt doc camlp5" RDEPEND=" |