Accepted coq-elpi 1.19.3-2 (source) into unstable

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

Format: 1.8
Date: Wed, 03 Jan 2024 08:51:24 +0100
Source: coq-elpi
Architecture: source
Version: 1.19.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 coq-elpi (1.19.3-2) unstable; urgency=medium
 .
   * Team upload
   * Increase timeout in test that takes a bit longer on riscv64
Checksums-Sha1:
 57e0c1a5e96c754012e1a17f91486f6ad0bee58c 1799 coq-elpi_1.19.3-2.dsc
 e01ad0f4a027a050542080e77d04ad03807d2b49 3644 coq-elpi_1.19.3-2.debian.tar.xz
Checksums-Sha256:
 e851d688fa688c52204df758763b03d779515598a0eb25c3d46618e3d17a0cb8 1799 coq-elpi_1.19.3-2.dsc
 677e3da1f8c02cdbce7262629722e6067ba1a584e8c23037dc62ab426724bf2f 3644 coq-elpi_1.19.3-2.debian.tar.xz
Files:
 a45de535dbef1d228396a27ba7afa135 1799 ocaml optional coq-elpi_1.19.3-2.dsc
 625a6b8f7351706efa29a2639693eea2 3644 ocaml optional coq-elpi_1.19.3-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmWVEpISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBG4UIAItcEHzKIzd+AK3eVgDtBnCpItTtQZsF
uFHeIsAlqJ4JeURqJsI/XDz5iii99KCbVmzvzA6jZIn96tOtw7ynh6519UNTgqwJ
xY4E0ihI4TX94CCUmDAfETbnsqTGQXQw1WlL2pFBz0pQ4e/On+b9KyZKTnQ2OOJc
BiPojp+X01rnUxRfaSTPL3TrRm8N3xRgJ3Ko8JRTEQByGfwoABkd3xeLa4VxqBog
OMLHrWbpTVcaxLi+va9TDaOswWjJVF8pGx8ji71k6MaO7vGpcvk3g6Rdj/Od9clY
/3hXQGLgF+E4r6duErv/0W0Gzz6Sx0nSU//SIlPa4ZztoAFzSwvZiYs=
=UH7J
-----END PGP SIGNATURE-----