]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f97043b) | patch
- rel 8; build fixed auto/th/NuSMV-2.5.4-8
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 12 Dec 2015 21:20:23 +0000 (22:20 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 12 Dec 2015 21:20:23 +0000 (22:20 +0100)
commit17427a1955c8d3e925fdd7d95f506f7fe74907ab
tree11e1925f140f597b7306691d66c01c8922656c20tree | snapshot
parentf97043b28cc997c662a3bf2f7029827b6e929cc9commit | diff
- rel 8; build fixed
NuSMV-build.patch diff | blob | blame | history
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.049418 seconds and 4 git commands to generate.