Package: why3-doc-pdf
Source: why3
Priority: optional
Section: universe/math
Installed-Size: 1421
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1.8.2-3build1
Suggests: why3
Depends: tex-common (>= 6.13)
Filename: pool/universe/w/why3/why3-doc-pdf_1.8.2-3build1_all.deb
Size: 1369112
MD5sum: a387e320dcefa875a9f30ccac7e074cc
SHA1: 7a8efbb8afa016698b55eb6342104eb83abe3983
SHA256: 18cf74bdde3b11a5d81974e8cf721c457eaaef7c271275c856b31205cb9bc481
SHA512: bd7442ee7de79d161ede349f7c1b6b2f74557128330667e20b6011a9481fee013f137bd1c86c8b2e9f43afd508d119220b1005343495981553afdf4341634507
Homepage: https://www.why3.org/
Description: PDF Documentation of the why3 verification platform
Description-md5: ac928d5570b2a03a847e92a88ede4040
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug