Worked on stabilizing the Rocq Hierarchy Builder within the coq/opam repository, focusing on ensuring compatibility with Coq 1.9. Addressed dependency management challenges by adjusting version ranges for coq-elpi and rocq-elpi, resolving build conflicts and enhancing the predictability of the build environment. The technical approach centered on refining package management strategies to prevent incompatibilities and maintain a stable pipeline for future updates. Utilized OCaml and advanced package management techniques to implement these changes, resulting in improved maintainability and reliability for the project. The work emphasized careful dependency resolution rather than feature development, reflecting a depth of focus on infrastructure stability.