Changelog for ocaml-psmt2-frontend-debugsource-0.4.0-2.mga9.x86_64.rpm :

* Tue Mar 07 2023 kekepower 0.4.0-2.mga9+ Revision: 1948331- Add a GitHub PR to fix a trivial typo
* Mon Mar 06 2023 kekepower 0.4.0-1.mga9+ Revision: 1947902- Update to version 0.4.0
* Wed May 18 2022 pterjan 0.1-14.mga9+ Revision: 1858775- Rebuild for OCaml 4.14
* Tue Mar 29 2022 umeabot 0.1-13.mga9+ Revision: 1833132- Mageia 9 Mass Rebuild
* Wed Oct 13 2021 tv 0.1-12.mga9+ Revision: 1751011- Move META to the main package- Add -autoconf patch for autoconf 2.71