summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-04-02 14:39:29 +0000
committerAlexis Ballier <aballier@gentoo.org>2015-04-02 14:39:29 +0000
commitb9c1f82391f4ea92db64e7acf5b2b1908c8ff175 (patch)
treed9399d0f0f2567e4fa818f30b25197cb0df5c13a /dev-ml
parentremove old (diff)
downloadhistorical-b9c1f82391f4ea92db64e7acf5b2b1908c8ff175.tar.gz
historical-b9c1f82391f4ea92db64e7acf5b2b1908c8ff175.tar.bz2
historical-b9c1f82391f4ea92db64e7acf5b2b1908c8ff175.zip
bump ocaml dep, bug #527318 comment 3
Signed-off-by: aballier@gentoo.org Package-Manager: portage-2.2.18/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/cmdliner/ChangeLog5
-rw-r--r--dev-ml/cmdliner/Manifest10
-rw-r--r--dev-ml/cmdliner/cmdliner-0.9.7.ebuild4
3 files changed, 11 insertions, 8 deletions
diff --git a/dev-ml/cmdliner/ChangeLog b/dev-ml/cmdliner/ChangeLog
index a410e801247b..de83813d7262 100644
--- a/dev-ml/cmdliner/ChangeLog
+++ b/dev-ml/cmdliner/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for dev-ml/cmdliner
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/cmdliner/ChangeLog,v 1.4 2015/04/02 14:38:05 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/cmdliner/ChangeLog,v 1.5 2015/04/02 14:39:23 aballier Exp $
+
+ 02 Apr 2015; Alexis Ballier <aballier@gentoo.org> cmdliner-0.9.7.ebuild:
+ bump ocaml dep, bug #527318 comment 3
02 Apr 2015; Alexis Ballier <aballier@gentoo.org> -cmdliner-0.9.5.ebuild,
-cmdliner-0.9.6.ebuild:
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest
index 51636f182b60..7fba90cd6695 100644
--- a/dev-ml/cmdliner/Manifest
+++ b/dev-ml/cmdliner/Manifest
@@ -2,13 +2,13 @@
Hash: SHA256
DIST cmdliner-0.9.7.tbz 50343 SHA256 9c19893cffb5d3c3469ee0cce85e3eeeba17d309b33b9ace31aba06f68f0bf7a SHA512 ea1ee186f6072dc836e23a7fcc0756d016c61d4d34ef2416842d1e6e73707b2bbd6aaccd8f57472560dbeab75d3d26159ad8276813882726a11e4530dc6f45e6 WHIRLPOOL 79acdf4807cc5befad01fa1f22a214bc2c6a66dbba4b2b2c041ba72c0b2982d7ca61c632766bfe498987f61d6636a818fae1c96df1bf02e87073c9247b6babf0
-EBUILD cmdliner-0.9.7.ebuild 1097 SHA256 b46b42f5a40b9f69506bf7ef870a0bb01550978c0148ec44e10308f5d05f18a9 SHA512 b1ae67fb86601a9d16f28bd728209b3afc8ae62522a8b87a6541b14c13202b31922d0f1e2d2e71bb3a7e06da7a7aa83dc0d5ed1d0c10595fecd6e972d954ff97 WHIRLPOOL 57f4b379ddceb002380739411132d3d57c173ed8965e715dc268c125893f929c5ebc7c11751ccae87696e73633f148077c57a5d89ee881258caa7c53e743d34b
-MISC ChangeLog 784 SHA256 7aeec99095050f69420fd12e967e802116a2f6c09bd78fb4eec6811b39aff1eb SHA512 d8230007798e14b36bf0a960fdfa98608e5f52dfb70a12d3c69fb530ea6909a9101cefbde30f10e9d44e263513659795978647d6b627a7504fa81eda429bf9b9 WHIRLPOOL cc234c5bc36042e88ed313459f02bc713c52e6369ff9063b455f5559e253330f94818ed21e928e56b2e0a671dbbbe05653dde54a4f8f756147fff95e786d1720
+EBUILD cmdliner-0.9.7.ebuild 1094 SHA256 15bb0666ae3c8c94f1fcde5947acfaa9fcddc40571bcad6d0596efeb97d6e5e7 SHA512 a9dc71f2a4dc846788e620b0c3fd8a8e0687707fe8c9214dc686653e3bd30aa4bec6b897eab013514c1d7d7e2529044e005ce55cd30289f82a05119a09a4a50e WHIRLPOOL acd8f34811343560f1c80711269c91f112e1e6546e4f4ef726c59f945059c97fbfcc92c3df056504b748c0a8600dfe26584563b6a63fab6b990af3c747968412
+MISC ChangeLog 900 SHA256 2509a5388e7908fbc5a8b786df0d232070e174d1fbda506966561711fe61e2a4 SHA512 dbb3fc6097fe7c66026caf1e784dcfe4b20baea1276b8e975b7d8c2937453d27c460afda52d69bf25bbdc04d6c950a53ed1ba9f6db8346921f2fd604b4b0d872 WHIRLPOOL 39bd1e7573409dafca334159c2d8969a280d77c9a3e5ede87f4985cbb78ca73670d05cfa3f8d0b4c5671ed9e829e8cc2a31b696872d63de4d3e6c0efc35f8444
MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
-iEYEAREIAAYFAlUdVE4ACgkQvFcC4BYPU0qoVwCeKZaKu/n2FkwWf9hfjqAcJZci
-78UAoMFWnfS9PDj+686jRjhmAXoO8ziE
-=4XS3
+iEYEAREIAAYFAlUdVJwACgkQvFcC4BYPU0op1gCfdtEa+3zKxjhNpUuzLmevr/Tj
+JeEAoMibnzPpnWIGHVFwq9QX7MlMH9a+
+=XOU1
-----END PGP SIGNATURE-----
diff --git a/dev-ml/cmdliner/cmdliner-0.9.7.ebuild b/dev-ml/cmdliner/cmdliner-0.9.7.ebuild
index 349efe04ccb6..692be4692d8b 100644
--- a/dev-ml/cmdliner/cmdliner-0.9.7.ebuild
+++ b/dev-ml/cmdliner/cmdliner-0.9.7.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/cmdliner/cmdliner-0.9.7.ebuild,v 1.1 2015/02/09 09:49:22 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/cmdliner/cmdliner-0.9.7.ebuild,v 1.2 2015/04/02 14:39:23 aballier Exp $
EAPI=5
@@ -15,7 +15,7 @@ SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE="doc +ocamlopt"
-DEPEND=">=dev-lang/ocaml-3.12:=[ocamlopt?]"
+DEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"
RDEPEND="${DEPEND}"
src_compile() {