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).

 -- Weiqi Wang <lukewang19@icloud.com>  Thu, 09 Jul 2026 22:04:23 +0100
