]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d12eb13) | patch
- updated urls (there is 2.6.0 version, too)
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 19 Oct 2019 21:04:27 +0000 (23:04 +0200)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 19 Oct 2019 21:04:27 +0000 (23:04 +0200)
commite2c66126e74f490d1a1fdfbe9eb3f22bf16405b8
treeb70483308e040b3be2b44d39a0de1a9027be7acdtree | snapshot
parentd12eb13c78688a0affcbe24dac70c239d1553077commit | diff
- updated urls (there is 2.6.0 version, too)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.07434 seconds and 4 git commands to generate.