- 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 - Tue May 8 2018 kekepower <kekepower> 2.2.0-3.mga7
+ Revision: 1227647
- Fix the global exclude - Tue May 8 2018 kekepower <kekepower> 2.2.0-2.mga7
+ Revision: 1227641
- Exclude bogus requires - Sun Apr 29 2018 kekepower <kekepower> 2.2.0-1.mga7
+ Revision: 1223246
- BR ocaml-psmt2-frontend
- Update to version 2.2.0 - Sun Mar 25 2018 daviddavid <daviddavid> 2.1.0-3.mga7
+ Revision: 1212412
- rebuild for new ocaml-zarith 1.7 - Fri Mar 23 2018 kekepower <kekepower> 2.1.0-2.mga7
+ Revision: 1211584
- Rebuild on arm - Fri Mar 23 2018 kekepower <kekepower> 2.1.0-1.mga7
+ Revision: 1211568
- Add LGPL license
- Fix file list
- Add BR for menhir
- Update to version 2.1.0 - Tue Feb 6 2018 daviddavid <daviddavid> 1.30-2.mga7
+ Revision: 1199171
- add BR ocaml-num-devel - Sat Jan 21 2017 daviddavid <daviddavid> 1.30-1.mga6
+ Revision: 1082661
- new version: 1.30
- add BRs ocaml-camlzip-devel and ocaml-camlzip-devel