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 <b...@debian.org> ]
+ * Add 0001-Increase-a-test-timeout.patch
+ (Closes: #1107826)
+
+ -- Gianfranco Costamagna <locutusofb...@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 <b...@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
