During October 2025, bbb@mpi-sws.org overhauled the packaging for real-time schedulability analysis tools in the coq/opam repository, focusing on the Rocq-prosa suite. They consolidated and renamed Prosa-related packages to rocq-prosa and rocq-prosa-refinements, removing legacy components to streamline onboarding and future contributions. The 0.6 release of rocq-prosa emphasized improved readability and accessibility for users without a formal proofs background, while maintaining rigorous foundations for expert users. Working primarily in OCaml and leveraging skills in formal verification, package management, and scheduling theory, bbb delivered a maintainable, well-documented package structure that supports both novice and advanced real-time systems developers.