Changelog for
why3-0.87.3-1.91.x86_64.rpm :
* Tue Sep 05 2017 ptrommlerAATTicloud.com- update to 0.87.3
* Sun Jun 21 2015 peter.trommlerAATTohm-hochschule.de- update to 0.86.1 from upstream
* Mon Mar 31 2014 peter.trommlerAATTohm-hochschule.de- update to 0.83 from upstream- enable frama-c plugin again- remove alt-ergo workaround
* Mon Mar 10 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 2013 peter.trommlerAATTohm-hochschule.de- delete devel package- filter bogus requires
* Tue Nov 26 2013 peter.trommlerAATTohm-hochschule.de- enable frama-c- remove redundant cmx files
* Sun Nov 10 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 2012 peter.trommlerAATTohm-hochschule.de- add coq support
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- added manual- strip .cmxs files
* Wed Nov 14 2012 peter.trommlerAATTohm-hochschule.de- license added