diff options
Diffstat (limited to 'sci-mathematics/kodkod/ChangeLog-2015')
-rw-r--r-- | sci-mathematics/kodkod/ChangeLog-2015 | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/sci-mathematics/kodkod/ChangeLog-2015 b/sci-mathematics/kodkod/ChangeLog-2015 new file mode 100644 index 00000000..032b3722 --- /dev/null +++ b/sci-mathematics/kodkod/ChangeLog-2015 @@ -0,0 +1,37 @@ +# ChangeLog for sci-mathematics/kodkod +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v 1.7 2015/06/28 19:31:40 jlec Exp $ + + 28 Jun 2015; Justin Lecher <jlec@gentoo.org> kodkod-1.5.2.ebuild, + metadata.xml: + Add missing eclass + + 03 Jan 2015; Michał Górny <mgorny@gentoo.org> kodkod-1.5.2.ebuild: + Use python-any-r1 for waf. + + 22 Jun 2014; Mark Wright <gienah@gentoo.org> kodkod-1.5.2.ebuild: + Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify + the classpath to javadoc. Use the javadoc -Xdoclint:none option for java 1.8 + and later versions. + + 11 Feb 2014; Mark Wright <gienah@gentoo.org> kodkod-1.5.2.ebuild: + Fix bug 458462 - sci-mathematics/kodkod-1.5.2: fails to build with + JAVA_PKG_STRICT, fix by me. Remove dosym which was a workaround to EAPI 5 + subslot depends that has since been fixed in the java eclasses. + + 02 Feb 2013; Mark Wright <gienah@gentoo.org> + +files/kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch, + kodkod-1.5.2.ebuild: + Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method + Selection - by removing an overloaded method to allow the dumb javac to + compile it. + + 20 Jan 2013; Diego E. Pettenò <flameeyes@gentoo.org> metadata.xml: + Fix invalid metadata. + +*kodkod-1.5.2 (05 Dec 2012) + + 05 Dec 2012; Mark Wright <gienah@gentoo.org> +kodkod-1.5.2.ebuild, + +metadata.xml: + Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci- + mathematics/isabelle nitpick couter-example checking. |