Changelog for ocaml-psmt2-frontend-debugsource-0.1-9.mga8.x86_64.rpm :

* Sat Aug 22 2020 tv 0.1-9.mga8+ Revision: 1617869- Rebuild for new ocaml deps generator
* Fri Feb 28 2020 umeabot 0.1-8.mga8+ Revision: 1551460- Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot 0.1-7.mga8+ Revision: 1544193- Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv 0.1-6.mga8+ Revision: 1482694- rebuild for ocaml-4.10+ wally - replace deprecated %configure2_5x
* Wed Jun 19 2019 tmb 0.1-5.mga7+ Revision: 1400356- rebuild for armv7
* Wed Jun 19 2019 tmb 0.1-4.mga7+ Revision: 1400350- rollback to 0.1
* Fri Jan 18 2019 kekepower 0.2-1.mga7+ Revision: 1357968- Update to version 0.2- Rediffed patches
* Tue Oct 23 2018 pterjan 0.1-3.mga7+ Revision: 1324403- Rebuild for ocaml 4.07.1
* Sun Sep 23 2018 umeabot 0.1-2.mga7+ Revision: 1299920- Mageia 7 Mass Rebuild