/Core/Defs.v src/Core/Digits.v src/Core/FIX.v src/Core/FLT.v src/Core/FLX.v src/Core/FTZ.v src/Core/Float_prop.v src/Core/Generic_fmt.v src/Core/Raux.v src/Core/Round_NE.v src/Core/Round_pred.v src/Core/Ulp.v src/Core/Zaux.v /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/lib64/ocaml/coq/user-contrib/Flocq/Core
+ cp -p src/IEEE754/Binary.v src/IEEE754/BinarySingleNaN.v src/IEEE754/Bits.v src/IEEE754/Int63Compat.v src/IEEE754/Int63Copy.v src/IEEE754/PrimFloat.v /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754
+ cp -p src/Pff/Nat2Z_8_12.v src/Pff/Nat2Z_compat.v src/Pff/Pff.v src/Pff/Pff2Flocq.v src/Pff/Pff2FlocqAux.v /builddir/build/BUILDROOT/flocq-4.1.4-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.4-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.4-1.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.sehtkb
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52
+ DOCDIR=/builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/doc/flocq
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52/AUTHORS /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52/NEWS.md /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52/README.md /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/doc/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52/html /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/doc/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ZC0UyD
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52
+ LICENSEDIR=/builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/licenses/flocq
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/licenses/flocq
+ cp -pr /builddir/build/BUILD/flocq-flocq-4.1.4-c5f475dd493d8f83c69d6959e531bf73c359da52/COPYING /builddir/build/BUILDROOT/flocq-4.1.4-1.fc40.riscv64/usr/share/licenses/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: flocq = 4.1.4-1.fc40 flocq(riscv-64) = 4.1.4-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.4-1.fc40.riscv64
Provides: flocq-source = 4.1.4-1.fc40 flocq-source(riscv-64) = 4.1.4-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.4-1.fc40.riscv64
Wrote: /builddir/build/RPMS/flocq-source-4.1.4-1.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/flocq-4.1.4-1.fc40.riscv64.rpm
Child return code was: 0