esbmc (8.4+dfsg-1) unstable; urgency=medium

  * Initial release. (Closes: #1138660)

 -- Weiqi Wang <lukewang19@icloud.com>  Wed, 29 Jul 2026 11:52:17 +0100
