libmarpa-r2-perl <-> why3-examples

Version of libmarpa-r2-perl: 2.086000~dfsg-6+b4

Architecture of libmarpa-r2-perl: amd64

Version of why3-examples: 1.3.1-2

Architecture of why3-examples: all

libmarpa-r2-perlwhy3-examples
sizefilenamehash functionsfilename
0 B./usr/lib/x86_64-linux-gnu/perl5/5.30/auto/Marpa/R2/R2.bs 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