nixpkgs/pkgs/development/arduino/arduino-core
2016-12-02 11:31:01 +01:00
..
default.nix teensyduino: init at 1.31 (#20807) 2016-12-02 11:31:01 +01:00
downloads.nix arduino: fix 32bit build 2016-10-10 21:54:58 +02:00