nixpkgs/pkgs/development/tools/metals
2020-08-19 22:50:31 +02:00
..
default.nix metals: 0.9.2 -> 0.9.3 2020-08-19 22:50:31 +02:00