cbcb24e4eb181 ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136 ocaml(Z3enums) = cb1e20b700718f46973d7f5732231d61 ocaml(runtime) = 4.08.0 rtld(GNU_HASH)
Processing files: ocaml-z3-devel-4.8.5-2.fc31.riscv64
Provides: ocaml-z3-devel = 4.8.5-2.fc31 ocaml-z3-devel(riscv-64) = 4.8.5-2.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: python3-z3-4.8.5-2.fc31.riscv64
BUILDSTDERR: warning: absolute symlink: /usr/lib64/python3.7/site-packages/z3/lib/libz3.so -> /usr/lib64/libz3.so.0
Provides: python-z3 = 4.8.5-2.fc31 python2-z3 = 4.8 python3-z3 = 4.8.5-2.fc31 python3-z3(riscv-64) = 4.8.5-2.fc31
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.7
Obsoletes: python-z3 < 4.8.5-2.fc31 python2-z3 < 4.8
Processing files: z3-debugsource-4.8.5-2.fc31.riscv64
Provides: z3-debugsource = 4.8.5-2.fc31 z3-debugsource(riscv-64) = 4.8.5-2.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: z3-debuginfo-4.8.5-2.fc31.riscv64
Provides: debuginfo(build-id) = 6208e25647347b4e5347e1c46edd13ac77fce540 z3-debuginfo = 4.8.5-2.fc31 z3-debuginfo(riscv-64) = 4.8.5-2.fc31
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.8.5-2.fc31
Processing files: z3-libs-debuginfo-4.8.5-2.fc31.riscv64
Provides: debuginfo(build-id) = 13c4bd33d1b3e0be7227f7d0d2ab154dc1c87804 z3-libs-debuginfo = 4.8.5-2.fc31 z3-libs-debuginfo(riscv-64) = 4.8.5-2.fc31
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.8.5-2.fc31
Processing files: java-z3-debuginfo-4.8.5-2.fc31.riscv64
Provides: debuginfo(build-id) = c90800587afd4335922fcf4b07af81e0d9ec06c6 java-z3-debuginfo = 4.8.5-2.fc31 java-z3-debuginfo(riscv-64) = 4.8.5-2.fc31
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.8.5-2.fc31
Processing files: ocaml-z3-debuginfo-4.8.5-2.fc31.riscv64
Provides: debuginfo(build-id) = 2ccd20a41d2989645e4edab109eb6ef4dcfb5131 debuginfo(build-id) = 97847046cbb59612454dfdf8a925fda4ba4b28bb ocaml-z3-debuginfo = 4.8.5-2.fc31 ocaml-z3-debuginfo(riscv-64) = 4.8.5-2.fc31
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.8.5-2.fc31
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.8.5-2.fc31.riscv64
Wrote: /builddir/build/RPMS/z3-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debuginfo-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-debugsource-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/java-z3-debuginfo-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-debuginfo-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.8.5-2.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.8.5-2.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/z3-libs-debuginfo-4.8.5-2.fc31.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.iUI5wf
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-Z3-4.8.5
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.8.5-2.fc31.riscv64
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0