(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 ocamlx(Z) = 35e6c2baec05f2448f0ffb79a9faad0e ocamlx(Z3enums) = 1f9adbecdf45184ad7c0d4a4f82b9eab ocamlx(Z3native) = 964ffd83f76661b7354eed52c6ebd108
Processing files: python3-z3-4.11.2-1.fc37.noarch
Provides: python-z3 = 4.11.2-1.fc37 python3-z3 = 4.11.2-1.fc37 python3.11-z3 = 4.11.2-1.fc37
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.11.2-1.fc37.riscv64
Provides: z3-debugsource = 4.11.2-1.fc37 z3-debugsource(riscv-64) = 4.11.2-1.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: z3-debuginfo-4.11.2-1.fc37.riscv64
Provides: debuginfo(build-id) = 8544502842e1d95ec1035c4b341975dd436d63f8 z3-debuginfo = 4.11.2-1.fc37 z3-debuginfo(riscv-64) = 4.11.2-1.fc37
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.11.2-1.fc37
Processing files: z3-libs-debuginfo-4.11.2-1.fc37.riscv64
Provides: debuginfo(build-id) = 7dcd50ce3c40f139d1fd5a389fee5a4db38fd5ef libz3.so.4.11.2.0-4.11.2-1.fc37.riscv64.debug()(64bit) z3-libs-debuginfo = 4.11.2-1.fc37 z3-libs-debuginfo(riscv-64) = 4.11.2-1.fc37
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.11.2-1.fc37
Processing files: java-z3-debuginfo-4.11.2-1.fc37.riscv64
Provides: debuginfo(build-id) = 821d05100c4ef23007976b842ab548835747e222 java-z3-debuginfo = 4.11.2-1.fc37 java-z3-debuginfo(riscv-64) = 4.11.2-1.fc37 libz3java.so-4.11.2-1.fc37.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.11.2-1.fc37
Processing files: ocaml-z3-debuginfo-4.11.2-1.fc37.riscv64
Provides: debuginfo(build-id) = 54e454c97ce9d68df2d8ee8a3553fcc76c88ce42 debuginfo(build-id) = df6876bd89fc1370880672ed14949e4cba2b60ad ocaml-z3-debuginfo = 4.11.2-1.fc37 ocaml-z3-debuginfo(riscv-64) = 4.11.2-1.fc37
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.11.2-1.fc37
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.11.2-1.fc37.riscv64
Wrote: /builddir/build/RPMS/z3-debugsource-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.11.2-1.fc37.noarch.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.11.2-1.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.11.2-1.fc37.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.Y8NxjD
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-z3-4.11.2
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.11.2-1.fc37.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.Lo90WM
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf z3-z3-4.11.2 z3-z3-4.11.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