File list of package cadical in sid of architecture sh4

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