Hi, I've uploaded a refreshed esbmc to mentors; it builds cleanly on unstable now.
Since the last upload I cleaned up the build-deps -- dropped a few that esbmc doesn't actually use -- and bumped to debhelper-compat 14 as suggested and Standards-Version 4.7.4. Salsa CI is green on unstable. Lintian is otherwise clean; the long-line tags come from some Solidity source files in the test data, which are part of esbmc's regression suite, so I left them as-is -- they don't affect the binary build. dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.4.0+dfsg-1.dsc Packaging git: https://salsa.debian.org/WeiqiWang/esbmc I'll be upfront about process too: I used an LLM to help with some of the packaging. It turned out to be weak on the basic Debian rules -- it didn't know it should build with sbuild, for one -- whereas reading the manuals taught me a lot and pointed me at well-established tools that are far more reliable than an LLM. I went back over the work myself with the tools the manuals recommend and confirmed everything checks out. The draft started from LLM output, but I've reviewed and edited it, and I take full responsibility for the current version. I'll gladly accept any criticism, and I'm grateful to anyone willing to review it. Thank you. Still looking for a sponsor -- happy to fix anything that comes up. Thanks, Weiqi
