python3-pendulum <-> why3-examples

Version of python3-pendulum: 2.1.2-2

Architecture of python3-pendulum: amd64

Version of why3-examples: 1.3.3-1

Architecture of why3-examples: all

python3-pendulumwhy3-examples
sizefilenamehash functionsfilename
1 B./usr/lib/python3/dist-packages/pendulum-2.1.2.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
0 B./usr/lib/python3/dist-packages/pendulum/locales/nb/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/pt_br/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/ru/__init__.py./usr/lib/python3/dist-packages/pendulum/utils/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/id/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/ko/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/lt/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/it/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/fa/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/da/__init__.py./usr/lib/python3/dist-packages/pendulum/tz/data/__init__.py./usr/lib/python3/dist-packages/pendulum/py.typed./usr/lib/python3/dist-packages/pendulum/locales/nl/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/zh/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/de/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/pl/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/en/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/nn/__init__.py./usr/lib/python3/dist-packages/pendulum/_extensions/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/fo/__init__.py./usr/lib/python3/dist-packages/pendulum/locales/es/__init__.py gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/share/doc/why3-examples/examples/prover/macro_generator/build/.notempty
gzip_sha512, gzip_sha512 -> sha512, sha512 -> gzip_sha512, sha512./usr/share/doc/why3-examples/examples/prover/macro_generator/depend/.notempty

Details about this service