Sophie

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

distrib > Mageia > 8 > armv7hl > by-pkgid > befb85c7c2129b92b1043d99abb43a49 > deps

alt-ergo-2.2.0-10.mga8.armv7hl.rpm

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

Dependencies

Provides

• alt-ergo = 2.2.0-10.mga8
• alt-ergo(armv7hl-32) = 2.2.0-10.mga8
• ocaml(AltErgoLib) = e80fdfafdef644a4ce5a1fb4fbf25e23
• ocamlx(AltErgoLib) = b3c082184d128cb7f3f6384f0ae7f99c

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libc.so.6
• libc.so.6(GLIBC_2.10)
• libc.so.6(GLIBC_2.11)
• libc.so.6(GLIBC_2.15)
• libc.so.6(GLIBC_2.16)
• libc.so.6(GLIBC_2.17)
• libc.so.6(GLIBC_2.28)
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_2.7)
• libc.so.6(GLIBC_2.9)
• libdl.so.2
• libdl.so.2(GLIBC_2.4)
• libgmp.so.10
• libm.so.6
• libm.so.6(GLIBC_2.27)
• libm.so.6(GLIBC_2.29)
• libm.so.6(GLIBC_2.4)
• libz.so.1
• ocaml(Big_int) = 51989d0957c8c35ee5a7f938ed839058
• ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
• ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4
• ocaml(CamlinternalMod) = af94199ed44285f84e5dc816919fab44
• ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed
• ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a
• ocaml(Num) = 0cc9a7e5ce0180429a4bb6c270582075
• ocaml(OcplibSimplex) = b7f8e56e5264e8884911e3af130cdf14
• ocaml(Psmt2Frontend) = e2a3a14458ad2fa2407f4562e3f5a823
• ocaml(Q) = 3cadae05bfd63c15c868c18e8ffd5eb7
• ocaml(Ratio) = f186d6a275fe6fd5dba0e755b9000e9f
• ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
• ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d
• ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024
• ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b
• ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
• ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b
• ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645
• ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2
• ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018
• ocaml(Stdlib__gc) = 7fd146e11f52aa63b80f74c58258be74
• ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8
• ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf
• ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4
• ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc
• ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5
• ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a
• ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1
• ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6
• ocaml(Stdlib__parsing) = 0f8a2f81be75a9e86f670a6fef3a7f30
• ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f
• ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f
• ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af
• ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a
• ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a
• ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
• ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf
• ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e
• ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4
• ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
• ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc
• ocaml(Str) = c5bcee777d07f9d2f20c78da78387372
• ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b
• ocaml(Z) = 962ff276ad9120d412fcf96664054cbf
• ocaml(Zip) = 82a41225fe0caa7fb1c9b3de8060552b
• ocamlx(Big_int) = 3a8fe14a8e24036a740da8625d2c449b
• ocamlx(CamlinternalLazy) = 946eb64c584899036ef19d514a9b471c
• ocamlx(CamlinternalMod) = 3f713754bdbf0c9477cc1ab313d223f7
• ocamlx(Dynlink) = f09c46b7a8cc96f959514166e9fe0ee0
• ocamlx(Num) = e40ad8dbf9f2a496c4d87cdf24dda429
• ocamlx(OcplibSimplex) = 9f4eac7bc803d73dcbc4888e45b2b821
• ocamlx(Psmt2Frontend) = 50a3a6e4cdb1645fcffa19f6bbade6f3
• ocamlx(Q) = 2a07aa905806a24b7c30f39549d900f0
• ocamlx(Ratio) = 062ac51cb8b6ead456a380e8dc437575
• ocamlx(Stdlib) = 49251ee46c5a6af8953e9d71cb963d6a
• ocamlx(Stdlib__arg) = b8e2ed3c861be151695250d4b9f43133
• ocamlx(Stdlib__array) = dfba586472772bd33031b4598e08eced
• ocamlx(Stdlib__buffer) = 63b8d4183fd4165a329dd7152f613615
• ocamlx(Stdlib__char) = 1b3c8be86e0a3b15fe7dfdc962fca12e
• ocamlx(Stdlib__filename) = 0f0a351998222e6c5bd2c9ad98fd7ad0
• ocamlx(Stdlib__format) = 759600189995a86351afd2ec1f3d2628
• ocamlx(Stdlib__gc) = 8df13de436070048f43a248773e26a34
• ocamlx(Stdlib__hashtbl) = abf8331aef44e03a06cc351386eee370
• ocamlx(Stdlib__int64) = bffb6dd06bb4488a0bf32259042188eb
• ocamlx(Stdlib__lexing) = 2044ceadae14e4a33fe77603f52123f9
• ocamlx(Stdlib__list) = 9fa7b040539187d612a64f25d4ab4763
• ocamlx(Stdlib__map) = 957fb8a56079cf9657fc8fbe9d167632
• ocamlx(Stdlib__parsing) = 80e3a896a4c197ece00a33e0897b65e2
• ocamlx(Stdlib__pervasives) = 40c071c971971a836330e6c2abbc8976
• ocamlx(Stdlib__printexc) = ec89d918a2b39a7225b9a8ee82a63a75
• ocamlx(Stdlib__printf) = 7e37a4b7747b4eba2b60a05bf1ee4ea8
• ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367
• ocamlx(Stdlib__scanf) = 76ebd840aa5bb6360c837b51d62e27fc
• ocamlx(Stdlib__set) = d999a2ba08e94a4d4606ec6b4aa73026
• ocamlx(Stdlib__string) = 32aa8a186c78e4246742332bafa1c9ce
• ocamlx(Stdlib__sys) = 0ea07bab2c4f02d465591294ae2294d9
• ocamlx(Stdlib__weak) = 77170a802c04182d432ecb09f59c0910
• ocamlx(Str) = cdedb73161b646c935922cc648e03bfc
• ocamlx(Unix) = 66180f7f6b513548d7b7e71c660817f7
• ocamlx(Z) = 5102056044e5793858df7bd35f23de54
• ocamlx(Zip) = 9cce650e092a6cbb36aefe5aa590e846
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1