debian/2025.0.0-2

Nicolas Boulenguez

@nicolas

ec96f2a4 · Update changelog · Dec 30, 2024

gprbuild Debian release 2025.0.0-2