frama-c-1.4-6.fc12$><鉬CUtb>5?d   F $3B `0      8 98<?CC,EQXkSkZk(c8c9c:d>fGf$HhIkXlxYo\]d^TbdleqftlvCframa-c1.46.fc12Framework for source code analysis of C softwareFrama-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.LTvKx86-04.phx2.fedoraproject.orgGXFedora ProjectFedora ProjectLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with modifications)Fedora ProjectDevelopment/Librarieshttp://frama-c.cea.fr/linuxx86_64semanage fcontext -a -t textrel_shlib_t '/usr/lib64/frama-c/plugins/Ltl_to_acsl.cmxs' restorecon -v '/usr/lib64/frama-c/plugins/Ltl_to_acsl.cmxs'iP+t >Lit T NQ ~p- : Y) kQFE ͜ BIq @m)} U %ayY   BN"e/ (YW>.`T_"{;)) `&mbV-TAfWd$o9! 2bXUp %Xh JM<=7B C~"N4a  2 c #4% ^`W$RL w_>{!!A큤A큤A큤A큤LTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvBLTvCLTvBLTvCLTvCLTvCLTvCLTvCLTvBLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCLTvCJ 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/bin/sh                                                                                                                                                                                    ;<8jsktluvewfgxymz{no|}~pqr9c:[hie714ab7a29e06b2f7e8af4cfc9a33a5b1d05b5b7398afeef0cf1f8828aa5c554a0bcdb507194ba63e5b2ddbd9da3662de0d68a27f30f9fc0bcf5ae6121cc38660efe5eb4ffe0460905b03c3feb19d698d1457348c1169aeac301dacfb5673790133db33ca50524088530f46bdfc78363746f1b370bede081242411631a22391cbe6518631693669a6d9b8c7fd54020294d9583e6766e0df2b4060acf8111a0ddeafa772f3ab9a37475a5a65d5e1f956393fd2f3a96f5edc4779895b481cabfd98f167928e3a17081c4b56a565c62045c6bc75b8f53d99239fd736ab13362426d9832c1f88a5a1408fc2cbfad06dc9ae193d152e17c8d65490b21d6d8bacad89af97d921e28739630e81a8597d28e62342ce0ac0353b4b1f6cfc0198728d254acb11af47a37c512d38f589a838a15bffe651f6ab731cce8cd197d62a2b01de6a1ce083dc0b4c610d15d5bf36c6ffe975ed8713af2907fd011fa00ea69f2af195c27f91a43a998ad54e4769b86a7943d94f3623e435a985717a9775f4f627864350131531651a490bc6f3cd2ac050b1f45c55a74503db14dd15de5ff42add11fe1817f302574d7992a6f7691735a9a687e87f9ad972cf5067819f0ee7a9b5a1a2d723c0e66465d2adc23761d4dc3f9a4aec59c7f910dd5a5c08cc3e687f90f610474f7fa526081d861e61536e6744ee92f23b69140a0943488b9fdbd785f65ceabd3fed6fc74a6cf644ff05e1d890ddacb015ecbd82bd31355a67dbcbe0c5108bb0e228e4a01b7ad777a5c47e2589fdf0443f6995264ed6e9ca3df404841ade549e7f9e1331cbf51e9da066f5c2dbd678a2283f6b055555979b76407772b9a040c1013b622ada42c1f8e08dd23e68666e38aa68b14605c4f054cac14891512ad6a080ce6808e0488e6c8d0cd6ddba0e78141cbaaa6d03d988970f0605441676af794f572abacddbc26f403dcb56a3166a7cb08cbc5903f9a89033f03f676096abdfbc8ff98ed48858f260dbc61359eb84971b477e8f82922cf178273915f7d4d52e0a312105d4b191b4f5fa21ea4be14d1d61702cb21cc96eb2fafe1f54c195750a08f60b26099b6df8a2dd12acdecc71194eb60e1f425138417b1ad2fec0181370a7b7f3f5851ea9b177a06bfb23f6318ee65dd42fcfb3a5213ce307e617ef5e7dae74afb561233aabb0e35c810528ec467117d4f9cace029e420c9016095e14bdc8e8a2e3de2aaf59236b2679177bd05f910f94a551310193ed9ce8f688a4470efb8631a23aaabc6aee4c69351faffbcbc656b4dd3ab2aaf0883c070ea5b9dc4e6a2cc6ae6523402bd8d27601b4dcf84c0e5c7084bc96eb6a878bc256f0361f4e5546f831c671e43bc16a4d4956b536a55c944f50b3d7b22646390fd0fa57dc1bea74e9a4e1994ee421256b539b9230713c710321a09748929b93e0d4d2d6cd6237d85e19db3e7a4bcc18254bef554ba1f7b878a232cb415fe8fba2ac67e98a5e9fca9bd3f5262c271738ae6e4217231d8b494bfe31e172fff5bc1c9472a7081c45e80da6ce84833fe524f148eddee72f38e8e42684cd8883bdbd5f6203eab2b54a0214d8ed354f20eef160a7851af1016552ad14829af53232feea54287b0df5c8366f02997baa5bef6baf5f5c7ed23cbea1882033aaca142e2d502ccfba96e8dfd20e2e4f99716a0f04a9e72d0222904da640a23218d474b73d13bbd60545b9c4950f2c1350d1b9421875ee495afbc497ef5d020f466c1a85eee4c2785571f28fbdb51c7053757a014e46617492bf447522c88797b280e9ba4b4311c2f942f55c1c4ab3e3c03ca33f41c0f5d6cc044fb2453b98072029f2acca0ed67b9f12dbb17652ed545de4fb2b08f2d0a7439df2a0c78327334066aef9921da3176e26f0dfd20403cf40ae6d114043d086b74389688b0be4d6df519e1daa145eae313ea940d5bc003ad2eb60dac1dfafd40ebc7da1779dcdbfd6fdaef9f683a1bca367b13833fdd7a808565182cdfd78d0f8297c23f2713578baffbfaf0d5c1f9667e366b29d896521e27e8733fad29d313a63fbd4fcc65ea5523266cf36baa5a9be28d3fb7b1e0d219f843dc35e2fec3cf73c2ef92e26cccadb2841023516502451ad74539978f041532b40fccbde9acdd59f43e678216b77531e6067db26c7c9999e2c870c2ba03aa60e49a5cf9623e39fee991b08a3746601ade017945c7e1acb1dd2f4d7e5413d8c898e76a1b3a94d6183e112036abaceeeab2744ec0d0b3f3276ccd464a4f6df065f47c6393c602703a9d15723e5da2947bc1b8d5e38e5ed801e8ef9fb76b8108e3b56beaa58682b0a1ca7b2ce694357b4ab796277ae7c7ca73e0bd21868d60acf9b7129973ff5eb456b686c244568bc9dd08865d7da5ac37eb2a56ecf045f210bf0d74e1875cfcdf3f4cc42356eb5d16d37a1c0ebd8fddf105f7972635cd145eb83e32e1f943a341ee920297976b1810eb1cb012bb1a45a2f18533968e82ea6bc3e03b46cbad449b2d02dc0fb13f8c5c3b48f94b75a6ea2df82a7a30f2de212947a6cd88925b3745fe0a828ca4fcba125860a9fc8020653abdb676d7ca05208f1feca44d19f3d7ff94d0cbd4705b8dd69e768af3ab6eae2a0ed4d753b8779a1390e7f1cce105d6baeb7e3350aa44112726961deeff493afc9c06af226cffcd49ecc0d16bf57406c7168652020e89836d7d7bab0872fba41a4ec5cbfd0edf3828e0e91d7c84b0dd46345ace393082166507aad2f65f5447a87f82a3f60faf8daca4021b2989248abb47acfeafea1cb38af40f2b3970a9bacadff7f85afb437b25686c3803402b7cbc28eeac4bf8877320e6ec69b4c099ba98b0789015b2a78c9a697726d751545702a805aa20917f7923e8f8dff6e6110fd2844472ee973bbbf1719c7078da06fde43b817f92c640f273315074668f758e3852c628e821b0f4f7dca07eb6fdf26f7716f6be26126e4c33d15ba86c07d1afde28d73b02af617ec24a8418ed58142038605aa42c0456fc8383fb2e4774fa97b9cf44255307dec8a5eb9ecc06803f46f7b6206bbe47dd6fdd45eb3a2eed9dbe75b99f31db580eed90965232e25b212bebad9bbe41ba7eafb084c9c9aef00668a4e84dc36b2e842fd6b93ea374ea38aec51d596e551e8875ed7f10b5deabf9cd061f715c70965573136f63aa2f95c8433f26e5c000661be26e0078e7b9e51bb70e6f2bba13d2a372aa8bab33b411f496b394e4511e4cdcffca54c1c777e469e0a29be1d638b72d5e5a612c1e297b948ba7643d970dc69a5c18f7f8a2a465bfb427caa0228491a8c77de01b9c96ef88b7940a59228f580dfd366ad667f8ca18ebd169111dcc4f49fce11b221f371dbc73a3da54be7fc866014e683b84c507e48d8e7cecd3c6edaa6a0a818358c47fc493e62c2795bca074c5a522325be9ba43daef50562f4f5597b86261fd7da4d5476dad5f337bd98ead1825b4f92f1558e72efb9eac5871d2c6af38161d54acc3c26c778e90b491c21d7ff23b4c18f89f15c9bcdb8e10f9b9fd29eee5fe08173e107598175d067670ca5c320c6da8949c410d556b15e40fc7a7782d0cd797ebbc112046608f757725131e8ac92c723511cf81de1c521d119f853e3113374188308fe89b0a8e2a083a370f35ca6d36ad013a27465d32e401ec7396c460233367156d6f90334aae2456ed6e2ea567bc984fae623d10719aeb7b29811641598c3ffb82a8be1b7b891473627887567dc7648439c750f3801.4-6.fc121.4-6.fc12frama-cframa-c-guiframa-cabout_dialog.cmiabstract_interp.cmiabstract_value.cmialarms.cmialpha.cmiannotations.cmiast.cmiast_info.cmiast_printer.cmiavailexpslv.cmibase.cmibaseUtils.cmibase_Set_Lattice.cmibinary_cache.cmibit_model_access.cmibit_utils.cmiboot.cmibuckx.cmicabs.cmicabs2cil.cmicabshelper.cmicabsvisit.cmicallgraph.cmicfg.cmicil.cmicilE.cmicil_computation.cmicil_const.cmicil_datatype.cmicil_types.cmicilglobopt.cmicilmsg.cmiciltools.cmicilutil.cmiclexer.cmiclist.cmicmdline.cmicomputation.cmiconfig.cmicparser.cmicprint.cmicvalue_type.cmidataflow.cmidatatype.cmidb.cmidb_types.cmideadcodeelim.cmidebug.cmidescr.cmidesign.cmidominators.cmidynamic.cmidynlink_common_interface.cmierrorloc.cmiescape.cmiexpcompare.cmiextlib.cmifile.cmifiletree.cmifilter.cmifrontc.cmifunction_Froms.cmiglobals.cmigrowArray.cmigtk_helper.cmigui_init.cmihook.cmiinfer_annotations.cmiinout_type.cmiint_Base.cmiint_Interv.cmiint_Interv_Map.cmiinthash.cmiival.cmijournal.cmikernel.cmikernel_function.cmikernel_type.cmikind.cmilattice_With_Isotropy.cmilauncher.cmilexerhack.cmiliveness.cmilmap.cmilmap_bitwise.cmilmap_whole.cmilocations.cmilog.cmilogic_builtin.cmilogic_const.cmilogic_env.cmilogic_interp.cmilogic_lexer.cmilogic_parser.cmilogic_preprocess.cmilogic_ptree.cmilogic_typing.cmilogic_utils.cmiloop.cmimachdep.cmimachdep_ppc_32.cmimachdep_ppc_32_diab.cmimachdep_x86_16.cmimachdep_x86_32.cmimachdep_x86_64.cmimap_Lattice.cmimergecil.cmimergemap.cmimessages.cmimweak.cmimy_bigint.cminamespace.cminew_offsetmap.cmiobfuscate.cmioffsetmap.cmioffsetmap_bitwise.cmioneret.cmiorigin.cmiparameters.cmipatch.cmipath_lattice.cmipdgIndex.cmipdgMarks.cmipdgTypes.cmiplugin.cmipluginsLtl_to_acsl.cmoLtl_to_acsl.cmxsguipretty_source.cmipretty_utils.cmiprinter.cmiproject.cmiproject_manager.cmiptests_config.cmiptmap.cmiptset.cmiqstack.cmirangemap.cmireachingdefs.cmirelations_type.cmirmciltmps.cmirmtmps.cmiservice_graph.cmisetWithNearest.cmishifted_Location.cmisignature.cmislicingInternals.cmislicingTypes.cmisource_manager.cmisource_viewer.cmispecial_hooks.cmistate_set.cmistmts_graph.cmisubst.cmitranslate_lightweight.cmitype.cmiunicode.cmiunmarshal.cmiunmarshal_nums.cmiunroll_loops.cmiusedef.cmiutf8_logic.cmivisitor.cmiwarning_manager.cmiwhitetrack.cmiwiden.cmiwiden_type.cmizrapp.cmiframa-c.desktopframa-c-1.4LGPLv2.1LGPLv3LICENSEQ_MODIFIED_LICENSEframa-c-gui.1.gzframa-c.1.gz/usr/bin//usr/lib64//usr/lib64/frama-c//usr/lib64/frama-c/plugins//usr/share/applications//usr/share/doc//usr/share/doc/frama-c-1.4//usr/share/man/man1/-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%U8ؕ:7l2k7(IXc2%ҋD2`H*@4- ̩$ܚr=CJHm{=Z ? 745$uV-(m L-B*zUqĜDE4Nc{.-q\3 eH `Gew%E1]Iv K,tiYoቺi'nRַ\JJ9I+o72L({-0 <ZQ96ZVG,;p=F/t#)y7dA}.w%bifV!.N4#3oӅ(z{?+rTͥuV`m1:TxBi1Y>@wOE `|uWJll>2nC44l:Js_L a̅_zbYJ3 ֓dߵ>KYRڧ~j1zqW&;.-:["ٲsAY.XNzaY7UZDO#/fyP$Y礪^P/h}V%9""G`??%G(\ҷXE[yr^%'$F*4Iy$ AA/`RPU_ދfHբ% T ؔ l"E%uWdž"[*xy 4a0?g%?`p{" 䜝Zӿ8/DgNFږՆ+J͆mKQ(`jz\Id@/{ ,dw+kGg¡G@ɘmzK/?%#>CE{YƫE蟰hYfa0aǧhj|e90Kdك)v,*u}f)n,b-c뮅'OC dr f+,h@5Q٭K$ Jk֤B$oTPkƢpκpPm=e<TDj~^tTOgNr.췑|ɻmT9L׻xq'ܵhax8$]Co/ڥpߠME?D0dx ˡ]n-8ޡ_V"G6j{ M2f,f2f"Z%\̫yp%504}i<Ŵ-Mg+K8ul/g1ѩ`SdfSDs4XG"rٲN_h!V< .Tf5+h#%8p褫~uglKZ3NL$ݥvQ֑K*،,ϋ\EA~_=qLY9fiq୕cNv\9},nQ[y% <6.&_ >m%jX{-B^p[mŶ1r/CIeɴ-[3sS:5}4Ӂ a30 ]%[}&t3XJY`7-…,WdJ(E˾%Z0Cv/ԑ{޾@zV`\̻jE>DI(2}uɏpQG1_ޙSk[D |C+>dSPɥ'+$i`b8, h@)l kߑE*(ڍ X(77[AELM_ޗ=[Qhyrc89»lOͨLM Ec6c/%dtMrV[& F ܙyTƘ6AFB%(.q7ägL(w^taHzysQ+Z.^hBQNh5UbWIs١Jz G^f`ĭ1"Y{kJpRPGP x5a}iY\Dd%új-TIB3 W$/ȱ2^\]?h]SZ SM ?;,jf]c=kj-/ YZ