Changelog for flocq-doc-2.5.1-3.3.x86_64.rpm :
Fri Aug 5 14:00:00 2016 devAATTstellardeath.org
- Update to 2.5.1 from upstream to use with updated coq version

Tue Nov 5 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to 2.2.0 from upstream

Wed Dec 26 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- remove coq version constraint

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- imported from Fedora
- adapted to openSUSE packaging guidelines