Thank you for your contribution to Debian.



Accepted:

-----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 <[email protected]> Changed-By: Stéphane Glondu <[email protected]>
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-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)