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.