-----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-----
--==============†51848952041427906=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ9lr9gAKCRCb9qggYcy5 IVyBAPwKYHNKcfZyqGPWGfgj6fgcd+IoidCTHCO+uCMIFvSibAEA3XsNPg5FB6L2 lMWwdIH5J2d8vCk9un8zfoRNJZiorw4=pDL7
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)