×

noarch/ginsim-2.9.6-2.tar.bz2

No Description

Uploaded	Thu Nov 23 15:47:21 2017
md5 checksum	9701395d693955f6faf2964615e136d6
build	2
build_number	2
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None