nixpkgs/pkgs/development/tools/metals
2020-03-20 13:22:33 +01:00
..
default.nix metals: 0.8.2 -> 0.8.3 2020-03-20 13:22:33 +01:00