-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 15 Feb 2025 15:21:18 +0100 Source: coq-elpi Architecture: source Version: 2.4.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (2.4.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: a92b58af3ce91452b0ff805da539427a42bb5aed 2079 coq-elpi_2.4.0-1.dsc 78e4fc8064c0e4a2588cf8564c6ddab8440a120d 734755 coq-elpi_2.4.0.orig.tar.gz bd3a213f7d39f459755b006aae7b981246876e61 3784 coq-elpi_2.4.0-1.debian.tar.xz e985ffd74241b082e44a0c77bcc8c8067c602dcb 7965 coq-elpi_2.4.0-1_amd64.buildinfo Checksums-Sha256: 8cac75aebdc316bd8c7ab43c1182083477038d1ab3b419b7aa6c9753a6924228 2079 coq-elpi_2.4.0-1.dsc 197cc82611cb9878f45b31bd6563903f10e41ac5851c37e16df48c8a72b0a268 734755 coq-elpi_2.4.0.orig.tar.gz b60c35288e69daff6173270b029a63a3120eaf9f930faba03c5c3458301e8f60 3784 coq-elpi_2.4.0-1.debian.tar.xz d3084edfda4255f062ccf98bf9c08ff0163f3e82078b1eed3eeb16a0adfddae7 7965 coq-elpi_2.4.0-1_amd64.buildinfo Files: 8dfa9d88ab83f119939508193ea75ad0 2079 ocaml optional coq-elpi_2.4.0-1.dsc caae6df5f32acc7cee281e63df8cf223 734755 ocaml optional coq-elpi_2.4.0.orig.tar.gz 8a8f68cbe5d766ef6bb33840573afc95 3784 ocaml optional coq-elpi_2.4.0-1.debian.tar.xz 2987ea98bc478b2f7a3d35a19e105431 7965 ocaml optional coq-elpi_2.4.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewroMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVW9D/wJynzr6gwJqzd1rPBA1G1S 3iFTUPRX9aFS66xFp87alkvXhZm/g3QmktjwsPxAGaOa02NUsGeZIt34I1+Lf8DJ U7E3XHYiE5jT1XlIa5DLk042Sf8KbIqnWJaopwX6PVXaoAcSZKmJhCreF011WNEl LmuGmSaFNEI4Xq3nNM2xPm4iIc9Tt9FDJw7DZCKZWDcQKj7p10RWhmmz8tmBjchm xDKdmVkU3sdLISSZq+dHvQ1bvPxNAreoGiQLm+xCVx6S1KyBYcTlSXVLHXSGhkqX Oduu5HceW+jTxCWBIGrMJQEdt5w7B5R+FCrtGu0hwsGYQquqm2cB/1XdfEwSLAs/ zG8gm2AsJXYdJw6EaQm1/4NKtjQPoy/y4WX9i4oN46d4DG4wQ6M4gSaSdD3a2kIy Dm/iyWr3zhWxRlzqlXDBjO4xRnZFzEIzatjxKNwdjHNSudjNqCG4UusZbLnSu5pr l/SiLlSPETqtxHzkY5nmmqocn6V+NSsnzIuB0qHwlj1OBRTTC56Vu55SE/zzqd31 dMfYqnh+80ZQcjBxZ8pXCg5b/8fgrYw8lI6u6dJNgP/3PlDJWkTyq1ozhbgCIP7X 98VkUGz0TuJ0hQDvwBqzL7Bza9fNol6vMxUreRXdll/foKJa17uTEtVs3j6nJitM bHqFDvp2rE/RbhfiEn3VZA== =72wP -----END PGP SIGNATURE-----