SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

frama-c rpm build for : Fedora 28. For other distributions click frama-c.

Name : frama-c
Version : 16.0 Vendor : Fedora Project
Release : 1.fc28 Date : 2018-02-14 02:53:06
Group : Unspecified Source RPM : frama-c-16.0-1.fc28.src.rpm
Size : 115.29 MB
Packager : Fedora Project
Summary : Framework for source code analysis of C software
Description :
Frama-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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/28/Everything/x86_64/os/Packages/f

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  frama-c-16.0-1.fc28.x86_64.rpm
     

Provides :
application()
application(frama-c-gui.desktop)
frama-c
frama-c(x86-64)
metainfo()
metainfo(frama-c-gui.appdata.xml)
ocaml(Abstract_interp)
ocaml(Alarms)
ocaml(Allocates)
ocaml(Alpha)
ocaml(Analyses_manager)
ocaml(Annotations)
ocaml(Aorai)
ocaml(Asm_contracts)
ocaml(Ast)
ocaml(Ast_info)
ocaml(Bag)
ocaml(Base)
ocaml(Binary_cache)
ocaml(Bit_utils)
ocaml(Bitvector)
ocaml(Book_manager)
ocaml(Boot)
ocaml(Bottom)
ocaml(Cabs)
ocaml(Cabs2cil)
ocaml(Cabs_debug)
ocaml(Cabshelper)
ocaml(Cabsvisit)
ocaml(Callgraph)
ocaml(Cfg)
ocaml(Cil)
ocaml(CilE)
ocaml(Cil_const)
ocaml(Cil_datatype)
ocaml(Cil_descriptive_printer)
ocaml(Cil_printer)
ocaml(Cil_state_builder)
ocaml(Cil_types)
ocaml(Cil_types_debug)
ocaml(Cilconfig)
ocaml(Clexer)
ocaml(Clone)
ocaml(Cmdline)
ocaml(Command)
ocaml(Config)
ocaml(Constant_Propagation)
ocaml(Cparser)
ocaml(Cprint)
ocaml(Cvalue)
ocaml(Dataflow)
ocaml(Dataflow2)
ocaml(Dataflows)
ocaml(Datatype)
ocaml(Db)
ocaml(Debug_manager)
ocaml(Descr)
ocaml(Description)
ocaml(Design)
ocaml(Destructors)
ocaml(Dominators)
ocaml(Dynamic)
ocaml(E_ACSL)
ocaml(Emitter)
ocaml(Errorloc)
ocaml(Escape)
ocaml(Exn_flow)
ocaml(Extlib)
ocaml(FCBuffer)
ocaml(FCHashtbl)
ocaml(FCMap)
ocaml(FCSet)
ocaml(File)
ocaml(File_manager)
ocaml(Filecheck)
ocaml(Filepath)
ocaml(Filetree)
ocaml(Filter)
ocaml(Floating_point)
ocaml(Frama_c_init)
ocaml(From)
ocaml(Frontc)
ocaml(Function_Froms)
ocaml(Fval)
ocaml(Globals)
ocaml(Gtk_form)
ocaml(Gtk_helper)
ocaml(Gui_parameters)
ocaml(Gui_printers)
ocaml(Help_manager)
ocaml(History)
ocaml(Hook)
ocaml(Hptmap)
ocaml(Hptmap_sig)
ocaml(Hptset)
ocaml(Impact)
ocaml(Indexer)
ocaml(Infer_annotations)
ocaml(Inout)
ocaml(Inout_type)
ocaml(Int_Base)
ocaml(Int_Intervals)
ocaml(Int_Intervals_sig)
ocaml(Integer)
ocaml(Ival)
ocaml(Journal)
ocaml(Json)
ocaml(Kernel)
ocaml(Kernel_function)
ocaml(Lattice_messages)
ocaml(Lattice_type)
ocaml(Launcher)
ocaml(Leftistheap)
ocaml(Lexerhack)
ocaml(Lmap)
ocaml(Lmap_bitwise)
ocaml(Lmap_sig)
ocaml(Locations)
ocaml(Log)
ocaml(Logic_builtin)
ocaml(Logic_const)
ocaml(Logic_env)
ocaml(Logic_interp)
ocaml(Logic_lexer)
ocaml(Logic_parser)
ocaml(Logic_preprocess)
ocaml(Logic_print)
ocaml(Logic_ptree)
ocaml(Logic_typing)
ocaml(Logic_utils)
ocaml(Loop)
ocaml(LoopAnalysis)
ocaml(Machdeps)
ocaml(Map_lattice)
ocaml(Menu_manager)
ocaml(Mergecil)
ocaml(Messages)
ocaml(Metrics)
ocaml(Nonterm)
ocaml(Obfuscator)
ocaml(Occurrence)
ocaml(Offsetmap)
ocaml(Offsetmap_bitwise_sig)
ocaml(Offsetmap_lattice_with_isotropy)
ocaml(Offsetmap_sig)
ocaml(Oneret)
ocaml(Ordered_stmt)
ocaml(Origin)
ocaml(Parameter_builder)
ocaml(Parameter_category)
ocaml(Parameter_customize)
ocaml(Parameter_sig)
ocaml(Parameter_state)
ocaml(Pdg)
ocaml(PdgIndex)
ocaml(PdgMarks)
ocaml(PdgTypes)
ocaml(Plugin)
ocaml(Postdominators)
ocaml(Precise_locs)
ocaml(Pretty_source)
ocaml(Pretty_utils)
ocaml(Print_api)
ocaml(Printer)
ocaml(Printer_api)
ocaml(Printer_builder)
ocaml(Project)
ocaml(Project_manager)
ocaml(Project_skeleton)
ocaml(Property)
ocaml(Property_navigator)
ocaml(Property_status)
ocaml(Ptests_config)
ocaml(Qed)
ocaml(Qstack)
ocaml(Rangemap)
ocaml(Report)
ocaml(Rgmap)
ocaml(Rmtmps)
ocaml(RteGen)
ocaml(Scope)
ocaml(Security_slicing)
ocaml(Service_graph)
ocaml(Slicing)
ocaml(Source_manager)
ocaml(Source_viewer)
ocaml(Sparecode)
ocaml(Special_hooks)
ocaml(State)
ocaml(State_builder)
ocaml(State_dependency_graph)
ocaml(State_selection)
ocaml(State_topological)
ocaml(Statuses_by_call)
ocaml(Stmts_graph)
ocaml(Structural_descr)
ocaml(Studia)
ocaml(Task)
ocaml(Tr_offset)
ocaml(Transitioning)
ocaml(Translate_lightweight)
ocaml(Type)
ocaml(Typed_parameter)
ocaml(Undefined_sequence)
ocaml(Unicode)
ocaml(Unmarshal)
ocaml(Unmarshal_z)
ocaml(Unroll_loops)
ocaml(Users)
ocaml(Utf8_logic)
ocaml(Value)
ocaml(Value_types)
ocaml(Variadic)
ocaml(Vector)
ocaml(Visitor)
ocaml(Warning_manager)
ocaml(Wbox)
ocaml(Wfile)
ocaml(Widen_type)
ocaml(Widget)
ocaml(Wp)
ocaml(Wpalette)
ocaml(Wpane)
ocaml(Wtable)
ocaml(Wtext)
ocaml(Wto)
ocaml(Wto_statement)
ocaml(Wutil)

