Sophie

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

distrib > Mageia > 7 > i586 > media > core-release > by-pkgid > 236fc3ff29823909d3ab856e27b3a197 > deps

coq-ide-8.7.1-1.mga7.i586.rpm

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

Dependencies

Provides

• application()
• application(coq.desktop)
• coq-ide = 8.7.1-1.mga7
• coq-ide(x86-32) = 8.7.1-1.mga7
• ocaml(Config_lexer) = 01b95d515b0b19df188833728027d961
• ocaml(Configwin) = e48d49bed91eb4d47625f7aa848c687e
• ocaml(Configwin_ihm) = 210bd9a86c3383fc4d2619921201f545
• ocaml(Configwin_messages) = 9302a628dcb8a8f3b5527884a4acff34
• ocaml(Coq) = 3ea772e073cebb26e8f0b38a3fa52e4e
• ocaml(CoqOps) = 2b94e0e355e6b98bcb0c658c67a1cd2d
• ocaml(Coq_commands) = 0ecc933dca57fdc785a3a1b0dae9709d
• ocaml(Coq_lex) = 451ba3b6189ae24930ef96995f1d9ff1
• ocaml(Coqide) = 7912794268ff9472f80bac2eb0fde412
• ocaml(Coqide_ui) = d344bb76476a445bac5f4c6b42b6f469
• ocaml(Document) = 5ca260932c8d2b4a47b496a0ae1a3ad4
• ocaml(FileOps) = a310cb8f9d1fe9da352a5fe85560e265
• ocaml(Gtk_parsing) = 47ebdb999e6f1cc520bc7a69a7608072
• ocaml(Ideutils) = 039b7da804b2a0ceac1be9ea78c9d49c
• ocaml(Minilib) = eb2c6013361e40ebfa6b8b31852ddaef
• ocaml(NanoPG) = 47db0e75ced1f9f3b5a8aa48ea4c09b9
• ocaml(Preferences) = fc5ef344999589ae36c46bd0bf7e6be6
• ocaml(Richpp) = a6789380b875a28d46141bd3802efc03
• ocaml(Sentence) = 34b9e92178f96d280f60833725ff6f04
• ocaml(Serialize) = 38170c23bcd3edcca36f7d60d5ae4959
• ocaml(Session) = c8c1a9d19406fb6eb50ed63eb7bbf9e3
• ocaml(Tags) = 89100666068da36fd547e661ec7088eb
• ocaml(Utf8_convert) = 80e25fc350b05401f596e9a0d844f8d6
• ocaml(Wg_Command) = c8f876d424824aaa5344df9fd260d107
• ocaml(Wg_Completion) = 8002ccebe7c8cff419351d7a26763cb7
• ocaml(Wg_Detachable) = d202d86fc0623151c1cf41aeb94f8956
• ocaml(Wg_Find) = 66bdc84e179f306ac127e9364e7e173c
• ocaml(Wg_MessageView) = 430d47f1ef20440466cf2d646749d91a
• ocaml(Wg_Notebook) = 0c4eb27533ebb7bf0aeb75c24770b9e8
• ocaml(Wg_ProofView) = 558241c3e6e02f43db3dc748d2548aa9
• ocaml(Wg_ScriptView) = d3d3f0d942889d7ac39a8cb67b35f306
• ocaml(Wg_Segment) = e1f4ac3c33f03a6664a725657948e6f8
• ocaml(Xml_lexer) = d9f5b4e94ae2353a97798787a2320a8e
• ocaml(Xml_parser) = 0c30d63b7c8d5c9d735fea3fb61c46aa
• ocaml(Xml_printer) = cb7360c62f641d1dbd7581782dc7b48d
• ocaml(Xmlprotocol) = 47fcab5692678bb955c02aa0db5c4ad8

Requires

