- Wed Mar 6 2019 daviddavid <daviddavid> 1.2.0-1.mga7
+ Revision: 1371993
- new version: 1.2.0 - Wed Jan 2 2019 daviddavid <daviddavid> 1.1.1-1.mga7
+ Revision: 1348727
- new version: 1.1.1 - Fri Nov 16 2018 daviddavid <daviddavid> 1.1.0-4.mga7
+ Revision: 1330090
- rebuild for new menhir 20181113 - Thu Oct 25 2018 tv <tv> 1.1.0-3.mga7
+ Revision: 1325282
- rebuild with ocaml-4.07.1 - Thu Oct 25 2018 daviddavid <daviddavid> 1.1.0-2.mga7
+ Revision: 1325224
- rebuild for new ocaml 4.07.1 - Sun Oct 21 2018 daviddavid <daviddavid> 1.1.0-1.mga7
+ Revision: 1323261
- new version: 1.1.0 - Sun Sep 30 2018 daviddavid <daviddavid> 1.0.0-3.mga7
+ Revision: 1312657
- rebuild for new menhir 20180905 - Fri Aug 24 2018 daviddavid <daviddavid> 1.0.0-1.mga7
+ Revision: 1253664
- new version: 1.0.0
- define bcond frama-c if a bootstrap build is needed - Sun Mar 25 2018 daviddavid <daviddavid> 0.88.3-2.mga7
+ Revision: 1212407
- rebuild for new ocaml-zarith 1.7 - Sat Feb 10 2018 daviddavid <daviddavid> 0.88.3-1.mga7
+ Revision: 1200031
- new version: 0.88.3 - Tue Dec 5 2017 tv <tv> 0.88.1-1.mga7
+ Revision: 1181301
- new release
- disable circular deps with frama-c
- rebuild for new ocaml - Sat May 27 2017 neoclust <neoclust> 0.87.3-3.mga6
+ Revision: 1105082
- Rebuild for ARM