Thu, 19 Sep 2019 02:04:40 UTC

Information for build frama-c-1.12-1.fc24

ID735440
Package Nameframa-c
Version1.12
Release1.fc24
Epoch
SummaryFramework for source code analysis of C software
DescriptionFrama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
Built byjjames
State complete
Volume DEFAULT
StartedFri, 12 Feb 2016 19:17:44 UTC
CompletedFri, 12 Feb 2016 19:48:56 UTC
Taskbuild (rawhide, /frama-c:2aa10f5386613b58a497d0fe2291956c331ba1cf)
Tags
f24-Alpha
RPMs
src
frama-c-1.12-1.fc24.src.rpm (info) (download)
armv7hl
frama-c-1.12-1.fc24.armv7hl.rpm (info) (download)
frama-c-debuginfo-1.12-1.fc24.armv7hl.rpm (info) (download)
i686
frama-c-1.12-1.fc24.i686.rpm (info) (download)
frama-c-debuginfo-1.12-1.fc24.i686.rpm (info) (download)
noarch
frama-c-doc-1.12-1.fc24.noarch.rpm (info) (download)
frama-c-emacs-1.12-1.fc24.noarch.rpm (info) (download)
frama-c-xemacs-1.12-1.fc24.noarch.rpm (info) (download)
x86_64
frama-c-1.12-1.fc24.x86_64.rpm (info) (download)
frama-c-debuginfo-1.12-1.fc24.x86_64.rpm (info) (download)
Logs
armv7hl
build.log
state.log
root.log
x86_64
build.log
state.log
root.log
i686
build.log
root.log
state.log
Changelog * Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 1.12-1 - Update to Magnesium version - Drop unneeded -why patch * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.11-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Nov 25 2015 Jerry James <loganjerry@gmail.com> - 1.11-9 - Rebuild for ocaml-zarith 1.4.1 * Thu Jul 30 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-8 - OCaml 4.02.3 rebuild. * Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-7 - ocaml-4.02.2 final rebuild. * Mon Jun 22 2015 Jerry James <loganjerry@gmail.com> - 1.11-6 - Rebuild for why3 0.86.1 * Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.11-5 - ocaml-4.02.2 rebuild. * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.11-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat May 16 2015 Jerry James <loganjerry@gmail.com> - 1.11-3 - Rebuild for why3 0.86 * Sat Apr 11 2015 Jerry James <loganjerry@gmail.com> - 1.11-2 - Rebuild for coq 8.4pl6 * Wed Mar 18 2015 Jerry James <loganjerry@gmail.com> - 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 <rjones@redhat.com> - 1.10-21 - ocaml-4.02.1 rebuild. * Thu Oct 30 2014 Jerry James <loganjerry@gmail.com> - 1.10-20 - Rebuild for coq 8.4pl5 * Tue Oct 14 2014 Jerry James <loganjerry@gmail.com> - 1.10-19 - Rebuild for ocaml-zarith 1.3 * Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 1.10-18 - Bump release and rebuild * Thu Sep 18 2014 Jerry James <loganjerry@gmail.com> - 1.10-17 - Rebuild for why3 0.85 * Thu Sep 04 2014 Jerry James <loganjerry@gmail.com> - 1.10-16 - Adapt to why3 0.84 * Tue Sep 02 2014 Jerry James <loganjerry@gmail.com> - 1.10-15 - Rebuild for final ocaml 4.02.0 release - Fix license handling * Mon Aug 25 2014 Jerry James <loganjerry@gmail.com> - 1.10-14 - ocaml-4.02.0+rc1 rebuild. * Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.10-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Aug 09 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-12 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. * Mon Aug 04 2014 Jerry James <loganjerry@gmail.com> - 1.10-11 - BR emacs instead of emacs-nox, which has gone away * Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-11 - Bump release and rebuild. * Fri Aug 01 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-10 - Bump release and rebuild. * Fri Jul 25 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-9 - Rebuild for OCaml 4.02.0 beta. * Mon Jul 21 2014 Jerry James <loganjerry@gmail.com> - 1.10-8 - Add comment to desktop file * Thu Jun 26 2014 Jerry James <loganjerry@gmail.com> - 1.10-7 - Set LDFLAGS in a less destructive way (bz 1105265) * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.10-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Tue May 13 2014 Jerry James <loganjerry@gmail.com> - 1.10-5 - Rebuild for coq 8.4pl4 * Mon Apr 21 2014 Jerry James <loganjerry@gmail.com> - 1.10-4 - Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt * Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 1.10-3 - Remove ocaml_arches macro (RHBZ#1087794). * Mon Mar 24 2014 Jerry James <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 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 <loganjerry@gmail.com> - 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 <rjones@redhat.com> - 1.9-8 - Rebuild for ocaml-lablgtk 2.18. * Mon Sep 16 2013 Jerry James <loganjerry@gmail.com> - 1.9-7 - Rebuild for OCaml 4.01.0 - Enable debuginfo * Fri Aug 09 2013 Jerry James <loganjerry@gmail.com> - 1.9-6 - Update -fixes patch to fix startup failures on ARM * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.9-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Fri Jun 21 2013 Jerry James <loganjerry@gmail.com> - 1.9-4 - Update to 20130601 bugfix Fluorine release * Mon Jun 03 2013 Jerry James <loganjerry@gmail.com> - 1.9-3 - Add -fixes patch to fix code generation for inductive definitions * Thu May 23 2013 Jerry James <loganjerry@gmail.com> - 1.9-2 - Update to bugfix Fluorine release * Tue May 14 2013 Jerry James <loganjerry@gmail.com> - 1.9-1 - Update to Fluorine version - Merge -devel into the main package (bz 888865) * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.8-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Mon Jan 14 2013 Jerry James <loganjerry@gmail.com> - 1.8-5 - Rebuild for coq 8.4pl1 and alt-ergo 0.95 * Mon Nov 05 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 03 2012 Jerry James <loganjerry@gmail.com> - 1.7-7 - Shipping the bytecode version works better if it isn't stripped. * Fri Aug 03 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 09 2012 Jerry James <loganjerry@gmail.com> - 1.7-3 - Rebuild for OCaml 3.12.1 * Tue Nov 08 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 08 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 * Sat Jul 17 2010 Mark Rader <msrader@gmail.com> 1.5-1 - Upgraded Frama C to Boron version and added ltl2ba dependencies. * Mon Jul 05 2010 Mark Rader <msrader@gmail.com> 1.4-4 - Modified spec file to add new OCAML dependency structure for FC-13 * Sun Jun 06 2010 Mark Rader <msrader@gmail.com> 1.4-3 - Added documentation to explain the various licensing entries. - Added .desktop file * Wed May 26 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