sci-mathematics/kodkod/ChangeLog


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

# 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.6 2015/01/03 12:26:50 mgorny Exp $

  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.