Accepted coq-elpi 1.13.0-7 (source) into unstable

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

Format: 1.8
Date: Sun, 17 Apr 2022 13:48:42 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-elpi (1.13.0-7) unstable; urgency=medium
 .
   * Made libcoq-elpi Architecture: all.
Checksums-Sha1:
 68358d7129c22074ae5d68bd3c7a597050b27860 2142 coq-elpi_1.13.0-7.dsc
 2fce95f62f2d24af0370d5db0805df45c2b76a7c 3052 coq-elpi_1.13.0-7.debian.tar.xz
 fbbaa7da40a7b98588f86ddd27b87975f983cc36 7157 coq-elpi_1.13.0-7_source.buildinfo
Checksums-Sha256:
 96d7bc65887795df53ca61c6efd13abd71df43ccff57e5a5c948fcba9c60defd 2142 coq-elpi_1.13.0-7.dsc
 96c1d9dff7c6797e9d386e3ecb0065d8848160c51ed48207942329804f76b0d3 3052 coq-elpi_1.13.0-7.debian.tar.xz
 f93b3d27f69a69649d6dee4f43fb3800b8573504aca46fd122d23f5d232b3aa6 7157 coq-elpi_1.13.0-7_source.buildinfo
Files:
 a500b6d7a0356df9a75512591ce65ffc 2142 ocaml optional coq-elpi_1.13.0-7.dsc
 9ce1c0e51aefbb2b6678ec744417f4cf 3052 ocaml optional coq-elpi_1.13.0-7.debian.tar.xz
 70d291c9e1b44e3b81cb4e1a84890f8b 7157 ocaml optional coq-elpi_1.13.0-7_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJb/q8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhl4QAIoEh0ik419MYcwQHPsVLY7TGWe9N99G
UqiRDggr0Qdf3bGQXPFt6X4T3SU9EtKseJiIFuHnOENF6wx5P65n2WRipwvtysoQ
ESiMj8kGAZ3AQM8b7A8s6vFkvzWk/4Z5aUOASVH4vtBd45MNjYvGpLpKE2llKmpV
RZ0fVpJFRYFb0YsY8ThqPKbUHDorz53dt1VzK6D8PWNEQ1w8ZVZ99gdqvHLSGMSW
m9fE2iVb/uhtHfTQ5zq4qMCNEkVAvaTciElOi6/OSzY8VUtCWayJ8B/XxQMWvf0L
LSHuFJKKWwgZiMq2pjRxnE6PYP6/1wgwJ/hMHyzw7l/gl1V+hijz+QMfcq86fXC1
fnFoX7mriqAfUHJWbfpkHPP3W9WMJdm98ovhhYUJ3WWKW2/U1HhGnP0d8g6BOoVv
4hZJL6/ORiRnV/TmdHLIozwvFcUn8Rla73zjZHNe9rXCUB+tCejMauQvgq2obtee
jgy3cJUfRC5W0E3KczunEO/wMPKKjVMbRtz4hIhCRtseMsavVkH03PAilCg2dbX6
HBg+jXLqdg1dxJ2lJC45AVFZj9VeOmsS98ZNufMT3lfQZvSoEU9Rn0qgCWYyNjFV
Kucy8F9GxC6AqAne6KUSxRwa9fyrG450KWrrTOToEMvi97K2iwDltjBWLxCzwNNZ
Fr09ZVMcfcPC
=MpOz
-----END PGP SIGNATURE-----