Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 18 > x86_64 > media > updates > by-pkgid > 3369069537fb6a262539295a5d2f2af8 > changelog

frama-c-xemacs-el-1.8-5.fc18.noarch.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Mon Jan 14 2013 Jerry James <loganjerry@gmail.com> - 1.8-5

  - Rebuild for coq 8.4pl1 and alt-ergo 0.95

• Mon Nov 5 2012 Jerry James <loganjerry@gmail.com> - 1.8-4

  - Build with zarith support

• Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-3

  - Update the Requires filter even more for Oxygen

• Mon Oct 22 2012 Jerry James <loganjerry@gmail.com> - 1.8-2

  - Update the Requires filter for Oxygen

• Fri Oct 19 2012 Jerry James <loganjerry@gmail.com> - 1.8-1

  - Update to Oxygen version

• Tue Sep 11 2012 Jerry James <loganjerry@gmail.com> - 1.7-9

  - Disable dangerous code in src/type/type.ml that leads to segfaults.

• Mon Aug 27 2012 Jerry James <loganjerry@gmail.com> - 1.7-8

  - Use a vastly simpler patch for OCaml 4 that fixes the native build.

• Fri Aug 3 2012 Jerry James <loganjerry@gmail.com> - 1.7-7

  - Shipping the bytecode version works better if it isn't stripped.

• Fri Aug 3 2012 Jerry James <loganjerry@gmail.com> - 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 <rjones@redhat.com> - 1.7-5

  - Rebuild for OCaml 4.00.0 official.

• Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.7-4

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

• Mon Jan 9 2012 Jerry James <loganjerry@gmail.com> - 1.7-3

  - Rebuild for OCaml 3.12.1

• Tue Nov 8 2011 Jerry James <loganjerry@gmail.com> - 1.7-2

  - Rebuild to eliminate libpng dependency

• Tue Oct 25 2011 Jerry James <loganjerry@gmail.com> - 1.7-1

  - Update to Nitrogen version

• Mon Jul 11 2011 Jerry James <loganjerry@gmail.com> - 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 <karsten@redhat.com> 1.5-3.1

  - add ppc64 to archs with ocaml

• Tue Feb 8 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.5-3

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

• Sat Jan 22 2011 Dan Horák <dan[at]danny.cz> - 1.5-2

  - updated the supported arch list

• Wed Jul 7 2010 Mark Rader <msrader@gmail.com> 1.5-1

  - Upgraded Frama C to Boron version and added ltl2ba dependencies.

• Mon Jul 5 2010 Mark Rader <msrader@gmail.com> 1.4-4

  - Modified spec file to add new OCAML dependency structure for FC-13

• Sun Jun 6 2010 Mark Rader <msrader@gmail.com> 1.4-3

  - Added documentation to explain the various licensing entries.
  - Added .desktop file

• Mon May 24 2010 Mark Rader <msrader@gmail.com> 1.4-2

  - Add SELinux context settings.

• Wed Feb 10 2010 Alan Dunn <amdunn@gmail.com> 1.4-1

  - Initial Fedora RPM