No Description

Uploaded	Tue Aug 27 12:10:52 2019
md5 checksum	9ea7bd8f39eb33eb88c95a8bb420456f
build	7
build_number	7
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1566907816191