Dependencies
Provides
- alt-ergo = 2.2.0-10.mga8
- alt-ergo(x86-64) = 2.2.0-10.mga8
- ocaml(AltErgoLib) = 4266f2bd41786a07f06326f98a5f0514
- ocamlx(AltErgoLib) = f00a93b54c325d723c7613f6274d61a4
Requires
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.10)(64bit)
- libc.so.6(GLIBC_2.11)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.15)(64bit)
- libc.so.6(GLIBC_2.16)(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.28)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libc.so.6(GLIBC_2.9)(64bit)
- libdl.so.2()(64bit)
- libdl.so.2(GLIBC_2.2.5)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.27)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libz.so.1()(64bit)
- 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) = 86f26e9405bfebf07d145852db71a09d
- ocaml(Zip) = 82a41225fe0caa7fb1c9b3de8060552b
- ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea
- ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b
- ocamlx(CamlinternalMod) = c7b4d54e7a5caa93feb83a5618f624fb
- ocamlx(Dynlink) = 43529bf577c1d9d79bf83fb32f16ffd6
- ocamlx(Num) = 3e2323ba0d093f566fcb0bbbf83979d4
- ocamlx(OcplibSimplex) = f94462a040ee477df7c2f74ca904ac06
- ocamlx(Psmt2Frontend) = 31e548065a25ca56d25f83dfe8397db7
- ocamlx(Q) = 380b5463b42b179fdf69ecc79b86bd14
- ocamlx(Ratio) = a3cf53f9c1fe8da8e210fd8b237a0b14
- ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc
- ocamlx(Stdlib__arg) = cb1eaa0d37316e516697f64cadc75f5f
- ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12
- ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa
- ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692
- ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406
- ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f
- ocamlx(Stdlib__gc) = 88ea814453410dc94978809800d4f5da
- ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e
- ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563
- ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb
- ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20
- ocamlx(Stdlib__map) = 3ed208b888965290b89d720efaf17612
- ocamlx(Stdlib__parsing) = 6cc6af62ef0c74e718bcf92be05fd292
- ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec
- ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17
- ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4
- ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367
- ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313
- ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e
- ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317
- ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2
- ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f
- ocamlx(Str) = b2619808edfd808b4097e5ec36277e82
- ocamlx(Unix) = ba030e73c9a8a296035219290541184c
- ocamlx(Z) = ec555c299aae5c588dd65306beb24133
- ocamlx(Zip) = 8b31b4ad3d079f4dc52a5450d5228426
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1