Accepted coq-reduction-effects 0.1.4-1 (source) into unstable

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

Format: 1.8
Date: Sat, 13 Aug 2022 06:57:30 +0200
Source: coq-reduction-effects
Architecture: source
Version: 0.1.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-reduction-effects (0.1.4-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 e41581b70d7acf9d3de228487dd070040485f887 2199 coq-reduction-effects_0.1.4-1.dsc
 b43dd0b132a2a8e1f3024ae6616f4ecf4d5862dc 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 cacabcb1832e47f1bcafa90f32c77c6b357f8c9c 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
 71b6ad71b030f51e772e0f8878ce22d8aa32b24e 7012 coq-reduction-effects_0.1.4-1_source.buildinfo
Checksums-Sha256:
 6213073f24ff5249d12f0eaeba7a82b46cdc9b41c1a59e14774268b4ddeb7383 2199 coq-reduction-effects_0.1.4-1.dsc
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 10edeb107ee0dfb25305886150b25adf1ca8d26661bbc71cd33c031c57ba1fb2 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
 7639806bd7253c9f71afd52d3d77c65f1b1b24e609fe6edf701748a4773fcd91 7012 coq-reduction-effects_0.1.4-1_source.buildinfo
Files:
 b32400aed6df1b57eb027c4c964cb575 2199 ocaml optional coq-reduction-effects_0.1.4-1.dsc
 1f6c0770a41952367eca4c137ea1783e 10292 ocaml optional coq-reduction-effects_0.1.4.orig.tar.gz
 8b7493c154ecdc9ff20e10d6bdb631e7 1472 ocaml optional coq-reduction-effects_0.1.4-1.debian.tar.xz
 d4576fe5c67815b35066dc0e8896827d 7012 ocaml optional coq-reduction-effects_0.1.4-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL3L1kSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRldYP/2908U5NO/drUeg2BiIVKp3QeafmPd54
DuYSCyBp6iFNzO614Yyefczxzy72RlcvdqqVtmvBR+9Eit5ls+sbAQcHLtbTpXfE
Luu9P6zJd51wRvzIEZrxeSuoJUj8MOrPPytsQfoqcPjvRdw7OXTsAw+hGhUCowxl
dzylGQUXs45ks0JF8BmYpaPExG2FOP9g/EyVnETl1oPWCSBaNN4+eeScL0oZdNeP
CRAu9b7rB8/fEVyA4CgRZl4Qdt7RnaVxesnOa1fHr/82z4rnlKgDgIi77szUV0Xa
I4yy6NAAqaS1Qa5y0rqOOJLJ5ApJ6NfeG5DL8uGQAqCdpkQWxzT81bns9R1spjea
Kef2O+hBBB3hgOl9jushdpvXWfdun8O51brioHKYi8/wtVwk8ur1U2oXxE8ZDp14
knDT7nOPf/fyO5dRmNRP50PLbiJXN6fDUrErwxWbTTu1SgDbj6NPpkyukZAhauX+
iUj0v+edX8yyZlVkt+vm6YUu+MACll+ZViea0TdWmJgRy6OGOxEoZ0yyyL+gspUC
SqF15mhjA9OZv0yd+suFEpeCnA7reJ+X5mWXm3L+EFcKcHgRLb5POMjCY+OcwjHR
txgR2lIdz/KCmCQhsGUo6wReaTUQP662jcB1HYkPBXFGagk+eeuo7uWapw1RAx8j
09Lri6UFCZwu
=uHz7
-----END PGP SIGNATURE-----