From 813bdc2b73eedda443d6c270f6701bb2f4c0866e Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 31 Aug 2023 10:07:33 +0000
Subject: [PATCH] deps: update fiat-crypto requirement from 0.1.11 to 0.2.0

Updates the requirements on [fiat-crypto](https://github.com/mit-plv/fiat-crypto) to permit the latest version.
- [Release notes](https://github.com/mit-plv/fiat-crypto/releases)
- [Commits](https://github.com/mit-plv/fiat-crypto/commits)

---
updated-dependencies:
- dependency-name: fiat-crypto
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 8a232223..88cfc406 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -20,7 +20,7 @@ exclude = [
 [dependencies]
 subtle = { version = "^2.2.2", default-features = false }
 zeroize = { version = "1.1.0", default-features = false }
-fiat-crypto = {version = "0.1.11", default-features = false}
+fiat-crypto = {version = "0.2.0", default-features = false}
 getrandom = { version = "0.2.0", optional = true }
 ct-codecs = { version = "1.1.1", optional = true }