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 #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

No comments

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