-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Mar 2025 08:06:26 +0100 Source: coq-elpi Architecture: source Version: 2.5.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (2.5.0-1) UNRELEASED; urgency=medium . * New upstream release. Checksums-Sha1: 77df0f34b79e666af77527f8d9d79f53c26ca3de 2080 coq-elpi_2.5.0-1.dsc 39767838b809bd36739d7e4edf5a03d58881da67 745968 coq-elpi_2.5.0.orig.tar.gz d75d9470b4b81814d17e56502492eb99032e3db3 3308 coq-elpi_2.5.0-1.debian.tar.xz 7c5bde5f7511c314d253aa51d2921ba53381f510 7965 coq-elpi_2.5.0-1_amd64.buildinfo Checksums-Sha256: 0515cdf0f8ba20d24d987ce6bdbc562c53130a8c7824311121ba041f783034a4 2080 coq-elpi_2.5.0-1.dsc ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce 745968 coq-elpi_2.5.0.orig.tar.gz 3607cdf9f8a26ea92038b0909e5f27bdf67eedd39ce07181833770124d95303e 3308 coq-elpi_2.5.0-1.debian.tar.xz da7ae1264cbb594ab5a2a5768a67da5d4a47e0f0880a4100e17ae8368b15ffe4 7965 coq-elpi_2.5.0-1_amd64.buildinfo Files: 0fc51cf19c551c415980915901d2f7be 2080 ocaml optional coq-elpi_2.5.0-1.dsc 43f614e71f48f10222a5f8b4023a3e23 745968 ocaml optional coq-elpi_2.5.0.orig.tar.gz 1a8f076b7682f3f6c3665a754f54f62d 3308 ocaml optional coq-elpi_2.5.0-1.debian.tar.xz 1fa799a58b2df5701cdba00aca5c0ac3 7965 ocaml optional coq-elpi_2.5.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZNUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTG8D/9xm6qc8VNz87ZDNnvCRWU2 6lMwuYjNFq3/Vk+OepxfcXG1d/Cx1qXFx+yOGo5zDmFs/6NZpHVMjU5NU06zUjdC Q9LbAU08ALkbCGi18rOT16zNBuYsu8Ee8mByVT4ueMUol9LaJl5tLECj5bnpBqm7 sqUOq4sLTlfqH7tIFJWxHrYQOYRnw3fupCaNyOdI46DWagOvOlDNVBt5oPVH0Pcg qB3zQW9sMuQjDQrJL+iLNQArEuQvQmAEFORiQkZXhvN8ugM4nCZCmpPvCZUD+SbD JbSbzNAds4ia9EdSBQw57mwfciGJvpn93pasP9/5tWvY/AWYc5RJ8/F5hXOpfMKH QZZTOECOB/tOw0SCZAJ1+tIHqNRfVJi2vtdTSsIzpAnGmJbO0do457hCQ0HepDEg eR5oV1jPaj8ZvAVYVMWVuBQLfIeqOapHHfnItjRT//msDt6QYJ850PsNvcJhDPD5 aaXTDVDpZeyOeFabvcBMae8M3FRyPYzh1QfLs/K9DOkBft/Sr+iXloV36SSnNBn9 7OHKMii9gk0DWkXDVaS901QSsrtbq7myozaFgeM0pW3S/37I4h1Sr88nykqbd5Zb eBzoSxNWPl/j0bAmzIFgp2DjDWdadsCMUs2BZSxXodvlL0uKWY7g/qijmXghnu9i QXLLXMRqD8fhdySUckx6hA== =Ipyq -----END PGP SIGNATURE-----
