Information about the apt package "coq".

Package

coq

Version

8.6-4build3

Priority

optional

Section

universe/math

Origin

Ubuntu

Maintainer

Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>

Original Maintainer

Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

Bugs

https://bugs.launchpad.net/ubuntu/+filebug

Installed Size

73.4 MB

Provides

coq-8.6+4.04.0

Depends

coq-theories (= 8.6-4build3), emacsen-common, libcoq-ocaml-z2th6, ocaml-base-nox-4.04.0, libc6 (>= 2.15), ocaml-best-compilers, ocaml-findlib

Recommends

coqide | proofgeneral

Suggests

ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc

Breaks

coq-libs (<< 8.2.pl1)

Replaces

coq-libs (<< 8.2.pl1)

Homepage

http://coq.inria.fr/

Download Size

17.5 MB

APT Manual Installed

yes

APT Sources

http://archive.ubuntu.com/ubuntu artful/universe amd64 Packages

Description

proof assistant for higher-order logic (toplevel and compiler)

Install Info

artful,now 8.6-4build3 amd64

Installed Automatically

False

Files

/./
/etc/
/etc/emacs/
/etc/emacs/site-start.d/
/etc/emacs/site-start.d/50coq.el
/usr/
/usr/bin/
/usr/bin/coq-tex*
/usr/bin/coq_makefile*
/usr/bin/coqc*
/usr/bin/coqchk*
/usr/bin/coqdep*
/usr/bin/coqdoc*
/usr/bin/coqtop*
/usr/bin/coqtop.byte*
/usr/bin/coqwc*
/usr/bin/coqworkmgr*
/usr/bin/gallina*
/usr/lib/
/usr/lib/coq/
/usr/lib/coq/plugins/
/usr/lib/coq/plugins/micromega/
/usr/lib/coq/plugins/micromega/csdpcert*
/usr/lib/coq/tools/
/usr/lib/coq/tools/coqdoc/
/usr/lib/coq/tools/coqdoc/coqdoc.css
/usr/lib/coq/tools/coqdoc/coqdoc.sty
/usr/lib/emacsen-common/
/usr/lib/emacsen-common/packages/
/usr/lib/emacsen-common/packages/install/
/usr/lib/emacsen-common/packages/install/coq*
/usr/lib/emacsen-common/packages/remove/
/usr/lib/emacsen-common/packages/remove/coq*
/usr/share/
/usr/share/coq/
/usr/share/coq/coqvars.mk
/usr/share/doc/
/usr/share/doc/coq/
/usr/share/doc/coq/CREDITS.gz
/usr/share/doc/coq/NEWS.Debian.gz -> ../coq-theories/NEWS.Debian.gz
/usr/share/doc/coq/README.Debian
/usr/share/doc/coq/README.md
/usr/share/doc/coq/changelog.Debian.gz -> ../coq-theories/changelog.Debian.gz
/usr/share/doc/coq/copyright
/usr/share/emacs/
/usr/share/emacs/site-lisp/
/usr/share/emacs/site-lisp/coq/
/usr/share/emacs/site-lisp/coq/coq-font-lock.el
/usr/share/emacs/site-lisp/coq/coq-inferior.el
/usr/share/emacs/site-lisp/coq/gallina-db.el
/usr/share/emacs/site-lisp/coq/gallina-syntax.el
/usr/share/emacs/site-lisp/coq/gallina.el
/usr/share/man/
/usr/share/man/man1/
/usr/share/man/man1/coq-tex.1.gz
/usr/share/man/man1/coq_makefile.1.gz
/usr/share/man/man1/coqc.1.gz
/usr/share/man/man1/coqchk.1.gz
/usr/share/man/man1/coqchk.opt.1.gz -> coqchk.1.gz
/usr/share/man/man1/coqdep.1.gz
/usr/share/man/man1/coqdoc.1.gz
/usr/share/man/man1/coqtop.1.gz
/usr/share/man/man1/coqtop.byte.1.gz
/usr/share/man/man1/coqtop.opt.1.gz
/usr/share/man/man1/coqwc.1.gz
/usr/share/man/man1/gallina.1.gz
/usr/share/menu/
/usr/share/menu/coq
/usr/share/pixmaps/
/usr/share/pixmaps/coq.xpm
/usr/share/texmf/
/usr/share/texmf/tex/
/usr/share/texmf/tex/latex/
/usr/share/texmf/tex/latex/misc/
/usr/share/texmf/tex/latex/misc/coqdoc.sty