nixpkgs/pkgs/development/tools/metals
2020-07-03 18:50:01 +02:00
..
default.nix metals: 0.9.0 -> 0.9.1 2020-07-03 18:50:01 +02:00