From 61686012dfc33cda5b87f4726ffce518c68897dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Sun, 12 Dec 2021 13:13:18 +0100
Subject: [PATCH] sci-mathematics/why3: fix *DEPEND
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/828974
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 ...why3-1.4.0.ebuild => why3-1.4.0-r1.ebuild} | 31 ++++++++++---------
 1 file changed, 17 insertions(+), 14 deletions(-)
 rename sci-mathematics/why3/{why3-1.4.0.ebuild => why3-1.4.0-r1.ebuild} (83%)

diff --git a/sci-mathematics/why3/why3-1.4.0.ebuild b/sci-mathematics/why3/why3-1.4.0-r1.ebuild
similarity index 83%
rename from sci-mathematics/why3/why3-1.4.0.ebuild
rename to sci-mathematics/why3/why3-1.4.0-r1.ebuild
index 42012b020215c..badf49628e946 100644
--- a/sci-mathematics/why3/why3-1.4.0.ebuild
+++ b/sci-mathematics/why3/why3-1.4.0-r1.ebuild
@@ -16,27 +16,30 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip"
 
 RDEPEND="
 	!sci-mathematics/why3-for-spark
-	>=dev-lang/ocaml-4.05.0[ocamlopt?]
-	>=dev-ml/menhir-20151112
-	dev-ml/num
+	>=dev-lang/ocaml-4.05.0:=[ocamlopt?]
+	>=dev-ml/menhir-20151112:=
+	dev-ml/num:=
 	coq? ( >=sci-mathematics/coq-8.6 )
+	emacs? ( app-editors/emacs:* )
+	gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
+	re? ( dev-ml/re:= dev-ml/seq:= )
+	sexp? (
+		dev-ml/ppx_deriving:=[ocamlopt?]
+		dev-ml/ppx_sexp_conv:=[ocamlopt?]
+		dev-ml/sexplib:=[ocamlopt?]
+	)
+	zarith? ( dev-ml/zarith:= )
+	zip? ( dev-ml/camlzip:= )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
 	doc? (
 		dev-python/sphinx
 		dev-python/sphinxcontrib-bibtex
+		media-gfx/graphviz
 		|| ( dev-texlive/texlive-latex dev-tex/latexmk dev-tex/rubber )
 	)
-	emacs? ( app-editors/emacs:* )
-	gtk? ( dev-ml/lablgtk:*[sourceview,ocamlopt?] )
-	re? ( dev-ml/re dev-ml/seq )
-	sexp? (
-		dev-ml/ppx_deriving[ocamlopt?]
-		dev-ml/ppx_sexp_conv[ocamlopt?]
-		dev-ml/sexplib[ocamlopt?]
-	)
-	zarith? ( dev-ml/zarith )
-	zip? ( dev-ml/camlzip )
 "
-DEPEND="${RDEPEND}"
 
 DOCS=( CHANGES.md README.md )