nixpkgs/pkgs/development/compilers/mercury
Adam Joseph 6598663bd9
Merge pull request #192192 from amjoseph-nixpkgs/pr/mercury/jdk_headless
mercury: use jdk_headless to allow non-gui builds
2023-04-24 04:43:16 +00:00
..
default.nix Merge pull request #192192 from amjoseph-nixpkgs/pr/mercury/jdk_headless 2023-04-24 04:43:16 +00:00