Skip to content

Rewriter v0.0.6

Pre-release
Pre-release
Compare
Choose a tag to compare
@JasonGross JasonGross released this 03 Oct 03:01
· 110 commits to master since this release
v0.0.6
6055c74

A pre-release tag for use with Fiat Cryptography v0.0.15 and a non-dev opam package.

Fixes an issue in v0.0.5 that causes fiat-crypto to not build.

Full Changelog: v0.0.5...v0.0.6

Assets 2