tive) = 57228f77b4fce71653ca4c66cc306357 ocamlx(CamlinternalLazy) = c1376ce5cb90729a16ef1251b8de014f ocamlx(CamlinternalMod) = 06f3c035408d7fda6143dadbb9d0fe4c ocamlx(CamlinternalOO) = 5c84355d04a121478ba80dbd44f0455f ocamlx(Q) = 274d9db67d03e5193a21b12238a205d8 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Callback) = 635e2ccfd7bdb8295187d934e1f4acb8 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Z) = 09f41ad9ceb114b33031ba0c2a2484b1 ocamlx(Z3enums) = d8aa0919003cb1729dba89117022605e ocamlx(Z3native) = fcbdcccfe20e7439f230a5e785b63d4c
Processing files: python3-z3-4.12.4-2.fc40.noarch
Provides: python-z3 = 4.12.4-2.fc40 python3-z3 = 4.12.4-2.fc40 python3.12-z3 = 4.12.4-2.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.12.4-2.fc40.riscv64
Provides: z3-debugsource = 4.12.4-2.fc40 z3-debugsource(riscv-64) = 4.12.4-2.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.12.4-2.fc40.riscv64
Provides: debuginfo(build-id) = 3c2f024d8abbed03a57de41fb9b044d0aa9bc4f2 z3-debuginfo = 4.12.4-2.fc40 z3-debuginfo(riscv-64) = 4.12.4-2.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.12.4-2.fc40
Processing files: z3-libs-debuginfo-4.12.4-2.fc40.riscv64
Provides: debuginfo(build-id) = 1c474107fbeafb1c6b028a93c706fb6477588af6 libz3.so.4.12.4.0-4.12.4-2.fc40.riscv64.debug()(64bit) z3-libs-debuginfo = 4.12.4-2.fc40 z3-libs-debuginfo(riscv-64) = 4.12.4-2.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.12.4-2.fc40
Processing files: java-z3-debuginfo-4.12.4-2.fc40.riscv64
Provides: debuginfo(build-id) = 7102127b71f77e9cc1fd8c52f8b90d5d99b4a403 java-z3-debuginfo = 4.12.4-2.fc40 java-z3-debuginfo(riscv-64) = 4.12.4-2.fc40 libz3java.so-4.12.4-2.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.12.4-2.fc40
Processing files: ocaml-z3-debuginfo-4.12.4-2.fc40.riscv64
Provides: debuginfo(build-id) = 11dfbb38aeafbca2868eb3eb4da5e93c248b3183 debuginfo(build-id) = a826d9bb4b8cb58a8d451df65ca8a18b9ac83ffd ocaml-z3-debuginfo = 4.12.4-2.fc40 ocaml-z3-debuginfo(riscv-64) = 4.12.4-2.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.12.4-2.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.12.4-2.fc40.riscv64
Wrote: /builddir/build/RPMS/z3-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.12.4-2.fc40.noarch.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debugsource-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.12.4-2.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.12.4-2.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