Package: why3
Architecture: amd64
Version: 1.8.0-2
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: 43356
Depends: libc6 (>= 2.38), libcairo2 (>= 1.2.4), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgmp10 (>= 2:6.3.0+dfsg), 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-5gqq7, liblablgtk3-ocaml-isjt4, liblablgtksourceview3-ocaml-7e3l2, libstdlib-ocaml-fxjy5, tex-common (>= 6.13)
Recommends: cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14)
Suggests: why3-examples
Breaks: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8)
Replaces: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8)
Filename: pool/universe/w/why3/why3_1.8.0-2_amd64.deb
Size: 13379768
MD5sum: 904f6bbd74ae8b723262236399b47adc
SHA1: d92e18709d387c771fb599cd6fef4b86f1734b07
SHA256: 39ea854f959856cc27e316e86c811ef00d4f785e7c11c4b2bb84227bc678530f
SHA512: 38993c93f754a4fe96f47819e493d91da498e7c39f9e8abb8f29cba0018f1c6a61dffd9d7a2a331c31a9abf1d6f0326c2beb88d7deb277d5e835db0802fb9a18
Homepage: http://why3.lri.fr/
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805