]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17427a1) | patch
- rebuild with readline 7.0 auto/th/NuSMV-2.5.4-9
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 18 Oct 2016 06:04:56 +0000 (08:04 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Tue, 18 Oct 2016 06:04:56 +0000 (08:04 +0200)
commitd3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04
tree74ad1ab174d61134b84b7f9eb32db70878c14114tree | snapshot
parent17427a1955c8d3e925fdd7d95f506f7fe74907abcommit | diff
- rebuild with readline 7.0
- release 9 (by relup.sh)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.121066 seconds and 4 git commands to generate.