Changelog for coq-debuginfo-8.16.1-1.mga9.x86_64.rpm :

* Sat Jan 07 2023 papoteur 8.16.1-1.mga9+ Revision: 1931087- Add ide-server- fix file list- new 8.16.1- new 8.16.0+ neoclust - Rebuild against new ocaml+ tv - Updates BRs- Fix install+ pterjan - Rebuild for new ocaml-lablgtk3
* Fri May 20 2022 pterjan 8.13.2-3.mga9+ Revision: 1859409- Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv 8.13.2-2.mga9+ Revision: 1751562- Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally 8.13.2-1.mga9+ Revision: 1744351- new version 8.13.2- drop ancient tutorial docs
* Fri Mar 26 2021 tv 8.13.1-3.mga9+ Revision: 1710447- Disable doc (broken)- rebuild for ocaml-4.2-12+ neoclust - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan 8.11.0-4.mga8+ Revision: 1671200- Exclude more private modules- Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan 8.11.0-2.mga8+ Revision: 1670853- Rebuild to generate ocamlx provides+ tv - remove one BR workaround which is now fixed