Dependencies
Provides
- alt-ergo = 2.2.0-18.mga9
- alt-ergo(x86-64) = 2.2.0-18.mga9
- ocaml(AltErgoLib) = 5733cd8048fc2a97652a529698423825
- ocamlx(AltErgoLib) = 4b1b17960210b30e680bb1c3a49f18d1
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.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libc.so.6(GLIBC_2.9)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libm.so.6(GLIBC_2.35)(64bit)
- libz.so.1()(64bit)
- ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37
- ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
- ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
- ocaml(CamlinternalMod) = 2004005091bc8a61fe26ab15e0fb28e4
- ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456
- ocaml(Nat) = cf53074211ea56c636ac753b3faa2286
- ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14
- ocaml(OcplibSimplex) = db5a3500202b85aa9cc59c664092f504
- ocaml(Psmt2Frontend) = b89887b4d16b8f927b0671dc84cbc42e
- ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b
- ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b
- ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
- ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f
- ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
- ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
- ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
- ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee
- ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
- ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
- ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf
- ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
- ocaml(Stdlib__Gc) = e7738124ad6d36c0c54edaac81a3c207
- ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
- ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
- ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
- ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
- ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
- ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
- ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
- ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
- ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251
- ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f
- ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
- ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8
- ocaml(Stdlib__Scanf) = 5bfc827c9980349e00f2aa1f5eade58f
- ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
- ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
- ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
- ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
- ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
- ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a
- ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d
- ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
- ocaml(Z) = a71ac4a535434978287848841376388e
- ocaml(Zip) = 0611311d26f05fe79e34390886c01f94
- ocamlx(Big_int) = 00eed8064d0d748ca9c18a5701201d8c
- ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b
- ocamlx(CamlinternalMod) = b1cf5908bd32decae56ba9dbb3154081
- ocamlx(Dynlink) = ff8622eb0d80e282615afad4c38703aa
- ocamlx(Num) = 59a1c4e6386b714f6c3a84434ca2b6ed
- ocamlx(OcplibSimplex) = f8a9fa3da3214efc3cc14d085564e0aa
- ocamlx(Psmt2Frontend) = 5e7f0106d49d836d9b7db7dabacd7e1d
- ocamlx(Q) = 393ec06624871255a5c794fc33af63bf
- ocamlx(Ratio) = c19b9029ae58dc65332ee30c079a7f9d
- ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a
- ocamlx(Stdlib__Arg) = d130df570295c3fefaee00f88db5fed5
- ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7
- ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb
- ocamlx(Stdlib__Char) = 10c8fcef55e12a07a1c4ab479d07547d
- ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867
- ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c
- ocamlx(Stdlib__Gc) = 680cd099a8addb5d39903d1edf6e397d
- ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f
- ocamlx(Stdlib__Int64) = 8a6af33b06c097c633dbf42a56b24bd0
- ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9
- ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883
- ocamlx(Stdlib__Map) = f184f9d40bdaddd2e3d8a36b51d5f55f
- ocamlx(Stdlib__Parsing) = f50fe0f7d9facd7fd97342bdfe2c1be0
- ocamlx(Stdlib__Printexc) = 91d35af34dfc354f724931b058a14954
- ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa
- ocamlx(Stdlib__Queue) = 2cf30720dec187835200485a0eda7f62
- ocamlx(Stdlib__Scanf) = 4e834bd2603425af3ac3eaddd89f0f4f
- ocamlx(Stdlib__Set) = c0158eea0410a85c8ad557c3d3358cd9
- ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95
- ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938
- ocamlx(Stdlib__Weak) = dfb096ede16e512b37567ba33be3fb3c
- ocamlx(Str) = 88040aadd5ce239c39603ad24fe18862
- ocamlx(Unix) = 7ab988a5f1bc8761aa80f04fc8c5580e
- ocamlx(Z) = e7f7461dc7287f7895b00fdb33dca6df
- ocamlx(Zip) = efd34814af9d92b53382b0147eb10137
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1