Changelog for flocq-doc-3.0.0-3.1.x86_64.rpm :
Thu Oct 11 14:00:00 2018 ptrommlerAATTicloud.com
- update to 3.0.0

* compatibility with coq 8.8

Thu Nov 2 13:00:00 2017 ptrommlerAATTicloud.com
- update to 2.6.0

* fix compile with coq 8.7.0

Thu Apr 13 14:00:00 2017 peter.trommlerAATTohm-hochschule.de
- update to 2.5.2 from upstream

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