diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:41:32 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:41:32 +0000 |
| commit | 6c036ca97598438d7b5bae1ed191278143b0a2e9 (patch) | |
| tree | 27c13f9082ebca55f9fd454e0ebfeaca7a0c4d12 /sci-mathematics/kodkod/ChangeLog | |
| parent | Mask PYTHON_TARGETS for pypy & jython. (diff) | |
| download | gentoo-2-6c036ca97598438d7b5bae1ed191278143b0a2e9.tar.gz gentoo-2-6c036ca97598438d7b5bae1ed191278143b0a2e9.tar.bz2 gentoo-2-6c036ca97598438d7b5bae1ed191278143b0a2e9.zip | |
Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-mathematics/isabelle nitpick couter-example checking.
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
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. |