Package: why
Priority: optional
Section: universe/math
Installed-Size: 19249
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
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_i386.deb
Size: 3455196
MD5sum: eb763d134ad9fe8f58b9e0c7f64fa638
SHA1: 7216017042d176c4657047e85bc5ba97f830ad91
SHA256: db4d62b535fa7de47c0091ceedec59c686d1e6bebea24ff52927f2cb41a1d203
Description: Software verification tool
Homepage: http://why.lri.fr/
Description-md5: 526e76e920af822b5edbedc5d8ec7d78
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu