SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for frama-c-emacs-1.13-3.fc24.noarch.rpm :

* Thu Sep 01 2016 Jerry James - 1.13-3- Rebuild for why3 0.87.2
* Wed Jul 13 2016 Jerry James - 1.13-2- Rebuild for coq 8.5pl2- Require ocaml-findlib (bz 1354515)
* Wed Jun 01 2016 Jerry James - 1.13-1- Update to Aluminium version
* Fri Apr 22 2016 Jerry James - 1.12-4- Rebuild for coq 8.5pl1
* Sat Apr 16 2016 Jerry James - 1.12-3- Rebuild for ocaml-ocamlgraph 1.8.7
* Fri Mar 18 2016 Jerry James - 1.12-2- Rebuild for why3 0.87.0
* Fri Feb 12 2016 Jerry James - 1.12-1- Update to Magnesium version- Drop unneeded -why patch
* Wed Feb 03 2016 Fedora Release Engineering - 1.11-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Nov 25 2015 Jerry James - 1.11-9- Rebuild for ocaml-zarith 1.4.1
* Thu Jul 30 2015 Richard W.M. Jones - 1.11-8- OCaml 4.02.3 rebuild.
* Wed Jun 24 2015 Richard W.M. Jones - 1.11-7- ocaml-4.02.2 final rebuild.
* Mon Jun 22 2015 Jerry James - 1.11-6- Rebuild for why3 0.86.1
* Wed Jun 17 2015 Richard W.M. Jones - 1.11-5- ocaml-4.02.2 rebuild.
* Wed Jun 17 2015 Fedora Release Engineering - 1.11-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Sat May 16 2015 Jerry James - 1.11-3- Rebuild for why3 0.86
* Sat Apr 11 2015 Jerry James - 1.11-2- Rebuild for coq 8.4pl6
* Wed Mar 18 2015 Jerry James - 1.11-1- Update to Sodium version- Drop all patches; all have been upstreamed- Add -why patch to fix the why build
* Wed Feb 18 2015 Richard W.M. Jones - 1.10-21- ocaml-4.02.1 rebuild.
* Thu Oct 30 2014 Jerry James - 1.10-20- Rebuild for coq 8.4pl5
* Tue Oct 14 2014 Jerry James - 1.10-19- Rebuild for ocaml-zarith 1.3
* Thu Sep 18 2014 Jerry James - 1.10-18- Bump release and rebuild
* Thu Sep 18 2014 Jerry James - 1.10-17- Rebuild for why3 0.85
* Thu Sep 04 2014 Jerry James - 1.10-16- Adapt to why3 0.84
* Tue Sep 02 2014 Jerry James - 1.10-15- Rebuild for final ocaml 4.02.0 release- Fix license handling
* Mon Aug 25 2014 Jerry James - 1.10-14- ocaml-4.02.0+rc1 rebuild.
* Sat Aug 16 2014 Fedora Release Engineering - 1.10-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Aug 09 2014 Richard W.M. Jones - 1.10-12- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
* Mon Aug 04 2014 Jerry James - 1.10-11- BR emacs instead of emacs-nox, which has gone away
* Fri Aug 01 2014 Richard W.M. Jones - 1.10-11- Bump release and rebuild.
* Fri Aug 01 2014 Richard W.M. Jones - 1.10-10- Bump release and rebuild.
* Fri Jul 25 2014 Richard W.M. Jones - 1.10-9- Rebuild for OCaml 4.02.0 beta.
* Mon Jul 21 2014 Jerry James - 1.10-8- Add comment to desktop file
* Thu Jun 26 2014 Jerry James - 1.10-7- Set LDFLAGS in a less destructive way (bz 1105265)
* Sat Jun 07 2014 Fedora Release Engineering - 1.10-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue May 13 2014 Jerry James - 1.10-5- Rebuild for coq 8.4pl4
* Mon Apr 21 2014 Jerry James - 1.10-4- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt
* Tue Apr 15 2014 Richard W.M. Jones - 1.10-3- Remove ocaml_arches macro (RHBZ#1087794).
* Mon Mar 24 2014 Jerry James - 1.10-2- Fix the icon name in the desktop file- Install icons- Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel)- Fix permissions later, else they get reset to the bad values
* Mon Mar 17 2014 Jerry James - 1.10-1- Update to Neon version- All patches have been upstreamed; drop them- The manuals are no longer included in the source distribution; add as Sources- BR ocaml-findlib instead of ocaml-findlib-devel- BR why3 to get coq + why3 support in the wp plugin
* Wed Feb 26 2014 Jerry James - 1.9-9- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.- Add an Appdata file.
* Wed Oct 02 2013 Richard W.M. Jones - 1.9-8- Rebuild for ocaml-lablgtk 2.18.
* Mon Sep 16 2013 Jerry James - 1.9-7- Rebuild for OCaml 4.01.0- Enable debuginfo
* Fri Aug 09 2013 Jerry James - 1.9-6- Update -fixes patch to fix startup failures on ARM
* Sat Aug 03 2013 Fedora Release Engineering - 1.9-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Fri Jun 21 2013 Jerry James - 1.9-4- Update to 20130601 bugfix Fluorine release
* Mon Jun 03 2013 Jerry James - 1.9-3- Add -fixes patch to fix code generation for inductive definitions
* Thu May 23 2013 Jerry James - 1.9-2- Update to bugfix Fluorine release
* Tue May 14 2013 Jerry James - 1.9-1- Update to Fluorine version- Merge -devel into the main package (bz 888865)
* Wed Feb 13 2013 Fedora Release Engineering - 1.8-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Mon Jan 14 2013 Jerry James - 1.8-5- Rebuild for coq 8.4pl1 and alt-ergo 0.95
* Mon Nov 05 2012 Jerry James - 1.8-4- Build with zarith support
* Mon Oct 22 2012 Jerry James - 1.8-3- Update the Requires filter even more for Oxygen
* Mon Oct 22 2012 Jerry James - 1.8-2- Update the Requires filter for Oxygen
* Fri Oct 19 2012 Jerry James - 1.8-1- Update to Oxygen version
* Tue Sep 11 2012 Jerry James - 1.7-9- Disable dangerous code in src/type/type.ml that leads to segfaults.
* Mon Aug 27 2012 Jerry James - 1.7-8- Use a vastly simpler patch for OCaml 4 that fixes the native build.
* Fri Aug 03 2012 Jerry James - 1.7-7- Shipping the bytecode version works better if it isn\'t stripped.
* Fri Aug 03 2012 Jerry James - 1.7-6- Use upstream\'s version of the ocamlgraph patch.- Ship the bytecode binaries until the native breakage is diagnosed.
* Mon Jul 30 2012 Richard W.M. Jones - 1.7-5- Rebuild for OCaml 4.00.0 official.
* Thu Jul 19 2012 Fedora Release Engineering - 1.7-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Mon Jan 09 2012 Jerry James - 1.7-3- Rebuild for OCaml 3.12.1
* Tue Nov 08 2011 Jerry James - 1.7-2- Rebuild to eliminate libpng dependency
* Tue Oct 25 2011 Jerry James - 1.7-1- Update to Nitrogen version
* Mon Jul 11 2011 Jerry James - 1.6-1- Update to Carbon version- Removed unnecessary spec file elements (BuildRoot, etc.)- Update approach to filtering provides and requires- Do not filter as much; why should Require some of the filtered names- Add (X)Emacs support packages- Add doc subpackage to hold large manual PDFs- Support for gtksourceview 1.x has been dropped
* Wed Apr 13 2011 Karsten Hopp 1.5-3.1- add ppc64 to archs with ocaml
* Tue Feb 08 2011 Fedora Release Engineering - 1.5-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Sat Jan 22 2011 Dan HorĂ¡k - 1.5-2- updated the supported arch list
* Sat Jul 17 2010 Mark Rader 1.5-1- Upgraded Frama C to Boron version and added ltl2ba dependencies.
* Mon Jul 05 2010 Mark Rader 1.4-4- Modified spec file to add new OCAML dependency structure for FC-13
* Sun Jun 06 2010 Mark Rader 1.4-3- Added documentation to explain the various licensing entries.- Added .desktop file
* Wed May 26 2010 Mark Rader 1.4-2- Add SELinux context settings.
* Wed Feb 10 2010 Alan Dunn 1.4-1- Initial Fedora RPM
 
ICM