SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for frama-c-emacs-1.10-22.fc22.noarch.rpm :
Sat Apr 11 14:00:00 2015 Jerry James - 1.10-22
- Rebuild for coq 8.4pl6

Thu Mar 19 13:00:00 2015 Jerry James - 1.10-21
- Rebuild for ocamlgraph 1.8.6

Thu Oct 30 13:00:00 2014 Jerry James - 1.10-20
- Rebuild for coq 8.4pl5

Tue Oct 14 14:00:00 2014 Jerry James - 1.10-19
- Rebuild for ocaml-zarith 1.3

Thu Sep 18 14:00:00 2014 Jerry James - 1.10-18
- Bump release and rebuild

Thu Sep 18 14:00:00 2014 Jerry James - 1.10-17
- Rebuild for why3 0.85

Thu Sep 4 14:00:00 2014 Jerry James - 1.10-16
- Adapt to why3 0.84

Tue Sep 2 14:00:00 2014 Jerry James - 1.10-15
- Rebuild for final ocaml 4.02.0 release
- Fix license handling

Mon Aug 25 14:00:00 2014 Jerry James - 1.10-14
- ocaml-4.02.0+rc1 rebuild.

Sat Aug 16 14:00:00 2014 Fedora Release Engineering - 1.10-13
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Sat Aug 9 14:00:00 2014 Richard W.M. Jones - 1.10-12
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Mon Aug 4 14:00:00 2014 Jerry James - 1.10-11
- BR emacs instead of emacs-nox, which has gone away

Fri Aug 1 14:00:00 2014 Richard W.M. Jones - 1.10-11
- Bump release and rebuild.

Fri Aug 1 14:00:00 2014 Richard W.M. Jones - 1.10-10
- Bump release and rebuild.

Fri Jul 25 14:00:00 2014 Richard W.M. Jones - 1.10-9
- Rebuild for OCaml 4.02.0 beta.

Mon Jul 21 14:00:00 2014 Jerry James - 1.10-8
- Add comment to desktop file

Thu Jun 26 14:00:00 2014 Jerry James - 1.10-7
- Set LDFLAGS in a less destructive way (bz 1105265)

Sat Jun 7 14:00:00 2014 Fedora Release Engineering - 1.10-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Tue May 13 14:00:00 2014 Jerry James - 1.10-5
- Rebuild for coq 8.4pl4

Mon Apr 21 14:00:00 2014 Jerry James - 1.10-4
- Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt

Tue Apr 15 14:00:00 2014 Richard W.M. Jones - 1.10-3
- Remove ocaml_arches macro (RHBZ#1087794).

Mon Mar 24 13:00:00 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 13:00:00 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 13:00:00 2014 Jerry James - 1.9-9
- Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.
- Add an Appdata file.

Wed Oct 2 14:00:00 2013 Richard W.M. Jones - 1.9-8
- Rebuild for ocaml-lablgtk 2.18.

Mon Sep 16 14:00:00 2013 Jerry James - 1.9-7
- Rebuild for OCaml 4.01.0
- Enable debuginfo

Fri Aug 9 14:00:00 2013 Jerry James - 1.9-6
- Update -fixes patch to fix startup failures on ARM

Sat Aug 3 14:00:00 2013 Fedora Release Engineering - 1.9-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Fri Jun 21 14:00:00 2013 Jerry James - 1.9-4
- Update to 20130601 bugfix Fluorine release

Mon Jun 3 14:00:00 2013 Jerry James - 1.9-3
- Add -fixes patch to fix code generation for inductive definitions

Thu May 23 14:00:00 2013 Jerry James - 1.9-2
- Update to bugfix Fluorine release

Tue May 14 14:00:00 2013 Jerry James - 1.9-1
- Update to Fluorine version
- Merge -devel into the main package (bz 888865)

Wed Feb 13 13:00:00 2013 Fedora Release Engineering - 1.8-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Mon Jan 14 13:00:00 2013 Jerry James - 1.8-5
- Rebuild for coq 8.4pl1 and alt-ergo 0.95

Mon Nov 5 13:00:00 2012 Jerry James - 1.8-4
- Build with zarith support

Mon Oct 22 14:00:00 2012 Jerry James - 1.8-3
- Update the Requires filter even more for Oxygen

Mon Oct 22 14:00:00 2012 Jerry James - 1.8-2
- Update the Requires filter for Oxygen

Fri Oct 19 14:00:00 2012 Jerry James - 1.8-1
- Update to Oxygen version

Tue Sep 11 14:00:00 2012 Jerry James - 1.7-9
- Disable dangerous code in src/type/type.ml that leads to segfaults.

Mon Aug 27 14:00:00 2012 Jerry James - 1.7-8
- Use a vastly simpler patch for OCaml 4 that fixes the native build.

Fri Aug 3 14:00:00 2012 Jerry James - 1.7-7
- Shipping the bytecode version works better if it isn\'t stripped.

Fri Aug 3 14:00:00 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 14:00:00 2012 Richard W.M. Jones - 1.7-5
- Rebuild for OCaml 4.00.0 official.

Thu Jul 19 14:00:00 2012 Fedora Release Engineering - 1.7-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Mon Jan 9 13:00:00 2012 Jerry James - 1.7-3
- Rebuild for OCaml 3.12.1

Tue Nov 8 13:00:00 2011 Jerry James - 1.7-2
- Rebuild to eliminate libpng dependency

Tue Oct 25 14:00:00 2011 Jerry James - 1.7-1
- Update to Nitrogen version

Mon Jul 11 14:00:00 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 14:00:00 2011 Karsten Hopp 1.5-3.1
- add ppc64 to archs with ocaml

Tue Feb 8 13:00:00 2011 Fedora Release Engineering - 1.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Sat Jan 22 13:00:00 2011 Dan HorĂ¡k - 1.5-2
- updated the supported arch list

Sat Jul 17 14:00:00 2010 Mark Rader 1.5-1
- Upgraded Frama C to Boron version and added ltl2ba dependencies.

Mon Jul 5 14:00:00 2010 Mark Rader 1.4-4
- Modified spec file to add new OCAML dependency structure for FC-13

Sun Jun 6 14:00:00 2010 Mark Rader 1.4-3
- Added documentation to explain the various licensing entries.
- Added .desktop file

Wed May 26 14:00:00 2010 Mark Rader 1.4-2
- Add SELinux context settings.

Wed Feb 10 13:00:00 2010 Alan Dunn 1.4-1
- Initial Fedora RPM


 
ICM