<= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libyices.so.2.6()(64bit) Processing files: yices-tools-2.6.1-3.fc31.riscv64 Provides: yices-tools = 2.6.1-3.fc31 yices-tools(riscv-64) = 2.6.1-3.fc31 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) libgmp.so.10()(64bit) libpoly.so.0()(64bit) rtld(GNU_HASH) Processing files: yices-doc-2.6.1-3.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.qpGPCc + umask 022 + cd /builddir/build/BUILD + cd yices2-Yices-2.6.1 + DOCDIR=/builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/doc/yices-doc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/doc/yices-doc + cp -pr doc/manual/manual.pdf /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/doc/yices-doc + cp -pr examples /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/doc/yices-doc + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.AnkdBf + umask 022 + cd /builddir/build/BUILD + cd yices2-Yices-2.6.1 + LICENSEDIR=/builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/licenses/yices-doc + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/licenses/yices-doc + cp -pr LICENSE.txt /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64/usr/share/licenses/yices-doc + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: yices-doc = 2.6.1-3.fc31 yices-doc(riscv-64) = 2.6.1-3.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: yices-debugsource-2.6.1-3.fc31.riscv64 Provides: yices-debugsource = 2.6.1-3.fc31 yices-debugsource(riscv-64) = 2.6.1-3.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: yices-debuginfo-2.6.1-3.fc31.riscv64 Provides: debuginfo(build-id) = 896f6b810368f3af10f0b582e6517dfced860a4a yices-debuginfo = 2.6.1-3.fc31 yices-debuginfo(riscv-64) = 2.6.1-3.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: yices-debugsource(riscv-64) = 2.6.1-3.fc31 Processing files: yices-tools-debuginfo-2.6.1-3.fc31.riscv64 Provides: debuginfo(build-id) = 1ba8330439c6f176155701fce66b6aeaf3ba24ad debuginfo(build-id) = 223eee90cc9d538c6b8016c4d17b7f79faf0be65 debuginfo(build-id) = 99e129ca22ae47aa8399f4df179a1bef8ed26a51 debuginfo(build-id) = ebdd588ac95e1163c8ae31cecd63eeab915357bc yices-tools-debuginfo = 2.6.1-3.fc31 yices-tools-debuginfo(riscv-64) = 2.6.1-3.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: yices-debugsource(riscv-64) = 2.6.1-3.fc31 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64 Wrote: /builddir/build/RPMS/yices-devel-2.6.1-3.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/yices-2.6.1-3.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/yices-tools-2.6.1-3.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/yices-debugsource-2.6.1-3.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/yices-doc-2.6.1-3.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/yices-debuginfo-2.6.1-3.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/yices-tools-debuginfo-2.6.1-3.fc31.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.2G1soc + umask 022 + cd /builddir/build/BUILD + cd yices2-Yices-2.6.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/yices-2.6.1-3.fc31.riscv64 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Child return code was: 0