Accepted coq-doc 8.17.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.17.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 12 Aug 2023 11:16:45 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-doc_8.17.1-1_source.changes
- Debian-source: coq-doc
- Debian-suite: unstable
- Debian-version: 8.17.1-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=yjjj51mkgh6GAifuhWxGJvHvhkoJVQro1XaEYN81A0E=; b=Dn8B8sToMf9qlpBpN1aDltEYf9 EKaAaFi4TyYItq2R8l8c8bcn/HJCsLwiLKnoDkVwujMGEXTlBMe2n7gfTppMzpl2ndNTBaqJWhMsi MFtWZFFZDu5BVh2Hag8lkcblOPyod4ZgFRIL6pyrMKgbzp/Bj1DyntUDAqdnvckJzKdobj6XuVoX0 fZcX4Xx/zcG3T1XUQXfwqDOuQ7E+V/bSfnsHmoxxVVXKFik+t9KFg5NBWIYB8JXzMHoqTfwKJAsbg 2RcHLNmM2VUz14u7W2IP9/VFnYQk0nfPuaVrI1/vYfQUgLaHN1SlDxKjAgApyDNL0UCGaF+NkNXzQ TIuirvOg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qUmbt-00D067-DO@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----