There is an updated 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.1.1.
<!-- Uncomment relevant sections and delete options which are not applicable -->

Broken packages:
- [x] supermin
- [x] coccinelle
- [x] coq
	- [x] mathcomp
- [x] xen
- [x] 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