Sophie

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

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 90825cf54ad862d07e9ca3743f084879 > deps

why3-0.84-3.mga5.i586.rpm

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

Dependencies

Provides

• ocaml(CoqCompat) = ac3573860cc3a1350c43f2f8c141fe29
• ocaml(Dimacs) = d0e280dae60c6072e7d10959eaa8b858
• ocaml(G_why3tac) = 53279061028881e42fac5d2bd47846bb
• ocaml(Genequlin) = 23f314f13a628ae49b0299ac6662bf79
• ocaml(Gzip) = 14a38ed1411854dfd6e6f88843e9d3fa
• ocaml(Hypothesis_selection) = 29727ef00ea8a43c90c192629486f5ac
• ocaml(Jessie3) = 49654d1428a1f8b4dfeb68057f04a18f
• ocaml(Tptp) = 227f12d95b0b9e5dbe6921170c71a0c5
• ocaml(Why3) = 5e4150f58ec3c897243e8ac7f7e5e191
• ocaml(Why3tac) = 0337ab4a947ecba18f76411f4aab3bf5
• ocaml(Zip) = 67d7a3787815826cce69b19b74801254
• ocaml(Zlib) = 9714bc624f212e858975f7051fc9c8db
• why3 = 0.84-3.mga5
• why3(x86-32) = 0.84-3.mga5

Requires

