There's a merged pull request on the void-packages repository

[WIP] ocaml: update to 5.1.1.
https://github.com/void-linux/void-packages/pull/41227

Description:
<!-- 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**