Dependencies
Provides
- dllcoqrun.so
- coq = 8.2pl1-2mdv2010.1
- coq(x86-32) = 8.2pl1-2mdv2010.1
Requires
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- ocaml
- 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.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)
- rtld(GNU_HASH)
- ocaml = 3.11.2
- rpmlib(PayloadIsLzma) <= 4.4.6-1
