coq 8.9.0-1build2 source package in Ubuntu
Changelog
coq (8.9.0-1build2) eoan; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 05 Aug 2019 10:16:43 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Eoan
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.9.0.orig.tar.gz | 5.1 MiB | 6468ba1b0e5f0168dcd03b29de573be2198e1a2e0311a99f8d418f4d08458908 |
coq_8.9.0-1build2.debian.tar.xz | 27.2 KiB | 98ffa44bfdf3440bd837a5ebfde397b72031d40e14ae1e17592f6cff66a9a6c3 |
coq_8.9.0-1build2.dsc | 2.4 KiB | be082ce4c654e08bddbd4b27fee9fd1d5ac3b5b0849d9a018ea2f45696abd2d2 |
Available diffs
- diff from 8.9.0-1build1 to 8.9.0-1build2 (297 bytes)
Binary packages built by this source
- coq: No summary available for coq in ubuntu eoan.
No description available for coq in ubuntu eoan.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu eoan.
No description available for coq-dbgsym in ubuntu eoan.
- coq-theories: No summary available for coq-theories in ubuntu eoan.
No description available for coq-theories in ubuntu eoan.
- coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu eoan.
No description available for coq-theories-dbgsym in ubuntu eoan.
- libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu eoan.
No description available for libcoq-ocaml in ubuntu eoan.
- 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.