About

This package is 5.3 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/c/coq/coq_8.3.pl4+dfsg-1_amd64.deb .

View its full control file here: debian/control.

Description

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

Relations

This package depends on: coq-theories (= 8.3.pl4+dfsg-1), emacsen-common, libcoq-ocaml-k3dy8, ocaml-base-nox-3.12.1, libc6 (>= 2.14).

This package recommends: coqide | proofgeneral.

This package suggests: ocaml-nox, proofgeneral, ledit | readline-editor, libcoq-ocaml-dev, why (>= 2.19), coq-doc.

This package does not conflict with any other package.

Package Contents

This package is indexed.

coq 8.3.pl4+dfsg-1 is in ubuntu - precise / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 403 bytes
postrm text/x-shellscript N/A N/A 160 bytes
prerm text/x-shellscript N/A N/A 209 bytes
/etc/ root:root 0o755
/etc/emacs/ root:root 0o755
/etc/emacs/site-start.d/ root:root 0o755
/etc/emacs/site-start.d/50coq.el text/x-lisp root:root 0o644 853 bytes
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/coqc application/x-executable root:root 0o755 777.0 KB
/usr/bin/coqchk root:root 0o777
/usr/bin/coqchk.opt application/x-executable root:root 0o755 1.1 MB
/usr/bin/coqdep application/x-executable root:root 0o755 835.8 KB
/usr/bin/coqdoc application/x-executable root:root 0o755 703.1 KB
/usr/bin/coq_makefile application/x-executable root:root 0o755 362.2 KB
/usr/bin/coq-tex application/x-executable root:root 0o755 340.1 KB
/usr/bin/coqtop root:root 0o777
/usr/bin/coqtop.byte application/octet-stream root:root 0o755 4.5 MB
/usr/bin/coqtop.opt application/x-executable root:root 0o755 7.4 MB
/usr/bin/coqwc application/x-executable root:root 0o755 240.6 KB
/usr/bin/gallina application/x-executable root:root 0o755 267.7 KB
/usr/lib/ root:root 0o755
/usr/lib/coq/ root:root 0o755
/usr/lib/coq/plugins/ root:root 0o755
/usr/lib/coq/plugins/micromega/ root:root 0o755
/usr/lib/coq/plugins/micromega/csdpcert application/x-executable root:root 0o755 838.0 KB
/usr/lib/coq/states/ root:root 0o755
/usr/lib/coq/states/initial.coq application/octet-stream root:root 0o644 308.8 KB
/usr/lib/coq/tools/ root:root 0o755
/usr/lib/coq/tools/coqdoc/ root:root 0o755
/usr/lib/coq/tools/coqdoc/coqdoc.css text/plain root:root 0o644 4.5 KB
/usr/lib/coq/tools/coqdoc/coqdoc.sty text/x-tex root:root 0o644 5.4 KB
/usr/lib/emacsen-common/ root:root 0o755
/usr/lib/emacsen-common/packages/ root:root 0o755
/usr/lib/emacsen-common/packages/install/ root:root 0o755
/usr/lib/emacsen-common/packages/install/coq text/x-shellscript root:root 0o755 1.2 KB
/usr/lib/emacsen-common/packages/remove/ root:root 0o755
/usr/lib/emacsen-common/packages/remove/coq text/x-shellscript root:root 0o755 453 bytes
/usr/share/ root:root 0o755
/usr/share/coq/ root:root 0o755
/usr/share/coq/coqvars.mk text/plain root:root 0o644 283 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/coq/ root:root 0o755
/usr/share/doc/coq/changelog.Debian.gz application/gzip root:root 0o644 1.0 KB
/usr/share/doc/coq/copyright text/plain root:root 0o644 1.2 KB
/usr/share/doc/coq/CREDITS.gz application/gzip root:root 0o644 2.6 KB
/usr/share/doc/coq/NEWS.Debian.gz application/gzip root:root 0o644 269 bytes
/usr/share/doc/coq/README text/plain root:root 0o644 1.7 KB
/usr/share/doc/coq/README.Debian text/plain root:root 0o644 694 bytes
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/coq/ root:root 0o755
/usr/share/emacs/site-lisp/coq/coq-db.el text/x-lisp root:root 0o644 8.5 KB
/usr/share/emacs/site-lisp/coq/coq.el text/x-lisp root:root 0o644 4.7 KB
/usr/share/emacs/site-lisp/coq/coq-font-lock.el text/x-lisp root:root 0o644 4.8 KB
/usr/share/emacs/site-lisp/coq/coq-inferior.el text/x-lisp root:root 0o644 11.3 KB
/usr/share/emacs/site-lisp/coq/coq-syntax.el text/x-lisp root:root 0o644 43.4 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/coqc.1.gz application/gzip root:root 0o644 466 bytes
/usr/share/man/man1/coqchk.1.gz application/gzip root:root 0o644 936 bytes
/usr/share/man/man1/coqchk.opt.1.gz root:root 0o777
/usr/share/man/man1/coqdep.1.gz application/gzip root:root 0o644 1.5 KB
/usr/share/man/man1/coqdoc.1.gz application/gzip root:root 0o644 1.9 KB
/usr/share/man/man1/coq_makefile.1.gz application/gzip root:root 0o644 305 bytes
/usr/share/man/man1/coq-tex.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/coqtop.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/coqtop.byte.1.gz application/gzip root:root 0o644 275 bytes
/usr/share/man/man1/coqtop.opt.1.gz application/gzip root:root 0o644 279 bytes
/usr/share/man/man1/coqwc.1.gz application/gzip root:root 0o644 313 bytes
/usr/share/man/man1/gallina.1.gz application/gzip root:root 0o644 653 bytes
/usr/share/menu/ root:root 0o755
/usr/share/menu/coq text/plain root:root 0o644 154 bytes
/usr/share/pixmaps/ root:root 0o755
/usr/share/pixmaps/coq.xpm image/x-xpmi root:root 0o644 1.4 KB
/usr/share/texmf/ root:root 0o755
/usr/share/texmf/tex/ root:root 0o755
/usr/share/texmf/tex/latex/ root:root 0o755
/usr/share/texmf/tex/latex/misc/ root:root 0o755
/usr/share/texmf/tex/latex/misc/coqdoc.sty text/x-tex root:root 0o644 5.4 KB