mit-plv/fiat-crypto v0.0.26 on GitHub

Compatible with Coq 8.17, 8.18; requires OCaml >= 4.08

If the automation was set up right, this release should have attached precompiled binaries.

What's Changed

Rust Crate Version Bump by @github-actions in #1707
Drop CI testing of 8.16 by @JasonGross in #1708
Bump rupicola from 0e001bb to 3691f9a by @dependabot in #1709
add Alpine CI by @andres-erbsen in #1625
Adapt to coq/coq#18280 (case relevance outside case info) by @SkySkimmer in #1713
Bump actions/checkout from 3 to 4 by @dependabot in #1714
POSIX-compliant github-actions-display-per-line-timing.sh by @JasonGross in #1716
Make etc/ci/describe-system-config.sh POSIX-compliant by @JasonGross in #1715
Model coq-alpine after coq-debian by @JasonGross in #1712
Add packaging for standalone files by @JasonGross in #1710
Allow passing CAMLEXTRAFLAGS for standalone build by @JasonGross in #1717
remove RupicolaCrypto.Low by @andres-erbsen in #1719
Only test full amd64 files in Docker CI by @JasonGross in #1722
Upload standalone binaries to release pages by @JasonGross in #1711
Statically link alpine binaries: -ccopt -static by @JasonGross in #1718
Bump rewriter from 5d274d2 to 3e84ec2 by @dependabot in #1728
[CI] Add names to build jobs by @JasonGross in #1729
Adapt to coq/coq#18273 (Ltac2 supports head reduction) by @SkySkimmer in #1725
rust: Include documentation comments for type alias. by @armfazh in #1669
Only upload one copy of linux binaries to releases by @JasonGross in #1721

Full Changelog: v0.0.25...v0.0.26