Worked on dependency management and package compatibility for the ocaml/opam-repository and coq/opam repositories, focusing on improving build reliability and downstream stability. Delivered updates to Override and Rotor packages, aligning their dependencies with newer versions of ppxlib, containers, and mparser, and corrected licensing metadata to ensure compliance. In the coq/opam repository, implemented targeted dependency constraint hardening by tightening opam package constraints to specific Coq version ranges and enforcing Camlp5 upper bounds. Utilized OCaml, opam, and Coq to address issues in dependency resolution and package management, resulting in more reproducible builds and reduced risk of breakage for downstream users.