There's a closed pull request on the void-packages repository [WIP] ocaml: update to 5.0.0. https://github.com/void-linux/void-packages/pull/41227 Description: Broken packages: - [ ] supermin - [ ] coccinelle - [ ] coq - [ ] mathcomp - [ ] xen - [ ] zeroinstall #### Testing the changes - I tested the changes in this PR: **briefly**