Package: why3-doc-pdf
Architecture: all
Version: 1.6.0-1build7
Priority: optional
Section: universe/math
Source: why3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1366
Depends: tex-common (>= 6.13)
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-pdf_1.6.0-1build7_all.deb
Size: 1316094
MD5sum: 00a3b23539c27b751674212b28e10e42
SHA1: cfef581e7aee785efeeb4f359bba695d18df33c1
SHA256: cfb8919352d1be1d8efad3c4caf0150e2b785c4dc4f0bec6fcd65dd142b1f563
SHA512: 227ab19e6162f668403bbf09e6321a5c1fd440e92c76467a000355b127fa49838f75add390ec50a9726e42a887fa270aa5d9c6426f9b406af29d9f6baee27504
Homepage: http://why3.lri.fr/
Description: PDF Documentation of the why3 verification platform
Description-md5: ac928d5570b2a03a847e92a88ede4040