Thursday

Wednesday

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
amd64-linuxarm-linuxhppa-hpuxia64-hpuxia64-linuxm68k-mintmips-irixppc-aixppc-macosppc-openbsdsparc-solarissparc64-solarisx64-freebsdx64-macosx64-openbsdx64-solarisx86-cygwinx86-freebsdx86-interixx86-linuxx86-macosx86-netbsdx86-openbsdx86-solarisx86-winnt
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:
23 May 2013
04:12 UTC

Legend
Arches
C E A F P L
Links