For Coq Platform 8.17 beta.
Compatible with Coq 8.15, 8.16, 8.17, requires OCaml >= 4.08
What's Changed
- Add the dettman square operation by @OwenConoly in #1576
- bump rupicola with v8.15 support by @andres-erbsen in #1573
- Remove montladder output tests by @andres-erbsen in #1579
Full Changelog: v0.0.19...v0.0.20