coq 8.12.0-3build1 source package in Ubuntu
Changelog
coq (8.12.0-3build1) groovy; urgency=medium * No-change rebuild against latest lablgtk3 -- Jeremy Bicha <email address hidden> Sat, 03 Oct 2020 20:40:29 -0400
Upload details
- Uploaded by:
- Jeremy Bícha
- Uploaded to:
- Groovy
- 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-3build1.debian.tar.xz | 37.0 KiB | 3bd5fdf81a296e5725157ae048fa68df85622fc2c5c82a08e39b21d9f1d00da4 |
| coq_8.12.0-3build1.dsc | 2.4 KiB | 9edb047ba8d314a7f6f3bc2036a8fdfca4758ae2b359275bf27d984b71183dee |
Available diffs
- diff from 8.12.0-3 (in Debian) to 8.12.0-3build1 (297 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 groovy.
No description available for coq-theories in ubuntu groovy.
- coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu groovy.
No description available for coq-theories-dbgsym in ubuntu groovy.
- 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 groovy.
No description available for coqide-dbgsym in ubuntu groovy.
- libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu groovy.
No description available for libcoq-ocaml in ubuntu groovy.
- libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu groovy.
No description available for libcoq-ocaml-dbgsym in ubuntu groovy.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu groovy.
No description available for libcoq-ocaml-dev in ubuntu groovy.
