Accepted coq-elpi 1.15.6-4 (source) into unstable

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

Format: 1.8
Date: Sun, 13 Nov 2022 21:47:42 +0100
Source: coq-elpi
Architecture: source
Version: 1.15.6-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-elpi (1.15.6-4) unstable; urgency=medium
 .
   * Provide a better fix for the libelpi-ocaml depend.
Checksums-Sha1:
 7b9395bcab8ddbfe67cff8e17521ee66327e1d1e 2025 coq-elpi_1.15.6-4.dsc
 14560613f89ffe95736e5533c25b75eeee7377fb 3328 coq-elpi_1.15.6-4.debian.tar.xz
 4e332a2e764df612746110c9ffb36b272e86b711 7988 coq-elpi_1.15.6-4_source.buildinfo
Checksums-Sha256:
 d70e6aa81914d6fee02270119b92acf433a29fae1e7070bb9d1204c7bce0ef17 2025 coq-elpi_1.15.6-4.dsc
 6016dbb5360a9acab71fde948f34eda90154d6dbacbaaea36cf991613934a1f4 3328 coq-elpi_1.15.6-4.debian.tar.xz
 66d352649d6e277835175003c86333ec3d9ff4fe21c051e653d8ae2bf3ac000e 7988 coq-elpi_1.15.6-4_source.buildinfo
Files:
 07624b99c93d3d6f81e1f4b6751fee08 2025 ocaml optional coq-elpi_1.15.6-4.dsc
 d56ef3afd032eada835055463722873d 3328 ocaml optional coq-elpi_1.15.6-4.debian.tar.xz
 b7fdcfa7ccdf3b5bcc06a1101754b05a 7988 ocaml optional coq-elpi_1.15.6-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNxWBgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRr4sP/A61D51So1SyXFzwR5LIedOCLJr5bfJq
uM7bMdQGkOXFhPV1Ig3GvN56NBR0YJ5dfIZUGAt3cluy5G06l/WeGHVyHLOqJKzS
BWqd4V49UL0lc99om3Xm2v4+OSwoEEyaPfu9wbm2wP/D59flgF0L5zXzE+3lcS1p
oOhDmSBHym7Wzq0MJ7v5Mzls15dpn8fb5m/4fvO/eflwyKe3uhuXtnorEdVWz8EK
p9VbAXF+FTinD58MVqQ8CfKEQ79/szaSrVyR8j5i8r+iCckkFZp6p1LTr46AxKUG
zvTC0oRTTGqccE2NnOeMLYtHw1S2jSyaq1fFfEBcwnnNWevxMdhTFfcimVljsKfC
Gy3yMKDDXu8b8RF0QTYt3HTS4LNc0jXquXPHHl5wmatfwPOKIkvUEjuf8J1aE+MW
HHt0n5bQ83vt2VsfbKDMMIpuv1Lbmou8wFeQ9yQDJrawPx3izdSYHcrZ5CcNlNTk
D9nWaKF6+lpfYIiLl3t4ylU7KZGToj8KxbdJWZiZcUcwXV0MSPaynCcPlIgEV7aI
/OsSL6ssErmFRLvM3WlIzxC53Vlry8cJdtHK0HA07g7w8V2bLnK7BHCn4AcgFVYK
UPZ9uol72i6UMc4RcvqqU4WShKZL8L5M+4PaWvzq2f2UyKgfhlxi1m0vDNAF96kx
UDiEjO+s7JRW
=J83j
-----END PGP SIGNATURE-----