Accepted coq-doc 8.16.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.16.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 02 Oct 2022 21:06:49 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-doc_8.16.0-2_source.changes
- Debian-source: coq-doc
- Debian-suite: unstable
- Debian-version: 8.16.0-2
- 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=2KDESXl9ltsp8j1VSVNVhSI3AN3EPtJ7KvHMxTwsiuI=; b=X0rwFvS7NIDRvslQPQRH6B/J6U bt/ZaL5hSED30dnT2DrWll7FRPGBGCCvF+zesndh0k07I+qyfBn5g+D3O0mn/8tNSvU3fXR2bg5+L 6gcuasRXfsBktloYsVqlPGZ2OoJutPesAWcEQDWp76VreLreHHV72KzZ6108x8jwBQkHCH7u/mBxC M6ujjdUMZEwm24IGnuxQ39Tz9vhqQ/TVVahzI2zgDQVC8dptsPhSpNQkgqZiAUdBXisdUxZ3DOHaA m8xYiArboZtp5jS3EyX0/rmVQtE3IpS38nV2GIQ94596ibR8x0/Slb5gw16FaHxaCj2Nd14yDPNTt NJwsyS/g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1of6Aj-00HFsa-U8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 02 Oct 2022 22:34:23 +0200
Source: coq-doc
Architecture: source
Version: 8.16.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-doc (8.16.0-2) unstable; urgency=medium
.
* Fix d/watch.
* Try to fix the clean target to avoid FTBFS.
Checksums-Sha1:
41257fae9c1732ba27cc810783c0ce02f9f45993 2626 coq-doc_8.16.0-2.dsc
f85deabc86c93d5709bf8748b1e8fb711a81a1b3 7796 coq-doc_8.16.0-2.debian.tar.xz
92f04b0809fe79371212f0f8fee1103f1ee2265f 7599 coq-doc_8.16.0-2_source.buildinfo
Checksums-Sha256:
8adf41b3ce571bee8bb56da50e653cb54a5ef308daafd07eda10d0aa0dc23d75 2626 coq-doc_8.16.0-2.dsc
399f267059b236b4aecc659fb7bfb5d16e7ff933b5538f972fccb41f40d63c07 7796 coq-doc_8.16.0-2.debian.tar.xz
7e99bbddeebab8652841819161c8e094101171626b6d573c44c219d8e96c8ad2 7599 coq-doc_8.16.0-2_source.buildinfo
Files:
efd372a5ed5410bb9a417b45ca3c7cd2 2626 non-free/doc optional coq-doc_8.16.0-2.dsc
5a3fd1b4129c7053f7e9ded88ae04888 7796 non-free/doc optional coq-doc_8.16.0-2.debian.tar.xz
54cef2e96e460370f435856146ed8517 7599 non-free/doc optional coq-doc_8.16.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM59g8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdwYP/RD2QC3seiJ6/k8qBDgEcDOn5az0lU0t
gjl7xsXnEm2Es4m6hijULla5FoP2PoE0vbKPFlLJgEt8ybRcA1e1n7lD19ksaTTI
s5NUXXMbH5PDfwtCH398CTO3SVYopP1Nx2U41EseM0lnHvkfCoKHYQrQ3Qd9lmYn
zFEqwq0tN1ZNvjuIquriD9sS3IdDGDFfffgE5oWS8PXpzPSp91G1LToqMpJgDpU1
11QpFd/Kn3+M/Ge2a7MdzBpA9o3/yAiRkMXZxMCDh0DMpskVWYEf+x4vS0DUYi9v
n9RcPMHdF4iFo3nMheHoC/qlH2JPXkNzbDysKLqz5dU4mXacGSArAeDdqcu3oWx/
akSuuwlWO7KMpRyQWCdChknJ4FdCr4506+eLNv+jzMVvXcvrYIKb2b3eNzj8DU/5
+0qRHOZsfNFuEupXyeB4KY6kL996FLjq80X6U8XAGCh3EFVAjdI5uDo/EgMZ0uPE
QWadUrmZlLH9qTx2e2O7jNh5V4Nc7PnoL8yiPsY8GjRAes+DRUDVW9XxUuNEOq8Q
f0JmUjq8gMVGafgR4Ns99VnSz3eq3F0KCn9BZNHXgPViX6Sb37ceB49lRfuujxcr
Wsv0ovtu4Vx/FGFefE5KaxR8nEVXioq4uT7b70MZKBMN410KVOGY2tfpvq9rOHaC
rzSaOn8SQWf6
=NYkO
-----END PGP SIGNATURE-----