ppa-dev-tools (0.5.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1070719)

 -- Benjamin Drung <bdrung@debian.org>  Tue, 07 May 2024 21:56:35 +0200
