Changelog for gappa-1.3.3-1.1.x86_64.rpm :
Thu Oct 11 14:00:00 2018 ptrommlerAATTicloud.com
- update to 1.3.3

Thu Apr 13 14:00:00 2017 peter.trommlerAATTohm-hochschule.de
- update to 1.3.2

Tue Jun 3 14:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to 1.1.1

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

Thu Dec 27 13:00:00 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 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- initial import fro Fedora
- adapted to openSUSE packaging guidelines