Sophie

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

distrib > Mageia > 6 > armv5tl > by-pkgid > 3b105890ffe2c84efcfb4655837bec8d > deps

coq-ide-8.5pl2-2.mga6.armv5tl.rpm

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

Dependencies

Provides

• application()
• application(coq.desktop)
• coq-ide = 8.5pl2-2.mga6
• coq-ide(armel-32) = 8.5pl2-2.mga6
• ocaml(Config_file) = 817559dba49c673d57e7e9daf55a5400
• ocaml(Config_lexer) = a4eb5d822adfd2904e30d0e2a61b92e9
• ocaml(Configwin) = 391321e2ecaa7e96759078c38d8f4a1a
• ocaml(Configwin_ihm) = 290c9709bab28e4465ce108b59be25e8
• ocaml(Configwin_keys) = 551eb51c535402feef53bd22738bb68f
• ocaml(Configwin_messages) = 3f65847358af09d0789fb1b514057598
• ocaml(Configwin_types) = 714a8e15572d6aa20ccd3c81835c5b55
• ocaml(Coq) = 0230a5a2c315e338e7139be3ed0b80e0
• ocaml(CoqOps) = 848587669080eb0ef44f38b7c57dd0ee
• ocaml(Coq_commands) = 36ee9b70e1e8cb45921704465888c026
• ocaml(Coq_lex) = d30dcd7c993faa4a59aa95048a093088
• ocaml(Coqide) = b95e6b13c03c701c555dfafe58a76647
• ocaml(Coqide_ui) = 18606cc5ad98399875b6aaa5b357faa4
• ocaml(Document) = e862a547465202496eff6e9641ad85cb
• ocaml(Editable_cells) = dd900c57f4ca5d9e0a377c10dc10741e
• ocaml(FileOps) = e4349289f58b79707f29f36d597bc559
• ocaml(Gtk_parsing) = dd63b3889a7a339c651633093ebce65c
• ocaml(Ideutils) = d0d4fbd85d0f463fdbc45fbf62c085bb
• ocaml(Minilib) = e7b8f1a155ce2f29b10bdc4a6f4aa2cc
• ocaml(NanoPG) = cc13158ae5a3dfc06312061020cfd7a0
• ocaml(Okey) = a4c08ad6f33ba7eb73a14004b94b22ca
• ocaml(Preferences) = f21956a75d94c368fba96c130d243991
• ocaml(Project_file) = 10da29addba45f2abdc7460480a9fe46
• ocaml(Sentence) = 2296444c67d1f4be1d946d8ae1f20ef6
• ocaml(Session) = 507579782b3583e59ae112906066f8b8
• ocaml(Tags) = d99e78559bbfaa4635b32b86c7e12ab7
• ocaml(Utf8_convert) = da1fc3ecb4274f8dbef70dcf90a6ef94
• ocaml(Wg_Command) = 7917ecdf47a41d4d4154c0b7f5e0bdb4
• ocaml(Wg_Completion) = 85021097f4c62a6eff0f8c8d6f5fe264
• ocaml(Wg_Detachable) = 0d1af7bc36b87a516bf5f887989fb4ac
• ocaml(Wg_Find) = 969009a9498d80866f1687ff72d4bea8
• ocaml(Wg_MessageView) = b9a7f21f999ab116c50cfbc3e79b52b2
• ocaml(Wg_Notebook) = 967129f7de8518ab68bc25a0335be0f3
• ocaml(Wg_ProofView) = f2b2ed68092292c56c63762481f61f90
• ocaml(Wg_ScriptView) = 1814cd9da409d7088e57f5b94415954f
• ocaml(Wg_Segment) = 9db32c307d7394a132f81794202daa55
• ocaml(Xmlprotocol) = 4b92236444513df5baf8c43dff9ee987

Requires

