···
1
+
{fetchurl, optionalAttrs, system}:
# Following 3 files are snapshots of files that were downloaded from http://download.arduino.cc/
···
url = "http://downloads.arduino.cc/liblistSerials/liblistSerials-1.1.0.zip";
sha256 = "12n3y9y3gfi7i3x6llbwvi59jram02v8yyilv2kd38dm7wrqpw16";
81
+
// optionalAttrs (system == "x86_64-linux") {
"build/arduino-builder-linux64-1.3.18.tar.bz2" = fetchurl {
url = "http://downloads.arduino.cc/tools/arduino-builder-linux64-1.3.18.tar.bz2";
sha256 = "0xbzcmvfa1h22dlvym8v4s68w4r1vdq8pj086sk1iwlkfiq0y4zq";
···
sha256 = "0xm4hfr4binny9f5affnmyrrq3lhrxr66s6ymplgfq9l72kwq9nq";
95
+
// optionalAttrs (system == "i686-linux") {
96
+
"build/arduino-builder-linux32-1.3.18.tar.bz2" = fetchurl {
97
+
url = "http://downloads.arduino.cc/tools/arduino-builder-linux32-1.3.18.tar.bz2";
98
+
sha256 = "0b6ls31gaagni929v4isr8ivyviid37721ffhgw6mnb8vshcws2d";
100
+
"build/linux/avr-gcc-4.8.1-arduino5-i686-pc-linux-gnu.tar.bz2" = fetchurl {
101
+
url = "http://downloads.arduino.cc/tools/avr-gcc-4.8.1-arduino5-i686-pc-linux-gnu.tar.bz2";
102
+
sha256 = "07ql6apml1w5gy3ygd1wmj12yr8vg6p3pr8b1gd92wdk97svfj3n";
104
+
"build/linux/avrdude-6.0.1-arduino5-i686-pc-linux-gnu.tar.bz2" = fetchurl {
105
+
url = "http://downloads.arduino.cc/tools/avrdude-6.0.1-arduino5-i686-pc-linux-gnu.tar.bz2";
106
+
sha256 = "1vmzqvkg8z2xp3j5qypzyg26hgymy6vshs4vpax6mr5w4xlxccsr";
109
+
// optionalAttrs (system == "x86_64-darwin") {
110
+
"build/arduino-builder-macosx-1.3.18.tar.bz2" = fetchurl {
111
+
url = "http://downloads.arduino.cc/tools/arduino-builder-macosx-1.3.18.tar.bz2";
112
+
sha256 = "01m21r2blh3rwzmjgjn65hivlbj95ddqkjq5xm1yb4b5h3i03mfj";
114
+
"build/linux/avr-gcc-4.8.1-arduino5-i386-apple-darwin11.tar.bz2" = fetchurl {
115
+
url = "http://downloads.arduino.cc/tools/avr-gcc-4.8.1-arduino5-i386-apple-darwin11.tar.bz2";
116
+
sha256 = "00d9i1vg1zngcd3f52c6d7j2iffb0qs97a1pnag0czbk1pq3w6qi";
118
+
"build/linux/avrdude-6.0.1-arduino5-i386-apple-darwin11.tar.bz2" = fetchurl {
119
+
url = "http://downloads.arduino.cc/tools/avrdude-6.0.1-arduino5-i386-apple-darwin11.tar.bz2";
120
+
sha256 = "1rf3dwb4534qzn0gdpbh3155knx07hbbakvv67456s2q18xqvbs1";
123
+
// optionalAttrs (system == "armv6l-linux") {
124
+
"build/arduino-builder-arm-1.3.18.tar.bz2" = fetchurl {
125
+
url = "http://downloads.arduino.cc/tools/arduino-builder-arm-1.3.18.tar.bz2";
126
+
sha256 = "1v4vrmv24cajl7hxmyz5nh2y007kmwrcgl6180dlfwpc9526s4p1";
128
+
"build/linux/avr-gcc-4.8.1-arduino5-armhf-pc-linux-gnu.tar.bz2" = fetchurl {
129
+
url = "http://downloads.arduino.cc/tools/avr-gcc-4.8.1-arduino5-armhf-pc-linux-gnu.tar.bz2";
130
+
sha256 = "0jqmyamvvwiab6ag580h09zkxbpv6i5xn6ganj5b8ld6nwnwvzy8";
132
+
"build/linux/avrdude-6.0.1-arduino5-armhf-pc-linux-gnu.tar.bz2" = fetchurl {
133
+
url = "http://downloads.arduino.cc/tools/avrdude-6.0.1-arduino5-armhf-pc-linux-gnu.tar.bz2";
134
+
sha256 = "1d7n0jcc6670n803q57hzw8pvp9bmnca9c9fgw3fq5y1vd0i7si3";