Package: coqide
Source: coq
Priority: optional
Section: universe/math
Installed-Size: 8866
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 8.20.1+dfsg-1build4
Depends: coq (= 8.20.1+dfsg-1build4), libc6 (>= 2.42), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
Filename: pool/universe/c/coq/coqide_8.20.1+dfsg-1build4_amd64.deb
Size: 2212144
MD5sum: 0aab8d146a983b9a014ea5c60e228dac
SHA1: 10827b19d16302785f8dbd0758144363c6442427
SHA256: 309cc37ab5df7951f6c09abf94e6d0bd9102f4d2a525d829bff6ecb5b9e81ad4
SHA512: 1bc29ad5c72f5886e2b6ffc96b72a91caa2973c6f366fc3596f78d13a06a9ce8be71affad938509d28977241e820a246a9599b2baae64b6fc0b2a973d44db03f
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (gtk interface)
Description-md5: ed74063b20a63106a7031db76f847ec1
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug