Dear mentors, This is a gentle follow-up on my RFS for esbmc (8.3.0+dfsg-4), sent on 2 June 2026.
The package is available on mentors.debian.net: https://mentors.debian.net/package/esbmc/ Lintian output for 8.3.0+dfsg-4 shows only experimental (X) tags ― no errors or warnings. If there are any concerns about the packaging or anything you'd like me to address before sponsoring, I'd be happy to make changes. Any feedback is welcome. Thank you for your time and for all the work you do for Debian! Regards, Weiqi Wang ________________________________ 发件人: 王炜奇 <[email protected]> 发送时间: 2026年6月2日 16:10 收件人: [email protected] <[email protected]> 主题: RFS: esbmc/8.3.0+dfsg-4 [ITP] Dear mentors, I am looking for a sponsor for my package "esbmc". Package name : esbmc Version : 8.3.0+dfsg-4 Upstream author : ESBMC Development Team <[email protected]<mailto:[email protected]>> URL : https://esbmc.org License : Apache-2.0 and BSD-4-Clause Section : devel It builds a single binary package: esbmc -- Efficient SMT-based Context-Bounded Model Checker ESBMC is a context-bounded model checker for the verification of single- and multi-threaded C/C++ and Python programs. It can automatically verify safety properties such as array bounds, pointer safety, and arithmetic overflow using SMT solvers including Z3. The package is available on mentors.debian.net: https://mentors.debian.net/package/esbmc/ ITP bug: https://bugs.debian.org/1138660 Lintian output for 8.3.0+dfsg-4 shows only experimental (X) tags; no errors or warnings. Regards, Weiqi Wang
