# ChangeLog for sci-mathematics/nusmv
# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.2 2007/02/22 01:29:59 jokey Exp $

  22 Feb 2007; Markus Ullmann <jokey@gentoo.org> ChangeLog:
  Redigest for Manifest2

*nusmv-2.3.1 (02 Apr 2006)

  02 Apr 2006; Robin H. Johnson <robbat2@gentoo.org>
  +files/MiniSat_v1.14-optimizedlib.patch, +metadata.xml,
  +nusmv-2.3.1.ebuild:
  Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild
  may need revisiting when GCC4.2 is closer to final.