]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12665b0) | patch
- fix building with -Wformat-security
authorJan Rękorajski <baggins@pld-linux.org>
Wed, 14 Nov 2012 14:03:47 +0000 (15:03 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Wed, 14 Nov 2012 14:03:47 +0000 (15:03 +0100)
commitcf278024cf04a85a8f691ede22aa37f1f5290fc3
treec62081e690f55f979b75da0fbe8da4c39362c2c4tree | snapshot
parent12665b0d5fdaa350dd03ead40cc4f4abddb41023commit | diff
- fix building with -Wformat-security
- rel 3
NuSMV.spec diff | blob | blame | history
format-security.patch [new file with mode: 0644] blob
New Symbolic Model Verifier
This page took 0.049632 seconds and 4 git commands to generate.