nixpkgs-suyu/pkgs/development/tools/metals
2022-01-20 18:53:16 +01:00
..
default.nix metals: 0.11.0 -> 0.11.1 2022-01-20 18:53:16 +01:00