Jade 430100bf30 teensyduino: 1.40 -> 1.45 ... Bumps teensyduino version, simplifies building, and fixes a build error		2019-03-06 01:40:09 -06:00
..
default.nix	teensyduino: 1.40 -> 1.45	2019-03-06 01:40:09 -06:00
downloads.nix	arduino: 1.8.2 -> 1.8.5	2018-01-07 15:45:46 +01:00