- Wed Aug 19 2020 martinw <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 <umeabot> 2.2.0-9.mga8
+ Revision: 1551478
- Rebuild for ocaml 4.10.0 final - Wed Feb 19 2020 umeabot <umeabot> 2.2.0-8.mga8
+ Revision: 1544291
- Mageia 8 Mass Rebuild - Fri Jan 24 2020 tv <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 <daviddavid> 2.2.0-5.mga7
+ Revision: 1325199
- rebuild for new ocaml 4.07.1 - Fri Sep 21 2018 umeabot <umeabot> 2.2.0-4.mga7
+ Revision: 1294308
- Mageia 7 Mass Rebuild