Sign me up Login

Details about package esbmc

Name: esbmc
Uploader: Weiqi Wang <lukewang19@icloud.com> (Debian QA page)
Description: esbmc - Efficient SMT-based Context-Bounded Model Checker

Package uploads

Upload #5

Information

Version: 8.4.0+dfsg-1
Uploaded: 2026-07-10 06:39
Source package: esbmc_8.4.0+dfsg-1.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://salsa.debian.org/WeiqiWang/esbmc
Vcs-Git: https://salsa.debian.org/WeiqiWang/esbmc.git
Closes bugs: #1138660

Changelog

 esbmc (8.4.0+dfsg-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1138660)
   * Repack upstream tarball to exclude prebuilt Qt test binaries and macOS
     metadata artefacts that have no corresponding source in the repository
     (see Files-Excluded in debian/copyright).

QA information

Comments

No comments

Upload #4

Information

Version: 8.4.0+dfsg-1
Uploaded: 2026-07-09 21:39
Source package: esbmc_8.4.0+dfsg-1.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://salsa.debian.org/WeiqiWang/esbmc
Vcs-Git: https://salsa.debian.org/WeiqiWang/esbmc.git
Closes bugs: #1138660

Changelog

 esbmc (8.4.0+dfsg-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1138660)
   * Repack upstream tarball to exclude prebuilt Qt test binaries and macOS
     metadata artefacts that have no corresponding source in the repository
     (see Files-Excluded in debian/copyright).

QA information

Comments

No comments

Upload #3

Information

Version: 8.3.0+dfsg-4
Uploaded: 2026-06-01 21:08
Source package: esbmc_8.3.0+dfsg-4.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git

Changelog

 esbmc (8.3.0+dfsg-4) unstable; urgency=medium
 .
   * 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.

QA information

Comments

  1. hi,

I do not have a deeply review, but this is not enough.

1. The package is not in Debian yet, so must keep one sentence on changelog: 
 like https://salsa.debian.org/Revy/xfel/-/blob/debian/latest/debian/changelog?ref_type=heads

2. it must to use Vcs-Browser of the Debian package in d/control, it is not upstream.

3. Then on repo for the package, to enable salsa-ci for it to see.

4. Do not need various version of clang, ideally to use the latest version.

Not to review more, but this is the most noted.

BR,
Bo
    Needs work Bo YU at June 8, 2026, 10:13 a.m. 
  2. Hi Bo,
Thank you very much for the review — sorry for the long silence. I did not know mentors would not send me email.
I have reworked the package (now 8.4.0+dfsg-1) and addressed all four points:

Changelog: collapsed to a single "Initial release" entry, since the package is not yet in Debian.
Vcs-Browser / Vcs-Git in debian/control now point to the Debian packaging repository on Salsa instead of the upstream GitHub repo: https://salsa.debian.org/WeiqiWang/esbmc
Salsa CI is enabled (debian/salsa-ci.yml) and the packaging is now maintained in the Salsa repository above.
Dropped the long list of versioned LLVM/Clang alternatives; the build now uses the unversioned default packages (llvm-dev, libclang-dev, libclang-cpp-dev, clang).

The new source package is on mentors: https://mentors.debian.net/package/esbmc/
I have also filed an RFS bug (sponsorship-requests). lintian is clean apart from pedantic long-line notes in upstream test data.
Thanks again for your time and guidance.
Best,
Weiqi
    Weiqi Wang at July 10, 2026, 6:39 a.m. 
  3. The RFS is #1141762: https://bugs.debian.org/1141762
    Ready Weiqi Wang at July 11, 2026, 8:59 a.m.

Upload #2

Information

Version: 8.3.0+dfsg-3
Uploaded: 2026-06-01 20:38
Source package: esbmc_8.3.0+dfsg-3.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git

Changelog

 esbmc (8.3.0+dfsg-3) unstable; urgency=medium
 .
   * Fix debian/watch: correct filenamemangle to produce upstream-expected
     filename format; add uversionmangle for pre-release tags; fix regex to
     require the leading 'v' tag prefix so uscan can locate upstream versions.
   * Bump Standards-Version to 4.7.4 (no changes required).

QA information

Comments

No comments

Upload #1

Information

Version: 8.3.0+dfsg-2
Uploaded: 2026-06-01 20:23
Source package: esbmc_8.3.0+dfsg-2.dsc
Distribution: unstable
Section: devel
Priority: optional
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git
Closes bugs: #1138660

Changelog

 esbmc (8.3.0+dfsg-2) unstable; urgency=medium
 .
   * Initial release for Debian (Closes: #1138660).
   * Drop Ubuntu 22.04 (Jammy) support.  ESBMC 8.3.0 uses std::unreachable()
     (C++23, <utility>), which requires GCC >= 12 or an equivalent standard
     library.  Ubuntu 22.04 ships GCC 11 (libstdc++-11), which does not
     provide this symbol; the Jammy build therefore fails at compile time with
     "'unreachable' is not a member of 'std'".  Upstream CI runs exclusively on
     Ubuntu 24.04 and does not test 22.04.  Users on 22.04 should build from
     source with a toolchain from the ubuntu-toolchain-r PPA (GCC >= 12) or
     upgrade to Ubuntu 24.04 (Noble).

QA information

Comments

No comments