During January 2025, Pierre-Marie Pedrot developed comprehensive Opam packaging and build metadata for the Coq 9.0 release in the coq/opam repository. He focused on enabling reliable distribution and reproducible builds by creating a complete set of opam files, specifying package metadata, dependencies, and detailed build instructions for the 9.0 branch. Leveraging his expertise in build systems, package management, and OCaml, Pierre-Marie streamlined the management and installation process for Coq 9.0 components within the Opam ecosystem. This work facilitated smoother CI integration and improved downstream dependency resolution, addressing the needs of users adopting the latest Coq version.