Changelog for gappalib-coq-1.4.0-1.1.x86_64.rpm :
Thu Oct 11 14:00:00 2018 ptrommlerAATTicloud.com
- update to 1.4.0

* compatibility with coq 8.8

Mon Feb 26 13:00:00 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 4 13:00:00 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 14:00:00 2017 peter.trommlerAATTohm-hochschule.de
- update to 1.3.2

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