alexcardell 7d58f6b978 metals: 1.0.1 -> 1.1.0		2023-10-24 13:04:31 +01:00
..
default.nix	metals: 1.0.1 -> 1.1.0	2023-10-24 13:04:31 +01:00