Sophie

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

distrib > Fedora > 15 > i386 > by-pkgid > 927cf69f8989643e1e28984c1fdf5acd > deps

frama-c-1.5-3.fc15.i686.rpm

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

Dependencies

Provides

• ocaml(Abstract_interp) = 8c28bbf453b0f69b986caba501dbbf00
• ocaml(Abstract_value) = ba11745f53023985e01ad7cfb27f8f37
• ocaml(Alarms) = 8c8c2c689f20c67188a64844a97a1a93
• ocaml(Alpha) = c814bad5a038f4ba4d849eab625ea6c5
• ocaml(Analyses_manager) = a7c9b2c55dec050b90a7523635c60420
• ocaml(Annotations) = c8bde44719a3ff578ca9c4a18f87fbb0
• ocaml(Ast) = 2b97457e2bf8d7aa253077d26885de75
• ocaml(Ast_info) = a1c50392bcd64af45cea33e269808d0d
• ocaml(Ast_printer) = 0ed6616631f5d935bbd52b4d5000be10
• ocaml(Availexpslv) = 4a7a919f97db9745662a707b2c6aa06d
• ocaml(Base) = 45b0ccfc3b8c41fe39e366139dac21cb
• ocaml(Base_Set_Lattice) = dde9fdb595cb5450f1086faf0ecf7775
• ocaml(BaseUtils) = bbbdb205836ee9681e0a6231d1a99dfc
• ocaml(Binary_cache) = 08d280043a709f1bd4d29fb57af3a5df
• ocaml(Bit_model_access) = 6c9d29968ccab100212a350bc1148dc4
• ocaml(Bit_utils) = b40e0942f6c6edded7c25f62fb9d8cba
• ocaml(Boot) = 3465248ea8102e3eadbe648efdd2a59f
• ocaml(Buckx) = f83d1aa6f3e7dc9f2f99d686f9f0c5fc
• ocaml(Cabs2cil) = a10c86e4092b93df8dba62296c90d5e9
• ocaml(Cabs) = 48bb66b2d958b586bf9a471978edc79f
• ocaml(Cabscond) = 604bca33d1320c8e3df38f58f54a44c3
• ocaml(Cabshelper) = 044ae513f690ac7c3925ac7cccff1552
• ocaml(Cabsvisit) = e48f1bf628f5361e51875e331d8363ef
• ocaml(Callgraph) = 3a912f28f9dfd035da30e224eedffec9
• ocaml(Cfg) = c390c0ee99471f2d5752e47a4e13fd06
• ocaml(Cil) = 58548ee79716d0b4d54e8e9af2c134ee
• ocaml(Cil_computation) = 198c618d3fc4c76a2f3a2d63e7445b04
• ocaml(Cil_const) = ec4c3aed202c9d4a6ea7f869122cd8b0
• ocaml(Cil_datatype) = 59f6b73ac557d064ebe874f04449b85c
• ocaml(CilE) = 091012eb15708de6f42eff2a22240dbe
• ocaml(Cilglobopt) = 23765fff2e94f963b80ef227301d1ab5
• ocaml(Cilmsg) = 657201861aeee19f05e3cdbb7b298e07
• ocaml(Ciltools) = d87c49cc99909791fd6bc18367bbfadc
• ocaml(Cilutil) = 31577c0bae34548f6cdc34a0682198ef
• ocaml(Clexer) = 8aa7d562a4e0b96ea7bb72f10e378230
• ocaml(Clist) = 203bcb4b8eb836443629ebbec89a1d9b
• ocaml(Cmdline) = 08bdd6d4f50611c5e5a9b102f7045349
• ocaml(Command) = 6799580bad4de252257d3da5e6a5e7c4
• ocaml(Computation) = 5136639f56f85c8133ace100e1452f01
• ocaml(Config) = 7145824df374f8b178391bd2280762f5
• ocaml(Cparser) = d6981b7bfa20ca725029cb65d155cb8c
• ocaml(Cprint) = db59f451f10860e49cf18f97c5ae8d61
• ocaml(Cvalue_type) = 16d01245edb52227e38ea12e30e5c392
• ocaml(Dataflow) = 9cea595f8f289e9d996e19f62a0e0f25
• ocaml(Datatype) = d58421c61591bbcc2857d2880b04abf8
• ocaml(Db) = 2ada91d6bae308e4f74bc3edc6746e28
• ocaml(Deadcodeelim) = e8df2e6f231edcfd3a8399b629457526
• ocaml(Debug_manager) = f72de49549beffdef653f8d7cbc5024f
• ocaml(Descr) = bb1d81b02c0146ca7f672df460082356
• ocaml(Design) = 1dd7fa2730a83994ad74d196669e2486
• ocaml(Dominators) = bcbbe2e4a4ad5843e906c4a075d32790
• ocaml(Dynamic) = 0c74b3ee623d59575fa186d7ac133349
• ocaml(Dynlink_common_interface) = 1d7048af08ac7c27d397e2b8c0acdc6e
• ocaml(Errorloc) = ae29d47a11cf5181aafaf33677c9aa01
• ocaml(Escape) = cca439a0229095c6463e325ba32f59bf
• ocaml(Expcompare) = a44446de39ca5870d946dcce32ad3117
• ocaml(Extlib) = 0a4c1ebe16ecf39793613c5c9f974527
• ocaml(File) = ac2ead62127e1c394d07deb53179fdb9
• ocaml(File_manager) = dcb9feac4bb16ccd86fc939970ae3d90
• ocaml(Filetree) = aa91d8026fbd52606a81fb63d9ce2bed
• ocaml(Filter) = 403845af30fe0a5dec27b4e1e8212cd2
• ocaml(Frontc) = 51cff81b5e779460b8e1c07385993db6
• ocaml(Function_Froms) = 2a275d19c1e247c2d96fc5f9a5ae116a
• ocaml(Globals) = 634e37319f28c41addab74fe6fcf1556
• ocaml(Graph) = c540766869423d54501b9b5c0fc77dc9
• ocaml(GrowArray) = 80c5d3b7aad51f12bbb46284d3a752eb
• ocaml(Gtk_helper) = 57686b76698c75b15af94c3227b83182
• ocaml(Gui_init) = 9af2147ac762251602ec8c71458716f4
• ocaml(Gui_parameters) = 23200a0609895e0ec7d694e564e2ee98
• ocaml(Help_manager) = 2d1eb0acf5de56c4ffa5de5a55e578ab
• ocaml(Hook) = 7e2c50173b382a0e6a2d4c079e1a35aa
• ocaml(Infer_annotations) = ac9abee4eea983bcc5bf9cc4ff2daf8b
• ocaml(Inout_type) = 29c9e8abd7e0ea8df9b8d301264545e7
• ocaml(Int_Base) = f8768287c71bf17d6202bf51fc332184
• ocaml(Inthash) = 60b13a59dc36dc27e54a560a8e88bfaf
• ocaml(Int_Interv) = 8a66526b5f886518067e63da428849f7
• ocaml(Int_Interv_Map) = b425a969917465a9c7a60518c1943b09
• ocaml(Ival) = c1571f1c12a056e2efc65aae0a45487e
• ocaml(Journal) = 839c8dbc99d8aac6a78287acf9a1ad0e
• ocaml(Kernel) = 6834988644f6a0a72ec6e4e46ed55c7c
• ocaml(Kernel_datatype) = f585a20037535484168aa0cb5c22aa96
• ocaml(Kernel_function) = 21fb88e67efe8bf1fffc0b976c4824ad
• ocaml(Kernel_type) = 477d2bc9cd78fe2c2125afdc8457a76e
• ocaml(Kind) = 46625354bc6580d92883352b3e460e4c
• ocaml(Launcher) = 5534ab06f3bf9d4d7c4c430fa5cfe8ad
• ocaml(Lexerhack) = 0ea26011db40808b2dbce470b8661ac0
• ocaml(Liveness) = 8e17baa72c335e9cc872922b3dcff5c4
• ocaml(Lmap) = 15ca11edb946dfdd2d27da11726f41b7
• ocaml(Lmap_bitwise) = 1b59dc8ad72a046625c7e94c50470f2a
• ocaml(Lmap_whole) = 4bcdc5c317f30de83bdc93ceb49d1bdc
• ocaml(Locations) = 81576f5712059586a7599105f6d06f97
• ocaml(Log) = 66e803a9dbbc92ebd6ffdf3767a953ed
• ocaml(Logic_builtin) = c9f994a014e4d9aca210a52933f4bd71
• ocaml(Logic_const) = 29d677b998830a399621ffe3f935bad5
• ocaml(Logic_env) = 08cdde257e01a0f0708c114fd990677d
• ocaml(Logic_interp) = 258f13630772a10bdffdfe63cf66596b
• ocaml(Logic_lexer) = 20d57e2d68b0814161bfc1f83a16f437
• ocaml(Logic_parser) = db6bc5dd92eac915d970c025458d078b
• ocaml(Logic_preprocess) = 7e15a05099f33e285b4b99170e091523
• ocaml(Logic_typing) = 24dc8d69fba23ced2f05b5db2820784e
• ocaml(Logic_utils) = d99db4b889b9022aadf80dff4e71c7cb
• ocaml(Loop) = 6542547be878998fb1285cf890e1903f
• ocaml(Machdep) = 28071328e34848e0f19ed2fe00c5f129
• ocaml(Machdep_ppc_32) = abad70e119bf374b19c3a2e3b62c0aaa
• ocaml(Machdep_ppc_32_diab) = 346d798cc9c173f1728af34a74342a87
• ocaml(Machdep_x86_16) = e930baaa8259645f708cdc9343ff426b
• ocaml(Machdep_x86_32) = aba20130b3206b653da26a28e46e38eb
• ocaml(Machdep_x86_64) = 2f69d59caebb8d4cc270ca0c31449fbe
• ocaml(Map_Lattice) = 5e0e8831c81e4d67467bb75158460603
• ocaml(Menu_manager) = ed81d216bc05ddf010a381796c839304
• ocaml(Mergecil) = 4c219a39931cc8ce5a4d7d94809695c8
• ocaml(Mergemap) = 268e2019e4c8f731c611a7285b93f63e
• ocaml(Messages) = d0fd6cba6796f2ed546dd77da3ddcec6
• ocaml(Mweak) = 63c33845aee7037f62a9b60a1f8579b3
• ocaml(My_bigint) = 6c9aa01087b22659b3178b07eaa2a05c
• ocaml(Namespace) = a473bfe03747126b62ef4825a33583e3
• ocaml(New_offsetmap) = 7c7475892434676eee2742721ef941fa
• ocaml(Obfuscate) = 4223bbe7461120cb579fb477b2d39166
• ocaml(Offsetmap) = 779fbddbcd693a4dccec14b0c4c8c73e
• ocaml(Offsetmap_bitwise) = 4dbc1319e041bcd00abe056069e66292
• ocaml(Oneret) = 354d2edc0f8377b5fc940a5baf011cdd
• ocaml(Origin) = 89a44cb7cc36400486b4e8c27a9bbf92
• ocaml(Parameters) = cb4792ebf89a1e29b37b87170b3de108
• ocaml(Patch) = 7199b12cb3c9bd8f183fdacf48277051
• ocaml(Path_lattice) = 0834095be6d1fde3c457e908211e4219
• ocaml(PdgIndex) = cd0fb5300e82fff4dc8b574a90c0eb57
• ocaml(PdgMarks) = 6bac235a0a73ecd056b0a5dbef4dbc44
• ocaml(PdgTypes) = 7c59b8f39edc922f36e57ae5e3c4a162
• ocaml(Plugin) = 8640faf10133ca9c9ef8e7789bfeaaac
• ocaml(Pretty_source) = d94cf2b19fcc0002c06ce955765aa25a
• ocaml(Pretty_utils) = 7638b870ce343ad5c942bce690530f04
• ocaml(Printer) = 68c1374f733ac8945202ca903a68e270
• ocaml(Printexc_common_interface) = e92eab274eb537f909530fe56fde486e
• ocaml(Project) = b966b8f0b42602c406bd66258e463e8e
• ocaml(Project_manager) = ca5e8e4ffdafa08354632e507e31fb26
• ocaml(Properties_status) = 8aabe1562f3b7987f911ace8670be6b9
• ocaml(Ptests_config) = 677fe28b63033df21af6fcc84694fa38
• ocaml(Ptmap) = 5a5eac9723b711bdec2c01531d07de2d
• ocaml(Ptset) = cf34898d15221a2cce233fbee2103f52
• ocaml(Qstack) = 800b146f537191838e556ae263e6192e
• ocaml(Rangemap) = 684dbf07f771b8841b4466ae7e14282d
• ocaml(Reachingdefs) = 425aa069b43cecf13822eb18a25c1aa5
• ocaml(Relations_type) = 273b078c27c51d0b8b0c831db9c3e305
• ocaml(Rmciltmps) = 69893ecfafaf1febff9536573ebb4e15
• ocaml(Rmtmps) = 307b47f90beb0dbbf43985c7df793806
• ocaml(Service_graph) = 92ee1e4b27ac33a65171d216ba51d449
• ocaml(SetWithNearest) = fea7fb4d18c65504703921dae5d3c10d
• ocaml(Shifted_Location) = e250dd47a7d8e2a5c0e3fa8fa464e9a0
• ocaml(SlicingInternals) = 215c5f6c537be2def18c5956ec4e8a4e
• ocaml(SlicingTypes) = 89746556cd17072838ea8f8cbb4a8bac
• ocaml(Source_manager) = 60c861b9787a59d8ec0eefbaefb6bbd7
• ocaml(Source_viewer) = 0544bf542e9616a6941afeeb0d9b446e
• ocaml(Special_hooks) = 019a111c00249ba183e855cf4236b989
• ocaml(State_set) = c668a0db2e0289639fcb7b46af3470a7
• ocaml(Stmts_graph) = b4e835b248a94c585532f1ed009675cb
• ocaml(Subst) = 1627723e4a949c05e166f7ea5b821d74
• ocaml(Translate_lightweight) = e923a1bb4229808b15c06e6e38d69849
• ocaml(Type) = 5ef10709ab08305c62d93fbacc6d1ae7
• ocaml(Unicode) = 810aee4ef07c4c857d923cf829f6200f
• ocaml(Unmarshal) = 850d992507ee3a7586536b0b3256ab09
• ocaml(Unmarshal_nums) = 08be5b764ab287eda737ae4b93c4a8fe
• ocaml(Unroll_loops) = 942d410f3f2219954b44c02557f37d6e
• ocaml(Usedef) = d6f4756080f1ba19a1739553a5a53470
• ocaml(Utf8_logic) = b141ac2357ebdcdbc03fc7ff95e17357
• ocaml(Viewgraph) = ce3722178488c9bfc9eb0ab94d1603ca
• ocaml(Visitor) = 362b23f8fb7a25e37006e7b4d5cc9847
• ocaml(Warning_manager) = cdcf0e93b33743575fef06b720e2326f
• ocaml(Whitetrack) = f2277f70f2a2120a0156a028cb0ce453
• ocaml(Widen) = 4c7fc6eb6bde41c4e6a502b5a2da6530
• ocaml(Widen_type) = d051ad502f4167744c3f6c134154f9a5
• ocaml(Zrapp) = 3a949ee29efdf48731583afaaf7586eb
• frama-c = 1.5-3.fc15
• frama-c(x86-32) = 1.5-3.fc15

