projects / packages / NuSMV.git / commit
| author | sparky <sparky@pld-linux.org> | |
| Sun, 16 May 2010 14:13:30 +0000 (14:13 +0000) | ||
| committer | cvs2git <feedback@pld-linux.org> | |
| Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
| commit | 69f6bee29a176a9b78d1c78fc4041c03c3e5eba1 | |
| tree | 82e143a8c4ffd037d6fc52962e21044cd57f8e96 | tree | snapshot |
| parent | 306c78b8432cadc6840bedd6a0e204379ace1d96 | commit | diff |
| NuSMV.spec | diff | blob | blame | history |