coq 8.9.0-1 source package in Ubuntu
Changelog
coq (8.9.0-1) unstable; urgency=high
* New upstream release
* Set CAML_LD_LIBRARY_PATH and COQLIB correctly during building
(Closes: #919462)
* Coq no longer ships an Emacs mode; users should migrate to Proof
General (Closes: #736761, #854147, #877938)
-- Benjamin Barenblat <email address hidden> Wed, 06 Feb 2019 12:41:09 -0500
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq_8.9.0-1.dsc | 2.4 KiB | a58269491c02821e38e3bcdf27a706679313b566443118320e3e352019f35a0e |
| coq_8.9.0.orig.tar.gz | 5.1 MiB | 6468ba1b0e5f0168dcd03b29de573be2198e1a2e0311a99f8d418f4d08458908 |
| coq_8.9.0-1.debian.tar.xz | 27.2 KiB | a8f122b61740f994bcdb3cc5e96cd82e31ec9e8f3d163b7afe546a590230acbd |
Available diffs
- diff from 8.8.2-1 to 8.9.0-1 (1.3 MiB)
No changes file available.
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 disco.
No description available for coq-theories in ubuntu disco.
- 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 disco.
No description available for libcoq-ocaml in ubuntu disco.
- libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu disco.
No description available for libcoq-ocaml-dbgsym in ubuntu disco.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu disco.
No description available for libcoq-ocaml-dev in ubuntu disco.
