nixpkgs-suyu/pkgs/development/tools/metals
2022-06-03 16:54:33 +01:00
..
default.nix metals: 0.11.5 -> 0.11.6 2022-06-03 16:54:33 +01:00