ppx-bench (0.17.1-1) unstable; urgency=medium

  * Initial release (Closes: #1132847)

 -- Stéphane Glondu <glondu@debian.org>  Mon, 06 Apr 2026 11:57:24 +0200
