nixpkgs/pkgs/development/tools/metals
2021-04-10 10:07:11 +02:00
..
default.nix metals: 0.10.0 -> 0.10.1 2021-04-10 10:07:11 +02:00