Accepted coq-stdpp 1.7.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-stdpp 1.7.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 21 Jul 2022 09:49:19 +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=zSeZthBTY3QUTItrzP/QXTV5X4ZzXOzNm1UEHF373jw=; b=cMWlURe0uM7oWeNpCHE3B+NVea uaASYgIs6ZRpbhfLjFhuxHkOCHIvs5RXT5+KbKwsrhNW5dHZtEBrT+MrIol1/vfkQBwnbRWN9cy/P BwZriaI7YnRpzZInDV1sYGI5gF6yVTK5t5jOyOGvPJ3K3BI2Exy+RxP1Tkdr6OERDf+ap2nrdEr2d EERRAS44d4pWjwbKlK79/aENjwVa8gwFOnVl65UZ7RCHYFvtsvx5yv3a4tIkQd82QXmNwW/pbt+D0 Vd4b7lcuezcSGAygDm8lweSgbejNvDMqwaeJZ4fw5V3oMaQUT5rBgbSARjgu7CDdnxIBfWY2REYP+ G7kPZtCw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oESo3-0001sX-BY@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Jul 2022 10:58:20 +0200
Source: coq-stdpp
Architecture: source
Version: 1.7.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-stdpp (1.7.0-2) unstable; urgency=medium
.
* Re-upload source-only for testing migration.
Checksums-Sha1:
536a5012e2cc577ea393a6c3b20b346e7875e544 2036 coq-stdpp_1.7.0-2.dsc
e512d9597345d322778505d0bbda3412d9e5164e 2272 coq-stdpp_1.7.0-2.debian.tar.xz
a242f07586c5058dde41fcb94a377442005f5304 6949 coq-stdpp_1.7.0-2_source.buildinfo
Checksums-Sha256:
a5748396a4a801c7eb50d3494ba26d8c2d154423b6baab1f7c3461c56d5ac230 2036 coq-stdpp_1.7.0-2.dsc
58aaf2025f6bfdd6f9083fd7e1c3774aaffc76cc82321f8ac42583c885f86071 2272 coq-stdpp_1.7.0-2.debian.tar.xz
72d677c9d6457836b2adb6ec45ef22484ef552ce68b278af2998d6f43b10577c 6949 coq-stdpp_1.7.0-2_source.buildinfo
Files:
b6e9f24e6f84322989db67d3112d2ca5 2036 ocaml optional coq-stdpp_1.7.0-2.dsc
2edafbcd93f9260b69617de748dfc7e4 2272 ocaml optional coq-stdpp_1.7.0-2.debian.tar.xz
d194cc4fc903976f09d46e010cc89047 6949 ocaml optional coq-stdpp_1.7.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLZF+QSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRzFEP/j99YX72AuxAA4uibH2QYT8du5QPXL/h
uCVqx85p0jutLv31D1C1xq1TM5ZgMXqvWZmGCg9/eqHNq1tFJCraCYu8v1TYh2GA
p/aftyjB1yTmK43HiC8FJzld803i4r0qM0yVieujz2dqMZLfw0hhffyZHZYl6Pgx
Y5oOcNQnmC1UbpE4GWVXjeRI0tA/LQw3ccLEhBWm/LPSYwu9w/JQpNiyUAHj2abs
cy76pZcKG/A9Tm8yoq6nFse1xZcBEINymThqJDOtGEk/Q6Q7bAcxIXz7Eaw6vFG9
nA5ElZrV61JiCcnpZCzHRLpnmeL0qba6iFocaf1xmNXWIx1xd1iZwRnFDgSdl4ur
A5EC0RqaeonM7kEBiCHHWjKYTuiG/l6HyTAO/ukjK8SMSuYGPhz3WBp/C9Bi3EJT
dSKJZasOtirdZd+t1ENs6Mj+FVFBdQZIS9p1ASPzyx5RGVI2y/b3yZO+M87KogK2
edw8I92t4nTXzAiCSNwTlP5Ya7hOZdjgnTfaSUuFcS5C1BqVa7W5E4R1GajJst3B
JFqnQrklapAYJWAA4OdtetaKhq7KQ/AjMNMiTrC6fu1ciV8zFbYoxoFSOBalyBle
4FN+R0D0cJvtNXoQpV95b8OYkO7QuiM1DJDJz/nMCsHSCwWuR1iKbhaeoRpnqxPp
hWxupcfzK5FZ
=HY7H
-----END PGP SIGNATURE-----