Tuesday

sci-mathematics/spass

05 Dec 2012; Mark Wright (gienah) spass-3.7.ebuild:
EAPI=5 with subslot depends to automatically rebuild spass when isabelle is
updated if the isabelle use flag is enabled.
alphaamd64armhppaia64ppcppc64sparcx86
3.7
sci-mathematics Homepages: ChangeLog Metadata Similar Bugs Forums

Last update:
18 Jun 2013
21:31 UTC

Legend
Arches
C E A F P L
Links