(TXT) NuSMV-static-2.5.2-2.i486.rpm
 (TXT) NuSMV-static-2.5.2-2.i686.rpm
 (TXT) NuSMV-static-2.5.2-2.x86_64.rpm