File list of package cryptol in sid of architecture ppc64el
/usr/bin/cryptol /usr/share/cryptol/Array.cry /usr/share/cryptol/Cryptol.cry /usr/share/cryptol/Float.cry /usr/share/cryptol/PrimeEC.cry /usr/share/cryptol/SuiteB.cry /usr/share/doc/cryptol/buildinfo_ppc64el.gz /usr/share/doc/cryptol/changelog.Debian.gz /usr/share/doc/cryptol/changelog.Debian.ppc64el.gz /usr/share/doc/cryptol/changelog.gz /usr/share/doc/cryptol/copyright /usr/share/lintian/overrides/cryptol