coq has broken dependencies in the development tree: On ppc: coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.3.4) coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.4) coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.1) coq-coqide-8.2pl1-1.fc12.ppc requires libm.so.6(GLIBC_2.0) coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.1.2) coq-coqide-8.2pl1-1.fc12.ppc requires libgdk_pixbuf-2.0.so.0 coq-coqide-8.2pl1-1.fc12.ppc requires libm.so.6 coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.2) coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.11) coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6 coq-coqide-8.2pl1-1.fc12.ppc requires libfreetype.so.6 coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.7) coq-coqide-8.2pl1-1.fc12.ppc requires libpthread.so.0(GLIBC_2.0) coq-coqide-8.2pl1-1.fc12.ppc requires libdl.so.2 coq-coqide-8.2pl1-1.fc12.ppc requires libpthread.so.0(GLIBC_2.3.2) coq-coqide-8.2pl1-1.fc12.ppc requires libm.so.6(GLIBC_2.1) coq-coqide-8.2pl1-1.fc12.ppc requires libgdk-x11-2.0.so.0 coq-coqide-8.2pl1-1.fc12.ppc requires rtld(GNU_HASH) coq-coqide-8.2pl1-1.fc12.ppc requires libdl.so.2(GLIBC_2.1) coq-coqide-8.2pl1-1.fc12.ppc requires libgtk-x11-2.0.so.0 coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.0) coq-coqide-8.2pl1-1.fc12.ppc requires libatk-1.0.so.0 coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.3.2) coq-coqide-8.2pl1-1.fc12.ppc requires libpthread.so.0(GLIBC_2.2) coq-coqide-8.2pl1-1.fc12.ppc requires /usr/bin/ocamlrun coq-coqide-8.2pl1-1.fc12.ppc requires libdl.so.2(GLIBC_2.0) coq-coqide-8.2pl1-1.fc12.ppc requires libpthread.so.0(GLIBC_2.1) coq-coqide-8.2pl1-1.fc12.ppc requires libpthread.so.0 coq-coqide-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.3) On ppc: coq-emacs-8.2pl1-1.fc12.ppc requires emacs On ppc: coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.2) coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.3.4) coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.4) coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.1) coq-8.2pl1-1.fc12.ppc requires libm.so.6(GLIBC_2.0) coq-8.2pl1-1.fc12.ppc requires /usr/bin/ocamlrun coq-8.2pl1-1.fc12.ppc requires libm.so.6(GLIBC_2.1) coq-8.2pl1-1.fc12.ppc requires rtld(GNU_HASH) coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.1.2) coq-8.2pl1-1.fc12.ppc requires libdl.so.2(GLIBC_2.1) coq-8.2pl1-1.fc12.ppc requires libc.so.6 coq-8.2pl1-1.fc12.ppc requires libdl.so.2(GLIBC_2.0) coq-8.2pl1-1.fc12.ppc requires libdl.so.2 coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.7) coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.0) coq-8.2pl1-1.fc12.ppc requires libc.so.6(GLIBC_2.3) coq-8.2pl1-1.fc12.ppc requires libm.so.6 Please resolve this as soon as possible. _______________________________________________ Fedora-ocaml-list mailing list Fedora-ocaml-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-ocaml-list
