Project moved

For those who subscribed this repository:
The repository has moved and a working version is available:
arduino/Arduino#4457

Arduino IDE 1.6.7

See this post for more information:
arduino/Arduino#3549 (comment)

This git branch just functions as a place to upload the binaries.
4316e2f

This is a compiled binary at "some" hourly build state. It also contains a minor HID PR improvement. Make sure to read the installing instructions above, since there is a little patch that needs to be applied before using the IDE.

1.6.0 RC-1 Arduino IDE for Raspberry Pi B/B+/2

This is the Release candidate of the Arduino IDE 1.6.0 number 1.
The .deb files are attached to this release. Do not use the files in the repository.
This release was added after the 1.6.3 Release, since it doesnt work for me and I am shutting down the dropbox files.