ocaml-z3-devel-4.14.1-1.1.mga10 RPM for aarch64

From Mageia Cauldron for aarch64 / media / core / release

Files for building ocaml applications that use z3.

Provides

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

Requires

• 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
• ocaml-z3(aarch-64) = 4.14.1-1.1.mga10
• ocaml-zarith-devel(aarch-64)
• ocamlx(CamlinternalMod) = 3fd8bf95d07b46b06585d8c3406c254e
• ocamlx(Q) = 97a7ba6fc729c84b1677809c3d64b87b
• ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b
• ocamlx(Stdlib__Callback) = b3f126389aba08e7f2b8e20f75129130
• ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c
• ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a
• ocamlx(Z) = a4fd06b8f7c9bdf5e5773fca283974d6
• ocamlx(Z3enums) = 194f53479a05bfe527ac12fd7ce5ec28
• ocamlx(Z3native) = 1f32e6998bc6f49085f8f31c44a1fa07
• 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

* 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/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 Apr 28 09:16:49 2025