Update objprog shell

This commit is contained in:
Charlotte Van Petegem 2023-02-03 11:57:52 +01:00
parent 5b65ba1eea
commit 7c778c3557
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -1,4 +1,4 @@
{ pkgs, ... }: pkgs.devshell.mkShell {
name = "Objectgericht programmeren project";
packages = with pkgs; [ openssl maven openjdk (python3.withPackages (ps: with ps; [ beautifulsoup4 notmuch pyyaml ])) ];
packages = with pkgs; [ openssl maven openjdk17 jdt-language-server ];
}