Package: coqide Priority: optional Section: universe/math Installed-Size: 3531 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 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_amd64.deb Size: 748916 MD5sum: c43ed7e10b64a1182437bd88f3cfbfe0 SHA1: 238f0b4dbb7726585502e7db625b41fb29aea622 SHA256: b7bb0494318d904476f77a60abf731391c1fcd9a33d19b283c294890c9543fba 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