Package: why3 Architecture: amd64 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: 99113 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_amd64.deb Size: 20802412 MD5sum: a887a01a0e23b642e50fe3525524a121 SHA1: 37ddbbf1498d8d0c6b92201704e5378ac2bf6842 SHA256: a678b73b5dc7f6d1be8af081b1264e507836ac692a35cfc6fc952d0a01639a68 Homepage: http://why3.lri.fr/ Description: Software verification platform Description-md5: 42102049a94ca7a372592f978ac2d805