From e82847730e40779c950f35dee4d95db73acbbb78 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 17 Oct 2022 00:57:52 +0000 Subject: [PATCH] Bump fiat-crypto from 0.1.5 to 0.1.17 Bumps [fiat-crypto](https://github.com/mit-plv/fiat-crypto) from 0.1.5 to 0.1.17. - [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: indirect update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- Cargo.lock | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 35829f86f474..4f809f402fd2 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2814,9 +2814,9 @@ checksum = "e88a8acf291dafb59c2d96e8f59828f3838bb1a70398823ade51a84de6a6deed" [[package]] name = "fiat-crypto" -version = "0.1.5" +version = "0.1.17" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0f6ab97095615857b6ad00a8330fff0e443f1def9fd357cef82d0ca0677b616b" +checksum = "a214f5bb88731d436478f3ae1f8a277b62124089ba9fb67f4f93fb100ef73c90" [[package]] name = "fixedbitset"