About

This package is 70.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/proofgeneral/proofgeneral-coq_3.7-4_all.deb .

View its full control file here: debian/control.

Description

generic interface for proof assistants - coq support

Relations

This package depends on: proofgeneral.

This package recommends: coq.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

proofgeneral-coq 3.7-4 is in ubuntu - precise / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/coqtags text/x-perl root:root 0o755 1.8 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/proofgeneral-coq/ root:root 0o755
/usr/share/doc/proofgeneral-coq/changelog.Debian.gz application/gzip root:root 0o644 2.8 KB
/usr/share/doc/proofgeneral-coq/changelog.gz application/gzip root:root 0o644 7.5 KB
/usr/share/doc/proofgeneral-coq/copyright text/plain root:root 0o644 684 bytes
/usr/share/doc/proofgeneral-coq/examples/ root:root 0o755
/usr/share/doc/proofgeneral-coq/examples/example.v text/plain root:root 0o644 287 bytes
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/coq/ root:root 0o755
/usr/share/emacs/site-lisp/proofgeneral/coq/BUGS text/plain root:root 0o644 530 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el text/x-lisp root:root 0o644 5.8 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el text/plain root:root 0o644 529 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el text/x-lisp root:root 0o644 8.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq.el text/x-lisp root:root 0o644 60.5 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el text/x-lisp root:root 0o644 29.0 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el text/x-lisp root:root 0o644 6.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el text/plain root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el text/x-lisp root:root 0o644 46.8 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el text/plain root:root 0o644 3.6 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/example-utf8.v text/plain root:root 0o644 598 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/example.v text/plain root:root 0o644 287 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/example-x-symbols.v text/plain root:root 0o644 1.5 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/ex-module.v text/plain root:root 0o644 1.3 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/ex-ssreflect.v text/plain root:root 0o644 3.7 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/KnasterTarski.v text/plain root:root 0o644 898 bytes
/usr/share/emacs/site-lisp/proofgeneral/coq/README text/plain root:root 0o644 2.1 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/root2.v text/plain root:root 0o644 6.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/TODO-TMP text/x-lisp root:root 0o644 2.0 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/utf8.v text/plain root:root 0o644 2.4 KB
/usr/share/emacs/site-lisp/proofgeneral/coq/x-symbol-coq.el text/x-lisp root:root 0o644 14.4 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/coqtags.1.gz application/gzip root:root 0o644 589 bytes