No Description

Uploaded	Thu Apr 30 15:46:57 2020
md5 checksum	44fc06066d8b56b8a09b96c72f8ecf57
build	12
build_number	12
depends	clingo, nusmv, openjdk
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1588261561592