summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2017-11-05 19:37:36 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2017-11-05 19:37:43 +0000
commit6f47ff71e37c5dcb9901ff8a5ab5ca5fa85478eb (patch)
tree6423b708978b4aebd9e7e0bddb5af81718243a5e /dev-ml/facile/facile-1.1.3.ebuild
parentdev-lang/spark: disable zip on why3 (diff)
downloadgentoo-6f47ff71e37c5dcb9901ff8a5ab5ca5fa85478eb.tar.gz
gentoo-6f47ff71e37c5dcb9901ff8a5ab5ca5fa85478eb.tar.bz2
gentoo-6f47ff71e37c5dcb9901ff8a5ab5ca5fa85478eb.zip
dev-ml/facile: stable 1.1.3 for ia64, bug #636624
Package-Manager: Portage-2.3.13, Repoman-2.3.4 RepoMan-Options: --include-arches="ia64"
Diffstat (limited to 'dev-ml/facile/facile-1.1.3.ebuild')
-rw-r--r--dev-ml/facile/facile-1.1.3.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild
index 70b836ea6aa..fe481a8bb68 100644
--- a/dev-ml/facile/facile-1.1.3.ebuild
+++ b/dev-ml/facile/facile-1.1.3.ebuild
@@ -10,7 +10,7 @@ SRC_URI="http://opti.recherche.enac.fr/facile/distrib/${P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0/${PV}"
-KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd"
+KEYWORDS="~alpha ~amd64 ~hppa ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd"
IUSE="+ocamlopt"
RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"