0 python3-z3 = 4.12.2-7.rvre0.fc40 python3.12-z3 = 4.12.2-7.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.2-7.rvre0.fc40.riscv64
Provides: z3-debugsource = 4.12.2-7.rvre0.fc40 z3-debugsource(riscv-64) = 4.12.2-7.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.2-7.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 709acd87cd38ff9a9cd469c6987bd17ef926b5d0 z3-debuginfo = 4.12.2-7.rvre0.fc40 z3-debuginfo(riscv-64) = 4.12.2-7.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.2-7.rvre0.fc40
Processing files: z3-libs-debuginfo-4.12.2-7.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 10de88bde8e06eb5e6534ad2c4cc52c2de753ad5 libz3.so.4.12.2.0-4.12.2-7.rvre0.fc40.riscv64.debug()(64bit) z3-libs-debuginfo = 4.12.2-7.rvre0.fc40 z3-libs-debuginfo(riscv-64) = 4.12.2-7.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.2-7.rvre0.fc40
Processing files: java-z3-debuginfo-4.12.2-7.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 5de7b8ce474c665f5250338420a781fa0ecdab26 java-z3-debuginfo = 4.12.2-7.rvre0.fc40 java-z3-debuginfo(riscv-64) = 4.12.2-7.rvre0.fc40 libz3java.so-4.12.2-7.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.2-7.rvre0.fc40
Processing files: ocaml-z3-debuginfo-4.12.2-7.rvre0.fc40.riscv64
Provides: debuginfo(build-id) = 4c120bdee6184b2f555d7da8acff7cce92c7a604 debuginfo(build-id) = daec4bd281bd9db724ac057b646218659504dd8d ocaml-z3-debuginfo = 4.12.2-7.rvre0.fc40 ocaml-z3-debuginfo(riscv-64) = 4.12.2-7.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.2-7.rvre0.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.12.2-7.rvre0.fc40.riscv64
Wrote: /builddir/build/RPMS/z3-debugsource-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.12.2-7.rvre0.fc40.noarch.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.12.2-7.rvre0.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.12.2-7.rvre0.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.K68ME5
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-z3-4.12.2
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.12.2-7.rvre0.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.yORoIV
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/z3-z3-4.12.2-SPECPARTS
+ 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