lx(Z) = 09f41ad9ceb114b33031ba0c2a2484b1 ocamlx(Z3enums) = d8aa0919003cb1729dba89117022605e ocamlx(Z3native) = fcbdcccfe20e7439f230a5e785b63d4c
Processing files: python3-z3-4.12.4-1.fc40.noarch
Provides: python-z3 = 4.12.4-1.fc40 python3-z3 = 4.12.4-1.fc40 python3.12-z3 = 4.12.4-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.12.4-1.fc40.riscv64
Provides: z3-debugsource = 4.12.4-1.fc40 z3-debugsource(riscv-64) = 4.12.4-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.12.4-1.fc40.riscv64
Provides: debuginfo(build-id) = 3339184caa64e68ba858afa8963e7737e534fb5a z3-debuginfo = 4.12.4-1.fc40 z3-debuginfo(riscv-64) = 4.12.4-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.12.4-1.fc40
Processing files: z3-libs-debuginfo-4.12.4-1.fc40.riscv64
Provides: debuginfo(build-id) = 168edfc5b3f853b2c68f296e6cffc7ff7c854f2d libz3.so.4.12.4.0-4.12.4-1.fc40.riscv64.debug()(64bit) z3-libs-debuginfo = 4.12.4-1.fc40 z3-libs-debuginfo(riscv-64) = 4.12.4-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.12.4-1.fc40
Processing files: java-z3-debuginfo-4.12.4-1.fc40.riscv64
Provides: debuginfo(build-id) = 9f866ccaf44e0b86a97ad012d5947f059859d298 java-z3-debuginfo = 4.12.4-1.fc40 java-z3-debuginfo(riscv-64) = 4.12.4-1.fc40 libz3java.so-4.12.4-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.12.4-1.fc40
Processing files: ocaml-z3-debuginfo-4.12.4-1.fc40.riscv64
Provides: debuginfo(build-id) = 1995971b5478473f18d8a278ce2723b4b7821ee9 debuginfo(build-id) = 98e46a8f2ba62b1aa6daffe851c66111eb5fc540 ocaml-z3-debuginfo = 4.12.4-1.fc40 ocaml-z3-debuginfo(riscv-64) = 4.12.4-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.12.4-1.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.12.4-1.fc40.riscv64
Wrote: /builddir/build/RPMS/z3-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.12.4-1.fc40.noarch.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debugsource-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.12.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.12.4-1.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.NdhDOV
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-z3-4.12.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.12.4-1.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.lrXpwS
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/z3-z3-4.12.4-SPECPARTS
+ rm -rf z3-z3-4.12.4 z3-z3-4.12.4.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