coq 8.9.1-1 source package in Ubuntu
Changelog
coq (8.9.1-1) unstable; urgency=medium
* New upstream release
* Fix FTBFS with OCaml 4.08.0
- add libnum-ocaml-dev to Build-Depends
- apply a patch to fix double loading of pr_dump.cmo (camlp5)
- remove a failing test
* Remove Samuel from Uploaders
* Bump Standards-Version to 4.4.0
-- Stéphane Glondu <email address hidden> Tue, 20 Aug 2019 05:09:34 +0200
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 | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq_8.9.1-1.dsc | 2.1 KiB | 9cc136137f72c9b0cde860672c97a14a7701cfbb34ea306c49a0658a16efad20 |
| coq_8.9.1.orig.tar.gz | 5.1 MiB | ea2af8f6445d8ee4cdca130ed4532383ac42b9da1a8d2e422265a142486420f7 |
| coq_8.9.1-1.debian.tar.xz | 28.8 KiB | 252b6c755badbff55986ee5d82311bae0e4067f127c30f4960bb16d352ac5f5d |
Available diffs
- diff from 8.9.0-1build1 (in Ubuntu) to 8.9.1-1 (45.8 KiB)
- diff from 8.9.0-1build2 (in Ubuntu) to 8.9.1-1 (45.9 KiB)
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: proof assistant for higher-order logic (theories)
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 existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
- coq-theories-dbgsym: debug symbols for coq-theories
- 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.
