Sophie

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

distrib > Fedora > 15 > i386 > by-pkgid > 86327c7b81feff3ea9a7875e6e4c665e > deps

coq-coqide-8.3pl2-1.fc15.i686.rpm

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

Dependencies

Provides

• mimehandler(application/x-coq)
• ocaml(Command_windows) = d12a2478e49d920625e7f933941a974d
• ocaml(Config_file) = 8c1ab93aa186df871ddb3f5809f7ea1f
• ocaml(Config_lexer) = c77e7f6e47f9d80c7c730286c4ac5453
• ocaml(Config_parser) = f3055f1162fa5568542c82d6566cd1d7
• ocaml(Configwin) = bdca1d72846a8f6f97f097fe71caf955
• ocaml(Configwin_ihm) = fb619a7534966ffd39e251a5e4a74746
• ocaml(Configwin_keys) = ad9b9a6ec089d7275bb572d88037b1c1
• ocaml(Configwin_messages) = f5b64ecfa45a7f67fd05a08bb991f2be
• ocaml(Configwin_types) = 4a649fe3c033cd07fd080668b54ec549
• ocaml(Coq) = f8e74c75bed3ac794027bf635a8902cb
• ocaml(Coq_commands) = fd1d6de73317d880f78ac8715a27b81a
• ocaml(Coq_lex) = 66bf24b213a8db43a6296093077f3cf3
• ocaml(Coq_tactics) = 1c83b3a9569e548720c49adf5896c470
• ocaml(Coqide) = 8d745e801ad854b4b5a8cc1c65507793
• ocaml(Editable_cells) = 2453c3fda9b7daaf8baff602a8f29c90
• ocaml(Gtk_parsing) = 0719849f70a2eb80a0f8986618809071
• ocaml(Ideutils) = 5414dfa281dbc546222e8369823c5a3b
• ocaml(Okey) = 640191b0eab73fbb78c135b8cf106691
• ocaml(Preferences) = 9d1484587816a285aa89058bac2b391a
• ocaml(Tags) = 755c9160566fec1885df1ac2a806fd76
• ocaml(Typed_notebook) = 6d3c63d5d1e83613433f8b3ead10f155
• ocaml(Undo) = 60f509cb0efdcfb9712b2b10a37f4653
• ocaml(Utf8_convert) = 3362c5d0d2b42c45dafe5b4fd8ef6490
• coq-coqide = 8.3pl2-1.fc15
• coq-coqide(x86-32) = 8.3pl2-1.fc15

Requires

