diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-17 06:26:48 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-17 06:26:48 +0000 |
| commit | 2e0bf408961ec1023d3db1fc5d687c233661ac26 (patch) | |
| tree | 96c6e46af3c356d1fb470acdf72ada482bb293f8 /dev-ml/menhir | |
| parent | 48dbe17904ac8ee6f006488d8f21734b0d253db4 (diff) | |
gentoo auto-resync : 17:03:2023 - 06:26:48
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20220210.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index ffc8db247fd9..e2c99e44c3cf 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 549 BLAKE2B 65fa4f76e6f9dc2a5008142bdd54823a0a1ea62e15bd3d087191f9bd730f36d2cb5a9236bcd1fd4759ac0d31414fa3db845abd57512259d6df9b866b53244172 SHA512 ba9f4f4825902d334f5a73f484b38d14587b918d2f131e986f6211db164bdb7dd7478c8653e4b66d25a849010a0dbad613c8a04921c7962f83cf475a6253816d +EBUILD menhir-20220210.ebuild 547 BLAKE2B 2e101f86625bb7712592ee7d126df465d80ccc839b9b9760cf458445546ed986ecb6e754733b975836b49b7c237b4d1a9a2050eec59267f6d2860cc3a695eeae SHA512 95f11b8231750896507a528768bef61091be540001d04225f5c8e25e67542f93c0f2b674f1d345d6277cb8678ed93cd8229dd532775dab44665200711e266ae3 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 ab7ada0dc49d..b89c891e328c 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() { |