coq has broken dependencies in the F-16 tree: On x86_64: coq-xemacs-8.3pl2-2.fc16.noarch requires xemacs-proofgeneral On i386: coq-xemacs-8.3pl2-2.fc16.noarch requires xemacs-proofgeneral On x86_64: coq-8.3pl2-2.fc16.x86_64 requires ocaml(Pprintf) = 0:d3dad80eee688f5bb2625fe8b407f032 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Ploc) = 0:cd274e73bdce9a1bfc71cc5c19c0bf9c coq-8.3pl2-2.fc16.x86_64 requires ocaml(Extfun) = 0:7207a786d0841a302eae10db98979311 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Pcaml) = 0:aab1078eb605ddd32382cd3b26e1e9cb coq-8.3pl2-2.fc16.x86_64 requires ocaml(MLast) = 0:053d904bced85ba25bf6ab0adb2c4eac coq-8.3pl2-2.fc16.x86_64 requires ocaml(Plexing) = 0:af03d74fdd25c7f5adef6fedca18c3f1 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Eprinter) = 0:2c27930d3421a6c09548d4376540083e coq-8.3pl2-2.fc16.x86_64 requires ocaml(Quotation) = 0:bd6dab5ba3c9188ed82919075ac942e2 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Token) = 0:1148e70ee439dfccb0930823a9dfa2ed coq-8.3pl2-2.fc16.x86_64 requires ocaml(Stdpp) = 0:4a9363c5c3c814dba55fb29c668cff31 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Fstream) = 0:0638542c744443f2b176b95a5b211df9 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Gramext) = 0:5dd2e0bee1e8f1d4eae3e3c00e14cf54 coq-8.3pl2-2.fc16.x86_64 requires ocaml(Grammar) = 0:62a81e78d8838c0f1b51aa279da1a82c On i386: coq-8.3pl2-2.fc16.i686 requires ocaml(Token) = 0:1148e70ee439dfccb0930823a9dfa2ed coq-8.3pl2-2.fc16.i686 requires ocaml(Eprinter) = 0:2c27930d3421a6c09548d4376540083e coq-8.3pl2-2.fc16.i686 requires ocaml(Plexing) = 0:af03d74fdd25c7f5adef6fedca18c3f1 coq-8.3pl2-2.fc16.i686 requires ocaml(MLast) = 0:053d904bced85ba25bf6ab0adb2c4eac coq-8.3pl2-2.fc16.i686 requires ocaml(Pcaml) = 0:aab1078eb605ddd32382cd3b26e1e9cb coq-8.3pl2-2.fc16.i686 requires ocaml(Extfun) = 0:7207a786d0841a302eae10db98979311 coq-8.3pl2-2.fc16.i686 requires ocaml(Gramext) = 0:5dd2e0bee1e8f1d4eae3e3c00e14cf54 coq-8.3pl2-2.fc16.i686 requires ocaml(Fstream) = 0:0638542c744443f2b176b95a5b211df9 coq-8.3pl2-2.fc16.i686 requires ocaml(Grammar) = 0:62a81e78d8838c0f1b51aa279da1a82c coq-8.3pl2-2.fc16.i686 requires ocaml(Stdpp) = 0:4a9363c5c3c814dba55fb29c668cff31 coq-8.3pl2-2.fc16.i686 requires ocaml(Pprintf) = 0:d3dad80eee688f5bb2625fe8b407f032 coq-8.3pl2-2.fc16.i686 requires ocaml(Quotation) = 0:bd6dab5ba3c9188ed82919075ac942e2 coq-8.3pl2-2.fc16.i686 requires ocaml(Ploc) = 0:cd274e73bdce9a1bfc71cc5c19c0bf9c On x86_64: coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkBaseProps) = 0:a390a19536bd16796ce682222ff6b617 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkData) = 0:ed8d836240555086d0cf60e0ed0cf922 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GTree) = 0:3a4be6d14cb3a804c2f38817ad35181d coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkThread) = 0:c48e24be2322c4077f5b1d5721ac179c coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GMenu) = 0:df68ebea5d58085c3de46d5472c494a0 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GEdit) = 0:19e02eb8d58960097f53d4a0663f9be4 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GToolbox) = 0:8d2c2d69db4efb3ec33c95b2b14c7a12 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GMain) = 0:e528f5b206fdb899c79821e2183480d5 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Gtk) = 0:432c93a47db000e1ed95278dd4683da6 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GDraw) = 0:98c42d84a8e51653007acb9fc812c5e4 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkPack) = 0:aead410d035212b1e97d53b130e35aca coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GdkEnums) = 0:70ad074db0644bf10588e8c34a1b5625 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GContainer) = 0:8d5a790080ff468050a55b191df2651d coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkTree) = 0:b685223f5c65e209056ebae79660ee6a coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkSignal) = 0:f3a43d7fa2d200cb558a9448faafe08c coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Stdpp) = 0:4a9363c5c3c814dba55fb29c668cff31 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkEnums) = 0:ae7b2c2a83853d2def52ca9abb2076a4 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Pango) = 0:3ab92ee82d8f09439813eb612c20e98f coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GdkKeysyms) = 0:c1374d91d7e967c95fd0ce53abcb3d10 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Plexing) = 0:af03d74fdd25c7f5adef6fedca18c3f1 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GBin) = 0:e99b37306f76d1ceea3c39aba9d457ca coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(PangoEnums) = 0:fcfc7f5fb6e3da02d9ac99231e43f39b coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Gdk) = 0:59caeee30c1d6bdb12b0ce5bf03118d1 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Glib) = 0:f56ca2b21a810156fc5f581555b8bfda coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GFile) = 0:88b7584bed14ec643e33afe4ad9845a0 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Ploc) = 0:cd274e73bdce9a1bfc71cc5c19c0bf9c coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GText) = 0:788dca86d93ded57b42d917bdb27e76c coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkText) = 0:49fdb3fa0e256770e7515821497ddbf7 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GRange) = 0:e706b1a15af06abd85c187b7e7ef7e73 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkBase) = 0:f55b95a8c913f3778bb2d11107fb76d6 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GObj) = 0:ea4f2bf03b3cc010442065020738f26f coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GPango) = 0:427fc1f4200e5e1307908b9317d0bcf2 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Token) = 0:1148e70ee439dfccb0930823a9dfa2ed coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkTextProps) = 0:42bfcbb039a9d86f50052425cfbd5ccb coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GdkPixbuf) = 0:ddc1e74b519ecdfe8fa2872f8034b32b coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Gaux) = 0:04762183969e1683729340648b1f9fe6 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GData) = 0:45b783e7a3c5e6f2cf498f5bd2d4c0f8 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkPackProps) = 0:d7d9dd21ecb8e5d56e765905a41be53d coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GBroken) = 0:db19762ffe438d58c33747d36d8983c4 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GMisc) = 0:fc78431e0214b7fb48a328cb5dcfd3f8 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Gobject) = 0:acbeeb6d76e2fc1f756c364840661748 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkTreeProps) = 0:d7c4a65fe6ca7cd6082feee5dea49e2c coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkMain) = 0:2d9fd1d005eb0b787ac3ff55a7e783cf coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkObject) = 0:8c44c1096e24211efc0b9c4428d07e4b coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Fstream) = 0:0638542c744443f2b176b95a5b211df9 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Gramext) = 0:5dd2e0bee1e8f1d4eae3e3c00e14cf54 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GdkEvent) = 0:e4b8521b9a48d576e12b4134bba11ce8 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GList) = 0:9e50fa5765b543503b5fa94c8944ce95 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Grammar) = 0:62a81e78d8838c0f1b51aa279da1a82c coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(Gpointer) = 0:ce10916e5dd0d785d6bd7a88c55aadfa coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GPack) = 0:4c5fea7a104450f81db5e0f135d6f92f coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GButton) = 0:97ad47f4320e49074cf8bc45305e1e53 coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GtkStock) = 0:43640c4aed32799b0ac32e8785a63cbc coq-coqide-8.3pl2-2.fc16.x86_64 requires ocaml(GWindow) = 0:8d76e812e47bee5dce8bbdbf61a2d3fb On i386: coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Token) = 0:1148e70ee439dfccb0930823a9dfa2ed coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GFile) = 0:88b7584bed14ec643e33afe4ad9845a0 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GPango) = 0:427fc1f4200e5e1307908b9317d0bcf2 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkBase) = 0:f55b95a8c913f3778bb2d11107fb76d6 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GRange) = 0:e706b1a15af06abd85c187b7e7ef7e73 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkText) = 0:49fdb3fa0e256770e7515821497ddbf7 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Ploc) = 0:cd274e73bdce9a1bfc71cc5c19c0bf9c coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Gdk) = 0:59caeee30c1d6bdb12b0ce5bf03118d1 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkObject) = 0:8c44c1096e24211efc0b9c4428d07e4b coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(PangoEnums) = 0:fcfc7f5fb6e3da02d9ac99231e43f39b coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GBin) = 0:e99b37306f76d1ceea3c39aba9d457ca coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Plexing) = 0:af03d74fdd25c7f5adef6fedca18c3f1 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Pango) = 0:3ab92ee82d8f09439813eb612c20e98f coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkSignal) = 0:f3a43d7fa2d200cb558a9448faafe08c coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GContainer) = 0:8d5a790080ff468050a55b191df2651d coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GdkEnums) = 0:70ad074db0644bf10588e8c34a1b5625 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkPack) = 0:aead410d035212b1e97d53b130e35aca coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkTree) = 0:b685223f5c65e209056ebae79660ee6a coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Gaux) = 0:04762183969e1683729340648b1f9fe6 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GDraw) = 0:98c42d84a8e51653007acb9fc812c5e4 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Gtk) = 0:432c93a47db000e1ed95278dd4683da6 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GObj) = 0:ea4f2bf03b3cc010442065020738f26f coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GToolbox) = 0:8d2c2d69db4efb3ec33c95b2b14c7a12 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GMenu) = 0:df68ebea5d58085c3de46d5472c494a0 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GTree) = 0:3a4be6d14cb3a804c2f38817ad35181d coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkData) = 0:ed8d836240555086d0cf60e0ed0cf922 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkStock) = 0:43640c4aed32799b0ac32e8785a63cbc coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkBaseProps) = 0:a390a19536bd16796ce682222ff6b617 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GWindow) = 0:8d76e812e47bee5dce8bbdbf61a2d3fb coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Stdpp) = 0:4a9363c5c3c814dba55fb29c668cff31 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkThread) = 0:c48e24be2322c4077f5b1d5721ac179c coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GButton) = 0:97ad47f4320e49074cf8bc45305e1e53 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GPack) = 0:4c5fea7a104450f81db5e0f135d6f92f coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Gpointer) = 0:ce10916e5dd0d785d6bd7a88c55aadfa coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Grammar) = 0:62a81e78d8838c0f1b51aa279da1a82c coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GdkKeysyms) = 0:c1374d91d7e967c95fd0ce53abcb3d10 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GList) = 0:9e50fa5765b543503b5fa94c8944ce95 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GText) = 0:788dca86d93ded57b42d917bdb27e76c coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Gramext) = 0:5dd2e0bee1e8f1d4eae3e3c00e14cf54 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Fstream) = 0:0638542c744443f2b176b95a5b211df9 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GEdit) = 0:19e02eb8d58960097f53d4a0663f9be4 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkMain) = 0:2d9fd1d005eb0b787ac3ff55a7e783cf coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkTreeProps) = 0:d7c4a65fe6ca7cd6082feee5dea49e2c coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Glib) = 0:f56ca2b21a810156fc5f581555b8bfda coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(Gobject) = 0:acbeeb6d76e2fc1f756c364840661748 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GMain) = 0:e528f5b206fdb899c79821e2183480d5 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GMisc) = 0:fc78431e0214b7fb48a328cb5dcfd3f8 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GBroken) = 0:db19762ffe438d58c33747d36d8983c4 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkPackProps) = 0:d7d9dd21ecb8e5d56e765905a41be53d coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GData) = 0:45b783e7a3c5e6f2cf498f5bd2d4c0f8 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GdkPixbuf) = 0:ddc1e74b519ecdfe8fa2872f8034b32b coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkTextProps) = 0:42bfcbb039a9d86f50052425cfbd5ccb coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GdkEvent) = 0:e4b8521b9a48d576e12b4134bba11ce8 coq-coqide-8.3pl2-2.fc16.i686 requires ocaml(GtkEnums) = 0:ae7b2c2a83853d2def52ca9abb2076a4 On x86_64: coq-emacs-8.3pl2-2.fc16.noarch requires emacs-proofgeneral On i386: coq-emacs-8.3pl2-2.fc16.noarch requires emacs-proofgeneral Please resolve this as soon as possible. _______________________________________________ ocaml-devel mailing list ocaml-devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
