File list of package cadical in trixie of architecture s390x

/usr/bin/cadical
/usr/bin/mobical
/usr/share/doc/cadical/changelog.Debian.gz
/usr/share/doc/cadical/changelog.Debian.s390x.gz
/usr/share/doc/cadical/copyright
/usr/share/man/man1/cadical.1.gz
/usr/share/man/man1/mobical.1.gz