No Description

Uploaded	Tue Jan 21 08:32:17 2025
md5 checksum	c03709480fc2215aa000ba84b3645bbf
build	13
build_number	13
depends	clingo, nusmv, openjdk 9999\|11.*
noarch	generic
subdir	noarch
target-triplet	None-any-None
timestamp	1737448328349