Accepted:
-----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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)