| Package | coqide |
| Source | coq (8.20.1+dfsg-1) |
| Version | 8.20.1+dfsg-1+b1 |
| Installed-Size | 8815 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Depends | coq (= 8.20.1+dfsg-1+b1), libc6 (>= 2.38), 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) |
| Description | proof assistant for higher-order logic (gtk interface) |
| Description-md5 | ed74063b20a63106a7031db76f847ec1 |
| Homepage | http://coq.inria.fr/ |
| Tag | devel::ide, field::mathematics, implemented-in::ocaml,
interface::graphical, 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.20.1+dfsg-1+b1_amd64.deb |
| Size | 1930360 |
| MD5sum | d97677aadef6e1f03511b682bd6ee2a8 |
| SHA256 | 283157159ec9e89b21dbb81b3e6e2021722b903747a4e4878965141d5cdf8231 |