Changelog for frama-c-emacs-20160501-11.3.noarch.rpm :
Thu Sep 1 14:00:00 2016 devAATTstellardeath.org
- Update to Aluminium

Fri Jan 22 13:00:00 2016 devAATTstellardeath.org
- Update to Magnesium

Mon Jun 29 14:00:00 2015 peter.trommlerAATTohm-hochschule.de
- update to Sodium

Thu Mar 27 13:00:00 2014 peter.trommlerAATTohm-hochschule.de
- new bogus requires

Thu Mar 27 13:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to Neon release
- drop Fedora patches

* included upstream

Tue Nov 12 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- fix frama-c-emacs package requires

Sun Nov 10 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- repackage data files with main package

Sun Nov 10 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- use native compiler for more files

Sun Nov 10 13:00:00 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 6 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- use system provided lablgtk2

Sun Nov 3 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to Fluorine release 3 from upstream
- add two Fedora patches

Mon Jun 3 14:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to Fluorine release 2 from upstream

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add emacs packages
- repackage some development files to devel

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- enable zarith and alt-ergo
- build why plugin

Wed Nov 14 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- use ocaml-findlib for install
- patch to use ocamllex and not ocamllex.opt (not always available)

Sat Nov 10 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add gui programs to files
- use system ocamlgraph
- add coq BR

Fri Nov 9 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- initial package.