summaryrefslogtreecommitdiff
path: root/dev-ml/menhir
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-03-05 09:25:57 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-03-05 09:25:57 +0000
commit6d691ad5b6239929063441bbd14c489e92e7396e (patch)
treee294f87b1ce66397fee1273bd6c7131aeb586f51 /dev-ml/menhir
parentd99093fb4bb5652015c06274d64083daa2439e4f (diff)
gentoo resync : 05.03.2021
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r--dev-ml/menhir/Manifest2
-rw-r--r--dev-ml/menhir/menhir-20190924.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index e10bae852d4e..94c2b892d7b3 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1,5 +1,5 @@
DIST menhir-20181006.tar.gz 6665871 BLAKE2B 98820922c3dc9ffa27e0f9432d683aae3a1115cd5ba7d1114c57730c7dc679a918c14ef692d1287ca851c62d32aca50a034de1d4c6d4049ddf80e4694bbbae3e SHA512 a838c0b6411345ae64e21f8649367541a7e137af7e552e1dcc3da0c2212813de3d0c359dbd863d0130be897148063b406e0757fd2f18b42d43d3964963ebd4c7
DIST menhir-20190924.tar.gz 2491000 BLAKE2B 463825aa0f3ea41e49d9c130226bc8bbfc2b96650debf8d79422a90b93338ead58e01aa0c34b2161e4383d1c9a8d77ab58bb1da78e3187ed60b02e13f7742844 SHA512 8036eb8a65f123ceadd21739d88dafca54a2338fc168922a1301a9fbe709ac5e8e7214d95d8114f3798c15f458822e64dcedb94f7fff18ab6f9ccfb6de462e46
EBUILD menhir-20181006.ebuild 890 BLAKE2B d9bdda28d00ccc0f528d6f7a43abc8b9d394073b5592fef9857b2c06092a6d8f0f7de49bea4b974379b0d789e4de044f456f65984f2575665cb4e2296379525d SHA512 420da808f42896ece95cf6b9487140a3509e1a60cd6c4f4fabd9fadc0c894d3cb054e51e52d6aba16d52ae1af6832dc461eec8fba65e0db12edfccec00d0fb2e
-EBUILD menhir-20190924.ebuild 910 BLAKE2B 90ebf87291821ff49a24b54a16f71d521076f93a712e56406211cf8a4e56823b88c59387a59eb0665666cd3bcf55f40300a29860f5fd8bb84b01ccc4ac17710f SHA512 a05317f5a5667ff92915e24839ec19e0f58c1b39207564fcf78cdea6165da6a80728911a9c35bd0ecbbb0bb4b3e5d413c5ecb3f08f9fca7c0ec71b89a896fc83
+EBUILD menhir-20190924.ebuild 909 BLAKE2B 2f6faf021c0c8c65adaa10e73e8a59652720c8211f57f8b73f3e9bfb9e8fa3d309798e91d842c2032fc9e24875d20bcc34eb04fa00e48efcebfb317075d64b06 SHA512 554c02b8ea327d753f4919049d624b17b57b65831b02107cc6028622b0948c3d30b31efecf887ef60164dcf9299937e671f60190a8516e094ea5b0e3324b74e9
MISC metadata.xml 232 BLAKE2B 502ab2778b7b5d1ac9441b71cab7ff412fbb5663747f4abfc59fb45559185dda510683f1e8ffea5db8f6b31874ca209fde5c524e3526cb125931ee1feb7ee68d SHA512 7ac25a89f6b48a8e858fd1e9f4d3e938a82a4591f21249d81e8d9f1d028c5f427a3669933a932c0e8a1dc7455106696e3bfba3573976edcd8c7ec89368dacde2
diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild
index 7d745a8d0b22..c925dc236290 100644
--- a/dev-ml/menhir/menhir-20190924.ebuild
+++ b/dev-ml/menhir/menhir-20190924.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz"
LICENSE="GPL-2 LGPL-2-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
IUSE="examples +ocamlopt"
RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"