coq 8.6-5build1 source package in Ubuntu

Changelog

coq (8.6-5build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:21:16 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Bionic
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe devel

Downloads

File Size SHA-256 Checksum
coq_8.6.orig.tar.gz 4.8 MiB 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b
coq_8.6-5build1.debian.tar.xz 21.4 KiB 70e1cffd54deb41b7ad3e6fd0685c7f1078ba78cdd1f84e8a6225fbc349de9d3
coq_8.6-5build1.dsc 2.3 KiB fe7076b2359197baa72d2016261ae52b2691cf553eeda8ba6b267f180625e3c8

View changes file

Binary packages built by this source

coq: No summary available for coq in ubuntu disco.

No description available for coq in ubuntu disco.

coq-dbgsym: debug symbols for coq
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 disco.

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

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.

coqide-dbgsym: No summary available for coqide-dbgsym in ubuntu disco.

No description available for coqide-dbgsym in ubuntu disco.

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 cosmic.

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

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

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

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

No description available for libcoq-ocaml-dev-dbgsym in ubuntu disco.