diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
| commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
| tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /dev-ml/menhir | |
| parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) | |
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20211012.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index 9df053ff0a0a..851387d59fb1 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -3,5 +3,5 @@ DIST menhir-20210419.tar.gz 1136536 BLAKE2B 9d95600221aca25983674fa736c35ac0c5f2 DIST menhir-20211012.tar.gz 1154256 BLAKE2B 3bf94c532d06beed2a9e901f0a9f244f1693c8a42c04e604e4a1dcfd53de8dc90af4a49c9a6fd431bd20882c18e6f29e470b41eed2021da5f477c160e8d45bb2 SHA512 e967d01a8e241413461b4e3301b808b014ba6e7c56c62efae57a23482cf1c59b490f8ae810c67927085252e5a83454af5d73651f50637f493d6970c7452d6213 EBUILD menhir-20190924.ebuild 916 BLAKE2B 45ec6767cac293da62b17a81b275aa9d67ab8f42051b907865a22c320fc206ecd1dd82cbc4b5f056554eb08cae6be3220d5e69842fe8a41629964f854cd0cb45 SHA512 559422121c760d392163cd2989c8554c36ee69d31d6f7e9974c3b61f7a39b9b3753cca1d2a0a25ec7d6c7e809ced30fc4d62a45ffe80594067e37faa59f9dce7 EBUILD menhir-20210419-r1.ebuild 538 BLAKE2B b5bd84580867494d3f5de98daecc2bcf27245276f5bf276704b77d480c1270e8be631f42f5319fe6cac68dab94eb9a680139a8b463746421bbbf3656c7d478fd SHA512 3e5b2c919fbb125fe7c5f48a0ab0b786179c8c35388a4a7717af3f4cdbcaac26e9463aa4f909764f235d95a1360ba3c33adbb13ff579adaf21e385728a52f1d8 -EBUILD menhir-20211012.ebuild 543 BLAKE2B 12230575ad22528949d5388f1e57f447334f306df992328b2974b017fedc2c2d1be99978bb2c2d3ab5d9ef5097e73596127f0907a0693a3ba792c63306ea3a3c SHA512 f262ea1825b660624d8716b44aed0b6bec99ea5448dcf29e9c960d9c5b45e168fb904c14b6b724505507aa145546de13582ab207508603696c175ed08de155ec +EBUILD menhir-20211012.ebuild 550 BLAKE2B 1cb9a3bd1e8c4db8141be0209af6a21aa2e70358a11f00040d549061759e324dbadc8f28a41612e0686888e6af1a16e682884a65c0cdf7e1ffc34ee37193a23f SHA512 42cba17aecc3676f46cc3549a1c37ef002868e47d3af90172ea5e32ef2ebbc8263291b9eb22b016387e7c95ff24e60ec61a8ac32457e156732e3052cb017959b MISC metadata.xml 233 BLAKE2B 4654803edd576a76b70115913e26d306cc35a2356ed110fb6420e2dd48aef88ab71ee4f5b0cba71b4c2a7624ef42707d405700abf41748e532b9fe0f6cb3b778 SHA512 5158dd5a94fb8cc401825355cc3bb6f04768c6df59fc60593d99f530e27dc448223091a8af25d0e2f4ece9b8a7bf01f4f19f91321901c8f82f55cb4a190b7a70 diff --git a/dev-ml/menhir/menhir-20211012.ebuild b/dev-ml/menhir/menhir-20211012.ebuild index eee8ab93b315..8c945af6e7bc 100644 --- a/dev-ml/menhir/menhir-20211012.ebuild +++ b/dev-ml/menhir/menhir-20211012.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -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 ~riscv ~x86" IUSE="+ocamlopt" src_install() { |