sci-mathematics/nusmv
NuSMV: new symbolic model checker
Screenshots
View
DownloadChangeLog
# ChangeLog for sci-mathematics/nusmv
# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.4 2008/08/06 20:39:23 ulm Exp $
06 Aug 2008; Ulrich Mueller <ulm@gentoo.org> metadata.xml:
Add USE flag description to metadata wrt GLEP 56.
18 May 2008; Markus Dittrich <markusle@gentoo.org> nusmv-2.3.1.ebuild:
Switched virtual/tetex -> virtual/latex-base (see bug #222501).
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.
# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.4 2008/08/06 20:39:23 ulm Exp $
06 Aug 2008; Ulrich Mueller <ulm@gentoo.org> metadata.xml:
Add USE flag description to metadata wrt GLEP 56.
18 May 2008; Markus Dittrich <markusle@gentoo.org> nusmv-2.3.1.ebuild:
Switched virtual/tetex -> virtual/latex-base (see bug #222501).
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.