Package: coqide
Priority: optional
Section: universe/math
Installed-Size: 2857
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.4pl3dfsg-1
Depends: coq (= 8.4pl3dfsg-1), 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.4pl3dfsg-1_i386.deb
Size: 677516
MD5sum: 7cfc9072e001440ff20b3744c187ae7a
SHA1: 663770fe8109e961f3af8b59b46384c4d694532f
SHA256: 9a45e5bf7e1753ef79f5231b37590359c421641fa3e29da2884c23493d0c1689
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