Accepted coq-hierarchy-builder 1.4.0-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.4.0-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 05 Jul 2023 08:34:39 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.4.0-5_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.4.0-5
- 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=ciV47tBNsGTwFoqwKnEEqm9XNsZSzzErvdIvJgXPMFI=; b=aOKA+dXBfpzyO6OqEidpoNT5kJ iXkg/PWjduJ545lw7To8cGxrkLS0hH/igqjiKPEcnyWXBPUpNhmqVyiEpv/mHaJ3ot7WBSRXLsdoQ xfPXnjBgByAWU219N7t3W8RhA9s6/Fj5+7Hlqag9IZ6ElLba4uI6rAWyKCZkY9kdR4M5OtpmqaxCr Q8G3RArAGy0hBOrsfvGsCWdQDsbU6GSrOmTcIFPFrnkRjJGOL8Ah55WTy9SQ3lL7k5qN7o9E662DQ FGWAGubsTi1tjDpZqD2JmwZoDWmP+wLMBFlTLCDb5q/xQhP90LAo8ytfTDk8vWBOr976f02nsgmkc qHH0iSyw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qGxyB-0096bH-EO@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 05 Jul 2023 10:07:24 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-5
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-5) unstable; urgency=medium
.
* Fix abi issue.
Checksums-Sha1:
de0c8a1f71d448db02bcd80880d31ade7c08fc43 2225 coq-hierarchy-builder_1.4.0-5.dsc
f3ceeb791c9b0e19621effedce52e98fb6b7d626 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz
8b26c23dce83713c8eab831a7eb8cc4f75f8841d 8074 coq-hierarchy-builder_1.4.0-5_source.buildinfo
Checksums-Sha256:
91c4b8ebebf93d546d4e667f0f511108c20af7bfadaebf484c19f50a5dd7c6ec 2225 coq-hierarchy-builder_1.4.0-5.dsc
1afbf37d79907e732948cec6fcd59ca648a6859e1fd24e9dcc922ce319b61d21 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz
31a0fb36de2b3cd3e79f30571109d1d02d5ac483a1a50fe48454ab77f7d399f2 8074 coq-hierarchy-builder_1.4.0-5_source.buildinfo
Files:
815f5bb41ab1e36decb8c8694f37a6db 2225 ocaml optional coq-hierarchy-builder_1.4.0-5.dsc
4e90c6e72b01d3025150d7ef979af3ec 3744 ocaml optional coq-hierarchy-builder_1.4.0-5.debian.tar.xz
5cbf75a0c6aa67f87f92450ac84bba1e 8074 ocaml optional coq-hierarchy-builder_1.4.0-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlJNsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRklUP/AjYZEaq4X2rjxmWKR21758bVNa4qp4T
4LVk31TqEXXyXvZebvWae4nWmBqTqzFi0PW/kEYLjay7wrBSZOvCh5uu3nDGaroL
Mdvg4D09yVpTzADtEQwesGIatIx+uu0bcmMOxudUZ7WGPm7YSiCIASm0YOLkqJD4
nJTfmAF3+gvIVEYPpUcuODSG3MMVBpdo5KFz8ZsyESzRPb5WBttAvMZ5pWeq1HmN
2rj2OeX7QF2PlfOQziInLmZWHgi1pDQCrWfepKALkLTeMF7GiinrCEXA6tfcRXwh
bpMvSu0J+JAAE6cs00JLVAf41G9n6oX3FoM0rk3uInYiWcKXhuwJGcDXs14ffzMt
yYNmWrSqy1LUSD5FmsCxVH+eaPoD/U9Ot2ypJM9pd7dcBa3Cxf6rvj3PnHY+TRFK
4lXILWc7wh1RTV+haqvD6HOf9X3TsM8LWKheV1oL68Ti3pDQwS1fQsUDNPZGRR33
uh/TPqQ+N4tDleLSyFjLefqN+7rCadZ6f4xcTByJe4RjnVNxZYiBboVEWS41x9dl
k4T3wTC/mbrLbVxaONPW8Iai6nD83wcrT50W5dv5e0fGSqo8zgreiO2tNwbDc7kE
a8xNJyAxiPuoC9leJD/gfcrSFpLzdkLERsIdnCgS9/nGFff0uOa+9QTpSBZxHsbd
AmRGEAX8Zq9H
=BUsE
-----END PGP SIGNATURE-----