diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:21 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:21 +0000 |
| commit | f3f8d8edfb52c90b1bb759330cf89584b49878c5 (patch) | |
| tree | e796a97ab5b895228b414743c0bcfd5f6d4e3ca6 /sci-mathematics/nusmv/ChangeLog | |
| parent | Typo fix, bug #116929 (diff) | |
| download | historical-f3f8d8edfb52c90b1bb759330cf89584b49878c5.tar.gz historical-f3f8d8edfb52c90b1bb759330cf89584b49878c5.tar.bz2 historical-f3f8d8edfb52c90b1bb759330cf89584b49878c5.zip | |
Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild may need revisiting when GCC4.2 is closer to final.
Package-Manager: portage-2.1_pre7-r3
Diffstat (limited to 'sci-mathematics/nusmv/ChangeLog')
| -rw-r--r-- | sci-mathematics/nusmv/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sci-mathematics/nusmv/ChangeLog b/sci-mathematics/nusmv/ChangeLog new file mode 100644 index 000000000000..43793e8e5ddd --- /dev/null +++ b/sci-mathematics/nusmv/ChangeLog @@ -0,0 +1,12 @@ +# ChangeLog for sci-mathematics/nusmv +# Copyright 1999-2006 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.1 2006/04/02 11:40:21 robbat2 Exp $ + +*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. + |