Changelog for gappa-1.3.0-4.2.x86_64.rpm :
Fri Aug 5 14:00:00 2016 devAATTstellardeath.org
- Patch for missing stdio.h include

* stdio.patch

Thu Aug 4 14:00:00 2016 devAATTstellardeath.org
- Update to 1.3.0

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