Accepted coq-doc 8.18.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.18.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 25 Jan 2024 14:36:39 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-doc_8.18.0-1_source.changes
- Debian-source: coq-doc
- Debian-suite: unstable
- Debian-version: 8.18.0-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=g18cItjTafbHbZvXKLDuU9iTlDazaJZky6M9IYZsmUU=; b=i7SL45saGb+fEh4GTX+K8SaLOp 3O91s+/X1BO/8eA3w3Mz9HIEywHX1otBcvO1NtX1eTbBvLnQjAiDUZqJL1LBElcuMYsuwwaDFnmBR IaFEPB1vze9/vD0aqg51wy2wpmtvCt90h1W4U3HG3bMb2QDhiTLoebR9jj6mU4O7knG7AHLL+jYvo Obo5/vQoE5jVbgeRY0Z0B2qY2D+R42dg3KlW/pQT2aSFNUGIltxgh8vZl71Y5vZVkIzfIIRb4RFNj yRjIEOZmsOFCY/8h1PsgoPEHvL7izXTKeFdFpY1acPfZVpskXPcDqDq4n01sUIXADFUMhvgcnWXwl /xOZegbQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rT0qN-003joV-Bq@fasolo.debian.org>
- Reply-to: debian-devel@lists.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-----