.0-2.fc29.riscv64/usr/share/licenses/z3-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/z3-4.6.0-2.fc29.riscv64/usr/share/licenses/z3-doc
+ cp -pr LICENSE.txt /builddir/build/BUILDROOT/z3-4.6.0-2.fc29.riscv64/usr/share/licenses/z3-doc
+ exit 0
Provides: z3-doc = 4.6.0-2.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: java-z3-4.6.0-2.fc29.riscv64
Provides: java-z3 = 4.6.0-2.fc29 java-z3(riscv-64) = 4.6.0-2.fc29 libz3java.so()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libm.so.6()(64bit) libstdc++.so.6()(64bit) libz3.so.0()(64bit) rtld(GNU_HASH)
Processing files: ocaml-z3-4.6.0-2.fc29.riscv64
Provides: ocaml(Z3) = 1c0269c4f3f0f86c654d85d5ca96345c ocaml(Z3enums) = d0cc6e3c1751c79b5bcecf07520fd113 ocaml(Z3native) = 4b81396b619796f89b866d07101b306c ocaml-z3 = 4.6.0-2.fc29 ocaml-z3(riscv-64) = 4.6.0-2.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libz3.so.0()(64bit) ocaml(Big_int) = 03222e74eff85e83058e8aa59ebd0a1b ocaml(Callback) = 381b3818bd7b7f37a7bf11fb6c76a12a ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b ocaml(CamlinternalMod) = 8d4f9a6217ec1079cfdda6e658d5c81c ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919 ocaml(List) = 7a6b1f92720df765cf38d67f920844fe ocaml(Nat) = fef727f1ecfe9365db096949ceee1ea1 ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9 ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2 ocaml(Ratio) = 3e4f9c2885f67c864ec5517d16ac0410 ocaml(Z3enums) = d0cc6e3c1751c79b5bcecf07520fd113 ocaml(runtime) = 4.06.0 rtld(GNU_HASH)
Processing files: ocaml-z3-devel-4.6.0-2.fc29.riscv64
Provides: ocaml-z3-devel = 4.6.0-2.fc29 ocaml-z3-devel(riscv-64) = 4.6.0-2.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: python2-z3-4.6.0-2.fc29.riscv64
Provides: python-z3 = 4.6.0-2.fc29 python2-z3 = 4.6.0-2.fc29 python2-z3(riscv-64) = 4.6.0-2.fc29
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) = 2.7
Obsoletes: python-z3 < 4.6.0-2.fc29
Processing files: python3-z3-4.6.0-2.fc29.riscv64
Provides: python3-z3 = 4.6.0-2.fc29 python3-z3(riscv-64) = 4.6.0-2.fc29
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.6
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/z3-4.6.0-2.fc29.riscv64
Wrote: /builddir/build/RPMS/z3-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-libs-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-devel-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/z3-doc-4.6.0-2.fc29.noarch.rpm
Wrote: /builddir/build/RPMS/java-z3-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-z3-devel-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/python2-z3-4.6.0-2.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/python3-z3-4.6.0-2.fc29.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.keIVVV
+ umask 022
+ cd /builddir/build/BUILD
+ cd z3-z3-4.6.0
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/z3-4.6.0-2.fc29.riscv64
+ exit 0
Child return code was: 0