Package: coqide
Priority: optional
Section: universe/math
Installed-Size: 2977
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Source: coq
Version: 8.4pl4dfsg-3build2
Depends: coq (= 8.4pl4dfsg-3build2), libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.14.0)
Filename: pool/universe/c/coq/coqide_8.4pl4dfsg-3build2_i386.deb
Size: 711626
MD5sum: d57fc0f16e66705dcd9c877c9bbe7093
SHA1: 7e485375e8a20c0702634c865421ea330fb944c3
SHA256: cd70c952bdaff53ea49815e68ef70adcd6e076ff1e219b972c3f514093ebf281
Description: proof assistant for higher-order logic (gtk interface)
Homepage: http://coq.inria.fr/
Description-md5: ed74063b20a63106a7031db76f847ec1
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu