kissat (4.0.1-1) unstable; urgency=medium

  [ Shengqi Chen ]
  * New upstream version 4.0.1 (closes: #1084868)
  * d/tests: add a simple autopkgtest

 -- Shengqi Chen <harry-chen@outlook.com>  Thu, 10 Oct 2024 19:58:39 +0800