coq 8.4pl3dfsg-1 source package in Ubuntu

Changelog

coq (8.4pl3dfsg-1) unstable; urgency=medium


  * New upstream release
  * Update README.Debian (Closes: #680248)

 -- St├ęphane Glondu <email address hidden>  Sun, 19 Jan 2014 16:16:36 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2014-01-19
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release on 2014-01-21 universe devel

Downloads

File Size SHA-256 Checksum
coq_8.4pl3dfsg-1.dsc 2.3 KiB 19f18d629d73ceb2c59721104f37268701807805e67447ba9a580096a44ffce8
coq_8.4pl3dfsg.orig.tar.gz 3.4 MiB 0321c3e60eb5fb65f9f4f093f07413444f57e57496e908e7654e5fefeda213cb
coq_8.4pl3dfsg-1.debian.tar.xz 15.4 KiB 38e0b2acddd47e929b535301e656a9c8041d37742a7dd86922dd43bfe2e6f8ce

Available diffs

No changes file available.

Binary packages built by this source

coq: No summary available for coq in ubuntu utopic.

No description available for coq in ubuntu utopic.

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.

coqide: proof assistant for higher-order logic (gtk interface)

 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 CoqIde, a graphical user interface for
 developing proofs.

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-dev: No summary available for libcoq-ocaml-dev in ubuntu utopic.

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