blob: e7a8113388e8d804afc24981614b485ce407502e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# 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.
|
GitWeb
