No Description

Uploaded	Mon Dec 10 10:20:39 2018
md5 checksum	515fc03eb521bded19004fd66b69fa6d
build	6
build_number	6
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1544437216938