python3-crc32c <-> why3-examples

Version of python3-crc32c: 2.1-1.1

Architecture of python3-crc32c: amd64

Version of why3-examples: 1.3.3-1

Architecture of why3-examples: all

python3-crc32cwhy3-examples
sizefilenamehash functionsfilename
1 B./usr/lib/python3/dist-packages/crc32c-2.1.egg-info/dependency_links.txt sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/avl/key_type/why3shapes.gz
sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/bts/13375/why3shapes.gz
sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/double_wp/state/why3shapes.gz
sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/multiprecision/types/why3shapes.gz
sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/multiprecision/wmpn/why3shapes.gz
sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/prover/Choice/why3shapes.gz
sha512 -> gzip_sha512./usr/share/doc/why3-examples/examples/prover/Sum/why3shapes.gz

Details about this service