nixpkgs/pkgs/development/tools/metals
2020-05-06 10:33:48 -07:00
..
default.nix metals: 0.8.4 -> 0.9.0 2020-05-06 10:33:48 -07:00