The details in my original report are out of date, so here is the current state of this request.
The package on mentors is now 8.4+dfsg-1: dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.4+dfsg-1.dsc https://mentors.debian.net/package/esbmc/ The 8.3.0+dfsg-4 URL in my original report no longer exists. The packaging git is on salsa, not the upstream github repository I gave originally: https://salsa.debian.org/WeiqiWang/esbmc Two people have reviewed the package on mentors rather than here, and everything they raised is addressed. Bo YU (8 June): the changelog is now a single initial-release entry, Vcs-* point at salsa, Salsa CI is enabled, and the versioned LLVM and clang build-dependencies are replaced by the unversioned defaults. Seyed Mohamad Amin Modaresi (late July): the upstream version now follows the v8.4 tag rather than upstream's CMakeLists.txt, d/watch is the version 5 file he supplied, d/source/options is gone, and d/copyright declares a single ESBMC licence for Files: * rather than listing Apache-2.0 and BSD-4-Clause side by side. Built with sbuild against unstable, Salsa CI green. One disclosure I made on the duplicate bug #1141762, which belongs here too: I used an LLM to help with the packaging. I went back over all of it myself with the tools the manuals recommend, and I take responsibility for the current version. Two lintian tags show on mentors that do not appear with the lintian in unstable, both from the older lintian mentors runs: missing-debian-watch-file-standard, which does not recognise the deb822 "Version: 5" header in a version 5 watch file, and package-uses-experimental-debhelper-compat-version for debhelper-compat 14. Still looking for a sponsor. Happy to fix anything that comes up. Thanks, Weiqi ________________________________ 发件人: Debian Bug Tracking System <[email protected]> 发送时间: 2026年6月8日 10:22 收件人: [email protected] <[email protected]> 主题: Bug#1139283: Acknowledgement (RFS: esbmc/8.3.0+dfsg-4 [ITP] -- Efficient SMT-based Context-Bounded Model Checker) Thank you for filing a new Bug report with Debian. You can follow progress on this Bug here: 1139283: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1139283. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): [email protected] If you wish to submit further information on this problem, please send it to [email protected]. Please do not send mail to [email protected] unless you wish to report a problem with the Bug-tracking system. -- 1139283: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1139283 Debian Bug Tracking System Contact [email protected] with problems
