Package: why3
Priority: optional
Section: universe/math
Installed-Size: 53786
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.8.2-3build1
Recommends: cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14)
Replaces: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8)
Suggests: why3-examples
Depends: libc6 (>= 2.42), 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-lpyq1, liblablgtk3-ocaml-6ifb8, liblablgtksourceview3-ocaml-5fyq2, libstdlib-ocaml-kjuo1, tex-common (>= 6.13)
Breaks: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8)
Filename: pool/universe/w/why3/why3_1.8.2-3build1_amd64.deb
Size: 14831190
MD5sum: a04a187982c6d24b4579b1770ee31968
SHA1: 5e527884163f74939694573dac40002efa928c88
SHA256: c0cd05aba35846b8f63e09251d4679cbcaa8c492a5075b010396f158ebf1e0c6
SHA512: 5ef6d19a54a2703010883949c9dfcba6d071b5d98d72c2a9c295faa855e128f824c39a32a8cb17635f8bf8647b2df556c18d533ab11e0f8907da8462946e450b
Homepage: https://www.why3.org/
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug