Sophie

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

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > 182ff15d905324fb7e41fd5c872b45d2 > deps

ocaml-why3-0.84-3.mga5.x86_64.rpm

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

Dependencies

Provides

• ocaml(Why3) = 5e4150f58ec3c897243e8ac7f7e5e191
• ocaml(Why3extract) = 6acb1896338844a4789ed8f6620251ce
• ocaml-why3 = 0.84-3.mga5
• ocaml-why3(x86-64) = 0.84-3.mga5

Requires

• ocaml(Arg) = a7ebc43608a0326f6aa67069897d89e7
• ocaml(Array) = 8a6bb22925744456eb66180ea42e3344
• ocaml(Big_int) = f8c6fb4af713157bb22632e572534639
• ocaml(Big_int_Z) = 33f062660148a2fce264572b0ebb4ecb
• ocaml(Buffer) = af3ef6fba94cdb4eba31e98b4e341dab
• ocaml(CamlinternalLazy) = 8f3f61657b86fd4738ffcd8e2cd074ea
• ocaml(CamlinternalMod) = fe92c198d71ba83b5f80672548734624
• ocaml(Char) = 9554e5449c177414a27e7d7ff5ed8013
• ocaml(Digest) = 5972f410cf78f5813a94ff7b90804058
• ocaml(Dynlink) = a790c339683512fe47de884e7d1a6dc8
• ocaml(Filename) = 28728bb478e079cce0b0c694de7944d6
• ocaml(Format) = e0d18776d4bacff3a198b5c23d0e9355
• ocaml(Gc) = 292a1cd61d8e068943589882415bdf7d
• ocaml(Gzip) = 14a38ed1411854dfd6e6f88843e9d3fa
• ocaml(Hashtbl) = 024edc3512403b725052aec8e41ed971
• ocaml(Int32) = ad06f04cfca6d404d1de76c3dc67324a
• ocaml(Int64) = 3945db6e8df0d5a79bcbc949ee550d52
• ocaml(Lazy) = 12a7b23bd30e5e207ddae39c8e41a1d2
• ocaml(Lexing) = 50598ab7c92b4bdcc624e472342ac8a9
• ocaml(List) = d757117653d9319fefb7ddc78a998f41
• ocaml(Map) = f11d7ddcffad09397202a49bd9bb4283
• ocaml(Nat) = ac011c9fbe199b586b98e7c9887f9e24
• ocaml(Nativeint) = 11ff26db80a400d29d2755edd23b5d0f
• ocaml(Obj) = b0adfa4175f86e4394859886c1a374bb
• ocaml(Parsing) = ce3ca1121d80c4219ee78b6df5ddba03
• ocaml(Pervasives) = 36b5bc8227dc9914c6d9fd9bdcfadb45
• ocaml(Printexc) = d81cbca604b811d25138fa79499fe071
• ocaml(Printf) = d012329cc712e91d0f10a5eef2303d18
• ocaml(Queue) = 2dece812a038a26a3231548f436037b6
• ocaml(Random) = c0e31e32b9c6077d34a1cd60765df6a2
• ocaml(Scanf) = 32f4f4bcda9cec7e02ee159052050f07
• ocaml(Set) = be044b48f40a48f0eb210225f11e0118
• ocaml(Stack) = 22ee969c15348e719d399f27dc29695b
• ocaml(Str) = fb3d050844d298243e3f50be7c8a4bcc
• ocaml(String) = db7f34081ef8fcaf499f19523d0736c6
• ocaml(Sys) = 5acfec22153eb1403597926ecd15f4f5
• ocaml(Unix) = 93736a394d3d85d6d127fe238ddc6092
• ocaml(Weak) = e86b819661351c07c5122e164ffd29ea
• ocaml(Z) = ba7f61765443792147b57bbaf3da5221
• ocaml(runtime) = 4.01.0
• ocaml-compiler
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1
• why3 = 0.84-3.mga5