maven-plugin-tools (3.7.1-1) unstable; urgency=medium * Team upload. * New upstream release -- Emmanuel Bourg <email address hidden> Tue, 31 Jan 2023 13:22:41 +0100