Your message dated Tue, 17 Jun 2025 07:04:20 +0000
with message-id <e1urqmm-00aujr...@fasolo.debian.org>
and subject line Bug#1107826: fixed in coq-elpi 2.5.0-1.1
has caused the Debian Bug report #1107826,
regarding coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 <
10.000000)
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 ow...@bugs.debian.org
immediately.)
--
1107826: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1107826
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coq-elpi
Version: 2.5.0-1
Severity: important
Tags: FTBFS, patch
User: debian-ri...@lists.debian.org
Usertags: riscv64
Dear coq-elpi maintainer,
The package coq-elpi build failed on riscv64 .The crucial buildd log below:
```
Warning:
File "./tests-stdlib/test_API_env.v", line 293, characters 30-32
UR is linear: name it _UR (discard) or UR_ (fresh variable)
[elpi.linear-variable,elpi.typecheck,elpi,default]
File "./tests-stdlib/test_API_env.v", line 338, characters 0-235:
Error:
too slow: 10.899094 < 10.000000
Raised at Exninfo.iraise in file "clib/exninfo.ml", line 79, characters 4-11
Called from Elpi_runtime__Runtime_trace_off.FFI.wrap_type_err in file
"src/runtime/runtime_trace_off.ml", line 2125, characters 6-9
Called from Elpi_runtime__Runtime_trace_off.FFI.call.aux in file
"src/runtime/runtime_trace_off.ml", line 2217, characters 25-87
Called from Elpi_runtime__Runtime_trace_off.FFI.call in file
"src/runtime/runtime_trace_off.ml", line 2299, characters 21-70
```
The full buildd log is here:
https://buildd.debian.org/status/fetch.php?pkg=coq-elpi&arch=riscv64&ver=2.5.0-1%2Bb1&stamp=1749981311&raw=0
My solution to this issue:
The error was caused by the failure of executing test_API_env.v.
Specifically, on RISC-V, the computation exceeded the preset time threshold
("too slow: 10.899094 < 10.000000"). Due to the characteristics of RISC-V,
this result may be normal. Would it be possible to consider increasing the
time threshold to resolve this issue?
Gui-Yue
Best Regards
--- End Message ---
--- Begin Message ---
Source: coq-elpi
Source-Version: 2.5.0-1.1
Done: Gianfranco Costamagna <locutusofb...@debian.org>
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 1107...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Gianfranco Costamagna <locutusofb...@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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
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-ma...@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofb...@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 <b...@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-----
pgpKxq4ZjwL14.pgp
Description: PGP signature
--- End Message ---
