frama-c-devel-1.4-6.fc12$>;UjӰxsK->3 ? xd  9+:{  $ D   4(89: G H TI X Y \ ] ^ b d Qe Vf Yl [ tCframa-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.LTwCppc03.phx2.fedoraproject.org=Fedora ProjectFedora ProjectLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with modifications)Fedora ProjectDevelopment/Librarieshttp://frama-c.cea.fr/linuxppc64z?c p W +n$$LTwLTwLTwLTwLTwLTwLTwLTwLTwLTwLTwLTwLTwLTwLTwLTwa1e1984d20c2814ab349d9a4e30d9bb00ae0e41461e8811c57c9b02c1232c59c2c6e7df8e8c620cd729afecdb89b99e1f57635ef1590ae934b761005dafea6dd33694eab6b4b8f13eb0d2f9d2219751c9a706f78246f64151f66e3e051c779ca9613cf681bb0515b7dee7191ff7a3182982fe54bf5231809509701522c0d25cb8e8c18463c59c63139dfb6e3c65130b340ffd5dd3091b37d4ea85ba47b65a86f003c4c57b94a62eaffa3a435326a1dba4c4ff4a66e1670f4ff69d518a78c4f0df42097add0930452952b2de765ebebd55154a73c025ec766f05391f3bfef027e64b265db1f2ff87405afa345a6318a422b1348d1bee6fc183c6702efda525ee04a832b65ce367c6ba90f45f6b463e897cfb6d417ee209d7ccc1604f44f8c56322952616b0bbadb057f013922125c39f9fc75160f7e5ce6b4342f038dc062231962175c46bd0491da55ea66173af60c8edcf2949631536930e9fdc7f1db52c8b5180ed8f1286183cc11def1736fe20b838cd4b7db9cd0ddaad583a5a691f9e322984422ab3687b015c05e340e54f1c3f873ae50481182b7d2ccc5e617b966622dbecd9a479881b57a4c0253a4437808d5ebb5fd868b6e825466539e6d7434e0ee76b6ae3f0060fc16a7025f7d59d52de4904b75c28c52e019edbf5ce8cd9c4e481f60aa793b94d4e54529e715a67ed1a7d6566f757e913d6f6e79fb8a9adc840crootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-1.4-6.fc12.src.rpmframa-c-develframa-c-devel(ppc-64)    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                 !   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 -m64 -mminimal-tocdrpmxz2ppc64-redhat-linux-gnu?7zXZ !PH6]"k%nؕ:7ռgw;q~2zqr3'q0gɄVm)-匼Xʆix~ ^UQ 8Ⓛ5H/*Fe #* !72D#4s4p[>EC4y%EӠ~.'P88N3'cxYVw ODndr^P4^a"%:Z 㿘 氈olrpqgT+';`,@u`0(lnɔ`B?Y,E:g^iOoU{NF  X29Ӧ=/ S#ecѴ]ڨ>2ݙ3;"<cԃD;nf4g A=5wxrڋRCѓSev;ܼ W&a_>"nU"hSTp1 -}m[Pst_I"oY=Eן fԿhBI/X8&~ݠOnA,@k=[p@p_ԉ~V5a(!N0UYm =vs{eU܂!)51\O1@D84PJңCf! 4!a2cNE}BdhE(=} eüe+G 121$6"\@Ţ9Px)G44XC.i%pS_$SLǭ#gd9r#4bw<96&&rSR٩_}6M;n(F c DmzmgW}G1i^5!S+&msLۆji ޥX4uljgŧi/"Zg+NUE!OX9QIƂpINn H C{S:gI1nQq70'@F%eKo&_Ya娾'd.oZ%xݏMGfܕsǠ%R_-Y&b;rUxb?ϼ=d T]^3[C~sɎɖOUa~yo2AJ?KJIѤ]^p(~E՗YiԱL\ hͣ4y(+FhΥ K "e YZ