Package: why3
Architecture: amd64
Version: 1.6.0-1build7
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: 49040
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-uvn20, liblablgtk3-ocaml-oh775, liblablgtksourceview3-ocaml-6vnq1, libstdlib-ocaml-ep7y0, tex-common (>= 6.13)
Recommends: cvc4 (<< 1.9) | spass | z3 (<< 4.11.1) | alt-ergo (>= 2.0.0)
Suggests: why3-examples
Filename: pool/universe/w/why3/why3_1.6.0-1build7_amd64.deb
Size: 13666220
MD5sum: 200807eb575fb0823d1bbc989590747a
SHA1: 6efed85cab1661aff7962d8ee07276f4acc6a372
SHA256: d43c16c9340084b33fe4f47b4622ea03cb773f6d53820a268ee34634a0d3a3af
SHA512: 30c3feadc7b7d0c7cf4c7066c71329266aec358995e3a7de86f820ec8efe0d1536613e92f8d630fc0ab7b3549908f88ce29cf00941ba9640138f79c245c64fe3
Homepage: http://why3.lri.fr/
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805