-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 20 Jan 2025 12:58:56 +0100 Source: coq-doc Architecture: source Version: 8.20.0-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1093100 1093324 Changes: coq-doc (8.20.0-2) UNRELEASED; urgency=medium . * Add patch to compile with recent Python versions (Closes: #1093324, #1093100). Checksums-Sha1: e6912aebbeb37d762f467fe5c5aafa8340ace97e 2572 coq-doc_8.20.0-2.dsc 72dba5a4de47ab003e1032ecb182fe83827ad5b7 8820 coq-doc_8.20.0-2.debian.tar.xz 4c08dc4d5dcf98bdb565db21458bf023aa018454 13908 coq-doc_8.20.0-2_amd64.buildinfo Checksums-Sha256: 4263c2af2ad533d622ecfa351d899b77f668ba4cdd99bb9207f6e261af69977f 2572 coq-doc_8.20.0-2.dsc 6dfb06fb53e171367e4ac484de4fcc2c748d59d2c075efbb28ed5006ef566992 8820 coq-doc_8.20.0-2.debian.tar.xz 84d4a500241d2f3eda30dbfc7f553d5984a9383e1a58ff67d2d11ebc282191d8 13908 coq-doc_8.20.0-2_amd64.buildinfo Files: 7be3df13db22a072206a1c6b06a413d6 2572 non-free/doc optional coq-doc_8.20.0-2.dsc c295e2476e873be9f8eb6a2f4790b3bc 8820 non-free/doc optional coq-doc_8.20.0-2.debian.tar.xz 9ed0c918f97f160fc2899751264a1721 13908 non-free/doc optional coq-doc_8.20.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSr3UZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSL5D/4j3KAuuTXBw3IcN3PC7L3M jvBFRfIP1CFG07jp8i9qPt4XgEKzpx+S1P0ScyUdz+lIm500gTVV5iHGIjRrxTbn IGNdM98eoP8Ok4TCM9j0Zyx+An8NwuntAFoq6h/THlwJ1UlcF+EAf4ALxEI+XX84 5VBgGqKybFQY8ZNBvR8QUpe9VXDVbw7FfgyHu4cHrPnmQJwKRfRZtF3Ci9nSJF2j VhrQTODr9oPx6ZtVFFQ7DrJGQuzZ3g2fA8HU70BBRsEIHq1R5kJgVuDsnKQeikty xvaMC7CYpZ1yc784JD8hp8gbMOhkVpl7vbkqMSgroVHKEuPE9SOKZs5QaJpRMKmD yEHHXDSpN2iSwNBTO+Y/HuYJmdeCz4fxLWKOHzc4iM4QnmOnfyl+Xs6dNiwUxsVw 3UzfLoXSHEkU/4H0l94PAN3HN0yRYfK5vruV6y1EMl7CyHy1/5LgIZYR7noOEwza 8A1AqGUvoPM3yQbr8Qoi5Tf4L6yBqQ3ckFVrI9IxauhNS3KQFVV79lnLlLWCPQqh TM2VVARVTX/Y+pqsFa0zOIkbM0dRAVB9dK0v/p+dJY3mO+xiQHR1N429tykhMBH5 XWkeMQajq2KYLfAmlkFhDBBEgAP+wNOaRuj+t2L4ackw3hLxIqDAPwHq0kzV/ajT X7jnYOs43lhcLUlUcuF13Q== =9s7U -----END PGP SIGNATURE-----
