Your message dated Thu, 20 Feb 2025 10:19:13 +0000
with message-id <e1tl3ed-00eolt...@fasolo.debian.org>
and subject line Bug#1096244: fixed in belenios 3.0+dfsg-2
has caused the Debian Bug report #1096244,
regarding belenios: FTBFS: Error: Library "atdgen" not found.
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.)
--
1096244: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1096244
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: belenios
Version: 3.0+dfsg-1
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lu...@debian.org
Usertags: ftbfs-20250215 ftbfs-trixie
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> make[1]: Entering directory '/build/reproducible-path/belenios-3.0+dfsg'
> dune build -p
> belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
> Warning: Cache directories could not be created: Permission denied; disabling
> cache
> Hint: Make sure the directory /sbuild-nonexistent/.cache/dune/db/temp can be
> created
> File "src/lib/shell/dune", line 6, characters 2-8:
> 6 | atdgen
> ^^^^^^
> Error: Library "atdgen" not found.
> -> required by library "belenios-lib" in _build/default/src/lib/shell
> -> required by _build/default/META.belenios-lib
> -> required by _build/install/default/lib/belenios-lib/META
> -> required by _build/default/belenios-lib.install
> -> required by alias install
> File "src/lib/core/dune", line 4, characters 30-36:
> 4 | (libraries base64 hex yojson atdgen re belenios-platform)
> ^^^^^^
> Error: Library "atdgen" not found.
> -> required by library "belenios-lib.core" in _build/default/src/lib/core
> -> required by _build/default/META.belenios-lib
> -> required by _build/install/default/lib/belenios-lib/META
> -> required by _build/default/belenios-lib.install
> -> required by alias install
> File "src/lib/question/dune", line 5, characters 19-25:
> 5 | (libraries yojson atdgen belenios-platform belenios-lib.core))
> ^^^^^^
> Error: Library "atdgen" not found.
> -> required by library "belenios-lib.question" in
> _build/default/src/lib/question
> -> required by _build/default/META.belenios-lib
> -> required by _build/install/default/lib/belenios-lib/META
> -> required by _build/default/belenios-lib.install
> -> required by alias install
> File "src/lib/v1/dune", line 7, characters 2-8:
> 7 | atdgen
> ^^^^^^
> Error: Library "atdgen" not found.
> -> required by library "belenios-lib.v1" in _build/default/src/lib/v1
> -> required by _build/default/META.belenios-lib
> -> required by _build/install/default/lib/belenios-lib/META
> -> required by _build/default/belenios-lib.install
> -> required by alias install
> make[1]: *** [debian/rules:13: override_dh_auto_build] Error 1
The full build log is available from:
http://qa-logs.debian.net/2025/02/15/belenios_3.0+dfsg-1_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20250215;users=lu...@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20250215&fusertaguser=lu...@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---
Source: belenios
Source-Version: 3.0+dfsg-2
Done: Stéphane Glondu <glo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
belenios, 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 1096...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated belenios 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: Thu, 20 Feb 2025 10:49:59 +0100
Source: belenios
Architecture: source
Version: 3.0+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Closes: 1096244
Changes:
belenios (3.0+dfsg-2) unstable; urgency=medium
.
* Fix build with atdgen 2.16 (Closes: #1096244)
Checksums-Sha1:
baf5a8073346a349a0f20927249216173789364f 2202 belenios_3.0+dfsg-2.dsc
ebf677ce714b0984bada2adc54b72a90019675f4 26924
belenios_3.0+dfsg-2.debian.tar.xz
Checksums-Sha256:
30909abc52388adb32accfc26ce3a032d43d56f00fa5f07901043666bc8b8259 2202
belenios_3.0+dfsg-2.dsc
c9dc9249e5e4a7c332162ee67d336fff1a9e571044f1a087966a4f575afa1ad9 26924
belenios_3.0+dfsg-2.debian.tar.xz
Files:
4ae5c171b6dc60adba93722ad799cabc 2202 misc optional belenios_3.0+dfsg-2.dsc
6619241b3cd8bf66fbaf8a0f9503f1e9 26924 misc optional
belenios_3.0+dfsg-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAme2/BoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBFZoH/3dV+eOSdar+J0zIgUJXoaV53DpqZdHI
CcZQbGadvE4ImNoQM6mLHcf7cTTQuS9iA+ZUBojsM7rsNuKd/j3UvPBe7fDiAK1s
HXtJfWmOlcWtSW84Y4ezB070hgAgIlnWgNXLX8RgOXkkFnH4N1/9x0t9SjFXQkMP
1hNjlsqmm0TgnsigWW9JybnJkcToxEF4Y6CCYuL/IgwOcYUxbsZUZ6XuJbXH2Q5D
AiBLzzdvAfxreDdmG27IOQWMI9manlCU9b28+DSR4kBDn2NnfQv/Ag4g1a5JW0Ay
TIjfL6lkXR0zshppqnYvibDSHQnnl2V2BWiRC8qs/fhbSD8Gkt4E6Z8=
=cHwb
-----END PGP SIGNATURE-----
pgpGFygW5IULN.pgp
Description: PGP signature
--- End Message ---
