CHANGES:
This is another bugfix release for Sail 0.20. It includes fixes for
the following issues and more:
HOL4 support has been improved to support changes in Sail RISC-V.
The minimum OCaml version has been increased to OCaml 4.14, although
we highly recommend upgrading to at least OCaml 5.2. The minumum
version might be increased to require OCaml 5 in some future major
release.