diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-05-20 22:19:27 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-05-20 22:19:27 +0100 |
| commit | eedf7b9dec39b69b43f7b581da418d37428db449 (patch) | |
| tree | 696a9823b2c3e12a154cf148e2e667fa1e5f633d /dev-ml/dune-configurator | |
| parent | 2ffbfc63824a9e437090fb3c744670dd45369ae0 (diff) | |
gentoo auto-resync : 20:05:2023 - 22:19:26
Diffstat (limited to 'dev-ml/dune-configurator')
| -rw-r--r-- | dev-ml/dune-configurator/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest index 59cd41d9a4ee..43d6d251e220 100644 --- a/dev-ml/dune-configurator/Manifest +++ b/dev-ml/dune-configurator/Manifest @@ -13,5 +13,5 @@ EBUILD dune-configurator-3.0.3-r1.ebuild 939 BLAKE2B 269e8132c92e240ed5e718c4fc3 EBUILD dune-configurator-3.2.0.ebuild 870 BLAKE2B 616ad1e13f0a3a3df44331ad016a0643d2248cf1110d669b224b188043b0831b372dea0f8d09e9fe3132d8da01a57bf945d764edfc748f551722fa2efe5e29ee SHA512 a507fe23d38249ac3dcd2a6e686236cb1266efebe73caef18064a3395a2243febc781c82cfd2f5b708cc553d58427a31c94d45db02f40a6d547eeb236f37d3b7 EBUILD dune-configurator-3.6.1.ebuild 867 BLAKE2B a88bf4a1b65df3d5d4a804074a9ff26f5cdab9509520b7fc98e5d4f5545565bd92090570019b378767f346a381325d3d7350c47e32a9f49efdec5ad5e5040af7 SHA512 3cd522602d6b1bfdfc9dc6ba03d4193cc09ffb00b1fd6d7a6198d5a4563d3f3885b2e5f82073e6812fd1eac61b470c7b5475c05eda686879d09cf5d5cd95486b EBUILD dune-configurator-3.7.0.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 -EBUILD dune-configurator-3.7.1.ebuild 872 BLAKE2B 5e035ad05ddd4b2f13432eff66db204e4136d4eb55688e926c53758bf9df86a85f12b61ea72072ae3eae1859c943ae9494d67aeddf7382463a100902a9479a1f SHA512 cdd1308bf3dcbe1c81232487f0dc91c9934d7827ee663c3d46071bdd0489c8548a7169da6db9434b89bff5e6e36eaca31a3ffad500b63110a7198584f3b2bb65 +EBUILD dune-configurator-3.7.1.ebuild 871 BLAKE2B 227b610d5f16761c951450e27afb484b262984f651e3d143355317b3bf5b40e4acb08c2ac11aad77e819278bf10b2ba5c4b01e5ec27c4a6c1647e198bb89499d SHA512 a29fa91ff1afc457b63f812498e109bf20c4bba1219887294c1d259018e8204c7ee91d5314960e0aa29650da1eecba8d124771f1f35850789015816d556e44c3 MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild b/dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild index 2ef2249b6a21..07cd96f97d34 100644 --- a/dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" RESTRICT="test" |