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