Worked on the coq/opam repository to deliver a comprehensive packaging overhaul and the 0.6 release of rocq-prosa, a tool for real-time schedulability analysis. Focused on consolidating and renaming Prosa-related packages to streamline onboarding and improve maintainability, the work removed legacy components and introduced a clearer package structure. Emphasized accessibility by enhancing readability for users without a formal proofs background, while preserving rigorous foundations for advanced users. Leveraged OCaml and expertise in formal verification, package management, and scheduling theory to ensure the new release remains robust, maintainable, and easier to adopt for both new and experienced contributors.