blob: d0a939cc146b6fbb8e35c9c3c006ca59da940e29 (
plain)
1
2
3
4
5
6
7
8
9
10
|
# ChangeLog for sci-mathematics/kodkod
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v 1.1 2012/12/05 10:41:32 gienah Exp $
*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.
|
GitWeb
