* Moved all non-java bits to arduino-core (Closes: #613812) * Edited Makefile to compile libraries during Makefile builds. - debian/patches/makefile_libraries.diff (Closes: #594191) Thanks to Stefan Tomanek * debian/icons/* debian/arduino.xpm New icons, thanks to Peter Oliver.