summaryrefslogtreecommitdiff
path: root/dev-ml/facile
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2019-03-19 11:37:34 +0000
committerV3n3RiX <venerix@redcorelinux.org>2019-03-19 11:37:34 +0000
commitb7b97785ebbb2f11d24d14dab8b81ed274f4ce6a (patch)
tree9fd110f9fc996e8a4213eeda994a8c112491b86d /dev-ml/facile
parent066d27181e9a797ad9f8fc43b49fc9a10ff2f707 (diff)
gentoo resync : 19.03.2019
Diffstat (limited to 'dev-ml/facile')
-rw-r--r--dev-ml/facile/Manifest2
-rw-r--r--dev-ml/facile/facile-1.1.3.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
index f22e425c6381..e588f58ffe97 100644
--- a/dev-ml/facile/Manifest
+++ b/dev-ml/facile/Manifest
@@ -1,4 +1,4 @@
AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0
DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346
-EBUILD facile-1.1.3.ebuild 1382 BLAKE2B 57bc5e307ef4d3f1e2739a4b424bb5219305652b723a437af6223af852059f1555497b05219b971376578578e85dab3ca55e9bed89eceef7eab83105a325f71c SHA512 c6c7efef6229133f5dd486f15db813ba449fad79fabfc0a51f0c9bb913ba58e6efedfb1fe8933545086605bc5b5477c82e4c2af46db60a90e877d52da6a2893a
+EBUILD facile-1.1.3.ebuild 1386 BLAKE2B a97641878592496d17132f0c90f73daaff1f1f4ec17f0b89bc1cc66502b54c68c702fa2a01c2aa7a5e6d1b094bba4def1f24c7bc52d36c27201421466fa4148a SHA512 71f63982de22c76204fe15d83e38313490c9aaf47d2e8ce098ccbfa5d1d9d7c44410af8c53a541e653ded68b09547938e4eca80d42c8fbcf8d33349375757ced
MISC metadata.xml 357 BLAKE2B d06a43a03a328a01985ccb6d8f3c374215a678da2c7019fae195f49d86a55245cbd3fdd4b43641b0b1b92000a9546600451985421551bc1e10239cc4716c9d57 SHA512 8491e3bed96f117fe721e3e6d261d75480e0b183c06ec21d606ccf659263dc8c2642b1fd30f89aec63a2e70a725f71985119117c1c11fa3fe8b49b7c31db969c
diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild
index 3027374ee74d..2eb0fbb4b30b 100644
--- a/dev-ml/facile/facile-1.1.3.ebuild
+++ b/dev-ml/facile/facile-1.1.3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -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 ~arm64 hppa ia64 ppc ppc64 ~sparc x86 ~x86-fbsd"
IUSE="+ocamlopt"
RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"