Sunday

sci-mathematics/nusmv

NuSMV: new symbolic model checker

*nusmv-2.5.3 (02 Feb 2013)
02 Feb 2013; Patrick Lauer (patrick) +nusmv-2.5.3.ebuild:
Bump
alphaamd64armhppaia64m68kmipsppcppc64s390shsparcx86
2.5.3 ~ ~
2.5.2 ~ ~
2.5.0 ~ ~
2.3.1 ~ ~
sci-mathematics Homepage LGPL-2.1 ChangeLog Metadata Similar Bugs Forums

Last update:
19 May 2013
22:08 UTC

Legend
Arches
C E A F P L
Links