Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 259ee0a845177087060969acf22dafdc > deps

frama-c-1.10-0.20140301Neons.4.mga5.i586.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Dependencies

Provides

• application()
• application(frama-c-gui.desktop)
• frama-c = 1.10-0.20140301Neons.4.mga5
• frama-c(x86-32) = 1.10-0.20140301Neons.4.mga5
• frama-c-devel = 1.10-0.20140301Neons.4.mga5
• ocaml(Abstract_interp) = 5b26bf4c73d5e063efb7d9076445cc94
• ocaml(Alarms) = e334bfc17c515273020392e96b2373e4
• ocaml(Allocates) = a646bf5aa49f6c1b0cc26274042112e9
• ocaml(Alpha) = 01b36dbf7416ff75fc283e2c263295d2
• ocaml(Analyses_manager) = 76356ed9c23fe00c6f3bd8d383c99095
• ocaml(Annotations) = bf76fbf0dc0455f677c59acaef75ab82
• ocaml(Aorai) = 0f63e5c420516edafe37070d554964e8
• ocaml(Ast) = e96ba0358b024e7287909e39307be9f2
• ocaml(Ast_info) = ec8361e315823b35082d440fbf123041
• ocaml(Availexpslv) = 2c5f00ac8df9f49dcc56ba478cc677b1
• ocaml(Bag) = 7aa05458c14dd108b9e3194fd15df1fc
• ocaml(Base) = 8a997c823cd26ccd9640500450044910
• ocaml(Big_int_Z) = 33f062660148a2fce264572b0ebb4ecb
• ocaml(Binary_cache) = 69244e0e4dd3ca16ce68dc9ac7341448
• ocaml(Bit_utils) = dad49883789128836a5fe72c9f6d202a
• ocaml(Bitvector) = 125f3bf4d394182f36ca405cd38b1144
• ocaml(Book_manager) = 2a2a5eda737ca1e5db0e74e3f8ab288c
• ocaml(Boot) = dcfab3a556c69359b3dfff7b0e41b423
• ocaml(Buckx) = 08a28c96794c2c564ce2fee5fde79a0d
• ocaml(Cabs) = e2cd2fb75abba2c111a2c55d46633f08
• ocaml(Cabs2cil) = 2bd4da8fa3954fa42090520003aeda58
• ocaml(Cabs_debug) = 49ffb9ecadcc47fe76efeeda4c82e5f5
• ocaml(Cabsbranches) = 63517678a1c65f460f7c4967c70ba4f0
• ocaml(Cabscond) = 0e9f727791cc6530505be994d4750674
• ocaml(Cabshelper) = 3b0d525dc4803c4f6f1850459433ea4e
• ocaml(Cabsvisit) = 8212f097b2f793569694f064f1a30e97
• ocaml(Callgraph) = 69bab61d10a493065cbadc67e959c650
• ocaml(Cfg) = 866eaa60ef45c38e74b32ee463891170
• ocaml(Cil) = d93d184eb855c4ef51328c43a1155ee6
• ocaml(CilE) = 90604a1e66d921d7d66ef25aa86df07a
• ocaml(Cil_const) = ef910fe851036f333f688cb171d17ef2
• ocaml(Cil_datatype) = ea2895a420902777ba3b82f0897c135a
• ocaml(Cil_descriptive_printer) = 102be4f41b24a708eaab33da8a350e41
• ocaml(Cil_printer) = 866cd85497ed9d5894d7a6a0755340db
• ocaml(Cil_state_builder) = ae4a395d6872086bd5e32de0f81e3463
• ocaml(Cil_types) = 0949d6ed220ee1c87c6f071065b2fc36
• ocaml(Cilconfig) = 522a9017d901b9a9d1e8867c4129f921
• ocaml(Cilmsg) = c3d908d41a0fa9f48f52fb610ab48647
• ocaml(Clexer) = 3d404051b26005fdc01ecf5308160b59
• ocaml(Cmdline) = e966ac186740b1500e88cf9e4193c4a9
• ocaml(Command) = b9ec87cfcc54838a3ea608b67b71f138
• ocaml(Config) = 5e4f7a5debec5e97b31d2a1f2a171897
• ocaml(Cparser) = aff71747cb94f27162d6c660f16b0d97
• ocaml(Cprint) = 6af1106d27c910238b1138d6b134acc6
• ocaml(Cvalue) = 72914dcf4805210c011f400518d67e83
• ocaml(Dataflow) = bf3e617e801a5aed657b57e7999115de
• ocaml(Dataflow2) = bc6cdd417554efc7a8ef40b757318670
• ocaml(Dataflows) = a7e4f2da749a545eea2286fdf547da99
• ocaml(Datatype) = dedab7b86512c8bbc077c4a5d87d6c96
• ocaml(Db) = 3e5f029f0824ad694f43293d49365416
• ocaml(Deadcodeelim) = bb8abc86e8e10772720756a8fa4d269b
• ocaml(Debug_manager) = e2dbca0684b06ef2ab4611dc04359ca3
• ocaml(Descr) = 2a6f6d544f73623e67b6e37dfa3d441a
• ocaml(Description) = 5163dc398db34e78ac7799521ea4047d
• ocaml(Design) = 3524a892cc7606977596fa019226223c
• ocaml(Dominators) = 969fbe39c9b8640c011b225aeb83e510
• ocaml(Dynamic) = 1a6ec5ff8e6ebbda3aeb944261174b7f
• ocaml(Dynlink_common_interface) = 96ec55648d86eafaf51a917abfc9e824
• ocaml(Emitter) = 8b652bd15509b705b927c926b9a28d08
• ocaml(Errorloc) = 84234b60b4a1f4d1931750cb46d3f9c8
• ocaml(Escape) = 1e16e2cdb340bcd31793b489674925f9
• ocaml(Expcompare) = 105994f93bac1f0c7525b1dd63c4d752
• ocaml(Extlib) = 6b1db3e8cc0ef0b84f3b8d1eababf4d0
• ocaml(FCHashtbl) = f2f8f7419d2b97d3ba18298879419d75
• ocaml(FCMap) = 2e9897982d4d02bd14b588ec66ec3092
• ocaml(FCSet) = eb035767f531aaac52b3a917a7322242
• ocaml(File) = 9dce5914bedd306fefb0fc934f88b770
• ocaml(File_manager) = 59374c9e206a037a76fb5e7453d9e30e
• ocaml(Filepath) = afeb58ff4fa5ceff6b169ac2915cb209
• ocaml(Filetree) = ffcaa60a0ab1b41d8687c0403388e238
• ocaml(Filter) = 438ebcf9c5375d9af11674b456585579
• ocaml(Floating_point) = edb0daeae8ef382605e3970369733102
• ocaml(Frontc) = 5c1df51e7dd99244c13ff9d411929067
• ocaml(Function_Froms) = a17c44d755910984555ff81a57bd9671
• ocaml(Globals) = 05545f8882e493938058a965701cbaec
• ocaml(Gtk_form) = 59f1e3b150593a06c1b942978b83492a
• ocaml(Gtk_helper) = e1d8780f190bebe616a3792511efcfb2
• ocaml(Gui_init) = af42667d93e80ccee28f8e232788879c
• ocaml(Gui_parameters) = 0b09443381e4445f40f69a6f2de05e1a
• ocaml(Help_manager) = ddc9bdcee7c04a00efd2ea64cb56bd37
• ocaml(History) = 5b01432a7513007428d92f9e9260c091
• ocaml(Hook) = 15f82ab18734cd96d82732c2b33d6524
• ocaml(Hptmap) = b804ee79fe7e9f0d6f5848ca2a1a01ca
• ocaml(Hptset) = 8e47ad72aa94b520ba19822b29ef8227
• ocaml(Indexer) = bd235aa194c7405c581b936c8e1b10d1
• ocaml(Infer_annotations) = f54371c229694f5fdd92737e5f4c8865
• ocaml(Inout_type) = f47cf0b0b0032c22722cd20c528f4813
• ocaml(Int_Base) = 61abe15231e694cf1c37ee0c3cd67d6c
• ocaml(Int_Interv) = 43fa5ab3204f3577123115f1bf493a3e
• ocaml(Int_Interv_Map) = c58fe8154bfce38955e4a5b61f1254cf
• ocaml(Integer) = 7ef5d545e8690ad23e26adb3c3da244e
• ocaml(Ival) = e38fca647831583b42d5a4af42ef4c3f
• ocaml(Journal) = 16b0e565af121b1249331af71f157e07
• ocaml(Kernel) = 4e5b840910ab206ce7022286b326163c
• ocaml(Kernel_function) = 16949a1370b72322cb1b792beadcf000
• ocaml(Lattice_Interval_Set) = a01c9e91f1ef061467e705a7cf844a7e
• ocaml(Lattice_type) = 4bc58167a941456d6800c1b5e93a2742
• ocaml(Launcher) = 79053dba28428da9b618725ddaf8e12d
• ocaml(Lexerhack) = a24c38732663b9be2673793fddf80388
• ocaml(Liveness) = 5a605d0e7044f9ca65913618b9f17987
• ocaml(Lmap) = 74d3f1b3facb1a17304382357291dbb8
• ocaml(Lmap_bitwise) = 3c2af9dd70efef776d75fe8ed2cc1fba
• ocaml(Lmap_sig) = 7db9dcdc29ab4cd9fa8826bc1962a4cf
• ocaml(Locations) = e209d9b0bfd36f6207a05dfea6b12cc4
• ocaml(Log) = d272e9a1809d90af3414b75e0daaa2a7
• ocaml(Logic_builtin) = 45eabaf35b8f0eb30d703350c7e1bd0e
• ocaml(Logic_const) = 1b6bb696322bd1c28ac937d86c176268
• ocaml(Logic_env) = 678bce377d5515557580408f0265cee4
• ocaml(Logic_interp) = 553a3cc285e7374002d6f5963df4a9bf
• ocaml(Logic_lexer) = 496723a31c5fd973ccee9cc68fc21783
• ocaml(Logic_parser) = ca43ab751ef8f46b7ad8def1cd986abd
• ocaml(Logic_preprocess) = 5685511042218a3b8e19185a06fdc3ed
• ocaml(Logic_print) = 0fb462ca70e88c7122bdeeb67f7d9936
• ocaml(Logic_ptree) = c2a45950abd7af84c18587976e04fd54
• ocaml(Logic_typing) = 8ca89679196c4f96c55780414a91aaf1
• ocaml(Logic_utils) = e5b8dfa82933bbf88da84710d6a8de2a
• ocaml(Loop) = 245e53a0f3f6ffe36f6c9606d7663ad1
• ocaml(Machdep_ppc_32) = cbd9ebc646874055e52436e0e82742ff
• ocaml(Machdep_x86_16) = dd0960ed61720dfa9bc928e130d10a7d
• ocaml(Machdep_x86_32) = 4c706fe7616f83d682695a543f49d8cd
• ocaml(Machdep_x86_64) = af58b9877de6454132128722977d180d
• ocaml(Map_Lattice) = 9c3cfe2f7e341f7f8559102c0a9df6ed
• ocaml(Menu_manager) = c228f633f6355122be0d5e29af1130f7
• ocaml(Mergecil) = d752b48cb9825a4884795329210e42bb
• ocaml(Messages) = ebc41c7c1a08189a3c5e3c36ef0dede5
• ocaml(Obfuscator) = eda9e801f2b85b045701f73e923a9870
• ocaml(Offsetmap) = 43a5a53cc8a961fd7b94da0d3aaa117a
• ocaml(Offsetmap_bitwise) = e9aaa4a3c2be9726380843971f3f3305
• ocaml(Offsetmap_lattice_with_isotropy) = 716d3923e0d18b960a402e6e9d1ed8c0
• ocaml(Offsetmap_sig) = d952a940bb23aef168b79260ff8a56ed
• ocaml(Oneret) = 87625114f374074d19bf75d0559fe7d2
• ocaml(Ordered_stmt) = f31c3a8c033bdad7a1d695f9ad628c2b
• ocaml(Origin) = b76950847f0cbab0d7697518c26ceea5
• ocaml(Parameter_builder) = 578a27c2b8dfc7986398a01effd467fe
• ocaml(Parameter_customize) = a386eae2448b341f77f0b2ba21379020
• ocaml(Parameter_sig) = 68641a47bae286071918bbc43f80df0a
• ocaml(Parameter_state) = 342c255c882ef84e8ab07ca93358234b
• ocaml(PdgIndex) = 686b7cf68f6b41cf4892162f3412cf66
• ocaml(PdgMarks) = ac5e588893f534c2960200a2d0619b54
• ocaml(PdgTypes) = 60f79d2c4787f8a3f052e716ee6b0c3f
• ocaml(Plugin) = 178eaee25c08a1f2c59faf0178185c83
• ocaml(Pretty_source) = 20212ec02619c9ab9d838665d92f0461
• ocaml(Pretty_utils) = 6961442d75da0c24ee3e51dd7a6cb6c6
• ocaml(Printer) = e6c66e01b8ca63472d9f3a350e91c493
• ocaml(Printer_api) = feed98a6bbeabe64decc4aee7e1cb831
• ocaml(Printer_builder) = 96add4773af17ab33438bd09c3c6d084
• ocaml(Project) = 30f74b9202b5f84b78deacee909a4113
• ocaml(Project_manager) = e7104717216fa78748ef3eb5751eee4d
• ocaml(Project_skeleton) = d8a567c55fd0c1d841faa7f26287b347
• ocaml(Property) = 58f71ffb439986fb4fe2fc4642244709
• ocaml(Property_navigator) = 1838228862f62e311342e23a50f0c944
• ocaml(Property_status) = fa517133ec53b95a501375c9493f1f02
• ocaml(Ptests_config) = dd6645c4d0ad8c0051027263e606bc62
• ocaml(Q) = 61695dd1d061cfcb27193f8cbfc8d74e
• ocaml(Qed) = db763eec31acc36f07b9db942030ae8d
• ocaml(Qstack) = 511c0888b4307741ea8c7e655118ede9
• ocaml(Rangemap) = 172ff260417a6ff25b212ce8b3bdef8c
• ocaml(Reachingdefs) = d22cfef91df04538027d251fde8b7d1b
• ocaml(Report) = ab6d8a8056477a089a904ae4d3a2d8ab
• ocaml(Rmciltmps) = 6cce13affea4d9e4a08f9db55798cc8f
• ocaml(Rmtmps) = 7cc1b2f25ce3b8fd95a4d592f677363f
• ocaml(Security_slicing) = 60ad474c2bb6711364378016ff10e212
• ocaml(Service_graph) = 3e9c1fcc5f153c52725655240680f797
• ocaml(SlicingInternals) = 41497f9285a056af37f426d0bdc28204
• ocaml(SlicingTypes) = 734e3e346abf2fcc8dfc9f06c826ae9b
• ocaml(Source_manager) = 9e58beaf84d024ee8a9a83c3b0618816
• ocaml(Source_viewer) = 34c60af91c67e438d84432aed7c495e1
• ocaml(Special_hooks) = 02c527ee0c58adedfe101688e2cc94f1
• ocaml(State) = 13fae5e81c7648b4bf2d8ff7aed820ef
• ocaml(State_builder) = ce6f86b5392e8cc3c88e9ebd0b0f150d
• ocaml(State_dependency_graph) = 7394cac06233cecb247375f38fb36b62
• ocaml(State_selection) = 4733cc0ce53714d12b357e388f9fac7b
• ocaml(State_topological) = 465743aeb297029c44f5bee51780093e
• ocaml(Statuses_by_call) = f10afd94e072724bd089ab407c67c4b6
• ocaml(Stmts_graph) = 0f647bd24fc3792e15780e115addadad
• ocaml(Structural_descr) = 40b1a1f0b84c7b056a5915b1e03c56ca
• ocaml(Sysutil) = 6506c5b04fc472d7c5b2d78c25ab5a0e
• ocaml(Task) = 64753029ef329452d60631cc78a08173
• ocaml(Toolbox) = aff3642bf1ce4e3fca28e849063e1cbf
• ocaml(Tr_offset) = d5b5437db9bcecbbccc7012c5d0f18e3
• ocaml(Trace) = 1bf1cf76e674df8f07a5ed85f9c17479
• ocaml(Translate_lightweight) = 3fe9197923585685f53880c11a32e77c
• ocaml(Type) = 0b89f86e5945532d6741d6c7a69686e0
• ocaml(Typed_parameter) = 1cab012d1ec2994aaf083e7b210f5092
• ocaml(Unicode) = 0c57161bade5c15ac7da580ddb079d6a
• ocaml(Unmarshal) = 82840cc2403733010c599ded478437cc
• ocaml(Unmarshal_nums) = f1fb618eb44b7aee18e45ddf0278466f
• ocaml(Unroll_loops) = 75eb7ce7a97fa3ecaa7d200889a38417
• ocaml(Unz) = b07ba85b3628b82476b1d11c3642513d
• ocaml(Usedef) = 5d90469861c6f4b7ebfab45b3cd022d0
• ocaml(Utf8_logic) = 59692f9009da4e3d897cd519782e3113
• ocaml(Value_messages) = 0c8b1b0d190fbbe8c0330b85e2368145
• ocaml(Value_types) = 245c50ba065aed3bdc124d35e095edcc
• ocaml(Vector) = 806d409bb154961b12c8d96415a42dee
• ocaml(Visitor) = bb5a9ddc27932ac7b4233d426999c7b4
• ocaml(Warning_manager) = 8e2a7a90a65ca02a13941836c0617aa7
• ocaml(Widen_type) = c40872b33ccffbddfd8daac40d5ef9c0
• ocaml(Wp) = 79056f59923040ac0788d818e70b4a8e
• ocaml(Z) = ba7f61765443792147b57bbaf3da5221

