Accepted coq-reduction-effects 0.1.3-2 (source amd64) into unstable, unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 19 Jul 2022 08:55:53 +0200
Source: coq-reduction-effects
Binary: libcoq-reduction-effects libcoq-reduction-effects-dbgsym
Architecture: source amd64
Version: 0.1.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-reduction-effects - reduction effects for Coq
Changes:
 coq-reduction-effects (0.1.3-2) unstable; urgency=medium
 .
   * Complete d/copyright.
Checksums-Sha1:
 8a24725624246e9bb6b1fe8cb5b947966aace73b 2199 coq-reduction-effects_0.1.3-2.dsc
 0b3b5a4f8186e5827b161d05d79c632f5505d0c9 10085 coq-reduction-effects_0.1.3.orig.tar.gz
 553f0a1da1b88d17c69db770515197a9c3635875 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
 43733dadbb5b133b4ffb7a7727e843f36c22fbb5 7540 coq-reduction-effects_0.1.3-2_amd64.buildinfo
 06386587b9f7a1dccecdad5b0b8ede699f4ecd8f 2828 libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
 d1bc2c703ce193744821c563df28ce95f1348544 13784 libcoq-reduction-effects_0.1.3-2_amd64.deb
Checksums-Sha256:
 b574236b425f1913b0d22dc1a30009255f914f2acb60e444037da48d8a06a12b 2199 coq-reduction-effects_0.1.3-2.dsc
 6eb953addeb5b70d608b62f1bb8e9b20ac67352cbf5a347fa8493b04070ffebe 10085 coq-reduction-effects_0.1.3.orig.tar.gz
 30df938c53d2d1de50ae893ac016a790c610717e4962378990828b50249931e0 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
 9ae4bb43302b533eee069a29d9720fda25e76fad8d13ee2d5fc6b0693cee1a67 7540 coq-reduction-effects_0.1.3-2_amd64.buildinfo
 8b7637bc334e28410cc099594b3b63c6848eb9ee2f8d397ba088e9aec7ae92d5 2828 libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
 bdaf55e48eda1394896de4f54b99da3518bad1cde0faa965b10c113acc76c825 13784 libcoq-reduction-effects_0.1.3-2_amd64.deb
Files:
 fd7ffbd51e912c6909aab8cbc35089db 2199 ocaml optional coq-reduction-effects_0.1.3-2.dsc
 d35d53ce952676472249feba84ac5c53 10085 ocaml optional coq-reduction-effects_0.1.3.orig.tar.gz
 268eb8cbb39894e4a87a0576673024c6 1444 ocaml optional coq-reduction-effects_0.1.3-2.debian.tar.xz
 9210ac0ce73095ad02efb760a4e26ca1 7540 ocaml optional coq-reduction-effects_0.1.3-2_amd64.buildinfo
 6c85d32883d1bce2e6c08c6931dca630 2828 debug optional libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
 328bf3cb518f89b056fbf4db4bf8f1cc 13784 ocaml optional libcoq-reduction-effects_0.1.3-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVckSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR31gQAJMrBE0hXbY30Yu7SVG3KzHe6TshdVM4
V0NfoaoeN7v9V/bVVi/LEttpCL8tzoObFkJFAfT8+fqTCrUsaGUWPQdFELBLSxF9
c20mZ+34tEn/A3vN6NmFfzpINePmNLxpWgBGTNqbmWVUYY1aKOMvwC17XjASMXd8
GmqZy7grHsrKOgUaWFLLDKnOjSfnXSKWQBoDWbKHjcvYa/Bj3HOfDyxIOMdTyx8P
w8oQJRu51STg2uLqwO2R9l3Y/MqI7LI7t3gJS6dY3jsPMhxABwCu/K752xsZhc4S
w0PDd2OVRtRBbnon3QbD9ZVEDE5rEQBIn8VvHLTZlLm07RN2B0pvPJ7dnYutj75o
xb263lbgLTG7mFYMUMYX7gfQaH1+/Z/oiScpMh63ITqqSIKeHy2QCYJh+EODK2Ph
/XGLSprFr9R6+TjLPFbOIdae/uLZRrfpeRtJI027QfhRAFAcG8tcggQPgimFKgy6
O4BDIXSMmJ8HNQYTIs6U6qP0yrD0DtUoQGBOf1yIr2u50XDwTlHNJIWyr2qqSZDe
39kopiWIyJvR3U3jlZ2FfCtVtgcuzlnWvyMiPAayIozfGJrsuvnsseFjKOerJFam
PiDom9b5HPxZ0seEMjkunYtU1SoHp3BXgtVj3v+UE4vPzyToWNA12Zr1tRKW2pdX
pYOosCK3/kyP
=PI4z
-----END PGP SIGNATURE-----