New comment by MIvanchev on void-packages repository

https://github.com/void-linux/void-packages/pull/41227#issuecomment-1929374972

Comment:
Just want to report I managed to get everything to build so you might copy the changes from my branch and inspect the results. Some info:

* OCaml 5 doesn't have a native code compiler for 32 bit systems, the patches mainly deal with that
* Our COQ checks are not testing according to the devs, see https://github.com/coq/coq/issues/18613. If we do the real unit tests, we might not need the patch I provided to disable coqide builds
* Z3 installs a SO file in /usr/lib/stubfiles, might need to be moved

Maybe someone else can address these because I'm a  bit exhausted :smile: