Changelog for why-jessie-2.35-1.117.i586.rpm :
Wed Jul 1 14:00:00 2015 devAATTstellardeath.org
- Update to 2.35

Wed Apr 16 14:00:00 2014 peter.trommlerAATTohm-hochschule.de
- add krakatoa-KML-fixes.patch

* fix Java Card KML specifications

Mon Mar 31 14:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to 2.34 from upstream

Thu Nov 28 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- add APRON BR

Wed Nov 27 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- fix linking: APRON was missing

Tue Nov 26 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- BR frama-c-devel and others
- do not delete coq .v files

Sun Nov 10 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- package Jessie files after frama-c fix

Wed Nov 6 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to 2.33
- individual subpackages for jessie and gwhy and coq

Fri Nov 30 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add frama-c support

Fri Nov 30 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add coq support (including Fedora patch)

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- fix dependency generation
- clean up

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- renamed to match upstream name

Wed Nov 14 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- initial package.