No Description

Uploaded	Thu Oct 3 20:33:44 2019
md5 checksum	cef25ff49db7476bfde46db769d574d1
build	8
build_number	8
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1570134807913