[ol9_developer_EPEL] ocaml-z3-4.8.15-2.el9.aarch64

Name:	ocaml-z3
Version:	4.8.15
Release:	2.el9
Architecture:	aarch64
Group:	Unspecified
Size:	2720923
License:	MIT
RPM:	ocaml-z3-4.8.15-2.el9.aarch64.rpm
Source RPM:	z3-4.8.15-2.el9.src.rpm
Build Date:	Thu Apr 14 2022
Build Host:	build-ol9-aarch64.oracle.com
Vendor:	Oracle America
URL:	https://github.com/Z3Prover/z3
Summary:	Ocaml interface to z3
Description:	Ocaml interface to z3.

Related Packages (Show Changelog) (Show Filelist)

Provides
- ocaml(Z3) = 0aecb943ace07e2f605ef5ce03f675a1
- ocaml(Z3enums) = e224b95d423e1955469b0db4e51bc80b
- ocaml(Z3native) = a05b005778fa94c768502c928f610e8f
- ocaml-z3 = 4.8.15-2.el9
- ocaml-z3(aarch-64) = 4.8.15-2.el9
- ocamlx(Z3) = 84a4fff252c1eb6b0528e9a0baab416a
- ocamlx(Z3enums) = 9acd150c7028e09bc95d7a478ff3cd2a
- ocamlx(Z3native) = 53b4a7f124c067a5d6a6500d7e08ebc6
Requires
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libstdc++.so.6()(64bit)
- libz3.so.4.8()(64bit)
- ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
- ocaml(CamlinternalMod) = afc8685cc772d3b2ceeff0c531199f25
- ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14
- ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
- ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
- ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a
- ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41
- ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
- ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
- ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
- ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
- ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
- ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
- ocaml(Z) = de8952b68dbf67aa7be758a82283b20a
- ocamlx(CamlinternalMod) = d17beed16770f86b02fefc111bf2843f
- ocamlx(Q) = f3fe7023f83be0689fbf0af628d219f2
- ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671
- ocamlx(Stdlib__callback) = 8be8bbbb398fb67c5ac76dd97e4c8891
- ocamlx(Stdlib__hashtbl) = 3a70d43892d6822a86672d0da0646fa3
- ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29
- ocamlx(Z) = 919ce2d8485a2b88b9086e6f4276fbde
- rtld(GNU_HASH)
- z3-libs(aarch-64) = 4.8.15-2.el9
- libc.so.6(GLIBC_2.17)(64bit)