Merge pull request #114 from mirage/rename-to-ocaml-solo5 Rename freestanding to solo5

May 05 14:05 +00:00

19m50s

*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.