Contents filter
File Package Branch Repository Architecture
/usr/bin/clingo gringo v3.12 community aarch64
/usr/bin/gringo gringo v3.12 community aarch64
/usr/bin/reify gringo v3.12 community aarch64