nixpkgs/pkgs/development/tools/metals
2021-02-24 11:34:46 -05:00
..
default.nix metals: 0.9.10 -> 0.10.0 2021-02-24 11:34:46 -05:00