Package: why3
Architecture: i386
Version: 0.88.3-1ubuntu4
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: 75773
Depends: libc6 (>= 2.17), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), ocaml-base-nox-4.05.0, tex-common (>= 6)
Recommends: alt-ergo | cvc3 | cvc4 | why3-coq | spass | z3
Suggests: why3-examples
Filename: pool/universe/w/why3/why3_0.88.3-1ubuntu4_i386.deb
Size: 12960992
MD5sum: 46056ee83d6b7e1229fd899e18ea04ab
SHA1: a4dd67480764d629bab967545c5735f3edc3813b
SHA256: e6edd1742502286aeffe9c4c7d6c2725c2c1ef5bf086ab4fc52ad1b6e858f932
Homepage: http://why3.lri.fr/
Description: Software verification platform
Description-md5: 42102049a94ca7a372592f978ac2d805