Changelog for gappalib-coq-1.4.0-5.3.x86_64.rpm :

* Thu Oct 11 2018 ptrommlerAATTicloud.com- update to 1.4.0
* compatibility with coq 8.8
* Mon Feb 26 2018 ptrommlerAATTicloud.com- update to 1.3.3- drop gappalib-coq-coq8.7.0.patch- drop fix-build-system.patch- drop gappalib-coq-tactic-coq8.7.0.patch- patches fixed upstream- compiles with coq 8.7.1
* Sat Nov 04 2017 ptrommlerAATTicloud.com- add gappalib-coq-coq8.7.0.patch- add fix-build-system.patch- add gappalib-coq-tactic-coq8.7.0.patch- post 1.3.2 release upstream commits for coq 8.7.0- still does not compile
* Thu Apr 13 2017 peter.trommlerAATTohm-hochschule.de- update to 1.3.2
* Sun Jan 12 2014 peter.trommlerAATTohm-hochschule.de- rebuild for coq-8.4pl3
* Sun Nov 03 2013 peter.trommlerAATTohm-hochschule.de- update to 1.0.0
* Wed Dec 26 2012 peter.trommlerAATTohm-hochschule.de- removed coq version constraint
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- initial package imported fro Fedora- adapted to openSUSE packaging guidelines