esbmc (8.3.0-1) noble; urgency=medium

  * New upstream release 8.3.0.
  * Fix ExternalDependencies.cmake: gate fmt, nlohmann-json and yaml-cpp
    FetchContent behind DOWNLOAD_DEPENDENCIES=ON; add find_package() fallback
    so DOWNLOAD_DEPENDENCIES=OFF (used in distro builds) uses installed system
    libraries instead of fetching from the internet.
  * Extend LLVM/Clang Build-Depends and runtime Depends alternatives to cover
    versions 21 and 22 (cmake MAX_SUPPORTED_LLVM_VERSION_MAJOR is now 22).
  * Fix debian/copyright: update ESBMC upstream copyright year to 2026;
    correct Files glob for bundled ast2json from parser.py to
    src/python-frontend/libs/ast2json/*.

 -- Weiqi Wang <lukewang19@icloud.com>  Sun, 01 Jun 2026 00:00:00 +0000

esbmc (8.2.0-2) noble; urgency=medium

  * Add gcc-multilib [amd64 i386] to Build-Depends: required to build
    clib32.goto (32-bit C library goto binary) in c2goto component.
    Previous removal in 8.2.0-1 caused Launchpad build failure:
    bits/libc-header-start.h not found.

 -- Weiqi Wang <lukewang19@icloud.com>  Fri, 17 Apr 2026 00:00:00 +0000

esbmc (8.2.0-1) noble; urgency=medium

  * New upstream release 8.2.0.
  * Inline ast2json conversion into parser.py, eliminating bundled
    third-party source (Closes: Debian Policy §4.13 compliance).
  * Merge fmt::underlying compatibility shim into format.h for fmt < 9.0.0,
    removing need for a Debian-specific patch.
  * Merge DOWNLOAD_DEPENDENCIES=OFF system-library support into
    ExternalDependencies.cmake, removing need for a Debian-specific patch.
  * Move python3-mypy from Depends to Recommends: ESBMC degrades gracefully
    without it (type-checking warnings suppressed, verification unaffected).
  * Remove libstdc++-dev from Depends: dynamically-built binary only needs
    libstdc++6 (already provided via ${shlibs:Depends}).
  * Add CLANG_LINK_CLANG_DYLIB=OFF to cmake flags, linking against
    individual Clang static archives instead of libclang-cpp.so; this
    removes the need for -Wl,--unresolved-symbols=ignore-in-object-files.
  * Extend LLVM/Clang Build-Depends alternatives to cover versions 14-20.
  * Bump Standards-Version to 4.7.0 (no changes required).
  * Add Rules-Requires-Root: no.
  * Add debian/watch for uscan.

 -- Weiqi Wang <lukewang19@icloud.com>  Thu, 17 Apr 2026 00:00:00 +0000

esbmc (8.0.0+fix1-1) unstable; urgency=medium

  * Initial packaging of ESBMC v8.0 for Debian.
  * ESBMC v8.0: Python frontend with comprehensive type system improvements,
    dictionary support, string operations, and function contract support.
  * Add clang and libclang-common runtime dependencies for C/C++ verification.

 -- Weiqi Wang <lukewang19@icloud.com>  Mon, 26 Jan 2026 12:55:50 +0000
