Changelog for frama-c-emacs-20171101-lp150.1.1.noarch.rpm :

* Sun Jan 14 2018 ptrommlerAATTicloud.com- update to Sulfur
* Thu Sep 07 2017 ptrommlerAATTicloud.com- update to Phosphorus
* Mon Jun 29 2015 peter.trommlerAATTohm-hochschule.de- update to Sodium
* Thu Mar 27 2014 peter.trommlerAATTohm-hochschule.de- new bogus requires
* Thu Mar 27 2014 peter.trommlerAATTohm-hochschule.de- update to Neon release- drop Fedora patches
* included upstream
* Tue Nov 12 2013 peter.trommlerAATTohm-hochschule.de- fix frama-c-emacs package requires
* Sun Nov 10 2013 peter.trommlerAATTohm-hochschule.de- repackage data files with main package
* Sun Nov 10 2013 peter.trommlerAATTohm-hochschule.de- use native compiler for more files
* Sun Nov 10 2013 peter.trommlerAATTohm-hochschule.de- revert to own lablgtk2 for 12.2
* system lablgtk2 does not have all libraries required by frama-c-gui
* Wed Nov 06 2013 peter.trommlerAATTohm-hochschule.de- use system provided lablgtk2
* Sun Nov 03 2013 peter.trommlerAATTohm-hochschule.de- update to Fluorine release 3 from upstream- add two Fedora patches
* Mon Jun 03 2013 peter.trommlerAATTohm-hochschule.de- update to Fluorine release 2 from upstream
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- add emacs packages- repackage some development files to devel
* Thu Nov 29 2012 peter.trommlerAATTohm-hochschule.de- enable zarith and alt-ergo- build why plugin
* Wed Nov 14 2012 peter.trommlerAATTohm-hochschule.de- use ocaml-findlib for install- patch to use ocamllex and not ocamllex.opt (not always available)
* Sat Nov 10 2012 peter.trommlerAATTohm-hochschule.de- add gui programs to files- use system ocamlgraph- add coq BR
* Fri Nov 09 2012 peter.trommlerAATTohm-hochschule.de- initial package.