Bug#561044: Already fixed?

[Raúl Sánchez Siles <rasasi78@gmail.com>]

  Hi:

  I wonder if this Isn't already fixed by the following:
https://packages.debian.org/sid/libnewlib-dev
https://packages.debian.org/sid/libnewlib-arm-none-eabi
https://packages.debian.org/sid/newlib-source

  If I'm correct, also available on Jessie.

  Regards,

-- 
     Raúl Sánchez Siles
----->Proud Debian user<-----
Linux registered user #416098