diff options
Diffstat (limited to 'pkgs/development/compilers/javacard-devkit/default.nix')
| -rw-r--r-- | pkgs/development/compilers/javacard-devkit/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/compilers/javacard-devkit/default.nix b/pkgs/development/compilers/javacard-devkit/default.nix index 88371406387..c9e9b34e6ee 100644 --- a/pkgs/development/compilers/javacard-devkit/default.nix +++ b/pkgs/development/compilers/javacard-devkit/default.nix @@ -62,6 +62,7 @@ stdenv.mkDerivation rec { For more details, please refer to the documentation by Oracle ''; homepage = "https://www.oracle.com/technetwork/java/embedded/javacard/overview/index.html"; + sourceProvenance = with lib.sourceTypes; [ binaryBytecode ]; license = lib.licenses.unfree; maintainers = [ lib.maintainers.ekleog ]; platforms = [ "i686-linux" "x86_64-linux" ]; |