Fiat Cryptography v0.1.2
Pre-release
Pre-release
Compatible with Coq 8.18, 8.19; requires OCaml >= 4.08.
What's Changed
- Adapt to coq/coq#18590 by @proux01 in #1821
- adapt to coq/coq#18730 by @andres-erbsen in #1826
- bump rupicola (requires Coq >= 8.18) by @samuelgruetter in #1818
- Bump rupicola from
e047275to7259f52by @dependabot in #1835 - Bump rewriter from
3342e29to21b82e9by @dependabot in #1819
Full Changelog: v0.1.1...v0.1.2
Contributors
andres-erbsen, samuelgruetter, and 2 other contributors