SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for frama-c-emacs-20171101-11.2.noarch.rpm :
Sun Jan 14 13:00:00 2018 ptrommlerAATTicloud.com
- update to Sulfur

Thu Sep 7 14:00:00 2017 ptrommlerAATTicloud.com
- update to Phosphorus

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.


 
ICM