summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2016-02-16 22:41:53 +1100
committerMark Wright <gienah@gentoo.org>2016-02-16 22:41:53 +1100
commit18059e3fdbc2871cca2aacd82de1811c278afffc (patch)
tree52d625c50a51b96c0147086019a67e7a4076d2ee /sci-mathematics/isabelle
parentsci-mathematics/isabelle: Bump to 2015, check diskspace and memory. (diff)
downloadgentoo-18059e3fdbc2871cca2aacd82de1811c278afffc.tar.gz
gentoo-18059e3fdbc2871cca2aacd82de1811c278afffc.tar.bz2
gentoo-18059e3fdbc2871cca2aacd82de1811c278afffc.zip
sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-libs/coinor-csdp
Package-Manager: portage-2.2.27
Diffstat (limited to 'sci-mathematics/isabelle')
-rw-r--r--sci-mathematics/isabelle/isabelle-2015.ebuild2
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