Requires

• gcc-cpp
• graphviz
• libart_lgpl_2.so.2
• libatk-1.0.so.0
• libc.so.6
• libc.so.6(GLIBC_2.0)
• libc.so.6(GLIBC_2.1)
• libc.so.6(GLIBC_2.1.2)
• libc.so.6(GLIBC_2.1.3)
• libc.so.6(GLIBC_2.2)
• libc.so.6(GLIBC_2.3)
• libc.so.6(GLIBC_2.3.2)
• libc.so.6(GLIBC_2.7)
• libcairo.so.2
• libdl.so.2
• libdl.so.2(GLIBC_2.0)
• libdl.so.2(GLIBC_2.1)
• libfontconfig.so.1
• libfreetype.so.6
• libgdk-x11-2.0.so.0
• libgdk_pixbuf-2.0.so.0
• libgio-2.0.so.0
• libglib-2.0.so.0
• libgmodule-2.0.so.0
• libgmp.so.10
• libgnomecanvas-2.so.0
• libgobject-2.0.so.0
• libgtk-x11-2.0.so.0
• libgtksourceview-2.0.so.0
• libm.so.6
• libm.so.6(GLIBC_2.0)
• libm.so.6(GLIBC_2.1)
• libpango-1.0.so.0
• libpangocairo-1.0.so.0
• libpangoft2-1.0.so.0
• libpthread.so.0
• libpthread.so.0(GLIBC_2.0)
• libpthread.so.0(GLIBC_2.1)
• libpthread.so.0(GLIBC_2.2)
• libpthread.so.0(GLIBC_2.3.2)
• ltl2ba
• ocaml(Abstract_interp) = 5b26bf4c73d5e063efb7d9076445cc94
• ocaml(Alarms) = e334bfc17c515273020392e96b2373e4
• ocaml(Annotations) = bf76fbf0dc0455f677c59acaef75ab82
• ocaml(Arg) = a7ebc43608a0326f6aa67069897d89e7
• ocaml(Array) = 8a6bb22925744456eb66180ea42e3344
• ocaml(Ast) = e96ba0358b024e7287909e39307be9f2
• ocaml(Ast_info) = ec8361e315823b35082d440fbf123041
• ocaml(Availexpslv) = 2c5f00ac8df9f49dcc56ba478cc677b1
• ocaml(Bag) = 7aa05458c14dd108b9e3194fd15df1fc
• ocaml(Base) = 8a997c823cd26ccd9640500450044910
• ocaml(Big_int) = f8c6fb4af713157bb22632e572534639
• ocaml(Bigarray) = 968037506db5f9b56ea16d0880b2363f
• ocaml(Bitvector) = 125f3bf4d394182f36ca405cd38b1144
• ocaml(Buffer) = af3ef6fba94cdb4eba31e98b4e341dab
• ocaml(Cabs) = e2cd2fb75abba2c111a2c55d46633f08
• ocaml(Cabs2cil) = 2bd4da8fa3954fa42090520003aeda58
• ocaml(CamlinternalLazy) = 8f3f61657b86fd4738ffcd8e2cd074ea
• ocaml(CamlinternalOO) = 9aea14562c686c3ebc7df7b67ff5bf01
• ocaml(Cfg) = 866eaa60ef45c38e74b32ee463891170
• ocaml(Char) = 9554e5449c177414a27e7d7ff5ed8013
• ocaml(Cil) = d93d184eb855c4ef51328c43a1155ee6
• ocaml(CilE) = 90604a1e66d921d7d66ef25aa86df07a
• ocaml(Cil_const) = ef910fe851036f333f688cb171d17ef2
• ocaml(Cil_datatype) = ea2895a420902777ba3b82f0897c135a
• ocaml(Cil_printer) = 866cd85497ed9d5894d7a6a0755340db
• ocaml(Cil_types) = 0949d6ed220ee1c87c6f071065b2fc36
• ocaml(Clexer) = 3d404051b26005fdc01ecf5308160b59
• ocaml(Cmdline) = e966ac186740b1500e88cf9e4193c4a9
• ocaml(Command) = b9ec87cfcc54838a3ea608b67b71f138
• ocaml(Complex) = 1858860030310b043b5d7fcb362095a3
• ocaml(Config) = 5e4f7a5debec5e97b31d2a1f2a171897
• ocaml(Cparser) = aff71747cb94f27162d6c660f16b0d97
• ocaml(Cvalue) = 72914dcf4805210c011f400518d67e83
• ocaml(Dataflow2) = bc6cdd417554efc7a8ef40b757318670
• ocaml(Datatype) = dedab7b86512c8bbc077c4a5d87d6c96
• ocaml(Db) = 3e5f029f0824ad694f43293d49365416
• ocaml(Descr) = 2a6f6d544f73623e67b6e37dfa3d441a
• ocaml(Description) = 5163dc398db34e78ac7799521ea4047d
• ocaml(Design) = 3524a892cc7606977596fa019226223c
• ocaml(Digest) = 5972f410cf78f5813a94ff7b90804058
• ocaml(Dominators) = 969fbe39c9b8640c011b225aeb83e510
• ocaml(Dynamic) = 1a6ec5ff8e6ebbda3aeb944261174b7f
• ocaml(Emitter) = 8b652bd15509b705b927c926b9a28d08
• ocaml(Escape) = 1e16e2cdb340bcd31793b489674925f9
• ocaml(Expcompare) = 105994f93bac1f0c7525b1dd63c4d752
• ocaml(Extlib) = 6b1db3e8cc0ef0b84f3b8d1eababf4d0
• ocaml(FCHashtbl) = f2f8f7419d2b97d3ba18298879419d75
• ocaml(FCMap) = 2e9897982d4d02bd14b588ec66ec3092
• ocaml(FCSet) = eb035767f531aaac52b3a917a7322242
• ocaml(File) = 9dce5914bedd306fefb0fc934f88b770
• ocaml(Filename) = 28728bb478e079cce0b0c694de7944d6
• ocaml(Filepath) = afeb58ff4fa5ceff6b169ac2915cb209
• ocaml(Filetree) = ffcaa60a0ab1b41d8687c0403388e238
• ocaml(Floating_point) = edb0daeae8ef382605e3970369733102
• ocaml(Format) = e0d18776d4bacff3a198b5c23d0e9355
• ocaml(Function_Froms) = a17c44d755910984555ff81a57bd9671
• ocaml(GBin) = 06e19e22e83db9d736ed06ce63e3d98f
• ocaml(GBroken) = 5b13df33e1641aea50475e28e74f496e
• ocaml(GButton) = a67bbbcf2edf77c37105c9ffebdf7c40
• ocaml(GContainer) = c18d7fc26cf37129c96fd29d6b6956d3
• ocaml(GData) = 6ccb31a7d482c3c895a3c175541b5b38
• ocaml(GDraw) = f3157941787bbfa9b50e920273ae4410
• ocaml(GEdit) = 276390452b67afb03b66090320cdf947
• ocaml(GFile) = 232383c2bdf4f275f12f1d76457f1c85
• ocaml(GList) = 38aab9005cb2e754627e10292fa36884
• ocaml(GMenu) = 03c5b1b9f7d4d65e75c6ae76df047c34
• ocaml(GMisc) = ff8cb10c57226fd444ef8f4818b6bc46
• ocaml(GObj) = d4ca5e57ad2695733f2b934331e3f1ea
• ocaml(GPack) = 16accb4dbe6af80747f1fa2973006553
• ocaml(GPango) = b21e8a3f3659db80969c93cdf28a3769
• ocaml(GRange) = 1048f789771a75388aed1606bac1d982
• ocaml(GSourceView2) = ba21cb2b71c10f73c08d6d552b5594b0
• ocaml(GText) = 8e18788b815fa98b9ba04bd158f8b5cf
• ocaml(GToolbox) = 93b7d87fbc13410b203891760bccfba7
• ocaml(GTree) = 80b56e9b663ab1072b6fafb804a4bf03
• ocaml(GWindow) = 2be1ad5b92832857b4848a9981c5c639
• ocaml(Gaux) = 2020fe64acacffa10d949b061d7cab4d
• ocaml(Gdk) = 61775f70f44e11b2f56ee96d1329493d
• ocaml(GdkEnums) = 4098dd5ea8fe2115e79941f99ac87aed
• ocaml(GdkEvent) = 7c169a70eecb43e63afe4a06d9bbd3df
• ocaml(GdkPixbuf) = 558e4986fb223d56f1582e7840d23264
• ocaml(Glib) = 2605cd6cb41d7b1cf81f63f394274163
• ocaml(Globals) = 05545f8882e493938058a965701cbaec
• ocaml(Gobject) = 7e28da1d651fec6dbd065e97843e6b27
• ocaml(Gpointer) = cce49826f682cb50597aedfc0dd03d4e
• ocaml(Graph) = ee1106295303d97953506d2dce0a13d3
• ocaml(Gtk) = de6a483141858f296bd5b3db157e54ad
• ocaml(GtkBase) = c73f9d8da2a3c5a1bd5b5c379f25d2d6
• ocaml(GtkBaseProps) = 1d36cc1e05ae32cef5b84ade09f14d4e
• ocaml(GtkEnums) = 1580b2011c58fa575097465dd9f340ae
• ocaml(GtkObject) = 09245a3e5cdc1276e6ea454cd6557507
• ocaml(GtkPack) = cef4058d103a94b0b8f96250871c1a3c
• ocaml(GtkPackProps) = df8f9d9be21fc2c7e3259ad9f49ea1b8
• ocaml(GtkSignal) = 93315de683652ce92954091feeb8f0ee
• ocaml(GtkSourceView2Props) = 3e0312006756f9598a098ea27afdebb8
• ocaml(GtkStock) = 9b1da86816cba50091b89f587fbf1699
• ocaml(Gtk_form) = 59f1e3b150593a06c1b942978b83492a
• ocaml(Gtk_helper) = e1d8780f190bebe616a3792511efcfb2
• ocaml(Hashtbl) = 024edc3512403b725052aec8e41ed971
• ocaml(Hook) = 15f82ab18734cd96d82732c2b33d6524
• ocaml(Hptmap) = b804ee79fe7e9f0d6f5848ca2a1a01ca
• ocaml(Hptset) = 8e47ad72aa94b520ba19822b29ef8227
• ocaml(Indexer) = bd235aa194c7405c581b936c8e1b10d1
• ocaml(Inout_type) = f47cf0b0b0032c22722cd20c528f4813
• ocaml(Int32) = ad06f04cfca6d404d1de76c3dc67324a
• ocaml(Int64) = 3945db6e8df0d5a79bcbc949ee550d52
• ocaml(Int_Base) = 61abe15231e694cf1c37ee0c3cd67d6c
• ocaml(Int_Interv) = 43fa5ab3204f3577123115f1bf493a3e
• ocaml(Integer) = 7ef5d545e8690ad23e26adb3c3da244e
• ocaml(Ival) = e38fca647831583b42d5a4af42ef4c3f
• ocaml(Kernel) = 4e5b840910ab206ce7022286b326163c
• ocaml(Kernel_function) = 16949a1370b72322cb1b792beadcf000
• ocaml(Lattice_Interval_Set) = a01c9e91f1ef061467e705a7cf844a7e
• ocaml(Lattice_type) = 4bc58167a941456d6800c1b5e93a2742
• ocaml(Lazy) = 12a7b23bd30e5e207ddae39c8e41a1d2
• ocaml(Lexing) = 50598ab7c92b4bdcc624e472342ac8a9
• ocaml(List) = d757117653d9319fefb7ddc78a998f41
• ocaml(Liveness) = 5a605d0e7044f9ca65913618b9f17987
• ocaml(Lmap_bitwise) = 3c2af9dd70efef776d75fe8ed2cc1fba
• ocaml(Lmap_sig) = 7db9dcdc29ab4cd9fa8826bc1962a4cf
• ocaml(Locations) = e209d9b0bfd36f6207a05dfea6b12cc4
• ocaml(Log) = d272e9a1809d90af3414b75e0daaa2a7
• ocaml(Logic_const) = 1b6bb696322bd1c28ac937d86c176268
• ocaml(Logic_env) = 678bce377d5515557580408f0265cee4
• ocaml(Logic_lexer) = 496723a31c5fd973ccee9cc68fc21783
• ocaml(Logic_parser) = ca43ab751ef8f46b7ad8def1cd986abd
• ocaml(Logic_ptree) = c2a45950abd7af84c18587976e04fd54
• ocaml(Logic_typing) = 8ca89679196c4f96c55780414a91aaf1
• ocaml(Logic_utils) = e5b8dfa82933bbf88da84710d6a8de2a
• ocaml(Map) = f11d7ddcffad09397202a49bd9bb4283
• ocaml(Menu_manager) = c228f633f6355122be0d5e29af1130f7
• ocaml(Nat) = ac011c9fbe199b586b98e7c9887f9e24
• ocaml(Nativeint) = 11ff26db80a400d29d2755edd23b5d0f
• ocaml(Num) = a55d7a4dde9dd12b458f9a55320c6e4d
• ocaml(Obj) = b0adfa4175f86e4394859886c1a374bb
• ocaml(Offsetmap_lattice_with_isotropy) = 716d3923e0d18b960a402e6e9d1ed8c0
• ocaml(Offsetmap_sig) = d952a940bb23aef168b79260ff8a56ed
• ocaml(OgtkSourceView2Props) = ecfd87014483eb899ddf784f91b3ce3c
• ocaml(Ordered_stmt) = f31c3a8c033bdad7a1d695f9ad628c2b
• ocaml(Origin) = b76950847f0cbab0d7697518c26ceea5
• ocaml(Pango) = 7cc76805fd36cee4ad505fbc5cb86c07
• ocaml(PangoEnums) = ffa58a6b02cd6771efa03b9295eba490
• ocaml(Parameter_customize) = a386eae2448b341f77f0b2ba21379020
• ocaml(Parameter_sig) = 68641a47bae286071918bbc43f80df0a
• ocaml(Parameter_state) = 342c255c882ef84e8ab07ca93358234b
• ocaml(Parsing) = ce3ca1121d80c4219ee78b6df5ddba03
• ocaml(PdgIndex) = 686b7cf68f6b41cf4892162f3412cf66
• ocaml(PdgMarks) = ac5e588893f534c2960200a2d0619b54
• ocaml(PdgTypes) = 60f79d2c4787f8a3f052e716ee6b0c3f
• ocaml(Pervasives) = 36b5bc8227dc9914c6d9fd9bdcfadb45
• ocaml(Plugin) = 178eaee25c08a1f2c59faf0178185c83
• ocaml(Pretty_source) = 20212ec02619c9ab9d838665d92f0461
• ocaml(Pretty_utils) = 6961442d75da0c24ee3e51dd7a6cb6c6
• ocaml(Printer) = e6c66e01b8ca63472d9f3a350e91c493
• ocaml(Printer_api) = feed98a6bbeabe64decc4aee7e1cb831
• ocaml(Printexc) = d81cbca604b811d25138fa79499fe071
• ocaml(Printf) = d012329cc712e91d0f10a5eef2303d18
• ocaml(Project) = 30f74b9202b5f84b78deacee909a4113
• ocaml(Project_skeleton) = d8a567c55fd0c1d841faa7f26287b347
• ocaml(Property) = 58f71ffb439986fb4fe2fc4642244709
• ocaml(Property_status) = fa517133ec53b95a501375c9493f1f02
• ocaml(Queue) = 2dece812a038a26a3231548f436037b6
• ocaml(Rangemap) = 172ff260417a6ff25b212ce8b3bdef8c
• ocaml(Ratio) = 4a3c42327fa7e731ee4426f28df82974
• ocaml(Reachingdefs) = d22cfef91df04538027d251fde8b7d1b
• ocaml(Set) = be044b48f40a48f0eb210225f11e0118
• ocaml(SlicingInternals) = 41497f9285a056af37f426d0bdc28204
• ocaml(SlicingTypes) = 734e3e346abf2fcc8dfc9f06c826ae9b
• ocaml(SourceView2Enums) = fd9ae45c2009036fc485dbf4e599b0f7
• ocaml(Source_manager) = 9e58beaf84d024ee8a9a83c3b0618816
• ocaml(Stack) = 22ee969c15348e719d399f27dc29695b
• ocaml(State) = 13fae5e81c7648b4bf2d8ff7aed820ef
• ocaml(State_builder) = ce6f86b5392e8cc3c88e9ebd0b0f150d
• ocaml(State_dependency_graph) = 7394cac06233cecb247375f38fb36b62
• ocaml(State_selection) = 4733cc0ce53714d12b357e388f9fac7b
• ocaml(Statuses_by_call) = f10afd94e072724bd089ab407c67c4b6
• ocaml(Str) = fb3d050844d298243e3f50be7c8a4bcc
• ocaml(String) = db7f34081ef8fcaf499f19523d0736c6
• ocaml(Structural_descr) = 40b1a1f0b84c7b056a5915b1e03c56ca
• ocaml(Sys) = 5acfec22153eb1403597926ecd15f4f5
• ocaml(Sysutil) = 6506c5b04fc472d7c5b2d78c25ab5a0e
• ocaml(Task) = 64753029ef329452d60631cc78a08173
• ocaml(Toolbox) = aff3642bf1ce4e3fca28e849063e1cbf
• ocaml(Type) = 0b89f86e5945532d6741d6c7a69686e0
• ocaml(Typed_parameter) = 1cab012d1ec2994aaf083e7b210f5092
• ocaml(Unix) = 93736a394d3d85d6d127fe238ddc6092
• ocaml(Unmarshal) = 82840cc2403733010c599ded478437cc
• ocaml(Usedef) = 5d90469861c6f4b7ebfab45b3cd022d0
• ocaml(Utf8_logic) = 59692f9009da4e3d897cd519782e3113
• ocaml(Value_types) = 245c50ba065aed3bdc124d35e095edcc
• ocaml(Vector) = 806d409bb154961b12c8d96415a42dee
• ocaml(Visitor) = bb5a9ddc27932ac7b4233d426999c7b4
• ocaml(Weak) = e86b819661351c07c5122e164ffd29ea
• ocaml(Z) = ba7f61765443792147b57bbaf3da5221
• ocaml(runtime) = 4.01.0
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

Obsoletes

• frama-c-devel < 1.9-1