Ubuntu
coq package

coq 8.6-1 source package in Ubuntu

Changelog

coq (8.6-1) unstable; urgency=medium

  * New upstream release 

 -- Enrico Tassi <email address hidden>  Tue, 27 Dec 2016 16:53:39 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.6-1.dsc 2.3 KiB 9a4f61d9cf80f9c30b3416b82fd3471173466a2a9eb1d13e31774a3c7f702161
coq_8.6.orig.tar.gz 4.8 MiB 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b
coq_8.6-1.debian.tar.xz 16.3 KiB bc56a1ea73476884d2251388e3abe8452122ef165ca6ce1a9336d4d0b66f0584

No changes file available.

Binary packages built by this source

coq: No summary available for coq in ubuntu zesty.

No description available for coq in ubuntu zesty.

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

No description available for coq-dbgsym in ubuntu zesty.

coq-theories: No summary available for coq-theories in ubuntu zesty.

No description available for coq-theories in ubuntu zesty.

coqide: No summary available for coqide in ubuntu zesty.

No description available for coqide in ubuntu zesty.

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

No description available for coqide-dbgsym in ubuntu zesty.

libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu zesty.

No description available for libcoq-ocaml in ubuntu zesty.

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

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

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

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

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

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