Changelog for coq-debugsource-8.11.0-4.mga8.x86_64.rpm :

* 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
* Sun Mar 01 2020 tv 8.11.0-1.mga8+ Revision: 1552552- BR ocaml-cairo-devel (probably a missing dep of other BRs)- BR ocaml-lablgtk3-sourceview3+ pterjan - Update to 8.11.0+ umeabot - Rebuild for ocaml 4.10.0 final
* Thu Feb 20 2020 umeabot 8.9.1-3.mga8+ Revision: 1545296- Mageia 8 Mass Rebuild
* Tue Jan 28 2020 tv 8.9.1-2.mga8+ Revision: 1484376- filter out a bogus requires on private ocaml interface- consolidate exclude list
* Sun Jan 26 2020 tv 8.9.1-1.mga8+ Revision: 1483034- revert back to 8.9.1 & fix build- new release + rebuild for ocaml-4.10- new release + rebuild for ocaml-4.10+ pterjan - Rebuild for ocaml 4.07.1