×

linux-64/nusmv-2.6.0-0.tar.bz2

No Description

Uploaded	Thu Nov 23 15:49:32 2017
md5 checksum	48226ec18c6217e8d5f81dd60e6d7d60
arch	x86_64
build	0
machine	x86_64
operatingsystem	linux
platform	linux
subdir	linux-64
target-triplet	x86_64-any-linux