]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ef2bad) | patch
- rebuild with expat 2.1.0 auto/th/NuSMV-2.5.4-2
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 11 Nov 2012 22:58:33 +0000 (23:58 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 11 Nov 2012 22:58:33 +0000 (23:58 +0100)
commit12665b0d5fdaa350dd03ead40cc4f4abddb41023
treef7fccf21509cfbb99d6b75a4068d9ef036d7d3a8tree | snapshot
parent2ef2bad56520f76a2abc30715bb1572439535880commit | diff
- rebuild with expat 2.1.0
- release 2 (by relup.sh)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.101428 seconds and 4 git commands to generate.