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

  * Team upload
  * Do not hardcode /usr/lib/ocaml

 -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 14:40:00 +0200

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

  * Team upload
  * Use ocaml_dune DH buildsystem

 -- Stéphane Glondu <glondu@debian.org>  Thu, 17 Aug 2023 09:29:55 +0200

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