0 python3-z3 = 4.12.4-4.rvre0.fc40 python3.12-z3 = 4.12.4-4.rvre0.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-4.rvre0.fc40.riscv64
Provides: z3-debugsource = 4.12.4-4.rvre0.fc40 z3-debugsource(riscv-64) = 4.12.4-4.rvre0.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-4.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 6200a7c4f9607f246f13da3b8008e890df2a8998 z3-debuginfo = 4.12.4-4.rvre0.fc40 z3-debuginfo(riscv-64) = 4.12.4-4.rvre0.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-4.rvre0.fc40
Processing files: z3-libs-debuginfo-4.12.4-4.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 61931e921890607e40f66c3d845d245694a3b5a2 libz3.so.4.12.4.0-4.12.4-4.rvre0.fc40.riscv64.debug()(64bit) z3-libs-debuginfo = 4.12.4-4.rvre0.fc40 z3-libs-debuginfo(riscv-64) = 4.12.4-4.rvre0.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-4.rvre0.fc40
Processing files: java-z3-debuginfo-4.12.4-4.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = d0fb5ae88dcdb2263c2a1201f823d2acf7101292 java-z3-debuginfo = 4.12.4-4.rvre0.fc40 java-z3-debuginfo(riscv-64) = 4.12.4-4.rvre0.fc40 libz3java.so-4.12.4-4.rvre0.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-4.rvre0.fc40
Processing files: ocaml-z3-debuginfo-4.12.4-4.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 3f0e9fd2c6f3af404904f58d1adb1fd86ba6a848 debuginfo(build-id) = ebde1cc751456f77dd563cb0aa77f426052762ad ocaml-z3-debuginfo = 4.12.4-4.rvre0.fc40 ocaml-z3-debuginfo(riscv-64) = 4.12.4-4.rvre0.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-4.rvre0.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.12.4-4.rvre0.fc40.riscv64
Wrote: /builddir/build/RPMS/z3-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.12.4-4.rvre0.fc40.noarch.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debugsource-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.12.4-4.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.12.4-4.rvre0.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.S8xztl
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-z3-4.12.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.12.4-4.rvre0.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.6gE5k7
+ 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