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 | 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 |
Available diffs
- diff from 8.6-4build3 to 8.6-5build1 (2.0 KiB)
- diff from 8.6-5 (in Debian) to 8.6-5build1 (312 bytes)
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: No summary available for coq-dbgsym in ubuntu cosmic.
No description available for coq-dbgsym in ubuntu cosmic.
- coq-theories: No summary available for coq-theories in ubuntu eoan.
No description available for coq-theories in ubuntu eoan.
- coq-theories-dbgsym: debug symbols for coq-theories
- 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 eoan.
No description available for coqide-dbgsym in ubuntu eoan.
- 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 eoan.
No description available for libcoq-ocaml-dbgsym in ubuntu eoan.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu eoan.
No description available for libcoq-ocaml-dev in ubuntu eoan.
- libcoq-ocaml-dev-dbgsym: No summary available for libcoq-ocaml-dev-dbgsym in ubuntu eoan.
No description available for libcoq-
ocaml-dev- dbgsym in ubuntu eoan.
