diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-02-13 21:41:11 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-02-13 21:41:11 +0000 |
| commit | c8d60dada2ec8eb48b2d2b290cd6683ccec40e39 (patch) | |
| tree | c44943ee0563a3fa957716de909fed683117fcb9 /dev-ml/menhir | |
| parent | 69051588e2f955485fe5d45d45e616bc60a2de57 (diff) | |
gentoo (valentine's day) resync : 14.02.2021
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20190924.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index dc7b19ec473f..4ba513650359 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 905 BLAKE2B f04704503fd1c2e8f6375774969e53838798c07ff7109ce5773f509ab5e3d236cb6071c28e83f173ed0c843b343e269d7aa1f46f809aac1f32ca78a053dccb6c SHA512 8450caaa0657159ae143769b4d36169367bff66436a8264ce9d45427c03f3ad266fc04034033ae72e17e6ac6684b291aca91f911393fbb4997f6c0babc3596db +EBUILD menhir-20190924.ebuild 912 BLAKE2B 58f8bdd0d35f32f7a07d220cc21ddf2750a23f78cc9fcc950addc1ef8f733b8d70e95715c12034d3d361f54170e0d815e90b0380a1aab5fe1f0386a78ae6a3fe SHA512 721e2a5e346e45d7cf22fa52963709d5d1c3676c2b991e7cb40a64ce96a28572bde75789409f190e48c2e04e7cc320807cf420a7624754adf28505593fc8766e 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 19059e47d0da..3596a5e7c468 100644 --- a/dev-ml/menhir/menhir-20190924.ebuild +++ b/dev-ml/menhir/menhir-20190924.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2019 Gentoo Authors +# Copyright 1999-2021 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 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" IUSE="examples +ocamlopt" RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]" |