• coq = 8.7.1
• 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.10)
• libc.so.6(GLIBC_2.11)
• libc.so.6(GLIBC_2.16)
• libc.so.6(GLIBC_2.17)
• libc.so.6(GLIBC_2.2)
• libc.so.6(GLIBC_2.28)
• libc.so.6(GLIBC_2.3.2)
• libc.so.6(GLIBC_2.7)
• libc.so.6(GLIBC_2.9)
• 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
• libgmodule-2.0.so.0
• libgobject-2.0.so.0
• libgtk-x11-2.0.so.0
• libgtksourceview-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(Bigarray) = 5f83cfc1f457cdadd2b6825e2338489e
• ocaml(CArray) = 3af21ec4ace8441319b29b27fa1ff533
• ocaml(CList) = c2045cea01880196c16b1d43d545b5e1
• ocaml(CMap) = a5336ab7ad7944874a7befde474ceb44
• ocaml(CSet) = 54de850297298ef42cb135f6b3235623
• ocaml(CSig) = 0b825ad9b12bdf5e2e04f1183a3611af
• ocaml(CStack) = aaafa67b4b4ab4f5227258156176b9bf
• ocaml(CString) = 09dd30a44d7baf3948a0e4c9dafeac58
• ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
• ocaml(Coq) = 3ea772e073cebb26e8f0b38a3fa52e4e
• ocaml(CoqOps) = 2b94e0e355e6b98bcb0c658c67a1cd2d
• ocaml(Coq_commands) = 0ecc933dca57fdc785a3a1b0dae9709d
• ocaml(Coq_config) = 1a2f4fa0c8e0cf7d8737f867e50f376a
• ocaml(Exninfo) = 96dc0367580ae31f079e1e09e7cdbd3b
• ocaml(Feedback) = 14be1b15625decb5b148afdcdb9c39e6
• ocaml(FileOps) = a310cb8f9d1fe9da352a5fe85560e265
• ocaml(Flags) = bd95a5f03385add9222e58e4bc1838fd
• ocaml(GAction) = 74e39190bc6df427141379cd0b81d4fc
• ocaml(GBin) = 15e1dd03a86b7abcfeb70b5d4091ac8a
• ocaml(GButton) = ba93c2e379059c44b73cabbf96f85584
• ocaml(GContainer) = c97b297b3315bb0a2eb3bedeabd147a8
• ocaml(GData) = 04078a89f67249c0802f86bf913ed212
• ocaml(GDraw) = 1684a4777df74b84500dacd8e85741f5
• ocaml(GFile) = 6a2f89e1109e993b0e5d415cff734cc2
• ocaml(GList) = 8ceebd75502e8672688b34a554e48be8
• ocaml(GMisc) = 4a58121878833ca1d738ce8480616942
• ocaml(GObj) = 5a561bf708f4ab409db8bf7fea2c73b9
• ocaml(GPack) = a9cf49ea7f406214a7c1dd7fc5ea8ee5
• ocaml(GPango) = b854577b33a011e2006044c66ee76750
• ocaml(GSourceView2) = b69aba852926275d728bb332395f09d8
• ocaml(GText) = 70a15c1dbbe22ce346f4e6dc9f6c01ec
• ocaml(GTree) = 8fa2817c9dbd2aef4ebf36b829f99e51
• ocaml(GUtil) = 9615e4e10877de4845935e691e590b12
• ocaml(GWindow) = 82c2b2cca2d1b3fc3fa32a72cd4ebada
• ocaml(Gaux) = 7a4f1758b4a04179986c02a4dd0f3054
• ocaml(Gdk) = b60729aef1282ad227ab7ae6ffa63e53
• ocaml(GdkEnums) = 0c43e4fb02a86363a03997967537abc4
• ocaml(GdkEvent) = 1ffa5227e7578bad1fb8b155a12c7b8b
• ocaml(GdkKeysyms) = c5d945768d1ccca26249098e1a3be813
• ocaml(GdkPixbuf) = 3ded24b60a97e844887d58975280e63b
• ocaml(Glib) = 554afbf725edb5234c5a5b88ce59cfc9
• ocaml(Gobject) = 335b96fe0d04d1a67cd6081f9ad97747
• ocaml(Gpointer) = 3bd4619fd29559cabf6133158fd44489
• ocaml(Gtk) = a1b0cf58789f6b8c1040a6909e5bf198
• ocaml(GtkBase) = c83e92da8d58b1ea2ad3fdd7f0b979c9
• ocaml(GtkBaseProps) = 6bcfd7961419e36a31638dc91d0ede86
• ocaml(GtkEnums) = 6a2fd01be4343cf2545d45114b51edc2
• ocaml(GtkObject) = 669c770ee26eafa39537a66bed243744
• ocaml(GtkPack) = 094d73dcc17f601b22d0616f67ee55fe
• ocaml(GtkPackProps) = 24e9b4d2b3b3a36587ccc3c72d3858cd
• ocaml(GtkSignal) = afb0ecd505a02a8ce48f1332b3fec54d
• ocaml(GtkSourceView2Props) = 8024bb7fc92cea2ca8538d92a0e2e614
• ocaml(GtkStock) = 32bdafacf13ba02c47f6784009c49026
• ocaml(Hashcons) = 0bfea76a28c4ec3073d0bf7ad56b5bdb
• ocaml(Hashset) = 4f0462bfdb755e72cb9d17b686a4f71b
• ocaml(Ideutils) = 039b7da804b2a0ceac1be9ea78c9d49c
• ocaml(Loc) = 189016592ee8caf181c041c83e7d7404
• ocaml(Minilib) = eb2c6013361e40ebfa6b8b31852ddaef
• ocaml(OgtkSourceView2Props) = e0b52db0437db40ded0a6ee16aa8130b
• ocaml(Option) = 62306e352bda2b75a46c0ba4db4f8fa5
• ocaml(Pango) = 55dc73d04c566a6a469341a268245d3d
• ocaml(PangoEnums) = 0a9b3834a0a1e5bf50376f80562b3465
• ocaml(Pp) = 9a9421c96eb40bb320f07b6bd11d785e
• ocaml(Preferences) = fc5ef344999589ae36c46bd0bf7e6be6
• ocaml(Richpp) = a6789380b875a28d46141bd3802efc03
• ocaml(Session) = c8c1a9d19406fb6eb50ed63eb7bbf9e3
• ocaml(SourceView2Enums) = f61285c44b624fc96baef639bc04e9e4
• ocaml(Stateid) = 9247c9ec04c721ecb1028a893bee04a4
• ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
• ocaml(Stdlib__array) = f10b61e53267652b8823075c289eff0e
• ocaml(Stdlib__bigarray) = fc1aa91cdfe245e30930771ff67c0b05
• ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
• ocaml(Stdlib__complex) = e9bb8037318eb026e17c232baa69f0d6
• ocaml(Stdlib__format) = ded827a86373f27e1e1668a07e19a5f0
• ocaml(Stdlib__hashtbl) = 604c8339f788853d04a57b7015e3ab28
• ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
• ocaml(Stdlib__lazy) = d20dd5c9a3c7cfe4ff673ca9f4d1db5f
• ocaml(Stdlib__lexing) = 5dab01a8724e0e13df2d86054a5b4940
• ocaml(Stdlib__list) = 6ac77ba2b0170f6297044c5028e5a32c
• ocaml(Stdlib__map) = 2b51a8a34feedf31a635a8ddcfde859d
• ocaml(Stdlib__obj) = dee2aaa1e4d02f8d2c44fe83f8df0aaf
• ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
• ocaml(Stdlib__scanf) = 1f1cf1173886fa83192456e3f901967c
• ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
• ocaml(Stdlib__set) = a52672326ca391bcc902a00841479c39
• ocaml(Stdlib__stream) = 71de6905be7ecce2af6754cfc599fcef
• ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
• ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
• ocaml(Tags) = 89100666068da36fd547e661ec7088eb
• ocaml(Unix) = df164073631805bfe89500851a57dedf
• ocaml(Util) = f3b2c5917589d76f361ab8e98bae2f82
• ocaml(Wg_Command) = c8f876d424824aaa5344df9fd260d107
• ocaml(Wg_Completion) = 8002ccebe7c8cff419351d7a26763cb7
• ocaml(Wg_Find) = 66bdc84e179f306ac127e9364e7e173c
• ocaml(Wg_MessageView) = 430d47f1ef20440466cf2d646749d91a
• ocaml(Wg_Notebook) = 0c4eb27533ebb7bf0aeb75c24770b9e8
• ocaml(Wg_ProofView) = 558241c3e6e02f43db3dc748d2548aa9
• ocaml(Wg_ScriptView) = d3d3f0d942889d7ac39a8cb67b35f306
• ocaml(Wg_Segment) = e1f4ac3c33f03a6664a725657948e6f8
• ocaml(Xml_datatype) = d934ccd20b987416e21ac308be7903ec
• ocaml(runtime) = 4.07.1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1