Changelog for alt-ergo-debugsource-2.2.0-10.mga8.x86_64.rpm :

* Wed Aug 19 2020 martinw 2.2.0-10.mga8+ Revision: 1615508- use free (ASL 2.0 licensed) version- drop GUI package (needs obsolete gtksourceview2)
* Fri Feb 28 2020 umeabot 2.2.0-9.mga8+ Revision: 1551478- Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot 2.2.0-8.mga8+ Revision: 1544291- Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv 2.2.0-7.mga8+ Revision: 1482733- rebuild for ocaml-4.10+ wally - replace deprecated %configure2_5x+ daviddavid - rebuild for new ocaml-psmt2-frontend 0.2
* Thu Oct 25 2018 daviddavid 2.2.0-5.mga7+ Revision: 1325199- rebuild for new ocaml 4.07.1
* Fri Sep 21 2018 umeabot 2.2.0-4.mga7+ Revision: 1294308- Mageia 7 Mass Rebuild