Tuesday

Monday

sci-mathematics/isabelle

05 Dec 2012; Mark Wright (gienah) isabelle-2011.1-r1.ebuild,
isabelle-2012.ebuild:
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is
updated. It is necessary to remove any non-existing directories from
/etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails,
which causes reverse dependent packages of sci-mathematics/isabelle to fail.
alphaamd64armhppaia64ppcppc64sparcx86
2012
2011.1-r1
2011.1 ~ ~
sci-mathematics Homepages: ChangeLog Metadata Similar Bugs Forums

Last update:
21 May 2013
16:01 UTC

Legend
Arches
C E A F P L
Links