frama-c-devel-1.4-6.fc12$>0r"bQ>3 ? d  9+:{  $ D   4(89: G H TI X Y \ ] ^ b d xe }f l  Cframa-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.LTv 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 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnu?7zXZ !PH6]"k%nؕ:7ռgw;q~2:B`\KO)E:s_dK&𱫬1G(S6nVR{a8C2s GyV}.5SǽI c^ js z,$S96XKQ8}Nm_HLe SӢ%ԍ?'\uq϶nVI|0Vֶ}_sua޸. 齼MESLGs{nnJa XИnXbD!Perj(~ѣp`yȔqp:&N4Im呌D1wՔc'Mܴ-+ط|οUYt`*f__5©)E*m=4)G\ayH&+]ax{9q">!ژ 4!AgW> pJ`8y.; ,{3m|0 Pذ 7 dK>oBZۃ+SI~IeDRc6 a1-]8|?GrHϾftmZ[?ZfKSxt-Ado.K!Y9ϴGsj)>69xϿX@S\Z;hHI~r($HrsρWџVE;uu>נ-lBz "?>i'!SH˟ j(-p-J@uf /^V[B"+RiX1b!Ƴ=P|} 5)֒ݵnh#WhQvAK2/e !i&qU*ьf$2PMyeR -|X˜pv$KxUC1F<5'0 |5Ffܳ&_Փ@5r8hpnt') S(_^;ay^!ԩW"pi+W : P1U vZMyڰ5 DNU3En/̺!B1fglzvnYa,ηW,F$'E>KHrz]xQagV)X»M!H9Sc\fݵ;&>(:!x˯33{?<ff ͂ Zvq+ܑ6_ڋ| H*(]$q2 ns3G.EǠuޮZ2԰E2L W _1>>Jy+'yV1".f6% *k2VQt j, F,#9Ey}*,^ݖ27E DN/AwL"B~%W, ?j YZ