Changelog for gappa-1.3.3-1.7.i586.rpm :

* Thu Oct 11 2018 ptrommlerAATTicloud.com- update to 1.3.3
* Thu Apr 13 2017 peter.trommlerAATTohm-hochschule.de- update to 1.3.2
* Tue Jun 03 2014 peter.trommlerAATTohm-hochschule.de- update to 1.1.1
* Sun Nov 03 2013 peter.trommlerAATTohm-hochschule.de- update to 1.0.0
* Thu Dec 27 2012 peter.trommlerAATTohm-hochschule.de- update to 0.16.2 from upstream
* Coq lambda back-end - fixed incorrect certificate for intersection lemmas
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- initial import fro Fedora- adapted to openSUSE packaging guidelines