coq-stdpp_1.7.0-2_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: