Loading
metals: use fixed-point mkDerivation
This allows for instance for extraJavaOpts to be correctly overridden without needing to also implement the installPhase.
This allows for instance for extraJavaOpts to be correctly overridden without needing to also implement the installPhase.