Update desktop config

This commit is contained in:
Paul-Henri Froidmont 2025-08-07 15:30:59 +02:00
parent 2999862827
commit 29e5648e02
Signed by: phfroidmont
GPG key ID: BE948AFD7E7873BE
2 changed files with 8 additions and 2 deletions

View file

@ -50,6 +50,9 @@ in
};
};
environment.systemPackages = with pkgs; [ chisel ];
environment.systemPackages = with pkgs; [
(sbt.override { jre = jdk17; })
chisel
];
};
}