Fiat Cryptography v0.0.26

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