There is an updated pull request by leahneukirchen against master on the void-packages repository https://github.com/leahneukirchen/void-packages ocaml410 https://github.com/void-linux/void-packages/pull/19370 [WIP] OCaml 4.10 I decided to kill camlp4 and the few packages that still need it for good. They had many years to fix their code. You probably can install them via opam if you really need them. Various things are still broken and block this PR: - [x] coq https://github.com/coq/coq/pull/11358 - [x] ocaml-lablgtk2 - [x] unison (works with `--disable-force-safe-string`) https://github.com/bcpierce00/unison/issues/316 A patch file from https://github.com/void-linux/void-packages/pull/19370.patch is attached