• alt-ergo
• coq
• frama-c
• 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.1.3)
• libc.so.6(GLIBC_2.2)
• libc.so.6(GLIBC_2.3)
• libc.so.6(GLIBC_2.3.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
• 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.2)
• libz.so.1
• ocaml(Abstract_interp) = 5b26bf4c73d5e063efb7d9076445cc94
• ocaml(Annotations) = bf76fbf0dc0455f677c59acaef75ab82
• ocaml(Arg) = a7ebc43608a0326f6aa67069897d89e7
• ocaml(Array) = 8a6bb22925744456eb66180ea42e3344
• ocaml(Ast) = e96ba0358b024e7287909e39307be9f2
• ocaml(Base) = 8a997c823cd26ccd9640500450044910
• ocaml(Big_int) = f8c6fb4af713157bb22632e572534639
• ocaml(Bigint) = 7a57107f36548a16bab6f299db0acff9
• ocaml(Buffer) = af3ef6fba94cdb4eba31e98b4e341dab
• ocaml(Cabs) = e2cd2fb75abba2c111a2c55d46633f08
• ocaml(Callback) = 198fb4bcde892143b0866b03cfae8085
• ocaml(CamlinternalLazy) = 8f3f61657b86fd4738ffcd8e2cd074ea
• ocaml(CamlinternalMod) = fe92c198d71ba83b5f80672548734624
• ocaml(Cases) = 7ec7e98aae17c66dbb21b0472ade067e
• ocaml(Cbytecodes) = bf77bbc39c18d0bb11be7756473c9cfb
• ocaml(Cemitcodes) = 5acdb125b87507f79aa1c2522c6cb12f
• ocaml(Char) = 9554e5449c177414a27e7d7ff5ed8013
• ocaml(Cil) = d93d184eb855c4ef51328c43a1155ee6
• ocaml(CilE) = 90604a1e66d921d7d66ef25aa86df07a
• ocaml(Cil_datatype) = ea2895a420902777ba3b82f0897c135a
• ocaml(Cil_printer) = 866cd85497ed9d5894d7a6a0755340db
• ocaml(Cil_types) = 0949d6ed220ee1c87c6f071065b2fc36
• ocaml(Classops) = 2def9baa9f25184ecc85a6083aca5c13
• ocaml(Clenv) = a2670195f1ff5882acb0281c2102ff6a
• ocaml(Closure) = 1092724fe63e0c8d6f50ec614f5e616a
• ocaml(Cmdline) = e966ac186740b1500e88cf9e4193c4a9
• ocaml(Coercion) = ed5a93850aa485f350a3cb833b5145e2
• ocaml(Compat) = 23e1bd1db9328dcf74d43b3d51239bcd
• ocaml(Conv_oracle) = 032f52ddf970f0b98be549dfafbd8835
• ocaml(Cooking) = f173f8a826616e4a23ccb7d0e1e22a1e
• ocaml(Coqlib) = 1e38e799e35986aba9c27df08544b9c8
• ocaml(Cvalue) = 72914dcf4805210c011f400518d67e83
• ocaml(Datatype) = dedab7b86512c8bbc077c4a5d87d6c96
• ocaml(Db) = 3e5f029f0824ad694f43293d49365416
• ocaml(Decl_kinds) = 931f02795a33f1e68bdf4c951daffb5f
• ocaml(Declarations) = 9ffdb965dc11956741f55150407f8ea6
• ocaml(Declaremods) = 9b302d5c48979dbc1505e5aa94cad173
• ocaml(Descr) = 2a6f6d544f73623e67b6e37dfa3d441a
• ocaml(Digest) = 5972f410cf78f5813a94ff7b90804058
• ocaml(Dyn) = c727bbdb5b5a6df2eff617a3d802f985
• ocaml(Dynamic) = 1a6ec5ff8e6ebbda3aeb944261174b7f
• ocaml(Dynlink) = a790c339683512fe47de884e7d1a6dc8
• ocaml(Egrammar) = da73e6b2bfdc5953d64138d56e5452a8
• ocaml(Emitter) = 8b652bd15509b705b927c926b9a28d08
• ocaml(Entries) = d06ad363982bcce9e2ca5c5bbfc14a4f
• ocaml(Environ) = 5cb5588c97f32c31facee4bc424dcd94
• ocaml(Errors) = 73f8bf77d102f4e86d2bae9cf8c58fe7
• ocaml(Escape) = 1e16e2cdb340bcd31793b489674925f9
• ocaml(Esubst) = 8944f4d225ee15f7d34d4324ca7d499d
• ocaml(Evar_refiner) = 1a348c716417bf8419f6296d9c2c805b
• ocaml(Evarutil) = 8697a2abbb45500bd445fe3e9f893c21
• ocaml(Evd) = f7955dd56e84029e031ad1f743e520fc
• ocaml(Extend) = 56c71527a959f31d2da6a2b677d43bfd
• ocaml(FCHashtbl) = f2f8f7419d2b97d3ba18298879419d75
• ocaml(FCMap) = 2e9897982d4d02bd14b588ec66ec3092
• ocaml(FCSet) = eb035767f531aaac52b3a917a7322242
• ocaml(Filename) = 28728bb478e079cce0b0c694de7944d6
• ocaml(Flags) = 03499c4da5e0d1243c04a0e3f1f73923
• ocaml(Format) = e0d18776d4bacff3a198b5c23d0e9355
• ocaml(Fstream) = c543e219872552076fce40bc1fb0832b
• ocaml(Function_Froms) = a17c44d755910984555ff81a57bd9671
• ocaml(Gc) = 292a1cd61d8e068943589882415bdf7d
• ocaml(Genarg) = 7f96c64601635437f15b662020f45d8a
• ocaml(Glob_term) = 6186a1b5311fbe083329abc8fd10eef5
• ocaml(Global) = 302b8a96fbda2ea940228f564897bfe7
• ocaml(Globals) = 05545f8882e493938058a965701cbaec
• ocaml(Goal) = 77084115f9168dd3295411f1dd8b1f55
• ocaml(Goptions) = 41931a00b4ae3902b78e50495fb916e3
• ocaml(Goptionstyp) = a560119c52ba6b37565efa3316534ba9
• ocaml(Gramext) = cf7e3b1943969d3ce87f842d6c556d93
• ocaml(Grammar) = 531500429aead0d1ae23b1c210aa9515
• ocaml(Graph) = ee1106295303d97953506d2dce0a13d3
• ocaml(Gzip) = 14a38ed1411854dfd6e6f88843e9d3fa
• ocaml(Hashtbl) = 024edc3512403b725052aec8e41ed971
• ocaml(Hipattern) = 3d62bed07d11d66f80809b4b493cd471
• ocaml(Hook) = 15f82ab18734cd96d82732c2b33d6524
• ocaml(Hptmap) = b804ee79fe7e9f0d6f5848ca2a1a01ca
• ocaml(Hptset) = 8e47ad72aa94b520ba19822b29ef8227
• ocaml(Indtypes) = 28ec84d65adad500e3ac2928faac5f0b
• ocaml(Inductiveops) = 25f6b94c43641754b5e9dc83b8fccd13
• ocaml(Inout_type) = f47cf0b0b0032c22722cd20c528f4813
• ocaml(Int32) = ad06f04cfca6d404d1de76c3dc67324a
• ocaml(Int64) = 3945db6e8df0d5a79bcbc949ee550d52
• ocaml(Int_Base) = 61abe15231e694cf1c37ee0c3cd67d6c
• ocaml(Integer) = 7ef5d545e8690ad23e26adb3c3da244e
• ocaml(Ival) = e38fca647831583b42d5a4af42ef4c3f
• ocaml(Kernel_function) = 16949a1370b72322cb1b792beadcf000
• ocaml(Lattice_Interval_Set) = a01c9e91f1ef061467e705a7cf844a7e
• ocaml(Lattice_type) = 4bc58167a941456d6800c1b5e93a2742
• ocaml(Lazy) = 12a7b23bd30e5e207ddae39c8e41a1d2
• ocaml(Lexing) = 50598ab7c92b4bdcc624e472342ac8a9
• ocaml(Lib) = b8fc11443f20dba673f88c0e04e6c2ac
• ocaml(Libnames) = 2a33241b910b9aa7bf6797ea99a4652c
• ocaml(Libobject) = 997301cc7ef863167a6e17d617d60ab8
• ocaml(List) = d757117653d9319fefb7ddc78a998f41
• ocaml(Lmap_bitwise) = 3c2af9dd70efef776d75fe8ed2cc1fba
• ocaml(Lmap_sig) = 7db9dcdc29ab4cd9fa8826bc1962a4cf
• ocaml(Locations) = e209d9b0bfd36f6207a05dfea6b12cc4
• ocaml(Log) = d272e9a1809d90af3414b75e0daaa2a7
• ocaml(Logic) = c7f22397eb215fb111f08a19ea731067
• ocaml(Logic_const) = 1b6bb696322bd1c28ac937d86c176268
• ocaml(Logic_ptree) = c2a45950abd7af84c18587976e04fd54
• ocaml(MLast) = 24c6d55a8331d0df33f2380064bf445c
• ocaml(Map) = f11d7ddcffad09397202a49bd9bb4283
• ocaml(Mod_subst) = d4324edea2f37e0017e8c2977f7b58ce
• ocaml(Namegen) = 5d882cd3314241bc22fd22d2b77a3e7c
• ocaml(Names) = 3c4a96512292503d87e888ffaf1fcc1a
• ocaml(Nametab) = 8fd27356458a08c69001de7c2d8eadfa
• ocaml(Nat) = ac011c9fbe199b586b98e7c9887f9e24
• ocaml(Nativeint) = 11ff26db80a400d29d2755edd23b5d0f
• ocaml(Notation) = e3f156d29519dc635fad228166d343cd
• ocaml(Num) = a55d7a4dde9dd12b458f9a55320c6e4d
• ocaml(Obj) = b0adfa4175f86e4394859886c1a374bb
• ocaml(Offsetmap_lattice_with_isotropy) = 716d3923e0d18b960a402e6e9d1ed8c0
• ocaml(Offsetmap_sig) = d952a940bb23aef168b79260ff8a56ed
• ocaml(Option) = 73dcb985fccdd819d1488a7bf7db6d38
• ocaml(Origin) = b76950847f0cbab0d7697518c26ceea5
• ocaml(Parameter_sig) = 68641a47bae286071918bbc43f80df0a
• ocaml(Parsing) = ce3ca1121d80c4219ee78b6df5ddba03
• ocaml(Pattern) = ac69bfbd7152ca259aabae1a916fba10
• ocaml(Pcoq) = e4419087d78ae9e045d28a33896628eb
• ocaml(PdgIndex) = 686b7cf68f6b41cf4892162f3412cf66
• ocaml(PdgMarks) = ac5e588893f534c2960200a2d0619b54
• ocaml(PdgTypes) = 60f79d2c4787f8a3f052e716ee6b0c3f
• ocaml(Pervasives) = 36b5bc8227dc9914c6d9fd9bdcfadb45
• ocaml(Plexing) = ee19e71c3c16441fa58fbabced0b343e
• ocaml(Ploc) = 1b22f1c6b40aa9da82d12051b7bb0ba4
• ocaml(Plugin) = 178eaee25c08a1f2c59faf0178185c83
• ocaml(Pp) = c461770a31a6d33dbe8d41f8f2bed9ad
• ocaml(Pp_control) = 9f41f09ceabe5a44e79111c71afa46b4
• ocaml(Ppextend) = 77d069a00221482d4ef56c0f4e94c503
• ocaml(Pptactic) = 2d7f551067acf0afacfcf1f792f05f5d
• ocaml(Pre_env) = e1b4d14ceda041286f04026456146a41
• ocaml(Predicate) = 067d875691e9b47446542d29e90d7e75
• ocaml(Pretty_utils) = 6961442d75da0c24ee3e51dd7a6cb6c6
• ocaml(Pretyping) = dbbdff8aafc16ab806e0e50c9bcacd3d
• ocaml(Printer_api) = feed98a6bbeabe64decc4aee7e1cb831
• ocaml(Printexc) = d81cbca604b811d25138fa79499fe071
• ocaml(Printf) = d012329cc712e91d0f10a5eef2303d18
• ocaml(Project) = 30f74b9202b5f84b78deacee909a4113
• ocaml(Project_skeleton) = d8a567c55fd0c1d841faa7f26287b347
• ocaml(Proof_type) = 822e48627e2886c3cfcaeac989776f41
• ocaml(Property) = 58f71ffb439986fb4fe2fc4642244709
• ocaml(Property_status) = fa517133ec53b95a501375c9493f1f02
• ocaml(Queue) = 2dece812a038a26a3231548f436037b6
• ocaml(Random) = c0e31e32b9c6077d34a1cd60765df6a2
• ocaml(Ratio) = 4a3c42327fa7e731ee4426f28df82974
• ocaml(Redexpr) = 3dee17ebe1433322a5792940c32c3be4
• ocaml(Reduction) = adf442f42e360492a28003bfe5100db0
• ocaml(Reductionops) = 4fae1132a63269e7e80b928cad9f990b
• ocaml(Refiner) = c6af2852f004736681f0fd15073e269d
• ocaml(Retroknowledge) = 3eb5f499b592402ffde890550f9385b8
• ocaml(Rtree) = ef59f55f21c020abd22deeb6375189a7
• ocaml(Safe_typing) = de5ce96e42e8ea6401ff2394e0c25fc1
• ocaml(Scanf) = 32f4f4bcda9cec7e02ee159052050f07
• ocaml(Set) = be044b48f40a48f0eb210225f11e0118
• ocaml(Sign) = 298be6e695aed1179bb935cfa255cbad
• ocaml(SlicingInternals) = 41497f9285a056af37f426d0bdc28204
• ocaml(SlicingTypes) = 734e3e346abf2fcc8dfc9f06c826ae9b
• ocaml(Stack) = 22ee969c15348e719d399f27dc29695b
• ocaml(State) = 13fae5e81c7648b4bf2d8ff7aed820ef
• ocaml(State_builder) = ce6f86b5392e8cc3c88e9ebd0b0f150d
• ocaml(State_selection) = 4733cc0ce53714d12b357e388f9fac7b
• ocaml(Store) = faf6adf18c0b1a374636d62df59a4378
• ocaml(Str) = fb3d050844d298243e3f50be7c8a4bcc
• ocaml(Stream) = 932d0bd7bd881dd54cdaabdd1ca8062b
• ocaml(String) = db7f34081ef8fcaf499f19523d0736c6
• ocaml(Structural_descr) = 40b1a1f0b84c7b056a5915b1e03c56ca
• ocaml(Summary) = b9ffd1f457672c874849c9fc5a8da54a
• ocaml(Sys) = 5acfec22153eb1403597926ecd15f4f5
• ocaml(Tacexpr) = 6540f5ad359d217a0c58a491935ab978
• ocaml(Tacinterp) = 324e9a2f445c2ff22f0725db0ce31a25
• ocaml(Tacmach) = 99e37e7354e37bc35d524536bb7aa96e
• ocaml(Tactic_debug) = 09230c918bb01e76125e06b1b7674f6c
• ocaml(Tacticals) = 0b410b12d7f526034b3669adf5ae9ccd
• ocaml(Tactics) = 1282eac94b4f366bc051564aaab630f1
• ocaml(Term) = 388eafcfb9c030524a93a10f6b2072aa
• ocaml(Termops) = 1656c0a176fd52430a18c7eb2b4fcf26
• ocaml(Tok) = 4f9ba5f6b53d224933410cd5b683e00d
• ocaml(Topconstr) = 2d840a23ca5523e2f4a32c2bc1875cf6
• ocaml(Type) = 0b89f86e5945532d6741d6c7a69686e0
• ocaml(Typed_parameter) = 1cab012d1ec2994aaf083e7b210f5092
• ocaml(Typeops) = 69326e35515fe1a576e54c9df684de7d
• ocaml(Typing) = 25837135d5e3a19d6fc6fa83ddee0d93
• ocaml(Unification) = 2bec96b21a2de4fa0432270e9df2d500
• ocaml(Univ) = 2d54253e157645882042651497b8c390
• ocaml(Unix) = 93736a394d3d85d6d127fe238ddc6092
• ocaml(Unmarshal) = 82840cc2403733010c599ded478437cc
• ocaml(Util) = 1f66751f9cfd05754962cb17a5eb8b19
• ocaml(Value_types) = 245c50ba065aed3bdc124d35e095edcc
• ocaml(Vernacexpr) = 105fdecd4f550c079d8a81654ca52c39
• ocaml(Weak) = e86b819661351c07c5122e164ffd29ea
• ocaml(Why3) = 5e4150f58ec3c897243e8ac7f7e5e191
• ocaml(runtime) = 4.01.0
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1
• vim-minimal