]> git.pld-linux.org Git - packages/NuSMV.git/commit - NuSMV-build.patch
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69f6bee) | patch
- updated to 2.5.0
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 18 May 2010 10:21:10 +0000 (10:21 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit8cbbfcb3a6a087dc44b3820fedc9eb2eba0b7417
tree36660750e92946b40a5528ac7da7fa0c6fc3bd4ctree | snapshot
parent69f6bee29a176a9b78d1c78fc4041c03c3e5eba1commit | diff
- 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
NuSMV-build.patch diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.081253 seconds and 4 git commands to generate.