coq-doc 8.4pl2-1 source package in Ubuntu
Changelog
coq-doc (8.4pl2-1) unstable; urgency=medium * New upstream release * Debhelper compat level 9 * Update Vcs-* -- Stéphane Glondu <email address hidden> Thu, 12 Dec 2013 09:06:18 +0100
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 | |
---|---|---|---|---|
Trusty | release | multiverse | doc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.4pl2-1.dsc | 2.2 KiB | 5ef8268a16ceb8575ec2b22e0eda0388b3d1fb058fbf7392c13e28e3d851e1d5 |
coq-doc_8.4pl2.orig.tar.gz | 4.0 MiB | fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 |
coq-doc_8.4pl2-1.debian.tar.gz | 8.5 KiB | 0d54845d4bcce090b5031187336dd570d857860efd6098966eb248e181d36ec9 |
Available diffs
- diff from 8.3pl4-1 to 8.4pl2-1 (2.3 MiB)
No changes file available.
Binary packages built by this source
- coq-doc: No summary available for coq-doc in ubuntu utopic.
No description available for coq-doc in ubuntu utopic.
- coq-doc-html: No summary available for coq-doc-html in ubuntu vivid.
No description available for coq-doc-html in ubuntu vivid.
- coq-doc-pdf: No summary available for coq-doc-pdf in ubuntu vivid.
No description available for coq-doc-pdf in ubuntu vivid.