Bug#1056948: marked as done (coq-doc-html loads files from a CDN)
Your message dated Thu, 25 Jan 2024 14:36:39 +0000
with message-id <E1rT0qN-003joY-Cg@fasolo.debian.org>
and subject line Bug#1056948: fixed in coq-doc 8.18.0-1
has caused the Debian Bug report #1056948,
regarding coq-doc-html loads files from a CDN
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.)
--
1056948: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056948
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: coq-doc-html
Version: 8.17.1-1
The HTML files in the coq-doc-html package contain the following line:
<script async="async"
src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js";></script>
They should use a local library instead.
--- End Message ---
--- Begin Message ---
Source: coq-doc
Source-Version: 8.18.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 1056948@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: Thu, 25 Jan 2024 13:58:36 +0100
Source: coq-doc
Architecture: source
Version: 8.18.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1056948
Changes:
coq-doc (8.18.0-1) unstable; urgency=medium
.
* Make sure the html documentation uses local mathjax (Closes: #1056948).
* New upstream release.
Checksums-Sha1:
80004c4687351fd8935342f680f91dc63444fa6c 2560 coq-doc_8.18.0-1.dsc
8750db5dc26f7a766da3bd47e8b9ae8ce189a2ef 7612742 coq-doc_8.18.0.orig.tar.gz
37c313d05ed0059d0c6a49fa315ef7c3bf413a2a 8064 coq-doc_8.18.0-1.debian.tar.xz
cc28ce97edf5a735629046e566b385ede90b37af 8630 coq-doc_8.18.0-1_source.buildinfo
Checksums-Sha256:
dfa9e01add547735cbfe92ace197eb323bf88a741ee124d94e9dacc3a227ccd0 2560 coq-doc_8.18.0-1.dsc
00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b 7612742 coq-doc_8.18.0.orig.tar.gz
c6dc418bd9d138412cd4eed5ea6cdc87ac44cfa07c0c36301afdbf53272de812 8064 coq-doc_8.18.0-1.debian.tar.xz
96401e7df842c71ebd20719c1f93d84d45e4cb5a98b11273198120dbf2d32d7b 8630 coq-doc_8.18.0-1_source.buildinfo
Files:
4a39c0b19cd959475e1e35ddfd93c819 2560 non-free/doc optional coq-doc_8.18.0-1.dsc
8d852367b54f095d9fbabd000304d450 7612742 non-free/doc optional coq-doc_8.18.0.orig.tar.gz
42baf8d77e648ffcc2cc0517271150fc 8064 non-free/doc optional coq-doc_8.18.0-1.debian.tar.xz
5ede70a59b6c9e1a6dd3593a59252e00 8630 non-free/doc optional coq-doc_8.18.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWyW1wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqPIP/iEjE90psniWJtxSYORJ/BHW3idfDc0J
VuqYwJZ3McL8dAZSOupHM++lVZoosPM2q9Yin69LYv1OsxMTY6KOo1ShXmNhQgR7
etzYaVoZIvBb2EQqXGKCuwTM0CPhpbIIDdSnsESVA2NlJwYg3iAm3X9EgnjC4l7L
KRsydFbuyD3LLR9ppb5tsNVjWcOYIz2L1N1DpRlPXnxCVHItr9tFGWfYCudweKhQ
Ew6LPv0coJ73fxHzV4FF3LWexF4arSdieLTKYBpxbS4tPGbLB4KKstsqY4F5p3TB
Y9ptWigeJdZjBqHu2WKJVf97PIQYRz0i0lj5ssDR+Ml09ElcfHgz5QzuUCmqCbkr
D9cAM58fXLrAQqKFYZ78l5Yhlc9c4t9uk4ye756II+xCW/FYwHw/aAX4cZ5G6qfz
dp3r2iWazSsQLI9jtzfY+4xe6l9wN0JqZr/qLeFAv+6IeyMWaP5Ai8fTVCdYgL19
jp6O80r/R39VS5Nt/JgAGQan3RUm4Je2rmoiVDIj8s77ZHopQlywWFwaH/UPIzKl
O7bAvQ2XaHjFU/Vgmt67FFYyRJ3qLLOqM0t+W59TiKXPL6VtS82IjCwBSlvI/hUT
AJwaASqP5KkPG4HIfsxw/htgUg5RTjTRxQkXgeIooabl6oDDeebO+lEFB1qlPBdi
TdtOpIi8VspX
=RuyO
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: