Dependencies
Provides
- alt-ergo = 2.2.0-18.mga9
- alt-ergo(x86-32) = 2.2.0-18.mga9
- ocaml(AltErgoLib) = 28b880bb95cdd34455c203b04c598699
- ocamlx(AltErgoLib) = 92a4ec863a76f630bf76e3947d4a07fa
Requires
- 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.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.2)
- libc.so.6(GLIBC_2.28)
- libc.so.6(GLIBC_2.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.33)
- libc.so.6(GLIBC_2.34)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.7)
- libc.so.6(GLIBC_2.9)
- libgmp.so.10
- libm.so.6
- libm.so.6(GLIBC_2.0)
- libm.so.6(GLIBC_2.1)
- libm.so.6(GLIBC_2.29)
- libm.so.6(GLIBC_2.35)
- libz.so.1
- 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) = ec229d1d574abe6ad4d24d4de07b0c40
- ocamlx(CamlinternalLazy) = 84060101c1a7600aaf03215d2b06c8f1
- ocamlx(CamlinternalMod) = 7283711865eb53fdcc54c18b41eced30
- ocamlx(Dynlink) = ccf2bd198e651b1fef47828c865d6da4
- ocamlx(Num) = ae65b604277efff1aabf9788cb4f5e4b
- ocamlx(OcplibSimplex) = 93f52e80b9b7d84f5dd7520557e2f7fb
- ocamlx(Psmt2Frontend) = 1a9f4977112866078f885e6620bf173b
- ocamlx(Q) = d427d3c675bdb3f01401f6f685f18b37
- ocamlx(Ratio) = 9eeb551c0479d98ca3515cc5db9b5043
- ocamlx(Stdlib) = 9368a49701ad6a803837a9aaf468fe80
- ocamlx(Stdlib__Arg) = 27393fd4bb99728d710e8f1e475939b5
- ocamlx(Stdlib__Array) = f5e35394c06bfd1aa1d428bdbad5580b
- ocamlx(Stdlib__Buffer) = ed57d701aa3b59153a3e692c3d836428
- ocamlx(Stdlib__Char) = 73d2f6c8668e06e196588b44654ca79d
- ocamlx(Stdlib__Filename) = c3574593fe27d594102cb0213bea3653
- ocamlx(Stdlib__Format) = 8ba5b9e3b3bfabb5929dfe90482b41db
- ocamlx(Stdlib__Gc) = eadf07ba5cb74f2e838f1e2483aa64aa
- ocamlx(Stdlib__Hashtbl) = 7dff02d0d5ab6e7d6237bd74abfef18b
- ocamlx(Stdlib__Int64) = 839a189481e2ae2da8359c7d80ac38ef
- ocamlx(Stdlib__Lexing) = 7d6dc7b02e62f273aa77d31c6c615bbd
- ocamlx(Stdlib__List) = f0cf7c8d9e283437a5a02833ca0a0372
- ocamlx(Stdlib__Map) = 277b49ce22e483255a180be645aa188c
- ocamlx(Stdlib__Parsing) = 4cc7e56189cab8deb4663d99a581df18
- ocamlx(Stdlib__Printexc) = 31e655d70a184713e62ca69dd86c5bc7
- ocamlx(Stdlib__Printf) = d36b890ed8aa366d74aafd55046762a6
- ocamlx(Stdlib__Queue) = 823eeea82e37fb2afbd58e785377d222
- ocamlx(Stdlib__Scanf) = 723c5c047fd36c44a5b77db99c6d5a66
- ocamlx(Stdlib__Set) = 1f0dcafc10ad14c3e52d571c14cbc733
- ocamlx(Stdlib__String) = 562243d8e750754ba5796bf79e659d72
- ocamlx(Stdlib__Sys) = 524528f5b43fe5b82073768577be9fb4
- ocamlx(Stdlib__Weak) = 35e96e94e857a6985f5b511c32bc6ec0
- ocamlx(Str) = 1b5a44935a80e3c5dd4bc0504252f5c5
- ocamlx(Unix) = 69a6449539fba3596b18db3c51e261b7
- ocamlx(Z) = 6d22557cf9944d8110d7a835ca57aa99
- ocamlx(Zip) = 672d8cc0c9ea6c4d7c941f4971cab6a8
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsZstd) <= 5.4.18-1