-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jun 2022 22:54:08 +0200 Source: coq-doc Architecture: source Version: 8.15.2-1 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.15.2-1) unstable; urgency=medium . * New upstream release. * Add patch to fix sphinx 4.5.0 support. * Bump standards-version to 4.6.1. Checksums-Sha1: 127370a5d5dfcf3bfe1d6cf17a93cf6173968188 2565 coq-doc_8.15.2-1.dsc fb02fea07df50c9a3036d7f092769f9e35a00ced 7222794 coq-doc_8.15.2.orig.tar.gz ba9565b4551b5f38daf27e8083a2941fd2647db4 8180 coq-doc_8.15.2-1.debian.tar.xz b9891b569f70daf91d07ffbcd52a4b11d67de473 5686 coq-doc_8.15.2-1_source.buildinfo Checksums-Sha256: 8ff022d93b4cd144692bb684d8765e4fab41cc4161c0a87df40339c53e2c98c7 2565 coq-doc_8.15.2-1.dsc 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 7222794 coq-doc_8.15.2.orig.tar.gz 3e5b1ad6e8efd163a8c9178d9ad55790ad8ff477f66712fe7c8c008664ea1b58 8180 coq-doc_8.15.2-1.debian.tar.xz c4e6c274367d6434474f1c5688f83209b863d2744e1a9b6b100c4a58067b0d12 5686 coq-doc_8.15.2-1_source.buildinfo Files: 859cdd874684496c9dcd1f79fc3372af 2565 non-free/doc optional coq-doc_8.15.2-1.dsc 8a6c4808585731292919d75e089954e3 7222794 non-free/doc optional coq-doc_8.15.2.orig.tar.gz 3a79fe8bd3dd69e1ff7b06f9afbf3d64 8180 non-free/doc optional coq-doc_8.15.2-1.debian.tar.xz a0b4f9965a93b79191b69f781fa1b342 5686 non-free/doc optional coq-doc_8.15.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqRysSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRzrQQAJ3UjF+Ke7c06bMFfOJUVniz3s5sBSKo ofSm8a5KV+hsxlNx/9zAOr87WV2FwnLRgT0zi8ZtU5JdDsbvkCvSX5Cts3BOFNqg P2eS/cf8mxfLDoNiI11smLFwl2ZcGkxiexUIfWFI0spbmJGtzW6nq8I0R/9V4eU+ OqYSjKjLq5rRZOvSzoCxWsOmV0k3dKRBKVYv7xyAV89WrjIT6caEbk83ZLXUhVm/ SwXSTzwssL+MwR4iDeJOMMULcIJah1OMpsBwQ3KkWpOQVDpoWDxmlyxBKs07QVWU ebqsDLxJeXGFu9ZwVx0bcPV7RaVxmHc6qUNWDFzvxH4V/PoTXfd3o0hgeuVJPiyJ 3ormd1BXdTBoiDUrOvGIbZphxqW5iAe5lJWReJT2f8Ak4FwNCvCdAg6jgCJ8OXN6 tVpcknsdyD+nbn7w1HI43bqsFm8VO1lkF68p0Wr2jmsiy9zFX9GrZ+8qfwBlhwFv ZWffMXg639+3/l1QQDc93IrPWjHooqIZxvkXVu3NwZ3ABnHM1lHtmYLsjirg1xBd xQWuIjLL58tV1PaSpNvhg4EM1OYBbzv8R0r5XJpi+Xrbu3kPZqK+zuMCqjxG5Pw8 X8aj5GWazclO2XtAk2RPUk9TEFkLBj8M5F84lUAQMz/gguoWBbcq9c42/MoMtofu SR/priifHJmv =CVOS -----END PGP SIGNATURE-----