Worked on enabling reliable distribution and reproducible builds for Coq 9.0 by developing comprehensive Opam packaging within the coq/opam repository. Focused on creating a complete set of opam files, build metadata, and explicit dependency specifications for the 9.0 branch, streamlining the management and installation of Coq components in the Opam ecosystem. Leveraged expertise in build systems, package management, and OCaml to define clear build instructions and metadata, supporting smoother CI integration and downstream dependency resolution. This work laid the foundation for maintainable distribution workflows and improved the experience for users and developers adopting Coq 9.0 through Opam.