Package - coq

Package:  coq
apt-get install coq
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq/coq_8.20.1+dfsg-1+b1_amd64.deb (Size: 67.0MiB)

PropertyValue
Packagecoq
Sourcecoq (8.20.1+dfsg-1)
Version8.20.1+dfsg-1+b1
Installed-Size255832
MaintainerDebian OCaml Maintainers
Architectureamd64
Replacescoq-libs (<< 8.2.pl1)
Providescoq-8.20.1+5.3.0
Dependslibcoq-stdlib (= 8.20.1+dfsg-1+b1), libcoq-core-ocaml-29kh7, libfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, python3:any, libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib
Suggestscoqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why (>= 2.19), coq-doc
Breakscoq-libs (<< 8.2.pl1)
Descriptionproof assistant for higher-order logic (toplevel and compiler)
Description-md52c4259e8b83c839ff539d48b854ee31a
Homepagehttp://coq.inria.fr/
Tagdevel::compiler, field::mathematics, implemented-in::ocaml, interface::commandline, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses
Sectionmath
Priorityoptional
Filenamepool/main/c/coq/coq_8.20.1+dfsg-1+b1_amd64.deb
Size70222224
MD5sum7fe3567fcecd2f09f91052e0fee597d5
SHA2569f9d98a666f97833c05ffbd1527096eca667566501bb718f198f1f037fdefe83

Files in package

  • /usr/bin/coq-makefile-make-both-single-timing-files
  • /usr/bin/coq-makefile-make-both-time-files
  • /usr/bin/coq-makefile-make-one-time-file
  • /usr/bin/coq-tex
  • /usr/bin/coq_makefile
  • /usr/bin/coqc
  • /usr/bin/coqc.byte
  • /usr/bin/coqchk
  • /usr/bin/coqdep
  • /usr/bin/coqdoc
  • /usr/bin/coqidetop.byte
  • /usr/bin/coqidetop.opt
  • /usr/bin/coqnative
  • /usr/bin/coqpp
  • /usr/bin/coqtimelog2html
  • /usr/bin/coqtop
  • /usr/bin/coqtop.byte
  • /usr/bin/coqwc
  • /usr/bin/coqworker.opt
  • /usr/bin/coqworkmgr
  • /usr/bin/csdpcert
  • /usr/bin/ocamllibdep
  • /usr/bin/votour
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/tools/CoqMakefile.in
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/tools/TimeFileMaker.py
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/tools/coqdoc/coqdoc.css
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/tools/coqdoc/coqdoc.sty
  • /usr/share/coq/coqvars.mk
  • /usr/share/doc/coq/CODE_OF_CONDUCT.md.gz
  • /usr/share/doc/coq/CONTRIBUTING.md.gz
  • /usr/share/doc/coq/CREDITS.gz
  • /usr/share/doc/coq/README.Debian
  • /usr/share/doc/coq/README.md.gz
  • /usr/share/doc/coq/TODO.Debian
  • /usr/share/doc/coq/changelog.Debian.amd64.gz
  • /usr/share/doc/coq/changelog.Debian.gz
  • /usr/share/doc/coq/copyright
  • /usr/share/lintian/overrides/coq
  • /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/coqc.byte.1.gz
  • /usr/share/man/man1/coqchk.1.gz
  • /usr/share/man/man1/coqchk.opt.1.gz
  • /usr/share/man/man1/coqdep.1.gz
  • /usr/share/man/man1/coqdoc.1.gz
  • /usr/share/man/man1/coqnative.1.gz
  • /usr/share/man/man1/coqtop.1.gz
  • /usr/share/man/man1/coqtop.byte.1.gz
  • /usr/share/man/man1/coqwc.1.gz
  • /usr/share/pixmaps/coq.xpm
  • /usr/share/texmf/tex/latex/misc/coqdoc.sty