https://buildd.debian.org/status/fetch.php?pkg=coq-elpi&arch=riscv64&ver=2.5.0-1%2Bb1&stamp=1749981311&raw=0

...
File "./tests-stdlib/test_API_env.v", line 338, characters 0-235:
Error:
too slow: 10.899094 < 10.000000
...

control: tags -1 patch pending

Uploaded to sid.
Note: I can't commit on git because 2.5.0 was never pushed there.

Note2: latest changelog entry was set to UNRELEASED. I changed to unstable

--- coq-elpi-2.5.0/debian/changelog	2025-03-12 08:06:26.000000000 +0100
+++ coq-elpi-2.5.0/debian/changelog	2025-06-17 08:59:01.000000000 +0200
@@ -1,4 +1,15 @@
-coq-elpi (2.5.0-1) UNRELEASED; urgency=medium
+coq-elpi (2.5.0-1.1) unstable; urgency=medium
+
+  * Non-maintainer upload.
+  * Enable again a patch commented on new release
+
+  [ Adrian Bunk <bunk@debian.org> ]
+  * Add 0001-Increase-a-test-timeout.patch
+    (Closes: #1107826)
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 17 Jun 2025 08:59:01 +0200
+
+coq-elpi (2.5.0-1) unstable; urgency=medium

    * New upstream release.

diff -Nru coq-elpi-2.5.0/debian/patches/0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch coq-elpi-2.5.0/debian/patches/0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch
--- coq-elpi-2.5.0/debian/patches/0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch	1970-01-01 01:00:00.000000000 +0100
+++ coq-elpi-2.5.0/debian/patches/0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch	2025-06-17 08:55:56.000000000 +0200
@@ -0,0 +1,26 @@
+From abafe4d5bb93f148d583f08656d7d657656ba8f7 Mon Sep 17 00:00:00 2001
+From: Adrian Bunk <bunk@debian.org>
+Date: Sun, 15 Jun 2025 13:49:54 +0300
+Subject: Increase a test timeout
+
+---
+ tests-stdlib/test_API_env.v | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/tests-stdlib/test_API_env.v b/tests-stdlib/test_API_env.v
+index 2d4a65be..21184901 100644
+--- a/tests-stdlib/test_API_env.v
++++ b/tests-stdlib/test_API_env.v
+@@ -340,7 +340,7 @@ Elpi Query lp:{{
+   coq.locate "Ranalysis5.derivable_pt_lim_CVU" GR,
+   std.time (coq.env.transitive-dependencies GR _ S) T,
+   std.assert! ({coq.gref.set.cardinal S} > 3000) "too few",
+-  std.assert! (T < 10.0) "too slow" % 0.5 here
++  std.assert! (T < 20.0) "too slow" % 0.5 here
+
+ }}.
+
+--
+2.30.2
+
+
diff -Nru coq-elpi-2.5.0/debian/patches/series coq-elpi-2.5.0/debian/patches/series
--- coq-elpi-2.5.0/debian/patches/series	1970-01-01 01:00:00.000000000 +0100
+++ coq-elpi-2.5.0/debian/patches/series	2025-06-17 08:58:01.000000000 +0200
@@ -0,0 +1 @@
+0001-Increase-timeout-in-test-that-takes-a-bit-longer-on-.patch

We believe that the bug you reported is fixed in the latest version of
coq-elpi, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1107826@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Gianfranco Costamagna <locutusofborg@debian.org> (supplier of updated coq-elpi package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Tue, 17 Jun 2025 08:59:01 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Closes: 1107826
Changes:
 coq-elpi (2.5.0-1.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Enable again a patch commented on new release
 .
   [ Adrian Bunk <bunk@debian.org> ]
   * Add 0001-Increase-a-test-timeout.patch
     (Closes: #1107826)
Checksums-Sha1:
 b2a73c0a2d1d9c71a96b8c50c76b6e5aa967b71c 2050 coq-elpi_2.5.0-1.1.dsc
 59ef755ab8aa7bdbf869be0654148472a75debe8 3900 coq-elpi_2.5.0-1.1.debian.tar.xz
 1b240b1b09103f651c091794adef8f55ecdf2e1e 7283 coq-elpi_2.5.0-1.1_source.buildinfo
Checksums-Sha256:
 d106a8f41c8cbd0c0b2466d9b7bb5feb7255d1f1fba76bf24c264354d462e8d0 2050 coq-elpi_2.5.0-1.1.dsc
 2ff9c8ec8dde19fdc52078ec342231128bf8f0d53f42a7f6e963279bc583849e 3900 coq-elpi_2.5.0-1.1.debian.tar.xz
 f5251ae36c69bd22072c108c5d96376f8511e09fd87f7aa04d7b7e07a8963ea4 7283 coq-elpi_2.5.0-1.1_source.buildinfo
Files:
 431d3f7be1bca601466b02705bd67a36 2050 ocaml optional coq-elpi_2.5.0-1.1.dsc
 0b1d46e0cc9d497ffca695f6ed5954d2 3900 ocaml optional coq-elpi_2.5.0-1.1.debian.tar.xz
 7eb3ca6524c76211314ad7fdba479562 7283 ocaml optional coq-elpi_2.5.0-1.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhREl4ACgkQ808JdE6f
Xdmrsw//c2CgTDZ+ajVssoj+shXnPQqwkZfTQvABXRx0nP8FlXUJioYTYX7IOuOt
ByTig5+G3QDYYdaFUd9OAJBlqvw5sIlPOWT+Yk5D+X72jzMi/i6fLSfucydx4RLh
A1nx2ECmfPLWKvADMSu7FEH9TW+DE7kioyIbm71lgTlf0+rWXkooAFxqnMAINskD
6vNEqj8rzbV8RiqnGpuQFWUqDwrJf0oIPasIvdyU1RoE4wJKTflSC8EOU8bhrfU7
tym41p+3BA3IlxKMiDKUrc1ogyqjGdrbpX+rf/8UqsvpaJWlD7lx18CfnuDfO2OG
PMBDbhmeBJxNdjlRusVpUhYhWq9+mbxBVxILIilAHw8Hk+lMutOb4qwAh6eqp5QH
lbtQ6Cbo/2xckngDk/Yr/nlFI1QdfJ3+piGJoFNT9JnwYRSuDCfG1Iv1OKkfqvcb
WEaMUYl5f+Gw7w8p8dA9brtTC3bHaiX+BLeuqyKwb0EjnneE3uOl/VNA1p6ybM/7
m1GzjocEnDnLq1Z5VXTjiUpvCUUTfNtOyrx4/IaaabMTc3FvzvX/+h6I9h3ySzPw
w6LiYA+Lp6LOKsb988Pf0UgvpEnqaIuUHoaSKUZ5GvDLfoIBzDSK8+xhA+CbIkue
Fq0qMvGDnRXcCfkuZQtXPXgXfpqDry6LEbt0RVJuDyv6e1kXI9M=
=0uF8
-----END PGP SIGNATURE-----