commit: 18059e3fdbc2871cca2aacd82de1811c278afffc
Author: Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 16 11:41:53 2016 +0000
Commit: Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Tue Feb 16 11:41:53 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=18059e3f
sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing
sci-libs/coinor-csdp
Package-Manager: portage-2.2.27
sci-mathematics/isabelle/isabelle-2015.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/isabelle/isabelle-2015.ebuild
b/sci-mathematics/isabelle/isabelle-2015.ebuild
index d3a5888..2d0f9d9 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
