1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
# ChangeLog for sci-mathematics/nusmv
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/nusmv/ChangeLog,v 1.13 2012/04/25 17:08:40 jlec Exp $
25 Apr 2012; Justin Lecher <jlec@gentoo.org> nusmv-2.3.1.ebuild,
nusmv-2.5.0.ebuild, nusmv-2.5.2.ebuild, metadata.xml:
Drop unnessecary die
05 Oct 2011; Alexis Ballier <aballier@gentoo.org> nusmv-2.3.1.ebuild,
nusmv-2.5.0.ebuild, nusmv-2.5.2.ebuild:
remove ptex dep as it is going away
*nusmv-2.5.2 (01 Jan 2011)
01 Jan 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org> +nusmv-2.5.2.ebuild:
Version bump.
13 Jul 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+files/cudd-no-pentium4.patch, nusmv-2.5.0.ebuild:
Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425
reported by Christopher Head <chris2k01@hotmail.com>. Also, added code to
use correct Makefile for 64-bit systems.
*nusmv-2.5.0 (22 Jun 2010)
22 Jun 2010; Pawel Hajdan jr <phajdan.jr@gentoo.org>
+files/MiniSat_v1.14_gcc41.patch, +nusmv-2.5.0.ebuild:
Version bump, bug #311903.
13 Jan 2010; Sébastien Fabbro <bicatali@gentoo.org> nusmv-2.3.1.ebuild:
Added VARTEXFONTS, bug #223077
26 Dec 2009; Peter Volkov <pva@gentoo.org> nusmv-2.3.1.ebuild:
virtual/ghostscript->app-text/ghostscript-gpl: ghostscript-gpl is the only
implementation left in the tree.
23 Sep 2009; Patrick Lauer <patrick@gentoo.org> nusmv-2.3.1.ebuild:
Remove virtual/libc
30 May 2009; Ulrich Mueller <ulm@gentoo.org> nusmv-2.3.1.ebuild:
Remove app-text/tetex from dependencies, bug 227443.
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.
|
GitWeb
