Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 5 > x86_64 > by-pkgid > 39667939f947463ce9027247644f6f52 > deps

coq-ide-8.4pl4-5.mga5.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Dependencies

Provides

• application()
• application(coq.desktop)
• coq-ide = 8.4pl4-5.mga5
• coq-ide(x86-64) = 8.4pl4-5.mga5
• ocaml(Command_windows) = 84238b265109f7b7ad7cb460d806473c
• ocaml(Config_file) = 10610129c08241d9152eea37505b6834
• ocaml(Config_lexer) = 4364d5dc8af61282333b42602a326a40
• ocaml(Configwin) = 22ac59cef812a7f530b0559dce10c3b7
• ocaml(Configwin_ihm) = 2065f70bfdbe417a47eb9fbfc71715b7
• ocaml(Configwin_keys) = 703915c6b558783bee50a2cc8b400ba9
• ocaml(Configwin_messages) = 4febe515ddbda757d98d38194bbd97d2
• ocaml(Configwin_types) = 58431db5ffc02b1baa39ed97ba53562d
• ocaml(Coq) = c45bca935b5b557c2ce2b1024c9e8f1d
• ocaml(Coq_commands) = a7a3491baecb4dc632a5a1ad98a3b07a
• ocaml(Coq_lex) = be45625931bf3fbee6f8c89cd11edfb4
• ocaml(Coqide) = 3b7b4a69bfb96cc776d4648706663c49
• ocaml(Coqide_ui) = 7711eb3152c226262e86e0fca73f1521
• ocaml(Editable_cells) = 924995d9eaf08ec6f756e3acdfba6809
• ocaml(Gtk_parsing) = 0df9c88389c90d5f70264999a117498e
• ocaml(Ideproof) = 0fa1b18f939d8e86c05472c9ce31361a
• ocaml(Ideutils) = 49f7e8eca3702aa8949fa1332a5f1f23
• ocaml(Minilib) = 6db1553d39e6acd73fd09e815dcb8b49
• ocaml(Okey) = d3f4d8954c339ed3572470eafe75dcde
• ocaml(Preferences) = 803c47e68e60cf89a8db49c364a33dc9
• ocaml(Project_file) = 9e3dda74d1305176d7634b7559e7c023
• ocaml(Tags) = fcf868cd5b08a6b04f5772b293c9553e
• ocaml(Typed_notebook) = d88d9cc2e8d78c87ce93899ced349ad1
• ocaml(Undo) = 9c6eb82e6b8269b28e488f16fba8d017
• ocaml(Utf8_convert) = 7846836acc6f6d6fcda5464cd5efcbb7

Requires

