From 1471bb6a9f9b6c7b0b1c5a07702887075fa3f0cf Mon Sep 17 00:00:00 2001
From: Karolin Varner <karo@cupdev.net>
Date: Tue, 4 Feb 2025 18:37:09 +0100
Subject: [PATCH] chore: cargo-audit in nix develop .#fullEnv

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flake.nix b/flake.nix
index 14baded..658b06e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -114,6 +114,7 @@
             inherit (pkgs.proof-proverif) CRYPTOVERIF_LIB;
             inputsFrom = [ pkgs.rosenpass ];
             nativeBuildInputs = with pkgs; [
+              cargo-audit
               cargo-release
               rustfmt
               nodePackages.prettier