projects / packages / NuSMV.git / search
| 2012-11-18 | Jan Rękorajski | - no parallel make for docs |
commit | commitdiff | tree |
| 2012-11-18 | Jan Rękorajski | - release 4 (by relup.sh) |
commit | commitdiff | tree |
| 2012-11-14 | Jan Rękorajski | - fix building with -Wformat-security |
commit | commitdiff | tree |
| 2012-11-11 | Jan Rękorajski | - rebuild with expat 2.1.0 |
commit | commitdiff | tree |