psmt2-frontend (0.4.0-2) unstable; urgency=medium

  * Team upload
  * Fix build with recent dune

 -- Stéphane Glondu <glondu@debian.org>  Sun, 16 Jul 2023 08:22:10 +0200

psmt2-frontend (0.4.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1009116)

 -- Julien Puydt <jpuydt@debian.org>  Mon, 18 Apr 2022 16:38:48 +0200
