diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-06-03 00:07:26 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-06-03 00:07:26 +0100 |
| commit | a3bb28551df94028000fb72308a9e9baa01458b0 (patch) | |
| tree | 33b14c7bf0dffbd5bb04dbd5b395514ebdda4896 /dev-ml/ppx_base | |
| parent | 6657c680376cedf378fcf328e5fa03ed3b41d580 (diff) | |
gentoo auto-resync : 03:06:2024 - 00:07:25
Diffstat (limited to 'dev-ml/ppx_base')
| -rw-r--r-- | dev-ml/ppx_base/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_base/ppx_base-0.16.0-r1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_base/Manifest b/dev-ml/ppx_base/Manifest index 5655d92e900b..d5fd3ef82f31 100644 --- a/dev-ml/ppx_base/Manifest +++ b/dev-ml/ppx_base/Manifest @@ -3,5 +3,5 @@ DIST ppx_base-0.15.0.tar.gz 2942 BLAKE2B 7e08f445f6e643a5b278bcc661a359a155ee608 DIST ppx_base-0.16.0.tar.gz 2996 BLAKE2B 963c1966caa53fe4e626c111069a199846436e488d7c05a2323e8e726af09a5aaf5df5f2ef81a3736bc2215d8118351a413a3b3b1714361f44c1f0f3febb8af7 SHA512 110b03434f0ef7c82b8728c60ac03f56ec0bc2a292d9cc39bbca0102a976c34fb4a18311a7a1ff6755f7f61c2aa677d0413da36635f98336cc59eef962b8abb3 EBUILD ppx_base-0.14.0.ebuild 708 BLAKE2B fb302cd237abd2ada517794aaafe6b4305fd62cd0a1e098cca6e980cc8a5c6752f557dfea1f91a06fc455abc9ffd199e56c19d3c3c924270cc78115f2d23a362 SHA512 fdce71548e81eb75ca58caa1bb967a2f0320e4386050e0398bd6d35e7d9f454afcae9c1cc03fd860580541535b51415b059ec76b7e3287e17149bc787eeb0caf EBUILD ppx_base-0.15.0.ebuild 524 BLAKE2B 9d238807c8b97265527b2e2ba21ff4b7bf2874f6caefafea6feedd6ec7e6c9099ca8525dcf20881914871d188f30d090d53705e8c729603644ec647d2cc3689a SHA512 bbcf83f90a1e5d1f2efbf73446d6f02dd2970b4074c8cdbd8c0ce09863e734fcf5e6e0b19a6ed51d202d079454243dc662c7401d7eaa7a75af7164fca0108b69 -EBUILD ppx_base-0.16.0-r1.ebuild 612 BLAKE2B 95eee4c24da8adf5bd22cd07b4f995cb9fd2646cf1644e2d831406f6f322452080d98ab3ba5336e8bfad59489fadf1b38a51d9e85c21f1afe3b9fa3f23b6f2f3 SHA512 3b9c7381d1c415f2881705b44484ae0fafeef7257a494bad8d83e188b6c87a27d26d41e832b130afa5f31964d650d87bcba63a4f6599959ac28e898539759852 +EBUILD ppx_base-0.16.0-r1.ebuild 608 BLAKE2B 96a60c522a1a5da14b09ec44200c595f0ac7f153f996259e8df2b6ef4b11cc420fb865080b2bd0caf55184f7e4ca7c61640a35ebe78b0af65a16ffd0b1ccc30a SHA512 e0036f601f62d4c0eab0b6fc3094a096d14a21fbc92ab640d0b7cf0ff95a943298a2e41a0a47a02aa763d1002d1fa6dc3622c802fc89075b77ed8f28c6482db4 MISC metadata.xml 317 BLAKE2B ca0b0a804ac8f6b87e6052b561aa4bba1439d64dd3224d64bb865ef5d32bbf653135bc45beaa9711285627ae7dba077dab90d0eb662a3bb39d22d292bd9c1f80 SHA512 7190a91e9a6e3d3ab84aa0790979c0e9ef41cc830dfcdc1b062e0fb6e0cc0404cc670f2d3b1109f5c32929f2e76c05a21f9d92ad4bf23761b8485648b607057d diff --git a/dev-ml/ppx_base/ppx_base-0.16.0-r1.ebuild b/dev-ml/ppx_base/ppx_base-0.16.0-r1.ebuild index b694c4df4962..b44e16941118 100644 --- a/dev-ml/ppx_base/ppx_base-0.16.0-r1.ebuild +++ b/dev-ml/ppx_base/ppx_base-0.16.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86" IUSE="+ocamlopt" DEPEND=" |