nixpkgs-suyu/pkgs/development/tools/metals
2022-08-29 08:14:31 +02:00
..
default.nix metals: 0.11.7 -> 0.11.8 2022-08-29 08:14:31 +02:00