Your message dated Tue, 17 Jun 2025 07:04:20 +0000 with message-id <E1uRQMm-00AuJr-Pc@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 owner@bugs.debian.org immediately.) -- 1107826: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1107826 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)
- From: Yue Gui <yuemeng.gui@gmail.com>
- Date: Sun, 15 Jun 2025 19:49:28 +0800
- Message-id: <[🔎] CAM5FbjpboVqcc6Z0chp5LCcJ6yytgK6opbq1mUWJNDyCZrq58w@mail.gmail.com>
Source: coq-elpi
Version: 2.5.0-1Severity: importantTags: FTBFS, patchUsertags: riscv64Dear 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: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-YueBest Regards
--- End Message ---
--- Begin Message ---
- To: 1107826-close@bugs.debian.org
- Subject: Bug#1107826: fixed in coq-elpi 2.5.0-1.1
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 17 Jun 2025 07:04:20 +0000
- Message-id: <E1uRQMm-00AuJr-Pc@fasolo.debian.org>
- Reply-to: Gianfranco Costamagna <locutusofborg@debian.org>
Source: coq-elpi Source-Version: 2.5.0-1.1 Done: Gianfranco Costamagna <locutusofborg@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 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) -----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-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-----Attachment: pgp0KfWl7OBaB.pgp
Description: PGP signature
--- End Message ---