Package: why3-coq
Architecture: i386
Version: 0.88.3-1ubuntu4
Priority: optional
Section: universe/math
Source: why3
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: 8416
Depends: coq, tex-common (>= 6), libcoq-ocaml-6pjp3, libzip-ocaml-moa44, ocaml-base-nox-4.05.0, libc6 (>= 2.4), zlib1g (>= 1:1.1.4)
Recommends: why3
Filename: pool/universe/w/why3/why3-coq_0.88.3-1ubuntu4_i386.deb
Size: 1900812
MD5sum: 11c2ee98c4097dd416753a08f693dcf0
SHA1: 84b0cf4db6c6dc60a37d5b2b4adb740c11da3ce0
SHA256: e34515845dfd6768b90da1fcd7abe4f92243e7f26321318f0ea5f1fd3b22011d
Homepage: http://why3.lri.fr/
Description: Coq support for the why3 verification platform
Description-md5: 64b8fc0b8a32afbf97941fc6d11d372f