From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 5A22C1382AC for ; Tue, 21 Jun 2016 20:33:00 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 85DEEE0893; Tue, 21 Jun 2016 20:32:59 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id EC5B8E0893 for ; Tue, 21 Jun 2016 20:32:58 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 2F017340821 for ; Tue, 21 Jun 2016 20:32:58 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id EACD7241D for ; Tue, 21 Jun 2016 20:32:53 +0000 (UTC) From: "Michał Górny" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Michał Górny" Message-ID: <1466541165.84224f26f9c893299a487431e2ee005b1795f01c.mgorny@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/coq/coq-8.4_p5.ebuild sci-mathematics/coq/coq-8.4_p6.ebuild X-VCS-Directories: sci-mathematics/coq/ X-VCS-Committer: mgorny X-VCS-Committer-Name: Michał Górny X-VCS-Revision: 84224f26f9c893299a487431e2ee005b1795f01c X-VCS-Branch: master Date: Tue, 21 Jun 2016 20:32:53 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 70818659-c421-4b0a-a1ee-02c151486fc9 X-Archives-Hash: 8acd102f4065af885a4064e99c514d7a commit: 84224f26f9c893299a487431e2ee005b1795f01c Author: Michał Górny gentoo org> AuthorDate: Tue Jun 21 20:24:28 2016 +0000 Commit: Michał Górny gentoo org> CommitDate: Tue Jun 21 20:32:45 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=84224f26 sci-mathematics/coq: Remove := from || dep, #586304 sci-mathematics/coq/coq-8.4_p5.ebuild | 4 ++-- sci-mathematics/coq/coq-8.4_p6.ebuild | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/sci-mathematics/coq/coq-8.4_p5.ebuild b/sci-mathematics/coq/coq-8.4_p5.ebuild index 707a434..2cef574 100644 --- a/sci-mathematics/coq/coq-8.4_p5.ebuild +++ b/sci-mathematics/coq/coq-8.4_p5.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -21,7 +21,7 @@ IUSE="gtk debug +ocamlopt doc camlp5" RDEPEND=" >=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) - !camlp5? ( || ( dev-ml/camlp4:= =dev-ml/lablgtk-2.10.1:=[ocamlopt?] )" DEPEND="${RDEPEND} doc? ( diff --git a/sci-mathematics/coq/coq-8.4_p6.ebuild b/sci-mathematics/coq/coq-8.4_p6.ebuild index be183f1..f2ad391 100644 --- a/sci-mathematics/coq/coq-8.4_p6.ebuild +++ b/sci-mathematics/coq/coq-8.4_p6.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -21,7 +21,7 @@ IUSE="gtk debug +ocamlopt doc camlp5" RDEPEND=" >=dev-lang/ocaml-3.11.2:=[ocamlopt?] camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] ) - !camlp5? ( || ( dev-ml/camlp4:= =dev-ml/lablgtk-2.10.1:=[ocamlopt?] )" DEPEND="${RDEPEND} doc? (