- Wed Jun 19 2019 tmb <tmb> 0.1-5.mga7
+ Revision: 1400356
- rebuild for armv7 - Wed Jun 19 2019 tmb <tmb> 0.1-4.mga7
+ Revision: 1400350
- rollback to 0.1 - Fri Jan 18 2019 kekepower <kekepower> 0.2-1.mga7
+ Revision: 1357968
- Update to version 0.2
- Rediffed patches - Tue Oct 23 2018 pterjan <pterjan> 0.1-3.mga7
+ Revision: 1324403
- Rebuild for ocaml 4.07.1 - Sun Sep 23 2018 umeabot <umeabot> 0.1-2.mga7
+ Revision: 1299920
- Mageia 7 Mass Rebuild - Sat Apr 28 2018 kekepower <kekepower> 0.1-1.mga7
+ Revision: 1223157
- imported package ocaml-psmt2-frontend