Package: why Priority: optional Section: universe/math Installed-Size: 22046 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 2.34-4ubuntu4 Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libmpfr4 (>= 3.1.3), libpango-1.0-0 (>= 1.14.0), frama-c-base (= 20151002+magnesium+dfsg-1build1), make Recommends: alt-ergo | cvc3 | coq Suggests: libwhy-coq (= 2.34-4ubuntu4) Filename: pool/universe/w/why/why_2.34-4ubuntu4_amd64.deb Size: 3558880 MD5sum: 9f34d9af544ed47844280bd98f766f2c SHA1: 75f549e44a77b8ca426c44bc18e0a725d9227528 SHA256: 06848e3a6f1ff397e7cb5a77f10f135866daffd33c3161807e189664c8659069 Description: Software verification tool Homepage: http://why.lri.fr/ Description-md5: 526e76e920af822b5edbedc5d8ec7d78 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu