From 6c036ca97598438d7b5bae1ed191278143b0a2e9 Mon Sep 17 00:00:00 2001 From: Mark Wright Date: Wed, 5 Dec 2012 10:41:32 +0000 Subject: 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) --- sci-mathematics/kodkod/ChangeLog | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 sci-mathematics/kodkod/ChangeLog (limited to 'sci-mathematics/kodkod/ChangeLog') 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 +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. -- cgit v1.2.3-65-gdbad