Changelog for why3-0.87.1-3.10.x86_64.rpm :
Thu Sep 1 14:00:00 2016 devAATTstellardeath.org
- update to 0.87.1 from upstream

Sun Jun 21 14:00:00 2015 peter.trommlerAATTohm-hochschule.de
- update to 0.86.1 from upstream

Mon Mar 31 14:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to 0.83 from upstream
- enable frama-c plugin again
- remove alt-ergo workaround

Mon Mar 10 13:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to 0.82 from upstream
- drop why3-fixes.patch
- disable workaround for alt-ergo
- remove frama-c plugin (TODO: reenable plugin)

Tue Nov 26 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- delete devel package
- filter bogus requires

Tue Nov 26 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- enable frama-c
- remove redundant cmx files

Sun Nov 10 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to 0.81 from upstream
- add why3-fixes.patch

* imported from Fedora

* contains fixes after release

* fixes coq build

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

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- added manual
- strip .cmxs files

Wed Nov 14 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- license added

Wed Nov 14 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add missing BRs

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