Ubuntu
coq package

coq 8.6-4build3 source package in Ubuntu

Changelog

coq (8.6-4build3) artful; urgency=high

  * No change rebuild against new findlib.

 -- Dimitri John Ledkov <email address hidden>  Thu, 27 Jul 2017 09:44:54 +0100

Upload details

Uploaded by:
Dimitri John Ledkov
Uploaded to:
Artful
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
devel
Urgency:
Very Urgent

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.6.orig.tar.gz 4.8 MiB 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b
coq_8.6-4build3.debian.tar.xz 21.6 KiB 5e1b66e7b2faefdf0508fbf6255a018f5f0807237a0a9c3c1288d5493d1bde0d
coq_8.6-4build3.dsc 2.1 KiB d4872ce023deeb1069f9c37b82efe65ed44e5078736b31e8addf8017fdc7004f

View changes file

Binary packages built by this source

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

 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package provides coqtop, a command line interface to Coq.
 .
 A graphical interface for Coq is provided in the coqide package.
 Coq can also be used with ProofGeneral, which allows proofs to be
 edited using emacs and xemacs. This requires the proofgeneral
 package to be installed.

coq-dbgsym: No summary available for coq-dbgsym in ubuntu artful.

No description available for coq-dbgsym in ubuntu artful.

coq-theories: proof assistant for higher-order logic (theories)

 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package provides existing theories that new proofs can be
 based upon, including theories of arithmetic and Boolean values.

coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu artful.

No description available for coq-theories-dbgsym in ubuntu artful.

coqide: No summary available for coqide in ubuntu artful.

No description available for coqide in ubuntu artful.

coqide-dbgsym: debug symbols for coqide
libcoq-ocaml: runtime libraries for Coq

 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package provides runtime libraries for Coq.

libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu artful.

No description available for libcoq-ocaml-dbgsym in ubuntu artful.

libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu artful.

No description available for libcoq-ocaml-dev in ubuntu artful.

libcoq-ocaml-dev-dbgsym: debug symbols for libcoq-ocaml-dev