diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2017-11-05 19:37:36 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2017-11-05 19:37:43 +0000 |
| commit | 6f47ff71e37c5dcb9901ff8a5ab5ca5fa85478eb (patch) | |
| tree | 6423b708978b4aebd9e7e0bddb5af81718243a5e /dev-ml/facile | |
| parent | dev-lang/spark: disable zip on why3 (diff) | |
| download | gentoo-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')
| -rw-r--r-- | dev-ml/facile/facile-1.1.3.ebuild | 2 |
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 70b836ea6aad..fe481a8bb684 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?]" |