]> git.pld-linux.org Git - packages/NuSMV.git/commit
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09aa6f5) | patch
- release 11 (by relup.sh) auto/th/NuSMV-2.5.4-11
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Thu, 17 Oct 2019 20:26:04 +0000 (22:26 +0200)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Thu, 17 Oct 2019 20:26:04 +0000 (22:26 +0200)
commitd12eb13c78688a0affcbe24dac70c239d1553077
treea995613fb5043f54f772bd499221b5ecc82c2e17tree | snapshot
parent09aa6f55706f44bed128fb283029a3a5e405dc21commit | diff
- release 11 (by relup.sh)
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.078987 seconds and 4 git commands to generate.