debian/13.2-3

Bastian Germann

@bage

bcc43427 · Add libmpfr-dev build depends and Bump version · Nov 04, 2023

gdb-avr Debian release 13.2-3