From: Mark Wright <gienah@gentoo.org>
Date: Tue, 16 Feb 2016 11:41:53 +0000 (+1100)
Subject: sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-libs... 
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=18059e3fdbc2871cca2aacd82de1811c278afffc;p=gentoo.git

sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-libs/coinor-csdp

Package-Manager: portage-2.2.27
---

diff --git a/sci-mathematics/isabelle/isabelle-2015.ebuild b/sci-mathematics/isabelle/isabelle-2015.ebuild
index d3a588862ae6..2d0f9d9b10a8 100644
--- a/sci-mathematics/isabelle/isabelle-2015.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2015.ebuild
@@ -78,7 +78,7 @@ DEPEND=">=app-shells/bash-3.0:*
 	>=dev-lang/polyml-5.5.2:=[-portable]
 	>=dev-lang/perl-5.8.8-r2
 	dev-lang/swi-prolog
-	sci-mathematics/csdp
+	sci-libs/coinor-csdp
 	=virtual/jdk-1.7*
 	doc? (
 		virtual/latex-base