-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:25:11 +0100 Source: coq-elpi Binary: libcoq-elpi Architecture: source amd64 Version: 3.2.0-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-elpi - Coq plugin embedding Elpi Changes: coq-elpi (3.2.0-3) experimental; urgency=medium . * Strenghten depends. Checksums-Sha1: 876a89c733a163b000dafd0a6a7d459b5ed27fb5 2087 coq-elpi_3.2.0-3.dsc 295271235b0384984a0442341e09c4d564d9fca4 3884 coq-elpi_3.2.0-3.debian.tar.xz fe30c3aa79aa0eb9a92fa476e2dd40be5a8fb4cb 7570 coq-elpi_3.2.0-3_amd64.buildinfo f27663bb49a226f4733b775c1ee0dd3a87bf1195 16899420 libcoq-elpi_3.2.0-3_amd64.deb Checksums-Sha256: ea1adbc9f0ccd66c297a69792e44eeda6b32fb6062319f935fd27636f512a889 2087 coq-elpi_3.2.0-3.dsc 9c4b95a939cafecd701c48e73f95262a9a249a6cfd601f52e8d4d66af749f71f 3884 coq-elpi_3.2.0-3.debian.tar.xz f0b19d2d70970df75d22e08317de5892c0de65c108b539948fcccbc620c72e7d 7570 coq-elpi_3.2.0-3_amd64.buildinfo b57926d2fd4a01ab520982e264572aaa14ad551bce36d9ae16c1507b2c962685 16899420 libcoq-elpi_3.2.0-3_amd64.deb Files: d6cd65582d8b56c94f3ca77c43674457 2087 ocaml optional coq-elpi_3.2.0-3.dsc 578f284a823aadde832502d72adde29a 3884 ocaml optional coq-elpi_3.2.0-3.debian.tar.xz 14d81ad577c5b4332b4b0d9f925564ed 7570 ocaml optional coq-elpi_3.2.0-3_amd64.buildinfo 4708e6990ed738c27a426193184091cb 16899420 ocaml optional libcoq-elpi_3.2.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTclQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdezD/98kfBWgTPMtHRHFAl590Lo t53uNRZr6ZCIvF1g9BjtCHbRnwQMf3UHqDgXp5bKRSuwYOlNf81NqlZEZap3G2qb xOFNrv76+CVTWPVybBjEZ2ItUcYFEJKJlBGj1myVjYtF3gEVldd0SOUp/YjBUDIX VeQ4Qt63ykkXFYWqskM/ZfDOS0BTHIy8JNk99ddv3DsUgU7SbMHH5f1Q0fZ1KSzs +WEZIdrYxzZ4/xdyq58Ey3d4GTExUsTcYBSMo9xF3LDNEQ/7sxTXboRrso2ebscg HCF9VDUm91NHUbkcDS1iGpEhoewLxpbTnxwvc7i2/aU8CvIZmmtRHYd2gEGw9/V0 qgn4vxwZo1vs6tFm6jo6sNwSZG4dYuXAZI0EJRpi7t38gAxYZ4zfTzf6FvpVXP1R 1v99wcdNjYH/8xyDUCx9C7oxf1Zv7cZeY3CRrDFcG73K9hwXv6F0u4GlZOCynFDc egWxcL6K2pqzIe1yYs01rGmg3L3j7R73R2Bl8DG5PtVxOGRA0vpBOmOxZDysTZwJ SwzUONIm8HpHWrvTHUtttezDRByp33PhVjkn1k51BKOsCDeBJNEoTgtTLs6FLloa K8hfFu96uEDScvOylw4GogVtucU7BklYvk1TNLQDh21kCsMINPxt5nkosEUl6XEw 0Q5k3L/HglgFcFYeHRbNFQ== =Fh9X -----END PGP SIGNATURE-----
