-----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-----
