File list of package cadical in questing of architecture amd64

/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