Your message dated Thu, 20 Feb 2025 10:19:13 +0000 with message-id <E1tl3eD-00EOLt-HC@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 owner@bugs.debian.org immediately.) -- 1096244: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1096244 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: belenios: FTBFS: Error: Library "atdgen" not found.
- From: Lucas Nussbaum <lucas@debian.org>
- Date: Mon, 17 Feb 2025 17:31:15 +0100
- Message-id: <[🔎] Z7NkUyTg2q_kAvg-@grub.nussbaum.fr>
Source: belenios Version: 3.0+dfsg-1 Severity: serious Justification: FTBFS Tags: trixie sid ftbfs User: lucas@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=lucas@debian.org or: https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20250215&fusertaguser=lucas@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 ---
- To: 1096244-close@bugs.debian.org
- Subject: Bug#1096244: fixed in belenios 3.0+dfsg-2
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 20 Feb 2025 10:19:13 +0000
- Message-id: <E1tl3eD-00EOLt-HC@fasolo.debian.org>
- Reply-to: Stéphane Glondu <glondu@debian.org>
Source: belenios Source-Version: 3.0+dfsg-2 Done: Stéphane Glondu <glondu@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 1096244@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 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 ftpmaster@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-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@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-----Attachment: pgp_rCLmcTqCn.pgp
Description: PGP signature
--- End Message ---