-----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-----
Attachment:
pgpn0VAvNlx1r.pgp
Description: PGP signature