mpat.v src/Pff/Pff.v src/Pff/Pff2Flocq.v src/Pff/Pff2FlocqAux.v /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff
+ cp -p src/Prop/Div_sqrt_error.v src/Prop/Double_rounding.v src/Prop/Mult_error.v src/Prop/Plus_error.v src/Prop/Relative.v src/Prop/Round_odd.v src/Prop/Sterbenz.v /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: flocq-4.1.3-1.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.oVKHCu
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3
+ DOCDIR=/builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/doc/flocq
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3/AUTHORS /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3/NEWS.md /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3/README.md /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3/html /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/doc/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.is18nm
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3
+ LICENSEDIR=/builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/licenses/flocq
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/licenses/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3/COPYING /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64/usr/share/licenses/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: flocq = 4.1.3-1.fc40 flocq(riscv-64) = 4.1.3-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: flocq-source-4.1.3-1.fc40.riscv64
Provides: flocq-source = 4.1.3-1.fc40 flocq-source(riscv-64) = 4.1.3-1.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64
Wrote: /builddir/build/RPMS/flocq-source-4.1.3-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/flocq-4.1.3-1.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.jLzMj0
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/flocq-4.1.3-1.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.vvNO23
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3-SPECPARTS
+ rm -rf flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3 flocq-flocq-4.1.3-5162468486c3a4ac0d4b3ea2b587d952b3e22ec3.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0