- Sun Sep 18 2016 daviddavid <daviddavid> 2.5.1-2.mga6
+ Revision: 1053655
- rebuild for new coq 8.5pl2
- fix some ownership flocq dir - Tue Feb 2 2016 pterjan <pterjan> 2.5.1-1.mga6
+ Revision: 932970
- Update to 2.5.1
+ umeabot
- Mageia 6 Mass Rebuild - Wed Oct 15 2014 umeabot <umeabot> 2.3.0-3.mga5
+ Revision: 740576
- Second Mageia 5 Mass Rebuild - Tue Sep 16 2014 umeabot <umeabot> 2.3.0-2.mga5
+ Revision: 678544
- Mageia 5 Mass Rebuild - Sun Jul 6 2014 pterjan <pterjan> 2.3.0-1.mga5
+ Revision: 644206
- 2.3.0 - Fri Nov 29 2013 malo <malo> 2.1.0-1.mga4
+ Revision: 554097
- fix RPM group
- spec clean-up after import from Fedora
- imported package coq-flocq