nixpkgs/pkgs/development/tools/metals
2022-10-10 12:04:07 +02:00
..
default.nix metals: 0.11.8 -> 0.11.9 2022-10-10 12:04:07 +02:00