No Description

Uploaded	Fri Feb 2 08:30:34 2018
md5 checksum	db13d207cb486fa2be3947635e71af47
build	5
build_number	5
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1517560226376