diff options
Diffstat (limited to 'sci-mathematics/kodkod/ChangeLog')
| -rw-r--r-- | sci-mathematics/kodkod/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/kodkod/ChangeLog b/sci-mathematics/kodkod/ChangeLog new file mode 100644 index 000000000000..d0a939cc146b --- /dev/null +++ b/sci-mathematics/kodkod/ChangeLog @@ -0,0 +1,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. |