Changelog for gappalib-coq-1.3.0-7.3.x86_64.rpm :
Fri Aug 5 14:00:00 2016 devAATTstellardeath.org
- Update to 1.3.0

Sun Jan 12 13:00:00 2014 peter.trommlerAATTohm-hochschule.de
- rebuild for coq-8.4pl3

Sun Nov 3 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to 1.0.0

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

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