Accepted coq-hierarchy-builder 1.2.1-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 13 Apr 2022 13:03:56 +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=TDWBY/iBwgGQPS8O9iIorMdpfnytpgHZiuVpPiqF2fg=; b=hv+wnyeBzkPvvpfp8I11R09y86 LvQRZJuHkmcoQtQzVAp1MUA8TkEktVjfuEFmar80QJBAwDQtLE3xsYnM8pWJhJfB8UlL2p6SeAgbw 0dtqt0I/+yhglK+Rc7NJYH9smvybkqBRpizHjTaAOe1qqS8tAz3KbfVbM0hrJdIbgR1Pji7cDzIUt s70KR5GeGpaw1ZmJUKzmcCcl2CT+VO0S4abJfgt34zW5A8FxuDZzsHOfDTEe3nflaX2mfa3u28lkO jcJE5puuG6G0cQnNq/M/mu8h6Ef5YmN4X8XjL1dxzBFJiZBmm0nwpJNe3HXdQedTObcRrEiNqwccy c4yvkdSQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1necf6-000417-Ki@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 13 Apr 2022 14:41:15 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1009449
Changes:
coq-hierarchy-builder (1.2.1-4) unstable; urgency=medium
.
* Rework b-deps (Closes: #1009449).
Checksums-Sha1:
8ea63410bdbe7e9c4a4444a2a978dd5d2214cd2b 2214 coq-hierarchy-builder_1.2.1-4.dsc
c748ab7b175c666fc6408a9c0aa893a17912567e 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz
f389577581c77702d03cba9760b67400092ffee9 7298 coq-hierarchy-builder_1.2.1-4_source.buildinfo
Checksums-Sha256:
7677a45381111caa824c5f22346592b908d5e04bc494a4ee4a6c37dd7d847968 2214 coq-hierarchy-builder_1.2.1-4.dsc
379cb25691a9150597a9f398a19783a46b3ecc0635ce68980460e24f3b588b48 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz
7f7224c4e54ab27a61a2bd16c811b8baba2759b4af96c9a563daeefc1a2badd3 7298 coq-hierarchy-builder_1.2.1-4_source.buildinfo
Files:
f3f14fb64af2740ebb2eecdfc1d86b97 2214 ocaml optional coq-hierarchy-builder_1.2.1-4.dsc
123799891b38a164e260dd41b8356071 2800 ocaml optional coq-hierarchy-builder_1.2.1-4.debian.tar.xz
f6c4300c139fdf7579d4334cec66b1c1 7298 ocaml optional coq-hierarchy-builder_1.2.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWxP4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSjEP/A3sfMnDagzIRd4Ijhlp78szoUwFm+O7
ESfyaNkUB+NyN88SM59b7v/lHAceB3AymnTN+gEuabfPq4ndWTptPofSIUvC2Bw0
35Ik/c8z4wDLNH46WWq4rCPxZrS/cdUc9iBQQwxLvwE+rOHyIwQwhUn5tIAfKJL6
IVsCuzzUgTQsc0qWBdhT134yoh4RqQbXfjQTDwArPRUgFP7Vh4XXDDmzP7CHMZ9P
eCL9AADP0RSvRsaoPVZK/JNAIDTEppuloZDR/tx45I8PrXhT5axzrt6GA1XjYV4H
2ONHQpMVwnAKZBRMa2XmqRHAIEIMreuqZ18aAomdAL5gz1SopnWjfdnQECAjvssf
DoVRl5IKjA9SbpVIptVD0QcFIAoE5C6HRXfMo9NbgxCyTLG99nrXdU2UKXB8LLwP
3dUzARBlVkppxiTZk5SSsffyfYNxZMnfor6vsFnRbjqG4x5hrIZw9C3lnOYq1Oek
Mdf5INIXTziscrfQs8/IbE+nvqWVhLN9kubwjOUNWP9Z2QZR+KgwPjqamY6szCJ6
jgttvAmwLqorBcpWhd0e5jCWllywF4jjKbXhgM7DELsaytOjMl0NpUeTQaLJ0n0w
lKfDHY9fF37X/Jdy7rGg+Jne02Q4envhE3xbbPZYHfbax6GwhIp+YznDHGUvrRNJ
B7uhdmBPucrg
=tBuS
-----END PGP SIGNATURE-----