diff options
| author | Robert Scott <code@humanleg.org.uk> | 2022-06-02 14:38:41 +0100 |
|---|---|---|
| committer | Robert Scott <code@humanleg.org.uk> | 2022-06-04 19:47:57 +0100 |
| commit | 3b6bc4b69ca7eec695291af31d8878071e0e084d (patch) | |
| tree | be1a2290fc8831c596bdf2b585b8677876ad9b29 /pkgs/development/embedded/arduino/arduino-core/default.nix | |
| parent | f1d7577cca9f9dac11994c694369e325943ab798 (diff) | |
treewide: set sourceProvenance for packages containing downloaded jars
these are the easily identifiable cases and will not be comprehensive
Diffstat (limited to 'pkgs/development/embedded/arduino/arduino-core/default.nix')
| -rw-r--r-- | pkgs/development/embedded/arduino/arduino-core/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/embedded/arduino/arduino-core/default.nix b/pkgs/development/embedded/arduino/arduino-core/default.nix index 71f3c884868b2..34f427d4fa71d 100644 --- a/pkgs/development/embedded/arduino/arduino-core/default.nix +++ b/pkgs/development/embedded/arduino/arduino-core/default.nix @@ -244,6 +244,7 @@ stdenv.mkDerivation rec { description = "Open-source electronics prototyping platform"; homepage = "https://www.arduino.cc/"; license = if withTeensyduino then licenses.unfreeRedistributable else licenses.gpl2; + sourceProvenance = with sourceTypes; [ binaryBytecode ]; platforms = platforms.linux; maintainers = with maintainers; [ antono auntie robberer bjornfor bergey ]; }; |