diff options
Diffstat (limited to 'sci-mathematics/spass/ChangeLog')
| -rw-r--r-- | sci-mathematics/spass/ChangeLog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sci-mathematics/spass/ChangeLog b/sci-mathematics/spass/ChangeLog index d5450c934180..15eb26a8abb7 100644 --- a/sci-mathematics/spass/ChangeLog +++ b/sci-mathematics/spass/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/spass # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.5 2012/10/22 10:20:57 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.6 2012/12/05 10:35:35 gienah Exp $ + + 05 Dec 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild: + EAPI=5 with subslot depends to automatically rebuild spass when isabelle is + updated if the isabelle use flag is enabled. 22 Oct 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild: Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z |