Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Motivation for this change
Metals 0.8.0 (Cobalt) release
Metals 0.8 supports Java 11, but it doesn't require it, does it? I'm not very well versed in the conventions for this sort of thing with nixpkgs, but I wonder if it would make sense to keep the derivation the way that it was and let people choose which jdk they want to use. You could potentially change
I'm hoping a more experienced Nix maintainer can weigh in on this.