Re: RFS: esbmc/8.3.0+dfsg-4 [ITP]

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