summaryrefslogtreecommitdiff
path: root/dev-ml/num
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-04-12 03:41:30 +0100
committerV3n3RiX <venerix@redcorelinux.org>2020-04-12 03:41:30 +0100
commit623ee73d661e5ed8475cb264511f683407d87365 (patch)
tree993eb27c93ec7a2d2d19550300d888fc1fed9e69 /dev-ml/num
parentceeeb463cc1eef97fd62eaee8bf2196ba04bc384 (diff)
gentoo Easter resync : 12.04.2020
Diffstat (limited to 'dev-ml/num')
-rw-r--r--dev-ml/num/Manifest4
-rw-r--r--dev-ml/num/metadata.xml5
-rw-r--r--dev-ml/num/num-1.3.ebuild4
3 files changed, 8 insertions, 5 deletions
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 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
</pkgmetadata>
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}"