coq-doc 8.15.2-1 source package in Ubuntu
Changelog
coq-doc (8.15.2-1) unstable; urgency=medium * New upstream release. * Add patch to fix sphinx 4.5.0 support. * Bump standards-version to 4.6.1. -- Julien Puydt <email address hidden> Wed, 15 Jun 2022 22:54:08 +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-1.dsc | 2.5 KiB | 8ff022d93b4cd144692bb684d8765e4fab41cc4161c0a87df40339c53e2c98c7 |
coq-doc_8.15.2.orig.tar.gz | 6.9 MiB | 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 |
coq-doc_8.15.2-1.debian.tar.xz | 8.0 KiB | 3e5b1ad6e8efd163a8c9178d9ad55790ad8ff477f66712fe7c8c008664ea1b58 |
Available diffs
- diff from 8.15.0-3 to 8.15.2-1 (34.7 KiB)
- diff from 8.15.1-1 to 8.15.2-1 (8.6 KiB)
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.