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

From Mageia Cauldron for x86_64 / media / core / release

Ocaml interface to z3.

Provides

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

Requires

• ld-linux-x86-64.so.2()(64bit)
• ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libz3.so.5.1()(64bit)
• 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
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• z3-libs(x86-64) = 5.1.0-2.mga11

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/lib/.build-id
/usr/lib/.build-id/94
/usr/lib/.build-id/94/c885f81ec24a6b2397c722d41d3e27115e05f2
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/bd981e095b6414662e67a1f514a4bef5cd658b
/usr/lib64/ocaml/Z3
/usr/lib64/ocaml/Z3/META
/usr/lib64/ocaml/Z3/z3.cmi
/usr/lib64/ocaml/Z3/z3enums.cmi
/usr/lib64/ocaml/Z3/z3ml.cma
/usr/lib64/ocaml/Z3/z3ml.cmxs
/usr/lib64/ocaml/Z3/z3native.cmi
/usr/lib64/ocaml/stublibs/dllz3ml.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 11 11:20:05 2026