• coq = 8.5pl2
• libatk-1.0.so.0
• libc.so.6
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_2.7)
• libcairo.so.2
• libdl.so.2
• libdl.so.2(GLIBC_2.4)
• 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.4)
• libpango-1.0.so.0
• libpangocairo-1.0.so.0
• libpangoft2-1.0.so.0
• libpthread.so.0
• libpthread.so.0(GLIBC_2.4)
• ocaml(Arg) = 1a93c52516966fe6a58564a4c4d9e4fa
• ocaml(Array) = ae800d8cf9903f1d36856950940430e6
• ocaml(ArrayLabels) = 58a6628d1722d835ca71a7e76108549e
• ocaml(Backtrace) = 99b2bae0812f39fa47ac988c499ea84b
• ocaml(Bigarray) = 0643187a8b562858118690c393d01c2e
• ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b
• ocaml(BytesLabels) = f6f25f5328b09c590f56c7e37005c501
• ocaml(CArray) = 6e4a42f02ef3c429ac82a769d146eed6
• ocaml(CList) = 681938883c54cfbe68bca5f0a7e9dfa8
• ocaml(CMap) = adae6dc727e81ae69789a2a9ae6d7e77
• ocaml(CSet) = ebb037bed49b6df2d5f2665e9da9e87f
• ocaml(CSig) = 1c57a3b2223ac716e5ecfea99243e022
• ocaml(CStack) = 920cdd9278656c3a99b9099aa5086825
• ocaml(CString) = 0393355359613bdfbe318e23c0c487cb
• ocaml(CUnix) = 27a6d24885d4b0c317553d1d23b19084
• ocaml(Callback) = deb9226b3de6bdba985bad268a5b7c51
• ocaml(CamlinternalFormatBasics) = 8b069fca1e4d9316b588e5554f38bb24
• ocaml(CamlinternalLazy) = 122717041759525de93c0247d8e18b5a
• ocaml(CamlinternalOO) = 3d0b4eb4525ba4274c8885d7124f7bbc
• ocaml(Char) = 60fd98ba6ff303baf9287e7bfb886f12
• ocaml(Complex) = d0dcc1da3c694cf9a7e924c7832d1528
• ocaml(Config_file) = 817559dba49c673d57e7e9daf55a5400
• ocaml(Configwin_keys) = 551eb51c535402feef53bd22738bb68f
• ocaml(Configwin_messages) = 3f65847358af09d0789fb1b514057598
• ocaml(Configwin_types) = 714a8e15572d6aa20ccd3c81835c5b55
• ocaml(Coq) = 0230a5a2c315e338e7139be3ed0b80e0
• ocaml(CoqOps) = 848587669080eb0ef44f38b7c57dd0ee
• ocaml(Coq_commands) = 36ee9b70e1e8cb45921704465888c026
• ocaml(Coq_config) = a0f12cfe14cdbf82208f002e62ac6109
• ocaml(Errors) = 492b1fab2753d750503b1fd551bc31a7
• ocaml(Exninfo) = 7cfd20a2a9389edaa98dadacc7eaef11
• ocaml(Feedback) = 208321e0d1391d4b777fe53df6225211
• ocaml(FileOps) = e4349289f58b79707f29f36d597bc559
• ocaml(Filename) = 3817bec1dad20c6f594d3a85b13020b8
• ocaml(Flags) = 7136212ada32dc23869eedf4dbe613ef
• ocaml(Format) = 61d4350242b30078d3ad96c904c9f7a1
• ocaml(GAction) = add31589a70fd215ff71b0eebea547cf
• ocaml(GBin) = d392c97d5bec3c25a0a0595cd4ede942
• ocaml(GBroken) = 064afc9372b25fab89de2325c2c65c85
• ocaml(GButton) = 61d12940d7bf50a6f4e9a32d6e988205
• ocaml(GContainer) = 007dc2976831386fed24fd00a809d868
• ocaml(GData) = 17ed0a039130c52caacb81a6b37bc0e7
• ocaml(GDraw) = a37c575b4a38e59699e291f508cda0dc
• ocaml(GEdit) = 83d3dd6f59bd288827b698d16c345840
• ocaml(GFile) = 05aea330fa10d6e2d396ea027ddd88a7
• ocaml(GList) = 4909d8cf98f8e8f956ea00479f866185
• ocaml(GMain) = 42b81cecccea7a0483cbf09fa878908d
• ocaml(GMenu) = f84928de391b6315df1d96951b66ccb5
• ocaml(GMisc) = 161d4cd9252bb825ad4e19148eb74495
• ocaml(GObj) = a89ad08268cbe383c4da4a944cbb7a10
• ocaml(GPack) = 4d7c8eb30fd1b476f2da849ea6e7e3c5
• ocaml(GPango) = b2af9fa41f04c5e8699264ffe966ab41
• ocaml(GRange) = ac720facceae90ac0515d574bcde0eb6
• ocaml(GSourceView2) = d318930dd87802b60b168e3350f0be5e
• ocaml(GText) = b2bb75b3dd7a69438000a8efca8109d1
• ocaml(GToolbox) = 944b16782ee4f1102194488520372586
• ocaml(GTree) = b7fdc3fb40bb6da246b376c056f8d85c
• ocaml(GUtil) = 90ef1a67cf23be0062f53eb944606e3f
• ocaml(GWindow) = b78b32ea2d129dae9e2283f813676731
• ocaml(Gaux) = 9c477fcf5182f6d1fecc42a10f3a2c8d
• ocaml(Gc) = b6fd17066fdc1a10189b41093e32d95d
• ocaml(Gdk) = 5ad2f70758e89e637af6798b3b2dc194
• ocaml(GdkEnums) = 2c99eb1898f240797899825c644c4fdc
• ocaml(GdkEvent) = 64b750e11260a79b3df213e0074bc91f
• ocaml(GdkKeysyms) = 711704931c06cf4bbb20f30219497850
• ocaml(GdkPixbuf) = a1b5a3306079f3d871f6c3adeb832eae
• ocaml(Genlex) = b273667d018eaee28be8ef8663aada02
• ocaml(Glib) = 7d098f0053eb79a4a008853a8709ee1c
• ocaml(Gobject) = 8fabf94d216e0676cd10475a3980989c
• ocaml(Gpointer) = 80492fd4ff63211c14de1192a411bdf3
• ocaml(Gtk) = 9a345816482835fb1f0f6c5aa7cdd136
• ocaml(GtkBase) = 340b7676c7ce11a554236c3ddf41125e
• ocaml(GtkBaseProps) = 7b5d95147bd37c2f0b3c42bcda9641f0
• ocaml(GtkButton) = 31f0e2c76ac0a3880310440a14a5205f
• ocaml(GtkButtonProps) = 47bd1f7c7295ff92ce6541e93cdef720
• ocaml(GtkData) = d4f8e1405c274910ee9ed080dfae17b0
• ocaml(GtkEnums) = 8d016d71012765f5a0e06ab7e5527e47
• ocaml(GtkMain) = 4064226a7f73d8c96c3cbc17486e0e58
• ocaml(GtkObject) = c1df190e867f2594045aedb7bbc69196
• ocaml(GtkPack) = b8786d6ab9e2931e9a77a50385ee0e9f
• ocaml(GtkPackProps) = 559f4df91787ab2e5d77661ed6139bbf
• ocaml(GtkSignal) = a4071add636e687225f072fbe4363b56
• ocaml(GtkSourceView2) = 4fac721af0bade93e7cf3e1331fcde3e
• ocaml(GtkSourceView2Props) = 66a6ec35f7d768647e75a965db8f4c86
• ocaml(GtkStock) = 2bf84e80b0f2e25e5f85541bf9cdcd0f
• ocaml(GtkText) = 7b124544bda49b9854242df82b84486f
• ocaml(GtkTextProps) = 06f8ecf00ada06e994affde5577e210a
• ocaml(GtkTree) = ba0479467c1fff8979db267028b42141
• ocaml(GtkTreeProps) = ad928eed95cbf597f5b3f15faf56c9dc
• ocaml(GtkWindow) = 37e6df9a8e1d2bc99ce4f053f6268bd7
• ocaml(Hashcons) = 93eb1e0d2155cb5e7089aa95441d2325
• ocaml(Hashset) = a81683b978c41b71114faac07c58b84b
• ocaml(Hashtbl) = bb8e269d690301a1c4ff14a08e96e83e
• ocaml(Ideutils) = d0d4fbd85d0f463fdbc45fbf62c085bb
• ocaml(Int) = d84ea2cc68f92c774ecdb69fbd33aa72
• ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a
• ocaml(Lazy) = 7dba0bf02f60e5ff44e9e4057263f28d
• ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62
• ocaml(List) = 8988208489274193e4e3f69dc6ec2f75
• ocaml(ListLabels) = f9c893b10648fae8e31ad7bfcd64248f
• ocaml(Loc) = 4e04ac3aaa70862b644e19145393cfc7
• ocaml(Map) = 770e6123e5460eeb42d3050f13c5ad53
• ocaml(Minilib) = e7b8f1a155ce2f29b10bdc4a6f4aa2cc
• ocaml(Obj) = 8b014ec57a472d9f3922b63e5de9d1f2
• ocaml(OgtkSourceView2Props) = 0938d87cfc075fb4b232239e65a5d0e4
• ocaml(Okey) = a4c08ad6f33ba7eb73a14004b94b22ca
• ocaml(Oo) = 0977563fa9c23f2df2952b302bdba835
• ocaml(Option) = 9dbebbc89c6edcc4ae46c159f1274db4
• ocaml(Pango) = 417a7e0d48d089deebc156bb8f548b2f
• ocaml(PangoEnums) = 1fed20f6b5f6241fd404fefb19408241
• ocaml(Pervasives) = 0d015a5a2136659b0de431be7f1545be
• ocaml(Pp) = ef108c5fcc84ef75009f47319600b383
• ocaml(Preferences) = f21956a75d94c368fba96c130d243991
• ocaml(Printexc) = fb616c60404add6295347001c01bfcaa
• ocaml(Printf) = eb49a17645c5ea2dd298430a3c986186
• ocaml(Queue) = 06a89c77a23c672d34cb97e6dfc5f30d
• ocaml(Scanf) = 31f1631ff7e3da78eabf4b08e91d2861
• ocaml(Serialize) = 93094e6cbc5f10b170df4fa485f5e911
• ocaml(Session) = 507579782b3583e59ae112906066f8b8
• ocaml(Set) = 487197ccd2fea64d52f1cd917061caf2
• ocaml(SourceView2Enums) = bf1335026b19bd658c22aa6fba086b33
• ocaml(Spawn) = 7dec56e52e434b57ae49b7b2ed9188b2
• ocaml(Stateid) = 6285e5fb867d9583be67b9f69d9ed2ac
• ocaml(StdLabels) = bde0996731d345de202224fb701f3910
• ocaml(Str) = 98bc31cc4150a0a7e1fa3ceb656e6da5
• ocaml(Stream) = 55948988e71c3ee1749feb21ccec9fc9
• ocaml(String) = 9cb286f2c4569fd32c379b1a05c7b590
• ocaml(StringLabels) = d53c23a5c85990103dbeef11dd5cf4f1
• ocaml(Sys) = 0ce699458ce4430954d7e6a78874647c
• ocaml(Tags) = d99e78559bbfaa4635b32b86c7e12ab7
• ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7
• ocaml(Util) = ad25ab575d6a9982f5689646671e71c1
• ocaml(Wg_Command) = 7917ecdf47a41d4d4154c0b7f5e0bdb4
• ocaml(Wg_Completion) = 85021097f4c62a6eff0f8c8d6f5fe264
• ocaml(Wg_Find) = 969009a9498d80866f1687ff72d4bea8
• ocaml(Wg_MessageView) = b9a7f21f999ab116c50cfbc3e79b52b2
• ocaml(Wg_Notebook) = 967129f7de8518ab68bc25a0335be0f3
• ocaml(Wg_ProofView) = f2b2ed68092292c56c63762481f61f90
• ocaml(Wg_ScriptView) = 1814cd9da409d7088e57f5b94415954f
• ocaml(Wg_Segment) = 9db32c307d7394a132f81794202daa55
• ocaml(Xml_datatype) = c8b4737e8b2c382cff5d0e5ed37ca089
• ocaml(Xml_parser) = 3852d6994cd18a986fb66c415f6358ca
• ocaml(Xml_printer) = 1238a18dbf61d5119f9ccd59b7e9804d
• ocaml(runtime) = 4.02.3
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1