From 623ee73d661e5ed8475cb264511f683407d87365 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 12 Apr 2020 03:41:30 +0100 Subject: gentoo Easter resync : 12.04.2020 --- dev-ml/num/Manifest | 4 ++-- dev-ml/num/metadata.xml | 5 ++++- dev-ml/num/num-1.3.ebuild | 4 ++-- 3 files changed, 8 insertions(+), 5 deletions(-) (limited to 'dev-ml/num') diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest index a685fc31bdea..fa7caef20812 100644 --- a/dev-ml/num/Manifest +++ b/dev-ml/num/Manifest @@ -1,3 +1,3 @@ DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031 -EBUILD num-1.3.ebuild 614 BLAKE2B 27b3a99d17ce5efe055d9f418b01a9e37379a2637f1e8dadf85665059b6ba83478bfa45d4db61eedff3452770d4c2067fca8c5a2148486506afe95a6d4d638c4 SHA512 e3e66279346c7d24c0cf0d31e7489b1fb34788008abcc6d4500a9693e26d277ecadf4edb7970c486e004133a18a6f68fd1d31082db55104bc250d8e84b1f39de -MISC metadata.xml 170 BLAKE2B 596d3ac9dabce24bba0cde2371d477e82ca5f9200bfeda69429558c79d4b59db07d8cb368f7eac09605bd132564778c12a20934e61cfede0197b9ebf69a3b5ca SHA512 ad26626abac376b8d9cb5b3125c4361c443524ef85ec99212acd972ca75190b15fe2f701c00c5110c74efc2171db92e41d580786ae2356bf1248e7808b6c67b8 +EBUILD num-1.3.ebuild 634 BLAKE2B be8b0e904f78cbfef4f69a21a6370686a50293e682c73d96a1f7f6c5f619db37e4c6221f8bb3da7326d0dbf60e4a1ad0d3a0b61663f8f26153ee84822334bab8 SHA512 7a1a486b11c4bba28c83ca76ffacd793eee9ba144ee41bb3dd036687b019d77ba7080f5917e1e91e6a9672299921474c5280216fefdb14624d1616dff0f33a55 +MISC metadata.xml 247 BLAKE2B ca08677c4c0af66af431abe578122a2ea0278f7ffabab245eec806167a6226c65f97e9826d64fc4b82eb14b6200cd1e3a31a5b4999e18aac41a4f9af43d708d6 SHA512 fff6c25e644477aaa35b838e10c44ca8eae9824ef8f19795e31201db40c10068f0216dec38deb0ba80782155b43fd1d72fb888cb825eaabacc3bd1ec0d18f3ca diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml index bca0744b282e..d0e866f244f8 100644 --- a/dev-ml/num/metadata.xml +++ b/dev-ml/num/metadata.xml @@ -1,5 +1,8 @@ - + + tupone@gentoo.org + Tupone Alfredo + diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild index e8cffd40ddb3..0f68ec7d75bf 100644 --- a/dev-ml/num/num-1.3.ebuild +++ b/dev-ml/num/num-1.3.ebuild @@ -14,8 +14,8 @@ SLOT="0" KEYWORDS="~amd64 ~x86" IUSE="" -DEPEND=">=dev-lang/ocaml-4.09.0 - >=dev-ml/findlib-1.8.1" +DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt] + >=dev-ml/findlib-1.8.1[ocamlopt]" RDEPEND="${DEPEND}" BDEPEND="${DEPEND}" -- cgit v1.2.3