Changelog for alt-ergo-2.3.3-1.mga9.x86_64.rpm :

* Sun Mar 19 2023 pterjan 2.3.3-1.mga9+ Revision: 1949747- Update to 2.3.3 and partially sync with Fedora- Disable GUI as it needs gtksourceview2 we no longer have
* Sun Jan 08 2023 daviddavid 2.2.0-18.mga9+ Revision: 1931573- rebuild for ocaml-zarith change
* Thu May 19 2022 pterjan 2.2.0-17.mga9+ Revision: 1859000- Rebuild for OCaml 4.14
* Wed Apr 06 2022 umeabot 2.2.0-16.mga9+ Revision: 1845914- Mageia 9 Mass Rebuild
* Thu Oct 14 2021 tv 2.2.0-15.mga9+ Revision: 1751384- Rebuild for ocaml 4.13.1
* Fri Mar 26 2021 tv 2.2.0-14.mga9+ Revision: 1710561- Do not Require private ocaml interfaces that we don\'t Provide (thus fixing installation)
* Mon Mar 22 2021 tv 2.2.0-12.mga9+ Revision: 1707991- Rebuild for ocaml 4.12- rebuild for ocaml-4.12