Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
deps: update fiat-crypto requirement from 0.1.11 to 0.2.1
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] <[email protected]>
- Loading branch information