frama-c-devel-1.4-6.fc12$>ST&.2o>3 ? xd  9+:{  $ D   4(89: G H TI X Y \ ] ^ b d Re Wf Zl \ 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.LTvKx86-04.phx2.fedoraproject.org=Fedora ProjectFedora ProjectLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with modifications)Fedora ProjectDevelopment/Librarieshttp://frama-c.cea.fr/linuxx86_64z?c p W +n$$LTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBLTvBa1e1984d20c2814ab349d9a4e30d9bb00ae0e41461e8811c57c9b02c1232c59c2c6e7df8e8c620cd729afecdb89b99e1f57635ef1590ae934b761005dafea6dd33694eab6b4b8f13eb0d2f9d2219751c9a706f78246f64151f66e3e051c779ca9613cf681bb0515b7dee7191ff7a3182982fe54bf5231809509701522c0d25cb8e8c18463c59c63139dfb6e3c65130b340ffd5dd3091b37d4ea85ba47b65a86f003c4c57b94a62eaffa3a435326a1dba4c4ff4a66e1670f4ff69d518a78c4f0df42097add0930452952b2de765ebebd55154a73c025ec766f05391f3bfef027e64b265db1f2ff87405afa345a6318a422b1348d1bee6fc183c6702efda525ee04a832b65ce367c6ba90f45f6b463e897cfb6d417ee209d7ccc1604f44f8c56322952616b0bbadb057f013922125c39f9fc75160f7e5ce6b4342f038dc062231962175c46bd0491da55ea66173af60c8edcf2949631536930e9fdc7f1db52c8b5180ed8f1286183cc11def1736fe20b838cd4b7db9cd0ddaad583a5a691f9e322984422ab3687b015c05e340e54f1c3f873ae50481182b7d2ccc5e617b966622dbecd9a479881b57a4c0253a4437808d5ebb5fd868b6e825466539e6d7434e0ee76b6ae3f0060fc16a7025f7d59d52de4904b75c28c52e019edbf5ce8cd9c4e481f60aa793b94d4e54529e715a67ed1a7d6566f757e913d6f6e79fb8a9adc840crootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootframa-c-1.4-6.fc12.src.rpmframa-c-develframa-c-devel(x86-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                YXUZWV=AB<>CD?@E1.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 -mtune=genericdrpmxz2x86_64-redhat-linux-gnu?7zXZ !PH6]"k%nؕ:7ռgw;q~2zqr3'q0gɄVR'\^mzsB#ĺr,3pK0#'RsB+!ˋQdm۹IhS{tg(8aB ?oEV"J;A X6b+[IH8V~錉]P_zBDQHg5]1r֞ӓ [5_pcA= 䝇_p_GCTJ.cê̗O 6<d/o[`sf4`yÐ6XM+4jTiۻT1kD@PO9[мʂ?bҖ2|qF2Xb?FGj[]F\­,$߲n ^N^OW@FfvtQͤ\T,b~nNe~~sϬ?զx bw b5EkǺ9JTI,Y=ABl2$Fi! 3QgjCtqש,<E辶:!ɍهxۀ]v|i\Wz1l_E/*'|o.b@ϥhORaS6CGT+*OQvpQ꾰gd>/ Ya.s,ofgP'N jAlGdq5@zlU[)8JɁJKT@)YFji S?aYu0 ?Bhx* 'Z09:iCf)^*Psx`N+Å\VTӚ8_l/}r#?-BXM!Nr `˙_- E@Rۯӥsޮز} CgMέZkZYM/AY>Rsyǁe`Ȍvvy?^IE\L-ErI^oIޙ;ϒ#x=@SkceQӐCʄSq)YP-(^ib<^6GH 0&L<4:>",M{]2 #uBjP"0no[:$̭=kߞPtm+ASF;410`1{=RN1g.q'1}L R[#ʹRrނ;k<^P,9'9N4(xLe3&;c4qx=pf, eԬg5Ӳnjqn>5ry R&wZ˓ee 51uQ|S@i #^}.?10mʚT̈NWdž-9푓 l¶ YZ