Andrew/configuration
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

End workaround to Gubaer/josm-scripting-plugin#101

Browse source
This commit is contained in:
Andrew Kvalheim 2023-06-30 20:38:37 -07:00
parent 6bd691b627
commit abfbb00fdb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
common/packages.nix
View file

@ -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;