nixpkgs/pkgs/development/tools/metals
2020-07-16 23:31:28 +02:00
..
default.nix metals: 0.9.1 -> 0.9.2 2020-07-16 23:31:28 +02:00