nixpkgs/pkgs/development/embedded/arduino/arduino-core
..
default.nix
downloads.nix