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	…