Package: sponsorship-requests Severity: wishlist Dear mentors,
I am looking for a sponsor for my package "esbmc": * Package name : esbmc Version : 8.3.0+dfsg-4 Upstream contact : ESBMC Development Team <[email protected]> * URL : https://esbmc.org * License : Apache-2.0 and BSD-4-Clause * Vcs : https://github.com/esbmc/esbmc Section : devel The source builds the following binary packages: 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. To access further information about this package, please visit the following URL: https://mentors.debian.net/package/esbmc/ Alternatively, you can download the package with 'dget' using this command: dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.3.0+dfsg-4.dsc ITP bug: https://bugs.debian.org/1138660 Changes since the last upload: * Fix debian/watch: switch to mode=git to bypass GitHub's JavaScript-rendered tags page; use dversionmangle to strip +dfsg and .0 suffix from the Debian version for comparison with upstream's 2-part tags (e.g. v8.3). uscan now correctly reports the package as up to date. Lintian output for 8.3.0+dfsg-4 shows only experimental (X) tags; no errors or warnings. Regards, Weiqi Wang
