2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/E-0.6.html DOC/E-0.62.html DOC/E-0.7.html DOC/E-0.8.html DOC/E-0.82.html DOC/E-0.99.html DOC/E-0.999.html DOC/E-1.0pre.html DOC/E-1.1pre.html DOC/E-1.2pre.html DOC/E-1.4pre.html DOC/E-1.6pre.html DOC/E-1.8pre.html DOC/E-1.9.1pre.html DOC/E-1.9pre.html DOC/E-2.1pre.html DOC/E-2.2pre.html DOC/E-2.4pre.html /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/eprover.pdf /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/E-REMARKS /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/E-REMARKS.english /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/grammar.txt /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/NEWS /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/sample_proofs.html /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/sample_proofs_tstp.html /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/TODO /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/TSTP_Syntax.txt /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ cp -pr DOC/WISHLIST /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/doc/E
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.He6lUD
+ umask 022
+ cd /builddir/build/BUILD
+ cd E
+ LICENSEDIR=/builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/licenses/E
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/licenses/E
+ cp -pr COPYING /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64/usr/share/licenses/E
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: E = 2.5-1.fc33 E(riscv-64) = 2.5-1.fc33
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) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpicosat-trace.so.0()(64bit) rtld(GNU_HASH)
Processing files: E-debugsource-2.5-1.fc33.riscv64
Provides: E-debugsource = 2.5-1.fc33 E-debugsource(riscv-64) = 2.5-1.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: E-debuginfo-2.5-1.fc33.riscv64
Provides: E-debuginfo = 2.5-1.fc33 E-debuginfo(riscv-64) = 2.5-1.fc33 debuginfo(build-id) = 44c060b97ad49f8fae69b1711a6099ba37fb9f40 debuginfo(build-id) = 5119cddfed1925849404e09671b6419d2ad63e44 debuginfo(build-id) = 54dee872d41729ca30414c5a6c3e395a373d6b1f debuginfo(build-id) = 6622514f2386d71346f132523059c4b8f34c860b debuginfo(build-id) = 7a677a7e668974fc6227b90edad7e9f66ddc8044 debuginfo(build-id) = 7c44e65f7d9ebf8c29fa28c151dead2e4f794034 debuginfo(build-id) = 89b0011f11ad5ae7d26649447962c2825457e389 debuginfo(build-id) = 8d1264e05de5a78a0798997086c662ca2d045731 debuginfo(build-id) = 9dea7c364f59112c3e5c2e0843bb84ddcf8ab219 debuginfo(build-id) = a0943b30a31e6900b2b1f68f26c5c80de77cdc40 debuginfo(build-id) = d156374b60c2dd504238141fa0629485e58b13fc debuginfo(build-id) = e00cd766ab9491516fdd9c29d05628e69a906605
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: E-debugsource(riscv-64) = 2.5-1.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64
Wrote: /builddir/build/RPMS/E-debugsource-2.5-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/E-2.5-1.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/E-debuginfo-2.5-1.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.5sf8VB
+ umask 022
+ cd /builddir/build/BUILD
+ cd E
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/E-2.5-1.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0