Package: why3-doc-pdf
Architecture: all
Version: 1.7.2-2build1
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: 1383
Depends: tex-common (>= 6.13)
Suggests: why3
Filename: pool/universe/w/why3/why3-doc-pdf_1.7.2-2build1_all.deb
Size: 1333472
MD5sum: 81f8a9a1e2491bdc8b3f1ccc911a3621
SHA1: 3551a9c4d33148503e8274f43372ce66e7528cfd
SHA256: d25fbbc3b3d49a2a1396026660fd10eb17f5fc285454058d547b5ba03f376d00
SHA512: 75489b8b26460ca79cc90c4e329d8bbd052cd59a3edb6e62dc579c250c2ae3a806e51cd1e9f6c9d68c6c2544e65b27f91f83e15abb0f8ff5aad5e02f267f0299
Homepage: http://why3.lri.fr/
Description: PDF Documentation of the why3 verification platform
Description-md5: ac928d5570b2a03a847e92a88ede4040