Bug#1143209: marked as done (coq-elpi FTBFS on riscv64: test timeout too short)

This is a multi-part message in MIME format...

------------=_1785750782-2653279-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

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.)


--=20
1143209: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1143209
Debian Bug Tracking System
Contact [email protected] with problems

------------=_1785750782-2653279-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.debian.org; 31 Jul 2026 19:58:50 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
	(2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-113.8 required=4.0 tests=ALL_TRUSTED,BAYES_00,
	DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,
	FROMDEVELOPER,MD5_SHA1_SUM,SPF_HELO_NONE,SPF_PASS,
	USER_IN_DKIM_WELCOMELIST,XMAILER_REPORTBUG autolearn=ham
	autolearn_force=no version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 31; hammy, 150; neutral, 38; spammy,
	0. spammytokens:
	hammytokens:0.000-+--Hx-spam-relays-external:sk:stravin,
	0.000-+--H*RT:sk:stravin, 0.000-+--Hx-spam-relays-external:311,
	0.000-+--H*RT:311, 0.000-+--H*RT:108
Return-path: <[email protected]>
Received: from stravinsky.debian.org ([2001:41b8:202:deb::311:108]:40036)
	by buxtehude.debian.org with utf8esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wptNZ-003Ee3-2m
	for [email protected];
	Fri, 31 Jul 2026 19:58:50 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debian.org;
	s=smtpauto.stravinsky; h=X-Debian-User:Date:Message-ID:Subject:To:From:
	MIME-Version:Content-Type:Reply-To:Cc:Content-Transfer-Encoding:Content-ID:
	Content-Description:In-Reply-To:References;
	bh=pwHA+2SdzkqAkeRxvmRBWGg+WzzvsChpShnq1On88zY=; b=Vmap8N3oIJYBo7oeqSo4SMVJ4m
	JYI2EtEo9KxSoMaaqxqRjXQTBkdUHisiCgtzZgt6n150HV3r7fLUE8B63zpq/O4Xa4vNCYzT22AkZ
	4mLKUbHuWqwqQCA8R5XBdROtPhghHI/9563MNz6+PLxL/K9QChWBYuOyXkUlV59xO4xKwTsHm8Rip
	glP6jYu9vDPHrvZhdtcEqaxrc+uaZYXwfLVCbQfa753UBvYmBehPOwxm+uA9ZyyKShQlL1DF2cBPE
	JVUxecnKbSJs1p8LulVqKSeuw1Ya+ztnL7/XbvGwSBTB9wBVGE+JdiXTezgNb5Ht1RO21WvqYVvrY
	7nlJ8y8Q==;
Received: from authenticated-user
	by stravinsky.debian.org with utf8esmtpsa (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wptNX-00AGjQ-2E;
	Fri, 31 Jul 2026 19:58:48 +0000
Content-Type: multipart/mixed; boundary="===============4207784620285299487=="
MIME-Version: 1.0
From: Adrian Bunk <[email protected]>
To: Debian Bug Tracking System <[email protected]>
Subject: coq-elpi FTBFS on riscv64: test timeout too short
Message-ID: <178552792660.3072156.4579689354052712090.reportbug@localhost>
X-Mailer: reportbug 13.2.0
Date: Fri, 31 Jul 2026 22:58:46 +0300
X-Debian-User: bunk
Delivered-To: [email protected]

This is a multi-part MIME message sent by reportbug.


--===============4207784620285299487==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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.

--===============4207784620285299487==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="increase_timeout.patch"

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.

--===============4207784620285299487==--

------------=_1785750782-2653279-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 1143209-close) by bugs.debian.org; 3 Aug 2026 09:50:24 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
	(2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-114.2 required=4.0 tests=ALL_TRUSTED,BAYES_00,
	DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,
	HAS_BUG_NUMBER,MD5_SHA1_SUM,PGPSIGNATURE,SPF_HELO_PASS,SPF_PASS,
	USER_IN_DKIM_WELCOMELIST autolearn=ham autolearn_force=no
	version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 109; hammy, 150; neutral, 130; spammy,
	0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK,
	0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload,
	0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo.
Return-path: <[email protected]>
Received: from mailly.debian.org ([2001:41b8:202:deb:6564:a62:52c3:4b72]:38688)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wqpJQ-00B7vl-0k
	for [email protected];
	Mon, 03 Aug 2026 09:50:24 +0000
Received: via submission
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=fasolo.debian.org,[email protected] (verified)
	by mailly.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wqpJO-00Gsss-36
	for [email protected];
	Mon, 03 Aug 2026 09:50:22 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
	d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type:
	Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID
	:Content-Description:In-Reply-To:References;
	bh=H15mTPNMxHBD399TUHI4+f8Jw4e3wr1Qtf87F7y5EK8=; b=gbHEBGrl62RT8ldJzVoegHhMK1
	tWsWMphix/5SImSPfZMbPJlneaeDk0vdi7O3rcoKVMRO4waQoKzZF3bB7Nr3ju3yhDKJ0ux0+eIQy
	ndyXORv3E0iGgPFSJ380MVGpX0gphReycnOX3b/OAkIdsbgAuZhhBVXmluYoSMQBHKSYmss6dSFd9
	0fHpUjUgxxw25FhSBpIFvd+eeVp0YbwpuJpIh5RJjXpMIDFR8sSOG2SBTnrV2O2pPncQv8iKz+PTZ
	GHDamb6QZOGZnoUUiNdXZwK/T8EPYGjsUcX0e97EPFMZvv6jSPU5VIzY2dvAy/V3w0flPKP+8Y9Of
	PxInh+jw==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
	(envelope-from <[email protected]>)
	id 1wqpJO-00000005mCe-0QgX;
	Mon, 03 Aug 2026 09:50:22 +0000
From: Debian FTP Masters <[email protected]>
Reply-To: Julien Puydt <[email protected]>
To: [email protected]
X-DAK: dak process-upload
X-Debian: DAK
X-Debian-Package: coq-elpi
Debian: DAK
Debian-Changes: coq-elpi_3.5.0-2_amd64.changes
Debian-Source: coq-elpi
Debian-Version: 3.5.0-2
Debian-Architecture: source amd64
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1143209: fixed in coq-elpi 3.5.0-2
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature";
 boundary="===============1262553979685344021=="
Message-Id: <[email protected]>
Date: Mon, 03 Aug 2026 09:50:22 +0000

--===============1262553979685344021==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

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=3Dmedium
 .
   * 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.buildin=
fo
 d4620882336506f9ed12dc4ef554ed84143513af 12845580 libcoq-elpi_3.5.0-2_amd64.=
deb
Checksums-Sha256:
 4c057e013b6bc139ed30983003c26bccb9460352b0bb60414ffdbb18d307faf6 2147 coq-el=
pi_3.5.0-2.dsc
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq=
-elpi_3.5.0.orig.tar.gz
 b26a065b00d74ec9fb0923293a1480a8e1bae6cebc200c10fc7418781888bfab 5688 coq-el=
pi_3.5.0-2.debian.tar.xz
 35820f1a0098863d951b9b2c81d9e9506d7131e8563d5cbbe19dd066667ede1f 7787 coq-el=
pi_3.5.0-2_amd64.buildinfo
 8add4d36bfd016cf9db0f2067f6473dadbc8d0d7955a9c516e47208e96e6573e 12845580 li=
bcoq-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=3D=3D
=3Dtq1k
-----END PGP SIGNATURE-----


--===============1262553979685344021==
Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCanBkXgAKCRCb9qggYcy5
IW4eAP4lGziywTp048JFs+O2tdHnnY6dTXzkW31+tj0MyTjhRgEAgPWeipah5Gw+
jXY3BfJUEwLL6ah1dkLWgYHXecrPFAc=
=nPDD
-----END PGP SIGNATURE-----

--===============1262553979685344021==--
------------=_1785750782-2653279-0--