]> git.pld-linux.org Git - packages/NuSMV.git/commit - NuSMV.spec
projects / packages / NuSMV.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cefc5ce) | patch
- package librbcdag
authorJan Rękorajski <baggins@pld-linux.org>
Wed, 11 Apr 2012 16:06:12 +0000 (16:06 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit2ef2bad56520f76a2abc30715bb1572439535880
tree666f482eb5650ea29a1a560a5573bbb1bbc52194tree | snapshot
parentcefc5ce40470a1766af8671e54e93a6f2f6b8103commit | diff
- package librbcdag

Changed files:
    NuSMV.spec -> 1.20
NuSMV.spec diff | blob | blame | history
New Symbolic Model Verifier
This page took 0.110275 seconds and 4 git commands to generate.