| author | Paweł Hajdan <phajdan.jr@gentoo.org> | |
| Tue, 13 Jul 2010 02:22:15 +0000 (02:22 +0000) | ||
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | |
| Tue, 13 Jul 2010 02:22:15 +0000 (02:22 +0000) | ||
| commit | f36cc11eed21e111c7be2e00150c92422cd23675 | |
| tree | 26242ca38c3ece71a2c56915dc625489fb1c19f0 | tree | snapshot |
| parent | 6a49bd885725e9f79d0712f030640f93c88580dd | commit | diff |
| sci-mathematics/nusmv/ChangeLog | diff | blob | history | |
| sci-mathematics/nusmv/Manifest | diff | blob | history | |
| sci-mathematics/nusmv/files/cudd-no-pentium4.patch | [new file with mode: 0644] | blob |
| sci-mathematics/nusmv/nusmv-2.5.0.ebuild | diff | blob | history |