summaryrefslogtreecommitdiff
path: root/dev-ml/dune-configurator
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-03-05 09:25:57 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-03-05 09:25:57 +0000
commit6d691ad5b6239929063441bbd14c489e92e7396e (patch)
treee294f87b1ce66397fee1273bd6c7131aeb586f51 /dev-ml/dune-configurator
parentd99093fb4bb5652015c06274d64083daa2439e4f (diff)
gentoo resync : 05.03.2021
Diffstat (limited to 'dev-ml/dune-configurator')
-rw-r--r--dev-ml/dune-configurator/Manifest2
-rw-r--r--dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest
index dfe3eb6b08e8..d7c241c816e1 100644
--- a/dev-ml/dune-configurator/Manifest
+++ b/dev-ml/dune-configurator/Manifest
@@ -1,5 +1,5 @@
DIST dune-2.7.1.tar.gz 1290915 BLAKE2B 85a2dee92d1ead03b43b80742c291f4470dd9e1d843fdb257754c567e2329c101d11b42573da19de537f0d8591ebdacfcaab1099e0f46bdeebcd8421eb1bbcb2 SHA512 b77d0e207263107365e5a6e94423e8ab4ddbab1f920872d915e4014b7cc69915274b53fe946bb4b29dfe3de2bf5573ab3b2bffb4db8eb50b472e7dfb6cab88b7
DIST dune-2.8.2.tar.gz 1369417 BLAKE2B d846d35675a18abc3ccc57a52574d81a8fb4f082d9935912f035061c1107b47be8752daeb9c49bb2af4877e419a6c8bc30f846db6d773cf5267d3d761272a872 SHA512 fcbe45ea59492517e0868bf1f801c2bd2f3b1b30234e36d789c33e7ee48bd724726beb211697f3820609bbc27923c8c37d7be89dcbd059558014743360f2d0b7
EBUILD dune-configurator-2.7.1.ebuild 612 BLAKE2B 777cb99c81ba218e6c8b366343b7d0a407cbcdc9716cd073367c8c1cc2573b79e11e2e31827e28fef89195db4546273174a8ea6d88dc9dde5c6aa9e342e4c578 SHA512 9c77c244f844686c8b4c558c623196549da678c65ab83e515953ef2c036b8c27a2796c2dbd906c93cc7563d875b78714d8620647471e011c7f104f6aad57753b
-EBUILD dune-configurator-2.8.2-r1.ebuild 3694 BLAKE2B 1d666a53267a98fcc86a3ebdcd73b9d06609c12e19a94d84627a6a9ceaa7cd5dac5ec743cd83c3b92edb918466e655e3ebfa9f42204e714ccb8e9c3f738fec40 SHA512 e51fcb50b56db431ab8f775b8d159e153f791454e78567257daa9e18d668e5c1d41312ced9ec9520f77270d8f4f37ec6ec42067707a9a38702ad059e5c50d206
+EBUILD dune-configurator-2.8.2-r1.ebuild 3693 BLAKE2B 6e16c2ec039f3d0a97e19dfb688bd23c035c4d6fcdf06708fa63ae552337b8cc51520c64db2bea6bd16f9b1ed1ad61c0d075dd8e394acdc97ed824eac332ac74 SHA512 1487a0136c1f0e515c2eb07771ea10e3b281cc878de49c1099a6d357061c2efc3f99706bbd48ca149c8973be2b700eeea35805d3c4896f40274df4ee89803b3f
MISC metadata.xml 412 BLAKE2B 1ac46aa4fe2b5f531debe5c283c36db66a98d2120ceaa389bb2fe5c9c989a8185d0c66df879bfcd65f89e6e304359beadd632e445220a633887237bc9159ad8d SHA512 74df6c8368d4283dbda004fba147e5fa5c82165dc6a7553bf61f49d93ef7283160f6c193505d42f4043e2d3ac3227d4d29ee99827845726f146603088a61d76a
diff --git a/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild
index a237b2f09a07..332128aa98c0 100644
--- a/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild
+++ b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild
@@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}"
LICENSE="MIT"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
IUSE="+ocamlopt test"
RESTRICT="!test? ( test )"