coq 8.12.0-3build2 source package in Ubuntu
Changelog
coq (8.12.0-3build2) hirsute; urgency=medium * No-change rebuild for ocaml abi changes. -- Matthias Klose <email address hidden> Mon, 02 Nov 2020 15:14:55 +0100
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Hirsute
- 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.12.0.orig.tar.gz | 5.7 MiB | e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39 |
coq_8.12.0-3build2.debian.tar.xz | 37.0 KiB | bb38d73548e826297e4d183623d6f2439cbf5ca3995e6e091f98a919dbfa2865 |
coq_8.12.0-3build2.dsc | 2.5 KiB | 2aa991028dfcea7512be85214541cf03506a27fd0caee77e92b59dcb51776ec1 |
Available diffs
- diff from 8.12.0-3build1 to 8.12.0-3build2 (307 bytes)
Binary packages built by this source
- coq: No summary available for coq in ubuntu hirsute.
No description available for coq in ubuntu hirsute.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu hirsute.
No description available for coq-dbgsym in ubuntu hirsute.
- coq-theories: No summary available for coq-theories in ubuntu hirsute.
No description available for coq-theories in ubuntu hirsute.
- coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu hirsute.
No description available for coq-theories-dbgsym in ubuntu hirsute.
- coqide: No summary available for coqide in ubuntu hirsute.
No description available for coqide in ubuntu hirsute.
- coqide-dbgsym: No summary available for coqide-dbgsym in ubuntu hirsute.
No description available for coqide-dbgsym in ubuntu hirsute.
- libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu hirsute.
No description available for libcoq-ocaml in ubuntu hirsute.
- libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu hirsute.
No description available for libcoq-ocaml-dbgsym in ubuntu hirsute.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu hirsute.
No description available for libcoq-ocaml-dev in ubuntu hirsute.