Changelog for frama-c-devel-20171101-12.16.x86_64.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