-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 12:58:14 +0200 Source: coq-elpi Binary: libcoq-elpi Architecture: source amd64 Version: 3.4.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-elpi - Coq plugin embedding Elpi Changes: coq-elpi (3.4.0-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 254899fed9408f5cb5faefbf88135ffa155705e3 2135 coq-elpi_3.4.0-1.dsc 97e7f88c2df0f01418fc9db8bb0df966fa52d910 1113403 coq-elpi_3.4.0.orig.tar.gz 11606eb0ccdabd32ee5c9cb431b9a9da5de4316e 3676 coq-elpi_3.4.0-1.debian.tar.xz 20d7aad5f70974ebb3209641740c321e25f0186f 8326 coq-elpi_3.4.0-1_amd64.buildinfo 8fd030e4eeec7be8c099385acaa3d9348e435130 12791576 libcoq-elpi_3.4.0-1_amd64.deb Checksums-Sha256: e42883fa9a78e919d49b7c9b02e159aa7495b7b8d65a2c46a3726af81e42f1f8 2135 coq-elpi_3.4.0-1.dsc bf40b908ed30bc2d5ee9e5b1f084e10a059d8360eb7b8b22750aefc3bffa4a7a 1113403 coq-elpi_3.4.0.orig.tar.gz 25a1fbbdfc6ae9647ce43955af09cb4a5f6fd848e9baa91705ecbcfd8e2a850c 3676 coq-elpi_3.4.0-1.debian.tar.xz 7e8ac5c64e4313566dd35894a3455bce519dfdcbf9ec6ef0f823ae337f7d66f2 8326 coq-elpi_3.4.0-1_amd64.buildinfo 281c76ee40974b11ae7bd887b5123127510457f67aa5baae2878032a414ae795 12791576 libcoq-elpi_3.4.0-1_amd64.deb Files: 0cd2a574e2eaec7a76e182fb18469be6 2135 ocaml optional coq-elpi_3.4.0-1.dsc 4b98b790f288a6158288583bab708725 1113403 ocaml optional coq-elpi_3.4.0.orig.tar.gz fbd11deadb97ee26e7868a6baf74f5f0 3676 ocaml optional coq-elpi_3.4.0-1.debian.tar.xz 2be6acca8361f8cea7d32b8ec0d6350d 8326 ocaml optional coq-elpi_3.4.0-1_amd64.buildinfo 51b8c1e28fc3771c940e1cd8aaa287f1 12791576 ocaml optional libcoq-elpi_3.4.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQ0YwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUJIEACFynctMS2L3FGj0srZCbxx 3VT4ytW9P56EI5jRIgjtNTzQADOQ7LTotmYEqoNo4OqA+zZpNJlfwJjXACm42eYK XElZH2AECeMYHzwJx20fClOD4WqEVEQTnC3I9zbWPPtoH5cp9kCI732nlDVYfX1N /6bEjPQH7W/nPvak86eDTlMB16yLg/DwojJ4g33V+J2WfeZLQFi92sBeUBNe0IyJ 4Zap3s5DaZFJ1iquqM5oRDGFkRK39FKt4XrKK1DYJZwEFFCv7dlyPh0FYOUT9cs3 pFC6QTpg1FM5H4BhttzH+8pkOt6qDNyAmi3IxrbZ+no1F6mMm3hpGu5D6HU/mZzv 12If9J+r0A3zquJEPry4aPQGaPyMNJhnNxGp4PCRTd0nmoQ0K4emofet2R9lCd2u 35U0WBO2EGvliurncribB2TiCq8B9lUIS4SdyCXStB3O8aEsT5/E/mhb3Oxva4B8 68PLUDTKgN1qalYk5Z5t2elB5Lz5vKB1Iwnum+PWfl4J/GBP9Ogl0Q7w9gohWOj/ GT3Ukcomq1UIO0ghz4pyF2+TIkZQME6RHiRcC4JTExLMBRcvLtN9ty8nxDau8805 2/YKubcIJLT3B44uG+yBX6w8pDVOxmE1OJeXzkScMA4odT0UkNEui8smfp28LRaQ KkNiXsaI0q/INQmajZ3bLQ== =Vnl0 -----END PGP SIGNATURE-----
pgpFH3a_yzvTr.pgp
Description: PGP signature
