ernalMod) = 5646c8bdba32dbce6c49e40adefdc814 ocamlx(CamlinternalOO) = 6de25901c85adfdcd62767d794d0a649 ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db ocamlx(Stdlib__Callback) = ee989b890b6c27e7cb27a716a749c705 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10 ocamlx(Z3enums) = d8aa0919003cb1729dba89117022605e ocamlx(Z3native) = f908fd80d8c562c7101300acef1307b2
Processing files: python3-z3-4.13.0-1.fc40.noarch
Provides: python-z3 = 4.13.0-1.fc40 python3-z3 = 4.13.0-1.fc40 python3.12-z3 = 4.13.0-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: python(abi) = 3.12
Processing files: z3-debugsource-4.13.0-1.fc40.riscv64
Provides: z3-debugsource = 4.13.0-1.fc40 z3-debugsource(riscv-64) = 4.13.0-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: z3-debuginfo-4.13.0-1.fc40.riscv64
Provides: debuginfo(build-id) = 22df34a86502f2fd897e2a293ce414922728968d z3-debuginfo = 4.13.0-1.fc40 z3-debuginfo(riscv-64) = 4.13.0-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: z3-debugsource(riscv-64) = 4.13.0-1.fc40
Processing files: z3-libs-debuginfo-4.13.0-1.fc40.riscv64
Provides: debuginfo(build-id) = 6c84c57ad8efae81eb9a44836c822ef748bd5834 libz3.so.4.13.0.0-4.13.0-1.fc40.riscv64.debug()(64bit) z3-libs-debuginfo = 4.13.0-1.fc40 z3-libs-debuginfo(riscv-64) = 4.13.0-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: z3-debugsource(riscv-64) = 4.13.0-1.fc40
Processing files: java-z3-debuginfo-4.13.0-1.fc40.riscv64
Provides: debuginfo(build-id) = d9b70e5b64776820ce50a00d2d51bf7c954d6bac java-z3-debuginfo = 4.13.0-1.fc40 java-z3-debuginfo(riscv-64) = 4.13.0-1.fc40 libz3java.so-4.13.0-1.fc40.riscv64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: z3-debugsource(riscv-64) = 4.13.0-1.fc40
Processing files: ocaml-z3-debuginfo-4.13.0-1.fc40.riscv64
Provides: debuginfo(build-id) = 67b336c6afe97cfb94fcb07e18d59cb2e6f5e381 debuginfo(build-id) = dd9ed74b2525465e0cd2a4a0480dcfc621509386 ocaml-z3-debuginfo = 4.13.0-1.fc40 ocaml-z3-debuginfo(riscv-64) = 4.13.0-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: z3-debugsource(riscv-64) = 4.13.0-1.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.13.0-1.fc40.riscv64
Wrote: /builddir/build/RPMS/java-z3-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.13.0-1.fc40.noarch.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debugsource-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.13.0-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.13.0-1.fc40.riscv64.rpm
RPM build warnings:
    absolute symlink: /usr/lib64/z3/com.microsoft.z3.jar -> /usr/lib/java/com.microsoft.z3.jar
Child return code was: 0