coq 8.9.0-1build1 source package in Ubuntu
Changelog
coq (8.9.0-1build1) eoan; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Fri, 26 Jul 2019 22:48:37 +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-1build1.debian.tar.xz | 27.2 KiB | 3a4b5c01ce08af9b9a2b6b94cf7954aaa7ca705dba06a4fe69b11a2808c40883 |
coq_8.9.0-1build1.dsc | 2.4 KiB | eaff79a17fb483c2dd175ffd9c303e09f2a9f71e4eacad60efc01d4b539a997d |
Available diffs
- diff from 8.6-5build1 to 8.9.0-1build1 (3.7 MiB)
- diff from 8.9.0-1 (in Debian) to 8.9.0-1build1 (314 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.