Package: coqide Source: coq Version: 8.3.pl4+dfsg-2 Installed-Size: 18520 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Depends: coq (= 8.3.pl4+dfsg-2), libcoq-ocaml-j25h3, liblablgtk2-ocaml-yfv67, ocaml-base-nox-3.12.1, libatk1.0-0 (>= 1.12.4), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.9.0), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.24.0), libgtk2.0-0 (>= 2.24.0), libpango1.0-0 (>= 1.14.0) Description: proof assistant for higher-order logic (gtk interface) Homepage: http://coq.inria.fr/ Description-md5: ed74063b20a63106a7031db76f847ec1 Tag: devel::ide, field::mathematics, implemented-in::ocaml, interface::x11, role::program, scope::application, uitoolkit::gtk, uitoolkit::ncurses, use::checking, x11::application Section: math Priority: optional Filename: pool/main/c/coq/coqide_8.3.pl4+dfsg-2_amd64.deb Size: 5622922 MD5sum: bbac3d194f74f7ac1cebb5e2bf99cf28 SHA1: 1b68c73c764cece7aa5d5d2caf90cb325967dce5 SHA256: b26f2b2094997f862415562b5f666bd5f1a60b7fd578e45a7b235edaa5b7460f