chore: add cargo-release to dev shell

leanprover · Jul 3, 2023 · fd3b0dd · fd3b0dd
1 parent de7aaa3
commit fd3b0dd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -11,6 +11,7 @@
           nativeBuildInputs = with pkgs; [
             rustc
             cargo
+            cargo-release
             gcc
           ];