-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 26 Dec 2024 21:46:53 +0100
Source: coq-doc
Architecture: source
Version: 8.20.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-doc (8.20.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
bb1a6d3bc044f01f5e89c41cb0c5960575258983 2572 coq-doc_8.20.0-1.dsc
c19686bcd38c1dc74e1ad785261c2e8e0b11bb91 7839432 coq-doc_8.20.0.orig.tar.gz
dadb47d184d0e5ddda1dc4f1dcf039f088f09da0 8136 coq-doc_8.20.0-1.debian.tar.xz
2988e52d5d7d7dfc0871ffcce8fa85f5127b695b 13870 coq-doc_8.20.0-1_amd64.buildinfo
Checksums-Sha256:
d0f430b8129b82144cae71f1c7df0136dd7cea1df25c64f9c2a4de9f892a465d 2572 coq-doc_8.20.0-1.dsc
b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914 7839432 coq-doc_8.20.0.orig.tar.gz
9d443605753bfbd93c1d82c977c53804a771bfcd8a92a69b488338253c4140cb 8136 coq-doc_8.20.0-1.debian.tar.xz
5c50812c9b950423a53dceebad6f0fdc7cd035b9b1cfccaa1081156ae6767371 13870 coq-doc_8.20.0-1_amd64.buildinfo
Files:
b9da58ebdbfb6a045a7b589df5e10388 2572 non-free/doc optional coq-doc_8.20.0-1.dsc
66e57ea55275903bef74d5bf36fbe0f1 7839432 non-free/doc optional coq-doc_8.20.0.orig.tar.gz
f15568c7e81387a07859a67ece4868f1 8136 non-free/doc optional coq-doc_8.20.0-1.debian.tar.xz
1e58409f38cbce6fcfe24b1477ceb9f8 13870 non-free/doc optional coq-doc_8.20.0-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdtw0cZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUPKD/9J4vUA0SsKtwnW2qklok17 jWOkvj0qE5S2WfHB3HzJ3FsI9JM3u0cBhAkr+MILFjTzhJ149bV7etoDn2ERHe1Q uN5ej8oZq+lC1h+s8QEvRzwH1Jg8jVLUQB/2RS+a5BqMDRLdbdgT+DbKKcyJf528 pY1MAS4oqngZWqjlYeAf7Y/39LE6VEEqbFuAMOcSLAXvwr6fo2uNlm4VBPMwv+Ui F2qp5ULTkjojsuVd7ps0/fq/iX0YyBm3ZGjFt84ktjIl0+7YEpDdAZbjjdPVwUAq +VaOnmdni31LYIqkbiaOEeOC3896F/eDuugKYqMvwh3U9yV13oVxg4rSTBfUiXnq zc3/EC3zCFc3Ave6bc3O5xItW/Lbq+abr18Vyi9qjMB4UijFu9Fjs/z3elumELDn 57uWUAHVuIqqzZBfMfO/OQ91OEDdd0TRoRKkxWm6EmJanNk6+QmVXik6t/vF+ZZM xTKC9WsCZ6+tDMsmu4maDFEX0jd9mX0gpb5BLmI/i3zfIq0CXWHP8YqjuQry5URv hLFwyEWY+jMob1qYPYh/uQu7okuwANZ06Rg5HVI3wK9cNcgSOxrGsN3M8SjzGq6g Ttl8cGtCmv4YT+qc0qkRueGoWaFJZ7ONYtRVWjS8mCO1cjkW1/ZLRiV+VLnvAmAw Iz4aLi4ZhxCx77U8gNdB+Q==
=fWgI
-----END PGP SIGNATURE-----


--==============&76043473909823359=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ23IgAAKCRCb9qggYcy5 IU7EAPsGBiuAfDCWsAR+a0zPSB7aRLVVbinLWRGoLLlIIGfFBwEApEPcE8TtW5gj xnZxocHkqi1EC/OdUAOi3bOPQkDrGwo=YHgA
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)