Worked on the coq/opam repository to deliver cross-version packaging updates for MetaCoq, enabling distribution and seamless builds for Coq versions 8.19 and 8.20. Developed and validated new opam package definitions for MetaCoq 1.3.3 and 1.3.4, focusing on improving packaging automation and compatibility across Coq releases. Leveraged expertise in build systems, package management, and OCaml to align packaging metadata with the latest MetaCoq versions, supporting continuous integration and build workflows. This work reduced onboarding friction for users and enhanced release readiness by ensuring that MetaCoq could be easily adopted and maintained across multiple Coq environments.