Package: why3
Architecture: amd64
Version: 1.7.2-2build1
Priority: optional
Section: universe/math
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: 39994
Depends: libc6 (>= 2.38), libcairo2 (>= 1.2.4), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), libcairo2-ocaml-7q5f6, liblablgtk3-ocaml-hnx11, liblablgtksourceview3-ocaml-51fc1, libstdlib-ocaml-u9ol3, tex-common (>= 6.13)
Recommends: cvc4 (<< 1.9) | spass | z3 (<< 4.11.1)
Suggests: why3-examples
Filename: pool/universe/w/why3/why3_1.7.2-2build1_amd64.deb
Size: 11852704
MD5sum: 9b55ad1c70b364f476f7e1926fe1171b
SHA1: deddc978c200cf0560a57db96af0beaaa3b68696
SHA256: d981eae03351b2b9650b0fedf07a93f6108a79a6a1b093bfc234b7ca70e7f342
SHA512: 12f84e4e1650afc7dbb884c3e76105bdac697402d1bee52725dbced9a119c89cd4c82777b9a879254d61b18e88559cb66fd58b72ef4d73764c490c40d20e13ac
Homepage: http://why3.lri.fr/
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805