diff options
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2015.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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 |