v0.0.10

Commits: v0.0.9...v0.0.10

v0.0.9

Merge pull request #103 from mit-plv/dependabot/submodules/bedrock2-0…

v0.0.7

For Coq Platform 8.17 beta.

Rupicola v0.0.6

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

What's Changed

• build(deps): bump bedrock2 from c9ed329 to b82ce36 by @dependabot in #68

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

Rupicola v0.0.5

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

What's Changed

• Move crypto functions to fiat-crypto by @DIJamner in #57
• Adapt w.r.t. coq/coq#16004. by @ppedrot in #62
• use cygpath -m for -Q on Windows by @andres-erbsen in #66

New Contributors

• @ppedrot made their first contribution in #62

Full Changelog: v0.0.4...v0.0.5

Rupicola v0.0.4

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

What's Changed

• Bump bedrock2 for riscv-coq EXTERNAL_COQUTIL=1 by @JasonGross in #56
• Use find for .v files when building without git by @JasonGross in #55

Full Changelog: v0.0.3...v0.0.4

Rupicola v0.0.3

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

Full Changelog: v0.0.2...v0.0.3

Rupicola v0.0.2

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

What's Changed

• Add support for EXTERNAL_DEPENDENCIES=1 by @JasonGross in #52

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

Rupicola v0.0.1

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