There is a new pull request by leahneukirchen against master on the void-packages repository

https://github.com/leahneukirchen/void-packages ocaml5
https://github.com/void-linux/void-packages/pull/41227

[WIP] ocaml: update to 5.0.0.
<!-- Uncomment relevant sections and delete options which are not applicable -->

Broken packages:
- [ ] supermin
- [ ] coccinelle
- [ ] coq
	- [ ] mathcomp
- [ ] xen
- [ ] zeroinstall

#### Testing the changes
- I tested the changes in this PR: **briefly**


A patch file from https://github.com/void-linux/void-packages/pull/41227.patch is attached