coq_8.9.1-1_i386.deb


Advertisement

Description

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

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename coq_8.9.1-1_i386.deb
Package name coq
Package version 8.9.1
Package release 1
Package architecture i386
Package type deb
Category devel::compiler field::mathematics implemented-in::ocaml interface::commandline interface::text-mode math role::program scope::utility uitoolkit::ncurses
Homepage http://coq.inria.fr/
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 53.67 MB
Installed size 204.48 MB

Alternatives

Package Version Architecture Repository
coq_8.9.1-1_amd64.deb 8.9.1 amd64 Debian Main
coq - - -

Requires

Name Value
coq-theories = 8.9.1-1
libc6 >= 2.28
libcoq-ocaml-1hqy4 -
ocaml-base-nox-4.05.0 -
ocaml-findlib -
ocaml-nox -
python3:any -

Provides

Name Value
coq-8.9.1+4.05.0 -

Replaces

Name Value
coq-libs << 8.2.pl1

Download

Type URL
Mirror ftp.br.debian.org
Binary Package coq_8.9.1-1_i386.deb
Source Package coq

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install coq deb package:
    # sudo apt-get install coq

Files

Path
/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqpp
/usr/bin/coqproofworker.byte
/usr/bin/coqproofworker.opt
/usr/bin/coqqueryworker.byte
/usr/bin/coqqueryworker.opt
/usr/bin/coqtacticworker.byte
/usr/bin/coqtacticworker.opt
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/coqworkmgr
/usr/lib/coq/plugins/micromega/csdpcert
/usr/lib/coq/tools/CoqMakefile.in
/usr/lib/coq/tools/TimeFileMaker.py
/usr/lib/coq/tools/make-both-single-timing-files
/usr/lib/coq/tools/make-both-time-files
/usr/lib/coq/tools/make-one-time-file
/usr/lib/coq/tools/coqdoc/coqdoc.css
/usr/lib/coq/tools/coqdoc/coqdoc.sty
/usr/share/coq/coqvars.mk
/usr/share/doc/coq/CREDITS.gz
/usr/share/doc/coq/NEWS.Debian.gz
/usr/share/doc/coq/README.Debian
/usr/share/doc/coq/README.md
/usr/share/doc/coq/changelog.Debian.gz
/usr/share/doc/coq/changelog.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/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/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/pixmaps/coq.xpm
/usr/share/python3/runtime.d/coq.rtupdate
/usr/share/texmf/tex/latex/misc/coqdoc.sty

Changelog

2019-08-20 - St├ęphane Glondu <glondu@debian.org>
coq (8.9.1-1) unstable; urgency=medium
* New upstream release
* Fix FTBFS with OCaml 4.08.0
- add libnum-ocaml-dev to Build-Depends
- apply a patch to fix double loading of pr_dump.cmo (camlp5)
- remove a failing test
* Remove Samuel from Uploaders
* Bump Standards-Version to 4.4.0
2019-02-06 - Benjamin Barenblat <bbaren@debian.org>
coq (8.9.0-1) unstable; urgency=high
* New upstream release
* Set CAML_LD_LIBRARY_PATH and COQLIB correctly during building
(Closes: #919462)
* Coq no longer ships an Emacs mode; users should migrate to Proof
General (Closes: #736761, #854147, #877938)
2019-01-06 - Benjamin Barenblat <bbaren@debian.org>
coq (8.8.2-1) unstable; urgency=medium
* New upstream release (Closes: #910840)
* Add Benjamin Barenblat to uploaders
* Update debian/watch for upstream's transition to GitHub (Closes: #902903)
* Stop distributing CoqIDE (Closes: #916369)
* coqmktop(1) has been deleted; users should migrate to ocamlfind(1)
2017-09-26 - St├ęphane Glondu <glondu@debian.org>
coq (8.6-5) unstable; urgency=medium
* Recompile with OCaml 4.05.0
* Remove unused Lintian overrides
* Remove menu files
* Update Vcs-*
2016-12-29 - Enrico Tassi <gareuselesinge@debian.org>
coq (8.6-4) unstable; urgency=medium
* coq_makefile needs ocamlfind in order to work
2016-12-29 - Enrico Tassi <gareuselesinge@debian.org>
coq (8.6-3) unstable; urgency=medium
* 5127.v fails on mips, disabling
2016-12-28 - Enrico Tassi <gareuselesinge@debian.org>
coq (8.6-2) unstable; urgency=medium
* Disable some tests with hardcoded timeout to fix FTBFS on
slow machines
2016-12-27 - Enrico Tassi <gareuselesinge@debian.org>
coq (8.6-1) unstable; urgency=medium
* New upstream release
2016-01-28 - Enrico Tassi <gareuselesinge@debian.org>
coq (8.5-2) unstable; urgency=medium
* patch: disable test 4429 (timeout too strict for slow architectures)
2016-01-26 - Enrico Tassi <gareuselesinge@debian.org>
coq (8.5-1) unstable; urgency=medium
* New upstream release
* patch: disable test 4366 (timeout too strict for slow architectures)

See Also

Package Description
coquelicot_0.9.6-1.1_all.deb "one-click" file sharing web application with a focus on users' privacy
corekeeper_1.7_i386.deb enable core files and report crashes to the sysadmin
coreutils_8.30-3_i386.deb GNU core utilities
corkscrew_2.0-11+b1_i386.deb tunnel TCP connections through HTTP proxies
corosync-doc_3.0.2-1_all.deb cluster engine HTML documentation
corosync-notifyd_3.0.2-1+b1_i386.deb cluster engine notification daemon
corosync-qdevice_3.0.0-4_i386.deb cluster engine quorum device daemon
corosync-qnetd_3.0.0-4_i386.deb cluster engine quorum device network daemon
corosync_3.0.2-1+b1_i386.deb cluster engine daemon and utilities
cortado_0.6.0-4_all.deb streaming applet for Ogg formats
coturn_4.5.1.1-1.1_i386.deb TURN and STUN server for VoIP
courier-authdaemon_0.69.0-2_i386.deb Courier authentication daemon
courier-authlib-dev_0.69.0-2_i386.deb Development libraries for the Courier authentication library
courier-authlib-ldap_0.69.0-2_i386.deb LDAP support for the Courier authentication library
courier-authlib-mysql_0.69.0-2_i386.deb MySQL support for the Courier authentication library
Advertisement
Advertisement