coq 8.12.0-3build3 source package in Ubuntu
Changelog
coq (8.12.0-3build3) hirsute; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Sat, 28 Nov 2020 10:24:45 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- 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-3build3.debian.tar.xz | 37.0 KiB | 82a84ed4be121fc13bf55fbca174d7d72a79fc39c526df47f5ecd8ba44088977 |
coq_8.12.0-3build3.dsc | 2.4 KiB | b5878b3daf6e1a6742e8ef23d94e341665d56db328ca9052c1a47741a698ad2e |
Available diffs
- diff from 8.12.0-3build2 to 8.12.0-3build3 (320 bytes)
Binary packages built by this source
- coq: No summary available for coq in ubuntu impish.
No description available for coq in ubuntu impish.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu impish.
No description available for coq-dbgsym in ubuntu impish.
- 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 impish.
No description available for coqide-dbgsym in ubuntu impish.
- 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.