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