Bug#543548: marked as done (coq-doc-pdf: bookmarks and links for table of contents)
Your message dated Tue, 08 Feb 2022 18:33:50 +0000
with message-id <E1nHVJG-00022H-Hg@fasolo.debian.org>
and subject line Bug#543548: fixed in coq-doc 8.15.0-1
has caused the Debian Bug report #543548,
regarding coq-doc-pdf: bookmarks and links for table of contents
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
543548: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=543548
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq-doc-pdf: bookmarks and links for table of contents
- From: Lionel Elie Mamane <lionel@mamane.lu>
- Date: Tue, 25 Aug 2009 20:43:52 +0200
- Message-id: <20090825184352.GA5193@harif.cs.ru.nl>
Package: coq-doc-pdf
Version: 8.1-3
Severity: wishlist
It would be much nicer to read the documentation if the PDFs contained
bookmarks for each table of contents entry, and the table of content
entries (and footnotes and reference, etc) were clickable PDF internal
links.
Just adding \usepackage{hyperref} may be all that is needed.
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (600, 'testing'), (500, 'transitional'), (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_LU.UTF-8, LC_CTYPE=fr_LU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: coq-doc
Source-Version: 8.15.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-doc, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 543548@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-doc package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 08 Feb 2022 17:10:12 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.15.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
coq-doc - documentation for Coq
coq-doc-html - documentation for Coq in html format
coq-doc-pdf - documentation for Coq in pdf format
Closes: 543548 1003539
Changes:
coq-doc (8.15.0-1) unstable; urgency=medium
.
* Switch from debian/compat to depend on debhelper-compat
(and level 13).
* Bump standards-version to 4.6.0.
* Declare d/rules doesn't require root.
* Simplify d/rules.
* Rewrite d/watch following the main coq package.
* Package new upstream (closes: #1003539).
* No more fac, rectutorial or tutorial (closes: #543548).
* Add myself to uploaders.
Checksums-Sha1:
1d17110788da7bf679df61bc2120f0c393aa0f91 2392 coq-doc_8.15.0-1.dsc
8382e4f5c16bcd197c30d6cb58210b4d1550057c 7215106 coq-doc_8.15.0.orig.tar.gz
3d40bca60c41e21909779777e4846b5973b1e1f3 7480 coq-doc_8.15.0-1.debian.tar.xz
dd6f983c454e4b430a0ba47043ef544c8059db58 1419784 coq-doc-html_8.15.0-1_all.deb
475f9062ca871be04be2cc4e3221664abbb6150c 4064784 coq-doc-pdf_8.15.0-1_all.deb
3b4918bf0d99550c63ff1077b7cf3b761d49dd27 6428 coq-doc_8.15.0-1_all.deb
2041143c88c7acd95c9c10e55805269799f8065d 12762 coq-doc_8.15.0-1_amd64.buildinfo
Checksums-Sha256:
de2a523a3d2a2672bfd7332d00a87f0dc40f223a4686d53947f6d1f7edf086e6 2392 coq-doc_8.15.0-1.dsc
73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3 7215106 coq-doc_8.15.0.orig.tar.gz
da91a3992e303b5de098a41c3f29222be867e02eb5fe1dd196fdaa72cada2db8 7480 coq-doc_8.15.0-1.debian.tar.xz
57e1ac80b331aa2d896aaca64bd18f378843330bc6ff6114c9b6237ccc516f71 1419784 coq-doc-html_8.15.0-1_all.deb
3f45400d97ef2836e0f79c05d2a0e1f118d288f5505bd035aca015a57ff52920 4064784 coq-doc-pdf_8.15.0-1_all.deb
a89e086c3671fe93d442845de61fe9ca0dd0c06b8eac4202ecc70e52dea97124 6428 coq-doc_8.15.0-1_all.deb
e39e50ba703c15a1a887e25a26d4b3b78106b2e4fb21cc79f037d8340f62803f 12762 coq-doc_8.15.0-1_amd64.buildinfo
Files:
5ebccbd9fb2bc55d085bf0dab0db08f3 2392 non-free/doc optional coq-doc_8.15.0-1.dsc
cfa91d270e013b0ebe49120c2101d010 7215106 non-free/doc optional coq-doc_8.15.0.orig.tar.gz
11d21da11ffe765db95f5e5a5648702c 7480 non-free/doc optional coq-doc_8.15.0-1.debian.tar.xz
e87233a6f89909aca78389c6e761844f 1419784 non-free/doc optional coq-doc-html_8.15.0-1_all.deb
4845e8ebd58561b247f1d7e84b4ed608 4064784 non-free/doc optional coq-doc-pdf_8.15.0-1_all.deb
fc9085c08486dd7ac4969b67afe8aaaa 6428 non-free/doc optional coq-doc_8.15.0-1_all.deb
397e65984cc5cc2a02e9737a45836da5 12762 non-free/doc optional coq-doc_8.15.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmICmGgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5igQAIxIyrJCD5aAs2g38xB3/uTD1MOx/G3B
qwZx+twPS1GilZSL9ZNubpfFZWopBIl+Iqtqq8ijT99oe2VtdjLTNcecQzKGhFL/
pgxQCx4CDVplGK7LU96dq8b7DMPb7yJfFl3tRDVcv1bkUsKhVDE1HkxaJUOTv/yw
KIP14GgMKCEiZ8eEIxMAmktGxcWWrF21liXbGzmnvjd8wsYZO2tmT9TmCjC15kBt
lRASn97qcDGNy3Qt2047PRVJOe6kXcmXtrnrpE44yEqY0PSluAikyrWamkz54u2C
bWhUAzYoB/N0fYU6A9i2scGwd4K0PBqNmtB+AbjwumpI8sg0SQgSzRzlbW/MN0FN
jEq1pJ4b5i4jLzyOu8YIaLs8Wayq+JeLqWpN6oa/FjXY03vI0Nqt1dvCF8rmFEjh
F+o568lyHjw9gpblbeila5mtV8fJvQ1WIMnTQbGVio5MH620Fv76rH/hcxgFwiiE
ACw8r9O+najQFIWx9Qa+eoJLMvvfJj7sC6PYxwHYkIvMtdBXeTmDB4k6yaeOaJiU
QIrbbm5pureoIQBcNk9LumUtq4VFGy/SvnX1N/KDCZk5g8QUgFKG9J+SmeqMo6fs
FYor3eBBI5WCcqeLm5a2oj8SD9k4FuivTn+xQBdgSGj57bbBWOvQ4LerFO7Dm1lc
iaikWLEFoqW2
=x5uf
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: