Accepted coq-hierarchy-builder 1.2.1-6 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-6 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 11 May 2022 15:48:54 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=KFehvcfWUbaTEFak8RIzRCg+PGIvYns0gSAL4WlHHz4=; b=HN27Yjyt9zQ6rRx62tigPpKI42 D7KrW3lKBZpY+aTNq8TIgHQTVL2Lj+M/VBIEBVVeDxLE9OgheuCWMFGyjhS1TqJfHVp5dy3AuABRx rOHULzd9H9FFqeFgrQrt7gLHoF7MeMJ2Nm4QqLSuB9/O2q12ixlkqIKCe6KhfLOihHU4fncBSDrV2 68ZZqO9JVUeUutu7ipOSTjcA7lc8JrPmVaIuF5funQGt0OW+GsjGFDAiLogk5W/xq6HYSuOYHRotA W4odvxyBFwD/WQAwZ50tPqc7X9I0SJlzg7+5PmAhjbIIlDAIugEmECJr9BCfmwzXvSVKV4hS00cga BauDwFsQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nooa6-000CiV-KG@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 11 May 2022 17:35:39 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-6
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.2.1-6) unstable; urgency=medium
.
* Fix the dependency on the Coq ABI.
Checksums-Sha1:
a22c0a5d05dfc1427722cd3e6dccb3949357790d 2214 coq-hierarchy-builder_1.2.1-6.dsc
196186ff1aa19a2e3d08d81f5066d707b87c24a9 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz
3a0a80584407d065091641c8c23bc2684551a9eb 7322 coq-hierarchy-builder_1.2.1-6_source.buildinfo
Checksums-Sha256:
5d28714c2810085195c86c8b8bbcbae4553435588f52f873e6652fdaf46bec8e 2214 coq-hierarchy-builder_1.2.1-6.dsc
f502ddfe27874a137176fd86d4ba53c36c6a437501acfb4f7f9e903b79b4e111 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz
b99645b8228c5f8c0b2c7353a64396fc93d47b235dd369be8ab164cf00f0d876 7322 coq-hierarchy-builder_1.2.1-6_source.buildinfo
Files:
1fbde8ea1573d9d987210d2290f862d6 2214 ocaml optional coq-hierarchy-builder_1.2.1-6.dsc
cfdf48276248c7afdc66d256edb3737c 2904 ocaml optional coq-hierarchy-builder_1.2.1-6.debian.tar.xz
e73d2a86fc3b26221691561d005d23aa 7322 ocaml optional coq-hierarchy-builder_1.2.1-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71+gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNpgP/R3Ytu9PiXgMiPBbtgtv9EiDvV4bQY/d
esPKFmtkWf/WCnTPmciTxY1x2Lfko9meRYLLd0RWaZ8U33EPmFJj7uVZ4FvdXv7Q
wUl7h+rAnz/65nIoOTIJrp85fLDxTqblLvvrfN5/GSAmIZeEpHpWg5hAXErAVhg/
l6tyEbSdsuAHEIP28/9+Fy4nvD0pfQQJICfFjNEFLlIv6IU801pMTIGZxXbWatOF
/pEvMtGVvzw9gJhVfJ4KWt/3w82TW7jxVUEZrwF8PN7LNYy2L4fey3JIvNCVnGTw
uXIBxENpZMBFVfoRPGYYxk1f2oeZIyut4gcumzGt5q+UFA/rhIXp6UIQhTkoSeMM
0lr/C7MMvFW2Y5SLxotchbSWicBOmKRTGwyBugXlr4SZmOjvvXzlcSvha6EOuu/T
KjwU8oda+LSeKkSeHLDQZFrIBXHv0Z1LyLengXzezJIg9NHvb1aszmH1uGeC97NG
gKa0feLEcNRIqxnExBX8C6Rbh4u/S0GsLo7+UjQyzMS3+qK74Xu7wIbu5YOI8C8y
Y5mDPnH0aApHbYzWkl1l29esMmAnmZtt728q9qHjO/oLRwy8T8wbtw8WJIDO1GP4
OaUIfFYoh9FiCTF4tnwOKvT2OnDOqC3Tkhu8O3o0u8aRRTZfYLBKsqUjuZx2hFmZ
2A9s+Aw6jCJ1
=KBkB
-----END PGP SIGNATURE-----