| Name : frama-c-devel
| |
| Version : 20171101
| Vendor : obs://build_opensuse_org/home:ptrommler
|
| Release : 1.3
| Date : 2018-04-18 21:57:18
|
| Group : Development/Libraries/Other
| Source RPM : frama-c-20171101-1.3.src.rpm
|
| Size : 44.71 MB
| |
| Packager : (none)
| |
| Summary : Development files for Frama-C plugins
|
Description :
Development files for Frama-C plugin development.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/ptrommler:/formal/openSUSE_Leap_42.2/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
frama-c-devel
frama-c-devel(x86-64)
ocaml(Abstract_interp)
ocaml(Alarms)
ocaml(Allocates)
ocaml(Alpha)
ocaml(Analyses_manager)
ocaml(Annotations)
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(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_debug)
ocaml(Cilconfig)
ocaml(Clexer)
ocaml(Clone)
ocaml(Cmdline)
ocaml(Command)
ocaml(Config)
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(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(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(Hptset)
ocaml(Indexer)
ocaml(Infer_annotations)
ocaml(Inout_type)
ocaml(Int_Base)
ocaml(Int_Intervals)
ocaml(Integer)
ocaml(Ival)
ocaml(Journal)
ocaml(Json)
ocaml(Kernel)
ocaml(Kernel_function)
ocaml(Lattice_messages)
ocaml(Launcher)
ocaml(Leftistheap)
ocaml(Lexerhack)
ocaml(Lmap)
ocaml(Lmap_bitwise)
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_typing)
ocaml(Logic_utils)
ocaml(Loop)
ocaml(Machdeps)
ocaml(Map_lattice)
ocaml(Menu_manager)
ocaml(Mergecil)
ocaml(Messages)
ocaml(Offsetmap)
ocaml(Oneret)
ocaml(Ordered_stmt)
ocaml(Origin)
ocaml(Parameter_builder)
ocaml(Parameter_category)
ocaml(Parameter_customize)
ocaml(Parameter_state)
ocaml(PdgIndex)
ocaml(PdgMarks)
ocaml(PdgTypes)
ocaml(Plugin)
ocaml(Precise_locs)
ocaml(Pretty_source)
ocaml(Pretty_utils)
ocaml(Printer)
ocaml(Printer_builder)
ocaml(Project)
ocaml(Project_manager)
ocaml(Project_skeleton)
ocaml(Property)
ocaml(Property_navigator)
ocaml(Property_status)
ocaml(Qed)
ocaml(Qstack)
ocaml(Rangemap)
ocaml(Rgmap)
ocaml(Rmtmps)
ocaml(Service_graph)
ocaml(Source_manager)
ocaml(Source_viewer)
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(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(Utf8_logic)
ocaml(Value_types)
ocaml(Vector)
ocaml(Visitor)
ocaml(Warning_manager)
ocaml(Wbox)
ocaml(Wfile)
ocaml(Widen_type)
ocaml(Widget)
ocaml(Wpalette)
ocaml(Wpane)
ocaml(Wtable)
ocaml(Wtext)
ocaml(Wto)
ocaml(Wto_statement)
ocaml(Wutil)
Requires :
