nixpkgs/pkgs/development/tools/metals
2020-03-19 20:21:39 +01:00
..
default.nix metals: 0.8.1 -> 0.8.2 2020-03-19 20:21:39 +01:00