Package - coqide
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq/coqide_8.20.1+dfsg-1+b1_amd64.deb (Size: 1.8MiB)| Property | Value |
|---|---|
| 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 |
Files in package
- /usr/bin/coqide
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coqide/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coqide/dune-package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coqide/opam
- /usr/share/applications/coqide.desktop
- /usr/share/coq/coq-ssreflect.lang
- /usr/share/coq/coq.lang
- /usr/share/coq/coq.png
- /usr/share/coq/coq_style.xml
- /usr/share/coq/default.bindings
- /usr/share/doc/coqide/FAQ
- /usr/share/doc/coqide/README.md.gz
- /usr/share/doc/coqide/changelog.Debian.amd64.gz
- /usr/share/doc/coqide/changelog.Debian.gz
- /usr/share/doc/coqide/copyright
- /usr/share/man/man1/coqide.1.gz
- /usr/share/man/man1/coqide.byte.1.gz
- /usr/share/man/man1/coqide.opt.1.gz
- /usr/share/pixmaps/coqide.xpm