nixpkgs/pkgs/development/tools/metals
2021-09-07 10:09:50 +02:00
..
default.nix metals: 0.10.5 -> 0.10.6 2021-09-07 10:09:50 +02:00