coq-doc 8.15.2-2 source package in Ubuntu
Changelog
coq-doc (8.15.2-2) unstable; urgency=medium * Declare the package can be autobuilt. -- Julien Puydt <email address hidden> Thu, 16 Jun 2022 07:59:09 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- doc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.15.2-2.dsc | 2.5 KiB | 5073a8c8a988ccca692ce84cceca8909bea7b498e09ac23a64d16d3d4668dfad |
coq-doc_8.15.2.orig.tar.gz | 6.9 MiB | 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 |
coq-doc_8.15.2-2.debian.tar.xz | 8.0 KiB | a47a7785308f429275d73f49a5ae27d604f23f2c89c6db29c1e0953d503b3caf |
Available diffs
- diff from 8.15.2-1 to 8.15.2-2 (438 bytes)
No changes file available.
Binary packages built by this source
- coq-doc: No summary available for coq-doc in ubuntu kinetic.
No description available for coq-doc in ubuntu kinetic.
- coq-doc-html: No summary available for coq-doc-html in ubuntu kinetic.
No description available for coq-doc-html in ubuntu kinetic.
- coq-doc-pdf: No summary available for coq-doc-pdf in ubuntu kinetic.
No description available for coq-doc-pdf in ubuntu kinetic.