Package: why Architecture: amd64 Version: 2.39-2build1 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: 22169 Depends: libc6 (>= 2.17), ocaml-base-nox-4.05.0, frama-c-base (= 20170501+phosphorus+dfsg-2build1), why3, make Suggests: libwhy-coq (= 2.39-2build1) Filename: pool/universe/w/why/why_2.39-2build1_amd64.deb Size: 3472352 MD5sum: 8d1decd88cdc31898ddb88269ea5761e SHA1: 702edbe4d50d30067a0c410192a24fb9b46e7585 SHA256: ec26d479aaba0d669721fdd9eb4455761d0a254e4f85090bdb52d44ffa406f18 Homepage: http://krakatoa.lri.fr/ Description: Software verification tool for C and Java Description-md5: 0920f222b67e99b981b920bbe1e4578a