From abfbb00fdb32a16e4e1c18c363e713223d6ee2a6 Mon Sep 17 00:00:00 2001 From: Andrew Kvalheim Date: Fri, 30 Jun 2023 20:38:37 -0700 Subject: [PATCH] End workaround to Gubaer/josm-scripting-plugin#101 --- common/packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/packages.nix b/common/packages.nix index 389eb9d..1640e8c 100644 --- a/common/packages.nix +++ b/common/packages.nix @@ -31,7 +31,7 @@ specify { ios-safari-remote-debug-kit = any; ios-webkit-debug-proxy = any; iosevka-custom = any; - josm.jre = (specify { graalvm17-ce = { version = "22.1.0"; search = pin "34bfa94" "sha256-yqLXI+viN5+Vx5YpG9gNapKL3/+P6Pkprc36xNdyqSU="; }; /* Pending Gubaer/josm-scripting-plugin#101 */ }).graalvm17-ce; # josm-scripting-plugin + josm.jre = (specify { graalvm17-ce.products = with stable.graalvmCEPackages; [ js-installable-svm-java17 ]; }).graalvm17-ce; # josm-scripting-plugin josm-imagery-used = any; mcaselector = any; minemap = any;