postgresql-13-tdigest <-> why3-examples

Version of postgresql-13-tdigest: 1.0.1-1+b1

Architecture of postgresql-13-tdigest: amd64

Version of why3-examples: 1.3.3-1

Architecture of why3-examples: all

postgresql-13-tdigestwhy3-examples
sizefilenamehash functionsfilename
0 B./usr/share/postgresql/13/extension/tdigest--1.0.0--1.0.1.sql 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