diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-16 18:25:06 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-16 18:25:06 +0000 |
| commit | 7972abc05090180dcc09d2b16af4020ce1cd1841 (patch) | |
| tree | 3e6e1c7ca86ab7d4e8dc45009f67403fc489ade9 /dev-ml/ppx_pipebang | |
| parent | e4ad5901ca8464ae513bd315a1c0349c2bd0986c (diff) | |
gentoo auto-resync : 16:03:2023 - 18:25:06
Diffstat (limited to 'dev-ml/ppx_pipebang')
| -rw-r--r-- | dev-ml/ppx_pipebang/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index fe09374ffe9d..8de4ec109cb5 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1,5 +1,5 @@ DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a DIST ppx_pipebang-0.15.0.tar.gz 3759 BLAKE2B 6d2a45a4b803a777dcf055acccbea3e54a86458d01032efd01d204cf3426b496b9d91047216c11a424ef5e7ff92fc729d1ef8fb616f807c21f512be52013665a SHA512 778dae2cd6176f9ce18f20486e16f6f76e9137095759b29ddc10fee15d8a21f51fff94245c4a750ae68cd75edbd06b9cad6ff1b56aacb38ac9e6d7d71c0bf701 EBUILD ppx_pipebang-0.14.0.ebuild 624 BLAKE2B ddd9e2886699510e2b122d00131f2cdf3b8fb9b9b634944f072fedd82cd3e290b7f9e08feae52502f8e3a093fc3cbf4a4a62d1772ac8a7714a3798160a7c9b06 SHA512 92ce9b54f3bf734ac5d01150029762b958de9f3f6a78cf79c5426cc9b4d52f38fba10f6dbfdca12a9f51ef0c166272ffe294c167fc8a4f27095bdf5455813136 -EBUILD ppx_pipebang-0.15.0-r1.ebuild 583 BLAKE2B 0dc8537b48784be9c6d8cc817b4bd51e9e5da1e38af009cb93d675527e8770067ef998d930ce045fa0d4350142ba0ffa1fd4daf5853c67076d4f19a90920976c SHA512 17cfbdee393a7a89de1f579ef44daf63efdcf863588493c945db6c8f5ccb168e348ee64790249c133196cd2bb135555602b9ca64ee6429c42537e38684414417 +EBUILD ppx_pipebang-0.15.0-r1.ebuild 582 BLAKE2B 38998099c30316adfba8fa437eddd2ea2db12c00778e10bbd61fd78df78d6d5fbe76fda4c4bd36f2638e258a494d7a41f012b4d36f4c5586caf41ce43e8869d7 SHA512 58514884a10236ec96c04eb0bed68a738459b521f075771d69c12e3d5c508aeb7bb67cab7e7c2621b105089b16859becf11b8c0d6ee55ee01d31ee2e007cb4f9 MISC metadata.xml 426 BLAKE2B d8e84eb6a88f814f66ccc7e13e0e2b7fea790c1d416af04cc9e156736d1b78519ffbb627a31b3489677ceb7894061b4f6d6ae8db7da9ed1032d5b5fa190030f0 SHA512 081f8749c443bd8777e51ba2ccdc3155cf84ddfb0a903e53abbbe48d958b3c1cf8464175a9bef2f378a05bacff451e664afa2ac397cbcabb3f79b1970c970387 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild index 40b93c106d46..82fb8a6d3699 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 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=" |