coq 8.4pl4dfsg-3build2 source package in Ubuntu
Changelog
coq (8.4pl4dfsg-3build2) xenial; urgency=medium * No-change rebuild against new ocaml ABIs -- Iain Lane <email address hidden> Wed, 04 Nov 2015 10:40:32 +0000
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Xenial
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | devel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.4pl4dfsg.orig.tar.gz | 3.4 MiB | ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 |
coq_8.4pl4dfsg-3build2.debian.tar.xz | 15.8 KiB | 8982a706d3d52060fd3341ebe5db6a2593bc477a25645e21271439cf17fde66e |
coq_8.4pl4dfsg-3build2.dsc | 2.3 KiB | c2ffa904ad907c56765e0afd30af2dc51d93472c19a30ecbe5dc20afb87481de |
Available diffs
Binary packages built by this source
- coq: No summary available for coq in ubuntu yakkety.
No description available for coq in ubuntu yakkety.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu yakkety.
No description available for coq-dbgsym in ubuntu yakkety.
- coq-theories: No summary available for coq-theories in ubuntu yakkety.
No description available for coq-theories in ubuntu yakkety.
- coqide: No summary available for coqide in ubuntu yakkety.
No description available for coqide in ubuntu yakkety.
- coqide-dbgsym: No summary available for coqide-dbgsym in ubuntu yakkety.
No description available for coqide-dbgsym in ubuntu yakkety.
- libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu yakkety.
No description available for libcoq-ocaml in ubuntu yakkety.
- 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.
- libcoq-ocaml-dev-dbgsym: No summary available for libcoq-ocaml-dev-dbgsym in ubuntu yakkety.
No description available for libcoq-
ocaml-dev- dbgsym in ubuntu yakkety.