File list of package storm-lang-crypto in trixie of architecture arm64

/usr/lib/storm/crypto/Crypto.so
/usr/lib/storm/crypto/Crypto_doc
/usr/share/doc/storm-lang-crypto/changelog.Debian.gz
/usr/share/doc/storm-lang-crypto/copyright