Worked on enhancing Z3 packaging and build reliability within the ocaml/opam-repository and Z3Prover/z3 projects, focusing on cross-platform compatibility and streamlined dependency management. Integrated Z3 versions 4.14.1 and 4.15.1 into the OCaml ecosystem, removing unnecessary dependencies and applying targeted patches for reproducible builds. Addressed macOS Apple Silicon build failures by introducing linker flag adjustments and improving environment variable handling, ensuring robust installation for Homebrew users. Leveraged OCaml, Shell scripting, and package management tools to automate builds, manage dependencies, and align packaging with evolving platform requirements, resulting in more maintainable and portable solutions for downstream users and developers.