Bug#1040541: marked as done (elpi FTBFS on i386)
Your message dated Wed, 12 Jul 2023 11:05:09 +0000
with message-id <E1qJXef-005omO-0F@fasolo.debian.org>
and subject line Bug#1040541: fixed in elpi 1.16.10-3
has caused the Debian Bug report #1040541,
regarding elpi FTBFS on i386
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.)
--
1040541: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040541
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: elpi
Version: 1.16.10-2
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=elpi&arch=i386&ver=1.16.10-2&stamp=1688713585&raw=0
...
RUNNING sepcomp1 (simple separate compilation) dune
KO sepcomp1 (simple separate compilation) dune
RUNNING sepcomp2 (simple separate compilation) dune
KO sepcomp2 (simple separate compilation) dune
RUNNING sepcomp3 (separate compilation double naming) dune
KO sepcomp3 (separate compilation double naming) dune
RUNNING sepcomp4 (separate compilation double naming) dune
KO sepcomp4 (separate compilation double naming) dune
RUNNING sepcomp5 (separate compilation different processes (step 1)) dune
KO sepcomp5 (separate compilation different processes (step 1)) dune
RUNNING sepcomp6 (separate compilation different processes (step 2)) dune
KO sepcomp6 (separate compilation different processes (step 2)) dune
RUNNING sepcomp_perf (separate compilation perf) dune
KO sepcomp_perf (separate compilation perf) dune
...
------------------------------------------------------------------
Tests: 155
Passed: 148
Failed: 7
Skipped: 0
------------------------------------------------------------------
Log of the first failure: _log/dune+sepcomp1.log
------------------------------------------------------------------
executable: dune
args: exec tests/sources//sepcomp1.exe -- -I src/
Error: Thread.create: Resource temporarily unavailable
------------------------------------------------------------------
End log of the first failure: _log/dune+sepcomp1.log
------------------------------------------------------------------
make[2]: *** [Makefile:84: tests] Error 1
--- End Message ---
--- Begin Message ---
Source: elpi
Source-Version: 1.16.10-3
Done: Stéphane Glondu <glondu@debian.org>
We believe that the bug you reported is fixed in the latest version of
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 1040541@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated 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: Wed, 12 Jul 2023 12:22:35 +0200
Source: elpi
Architecture: source
Version: 1.16.10-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1040541
Changes:
elpi (1.16.10-3) unstable; urgency=medium
.
* Team upload
* Force STACK to a higher value for tests (Closes: #1040541)
Checksums-Sha1:
2877dc5f0a13f294435250ff123882a172f64bc0 2207 elpi_1.16.10-3.dsc
dcd0bbaa4b62d97aeded91c97e7eb4de548a2494 4244 elpi_1.16.10-3.debian.tar.xz
Checksums-Sha256:
f91c385cb89a1dbc393640f6805bd9d9cd14a1d19b13784836c05ced466cfdc3 2207 elpi_1.16.10-3.dsc
3e3aa459775050f2f066cec0f5d6d4b3260c8af292a091ffc1e904f2fc25ce0f 4244 elpi_1.16.10-3.debian.tar.xz
Files:
0da8310d6c34fa4b6d9ee63e0f0c0380 2207 ocaml optional elpi_1.16.10-3.dsc
12d6611dd925391ea3df7e36b347302a 4244 ocaml optional elpi_1.16.10-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSugI4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBscEH/1jYQCzzKrzY2cAgd7YLPzyim9jjLfDE
aRqI1ue4F8Gaw6aM8ezzE5QdEK3SYSX1BemaivifDNu69ISVfceLQIAaZow41/cR
GhwDG5WkONU60q4kyf9lOSFK7PprluakpGA6KaZA1MK0mahjkfeMvTW+Y9OzyWYo
Bql2oOLSHcPkEwtaKIc8V8dSpTqOG6vPEy7MLjK2vdZer75K7cqO9R7NI/xjpSn4
1OjI3P+eV5Fjjse/G8cc6VCyhtcflEh3o2wCzyFAddi3aXO+CCIgl3WkgdzykP6P
87P8b1Rg2onwtCkht24lkMovd/BNmuy9IU/uYP7Ig1Hhw56cPmsl5sY=
=M0Vk
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: