ocaml-z3-4.14.1-1.1.mga10 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.4.14()(64bit)
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1
• ocaml(Q) = fded9f6db30753026b5c2d3012382e71
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• 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) = f358b63e9bb05b80c0cbf03df628fe75
• ocaml(Z3native) = 8d33e29da597fc3061e071581265dcc4
• 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) = 4.14.1-1.1.mga10

License

MIT

Changelog

* 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
* Tue Aug 27 2024 neoclust <neoclust> 4.13.0-1.mga10
  + Revision: 2091579
  - New version 4.13.0
* Sat Dec 30 2023 daviddavid <daviddavid> 4.12.4-1.mga10
  + Revision: 2024482
  - new version: 4.12.4
  - rebuild for py3.12

Files

/usr/lib/.build-id
/usr/lib/.build-id/22
/usr/lib/.build-id/22/f432f2aeb14f025cc5dc21e4007ad29cb06653
/usr/lib/.build-id/af
/usr/lib/.build-id/af/d304609b28e559c6af75be809d2ee58396e959
/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, Wed Apr 30 08:33:43 2025