summaryrefslogtreecommitdiff
path: root/dev-ml/menhir
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-03-17 12:27:31 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-03-17 12:27:31 +0000
commitbcf596975a1c2450e077c80c84017c54198f216c (patch)
tree65f19d38ef25fd66020bd9d2f1f1ffa0391aba6c /dev-ml/menhir
parent2e0bf408961ec1023d3db1fc5d687c233661ac26 (diff)
gentoo auto-resync : 17:03:2023 - 12:27:30
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r--dev-ml/menhir/Manifest2
-rw-r--r--dev-ml/menhir/menhir-20220210.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index e2c99e44c3cf..aaf32e67daa0 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -5,5 +5,5 @@ DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb
EBUILD menhir-20190924.ebuild 917 BLAKE2B 6bedbbd0944abf95b6dabd579319642f469104727ab6cedad5f9a3d41bee1f929a99e3554a344bdf5f063bf90f69220705adbe1d719c5e5dead5cdd23cf56c1f SHA512 788f58cf9373ba01b52481565ab8c11abf62760a17b6d7947fa47a0630f41bf13074c4d939f799fcfb015dcff0671cb52834b21239f7c9216a8e694b66fca9f0
EBUILD menhir-20210419-r1.ebuild 539 BLAKE2B 213464589293893390f0c8a76d25dfb406cc9f0cfcb88b5215d63d3016a8031ddd3f8b5229efacced84d35fdd00f2b61676c105db954dfff7004cee52c46c6d5 SHA512 8a5189ea63412108d7c69d19a9ab530992695244513e0e7cc7421bec5379e78c43f79d697f3c820b99cb66c154bec5d75f44635039bf6033dffd457ba98e7939
EBUILD menhir-20211012.ebuild 551 BLAKE2B d2e3379100b948a5db33cfd6039091d0a702a532f32a555829ffb7cd209a588690c160629fd547d3167bae6e76f4529b208f978c8cbe160e42c0d3a8284e1db3 SHA512 6c62b083f40a5c90d18aa148ac9e976ffc8d24c2fd11d9d70748ec16106892bed42f07e1ce96b40955d47fa9a83967aa5dc70cfa67a2b88da3c55bcecf358078
-EBUILD menhir-20220210.ebuild 547 BLAKE2B 2e101f86625bb7712592ee7d126df465d80ccc839b9b9760cf458445546ed986ecb6e754733b975836b49b7c237b4d1a9a2050eec59267f6d2860cc3a695eeae SHA512 95f11b8231750896507a528768bef61091be540001d04225f5c8e25e67542f93c0f2b674f1d345d6277cb8678ed93cd8229dd532775dab44665200711e266ae3
+EBUILD menhir-20220210.ebuild 546 BLAKE2B ce6e3b06f0b8c330c792740ff6cb2d2a0ba582bbb6701c3fe53ae3459196f723b125ebe0208996655fd6a505d615b0b1196a6cc2f847d1529494b897b2ad7be7 SHA512 64c23c944f144611da02be78f773d44156786b3c44422d31628658eef3cca1581819dc67c5340f3141092fcff8fc7f7f36d25cf8a9fc94962a8274cf912280f9
MISC metadata.xml 233 BLAKE2B 4654803edd576a76b70115913e26d306cc35a2356ed110fb6420e2dd48aef88ab71ee4f5b0cba71b4c2a7624ef42707d405700abf41748e532b9fe0f6cb3b778 SHA512 5158dd5a94fb8cc401825355cc3bb6f04768c6df59fc60593d99f530e27dc448223091a8af25d0e2f4ece9b8a7bf01f4f19f91321901c8f82f55cb4a190b7a70
diff --git a/dev-ml/menhir/menhir-20220210.ebuild b/dev-ml/menhir/menhir-20220210.ebuild
index b89c891e328c..9c9d242694a6 100644
--- a/dev-ml/menhir/menhir-20220210.ebuild
+++ b/dev-ml/menhir/menhir-20220210.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2"
LICENSE="GPL-2 LGPL-2-with-linking-exception"
SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
src_install() {