frama-c-devel-1.4-6.fc12$>>) }Ө%>3 x? hd  9+:{  $ D   4(89: G H TI X Y \ ] ^ b d Ce Hf Kl M dCframa-c-devel1.46.fc12Development files for frama-cThe frama-c-devel package contains libraries and signature files for developing applications that use frama-c. In particular, this package is necessary to compile plug ins for Frama-C.LTvppc04.phx2.fedoraproject.orgFedora ProjectFedora ProjectLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with modifications)Fedora ProjectDevelopment/Librarieshttp://frama-c.cea.fr/linuxppczc p W +n$$LTvLTvLTvLTvLTvLTvLTvLTvLTvLTvLTvLTvLTvLTvLTvLTva1e1984d20c2814ab349d9a4e30d9bb00ae0e41461e8811c57c9b02c1232c59cecd41d8dcc21e830b85a46445286a64ef3a6472834dce8a8a9d72284517ffe7f33694eab6b4b8f13eb0d2f9d2219751c9a706f78246f64151f66e3e051c779ca9613cf681bb0515b7dee7191ff7a3182982fe54bf5231809509701522c0d25cb22f07f103aea2d8347e1112fcf99a1be72076ef770449f353ebd39dc413c2d2b003c4c57b94a62eaffa3a435326a1dba4c4ff4a66e1670f4ff69d518a78c4f0df42097add0930452952b2de765ebebd55154a73c025ec766f05391f3bfef027e64b265db1f2ff87405afa345a6318a422b1348d1bee6fc183c6702efda525ee04a832b65ce367c6ba90f45f6b463e897cfb6d417ee209d7ccc1604f44f8c56322952616b0bbadb057f013922125c39f9fc75160f7e5ce6b4342f038dc062231962175c46bd0491da55ea66173af60c8edcf2949631536930e9fdc7f1db52c8b5180ed8f1286183cc11def1736fe20b838cd4b7db9cd0ddaad583a5a691f9e322984422ab3687b015c05e340e54f1c3f873ae50481182b7d2ccc5e617b966622dbecd9a479881b57a4c0253a4437808d5ebb5fd868b6e825466539e6d7434e0ee76b6ae3f0060fc16a7025f7d59d52de4904b75c28c52e019edbf5ce8cd9c4e481f60aa793b94d4e54529e715a67ed1a7d6566f757e913d6f6e79fb8a9adc840crootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-1.4-6.fc12.src.rpmframa-c-develframa-c-devel(ppc-32)    frama-crpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(CompressedFileNames)rpmlib(PayloadIsXz)1.4-6.fc124.6.0-14.0-13.0.4-15.2-14.7.2LT@LBL1@L Kj@KrMark Rader 1.4-6Mark Rader 1.4-5Mark Rader 1.4-4Mark Rader 1.4-3Mark Rader 1.4-2Alan Dunn 1.4-1- Modified the gui file and directory to correct potential ownership problem.- Modified comments to patch 1 in spec file - Corrected SELinux context settings- Modified spec file to add new OCAML dependency structure for FC-13- Added documentation to explain the various licensing entries. - Added .desktop file- Add SELinux context settings.- Initial Fedora RPM                POLQNM48935:;67<1.4-6.fc121.4-6.fc12Makefile.commonMakefile.configMakefile.dynamicMakefile.dynamic_configMakefile.kernelMakefile.pluginbuiltin.cbuiltin.hfluctuat.hframa-c.rclibc.clibc.hmachine.hmalloc.cmath.cmath.h/usr/share/frama-c/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32drpmxz2ppc-redhat-linux-gnu?7zXZ !PH6]"k%nؕ:7ռgw;q~2:B`\KO ?#!Y2Q(T[M`o. .3v|a:)f;h tqC٢i#r} ojntŸ+tDXz˯c@|Y $VYqwy{e?,f)mD8}f1²x ̒ÀK)"&/5˫v;pOa$4Pw^vjFh68[M^e#'Hx_Iq 3A ~KP YyEoνz&ܸ}A1@341"ѸqNOE, ^r#'")8K@5B!}dw#~:+ mupڕ؇^5'&OLI`'M -gz؎~ͷ ;ӏwAzY66=79xl` Ѫ}.}|J믅6붯ALճf/3="_ <7b6i\l T6rQXH b6Ajs(:LK]{K2dQrNxCqc<C9FwbN7899 7ඃ̻娑T/qlW1A%LQ u=6{Av>ڳ+!6lE݄:ϯ˿=gqDvC.~ VRHhWv 8E{d15Bvj y(jT2qc+"|Ru5,jYd%tK5caޕ,ӵ=;zAξtg)e hCܚC'%DeLjd B⪣ YZ