# ChangeLog for sci-mathematics/kodkod
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v 1.3 2013/02/02 13:22:28 gienah Exp $

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.