v0.0.6

Commits: v0.0.5...v0.0.6

v0.0.5

Bump etc/coq-scripts from `d3dc888` to `5876e80` (#111)

Bumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `5876e80`.
- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...5876e80a10b459148ea49b848af3fb1b9507a7e6)

---
updated-dependencies:
- dependency-name: etc/coq-scripts
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

v0.0.3

For Coq platform 8.17 beta.

coqutil v0.0.2

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

What's Changed

• Add list_diff_length lemma to coqutil by @pratapsingh1729 in #64
• Adapt w.r.t. coq/coq#16004 by @Alizter in #66
• Map split lemmas by @andres-erbsen in #73

New Contributors

• @pratapsingh1729 made their first contribution in #64
• @Alizter made their first contribution in #66

Full Changelog: v0.0.1...v0.0.2

coqutil v0.0.1

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