coq-doc_8.17.1-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: