Your message dated Tue, 08 Feb 2022 18:33:50 +0000 with message-id <[email protected]> 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 [email protected] immediately.) -- 543548: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=543548 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---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 <[email protected]> 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <[email protected]> (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 [email protected]) -----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 <[email protected]> Changed-By: Julien Puydt <[email protected]> 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 ---
