ca-certificates <-> why3

Version of ca-certificates: 20211016

Architecture of ca-certificates: all

Version of why3: 1.4.0-2

Architecture of why3: amd64

ca-certificateswhy3
sizefilenamehash functionsfilename
2 B./usr/share/doc/ca-certificates/examples/ca-certificates-local/debian/compat sha512./usr/lib/emacsen-common/packages/compat/why3

Details about this service