Your message dated Mon, 03 Aug 2026 09:50:22 +0000
with message-id <[email protected]>
and subject line Bug#1143209: fixed in coq-elpi 3.5.0-2
has caused the Debian Bug report #1143209,
regarding coq-elpi FTBFS on riscv64: test timeout too short
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1143209: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1143209
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: coq-elpi
Version: 3.2.0-3
Severity: serious
Tags: ftbfs patch
X-Debbugs-Cc: [email protected], Julien Puydt <[email protected]>
User: [email protected]
Usertags: riscv64
https://buildd.debian.org/status/logs.php?pkg=coq-elpi&arch=riscv64
...
File "./apps/tc/tests/tlc.v", line 44, characters 28-47:
Error:
Timeout!
...
This is not the first time:
https://salsa.debian.org/ocaml-team/coq-elpi/-/commit/f346f34a6eefe389c0451dc9c4d78f90a880dc71
The attached patch fixes it for me.
Description: increase a timeout
Author: Adrian Bunk <[email protected]>
--- coq-elpi-3.5.0.orig/apps/tc/tests/tlc.v
+++ coq-elpi-3.5.0/apps/tc/tests/tlc.v
@@ -41,6 +41,6 @@ Module SlowExecution.
Lemma eq_existT_same_eq (A : Type) (P : A -> Type) (p : A) (x y : P p):
(existT P p x = existT P p y) = (x = y).
Proof.
- Timeout 30 Fail refine (@extensionality _ _).
+ Timeout 300 Fail refine (@extensionality _ _).
Abort.
End SlowExecution.
--- End Message ---
--- Begin Message ---
Source: coq-elpi
Source-Version: 3.5.0-2
Done: Julien Puydt <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 03 Aug 2026 11:22:28 +0200
Source: coq-elpi
Binary: libcoq-elpi
Architecture: source amd64
Version: 3.5.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libcoq-elpi - Coq plugin embedding Elpi
Closes: 1143209
Changes:
coq-elpi (3.5.0-2) unstable; urgency=medium
.
* Add patch to fix riscv64 thanks to Adrian Bunk (Closes: #1143209).
Checksums-Sha1:
b6ea86a67d1260156135d5b51f79edc075bc7bf7 2147 coq-elpi_3.5.0-2.dsc
0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz
e0482e55df81e7df88c900909345cbed3f15f921 5688 coq-elpi_3.5.0-2.debian.tar.xz
d4c1bda46fb72f64ecdf98659fcf71793d03ed5b 7787 coq-elpi_3.5.0-2_amd64.buildinfo
d4620882336506f9ed12dc4ef554ed84143513af 12845580 libcoq-elpi_3.5.0-2_amd64.deb
Checksums-Sha256:
4c057e013b6bc139ed30983003c26bccb9460352b0bb60414ffdbb18d307faf6 2147
coq-elpi_3.5.0-2.dsc
05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542
coq-elpi_3.5.0.orig.tar.gz
b26a065b00d74ec9fb0923293a1480a8e1bae6cebc200c10fc7418781888bfab 5688
coq-elpi_3.5.0-2.debian.tar.xz
35820f1a0098863d951b9b2c81d9e9506d7131e8563d5cbbe19dd066667ede1f 7787
coq-elpi_3.5.0-2_amd64.buildinfo
8add4d36bfd016cf9db0f2067f6473dadbc8d0d7955a9c516e47208e96e6573e 12845580
libcoq-elpi_3.5.0-2_amd64.deb
Files:
73fca47945f3c9bc1b8c31da677a81d1 2147 ocaml optional coq-elpi_3.5.0-2.dsc
718c1c9e066e9ee421093bdad1665b3b 1132542 ocaml optional
coq-elpi_3.5.0.orig.tar.gz
2ae86c6cce6907f8dacec89a8375334d 5688 ocaml optional
coq-elpi_3.5.0-2.debian.tar.xz
2cfdd1960e16d9d10141e16be45f0119 7787 ocaml optional
coq-elpi_3.5.0-2_amd64.buildinfo
bca4adfa386133476e1fd3bb8d614005 12845580 ocaml optional
libcoq-elpi_3.5.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwX6sZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS/zEACOa92Opq4fE/kTZyoTS2R9
n10ZUmKvYLOy14/CWcWF2jUPcRr2lBT4shkacRPcnZ/MBzRq8BNyUXIvYm/aM0mQ
Xe3kSzKEpMn4dHJCOplrjxGY/uymDzxAi1ZCrC04RdVB1UefNA4RsNXCFQn+/gga
wLpNK5TtF41egt+SEFJb56TTfOwG3M4aedGLt9/deihnrmYklSiTbWLc2Cc4BM4l
m1EQrHp5yiAL+QLpkOuOfRx/eLpkrYWcg6BpFphnH6H5JVyOe2UyuVYLLxT3SZLj
3K9oxxpKO6c4vFr6RdUq2OU0tyUqJHWF8x1oY2BjiYuhhTMGTEtVmY2CGdwS7enB
F6jJb896UPW/oN7pF3rLm66zEoelxkf0rk3w5wXvtZbx8YqsQyUozjjEaNT3fF7a
qMX0H3CinOl7WADEpq5LIink2X3/0u0AMvTqcKoEeCHMDr/HGReqVZEf2cFl/I9M
ZYYViW0U/RQFX3vtrkSJDmtUB1HHTPCiRWLib34kW+eEVDkLEjTjsMt8cltSdx+Y
OQ0KUISMbDiC0KhWqfZ5tjo66w4UQHdSztKojY/v7NBWOoxP/edfPzkwEB1651aV
B22Yjllp5yzbsMeZ525gbvEQmjbyt8k7UmqVjDVIaelikCi9j2MB/s5hhOqQq/DQ
MHqTq/V3Fk8JS1q0NN3HXA==
=tq1k
-----END PGP SIGNATURE-----
pgpkFA2xx01Ho.pgp
Description: PGP signature
--- End Message ---
