diff options
| author |   Mark Wright <gienah@gentoo.org> | 2016-02-16 22:41:53 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2016-02-16 22:41:53 +1100 |
| commit | 18059e3fdbc2871cca2aacd82de1811c278afffc (patch) | |
| tree | 52d625c50a51b96c0147086019a67e7a4076d2ee /sci-mathematics | |
| parent | sci-mathematics/isabelle: Bump to 2015, check diskspace and memory. (diff) | |
| download | gentoo-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')
| -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 |