Dependencies
Provides
- coq-coqide = 8.4pl1-1.fc18
- coq-coqide(x86-32) = 8.4pl1-1.fc18
- mimehandler(application/x-coq)
- ocaml(Command_windows) = fab137ade21f1c33d171e338f3141f7c
- ocaml(Config_file) = c0e9d08dabe982ecfa3c99468dcbe421
- ocaml(Config_lexer) = 4f71af1bc84a26483beee8f44170422a
- ocaml(Configwin) = 504f0508b4768dce63469357f5a2913f
- ocaml(Configwin_ihm) = ebd70e79cc6c35ac429e4328f7038d55
- ocaml(Configwin_keys) = 907e30532521caac1e97c80ce1b0cddb
- ocaml(Configwin_messages) = 59b38aceca3bb78973266aa605556227
- ocaml(Configwin_types) = c39e817ffc995a3e21977eaed4574d1a
- ocaml(Coq) = ab059ca2d71267c41638680f0bfea8c2
- ocaml(Coq_commands) = e6ecdc97c35ade905e2c134a2b921aec
- ocaml(Coq_lex) = 82521ced468c93d0c9d22287acaf6108
- ocaml(Coqide) = 715c0f6c6538c7f0b9783c0c94c90057
- ocaml(Coqide_ui) = 9bc528ce31b5abf177b1a1c17e369a50
- ocaml(Editable_cells) = 53f4fb28cd9d13c6f06502f10d0930d5
- ocaml(Gtk_parsing) = e0cbcdfeebb2e34aab6dc8ee75475c0a
- ocaml(Ideproof) = 3df2396e904600a9978d60ac4fd958f9
- ocaml(Ideutils) = d5922848090488491dc561c80b866b23
- ocaml(Minilib) = d427865d1f30006882cd4aded66e9033
- ocaml(Okey) = 86e3c950cd34401b0123ca82fb80a06d
- ocaml(Preferences) = ae10c8be8fd05060eadba2731e9e05c2
- ocaml(Project_file) = ed4552729311d660bb6c79f5233bc003
- ocaml(Tags) = 084bcd1a198dd260fbf9e66a1c632dc1
- ocaml(Typed_notebook) = d84a1e326552ad8a6b3e5eb40c03db5c
- ocaml(Undo) = a3ecf0c0e7a11a42b22c84f0233d1539
- ocaml(Utf8_convert) = 6e7e7a7ab723b30f8aa034f0cfd089ca
Requires
- coq = 8.4pl1-1.fc18
- libatk-1.0.so.0
- 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.11)
- libc.so.6(GLIBC_2.15)
- libc.so.6(GLIBC_2.2)
- libc.so.6(GLIBC_2.3)
- libc.so.6(GLIBC_2.3.2)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.7)
- libcairo.so.2
- libdl.so.2
- libdl.so.2(GLIBC_2.0)
- libdl.so.2(GLIBC_2.1)
- libfontconfig.so.1
- libfreetype.so.6
- libgdk-x11-2.0.so.0
- libgdk_pixbuf-2.0.so.0
- libgio-2.0.so.0
- libglib-2.0.so.0
- libgobject-2.0.so.0
- libgtk-x11-2.0.so.0
- libm.so.6
- libm.so.6(GLIBC_2.0)
- libm.so.6(GLIBC_2.1)
- libpango-1.0.so.0
- libpangocairo-1.0.so.0
- libpangoft2-1.0.so.0
- libpthread.so.0
- libpthread.so.0(GLIBC_2.0)
- libpthread.so.0(GLIBC_2.1)
- libpthread.so.0(GLIBC_2.2)
- libpthread.so.0(GLIBC_2.3.2)
- ocaml(Arg) = 0912ae37a27d2d7d1889fb5c072b7f05
- ocaml(Array) = 4d5efba91ec70acd7b184fd4b277708c
- ocaml(Bigarray) = a3abca6eda85a27a2e9646fee2ae6d47
- ocaml(Buffer) = 3f6c994721573c9f8b5411e6824249f4
- ocaml(Callback) = 6fd6d47b2f6a171a493621bc5edbfb32
- ocaml(CamlinternalLazy) = 7e4f61f0abc0dc4bb87447429adcf88a
- ocaml(CamlinternalOO) = 8de55d11b771c63f6270c707c3c0f81b
- ocaml(Char) = 2693889a299a12395f3d4a288142de6d
- ocaml(Complex) = 15f71df7179e85f6cfbdabdfbc9eacaf
- ocaml(Config_file) = c0e9d08dabe982ecfa3c99468dcbe421
- ocaml(Configwin_keys) = 907e30532521caac1e97c80ce1b0cddb
- ocaml(Configwin_messages) = 59b38aceca3bb78973266aa605556227
- ocaml(Configwin_types) = c39e817ffc995a3e21977eaed4574d1a
- ocaml(Coq) = ab059ca2d71267c41638680f0bfea8c2
- ocaml(Coq_commands) = e6ecdc97c35ade905e2c134a2b921aec
- ocaml(Coq_config) = 00c1998f25247a17d13fbf7f8655f1ae
- ocaml(Filename) = db19aeb2a8d7e9bd0f4c54d51c6a433e
- ocaml(Flags) = 4dd236be4354d07ced2ae7f5ed2863df
- ocaml(Format) = 6e6b7b75c544ef4ca673a763aec805af
- ocaml(GAction) = 153caff4c6b9d9b83239ff43c8d74d90
- ocaml(GBin) = 6e67049b11e45965fa8f7096b99b4c86
- ocaml(GBroken) = c7263e4fa0b475baa484081899a66e84
- ocaml(GButton) = c66164cecb31388c18f9fc1cd82728f1
- ocaml(GContainer) = 4d05a01491ec3ea57708d89e31cbc6a4
- ocaml(GData) = f3e525ff20160ca79e35beb1775222a1
- ocaml(GDraw) = 6fbf6a8e3940741f1745956d518d6ca5
- ocaml(GEdit) = 3306e61ac0656fa91f22a3b270d5819b
- ocaml(GFile) = 9357311dcd720083f64977f6ac830bb0
- ocaml(GList) = 21564aede604934d914b13f7abec42b2
- ocaml(GMain) = 63000975705baf28aa497eb0b3f67037
- ocaml(GMenu) = 4f733ecb2cab4347dd29f38575cd7265
- ocaml(GMisc) = 9ff038de3c8f1b0b72c0c1eb4f8780d4
- ocaml(GObj) = 547c1382cfa18b9fcc2be430a028337f
- ocaml(GPack) = 1e2e6ae10d14980cfd7e3f1345ee6e56
- ocaml(GPango) = 0ed796f9dbda5f5fe4b0cbc0a2ee568a
- ocaml(GRange) = d3e600df3e2e60a69567b0e821411acc
- ocaml(GText) = b09a88dfa4b660b7dc70a8113c29d4a9
- ocaml(GToolbox) = 7b8f86ff68cf5aca9ae532d9c3b7e973
- ocaml(GTree) = ef59dfe74aea701598387cd9e5438511
- ocaml(GWindow) = 725d86295d01346f32b4b75864d561a5
- ocaml(Gaux) = 0392cb2e5c61cc10c5b00317738196d8
- ocaml(Gc) = 23b8d067f883f7a218c4945a42625a31
- ocaml(Gdk) = c611d22cbbc5aa4f1d70d4cd50871b03
- ocaml(GdkEnums) = 2ba4a49d1f8e91118b15363401a41f5d
- ocaml(GdkEvent) = 0e34af5f016abb296c39c93b9e19f98f
- ocaml(GdkKeysyms) = 0c0a6d04f14a239f71a8eb9896c9b434
- ocaml(GdkPixbuf) = 88cd2cd26c3b90806a9fb3459de52f89
- ocaml(Genlex) = 72405e6353ea543e19a53d2bc7828b64
- ocaml(Glib) = 9d435660991fd26381b71ba064afed03
- ocaml(Gobject) = 96f9d08c427cd8c2b63836af1f3a97c5
- ocaml(Goptionstyp) = bf3ac8b37058ca85449f5106e12c9558
- ocaml(Gpointer) = 47e667f802ce95955c8b62ed7bd31c39
- ocaml(Gtk) = 375b4f3a5a997b69c1c1f9a25bb78f51
- ocaml(GtkBase) = dc68a1cf6ab24be7c3e6c994864b11c6
- ocaml(GtkBaseProps) = 6ab1cede75d652b55c9c65052d728b77
- ocaml(GtkButton) = a035ef4db025301bb6c0820e3e2c693a
- ocaml(GtkButtonProps) = c90b2ac0976a2f44af86faf55b53c9f8
- ocaml(GtkData) = 2fefff220ab21db19ac3213333851915
- ocaml(GtkEnums) = 21de92d5623d6624f2d54a874d40c530
- ocaml(GtkMain) = 381fc356d73bbac5b6fac6365238e1ac
- ocaml(GtkObject) = 4f4dfa7657637279b89d0a730738febc
- ocaml(GtkPack) = 9943106a98a4ac793a2d3858fd5759d6
- ocaml(GtkPackProps) = a0300f208479cfa92546c2d4a406ad60
- ocaml(GtkSignal) = 87b3f9c75f6a1d240fe3e95116904681
- ocaml(GtkStock) = bfdcbb9fd716b38b3ab83890f2c1c56d
- ocaml(GtkText) = a8003ba1845818c7202e6feaeff87a64
- ocaml(GtkTextProps) = 8ede48db44890e81d94e91418866a77c
- ocaml(GtkThread) = f993f61aae51a8393a67eccabd329d05
- ocaml(GtkTree) = 4ffa6db545f2f6025a6027f088dd5692
- ocaml(GtkTreeProps) = d8c8dbf411d9020cca46c4c1cf2d0c5a
- ocaml(Hashtbl) = 718cd6ce8bc18371ce22483e362f78b4
- ocaml(Ide_intf) = 3d3faf2bde365a42b96e1fb507891c90
- ocaml(Int32) = 265928798c0b8a63fa48cf9ac202f0ce
- ocaml(Interface) = 42fcc706b02d3cddc6cae027c719e699
- ocaml(Lazy) = be13470d54bbba2080e16d4f864ec34b
- ocaml(Lexing) = 7e306603bdda9b5b4c50d1aac8def12a
- ocaml(List) = bd7c662c09e850306a62c12fed5ef5ce
- ocaml(Map) = 1be6bb7484ad2000575776b38d423f2f
- ocaml(Minilib) = d427865d1f30006882cd4aded66e9033
- ocaml(Mutex) = c73aef633a273ecc07a14233cdb679c9
- ocaml(Obj) = ad977b422bbde52cd6cd3b9d04d71db1
- ocaml(Okey) = 86e3c950cd34401b0123ca82fb80a06d
- ocaml(Oo) = 3aa3a9b0ae41a637fa48c1469cf2e9a6
- ocaml(Pango) = 0133c07481646b3373fb94cb096b7f8d
- ocaml(PangoEnums) = f88b59fcda812745c91539976a6a5f3a
- ocaml(Pervasives) = 4836c254f0eacad92fbf67abc525fdda
- ocaml(Preferences) = ae10c8be8fd05060eadba2731e9e05c2
- ocaml(Printexc) = 1576494623cf9d670883c0a9dde994ae
- ocaml(Printf) = 10fca44c912c9342cf3d611984d42e34
- ocaml(Queue) = 9e4770869a4e57f5db312d7fdd5e6810
- ocaml(Scanf) = 6ba1a49186bb3df3bb5fad3a9e7fe3da
- ocaml(Stack) = 2680fb284a871de3a3cb68decbeb6c3f
- ocaml(StdLabels) = a823545a7cbfd856e931d5e632820e3b
- ocaml(Str) = e42aad8fb20d54ddbff6b1ae2544ea03
- ocaml(Stream) = 85d259e9a37648998b6c03b551d68e46
- ocaml(String) = 54ba2685e6ed154753718e9c8becb28b
- ocaml(Sys) = 45d17525db422614c1cc84b2d9f27926
- ocaml(Tags) = 084bcd1a198dd260fbf9e66a1c632dc1
- ocaml(Thread) = d539e2a90ca66bba8af249cf6d7ce833
- ocaml(Unix) = b6bfdb83f38c665d97fc0f322923311f
- ocaml(Xml_parser) = a8196f2f4c1dc499613b4c2a8570260f
- ocaml(Xml_utils) = fbdb33004a9f60ffb012e3c9e47e49a1
- 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)
- xdg-utils
- rpmlib(PayloadIsXz) <= 5.2-1