Sophie

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

distrib > Fedora > 18 > x86_64 > media > updates > by-pkgid > fff1609b50dcd7fda96ef23e43026c74 > deps

why-jessie-2.31-6.fc18.x86_64.rpm

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

Dependencies

Provides

• ocaml(Effect) = fabbd2ad12eedd8e6ea994d40e657f9d
• ocaml(Explain) = cb6ad488d3ca55849295dd25cc78b159
• ocaml(Ident) = 61d1e4e4ccf2acf8ab456b8f0e272f50
• ocaml(Jc) = 9153b42a9c2cde7f5159d0922ab9e590
• ocaml(Jc_ast) = bc8e7df22767e89229a74837599c14f9
• ocaml(Jc_common_options) = d7142ee5c1a9947d97787ad81e86c156
• ocaml(Jc_constructors) = 4d53b890500b0e08dd25a13ba55d47ab
• ocaml(Jc_env) = 18febd717ae1c135b7683c7043ab7c0f
• ocaml(Jc_envset) = b92677d7a5804440bc03764ffaf4af15
• ocaml(Jc_fenv) = 11d019a08cde4af25a727f4b3514bc75
• ocaml(Jc_iterators) = 6d7714be86a09a1672e4169735b27dc6
• ocaml(Jc_noutput) = f427a5989c306cfebf745bb22893ea65
• ocaml(Jc_output) = 90538d7316f8b83e97934b6d72a556a8
• ocaml(Jc_output_misc) = d34fe2b94987389868f0c35090c47078
• ocaml(Jc_pervasives) = 4c00d9d0fc0bddf3cc8e02609fc4933a
• ocaml(Jc_poutput) = 06c05124af6c95f2864f230c53f61b64
• ocaml(Jc_region) = 887b7beb8ad955cdff3e9c3b27552e1a
• ocaml(Jc_stdlib) = ccf2a72e009e55410083160f3537d763
• ocaml(Jc_type_var) = 63838c12299847138af5b61330ed6ccf
• ocaml(Option_misc) = 2711e6d5485abd61fe4ff1b2ab8189ec
• ocaml(Pp) = b5cc3f9b171eeb141466abb87514bb50
• ocaml(Print_real) = 5b53a0a0c984b63318b056f7f0b0a0bf
• ocaml(Rc) = f2f6d52adf4ced70e9c065fcc8834631
• ocaml(Why3_kw) = 513e702ad8d084873194686d3363110d
• why-jessie = 2.31-6.fc18
• why-jessie(x86-64) = 2.31-6.fc18

Requires

• frama-c
• libapron_caml.so()(64bit)
• libboxMPQ_caml.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libdl.so.2()(64bit)
• libdl.so.2(GLIBC_2.2.5)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libmpfr.so.4()(64bit)
• liboctMPQ_caml.so()(64bit)
• libpolkaMPQ_caml.so()(64bit)
• ocaml(Array) = 4d5efba91ec70acd7b184fd4b277708c
• ocaml(Big_int) = 6ea0f5d18abf2406597321a99befa362
• ocaml(Buffer) = 3f6c994721573c9f8b5411e6824249f4
• ocaml(CamlinternalMod) = f571199efc0d92f0f1e7031910b37f38
• ocaml(CamlinternalOO) = 8de55d11b771c63f6270c707c3c0f81b
• ocaml(Char) = 2693889a299a12395f3d4a288142de6d
• ocaml(Digest) = fc1ddbe7729c06f1551c4154795b3b6c
• ocaml(Effect) = fabbd2ad12eedd8e6ea994d40e657f9d
• ocaml(Filename) = db19aeb2a8d7e9bd0f4c54d51c6a433e
• ocaml(Format) = 6e6b7b75c544ef4ca673a763aec805af
• ocaml(Hashtbl) = 718cd6ce8bc18371ce22483e362f78b4
• ocaml(Ident) = 61d1e4e4ccf2acf8ab456b8f0e272f50
• ocaml(Int32) = 265928798c0b8a63fa48cf9ac202f0ce
• ocaml(Jc_ast) = bc8e7df22767e89229a74837599c14f9
• ocaml(Jc_common_options) = d7142ee5c1a9947d97787ad81e86c156
• ocaml(Jc_constructors) = 4d53b890500b0e08dd25a13ba55d47ab
• ocaml(Jc_env) = 18febd717ae1c135b7683c7043ab7c0f
• ocaml(Jc_envset) = b92677d7a5804440bc03764ffaf4af15
• ocaml(Jc_fenv) = 11d019a08cde4af25a727f4b3514bc75
• ocaml(Jc_output_misc) = d34fe2b94987389868f0c35090c47078
• ocaml(Jc_pervasives) = 4c00d9d0fc0bddf3cc8e02609fc4933a
• ocaml(Jc_poutput) = 06c05124af6c95f2864f230c53f61b64
• ocaml(Jc_region) = 887b7beb8ad955cdff3e9c3b27552e1a
• ocaml(Jc_stdlib) = ccf2a72e009e55410083160f3537d763
• ocaml(Jc_type_var) = 63838c12299847138af5b61330ed6ccf
• ocaml(Lexing) = 7e306603bdda9b5b4c50d1aac8def12a
• ocaml(List) = bd7c662c09e850306a62c12fed5ef5ce
• ocaml(Map) = 1be6bb7484ad2000575776b38d423f2f
• ocaml(Nat) = 08c67210c7d2a23c3baf31b40921b560
• ocaml(Num) = dc3dc81a9bf6c00fd6ed8ea8b9243eb6
• ocaml(Obj) = ad977b422bbde52cd6cd3b9d04d71db1
• ocaml(Option_misc) = 2711e6d5485abd61fe4ff1b2ab8189ec
• ocaml(Parsing) = 84c5e080da20d6d3141c52120783d359
• ocaml(Pervasives) = 4836c254f0eacad92fbf67abc525fdda
• ocaml(Pp) = b5cc3f9b171eeb141466abb87514bb50
• ocaml(Printexc) = 1576494623cf9d670883c0a9dde994ae
• ocaml(Printf) = 10fca44c912c9342cf3d611984d42e34
• ocaml(Ratio) = b8c317f84aa07072a3ecac75898ac831
• ocaml(Rc) = f2f6d52adf4ced70e9c065fcc8834631
• ocaml(Scanf) = 6ba1a49186bb3df3bb5fad3a9e7fe3da
• ocaml(Set) = a7bdd82abd2a5609c0242e51ef43cacb
• ocaml(Stream) = 85d259e9a37648998b6c03b551d68e46
• ocaml(String) = 54ba2685e6ed154753718e9c8becb28b
• ocaml(Sys) = 45d17525db422614c1cc84b2d9f27926
• ocaml(Unix) = b6bfdb83f38c665d97fc0f322923311f
• ocaml(runtime) = 4.00.1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rtld(GNU_HASH)
• why(x86-64) = 2.31-6.fc18
• rpmlib(PayloadIsXz) <= 5.2-1