Accepted coq-hierarchy-builder 1.4.0-6 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.4.0-6 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 26 Jul 2023 07:35:56 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.4.0-6_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.4.0-6
- 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=caTZtn/IaNygMJnYp6KTy3fooO6zKhYQhnEM4sCMivs=; b=V0kSsMb0++DqlmzMqAk3xWK75A bSoRARBWnyNMWOG5FwUKsSawKOVmwz8Q6hSZDHXO0Zlzb83YI9be9KTJpKSmgvzVSNOyXrqZp31z6 zib4fFI3hJRoA9+cASeSkRXui6WIZLJ1IjejoocLVd19urQJEuC5m0PI8BqTCS/Q7no7860ZA0WO5 fpP1ybPLg0+oSD4wewD0aOSyX+MVeoEJHFcNBzKbBF77mbqlpvtF2qAGXbyjhjsJs1h3/ac06ILIq vH75CzyutYO1A8X+8KdShcaYcVSRuDs1NG/D1GYQTGp9SWvQeJSJUKeIVYXXOeOp1OLeHuKBYBw8g R4lGnBog==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qOZ3s-002S84-Fv@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 26 Jul 2023 09:12:38 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1042022
Changes:
coq-hierarchy-builder (1.4.0-6) unstable; urgency=medium
.
* Add patch to work with recent elpi (Closes: #1042022).
Checksums-Sha1:
9f443721010424aee3f6ded595884e8f994dc458 2225 coq-hierarchy-builder_1.4.0-6.dsc
db9746390908a852d0dff676b91e6e1a954a1912 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz
5d874f77e887d33155edae7f8ab31dd7a0755456 8173 coq-hierarchy-builder_1.4.0-6_source.buildinfo
Checksums-Sha256:
d9bea7b89bf30e2eec47d6bc5105ebf706425288a21ab3680bc83bb6e1f7131d 2225 coq-hierarchy-builder_1.4.0-6.dsc
3fa5efbeafb78802ac649cb1f7ae93bdd1b13c38fcdb8a1736e8cc8de66e2232 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz
b6e30139d2a7b7a9b2c8c00410239b62dfea0f2f400e3e5ae9e92c4349b8df54 8173 coq-hierarchy-builder_1.4.0-6_source.buildinfo
Files:
d39d61e9244b7488fb3f562464628d47 2225 ocaml optional coq-hierarchy-builder_1.4.0-6.dsc
87647711a15046f5fb97a4c0692adeed 5616 ocaml optional coq-hierarchy-builder_1.4.0-6.debian.tar.xz
f0f6a4c5b8fe9ffd5435dd11821173aa 8173 ocaml optional coq-hierarchy-builder_1.4.0-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTAx44SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoQIP/2S6r8lAc8l+uuIb9i/ULX+Ptp5Y2rXi
hleqY+z6yihmv5JPtopi6g5Zxn03H21CvgfWIjE2hiFpRuBsuNS/hCgmpsfaHC01
ITJz0MIclYj9acZvT/sB5FTiN24Q/4h3lcOQS4bHMXSWRZ1IA1HUsFvy9QiUyYIG
Or9GHX3fVjUJM3vfdzbr+h85KKppOzZ92DBO8dOvDOn5qWg06mMDPPmLSQwDxCSF
3bvEjToBHdjBb02PDIIr2xBTB28ui2kuC8L0PG4TzsquksLApN3lJ/l1Ig9xb0xk
mZcVXckAGwfMex3pKjCPiSMFdzfkbKisnAROs+MHSzHhcC4QFAk3IXw9gx7wK1s0
L8/IhEMfAOUQ1ajT2uzfruJWxSmterMLIeX4PUoB7x+N3FeSDcbY10ZlpYJ6zZDE
FVKiZoEq6yooAf/ToAWkgV0pvZ3NZ8533cWamg8/0O7zQrrao7dI4xZd5MxRNHVJ
FBQ3oeTJvcwWTxCIihWp4Z1z5ky98Wdj1nB10y5raRvIGjMjLGm/2fBuXHNsvINX
0VOxEFYmeqWxegePOC6Lh3rjvzSBLJ/l33ByOSZ5yinMoyBiwl2ntBeEW89bDZ76
aemxnwn0nPsoO0An+aGBZF7JDFTT3BZ/mD3wDx43RSGlpfY5lzxhHVa8nP5OCKra
jcPH88eyLe0n
=TR1+
-----END PGP SIGNATURE-----