D: [iurt_root_command] chroot
Installing /home/iurt/rpmbuild/SRPMS/coq-flocq-3.2.0-1.mga8.src.rpm
Building target platforms: aarch64
Building for target aarch64
Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.3rnEcg
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/iurt/rpmbuild/BUILD
+ rm -rf flocq-3.2.0
+ /usr/bin/gzip -dc /home/iurt/rpmbuild/SOURCES/flocq-3.2.0.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd flocq-3.2.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.Xe6kdh
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd flocq-3.2.0
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ ./configure
checking for g++... g++
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for coqc... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for coqdoc... /usr/bin/coqdoc
configure: building remake...
/usr/bin/ld: /tmp/ccqNk2Lq.o: in function `main':
remake.cpp:(.text.startup+0x744): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating Remakefile
config.status: creating src/Version.v
+ ./remake all doc
Building src/Version.vo
Finished src/Version.vo
Building src/Core/Raux.vo
Building src/Core/Zaux.vo
Finished src/Core/Zaux.vo
Finished src/Core/Raux.vo
Building src/Core/Defs.vo
Finished src/Core/Defs.vo
Building src/Core/Digits.vo
Finished src/Core/Digits.vo
Building src/Core/Float_prop.vo
Finished src/Core/Float_prop.vo
Building src/Core/FIX.vo
Building src/Core/Generic_fmt.vo
Building src/Core/Round_pred.vo
Finished src/Core/Round_pred.vo
Finished src/Core/Generic_fmt.vo
Building src/Core/Round_NE.vo
Building src/Core/Ulp.vo
Finished src/Core/Ulp.vo
Finished src/Core/Round_NE.vo
Finished src/Core/FIX.vo
Building src/Core/FLT.vo
Building src/Core/FLX.vo
Finished src/Core/FLX.vo
Finished src/Core/FLT.vo
Building src/Core/FTZ.vo
Finished src/Core/FTZ.vo
Building src/Core/Core.vo
Finished src/Core/Core.vo
Building src/Calc/Bracket.vo
Finished src/Calc/Bracket.vo
Building src/Calc/Div.vo
Finished src/Calc/Div.vo
Building src/Calc/Operations.vo
Finished src/Calc/Operations.vo
Building src/Calc/Round.vo
Finished src/Calc/Round.vo
Building src/Calc/Sqrt.vo
Finished src/Calc/Sqrt.vo
Building src/Prop/Div_sqrt_error.vo
Building src/Prop/Mult_error.vo
Building src/Prop/Plus_error.vo
Building src/Prop/Relative.vo
Finished src/Prop/Relative.vo
Finished src/Prop/Plus_error.vo
Finished src/Prop/Mult_error.vo
Building src/Prop/Sterbenz.vo
Finished src/Prop/Sterbenz.vo
Finished src/Prop/Div_sqrt_error.vo
Building src/Prop/Round_odd.vo
Finished src/Prop/Round_odd.vo
Building src/Prop/Double_rounding.vo
Finished src/Prop/Double_rounding.vo
Building src/IEEE754/Binary.vo
Finished src/IEEE754/Binary.vo
Building src/IEEE754/Bits.vo
Finished src/IEEE754/Bits.vo
Building src/Pff/Pff.vo
File "./src/Pff/Pff.v", line 1090, characters 0-30:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
File "./src/Pff/Pff.v", line 1295, characters 0-16:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
Finished src/Pff/Pff.vo
Building src/Pff/Pff2FlocqAux.vo
File "./src/Pff/Pff2FlocqAux.v", line 23, characters 0-31:
Warning:
New coercion path [BinInt.Z.of_nat; Rdefinitions.IZR] : nat >-> Rdefinitions.RbaseSymbolsImpl.R is ambiguous with existing 
[Raxioms.INR] : nat >-> Rdefinitions.RbaseSymbolsImpl.R.
[ambiguous-paths,typechecker]
Finished src/Pff/Pff2FlocqAux.vo
Building src/Pff/Pff2Flocq.vo
File "./src/Pff/Pff2Flocq.v", line 23, characters 0-32:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
Finished src/Pff/Pff2Flocq.vo
Building all
Finished all
Building html/index.html
Finished html/index.html
Building doc
Finished doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.eb4wUi
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ '[' 1 -eq 1 ']'
+ '[' /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64 '!=' / ']'
+ rm -rf /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64
++ dirname /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64
+ mkdir -p /home/iurt/rpmbuild/BUILDROOT
+ mkdir /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64
+ cd flocq-3.2.0
+ '[' 1 -eq 1 ']'
+ sed -i s,/usr/lib64,/home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64, Remakefile
+ ./remake install
Building install
Finished install
+ cp -p src/Version.v /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64/coq/user-contrib/Flocq
+ cp -p src/Calc/Bracket.v src/Calc/Div.v src/Calc/Operations.v src/Calc/Round.v src/Calc/Sqrt.v /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64/coq/user-contrib/Flocq/Calc
+ cp -p src/Core/Core.v src/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 /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64/coq/user-contrib/Flocq/Core
+ cp -p src/IEEE754/Binary.v src/IEEE754/Bits.v /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64/coq/user-contrib/Flocq/IEEE754
+ cp -p src/Pff/Pff.v src/Pff/Pff2Flocq.v src/Pff/Pff2FlocqAux.v /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64/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 /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/lib64/coq/user-contrib/Flocq/Prop
+ /usr/lib/rpm/check-buildroot
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/compress_files .xz
+ '[' -n '' ']'
+ /usr/share/spec-helper/relink_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_perl
+ '[' -n '' ']'
+ /usr/share/spec-helper/lib_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/gprintify
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_mo
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_pamd
+ '[' -n '' ']'
+ /usr/share/spec-helper/remove_info_dir
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_eol
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_desktop_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_elf_files
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/brp-strip-shared /usr/bin/strip
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python3 1 1
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: coq-flocq-3.2.0-1.mga8.aarch64
Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.lB2UDi
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd flocq-3.2.0
+ DOCDIR=/home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ cp -pr AUTHORS /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ cp -pr COPYING /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ cp -pr NEWS.md /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ cp -pr README.md /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ cp -pr html /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64/usr/share/doc/coq-flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: coq-flocq = 3.2.0-1.mga8 coq-flocq(aarch-64) = 3.2.0-1.mga8
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 /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64
Wrote: /home/iurt/rpmbuild/RPMS/aarch64/coq-flocq-3.2.0-1.mga8.aarch64.rpm
Executing(%clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.XKBqbj
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ cd flocq-3.2.0
+ /usr/bin/rm -rf /home/iurt/rpmbuild/BUILDROOT/coq-flocq-3.2.0-1.mga8.aarch64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(--clean): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.IJbT9h
+ umask 022
+ cd /home/iurt/rpmbuild/BUILD
+ rm -rf flocq-3.2.0
+ RPM_EC=0
++ jobs -p
+ exit 0
D: [iurt_root_command] Success!