• coq = 8.3pl2-1.fc15
• 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.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
• libgmodule-2.0.so.0
• libgobject-2.0.so.0
• libgthread-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
• libpng12.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)
• librt.so.1
• ocaml(Arg) = 877340141c0babb58b3aaef2f5b70fc9
• ocaml(Array) = 720848e0b508273805ef38d884a57618
• ocaml(Bigarray) = 7999848d08322c0bcb568840b1d2cf0d
• ocaml(Bigint) = a5fc4be04fd0ecb0f6ed15d8aafc4e1c
• ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4
• ocaml(Callback) = e28543018d3991d2a7e9e4233bc16727
• ocaml(CamlinternalLazy) = 227fb38c6dfc5c0f1b050ee46651eebe
• ocaml(CamlinternalOO) = 9cf8941f15489d84ebd11297f6b92182
• ocaml(Cbytecodes) = c54b34663f061c25032c8f4f4c945863
• ocaml(Cemitcodes) = b6fa9153a9a3dafa42c7cccf5ff66d02
• ocaml(Cerrors) = 34a3233d7c187061bc9914af788a4ece
• ocaml(Char) = 3dee29b414dd26a1cfca3bbdf20e7dfc
• ocaml(Classops) = 369c3446b6291f7249eef8df30c8331a
• ocaml(Closure) = 1d59b1888740cbb7ae43679d85a0e065
• ocaml(Compat) = d7503031e2d20b5f766ac706c395b783
• ocaml(Complex) = 9aea79838f042027ab9539d587834bc8
• ocaml(Config_file) = 8c1ab93aa186df871ddb3f5809f7ea1f
• ocaml(Config_parser) = f3055f1162fa5568542c82d6566cd1d7
• ocaml(Configwin_keys) = ad9b9a6ec089d7275bb572d88037b1c1
• ocaml(Configwin_messages) = f5b64ecfa45a7f67fd05a08bb991f2be
• ocaml(Configwin_types) = 4a649fe3c033cd07fd080668b54ec549
• ocaml(Conv_oracle) = c80baf87b36b314763ffae6a1b654bcb
• ocaml(Cooking) = a0aa711b2c77c9ef07f4dc359ad8fed9
• ocaml(Coq_config) = d747d11dbe771d8bc6247d9f9198d7c4
• ocaml(Coqlib) = 207dddc31e4d7c59ef2ae4dac78a650f
• ocaml(Coqtop) = 2e0e722b8a9e3c20d35dc3e32803bac9
• ocaml(Decl_expr) = dfda3d509f1f3b8d890bdd16cd23d466
• ocaml(Decl_kinds) = 96712336ea86ab2d6478174b7dbbd7aa
• ocaml(Decl_mode) = f7d1140758f993b9c30705846cd0e010
• ocaml(Declarations) = 9b6e9960c4e7857ac9821c0bcc01856d
• ocaml(Digest) = 84cddf85614815250d98d54ec13705b1
• ocaml(Dyn) = 57a60f030b39bf0e026afe272276ab77
• ocaml(Entries) = 5d975e4bcb29d53fe20076a926be8962
• ocaml(Envars) = 82f895c6aa5225413ada8e33aed58648
• ocaml(Environ) = a45caa1f11770cdcb1a4221ed6bb8ff6
• ocaml(Esubst) = 771af4025054928bb35d9ef08e52f4e3
• ocaml(Evarutil) = 73430ad1d8fddb32969aa7dd23a833fd
• ocaml(Evd) = 6fbac8732b8d9976a620218631f48a54
• ocaml(Extend) = 915c788d92f729998081e3e6e6e4ef0f
• ocaml(Filename) = bc87b0a21cde095f477cca1f0abb32b8
• ocaml(Flags) = 24caa56fb61169846604b56a994c62b1
• ocaml(Format) = e0de312c23ff9caec6c5bfa1f44a43b4
• ocaml(Fstream) = 0638542c744443f2b176b95a5b211df9
• ocaml(GBin) = e99b37306f76d1ceea3c39aba9d457ca
• ocaml(GBroken) = db19762ffe438d58c33747d36d8983c4
• ocaml(GButton) = 97ad47f4320e49074cf8bc45305e1e53
• ocaml(GContainer) = 8d5a790080ff468050a55b191df2651d
• ocaml(GData) = 45b783e7a3c5e6f2cf498f5bd2d4c0f8
• ocaml(GDraw) = 98c42d84a8e51653007acb9fc812c5e4
• ocaml(GEdit) = 19e02eb8d58960097f53d4a0663f9be4
• ocaml(GFile) = 88b7584bed14ec643e33afe4ad9845a0
• ocaml(GList) = 9e50fa5765b543503b5fa94c8944ce95
• ocaml(GMain) = e528f5b206fdb899c79821e2183480d5
• ocaml(GMenu) = df68ebea5d58085c3de46d5472c494a0
• ocaml(GMisc) = fc78431e0214b7fb48a328cb5dcfd3f8
• ocaml(GObj) = ea4f2bf03b3cc010442065020738f26f
• ocaml(GPack) = 4c5fea7a104450f81db5e0f135d6f92f
• ocaml(GPango) = 427fc1f4200e5e1307908b9317d0bcf2
• ocaml(GRange) = e706b1a15af06abd85c187b7e7ef7e73
• ocaml(GText) = 788dca86d93ded57b42d917bdb27e76c
• ocaml(GToolbox) = 8d2c2d69db4efb3ec33c95b2b14c7a12
• ocaml(GTree) = 3a4be6d14cb3a804c2f38817ad35181d
• ocaml(GWindow) = 8d76e812e47bee5dce8bbdbf61a2d3fb
• ocaml(Gaux) = 04762183969e1683729340648b1f9fe6
• ocaml(Gc) = 6ccad0e9482dcedd96d1d7364013fbac
• ocaml(Gdk) = 59caeee30c1d6bdb12b0ce5bf03118d1
• ocaml(GdkEnums) = 70ad074db0644bf10588e8c34a1b5625
• ocaml(GdkEvent) = e4b8521b9a48d576e12b4134bba11ce8
• ocaml(GdkKeysyms) = c1374d91d7e967c95fd0ce53abcb3d10
• ocaml(GdkPixbuf) = ddc1e74b519ecdfe8fa2872f8034b32b
• ocaml(Genarg) = 9aa30ea43ac0035c189c6eb4beab0312
• ocaml(Genlex) = 87c2247955057dd6f4b2f06f6e5e5389
• ocaml(Glib) = f56ca2b21a810156fc5f581555b8bfda
• ocaml(Global) = 05b8ab128040295056a06faec203cb8f
• ocaml(Gmap) = f152a391a85c939f97428e6aacc5fa0e
• ocaml(Gobject) = acbeeb6d76e2fc1f756c364840661748
• ocaml(Goptions) = c09c6cc93205d063f2bdd18ac9cccd4b
• ocaml(Gpointer) = ce10916e5dd0d785d6bd7a88c55aadfa
• ocaml(Gramext) = 5dd2e0bee1e8f1d4eae3e3c00e14cf54
• ocaml(Grammar) = 62a81e78d8838c0f1b51aa279da1a82c
• ocaml(Gtk) = 432c93a47db000e1ed95278dd4683da6
• ocaml(GtkBase) = f55b95a8c913f3778bb2d11107fb76d6
• ocaml(GtkBaseProps) = a390a19536bd16796ce682222ff6b617
• ocaml(GtkData) = ed8d836240555086d0cf60e0ed0cf922
• ocaml(GtkEnums) = ae7b2c2a83853d2def52ca9abb2076a4
• ocaml(GtkMain) = 2d9fd1d005eb0b787ac3ff55a7e783cf
• ocaml(GtkObject) = 8c44c1096e24211efc0b9c4428d07e4b
• ocaml(GtkPack) = aead410d035212b1e97d53b130e35aca
• ocaml(GtkPackProps) = d7d9dd21ecb8e5d56e765905a41be53d
• ocaml(GtkSignal) = f3a43d7fa2d200cb558a9448faafe08c
• ocaml(GtkStock) = 43640c4aed32799b0ac32e8785a63cbc
• ocaml(GtkText) = 49fdb3fa0e256770e7515821497ddbf7
• ocaml(GtkTextProps) = 42bfcbb039a9d86f50052425cfbd5ccb
• ocaml(GtkThread) = c48e24be2322c4077f5b1d5721ac179c
• ocaml(GtkTree) = b685223f5c65e209056ebae79660ee6a
• ocaml(GtkTreeProps) = d7c4a65fe6ca7cd6082feee5dea49e2c
• ocaml(Hashtbl) = 9c86f7320512d6740a75017fd66156a8
• ocaml(Hipattern) = 99e3e941968ed6014a1d4f65896adbf4
• ocaml(Ideutils) = 5414dfa281dbc546222e8369823c5a3b
• ocaml(Indtypes) = d50e0d54df78f78fdc7db40e1ac9cdbf
• ocaml(Int32) = c91c0bbb9f7670b10cdc0f2dcc57c5f9
• ocaml(Lazy) = aaa46201460de222b812caf2f6636244
• ocaml(Lexing) = 7d5623c54d065ad3f652261d2776959c
• ocaml(Lib) = 8ab5dc0b1ba10c13dd3fef3512953ce9
• ocaml(Libnames) = 940ebd6de65cc79d90d8d89d3a6ce3b6
• ocaml(Libobject) = 606bd8ad5949dfa65a16b6e768e59465
• ocaml(Library) = 22177fcc873866c027dda88129a9cd3c
• ocaml(List) = 9c85fb419d52a8fd876c84784374e0cf
• ocaml(Map) = 971a915c5d6e79ba8c5a551e0767f582
• ocaml(Mltop) = 9482367c843ec6d522e47015b15502b3
• ocaml(Mod_subst) = d35838d18b6b4489abd3d107a297ac5e
• ocaml(Mutex) = b642fbe1f228da2b6f57972b5e7048af
• ocaml(Namegen) = 0903aa6d27a70b80bcb3cb397383b2e8
• ocaml(Names) = a519db1ad3ac0dedf625bea9837003a4
• ocaml(Nametab) = 4a8af666c69487590218d165f7c95a30
• ocaml(Notation) = eecb4e5de54e7837babd26f5a0c9d721
• ocaml(Obj) = 3aeb33d11433c95bb62053c65665eb76
• ocaml(Okey) = 640191b0eab73fbb78c135b8cf106691
• ocaml(Oo) = 40a7eae2daf9ea7d03c4ed77f04821ec
• ocaml(Option) = 0442e3e5203037a3eff12e730264ce9a
• ocaml(Pango) = 3ab92ee82d8f09439813eb612c20e98f
• ocaml(PangoEnums) = fcfc7f5fb6e3da02d9ac99231e43f39b
• ocaml(Parsing) = 59e1db94d28f5c920aaddc6ba25fb659
• ocaml(Pattern) = a6ac6fa48a1ea8989c10dd688dfb5e42
• ocaml(Pcoq) = 36c2b343d679594c95d4a67b4618a32c
• ocaml(Pervasives) = db723a1798b122e08919a2bfed062514
• ocaml(Pfedit) = 0953d5403a450365bed8e66852e0e3a5
• ocaml(Plexing) = af03d74fdd25c7f5adef6fedca18c3f1
• ocaml(Ploc) = cd274e73bdce9a1bfc71cc5c19c0bf9c
• ocaml(Pp) = 25f853c186a203ba8122b07ca95589d0
• ocaml(Pp_control) = 2db949c3c257a229f962ec5758c4cdf8
• ocaml(Ppextend) = b8787e38cf274eb84babf5dcd4b48190
• ocaml(Pre_env) = a3022b845d28538bd52f334befd99e8b
• ocaml(Predicate) = 8b32cea1eab0d46cee1d01cc765ff771
• ocaml(Printer) = 20388ba5cb8c4a0278b4ddcfe5cbdeb5
• ocaml(Printexc) = 07d69b04736fea2950e1b7819154d3f0
• ocaml(Printf) = 55250c391e05a095d3696890d0d554a2
• ocaml(Proof_trees) = ee8d73894bd1bf40df829ce3f48e0a4a
• ocaml(Proof_type) = c0340a3be06dbcf9d37b14435fe2327a
• ocaml(Queue) = 79fd3a55345b718296e878c0e7bed10e
• ocaml(Rawterm) = 1b21fb46a9b92b9446773fc2f5dc7a15
• ocaml(Redexpr) = 38c4253305a6259c2839e023a19ec239
• ocaml(Reduction) = 3f47bae2fe1d5d8d80a01c5f5646b18a
• ocaml(Reductionops) = fbc2136b02b392ec232d6dbf39ca9203
• ocaml(Refiner) = 1b1c7e99281090f4e20946ec2f42d0da
• ocaml(Retroknowledge) = 74ab3e6ad7ea1dee3580e62a32e88324
• ocaml(Rtree) = 96b5d741b7db5ecc0067f79ce23e8195
• ocaml(Safe_typing) = 4c6fa3ce5c57ce06baed83ed146cb09a
• ocaml(Scanf) = d7b5d0c4bd7ca9e180f113cbb292e7f2
• ocaml(Set) = 7b178c9cf52b5cb8145441e1a0d309f5
• ocaml(Sign) = 53514d0cbc50f31c15143cc9580b8428
• ocaml(Stack) = e34f7b4a9b277777b6383211fee496d4
• ocaml(StdLabels) = ce0b0e6776575f599500d72c4d9af39f
• ocaml(Stdpp) = 4a9363c5c3c814dba55fb29c668cff31
• ocaml(Str) = bfd6d3188b490361a4d741d3396a7aa0
• ocaml(Stream) = cc2abcbdc5423e35862902ae0a0a4a7d
• ocaml(String) = 06ab5e6944c47322b9d305c0aa0b07ff
• ocaml(Summary) = 8564a3500e9cd12c1132cf68df14d999
• ocaml(Sys) = 4fe60c54d4de0672924c1d4ee2053e46
• ocaml(System) = 2387b2b8b5e4a46dc672d793922a1675
• ocaml(Tacexpr) = 53a4e6b6205e58eae44bc25b3dfc7850
• ocaml(Tacmach) = 483a44cccf57b25e733d7afe2810618b
• ocaml(Term) = 4ab47137eedd146fbdd7fa73157b2c9b
• ocaml(Termops) = 3053b4cfd4c7f75f7e860c4c4c7c2bc5
• ocaml(Thread) = 788e4e5ca982ef68cecd80643c32cb26
• ocaml(Token) = 1148e70ee439dfccb0930823a9dfa2ed
• ocaml(Topconstr) = 6bff66a04ea5c30f50f4e539e55871ee
• ocaml(Typeclasses) = 2590abbac493936f90e3b413fb9c9ec7
• ocaml(Typeops) = fcabf568de7167503c89b2f810789dc2
• ocaml(Univ) = 2d2b9f5b7a2c0a2758eea57b59d54008
• ocaml(Unix) = 2a19929a535447ed0c8fc58ae3adc1a0
• ocaml(Util) = 3fff17cfba1c46a9ee0500b731b2d418
• ocaml(Vernac) = eaee44e17c8583e15e0bc72602ee7366
• ocaml(Vernacentries) = 8fcec3aa5cf125edd4ce1920197f02ab
• ocaml(Vernacexpr) = 1bd9b9b2917788443c78d4e98f203d85
• ocaml(Vernacinterp) = 24ec988b1f9850e1fb439e8aa7840979
• ocaml(runtime) = 3.12.0
• 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