(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 ocamlx(Z) = 35e6c2baec05f2448f0ffb79a9faad0e ocamlx(Z3enums) = 1f9adbecdf45184ad7c0d4a4f82b9eab ocamlx(Z3native) = 8e3a40ea23dfd8d69d02b23fcc19def5
Processing files: python3-z3-4.12.2-1.fc38.noarch
Provides: python-z3 = 4.12.2-1.fc38 python3-z3 = 4.12.2-1.fc38 python3.11-z3 = 4.12.2-1.fc38
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.11
Processing files: z3-debugsource-4.12.2-1.fc38.riscv64
Provides: z3-debugsource = 4.12.2-1.fc38 z3-debugsource(riscv-64) = 4.12.2-1.fc38
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.2-1.fc38.riscv64
Provides: debuginfo(build-id) = 3af3b63b5718d847f36aa68e88f5ead4305f1f31 z3-debuginfo = 4.12.2-1.fc38 z3-debuginfo(riscv-64) = 4.12.2-1.fc38
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.2-1.fc38
Processing files: z3-libs-debuginfo-4.12.2-1.fc38.riscv64
Provides: debuginfo(build-id) = 05d1c746d74d0e65eedd770749980e218cc6266c libz3.so.4.12.2.0-4.12.2-1.fc38.riscv64.debug()(64bit) z3-libs-debuginfo = 4.12.2-1.fc38 z3-libs-debuginfo(riscv-64) = 4.12.2-1.fc38
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.2-1.fc38
Processing files: java-z3-debuginfo-4.12.2-1.fc38.riscv64
Provides: debuginfo(build-id) = 0e65625b06a350ef747349c3d5a27fed74840e1d java-z3-debuginfo = 4.12.2-1.fc38 java-z3-debuginfo(riscv-64) = 4.12.2-1.fc38 libz3java.so-4.12.2-1.fc38.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.2-1.fc38
Processing files: ocaml-z3-debuginfo-4.12.2-1.fc38.riscv64
Provides: debuginfo(build-id) = 4fa11a3e575b5a66559badd270d9c8cb4ff726c1 debuginfo(build-id) = 59fac4f94920cfc92b998804df82eb911d0de28b ocaml-z3-debuginfo = 4.12.2-1.fc38 ocaml-z3-debuginfo(riscv-64) = 4.12.2-1.fc38
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.2-1.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.12.2-1.fc38.riscv64
Wrote: /builddir/build/RPMS/z3-debugsource-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.12.2-1.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/java-z3-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.12.2-1.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.12.2-1.fc38.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.luqDxZ
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-z3-4.12.2
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.12.2-1.fc38.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.0mpbna
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf z3-z3-4.12.2 z3-z3-4.12.2.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
RPM build warnings:
    absolute symlink: /usr/lib64/z3/com.microsoft.z3.jar -> /usr/lib/java/com.microsoft.z3.jar
Child return code was: 0