nixpkgs/pkgs/development/tools/metals
2021-04-21 19:56:22 +02:00
..
default.nix metals: 0.10.1 -> 0.10.2 2021-04-21 19:56:22 +02:00