Accepted elpi 2.0.5-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 18 Dec 2024 12:07:57 +0100
Source: elpi
Architecture: source
Version: 2.0.5-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 elpi (2.0.5-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 435c90dc3ba0c08118ab9eafa6414410cf5292c2 2441 elpi_2.0.5-1.dsc
 83beb31ee00664639715368854ac2e9eba94022b 2639665 elpi_2.0.5.orig.tar.gz
 4da181e7e3df9975aea101242b6d5fb220538f21 4732 elpi_2.0.5-1.debian.tar.xz
 e4393805a67da4eb0a35ee5af08a84bd3866f891 11855 elpi_2.0.5-1_amd64.buildinfo
Checksums-Sha256:
 edca3fcf68a9fb9b43a055f52ae887d3cf1592c8e940bce3fd8d838182213ad0 2441 elpi_2.0.5-1.dsc
 387308e34a69f68b04383a59ba67eae1d3ae905b0e6bffbdb24f29e55b632a18 2639665 elpi_2.0.5.orig.tar.gz
 0bc941b43eef05037c4e163e62b459faf7679666845e6c091084eefcff308f60 4732 elpi_2.0.5-1.debian.tar.xz
 96eb35e66ea3e242bd9503a8e206831e3e4e1cc10cb55653b8126db26a6b8d57 11855 elpi_2.0.5-1_amd64.buildinfo
Files:
 c9cf73a56dcadde93aa1222b156cf458 2441 ocaml optional elpi_2.0.5-1.dsc
 532a0cbbeaa4d51a7aa0911a424d8336 2639665 ocaml optional elpi_2.0.5.orig.tar.gz
 8bd99f1057edecf6f76aef96a3539b88 4732 ocaml optional elpi_2.0.5-1.debian.tar.xz
 c72691d20b420a7f62c377bd8ed0607f 11855 ocaml optional elpi_2.0.5-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8FgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWSFD/9GF7ysd8lWpJDdNTvdnM8s
8trNJ7UGdXjufciOyKxb5RRtshjI4r6vMOSJbalpg+I7k6lGXUx3KsmOVPz1WEd0
3Q4mGclA5euwiRHaW0H0Otz1sOBf5e2LOBEhj9/ylA9LLZgyrcHzKN0K0yL/v2Ut
bXZsDVFxWdTRt7T38qgxdxIIxllrP7iqI9nhRwg7uuPX7w1IekaoGwkhLt5Ll3yq
dAYpSmv9KtwYu4g1sU4juzQMTWga4Zj1yXz3GZeUFwXe4RocHQXGgnUbUFFkn5kQ
HyfE2Kb6/XsDOAvsP4dngdr1gLFlnkWunG1koiSR9ynmjNlyYjRyEEfc96x0rydD
GCJgxuzPWpzE8TTd+M9vzSZ9WfB0dqlo51tQZbwOzoarOGPOdbjf2YIQML6RHxwz
+MYPyd7YAFUAeEcRnq87UIfTy4i3M7yWHPmgojc9LgH1u9/qztpKfKdQ5csaQQIk
rlne+XWyb4+ztjyG9uXifetFpSje8nT/4VCFkiL8j+BzW523IXVZ19w+M5zGWqQp
0IrfiBdslhHggZliC5LL9QjvjmKphYL5lgAeRG0LGsP0fbMtLslPYvZ1HDjV+FcF
ox/eXenNCtThr8CgKUwXs2lDTLcm1VuielCBWDsRVSn6lbIfrdIfZQmz13lxsCgE
y6X82ocP9Fav1lnjY9PqGw==
=o7ZU
-----END PGP SIGNATURE-----