s-devel = 2.6.1-1.fc30 yices-devel(riscv-64) = 2.6.1-1.fc30
Requires(rpmlib): rpmlib(CompressedFileNames) <= 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-1.fc30.riscv64
Provides: yices-tools = 2.6.1-1.fc30 yices-tools(riscv-64) = 2.6.1-1.fc30
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-1.fc30.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.LuLb0t
+ umask 022
+ cd /builddir/build/BUILD
+ cd yices2-Yices-2.6.1
+ DOCDIR=/builddir/build/BUILDROOT/yices-2.6.1-1.fc30.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-1.fc30.riscv64/usr/share/doc/yices-doc
+ cp -pr doc/manual/manual.pdf /builddir/build/BUILDROOT/yices-2.6.1-1.fc30.riscv64/usr/share/doc/yices-doc
+ cp -pr examples /builddir/build/BUILDROOT/yices-2.6.1-1.fc30.riscv64/usr/share/doc/yices-doc
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.JryBk3
+ umask 022
+ cd /builddir/build/BUILD
+ cd yices2-Yices-2.6.1
+ LICENSEDIR=/builddir/build/BUILDROOT/yices-2.6.1-1.fc30.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-1.fc30.riscv64/usr/share/licenses/yices-doc
+ cp -pr LICENSE.txt /builddir/build/BUILDROOT/yices-2.6.1-1.fc30.riscv64/usr/share/licenses/yices-doc
+ exit 0
Provides: yices-doc = 2.6.1-1.fc30 yices-doc(riscv-64) = 2.6.1-1.fc30
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-1.fc30.riscv64
Provides: yices-debugsource = 2.6.1-1.fc30 yices-debugsource(riscv-64) = 2.6.1-1.fc30
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-1.fc30.riscv64
Provides: debuginfo(build-id) = 3cdca253af19326a35571efcac55a9aef3768988 yices-debuginfo = 2.6.1-1.fc30 yices-debuginfo(riscv-64) = 2.6.1-1.fc30
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-1.fc30
Processing files: yices-tools-debuginfo-2.6.1-1.fc30.riscv64
Provides: debuginfo(build-id) = 032e1dc4b44b773614342212248007ffa0e00020 debuginfo(build-id) = d059ad3bfa256a7ee56fef4fab9950649340720e debuginfo(build-id) = d0e1dc9eb6bb135d28178a4026354fcaaa6a36b4 debuginfo(build-id) = fb32733dc260030b4c40dead965a668a90adde7f yices-tools-debuginfo = 2.6.1-1.fc30 yices-tools-debuginfo(riscv-64) = 2.6.1-1.fc30
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-1.fc30
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/yices-2.6.1-1.fc30.riscv64
Wrote: /builddir/build/RPMS/yices-2.6.1-1.fc30.riscv64.rpm
Wrote: /builddir/build/RPMS/yices-devel-2.6.1-1.fc30.riscv64.rpm
Wrote: /builddir/build/RPMS/yices-tools-2.6.1-1.fc30.riscv64.rpm
Wrote: /builddir/build/RPMS/yices-doc-2.6.1-1.fc30.riscv64.rpm
Wrote: /builddir/build/RPMS/yices-debugsource-2.6.1-1.fc30.riscv64.rpm
Wrote: /builddir/build/RPMS/yices-debuginfo-2.6.1-1.fc30.riscv64.rpm
Wrote: /builddir/build/RPMS/yices-tools-debuginfo-2.6.1-1.fc30.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.K0Vpcf
+ umask 022
+ cd /builddir/build/BUILD
+ cd yices2-Yices-2.6.1
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/yices-2.6.1-1.fc30.riscv64
+ exit 0
Child return code was: 0