From 27e2f507566c78663293013fdb87f61d82c0a122 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Thu, 16 Feb 2023 12:53:46 +0100 Subject: [PATCH] sci-mathematics/coq-mathcomp: fix deps MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- ...comp-1.14.0-r1.ebuild => coq-mathcomp-1.14.0-r2.ebuild} | 7 +++++-- ...athcomp-1.16.0.ebuild => coq-mathcomp-1.15.0-r1.ebuild} | 5 ++++- ...athcomp-1.15.0.ebuild => coq-mathcomp-1.16.0-r1.ebuild} | 7 +++++-- 3 files changed, 14 insertions(+), 5 deletions(-) rename sci-mathematics/coq-mathcomp/{coq-mathcomp-1.14.0-r1.ebuild => coq-mathcomp-1.14.0-r2.ebuild} (80%) rename sci-mathematics/coq-mathcomp/{coq-mathcomp-1.16.0.ebuild => coq-mathcomp-1.15.0-r1.ebuild} (87%) rename sci-mathematics/coq-mathcomp/{coq-mathcomp-1.15.0.ebuild => coq-mathcomp-1.16.0-r1.ebuild} (80%) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild similarity index 80% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild index fcf362d97248a..169688aba6cc4 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -13,7 +13,10 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.13.0:= =sci-mathematics/coq-8.13.0:= make jobserver unavailable diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild similarity index 87% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild index a8e1792a11d6d..fec89b781e85a 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild @@ -13,5 +13,8 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.16.0:=" +RDEPEND=" + dev-lang/ocaml:= + >=sci-mathematics/coq-8.16.0:= +" DEPEND="${RDEPEND}" diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild similarity index 80% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild index 5e41229a4f4f2..fec89b781e85a 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -13,5 +13,8 @@ LICENSE="CeCILL-B" SLOT="0/${PV}" KEYWORDS="~amd64" -RDEPEND=">=sci-mathematics/coq-8.16.0:=" +RDEPEND=" + dev-lang/ocaml:= + >=sci-mathematics/coq-8.16.0:= +" DEPEND="${RDEPEND}"