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

Package-Manager: portage-2.2.27

diff --git a/sci-mathematics/isabelle/isabelle-2015.ebuild b/sci-mathematics/isabelle/isabelle-2015.ebuild
index d3a588862ae64cc3937110a7d26495f31c828b4c..2d0f9d9b10a8c89b5521027bbeb0f087fa773c3c 100644 (file)
--- 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