Changelog for flocq-source-3.0.0-6.16.x86_64.rpm :

* Thu Oct 11 2018 ptrommlerAATTicloud.com- update to 3.0.0
* compatibility with coq 8.8
* Thu Nov 02 2017 ptrommlerAATTicloud.com- update to 2.6.0
* fix compile with coq 8.7.0
* Thu Apr 13 2017 peter.trommlerAATTohm-hochschule.de- update to 2.5.2 from upstream
* Tue Nov 05 2013 peter.trommlerAATTohm-hochschule.de- update to 2.2.0 from upstream
* Wed Dec 26 2012 peter.trommlerAATTohm-hochschule.de- remove coq version constraint
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- imported from Fedora- adapted to openSUSE packaging guidelines