-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 12 Aug 2023 12:49:36 +0200 Source: coq-doc Architecture: source Version: 8.17.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: coq-doc (8.17.1-1) unstable; urgency=medium . [ Stéphane Glondu ] * New upstream release * Build-depend on ocaml-dune * Remove Samuel and Hendrik from Uploaders * Bump Standards-Version to 4.6.2 . [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05). Checksums-Sha1: f1c86b52d5421b62134c4f7279d8976027f3f68b 2317 coq-doc_8.17.1-1.dsc 84eebaccf7d4bbbfbb65c1a7bc617b520f4fbb29 7506035 coq-doc_8.17.1.orig.tar.gz 3ea2638c86178d985a58f5d579c553c2355629b4 7968 coq-doc_8.17.1-1.debian.tar.xz Checksums-Sha256: 49159b8bc4846db0fcf2d473ee16364d32a0406e9aea98bbffd8a69f2759834e 2317 coq-doc_8.17.1-1.dsc 724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6 7506035 coq-doc_8.17.1.orig.tar.gz feaae18115f048181e4d3c1471181c306037da14eef80070f7e48ea89dadf65a 7968 coq-doc_8.17.1-1.debian.tar.xz Files: 6bc133542765dc9dc84ca2ede03cd080 2317 non-free/doc optional coq-doc_8.17.1-1.dsc f433e678395650d7a083923479bbb3c9 7506035 non-free/doc optional coq-doc_8.17.1.orig.tar.gz d6ba7ff8797a1e619a897a4133e90722 7968 non-free/doc optional coq-doc_8.17.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTXZfsSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBC7QH/RwvYJ+TTfGIv56RT545ZC8PbWDna34p BiUgsML3kSA0NvYDB8vAnyW1gs26K0jAuRszuPWrAy5U+cKKNPXDDvKYxmKXxPLB j+t5h+eUhh+kqsJKgGBu9w2T27Z+9B7PTAd0NMidCAFJZac4EAnwWuw7oo7FUWf5 BpI9+JubEMsfE/nBZGccEPAjaOBgTPUpVPn7erjZe3uh0sXVOYkF1IlgXkJp/jPU iA5W0p0A5oTItE2HuRR5bQljdNGuThrGzOgsVVBv0ZwzXGYOLAyo9a4ksBxZCEhq KOnkU9F29ldDuJojJExZtCpdK0cddqIDk3v2GcpnSe/Bg0oAigsFY9Y= =GUYT -----END PGP SIGNATURE-----