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