.0-1
Requires: libmonabdd.so.1()(64bit) libmonadfa.so.1()(64bit) libmonagta.so.1()(64bit) libmonamem.so.1()(64bit)
Processing files: mona-examples-1.4r17-8.fc31.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.qBxmC5
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ DOCDIR=/builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples
+ cp -pr Examples/ab1.mona Examples/ab2.mona Examples/even.mona Examples/even_with_assert.mona Examples/even_with_pred.mona Examples/html.mona Examples/hyman.mona Examples/lossy_queue.mona Examples/minusmodulo.mona Examples/nadder.mona Examples/plusmodulo.mona Examples/presburger.mona Examples/regexp.mona /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples
+ cp -pr Examples/bdd_volatility /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64/usr/share/doc/mona-examples
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Provides: mona-examples = 1.4r17-8.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /usr/bin/sh
Processing files: mona-emacs-1.4r17-8.fc31.noarch
Provides: mona-emacs = 1.4r17-8.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: mona-xemacs-1.4r17-8.fc31.noarch
Provides: mona-xemacs = 1.4r17-8.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: mona-debugsource-1.4r17-8.fc31.riscv64
Provides: mona-debugsource = 1.4r17-8.fc31 mona-debugsource(riscv-64) = 1.4r17-8.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: mona-debuginfo-1.4r17-8.fc31.riscv64
Provides: debuginfo(build-id) = 8964ed6407bf76e013f71b37f189c280c5bfe63d debuginfo(build-id) = be9dfed2f29c48b89cdf0c4c270d1a2243d9245f debuginfo(build-id) = e260c40cd736d81560b5f5486522cb3d4a2d264f mona-debuginfo = 1.4r17-8.fc31 mona-debuginfo(riscv-64) = 1.4r17-8.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: mona-debugsource(riscv-64) = 1.4r17-8.fc31
Processing files: mona-libs-debuginfo-1.4r17-8.fc31.riscv64
Provides: debuginfo(build-id) = 3c28fa387f1d1559a935e9a1dd3ce09de206efed debuginfo(build-id) = 67f3f9a56b3a6fc9d4fc71f1ea6ff0d70e567bf9 debuginfo(build-id) = b93806f9f0591c4bbf629de53c2408d039aa5988 debuginfo(build-id) = bb176ba133a82ea6b565c8d0099e932a4fc40040 mona-libs-debuginfo = 1.4r17-8.fc31 mona-libs-debuginfo(riscv-64) = 1.4r17-8.fc31
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: mona-debugsource(riscv-64) = 1.4r17-8.fc31
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64
Wrote: /builddir/build/RPMS/mona-examples-1.4r17-8.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/mona-devel-1.4r17-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-emacs-1.4r17-8.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/mona-xemacs-1.4r17-8.fc31.noarch.rpm
Wrote: /builddir/build/RPMS/mona-libs-1.4r17-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-libs-debuginfo-1.4r17-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-1.4r17-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-debugsource-1.4r17-8.fc31.riscv64.rpm
Wrote: /builddir/build/RPMS/mona-debuginfo-1.4r17-8.fc31.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.XQf095
+ umask 022
+ cd /builddir/build/BUILD
+ cd mona-1.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/mona-1.4r17-8.fc31.riscv64
+ RPM_EC=0
BUILDSTDERR: ++ jobs -p
+ exit 0
Child return code was: 0