- fix c++ parsing issue
- rel 12

- updated urls (there is 2.6.0 version, too)

- release 11 (by relup.sh)

- add missing headers/defs required for vfork/wait3
- rel 10

- rebuild with readline 7.0
- release 9 (by relup.sh)

- rel 8; build fixed

- release 7 (by relup.sh)

- ncurses rebuild
- release 6 (by relup.sh)

- no parallel make for docs
- rel 5

- release 4 (by relup.sh)

- fix building with -Wformat-security
- rel 3

- rebuild with expat 2.1.0
- release 2 (by relup.sh)

- package librbcdag

Changed files:
    NuSMV.spec -> 1.20

- up to 2.5.4

Changed files:
    NuSMV-build.patch -> 1.6
    NuSMV.spec -> 1.19

- rel 2

Changed files:
    NuSMV.spec -> 1.18

- fixed build and install
- eliminated bashizms

Changed files:
    NuSMV.spec -> 1.17

- updated to 2.5.2
- add bashizms elimination

Changed files:
    NuSMV-build.patch -> 1.5

- show commands run by make

Changed files:
    NuSMV-solvers.patch -> 1.3

- drop libtool file

Changed files:
    NuSMV.spec -> 1.16

- 2.5.2

Changed files:
    NuSMV.spec -> 1.15

- updated to 2.5.0

Changed files:
    NuSMV-solvers.patch -> 1.2
    NuSMV.spec -> 1.14

- updated to 2.5.0
- patching of Makefile.in is intentional, the build system here
  is so bash(ed) and fucked up that regenerating am/ac crap produces
  non-working auto-scripts

Changed files:
    NuSMV-build.patch -> 1.4

- BR: unzip

Changed files:
    NuSMV.spec -> 1.13

- no parallel install

Changed files:
    NuSMV.spec -> 1.12

- setup MiniSat and zChaff solvers for building

Changed files:
    NuSMV-solvers.patch -> 1.1

- rel 3
- fixed tetex/texlive BRs
- added MiniSat and zChaff solvers
- properly build cudd

Changed files:
    NuSMV.spec -> 1.11

- rel 2

Changed files:
    NuSMV.spec -> 1.10

- rel 1
- updated BRs

Changed files:
    NuSMV.spec -> 1.9

- fixed hack

Changed files:
    NuSMV.spec -> 1.8

- 64bit hack

Changed files:
    NuSMV.spec -> 1.7

- removed no longer needed hacks

Changed files:
    NuSMV.spec -> 1.6

- up to 2.4.3

Changed files:
    NuSMV.spec -> 1.5

- as-needed fixes

Changed files:
    NuSMV-build.patch -> 1.3

- added cleanups for 2.4.3

Changed files:
    NuSMV-build.patch -> 1.2

- tabs in preamble

Changed files:
    NuSMV.spec -> 1.4

- converted to UTF-8

Changed files:
    NuSMV.spec -> 1.3

- pl

Changed files:
    NuSMV.spec -> 1.2

- fix build/install problems

Changed files:
    NuSMV-build.patch -> 1.1

- initial revision

Changed files:
    NuSMV.spec -> 1.1