......................
All proofs in the database were verified in 44.29 s.
MM> + RPM_EC=0
++ jobs -p
Processing files: metamath-0.198-3.fc37.riscv64
+ exit 0
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.R0QbKI
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ DOCDIR=/builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/doc/metamath
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/doc/metamath
+ cp -pr README.TXT /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/doc/metamath
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.jbc5Ij
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/licenses/metamath
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/licenses/metamath
+ cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/licenses/metamath
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: metamath = 0.198-3.fc37 metamath(riscv-64) = 0.198-3.fc37
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) libc.so.6(GLIBC_2.34)(64bit) rtld(GNU_HASH)
Suggests: rlwrap
Processing files: metamath-theories-0.198-3.fc37.noarch
Provides: metamath-theories = 0.198-3.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: metamath-doc-0.198-3.fc37.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.1LCNVK
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/licenses/metamath-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/licenses/metamath-doc
+ cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64/usr/share/licenses/metamath-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: metamath-doc = 0.198-3.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: metamath-debugsource-0.198-3.fc37.riscv64
Provides: metamath-debugsource = 0.198-3.fc37 metamath-debugsource(riscv-64) = 0.198-3.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: metamath-debuginfo-0.198-3.fc37.riscv64
Provides: debuginfo(build-id) = 5383b6b307a9eae6a85568c0827142ba2e6cfdd1 metamath-debuginfo = 0.198-3.fc37 metamath-debuginfo(riscv-64) = 0.198-3.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: metamath-debugsource(riscv-64) = 0.198-3.fc37
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64
Wrote: /builddir/build/RPMS/metamath-doc-0.198-3.fc37.noarch.rpm
Wrote: /builddir/build/RPMS/metamath-0.198-3.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/metamath-debuginfo-0.198-3.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/metamath-debugsource-0.198-3.fc37.riscv64.rpm
Wrote: /builddir/build/RPMS/metamath-theories-0.198-3.fc37.noarch.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.TvMjyR
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/metamath-0.198-3.fc37.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.Rx2t6E
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf metamath metamath.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0