Requires :
bash-completion
gcc
graphviz
hicolor-icon-theme
libart_lgpl_2.so.2()(64bit)
libatk-1.0.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.10)(64bit)
libc.so.6(GLIBC_2.11)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.16)(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.2)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libc.so.6(GLIBC_2.9)(64bit)
libcairo.so.2()(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
libfontconfig.so.1()(64bit)
libfreetype.so.6()(64bit)
libgdk-x11-2.0.so.0()(64bit)
libgdk_pixbuf-2.0.so.0()(64bit)
libgio-2.0.so.0()(64bit)
libglib-2.0.so.0()(64bit)
libgmp.so.10()(64bit)
libgnomecanvas-2.so.0()(64bit)
libgobject-2.0.so.0()(64bit)
libgtk-x11-2.0.so.0()(64bit)
libgtksourceview-2.0.so.0()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libpango-1.0.so.0()(64bit)
libpangocairo-1.0.so.0()(64bit)
libpangoft2-1.0.so.0()(64bit)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.2.5)(64bit)
libpthread.so.0(GLIBC_2.3.2)(64bit)
ltl2ba
ocaml(Abstract_interp) = a9ee1d333ab8c80f676658c3b5f2f5ac
ocaml(Alarms) = 264a48a97b41b291aa83ca4d81633d27
ocaml(Annotations) = 65d331608c0e4d130b956e98a94cb240
ocaml(Apron) = bb6f404fcff1a4351eb77ba423ee7feb
ocaml(Array) = 0fba23558da789bd0ef7ad786bdc90e6
ocaml(ArrayLabels) = c4974e11dd7c941c002b826edc727de8
ocaml(Ast) = e9aae8a09c0ee2a273a404141b2a3b90
ocaml(Ast_info) = 1905a3e91ce969d8bb54bbbe253f51bd
ocaml(Bag) = bff29a84f7116960ecc6c721b551d00b
ocaml(Base) = 2438b29be0881837dcd1b89d6b2dc66c
ocaml(Bigarray) = da090c7264bf7d65c07dca0e9ef669b5
ocaml(Binary_cache) = 31a9c8b54006fc53131e5eaae8687dde
ocaml(Bit_utils) = ca7a6134f380f290e42d24d3b9986ec0
ocaml(Bitvector) = cd63e3c2905fbb50ed1d25ccdd8fa42c
ocaml(Bottom) = 8dfdcfe21723b41b2a9b59ee6a666219
ocaml(Box) = 97995f6651c65efd635fef2f4c6b0e84
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(Bytes) = b0d8deb18827702df0887113ba3c0110
ocaml(BytesLabels) = 082178365ae645afd148522f3218f31e
ocaml(Cabs) = ae6540aaa32d6db6132568a34bc76114
ocaml(Cabs2cil) = 25ed69d9d8c9b02ca9d088054dc40c8b
ocaml(Cabsvisit) = 4ba480bcd2817999aea0239c3bae0100
ocaml(Callback) = 381b3818bd7b7f37a7bf11fb6c76a12a
ocaml(Callgraph) = 8d541fd4a12c46202ab4a9c24633826e
ocaml(CamlinternalBigarray) = 4ff98b0650eef9c38ee9c9930e0c3e9b
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(CamlinternalLazy) = 82ff65fd3ba766b66b963761d8f6b333
ocaml(CamlinternalMod) = 8d4f9a6217ec1079cfdda6e658d5c81c
ocaml(CamlinternalOO) = 69dec6b14920fcc456f3cbd10764333e
ocaml(Cfg) = cba3fa925fa4f9665e2ccd9ff120fe78
ocaml(Char) = 4918635b8796d0ab0d5c593b942f8df7
ocaml(Cil) = 4edf2163a1077a60ec66031f4e7d1c12
ocaml(CilE) = 575aec66989c7f0c6af15bb591861f5b
ocaml(Cil_const) = e89c846686cd0ada7c93c37e56e3e693
ocaml(Cil_datatype) = 6426c4c9711cac4488afdbfb3d3ef3c0
ocaml(Cil_printer) = f200e9deca867169775c0c36d2aed474
ocaml(Cil_state_builder) = d34246cce9b2d8ecfe3c645ef169ee93
ocaml(Cil_types) = 603a88b1d9fde6d3456e92ada31f20f3
ocaml(Cil_types_debug) = 95741ca476ac20ede003cf2044d2f724
ocaml(Clexer) = 8c6921a830a388080fdef4cf7003f4b8
ocaml(Cmdline) = f747f6ab09616067a49d3cff71f0d1ea
ocaml(Command) = 4f7def45b6c4600f99fa0533b9d8ce39
ocaml(Complex) = cd4856c93f21942683ce190142e88396
ocaml(Config) = cff2089757632f842d94680698ca8955
ocaml(Cparser) = 4b448545c71e1b0eba17ae29eebc59e5
ocaml(Cprint) = 14c9f125238bdc6f4e445fd87777a527
ocaml(Cvalue) = d6f3850281e7f5571120e2b9a3eb2220
ocaml(Dataflow) = fe3caed0383ad468a2662ed6a02371b3
ocaml(Dataflow2) = da9d84d02d94f00dafbf59d8735aa1d3
ocaml(Dataflows) = b10ce49a8fedb730d21f72f74f29d1a3
ocaml(Datatype) = 5d672c5380d904c14785395afac62c4d
ocaml(Db) = da34d5d71add09ce008e4484f540cb61
ocaml(Descr) = 0d0313918aa08e02cd1323853f029f97
ocaml(Description) = cda84c2bee9ba6933440eba0a1638293
ocaml(Design) = 363e87e85a51da96bba648215be2f3f6
ocaml(Dgraph) = 079e662790a80d7acd76eed3d0d37ecc
ocaml(Digest) = 9eea388efd5172256c8453659d37f2b5
ocaml(Dominators) = 59cb72e08dfde035a4d52a7212f28113
ocaml(Dynamic) = 63ed1b4153add9ea690725d24b347565
ocaml(Emitter) = 012b45b63c0891af68ca1689e82bd381
ocaml(Escape) = 733c86f0c56b817fa9967576a83cd0e6
ocaml(Extlib) = c3255449d31beb3a8a9698c9ccc03254
ocaml(FCHashtbl) = b2919f4ff775021bed91f7ae685e95ef
ocaml(FCMap) = eff6857d1dc66ea2434b4464b1165207
ocaml(FCSet) = 47299c3b6b85e3c6fd5c09f1f8b7d421
ocaml(File) = 6cd56fc1d81d662214fae633de539df2
ocaml(Filecheck) = 5d850c2d96bbbdb8dc290d000feefaf9
ocaml(Filename) = 4c2454d1aec88f5851f077478f232f2f
ocaml(Filepath) = 91e3a4bd6ea22d64eea4fae5b6e6dd63
ocaml(Filetree) = 77d65e29e92a457efa2ad6e47484d47f
ocaml(Filter) = c5873376df632b9c3646f910573eb6dd
ocaml(Floating_point) = 5f86754fe26bd5c3e36698049df9b908
ocaml(Format) = 1a17539924469551f027475153d4d3b5
ocaml(Function_Froms) = f87d5d3213682a56e3d7dc71b7f0fb32
ocaml(Fval) = 9f5796a0f54247f3ff9e006a3c85a7ac
ocaml(GBin) = 740067a9f24dc17e054d301ca1894baa
ocaml(GBroken) = 558568d2300ce05a3f17550116093e53
ocaml(GButton) = c5e2d7de83515955d0be8babc49b616f
ocaml(GContainer) = f00546a1f6185d95ab5c4c55656aaae1
ocaml(GData) = 30f9866ff8f98faaee7174e6e7a1e494
ocaml(GDraw) = 5c4f01013fa062085ad2949d389501bf
ocaml(GEdit) = 468c05c67faf57e8f2bf53498e4bc376
ocaml(GFile) = 4ab9588434cf9fbe1336b67de93788c8
ocaml(GList) = 6cf30d3d1efea044fd562067c4d2990d
ocaml(GMenu) = 070d3ee09be22b9542e48692b0c52bfb
ocaml(GMisc) = 26087de4a03f3223b1212b95cd4020f5
ocaml(GObj) = d5c97e5e7e95fa043ebc44d31cb1bf0b
ocaml(GPack) = fb4eef2913e207d2b0f324934bb734a5
ocaml(GPango) = feec5e3a138dec642e21af5e93b607f8
ocaml(GRange) = 80942f4e2d6746368f9b113905c8afe8
ocaml(GSourceView2) = bbe24f38ab6cace3e7a63f56135f47a6
ocaml(GText) = 114bf26736f814b8733271f995ba8e33
ocaml(GToolbox) = baf5f1691107148cf6cd98b4dd6531ba
ocaml(GTree) = 2c02cde8134da80a8549286e6e119613
ocaml(GWindow) = dc0de478b6ecff316f3457d38f0418ad
ocaml(Gaux) = e3eb6da8e6a770dbc3a20e1adaf076f5
ocaml(Gc) = 710a8e8b6b15999f36e8242e2a0ef75d
ocaml(Gdk) = 835ebb40432db1fd46a6b7cccb87e189
ocaml(GdkEnums) = 91a1993481e6b572aca60f56c233f1d4
ocaml(GdkEvent) = d519afa3652572b7e283d33f630756d1
ocaml(GdkKeysyms) = 79a1ffb9b94248b2958e7018ebb9aca1
ocaml(GdkPixbuf) = 926199cc1d831b85b632cf2801cf5680
ocaml(Glib) = dfc14b40ae98f9116399057f3858bdef
ocaml(Globals) = 5f0f63fd2b194d09aab91e4adcec6269
ocaml(GnoCanvas) = 96d05c12f1a09ba32e6ac1bb75741cf3
ocaml(GnomeCanvas) = 34047a6ac5c4ef850b15cdc0b42c96ce
ocaml(Gobject) = bdfdd8a15cba3ee1b2dded0ad1bfc916
ocaml(Gpointer) = 709da818c13b3fbea983bc71e27193ee
ocaml(Graph) = efd29031a386bdb3914529e98b14a030
ocaml(Gtk) = 4528d1d30a0aff58ea176d159087b43b
ocaml(GtkBase) = 604c54b2d0d7b37b9c55a1d3992b9792
ocaml(GtkBaseProps) = cf9567c12857063310aceac67e55201d
ocaml(GtkButtonProps) = 0e97fe7b7e3ca185219516f980087394
ocaml(GtkData) = e0d2276d1d159f205ce2e8d0f4d1e4b2
ocaml(GtkEnums) = 14eb3a51d85ace20c3d68ffdb4d8ff5e
ocaml(GtkMain) = 30b11895ee15c399510b33cfa6e3e4f4
ocaml(GtkObject) = 025aa5b7435c2b6c587314f9ed7b17ec
ocaml(GtkPack) = 001b4762222f670225a45b5b4451bf5a
ocaml(GtkPackProps) = ccfa17c2a16164c604712bf8c044552d
ocaml(GtkSignal) = e48210b86284188cb4834895e95e6476
ocaml(GtkSourceView2Props) = 0468147a0e5b0df9bf6cbc2f7274347d
ocaml(GtkStock) = 6713bee41c8dbeffecd7a8c102390a60
ocaml(GtkTree) = bb3f520d4ce7820564c2345cdcc70063
ocaml(GtkTreeProps) = 12161be418327bef3ac92fba94929008
ocaml(Gtk_form) = 12cb329eb0b32a8a1dd3b3c15986a252
ocaml(Gtk_helper) = 2e1c66ab747a3bb51e83e8e423583e15
ocaml(Gui_parameters) = c640c08188f24e5c193f2bbb7edc21a0
ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd
ocaml(History) = 0b0d2dcd7d1bb285b9df57481a54a723
ocaml(Hook) = 007201a2147a09b94d0059b7abdffa14
ocaml(Hptmap) = ec93039a84c326371948ec651b83f1eb
ocaml(Hptmap_sig) = 339d51bf8dcec29e53c8dd089a81f15b
ocaml(Hptset) = 87b469d3dead55afce4708411ab72b51
ocaml(Indexer) = 088ea6fe0f3a73773637d0fa8b2d499c
ocaml(Infer_annotations) = d4ecdebf6e6cf393e60807a3a988363a
ocaml(Inout_type) = 6487b4ce79bc56f4abdcf6985bf45e95
ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919
ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991
ocaml(Int_Base) = 40523f2fcec7ae9e3315704b45e751ed
ocaml(Int_Intervals) = 2326a64c7c8480b3a5b4bf305814a88a
ocaml(Int_Intervals_sig) = 96ee860a429f25bffda8ec5e2c7fb00f
ocaml(Integer) = 9927b81f6faf6bcaface47391c2bb03f
ocaml(Ival) = 77a4ae2588ba8c6d176187ad6bedb5db
ocaml(Journal) = edd16d2083d9111154c5b2f8c5128bed
ocaml(Json) = d135370745f30bdab2c73926533ed0bf
ocaml(Kernel) = 09ba9ef05f5a3f47e9883cb78dbe77a0
ocaml(Kernel_function) = b24ea73e3462212dd64ff9166d536ec8
ocaml(Lattice_type) = 2243a4c3087f8491d7e5d3dddf4a60d7
ocaml(Lazy) = 4bf082b428b11a15971c831a1c768bda
ocaml(Leftistheap) = 7e20f707a21bc2175b808ad0d2360781
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(List) = 7a6b1f92720df765cf38d67f920844fe
ocaml(ListLabels) = f4e829075d9d0bb7de979cfc49c2600b
ocaml(Lmap) = b65aeba62ccc4843e2ee68d176e2f6c7
ocaml(Lmap_bitwise) = b2a1dd651cefe576979e87903e31eb11
ocaml(Lmap_sig) = ca7cc94179427ac020ed5ba8c44e29a1
ocaml(Locations) = c087f3ea59212239514952e930cab1be
ocaml(Log) = 0d363f3d5ba18866e9cd6d41b4e836c6
ocaml(Logic_builtin) = 761e0cfd4f48017a897672a66a932903
ocaml(Logic_const) = cf02911376c15e7e0db497226ad150a5
ocaml(Logic_env) = 808d404aa9a3d9b5dec33f69f92d5c22
ocaml(Logic_interp) = e6375bfa2beb7cc183b5feced43c957f
ocaml(Logic_lexer) = b1f7acde59fb4894965433bd87b86c24
ocaml(Logic_parser) = 1ac81c57e8b1820bddb5c516de4a00f8
ocaml(Logic_ptree) = 65ed23769cd8422410dc6bcdafa0c85d
ocaml(Logic_typing) = 3041c0ad8566e1fcae47d648ecfa95b6
ocaml(Logic_utils) = ee1229d0048248f1dafff25871a98961
ocaml(Loop) = af2ad6a2a6fea71376acdae193366fe3
ocaml(Map) = 8b8de381501aa7862270c15619322ee7
ocaml(Marshal) = 9dbb48cebd784fc6219ed0e9514fc7df
ocaml(Menu_manager) = 3bc3d93fb39882c78b756c55c5019d8f
ocaml(Mpf) = ef8a315a0d589acd36d6e4cf1be416d6
ocaml(Mpfr) = 12db68625e6746215ccec41fa6ea7fd3
ocaml(Mpfrf) = 35cfcde17c4e36b363a41c7e63c62a54
ocaml(Mpq) = 87f640a172b529b7e0e6e2a98704e39f
ocaml(Mpqf) = bec11a571110a9b74c4124d19f753ee8
ocaml(Mpz) = 9e7465adf8fb23ded6eccfcf79b197ed
ocaml(Mpzf) = 66842c5851d94cb46eccf2e6de9346ed
ocaml(Nativeint) = 7b210723c1ccafec90ff1578ad7e5996
ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9
ocaml(Oct) = 6afea36dff01ccde75e83489e167adb0
ocaml(Offsetmap) = 23aba9b4e7fa14528cc72d583e5204e5
ocaml(Offsetmap_bitwise_sig) = 52e2164e3ee067fb9fe8ed53a9295da8
ocaml(Offsetmap_lattice_with_isotropy) = 305c23e9457215dfcf9a6820e4dcd0ab
ocaml(Offsetmap_sig) = 3a6d5415aaf9b50f87cc6aa689822c6f
ocaml(OgtkSourceView2Props) = e99197d12a2f219d9a44cc97f4bce0fd
ocaml(Ordered_stmt) = 2402ead8d918bdbe452f58132afa5794
ocaml(Origin) = 2d70f2742ed7eb2bd0e54cae4cb89885
ocaml(Pango) = 2e39116a2dad6d5988e07d6bb940d893
ocaml(PangoEnums) = 5b6056e1a5f2fff07f1f1321a3fa841f
ocaml(Parameter_category) = de35218507f8a26be11d6e3aa4339fa7
ocaml(Parameter_customize) = a7a6f361e94bec7ba067de80c003aae0
ocaml(Parameter_sig) = 0ba32f06e8e11ad1bf1a66622708d81d
ocaml(Parameter_state) = fe47ce7fa3252a19e623fa8f8e262114
ocaml(Parsing) = a75b4b148ac8febe8bba7d4528048ecb
ocaml(Pdg) = 86ba51506b8f4d8c72f4dfa616402a05
ocaml(PdgIndex) = 19efbe18ceed9dbaea204a4b62e59ce3
ocaml(PdgMarks) = dd1d223f1e7345342e7651bc18145fcd
ocaml(PdgTypes) = b929195cc6fe7c0dc84964e355fe0fe9
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Plugin) = 121360ab4e0e8447f649da6eb207d50f
ocaml(Polka) = 03b5647178cc969c7a0965024e4aeb7e
ocaml(Precise_locs) = 337a4ea856e668b47e5ba42b03185955
ocaml(Pretty_source) = c0270ea67bc711e443c4fee3199ab1e5
ocaml(Pretty_utils) = a7382c5173bf753100166ff4f85e2227
ocaml(Printer) = a951b4dbff22eb98898119b10df7b0c8
ocaml(Printer_api) = 0bd792ba3030ba1c7ffda8f809eacf22
ocaml(Printexc) = 1b461321ebcc8e419f24eb531c5ac7ac
ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a
ocaml(Project) = d228472e85e3bf45c99cb92c16a73cc0
ocaml(Project_skeleton) = f2505b929644c7bebfc2a978432a3208
ocaml(Property) = f94e033068d5492f2112c56c1dcca24e
ocaml(Property_status) = 38ee6ed3994b2d83da4c26df6a2491ad
ocaml(Q) = 8e34d87fc78226c0d7b20cc7ec9b057d
ocaml(Qed) = edb00ec07030b62ebbe6b09a530a9e3b
ocaml(Queue) = 63b55df0e31ad91e82a1c6659c8dca09
ocaml(Scanf) = e807880cfcd97dfe1c40fcbbb5573f71
ocaml(Service_graph) = f5e56716353a6868e701dd8253c40fa7
ocaml(Set) = 28a12def19edf36c317c30fafcc03d6d
ocaml(Slicing) = 076a35dac9fc7c8c64bc773a96bd3d00
ocaml(SourceView2Enums) = 234f08c5e60b50f07db4d0aa36a2eb79
ocaml(Source_manager) = a5856028e795b85449a21cb631d04b18
ocaml(Stack) = a3c26bdec0c0211d9b444bd0da56bd1e
ocaml(State) = c6ac39567c83de2ddc5793cd25d89c3e
ocaml(State_builder) = 9bcbce3d3d20b060e351fa611929cef9
ocaml(State_dependency_graph) = a4e0639d6eb27e1fba7a36f1257ae83d
ocaml(State_selection) = 698cf0d9ad7073ee7df9b5c96edc7a03
ocaml(Statuses_by_call) = ad1bdf8c2d8f1aa1a75b0f95958da33e
ocaml(StdLabels) = 5529e284278766333d5e40132b2cbce5
ocaml(Stmts_graph) = 4dd5cd1ecc77e34d74e611ac9d1022ae
ocaml(Str) = 702cbdf6aef59ea727e6090656cefc94
ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a
ocaml(StringLabels) = 6339e2b71e8c583a81e808954faf6818
ocaml(Structural_descr) = ad43649929d384d50500d1f691fc325e
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(Task) = 209ea248790960277ea209e121528554
ocaml(Tr_offset) = 5b3e25b352db77b253517d63d7ee03e6
ocaml(Transitioning) = d2ea52fe4b90b202403a160399e103d5
ocaml(Type) = 0af579c6092de06e1de25f8229df557d
ocaml(Typed_parameter) = 4e3917982d4d9bc695f3cd041e626ee4
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Unicode) = 91d8dc24dbce1e34c4a4230caae21923
ocaml(Unix) = 053326e853ce10e1fadf8d891f08f891
ocaml(Unmarshal) = 5b10154ae6d90f164c8a337452d8d976
ocaml(Value_types) = 16a1c3704ab5d291d250b1ed0f4149ed
ocaml(Vector) = a85b7ed0fa2a3763c26609b2d8f93b59
ocaml(Visitor) = 0aa37facfafb09cbaad7aee525458acc
ocaml(Wbox) = 97909f2434a2a3da0d7eec92d4e274b2
ocaml(Weak) = a2706834b4d23daf7798bebbefb79ecb
ocaml(Widen_type) = 277a25218b7b9d9e458ae49009e75b23
ocaml(Widget) = e0a6969e8b0c1fe7afe037473ed56464
ocaml(Wpalette) = 67a6be56e588d89329ec2957bf9ea0b8
ocaml(Wpane) = f326da9b69516883f2c807e625e10ec8
ocaml(Wtable) = c96d20b3bba34173edbc61ef6387ee38
ocaml(Wtext) = 2f7f61606cb621a7e003f4273ceada34
ocaml(Wto) = c986dc9d453c365c7a62d1638ba24a22
ocaml(Wto_statement) = b58dccfa3a459312c01eb2f355bb6330
ocaml(Wutil) = a5799d50ae87e4c520cbbb3511311304
ocaml(Z) = d4914f8a3a8ca7f09904bae61dbdda66
ocaml(runtime) = 4.06.0
ocaml-findlib
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/etc/bash_completion.d/frama-c
/usr/bin/e-acsl-gcc.sh
/usr/bin/frama-c
/usr/bin/frama-c-config
/usr/bin/frama-c-gui
/usr/bin/ptests
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/b093c5692b7acf0ebe8aebe92f5aaa129eb1f4
/usr/lib/.build-id/06
/usr/lib/.build-id/06/5012baf4e9e75088319639729110ef53700863
/usr/lib/.build-id/10
/usr/lib/.build-id/10/f2696a1649fed2b15a6c57af09f2d72caac56d
/usr/lib/.build-id/12
/usr/lib/.build-id/12/4aa518df80d1a7f36fd284f33478b17171a2dc
/usr/lib/.build-id/14
/usr/lib/.build-id/14/a9e0d6848a672cc91fe0fa4c88e29b24adfa71
/usr/lib/.build-id/17
/usr/lib/.build-id/17/a69c6887bbe595e2294c4f053a8269ee524b11
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/61ce816f0644e8136c620d5adfdc75b7f3741e
/usr/lib/.build-id/20
/usr/lib/.build-id/20/d4b1bff2df9b47589d775a9d25afdc815770ef
/usr/lib/.build-id/24
/usr/lib/.build-id/24/99af481ed48bc122c99f13d1c35dee37663630
/usr/lib/.build-id/25
/usr/lib/.build-id/25/061ff634c6f139841f7353ded1235707e7da98
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/0ffe4dda4a36b51dedd7a440a7ebfe404d0325
/usr/lib/.build-id/2e
There is 748 files more in these RPM.

 
ICM