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 /games-arcade | |
| 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 'games-arcade')
0 files changed, 0 insertions, 0 deletions