Hi Michael, I have packaged ESBMC for Debian and I am looking for a sponsor. The RFS bug is #1139283, and the package is on mentors:
dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.4+dfsg-1.dsc https://mentors.debian.net/package/esbmc/ https://salsa.debian.org/WeiqiWang/esbmc I am writing to you specifically because you maintain cbmc, boolector, minisat2 and picosat. ESBMC is a bounded model checker forked from CBMC some years ago, and it uses boolector as one of its solver backends, so it sits in the same corner of the archive as the packages you already carry. The Debian build currently enables Z3 only, to keep the initial package simple. State of the package: it has been through two rounds of review on mentors and everything raised is addressed, it builds with sbuild against unstable, and Salsa CI is green. It is a single binary package. Two things I should be upfront about. This would be my first package in Debian, so it needs to go through NEW. And I used an LLM to help with the packaging, then went back over all of it myself with the tools the manuals recommend; I take responsibility for the current version. So the question: would you be able to sponsor the upload? If it is not something you have time for, could you point me at a DD who might be willing to look? Either answer is genuinely useful, and I am happy to make any changes you want first. Thanks, Weiqi Wang
