No Description

Uploaded	Fri Apr 24 08:14:59 2020
md5 checksum	0bf99f2a780f2bf2499e8da7d427b63f
build	11
build_number	11
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1587715992940