Applying patches from upstream repository
Add bdepends on libisl-dev and libcloog-isl-dev. Add recommends on
libstdc++-arm-none-eabi-newlib in libnewlib-arm-none-eabi
Update debian/changelog file