Accepted coq-hierarchy-builder 1.4.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.4.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 04 Jul 2023 14:33:55 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.4.0-4_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.4.0-4
- 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=x3sqCBfbGBrVQR2Afn3qeqFGM7nys3bM74OAjX3iIKo=; b=ocaRc4XcGf7Nl1/XhlSSEzKAy4 7juPLvsLF4XjEaLAjAF+CmucrqJqKNmdtUfOX40m1C+R3xvfQRluxzhy0AYtA6SL9uLr2zOUnu/Tw cgV4kVRNBM23dwTSXgYi8sG9WmMe3LKaH9ZxXJdqXYD0RL2gXhO0/hjXCg+FRbs9uujWEXJWpYeYU zEpapHUL5iPLHBA7x7804E9pMiIxqmNCFxf+Szb8PfW52f6Fu9jWMQ4C2WazcHjjG6+YftSS/EsQZ 2OhoJuBOXkBj26uo9EmCIYZ5ILL4ayjk8c+L6+pbS8PeTveTsfll9+lw5Bm6x4M0gtNqiabjEbr4/ ryAk4htA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qGh6J-005eMq-9t@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 04 Jul 2023 15:52:08 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hierarchy-builder (1.4.0-4) unstable; urgency=medium
.
* Fix patch metadata.
Checksums-Sha1:
2d73a3986aec147649531d82822c66fbcd2b8863 2225 coq-hierarchy-builder_1.4.0-4.dsc
f60202ec6703d9b0eeb7c2ed105880582bac047c 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz
ba9e8306c3051b4b147f4d2bb3ab5e280c586e5c 8074 coq-hierarchy-builder_1.4.0-4_source.buildinfo
Checksums-Sha256:
aac2d8210a9e38288b453803396ed27363f77cb09099b2e70ca228da1ecbf364 2225 coq-hierarchy-builder_1.4.0-4.dsc
729472476baf5c906f2562256c36582658c7f1f1bbd33a97f7e80e12573720e0 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz
31e3df2f74041a31c4e51f9cdace8eb13f827a3b6bf173ca1aa1cb50d06c096b 8074 coq-hierarchy-builder_1.4.0-4_source.buildinfo
Files:
cacfc2495b0de4330a0072e3ec1d4b27 2225 ocaml optional coq-hierarchy-builder_1.4.0-4.dsc
8371b4afa2387b7ec4350296ef741db8 3724 ocaml optional coq-hierarchy-builder_1.4.0-4.debian.tar.xz
36fc858bdd3d85742340e19448e9b2d4 8074 ocaml optional coq-hierarchy-builder_1.4.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSkJB8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2j4P/0GaJYx9OLmmpH/UPLQp9EsR8QI4y1Uw
jIvvzxI7k8pLBXy5FdzXZw6uDf+Co37y7DQQ4+oKe8lDEO/s6f5yTYy/SmI/PCB8
q6TFYIDUpl5BBy3msDwrc8Bu9oS94ZxNBdCh5XHsV9a7w3gezFX6uprWviJ8rwaR
lZUGakpvbewaNzZb2L3vukFLOGWYOGWWWLVv1/U20JFx860R2KZLC1rQEHAQfhva
oT1l6xTzkZEbOLc+3ujhzGGtmUn3gVwvyYtEs1kX5+972UuhypE4ok6CGW4bKxgx
h0sJt2bg/keH6yXrlqG6xapizK4GinfetQ/YjOXAfNYZWSbbq2EBNIHQnFgWfBh1
ffdTu2Unvkvc2WZODu1rECfgn1QkfFyvLtkSUO5Sym4Mn5/ls/YiDYbo7b8LsFdp
FSmYwgU8rn/pUlE+JDc08q27tUattWlOqEmmQrvgZP9OAt+tRCqcb5R5jDBQlG24
37bTbNZ/3z5PMrYde1lTrLDzvi3Vapdr5qUag80WfxbWDKix8199bcHBT4fLusd3
5mJSKUUV/noRNYHZcBHwmd3li3KiPc94SxC8wn6JtdtBx/3ThBwZpVlNXwjeIEv9
kgpDiKSvFtV4AatlUORr8Q1nN+ExH5mZwegA/ueXocv+KSoTdRL+xPmLyazn/1tV
o6zm1jakSrb7
=cPSU
-----END PGP SIGNATURE-----