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