This can be solved by adding avr-libc to the Build-Depends. This solution was successfully tested, here: https://github.com/marado/arduino-mighty-1284p/commit/aa8f32415372fc7e4b8850c4c05005ff3c1bd825#diff-d837a1c17de0268bcea321239ddbed47
Best regards, -- Marcos Marado -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org