Dependencies
Provides
-
alt-ergo
= 0.95.1-1.fc18
-
alt-ergo(x86-32)
= 0.95.1-1.fc18
-
ocaml(AltErgo)
= f2b16fbd3199b1c052f8fd2ba0a56ead
Requires
-
coreutils
-
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.15)
-
libc.so.6(GLIBC_2.2)
-
libc.so.6(GLIBC_2.3)
-
libc.so.6(GLIBC_2.3.4)
-
libc.so.6(GLIBC_2.4)
-
libc.so.6(GLIBC_2.7)
-
libdl.so.2
-
libdl.so.2(GLIBC_2.0)
-
libdl.so.2(GLIBC_2.1)
-
libm.so.6
-
libm.so.6(GLIBC_2.0)
-
libm.so.6(GLIBC_2.1)
-
ocaml(Array)
= 4d5efba91ec70acd7b184fd4b277708c
-
ocaml(Big_int)
= 6ea0f5d18abf2406597321a99befa362
-
ocaml(Buffer)
= 3f6c994721573c9f8b5411e6824249f4
-
ocaml(CamlinternalMod)
= f571199efc0d92f0f1e7031910b37f38
-
ocaml(Char)
= 2693889a299a12395f3d4a288142de6d
-
ocaml(Format)
= 6e6b7b75c544ef4ca673a763aec805af
-
ocaml(Hashtbl)
= 718cd6ce8bc18371ce22483e362f78b4
-
ocaml(Int32)
= 265928798c0b8a63fa48cf9ac202f0ce
-
ocaml(Int64)
= 0d5ecd8dffcffac43aec2ebe427d3bde
-
ocaml(Lexing)
= 7e306603bdda9b5b4c50d1aac8def12a
-
ocaml(List)
= bd7c662c09e850306a62c12fed5ef5ce
-
ocaml(Map)
= 1be6bb7484ad2000575776b38d423f2f
-
ocaml(Nat)
= 08c67210c7d2a23c3baf31b40921b560
-
ocaml(Num)
= dc3dc81a9bf6c00fd6ed8ea8b9243eb6
-
ocaml(Obj)
= ad977b422bbde52cd6cd3b9d04d71db1
-
ocaml(Parsing)
= 84c5e080da20d6d3141c52120783d359
-
ocaml(Pervasives)
= 4836c254f0eacad92fbf67abc525fdda
-
ocaml(Printf)
= 10fca44c912c9342cf3d611984d42e34
-
ocaml(Queue)
= 9e4770869a4e57f5db312d7fdd5e6810
-
ocaml(Ratio)
= b8c317f84aa07072a3ecac75898ac831
-
ocaml(Scanf)
= 6ba1a49186bb3df3bb5fad3a9e7fe3da
-
ocaml(Set)
= a7bdd82abd2a5609c0242e51ef43cacb
-
ocaml(Stack)
= 2680fb284a871de3a3cb68decbeb6c3f
-
ocaml(String)
= 54ba2685e6ed154753718e9c8becb28b
-
ocaml(Sys)
= 45d17525db422614c1cc84b2d9f27926
-
ocaml(Unix)
= b6bfdb83f38c665d97fc0f322923311f
-
ocaml(Weak)
= 6ec9ee0b4d14b6d1f8c2003f9d9711af
-
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)
-
rpmlib(PayloadIsXz)
<= 5.2-1