Requires

• graphviz >= 2.0.0
• gtksourceview >= 1.0.0
• ocaml >= 3.11.0
• /bin/sh
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• ocaml(Arg) = 877340141c0babb58b3aaef2f5b70fc9
• ocaml(Array) = 720848e0b508273805ef38d884a57618
• ocaml(Bigarray) = 7999848d08322c0bcb568840b1d2cf0d
• ocaml(Big_int) = ef16c44153a41f60de69bff12d11ee35
• ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4
• ocaml(Char) = 3dee29b414dd26a1cfca3bbdf20e7dfc
• ocaml(Complex) = 9aea79838f042027ab9539d587834bc8
• ocaml(Digest) = 84cddf85614815250d98d54ec13705b1
• ocaml(Filename) = bc87b0a21cde095f477cca1f0abb32b8
• ocaml(Format) = e0de312c23ff9caec6c5bfa1f44a43b4
• ocaml(Gaux) = 04762183969e1683729340648b1f9fe6
• ocaml(GButton) = 97ad47f4320e49074cf8bc45305e1e53
• ocaml(GContainer) = 8d5a790080ff468050a55b191df2651d
• ocaml(GData) = 45b783e7a3c5e6f2cf498f5bd2d4c0f8
• ocaml(Gdk) = 59caeee30c1d6bdb12b0ce5bf03118d1
• ocaml(GdkEnums) = 70ad074db0644bf10588e8c34a1b5625
• ocaml(GdkEvent) = e4b8521b9a48d576e12b4134bba11ce8
• ocaml(GdkPixbuf) = ddc1e74b519ecdfe8fa2872f8034b32b
• ocaml(GDraw) = 98c42d84a8e51653007acb9fc812c5e4
• ocaml(GEdit) = 19e02eb8d58960097f53d4a0663f9be4
• ocaml(GFile) = 88b7584bed14ec643e33afe4ad9845a0
• ocaml(Glib) = f56ca2b21a810156fc5f581555b8bfda
• ocaml(GList) = 9e50fa5765b543503b5fa94c8944ce95
• ocaml(GMenu) = df68ebea5d58085c3de46d5472c494a0
• ocaml(GMisc) = fc78431e0214b7fb48a328cb5dcfd3f8
• ocaml(GnoCanvas) = 865d250f0768460c007ea6eb5765bc7e
• ocaml(GnomeCanvas) = e9e8efa38bfed4d444d1f8f8f6ce1889
• ocaml(GObj) = ea4f2bf03b3cc010442065020738f26f
• ocaml(Gobject) = acbeeb6d76e2fc1f756c364840661748
• ocaml(GPack) = 4c5fea7a104450f81db5e0f135d6f92f
• ocaml(GPango) = 427fc1f4200e5e1307908b9317d0bcf2
• ocaml(Gpointer) = ce10916e5dd0d785d6bd7a88c55aadfa
• ocaml(GSourceView2) = 5b6aaca429890006747b498e3dfb6ded
• ocaml(GText) = 788dca86d93ded57b42d917bdb27e76c
• ocaml(Gtk) = 432c93a47db000e1ed95278dd4683da6
• ocaml(GtkBase) = f55b95a8c913f3778bb2d11107fb76d6
• ocaml(GtkBaseProps) = a390a19536bd16796ce682222ff6b617
• ocaml(GtkEnums) = ae7b2c2a83853d2def52ca9abb2076a4
• ocaml(GtkObject) = 8c44c1096e24211efc0b9c4428d07e4b
• ocaml(GtkPack) = aead410d035212b1e97d53b130e35aca
• ocaml(GtkPackProps) = d7d9dd21ecb8e5d56e765905a41be53d
• ocaml(GtkSignal) = f3a43d7fa2d200cb558a9448faafe08c
• ocaml(GtkSourceView2Props) = ada64b7d41327bf4d94f543a9d31f93b
• ocaml(GtkStock) = 43640c4aed32799b0ac32e8785a63cbc
• ocaml(GTree) = 3a4be6d14cb3a804c2f38817ad35181d
• ocaml(GWindow) = 8d76e812e47bee5dce8bbdbf61a2d3fb
• ocaml(Hashtbl) = 9c86f7320512d6740a75017fd66156a8
• ocaml(Int32) = c91c0bbb9f7670b10cdc0f2dcc57c5f9
• ocaml(Int64) = 8f09e1331fe8af2d7b954585551cbe4f
• ocaml(Lazy) = aaa46201460de222b812caf2f6636244
• ocaml(Lexing) = 7d5623c54d065ad3f652261d2776959c
• ocaml(List) = 9c85fb419d52a8fd876c84784374e0cf
• ocaml(Map) = 971a915c5d6e79ba8c5a551e0767f582
• ocaml(Nat) = 7ab8ce32b152977f693920f75bf5b3dc
• ocaml(Nativeint) = 409308ec9d1a2ab99fa91fd0dfefca97
• ocaml(Obj) = 3aeb33d11433c95bb62053c65665eb76
• ocaml(OgtkSourceView2Props) = 1ef02ad6eebafd392d6800ef0e3c3686
• ocaml(Pango) = 3ab92ee82d8f09439813eb612c20e98f
• ocaml(PangoEnums) = fcfc7f5fb6e3da02d9ac99231e43f39b
• ocaml(Parsing) = 59e1db94d28f5c920aaddc6ba25fb659
• ocaml(Pervasives) = db723a1798b122e08919a2bfed062514
• ocaml(Queue) = 79fd3a55345b718296e878c0e7bed10e
• ocaml(Set) = 7b178c9cf52b5cb8145441e1a0d309f5
• ocaml(SourceView2Enums) = 82a969212b036ffbdf9ee7d74b366fc7
• ocaml(Stack) = e34f7b4a9b277777b6383211fee496d4
• ocaml(String) = 06ab5e6944c47322b9d305c0aa0b07ff
• ocaml(Sys) = 4fe60c54d4de0672924c1d4ee2053e46
• ocaml(Unix) = 2a19929a535447ed0c8fc58ae3adc1a0
• ocaml(Weak) = f9e53791afaf51c7d247f9487709f695
• ocaml(runtime) = 3.12.0
• rpmlib(PayloadIsXz) <= 5.2-1