-----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-----
