update metals to 1.0.0

gvolpe · Jul 29, 2023 · ae720fd · ae720fd
1 parent a94069d
commit ae720fd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/metalsOverlay.nix b/lib/metalsOverlay.nix
@@ -7,7 +7,7 @@ let
 in
 {
   metals = builder {
-    version = "0.11.11";
-    outputHash = "sha256-oz4lrRnpVzc9kN+iJv+mtV/S1wdMKwJBkKpvmWCSwE0=";
+    version = "1.0.0";
+    outputHash = "sha256-futBxdMEJN0UdDvlk5FLUUmcG7r7P7D81IhbC2oYn5s=";
   };
 }