Content of RPM frama-c-1.5-3.fc15.i686.rpm :
/usr/bin/frama-c
/usr/bin/frama-c-gui
/usr/lib/frama-c
/usr/lib/frama-c/abstract_interp.cmi
/usr/lib/frama-c/abstract_value.cmi
/usr/lib/frama-c/alarms.cmi
/usr/lib/frama-c/alpha.cmi
/usr/lib/frama-c/analyses_manager.cmi
/usr/lib/frama-c/annotations.cmi
/usr/lib/frama-c/ast.cmi
/usr/lib/frama-c/ast_info.cmi
/usr/lib/frama-c/ast_printer.cmi
/usr/lib/frama-c/availexpslv.cmi
/usr/lib/frama-c/base.cmi
/usr/lib/frama-c/baseUtils.cmi
/usr/lib/frama-c/base_Set_Lattice.cmi
/usr/lib/frama-c/binary_cache.cmi
/usr/lib/frama-c/bit_model_access.cmi
/usr/lib/frama-c/bit_utils.cmi
/usr/lib/frama-c/boot.cmi
/usr/lib/frama-c/buckx.cmi
/usr/lib/frama-c/cabs.cmi
/usr/lib/frama-c/cabs2cil.cmi
/usr/lib/frama-c/cabscond.cmi
/usr/lib/frama-c/cabshelper.cmi
/usr/lib/frama-c/cabsvisit.cmi
/usr/lib/frama-c/callgraph.cmi
/usr/lib/frama-c/cfg.cmi
/usr/lib/frama-c/cil.cmi
/usr/lib/frama-c/cilE.cmi
/usr/lib/frama-c/cil_computation.cmi
/usr/lib/frama-c/cil_const.cmi
/usr/lib/frama-c/cil_datatype.cmi
/usr/lib/frama-c/cil_types.cmi
/usr/lib/frama-c/cilglobopt.cmi
/usr/lib/frama-c/cilmsg.cmi
/usr/lib/frama-c/ciltools.cmi
/usr/lib/frama-c/cilutil.cmi
/usr/lib/frama-c/clexer.cmi
/usr/lib/frama-c/clist.cmi
/usr/lib/frama-c/cmdline.cmi
/usr/lib/frama-c/command.cmi
/usr/lib/frama-c/computation.cmi
/usr/lib/frama-c/config.cmi
/usr/lib/frama-c/cparser.cmi
/usr/lib/frama-c/cprint.cmi
/usr/lib/frama-c/cvalue_type.cmi
/usr/lib/frama-c/dataflow.cmi
/usr/lib/frama-c/datatype.cmi
/usr/lib/frama-c/db.cmi
/usr/lib/frama-c/db_types.cmi
/usr/lib/frama-c/deadcodeelim.cmi
/usr/lib/frama-c/debug_manager.cmi
/usr/lib/frama-c/descr.cmi
/usr/lib/frama-c/design.cmi
/usr/lib/frama-c/dgraph.cmi
/usr/lib/frama-c/dominators.cmi
/usr/lib/frama-c/dynamic.cmi
/usr/lib/frama-c/dynlink_common_interface.cmi
/usr/lib/frama-c/errorloc.cmi
/usr/lib/frama-c/escape.cmi
/usr/lib/frama-c/expcompare.cmi
/usr/lib/frama-c/extlib.cmi
/usr/lib/frama-c/file.cmi
/usr/lib/frama-c/file_manager.cmi
/usr/lib/frama-c/filetree.cmi
/usr/lib/frama-c/filter.cmi
/usr/lib/frama-c/frontc.cmi
/usr/lib/frama-c/function_Froms.cmi
/usr/lib/frama-c/globals.cmi
/usr/lib/frama-c/graph.cmi
/usr/lib/frama-c/growArray.cmi
/usr/lib/frama-c/gtk_helper.cmi
/usr/lib/frama-c/gui_init.cmi
/usr/lib/frama-c/gui_parameters.cmi
/usr/lib/frama-c/help_manager.cmi
/usr/lib/frama-c/hook.cmi
/usr/lib/frama-c/infer_annotations.cmi
/usr/lib/frama-c/inout_type.cmi
/usr/lib/frama-c/int_Base.cmi
/usr/lib/frama-c/int_Interv.cmi
/usr/lib/frama-c/int_Interv_Map.cmi
/usr/lib/frama-c/inthash.cmi
/usr/lib/frama-c/ival.cmi
/usr/lib/frama-c/journal.cmi
/usr/lib/frama-c/kernel.cmi
/usr/lib/frama-c/kernel_datatype.cmi
/usr/lib/frama-c/kernel_function.cmi
/usr/lib/frama-c/kernel_type.cmi
/usr/lib/frama-c/kind.cmi
/usr/lib/frama-c/lattice_With_Isotropy.cmi
/usr/lib/frama-c/launcher.cmi
/usr/lib/frama-c/lexerhack.cmi
/usr/lib/frama-c/liveness.cmi
/usr/lib/frama-c/lmap.cmi
/usr/lib/frama-c/lmap_bitwise.cmi
/usr/lib/frama-c/lmap_whole.cmi
/usr/lib/frama-c/locations.cmi
/usr/lib/frama-c/log.cmi
/usr/lib/frama-c/logic_builtin.cmi
/usr/lib/frama-c/logic_const.cmi
/usr/lib/frama-c/logic_env.cmi
/usr/lib/frama-c/logic_interp.cmi
/usr/lib/frama-c/logic_lexer.cmi
/usr/lib/frama-c/logic_parser.cmi
/usr/lib/frama-c/logic_preprocess.cmi
/usr/lib/frama-c/logic_ptree.cmi
/usr/lib/frama-c/logic_typing.cmi
/usr/lib/frama-c/logic_utils.cmi
/usr/lib/frama-c/loop.cmi
/usr/lib/frama-c/machdep.cmi
/usr/lib/frama-c/machdep_ppc_32.cmi
/usr/lib/frama-c/machdep_ppc_32_diab.cmi
/usr/lib/frama-c/machdep_x86_16.cmi
/usr/lib/frama-c/machdep_x86_32.cmi
/usr/lib/frama-c/machdep_x86_64.cmi
/usr/lib/frama-c/map_Lattice.cmi
/usr/lib/frama-c/menu_manager.cmi
/usr/lib/frama-c/mergecil.cmi
/usr/lib/frama-c/mergemap.cmi
/usr/lib/frama-c/messages.cmi
/usr/lib/frama-c/mweak.cmi
/usr/lib/frama-c/my_bigint.cmi
/usr/lib/frama-c/namespace.cmi
/usr/lib/frama-c/new_offsetmap.cmi
/usr/lib/frama-c/obfuscate.cmi
/usr/lib/frama-c/offsetmap.cmi
/usr/lib/frama-c/offsetmap_bitwise.cmi
/usr/lib/frama-c/oneret.cmi
/usr/lib/frama-c/origin.cmi
/usr/lib/frama-c/parameters.cmi
/usr/lib/frama-c/patch.cmi
/usr/lib/frama-c/path_lattice.cmi
/usr/lib/frama-c/pdgIndex.cmi
/usr/lib/frama-c/pdgMarks.cmi
/usr/lib/frama-c/pdgTypes.cmi
/usr/lib/frama-c/plugin.cmi
/usr/lib/frama-c/plugins
/usr/lib/frama-c/plugins/gui
/usr/lib/frama-c/pretty_source.cmi
/usr/lib/frama-c/pretty_utils.cmi
/usr/lib/frama-c/printer.cmi
/usr/lib/frama-c/printexc_common_interface.cmi
/usr/lib/frama-c/project.cmi
/usr/lib/frama-c/project_manager.cmi
/usr/lib/frama-c/properties_status.cmi
/usr/lib/frama-c/ptests_config.cmi
/usr/lib/frama-c/ptmap.cmi
/usr/lib/frama-c/ptset.cmi
/usr/lib/frama-c/qstack.cmi
/usr/lib/frama-c/rangemap.cmi
/usr/lib/frama-c/reachingdefs.cmi
/usr/lib/frama-c/relations_type.cmi
/usr/lib/frama-c/rmciltmps.cmi
/usr/lib/frama-c/rmtmps.cmi
/usr/lib/frama-c/service_graph.cmi
/usr/lib/frama-c/setWithNearest.cmi
/usr/lib/frama-c/shifted_Location.cmi
/usr/lib/frama-c/signature.cmi
/usr/lib/frama-c/slicingInternals.cmi
/usr/lib/frama-c/slicingTypes.cmi
/usr/lib/frama-c/source_manager.cmi
/usr/lib/frama-c/source_viewer.cmi
/usr/lib/frama-c/special_hooks.cmi
/usr/lib/frama-c/state_set.cmi
/usr/lib/frama-c/stmts_graph.cmi
/usr/lib/frama-c/subst.cmi
/usr/lib/frama-c/translate_lightweight.cmi
/usr/lib/frama-c/type.cmi
/usr/lib/frama-c/unicode.cmi
/usr/lib/frama-c/unmarshal.cmi
/usr/lib/frama-c/unmarshal_nums.cmi
/usr/lib/frama-c/unroll_loops.cmi
/usr/lib/frama-c/usedef.cmi
/usr/lib/frama-c/utf8_logic.cmi
/usr/lib/frama-c/viewgraph.cmi
/usr/lib/frama-c/visitor.cmi
/usr/lib/frama-c/warning_manager.cmi
/usr/lib/frama-c/whitetrack.cmi
/usr/lib/frama-c/widen.cmi
/usr/lib/frama-c/widen_type.cmi
/usr/lib/frama-c/zrapp.cmi
/usr/share/applications/frama-c-gui.desktop
/usr/share/doc/frama-c-1.5
/usr/share/doc/frama-c-1.5/LGPLv2.1
/usr/share/doc/frama-c-1.5/LGPLv3
/usr/share/doc/frama-c-1.5/LICENSE
/usr/share/doc/frama-c-1.5/Q_MODIFIED_LICENSE
/usr/share/man/man1/frama-c-gui.1.gz
/usr/share/man/man1/frama-c.1.gz
885306