]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34c4f2e) | patch
- ncurses rebuild auto/th/NuSMV-2.5.4-6
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 5 Dec 2015 20:01:46 +0000 (21:01 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 5 Dec 2015 20:01:46 +0000 (21:01 +0100)
commit624599d40a4d27e5f77dfd21c6d9bb46ce8ab00d
tree1904363beeee5c19c5815d3d945dc84c2f4e8e77tree | snapshot
parent34c4f2ed8762043eb04ea73af59186a3213c0453commit | diff
- ncurses rebuild
- release 6 (by relup.sh)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.056639 seconds and 4 git commands to generate.