• coq = 8.4pl4
• libatk-1.0.so.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libcairo.so.2()(64bit)
• libdl.so.2()(64bit)
• libdl.so.2(GLIBC_2.2.5)(64bit)
• libfontconfig.so.1()(64bit)
• libfreetype.so.6()(64bit)
• libgdk-x11-2.0.so.0()(64bit)
• libgdk_pixbuf-2.0.so.0()(64bit)
• libgio-2.0.so.0()(64bit)
• libglib-2.0.so.0()(64bit)
• libgmodule-2.0.so.0()(64bit)
• libgobject-2.0.so.0()(64bit)
• libgtk-x11-2.0.so.0()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libpango-1.0.so.0()(64bit)
• libpangocairo-1.0.so.0()(64bit)
• libpangoft2-1.0.so.0()(64bit)
• libpthread.so.0()(64bit)
• libpthread.so.0(GLIBC_2.2.5)(64bit)
• libpthread.so.0(GLIBC_2.3.2)(64bit)
• ocaml(Arg) = a7ebc43608a0326f6aa67069897d89e7
• ocaml(Array) = 8a6bb22925744456eb66180ea42e3344
• ocaml(Bigarray) = 968037506db5f9b56ea16d0880b2363f
• ocaml(Buffer) = af3ef6fba94cdb4eba31e98b4e341dab
• ocaml(Callback) = 198fb4bcde892143b0866b03cfae8085
• ocaml(CamlinternalLazy) = 8f3f61657b86fd4738ffcd8e2cd074ea
• ocaml(CamlinternalOO) = 9aea14562c686c3ebc7df7b67ff5bf01
• ocaml(Char) = 9554e5449c177414a27e7d7ff5ed8013
• ocaml(Complex) = 1858860030310b043b5d7fcb362095a3
• ocaml(Config_file) = 10610129c08241d9152eea37505b6834
• ocaml(Configwin_keys) = 703915c6b558783bee50a2cc8b400ba9
• ocaml(Configwin_messages) = 4febe515ddbda757d98d38194bbd97d2
• ocaml(Configwin_types) = 58431db5ffc02b1baa39ed97ba53562d
• ocaml(Coq) = c45bca935b5b557c2ce2b1024c9e8f1d
• ocaml(Coq_commands) = a7a3491baecb4dc632a5a1ad98a3b07a
• ocaml(Coq_config) = 5b6c117b7c64c5bdd1217e1bfc06fac7
• ocaml(Filename) = 28728bb478e079cce0b0c694de7944d6
• ocaml(Flags) = 03499c4da5e0d1243c04a0e3f1f73923
• ocaml(Format) = e0d18776d4bacff3a198b5c23d0e9355
• ocaml(GAction) = 8d8162cf04383b2ee8e68f5ad3e66557
• ocaml(GBin) = 06e19e22e83db9d736ed06ce63e3d98f
• ocaml(GBroken) = 5b13df33e1641aea50475e28e74f496e
• ocaml(GButton) = a67bbbcf2edf77c37105c9ffebdf7c40
• ocaml(GContainer) = c18d7fc26cf37129c96fd29d6b6956d3
• ocaml(GData) = 6ccb31a7d482c3c895a3c175541b5b38
• ocaml(GDraw) = f3157941787bbfa9b50e920273ae4410
• ocaml(GEdit) = 276390452b67afb03b66090320cdf947
• ocaml(GFile) = 232383c2bdf4f275f12f1d76457f1c85
• ocaml(GList) = 38aab9005cb2e754627e10292fa36884
• ocaml(GMain) = a94b3fe4ee3f7d20bbe0000dabd77e21
• ocaml(GMenu) = 03c5b1b9f7d4d65e75c6ae76df047c34
• ocaml(GMisc) = ff8cb10c57226fd444ef8f4818b6bc46
• ocaml(GObj) = d4ca5e57ad2695733f2b934331e3f1ea
• ocaml(GPack) = 16accb4dbe6af80747f1fa2973006553
• ocaml(GPango) = b21e8a3f3659db80969c93cdf28a3769
• ocaml(GRange) = 1048f789771a75388aed1606bac1d982
• ocaml(GText) = 8e18788b815fa98b9ba04bd158f8b5cf
• ocaml(GToolbox) = 93b7d87fbc13410b203891760bccfba7
• ocaml(GTree) = 80b56e9b663ab1072b6fafb804a4bf03
• ocaml(GWindow) = 2be1ad5b92832857b4848a9981c5c639
• ocaml(Gaux) = 2020fe64acacffa10d949b061d7cab4d
• ocaml(Gc) = 292a1cd61d8e068943589882415bdf7d
• ocaml(Gdk) = 61775f70f44e11b2f56ee96d1329493d
• ocaml(GdkEnums) = 4098dd5ea8fe2115e79941f99ac87aed
• ocaml(GdkEvent) = 7c169a70eecb43e63afe4a06d9bbd3df
• ocaml(GdkKeysyms) = 87a4ba44f5d8f20c6ffe0f4d073403bf
• ocaml(GdkPixbuf) = 558e4986fb223d56f1582e7840d23264
• ocaml(Genlex) = d2a5d1859e3a2bad50d4e521a779cde8
• ocaml(Glib) = 2605cd6cb41d7b1cf81f63f394274163
• ocaml(Gobject) = 7e28da1d651fec6dbd065e97843e6b27
• ocaml(Goptionstyp) = a560119c52ba6b37565efa3316534ba9
• ocaml(Gpointer) = cce49826f682cb50597aedfc0dd03d4e
• ocaml(Gtk) = de6a483141858f296bd5b3db157e54ad
• ocaml(GtkBase) = c73f9d8da2a3c5a1bd5b5c379f25d2d6
• ocaml(GtkBaseProps) = 1d36cc1e05ae32cef5b84ade09f14d4e
• ocaml(GtkButton) = 3e47820fc11f47124aee372ffaf71990
• ocaml(GtkButtonProps) = 9bb55c9c84bb7dbb00845d9103cda889
• ocaml(GtkData) = 4c39d3f83338e9dfc7c3e1a077e0f65b
• ocaml(GtkEnums) = 1580b2011c58fa575097465dd9f340ae
• ocaml(GtkMain) = cc366a2037ca4566718257a7440eb00f
• ocaml(GtkObject) = 09245a3e5cdc1276e6ea454cd6557507
• ocaml(GtkPack) = cef4058d103a94b0b8f96250871c1a3c
• ocaml(GtkPackProps) = df8f9d9be21fc2c7e3259ad9f49ea1b8
• ocaml(GtkSignal) = 93315de683652ce92954091feeb8f0ee
• ocaml(GtkStock) = 9b1da86816cba50091b89f587fbf1699
• ocaml(GtkText) = b8e7407da9d3da846fe41ea3a368dc50
• ocaml(GtkTextProps) = 6d531fb216d707bd71a59519cf2ca1df
• ocaml(GtkThread) = 122d7d7d72beed3afd646c996c629ce1
• ocaml(GtkTree) = ebd04fd31f9c3de7e333275837e07991
• ocaml(GtkTreeProps) = cf778330f9864c6f0a78bba65b325de6
• ocaml(Hashtbl) = 024edc3512403b725052aec8e41ed971
• ocaml(Ide_intf) = 0057ee8cf67a8dbdff2ac011389cfdf0
• ocaml(Ideutils) = 49f7e8eca3702aa8949fa1332a5f1f23
• ocaml(Int32) = ad06f04cfca6d404d1de76c3dc67324a
• ocaml(Interface) = f3666f77f57416992e6ecd3107545b0d
• ocaml(Lazy) = 12a7b23bd30e5e207ddae39c8e41a1d2
• ocaml(Lexing) = 50598ab7c92b4bdcc624e472342ac8a9
• ocaml(List) = d757117653d9319fefb7ddc78a998f41
• ocaml(Map) = f11d7ddcffad09397202a49bd9bb4283
• ocaml(Minilib) = 6db1553d39e6acd73fd09e815dcb8b49
• ocaml(Mutex) = bf9c20efca54afdc260604f8bb20c0e9
• ocaml(Obj) = b0adfa4175f86e4394859886c1a374bb
• ocaml(Okey) = d3f4d8954c339ed3572470eafe75dcde
• ocaml(Oo) = a32dda93b7035f574f8847662f567434
• ocaml(Pango) = 7cc76805fd36cee4ad505fbc5cb86c07
• ocaml(PangoEnums) = ffa58a6b02cd6771efa03b9295eba490
• ocaml(Pervasives) = 36b5bc8227dc9914c6d9fd9bdcfadb45
• ocaml(Preferences) = 803c47e68e60cf89a8db49c364a33dc9
• ocaml(Printexc) = d81cbca604b811d25138fa79499fe071
• ocaml(Printf) = d012329cc712e91d0f10a5eef2303d18
• ocaml(Queue) = 2dece812a038a26a3231548f436037b6
• ocaml(Scanf) = 32f4f4bcda9cec7e02ee159052050f07
• ocaml(Stack) = 22ee969c15348e719d399f27dc29695b
• ocaml(StdLabels) = 322a87241f0aff306b92b23e66fecfac
• ocaml(Str) = fb3d050844d298243e3f50be7c8a4bcc
• ocaml(Stream) = 932d0bd7bd881dd54cdaabdd1ca8062b
• ocaml(String) = db7f34081ef8fcaf499f19523d0736c6
• ocaml(Sys) = 5acfec22153eb1403597926ecd15f4f5
• ocaml(Tags) = fcf868cd5b08a6b04f5772b293c9553e
• ocaml(Thread) = 9c6f664141b325633a43fee33cfc2f6d
• ocaml(Unix) = 93736a394d3d85d6d127fe238ddc6092
• ocaml(Xml_parser) = 0a598efb0c581f149b680ddf68bad5f0
• ocaml(Xml_utils) = e18df54fa7617888755730b20d3e2a11
• ocaml(runtime) = 4.01.0
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1