ocaml-z3-devel-5.1.0-2.mga11 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

Files for building ocaml applications that use z3.

Provides

• ocaml-z3-devel
• ocaml(Z3)
• ocaml(Z3enums)
• ocaml(Z3native)
• ocaml-z3-devel(x86-64)
• ocamlx(Z3)
• ocamlx(Z3enums)
• ocamlx(Z3native)

Requires

• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1
• ocaml(Q) = fded9f6db30753026b5c2d3012382e71
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Callback) = e63ded0535f5b914a16b4f955e944303
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
• ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3
• ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
• ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
• ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d
• ocaml(Z3enums) = 55e8577446762c9d6a1e6cfc293a6b0c
• ocaml(Z3native) = f008c96b39f4f310a7a5efa63a3f98a4
• ocaml-z3(x86-64) = 5.1.0-2.mga11
• ocaml-zarith-devel(x86-64)
• ocamlx(CamlinternalMod) = 3fd8bf95d07b46b06585d8c3406c254e
• ocamlx(Q) = 97a7ba6fc729c84b1677809c3d64b87b
• ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b
• ocamlx(Stdlib__Array) = def48d766be8b076d2a4fefcfbc64945
• ocamlx(Stdlib__Callback) = b3f126389aba08e7f2b8e20f75129130
• ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c
• ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a
• ocamlx(Z) = a4fd06b8f7c9bdf5e5773fca283974d6
• ocamlx(Z3enums) = bbc48bf6afb7fe72e4c11d325d94141f
• ocamlx(Z3native) = 0dfd6226ed27428acec7ddf212d83540
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

MIT

Changelog

* Thu Oct 08 2026 daviddavid <daviddavid> 5.1.0-2.mga11
  + Revision: 2376962
  - new version: 5.1.0
  - rebuild against java 25
* Sun Apr 27 2025 daviddavid <daviddavid> 4.14.1-1.1.mga10
  + Revision: 2179502
  - new version: 4.14.1
* Tue Mar 04 2025 wally <wally> 4.13.0-2.mga10
  + Revision: 2160477
  - rebuild for python3.13

Files

/usr/lib64/ocaml/Z3/libz3ml.a
/usr/lib64/ocaml/Z3/z3.cmx
/usr/lib64/ocaml/Z3/z3.mli
/usr/lib64/ocaml/Z3/z3enums.cmx
/usr/lib64/ocaml/Z3/z3enums.mli
/usr/lib64/ocaml/Z3/z3ml.a
/usr/lib64/ocaml/Z3/z3ml.cmxa
/usr/lib64/ocaml/Z3/z3native.cmx
/usr/lib64/ocaml/Z3/z3native.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 12 01:50:21 2026