Skip to content

Commit

Permalink
sci-mathematics/coq: x86 stable wrt bug #553322
Browse files Browse the repository at this point in the history
Package-Manager: portage-2.2.20.1
RepoMan-Options: --include-arches="x86"
  • Loading branch information
asarubbo committed Nov 11, 2015
1 parent 9075bb3 commit 377000e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sci-mathematics/coq/coq-8.4_p5.ebuild
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,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="
Expand Down

0 comments on commit 377000e

Please sign in to comment.