coq 8.4pl2dfsg-1 source package in Ubuntu

Changelog

coq (8.4pl2dfsg-1) unstable; urgency=low


  * New upstream release
  * Upload to unstable

 -- St├ęphane Glondu <email address hidden>  Wed, 08 May 2013 18:10:14 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-05-08
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size MD5 Checksum
coq_8.4pl2dfsg-1.dsc 2.3 KiB 5663b4d13387706bd04ed78774f5b7f3
coq_8.4pl2dfsg.orig.tar.gz 3.4 MiB ea256f562d72fe0c22bf5faf2783b351
coq_8.4pl2dfsg-1.debian.tar.gz 17.0 KiB 7de2acdd945f15ccc7c8522e739af5be

Available diffs

No changes file available.

Binary packages built by this source

coq: No summary available for coq in ubuntu saucy.

No description available for coq in ubuntu saucy.

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

No description available for libcoq-ocaml in ubuntu saucy.

libcoq-ocaml-dev: development libraries and tools 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 coqmktop, and libraries needed to develop
 OCaml-side extensions to Coq.