Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/f36-build-32156558-4371167/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7f7de4bc3ee0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/flocq.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: i686
Building for target i686
setting SOURCE_DATE_EPOCH=1641168000
Wrote: /builddir/build/SRPMS/flocq-3.4.2-8.fc36.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/f36-build-32156558-4371167/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7f7de4bc3ee0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/flocq.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: i686
Building for target i686
setting SOURCE_DATE_EPOCH=1641168000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.3AMFtD
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ /usr/bin/gzip -dc /builddir/build/SOURCES/flocq-3.4.2.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/@COQC@.* -R src Flocq/& -native-compiler yes/' Remakefile.in
+ autoconf -f
configure.in:5: warning: prefer named diversions
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.VFmJOF
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ ./configure
checking for coqc... /usr/bin/coqc
checking Coq version... 8.14.1
checking for coqdep... /usr/bin/coqdep
checking for coqdoc... /usr/bin/coqdoc
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 the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
configure: building remake...
/usr/bin/ld: /tmp/ccEIKC79.o: in function `main':
remake.cpp:(.text.startup+0xc2a): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating Remakefile
config.status: creating src/Version.v
config.status: creating src/IEEE754/SpecFloatCompat.v
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j6 all doc
Building src/Version.vo
Building src/Core/Raux.vo
Building src/Core/Zaux.vo
Building src/Core/Defs.vo
Building src/Core/Digits.vo
Building src/Core/Float_prop.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Version.v | ./remake -r src/Version.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Raux.v | ./remake -r src/Core/Raux.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Zaux.v | ./remake -r src/Core/Zaux.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Defs.v | ./remake -r src/Core/Defs.vo
/usr/bin/coqdep -R src Flocq src/Core/Digits.v | ./remake -r src/Core/Digits.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Float_prop.v | ./remake -r src/Core/Float_prop.vo
Building src/Core/FIX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Version.v
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
Building src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqdep -R src Flocq src/Core/FIX.v | ./remake -r src/Core/FIX.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/IEEE754/SpecFloatCompat.v | ./remake -r src/IEEE754/SpecFloatCompat.vo
Building src/Core/FLT.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/FLT.v | ./remake -r src/Core/FLT.vo
Building src/Core/FLX.vo
Building src/Core/FTZ.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/FLX.v | ./remake -r src/Core/FLX.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/FTZ.v | ./remake -r src/Core/FTZ.vo
Building src/Core/Generic_fmt.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Generic_fmt.v | ./remake -r src/Core/Generic_fmt.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/SpecFloatCompat.v
Building src/Core/Round_NE.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Round_NE.v | ./remake -r src/Core/Round_NE.vo
Building src/Core/Round_pred.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Round_pred.v | ./remake -r src/Core/Round_pred.vo
Building src/Core/Ulp.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Ulp.v | ./remake -r src/Core/Ulp.vo
Building src/Core/Core.vo
Building src/Calc/Bracket.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Core/Core.v | ./remake -r src/Core/Core.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Calc/Bracket.v | ./remake -r src/Calc/Bracket.vo
Building src/Calc/Div.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Calc/Div.v | ./remake -r src/Calc/Div.vo
Building src/Calc/Operations.vo
Building src/Calc/Round.vo
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Building src/Calc/Sqrt.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Calc/Round.v | ./remake -r src/Calc/Round.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Calc/Operations.v | ./remake -r src/Calc/Operations.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Calc/Sqrt.v | ./remake -r src/Calc/Sqrt.vo
Building src/Prop/Div_sqrt_error.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Div_sqrt_error.v | ./remake -r src/Prop/Div_sqrt_error.vo
Building src/Prop/Mult_error.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Mult_error.v | ./remake -r src/Prop/Mult_error.vo
Building src/Prop/Plus_error.vo
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Plus_error.v | ./remake -r src/Prop/Plus_error.vo
Building src/Prop/Relative.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Relative.v | ./remake -r src/Prop/Relative.vo
Building src/Prop/Sterbenz.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Sterbenz.v | ./remake -r src/Prop/Sterbenz.vo
Building src/Prop/Round_odd.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Round_odd.v | ./remake -r src/Prop/Round_odd.vo
Building src/Prop/Double_rounding.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Prop/Double_rounding.v | ./remake -r src/Prop/Double_rounding.vo
Building src/IEEE754/PrimFloat.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/IEEE754/PrimFloat.v | ./remake -r src/IEEE754/PrimFloat.vo
Building src/IEEE754/BinarySingleNaN.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/IEEE754/BinarySingleNaN.v | ./remake -r src/IEEE754/BinarySingleNaN.vo
Building src/IEEE754/Binary.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/IEEE754/Binary.v | ./remake -r src/IEEE754/Binary.vo
Building src/IEEE754/Bits.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/IEEE754/Bits.v | ./remake -r src/IEEE754/Bits.vo
Building src/Pff/Pff.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Pff/Pff.v | ./remake -r src/Pff/Pff.vo
Building src/Pff/Pff2FlocqAux.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Pff/Pff2FlocqAux.v | ./remake -r src/Pff/Pff2FlocqAux.vo
Building src/Pff/Pff2Flocq.vo
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/usr/bin/coqdep -R src Flocq src/Pff/Pff2Flocq.v | ./remake -r src/Pff/Pff2Flocq.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/.coq-native/NFlocq_Version.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Version.vo
/usr/bin/ld: ./src/IEEE754/.coq-native/NFlocq_IEEE754_SpecFloatCompat.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Zaux.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Zaux.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Zaux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Digits.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Raux.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/Pff/Pff.v", line 1088, 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 1293, characters 0-16:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Raux.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Raux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Defs.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Digits.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Digits.vo
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Defs.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Defs.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Round_pred.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Float_prop.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Float_prop.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Float_prop.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Operations.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Bracket.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Round_pred.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Round_pred.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Generic_fmt.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Calc/.coq-native/NFlocq_Calc_Operations.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Calc/Operations.vo
/usr/bin/ld: ./src/Calc/.coq-native/NFlocq_Calc_Bracket.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Calc/Bracket.vo
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Generic_fmt.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Generic_fmt.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Sterbenz.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Sqrt.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Ulp.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Div.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Sterbenz.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Sterbenz.vo
/usr/bin/ld: ./src/Calc/.coq-native/NFlocq_Calc_Div.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Calc/Div.vo
/usr/bin/ld: ./src/Calc/.coq-native/NFlocq_Calc_Sqrt.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Calc/Sqrt.vo
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Ulp.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Ulp.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Round_NE.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Round_NE.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Round_NE.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FIX.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_FIX.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/FIX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FLX.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_FLX.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/FLX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FLT.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FTZ.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_FTZ.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/FTZ.vo
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_FLT.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/FLT.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Double_rounding.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Core.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Core/.coq-native/NFlocq_Core_Core.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Core/Core.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Round.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Relative.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Round_odd.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Relative.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Relative.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Plus_error.v
/usr/bin/ld: ./src/Calc/.coq-native/NFlocq_Calc_Round.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Calc/Round.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/Binary.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/BinarySingleNaN.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Round_odd.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Round_odd.vo
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Plus_error.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Plus_error.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Mult_error.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Mult_error.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Mult_error.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Div_sqrt_error.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Div_sqrt_error.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Div_sqrt_error.vo
/usr/bin/ld: ./src/Prop/.coq-native/NFlocq_Prop_Double_rounding.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Prop/Double_rounding.vo
/usr/bin/ld: ./src/IEEE754/.coq-native/NFlocq_IEEE754_Binary.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/IEEE754/Binary.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/Bits.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
/usr/bin/ld: ./src/IEEE754/.coq-native/NFlocq_IEEE754_BinarySingleNaN.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/IEEE754/BinarySingleNaN.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/PrimFloat.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/IEEE754/Bits.v", line 183, characters 0-79:
Warning:
The syntax [at ... with ...] is deprecated. Use [with ... at ...] instead.
[conversion_at_with,deprecated]
File "./src/IEEE754/PrimFloat.v", line 257, characters 2-6:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 284, characters 55-59:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 324, characters 14-18:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 509, characters 10-18:
Warning: Notation of_int63 is deprecated since 8.14. Use of_uint63 instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 510, characters 51-55:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 515, characters 8-21:
Warning: Notation of_int63_spec is deprecated since 8.14.
Use of_uint63_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 515, characters 8-21:
Warning: Notation of_int63_spec is deprecated since 8.14.
Use of_uint63_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 515, characters 8-21:
Warning: Notation of_int63_spec is deprecated since 8.14.
Use of_uint63_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 521, characters 3-9:
Warning: Notation "_ == _" is deprecated since 8.13. use infix =? instead
[deprecated-notation,deprecated]
File "./src/IEEE754/PrimFloat.v", line 531, characters 3-8:
Warning: Notation "_ < _" is deprecated since 8.13. use infix <? instead
[deprecated-notation,deprecated]
File "./src/IEEE754/PrimFloat.v", line 541, characters 3-9:
Warning: Notation "_ <= _" is deprecated since 8.13. use infix <=? instead
[deprecated-notation,deprecated]
/usr/bin/ld: ./src/IEEE754/.coq-native/NFlocq_IEEE754_PrimFloat.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/IEEE754/PrimFloat.vo
/usr/bin/ld: ./src/IEEE754/.coq-native/NFlocq_IEEE754_Bits.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/IEEE754/Bits.vo
/usr/bin/ld: ./src/Pff/.coq-native/NFlocq_Pff_Pff.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Pff/Pff.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff2FlocqAux.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/Pff/Pff2FlocqAux.v", line 23, characters 0-24:
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]
/usr/bin/ld: ./src/Pff/.coq-native/NFlocq_Pff_Pff2FlocqAux.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Pff/Pff2FlocqAux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff2Flocq.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
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]
/usr/bin/ld: ./src/Pff/.coq-native/NFlocq_Pff_Pff2Flocq.o: warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a shared object
Finished src/Pff/Pff2Flocq.vo
Building all
Finished all
Building html/index.html
which () {  ( alias;
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
rm -rf html
mkdir -p html
/usr/bin/coqdoc -toc -interpolate -utf8 -html -g -R src Flocq -d html \
  --coqlib http://coq.inria.fr/distrib/current/stdlib \
  src/Version.v src/Core/Raux.v src/Core/Zaux.v src/Core/Defs.v src/Core/Digits.v src/Core/Float_prop.v src/Core/FIX.v src/Core/FLT.v src/Core/FLX.v src/Core/FTZ.v src/Core/Generic_fmt.v src/Core/Round_pred.v src/Core/Round_NE.v src/Core/Ulp.v src/Core/Core.v src/Calc/Bracket.v src/Calc/Div.v src/Calc/Operations.v src/Calc/Round.v src/Calc/Sqrt.v src/Prop/Div_sqrt_error.v src/Prop/Mult_error.v src/Prop/Plus_error.v src/Prop/Relative.v src/Prop/Sterbenz.v src/Prop/Round_odd.v src/Prop/Double_rounding.v src/IEEE754/PrimFloat.v src/IEEE754/SpecFloatCompat.v src/IEEE754/BinarySingleNaN.v src/IEEE754/Binary.v src/IEEE754/Bits.v src/Pff/Pff.v src/Pff/Pff2FlocqAux.v src/Pff/Pff2Flocq.v
for f in html/*.html; do
  sed -e 's;<a href="index.html">Index</a>;Go back to the <a href="../index.html">Main page</a> or <a href="index.html">Index</a>.;' -i $f
done
Finished html/index.html
Building doc
Finished doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.atn94p
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386
++ dirname /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ sed -i s,/usr/lib,/builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/lib, Remakefile
+ remake install
Building install
Finished install
+ cp -p src/Version.v /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/lib/ocaml/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 /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/lib/ocaml/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 /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/lib/ocaml/coq/user-contrib/Flocq/Core
+ cp -p src/IEEE754/Binary.v src/IEEE754/BinarySingleNaN.v src/IEEE754/Bits.v src/IEEE754/PrimFloat.v src/IEEE754/SpecFloatCompat.v src/IEEE754/SpecFloatCopy.v /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754
+ cp -p src/Pff/Pff.v src/Pff/Pff2Flocq.v src/Pff/Pff2FlocqAux.v /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/lib/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-3.4.2-8.fc36.i386/usr/lib/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/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: flocq-3.4.2-8.fc36.i686
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.bnHWzm
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ DOCDIR=/builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/doc/flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/doc/flocq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/doc/flocq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/doc/flocq
+ cp -pr README.md /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/doc/flocq
+ cp -pr html /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/doc/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.elw1SU
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ LICENSEDIR=/builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/licenses/flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/licenses/flocq
+ cp -pr COPYING /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386/usr/share/licenses/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: flocq = 3.4.2-8.fc36 flocq(x86-32) = 3.4.2-8.fc36 ocaml(NFlocq_Calc_Bracket) = db74585893f4106281ac3e98335bfe9b ocaml(NFlocq_Calc_Div) = 0ddf80959b364ddd03c7ad3326a73104 ocaml(NFlocq_Calc_Operations) = e473cf06deb4c1e925a2ee544f16173f ocaml(NFlocq_Calc_Round) = 639d0c6f6d5c9ab2385c2346e0bc39ce ocaml(NFlocq_Calc_Sqrt) = b2c9cc42d9afcd48d6eebb17fe1d2212 ocaml(NFlocq_Core_Core) = a854442504e4937f05b8a4e956767569 ocaml(NFlocq_Core_Defs) = 1eb3258c0ecec1ad8b8ee00590ff8504 ocaml(NFlocq_Core_Digits) = a2cdb668df987593c4759d92982f3b12 ocaml(NFlocq_Core_FIX) = 41eb3aa6f60d3d71948e081a9cbe5baa ocaml(NFlocq_Core_FLT) = f3b7e0c8f28a0360dfbd94f82a9dc331 ocaml(NFlocq_Core_FLX) = 24773a9a31bcc3803c14f58bf2758d8a ocaml(NFlocq_Core_FTZ) = 22cc846b6983eef8f94432d7ba98b153 ocaml(NFlocq_Core_Float_prop) = d7fc6cfe496e2fb7cf635ea85b0b06b4 ocaml(NFlocq_Core_Generic_fmt) = 62bad541b5ee838f924c003b92648c7c ocaml(NFlocq_Core_Raux) = 698ea380184e682ecca0e88f0bbbb48f ocaml(NFlocq_Core_Round_NE) = b516ac4126adfa834a46b1f9e9a795b5 ocaml(NFlocq_Core_Round_pred) = 49430400aae6b0fd7cd2137258820750 ocaml(NFlocq_Core_Ulp) = 615848defb41163c307564a6ad881244 ocaml(NFlocq_Core_Zaux) = 1f3cca85962fa6789d75babb0675ec21 ocaml(NFlocq_IEEE754_Binary) = 3ea32226f0892690fd887611ee43aae1 ocaml(NFlocq_IEEE754_BinarySingleNaN) = f6c692c0a223bfd39b5e0b3e38e2b45d ocaml(NFlocq_IEEE754_Bits) = 4acaff8dae02ac7e00f4db1c92cc9063 ocaml(NFlocq_IEEE754_PrimFloat) = c8a3109b8ee6d8481b63539448ccb760 ocaml(NFlocq_IEEE754_SpecFloatCompat) = a038408632485669c9c4bc30740d4877 ocaml(NFlocq_Pff_Pff) = 38493721e7022db05201d82d2fd8f8f0 ocaml(NFlocq_Pff_Pff2Flocq) = 81293a82a604b1ff38fcd002f606ccf3 ocaml(NFlocq_Pff_Pff2FlocqAux) = 587d8207f192a646bc4f7c8dc65bfb5e ocaml(NFlocq_Prop_Div_sqrt_error) = f96cc7d86008e2be0579c7e9f07bf1a8 ocaml(NFlocq_Prop_Double_rounding) = 1bcd50f4ed73ea8b4edc3f35f74a34aa ocaml(NFlocq_Prop_Mult_error) = d2950418dec90952389c7bc0b6fafd04 ocaml(NFlocq_Prop_Plus_error) = ab8f412652ce8eedc5d639c7690e630a ocaml(NFlocq_Prop_Relative) = 5582b0f1c40a866fe0c8b8341fa86329 ocaml(NFlocq_Prop_Round_odd) = 34a73617525c91f791161cfe31d38216 ocaml(NFlocq_Prop_Sterbenz) = da710457dadb40de681dcbb9d8b861b1 ocaml(NFlocq_Version) = e5d7e66779e63ff18b478e83bb78e2ea ocamlx(NFlocq_Calc_Bracket) = 71498ddcfd3b0774feb6b1f59c997bc4 ocamlx(NFlocq_Calc_Div) = 9c64203cd48f1aa34122131b12c65278 ocamlx(NFlocq_Calc_Operations) = c043a624ede3271bc12729b264703246 ocamlx(NFlocq_Calc_Round) = ffec0caf19a192472ce7669ab86abd03 ocamlx(NFlocq_Calc_Sqrt) = fe9ff190ca230bdf157e6492c277af5f ocamlx(NFlocq_Core_Core) = 828451a866aaeba1f153329a6d9c10c3 ocamlx(NFlocq_Core_Defs) = 1141b0d6b8e5c93d0409920ef69173ae ocamlx(NFlocq_Core_Digits) = 989044f8b503d64e4f6df1032c122fa0 ocamlx(NFlocq_Core_FIX) = a50f54335a57bf6873a59221d5809607 ocamlx(NFlocq_Core_FLT) = f81466d2e534b662f9685d8d05988ff5 ocamlx(NFlocq_Core_FLX) = 3ac791ca09d64488212f0b6f44e4a317 ocamlx(NFlocq_Core_FTZ) = dbdc85d07350a028c6a2a209f94982b3 ocamlx(NFlocq_Core_Float_prop) = 49b812181fb9d722e7d2a83484156de3 ocamlx(NFlocq_Core_Generic_fmt) = f0181b79de5fc18366554cfe10be3b5b ocamlx(NFlocq_Core_Raux) = f5679031f269ac7343e3406d1fa80f26 ocamlx(NFlocq_Core_Round_NE) = 3779ac832459b9a8debd2ba76b9c7a76 ocamlx(NFlocq_Core_Round_pred) = 9bc6cb9f36016b98b739eb0bd7bfc31a ocamlx(NFlocq_Core_Ulp) = b0fae9a972069c0abe7670294b0f6a7a ocamlx(NFlocq_Core_Zaux) = e084731a43afe2e7b985a6933b9ce567 ocamlx(NFlocq_IEEE754_Binary) = 535fb68a84617d2fe2cc4963aef62f27 ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 5d2b44bebd794c219aa6185fff3c1335 ocamlx(NFlocq_IEEE754_Bits) = be900cb2c9a65cae49ab3e0d1a3d86f5 ocamlx(NFlocq_IEEE754_PrimFloat) = 136871766dd622bc209d8b46d14d35ab ocamlx(NFlocq_IEEE754_SpecFloatCompat) = 3079eaf95610f631ac35b6a16abb7706 ocamlx(NFlocq_Pff_Pff) = feb4cafd601048b834c68ab9ef7dc83f ocamlx(NFlocq_Pff_Pff2Flocq) = 5105aff045ac0005b9ccb7e24980ea6f ocamlx(NFlocq_Pff_Pff2FlocqAux) = b3f3c4e76624cb3df72ccac4539b28fc ocamlx(NFlocq_Prop_Div_sqrt_error) = 73c76eefe4a9907adfb796b661d6e0f3 ocamlx(NFlocq_Prop_Double_rounding) = c88b312a67ef89d5c11e72f1e1a4fdc9 ocamlx(NFlocq_Prop_Mult_error) = 98aaca98d7ea47846601f1ff97c6dd6f ocamlx(NFlocq_Prop_Plus_error) = 88a6eb359bed2e2a72a40fd028e29c42 ocamlx(NFlocq_Prop_Relative) = 3c640103655f194d1c87322f239adcef ocamlx(NFlocq_Prop_Round_odd) = ee68782100fbabf681ebe09f317b8443 ocamlx(NFlocq_Prop_Sterbenz) = 6885968f5b758d8e0394e599cb6b325e ocamlx(NFlocq_Version) = 85d3d17da56e40bd5b3f0b43c1928553
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = b8e201a8ead94cdd88c7a0e751f8beee ocaml(CArray) = e74a4d57105c1a277c8628a9395810ac ocaml(CAst) = 1941c51af31984729b6deeee4d7c2045 ocaml(CDebug) = 2a510459476fdcb5b46ada5e50176c62 ocaml(CEphemeron) = 5ee9fe79aebc8306566a2eaead479e76 ocaml(CList) = 72d3e92e65b6a4736e78ae947f3daa81 ocaml(CMap) = 5beb4970eed50ed0e74e44b65f48ab19 ocaml(CPrimitives) = 75c49c217d877af632f5ba11e935e44b ocaml(CSet) = 5cca5163609ec59141bd9cb1f72c6712 ocaml(CSig) = 8aa60f1f96fd7055e578e67dcd4f25ef ocaml(CString) = 5dcbf5d00038e5fd771486e8ca4387e1 ocaml(CUnix) = 09ed2aaf1298d1c08ad84d9e406fb772 ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(CamlinternalLazy) = 82103148a05e285950684f44991b3567 ocaml(Constr) = e508eaf665e32a72463c4b2347a2d769 ocaml(Context) = 2b3c5a55f0eff63b4a6b0da570b52fb0 ocaml(Conv_oracle) = 56f9f7654faa77ef7d7e4449a62da2a5 ocaml(Declarations) = 0b33a3c8e4e2d3d1e7cd742a89183552 ocaml(Environ) = 5c092fdafda7f6ad14948ca1e010d829 ocaml(Esubst) = 30e585d4a653a5c02c425138f564f177 ocaml(Evar) = a78e993ecdbb202797ddc6db04e0d7cf ocaml(Exninfo) = 61fa04521744c11f5aa289957c6324b7 ocaml(Float64) = ff8c9c0add6941870cedce636597a30d ocaml(Future) = 8c8289cb6dc5fa4ef842f54c6602896d ocaml(Hashcons) = 39f7c6594d21c5f4b9c0893a9c8e2b52 ocaml(Hashset) = 946306330b754f24e774b52c73363fa2 ocaml(Int) = bd38d72b03d330bc83a41a2ecdbadbc1 ocaml(Loc) = 3c9f07321aef6a1772772dfd3168dcd7 ocaml(Mod_subst) = f6cfe1259ef1e1f78d7b52c72cb3d53a ocaml(NCoq_Arith_Factorial) = 0dfec0ac805a25a69a5efc3353332060 ocaml(NCoq_Arith_PeanoNat) = 5607367573be3a505681e991ca8ba1d6 ocaml(NCoq_Bool_Bool) = 54e801af2dd94b3e7cde7b485b8614ab ocaml(NCoq_Bool_Sumbool) = bcef89d36a002535b0a9538356d96ac6 ocaml(NCoq_Classes_Morphisms) = 52cd83b84222864d580f8e09896119f7 ocaml(NCoq_Classes_Morphisms_Prop) = 4faac984880af5fc8740954a1b936c59 ocaml(NCoq_Classes_RelationClasses) = eaa9a7bbbaca04c4ebe50db32d97e890 ocaml(NCoq_Floats_FloatAxioms) = aa4bb8a4d967cbbcd187c0a80c8f9e8a ocaml(NCoq_Floats_FloatClass) = 27e75e1f53388c3e0d5b070da4734eee ocaml(NCoq_Floats_FloatOps) = a525ac2eace7d01341935ca75801b1dd ocaml(NCoq_Floats_PrimFloat) = c1454f21b1f064de3525c811c0018e7e ocaml(NCoq_Floats_SpecFloat) = bee70705e4a06d023136f313f39ed4dd ocaml(NCoq_Init_Datatypes) = 8c0bc7f08a835740598839eeb66e7d58 ocaml(NCoq_Init_Decimal) = 70743e8e5ed0437941079ce39d219469 ocaml(NCoq_Init_Hexadecimal) = 60f7d874659ddf3e740d29925ce68545 ocaml(NCoq_Init_Logic) = 19aa53dca84aae4f3c204730995d2253 ocaml(NCoq_Init_Nat) = c6d8c96f0002471ee7ce88dc9c77be48 ocaml(NCoq_Init_Number) = de4b5afb6dbf759b31814da73ca1c454 ocaml(NCoq_Init_Peano) = 5ddf028ed7dd150822d71aac2f421a31 ocaml(NCoq_Init_Specif) = fc37dffc830feb7eb99f6a4a20c65f43 ocaml(NCoq_Init_Wf) = 0622ec95bf8cdedccfb53c0790216c83 ocaml(NCoq_Lists_List) = 4b7011b9b4bf2c96729653ca8d69bb76 ocaml(NCoq_NArith_BinNat) = a5c1c4bd55f89a1987920b919a3bd4f7 ocaml(NCoq_Numbers_BinNums) = 2cc8924fa9ecbdd2efa38c9c265ed7bb ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = 5ddb5dec2364ec49fe97900a5bfd2934 ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = 9436a661e0345c3cdc2f80377d54dc8f ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 72fd35c7e860e6c607581374ce9f8a23 ocaml(NCoq_PArith_BinPos) = b93985cb4f6aee6b4f0d67821ddaa41c ocaml(NCoq_Program_Basics) = b72cd8be1f3918abaa38b599741a3308 ocaml(NCoq_QArith_QArith_base) = 52cf0aeeda2e655d7cfbf1c798e24af5 ocaml(NCoq_QArith_Qabs) = 3e7b604b794ae429ed39ec52c7423a3b ocaml(NCoq_QArith_Qreduction) = fa7688d1ddc22a0f651809dca804ebc2 ocaml(NCoq_Reals_Alembert) = cb9b440ca259088940119515bc066998 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 2b86d02ef4d5f9c1fece1aeefa5a23aa ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 5a357b0f3c7a9ca01791574a008c5ffa ocaml(NCoq_Reals_Cauchy_QExtra) = b23905d524206052ea012c4d5b0d03b6 ocaml(NCoq_Reals_RIneq) = 1d66a24a5a70408c52fefcaf4d9fa180 ocaml(NCoq_Reals_R_sqrt) = eb39b40a87c802cc1252d0521d0377ba ocaml(NCoq_Reals_Raxioms) = 52ffd5505b15f61545bf04574d722923 ocaml(NCoq_Reals_Rbasic_fun) = e02c60e81685d090db19009f9ff4ac9f ocaml(NCoq_Reals_Rdefinitions) = fb058da89821fc34793b3804769b5a26 ocaml(NCoq_Reals_Rfunctions) = b916bc08661fb67f67c1c0b9eec20864 ocaml(NCoq_Reals_Rpow_def) = 21b1f26ca2494d167c6a7d72ebc76d23 ocaml(NCoq_Reals_Rpower) = efe0a96cc79c9610fefd636dc4ee5e33 ocaml(NCoq_Reals_Rsqrt_def) = 4b76ee1038167674a2c484c4be85015f ocaml(NCoq_Reals_Rtrigo_def) = b37a0febee2b2d2eb2d575381d81a34c ocaml(NCoq_Reals_Rtrigo_fun) = a302cd726d9a50414c7ce40e2c845cea ocaml(NCoq_Relations_Relation_Definitions) = d7f195d0db6b7b6695f5e4d60b8f59a6 ocaml(NCoq_Structures_OrdersTac) = e7b088855b8756d8bda41776c359d90b ocaml(NCoq_ZArith_BinInt) = 1933398a6b4f078da4fb5d2ceea0850e ocaml(NCoq_ZArith_BinIntDef) = 71694a213b2c107b05ffcbd6734e4ee1 ocaml(NCoq_ZArith_ZArith_dec) = 8b26b13f8850275e7765282a47e91cf9 ocaml(NCoq_ZArith_Zbool) = 3ff082d541a030ac120e25ea37844920 ocaml(NCoq_ZArith_Zeven) = 52f08cbb87fd2767497f7d14a0cbe368 ocaml(NCoq_ZArith_Znat) = fef108c95dd3845fc1bb6e0fb57d52bb ocaml(NCoq_ZArith_Zorder) = a398b2512ddf1628e8c370fa40a4cd20 ocaml(NCoq_ZArith_Zpower) = dd63717721eda931c9ecb2078bd3c15e ocaml(NCoq_setoid_ring_Ring_theory) = 2bfb60536e5504365bb9449116a96ec2 ocaml(NFlocq_Calc_Bracket) = db74585893f4106281ac3e98335bfe9b ocaml(NFlocq_Calc_Operations) = e473cf06deb4c1e925a2ee544f16173f ocaml(NFlocq_Calc_Round) = 639d0c6f6d5c9ab2385c2346e0bc39ce ocaml(NFlocq_Core_Defs) = 1eb3258c0ecec1ad8b8ee00590ff8504 ocaml(NFlocq_Core_Digits) = a2cdb668df987593c4759d92982f3b12 ocaml(NFlocq_Core_FLT) = f3b7e0c8f28a0360dfbd94f82a9dc331 ocaml(NFlocq_Core_Generic_fmt) = 62bad541b5ee838f924c003b92648c7c ocaml(NFlocq_Core_Raux) = 698ea380184e682ecca0e88f0bbbb48f ocaml(NFlocq_Core_Ulp) = 615848defb41163c307564a6ad881244 ocaml(NFlocq_Core_Zaux) = 1f3cca85962fa6789d75babb0675ec21 ocaml(NFlocq_IEEE754_Binary) = 3ea32226f0892690fd887611ee43aae1 ocaml(NFlocq_IEEE754_BinarySingleNaN) = f6c692c0a223bfd39b5e0b3e38e2b45d ocaml(NFlocq_Pff_Pff) = 38493721e7022db05201d82d2fd8f8f0 ocaml(Names) = 68f75b4f79ac769537d5178a824861a2 ocaml(Nativecode) = 2cd815092e69a8aa5424db1269c8864a ocaml(Nativeconv) = 84ecdf8bf288f74bf65e7bfda8ac53f6 ocaml(Nativelambda) = 42b75ec7b8e0d2d185fec0ca6e8bfd82 ocaml(Nativelib) = e86900c4a84c1cbe1f5b7e08b00bd305 ocaml(Nativevalues) = fd70f719cc9a413a5bc24efa6ae152a8 ocaml(Opaqueproof) = b57f22870bf3f7d2b91d467bfa9cf387 ocaml(Parray) = 6332116c00adb8142f6213d3ee99cd97 ocaml(Pp) = 5c8e63aebff694259d9923adb5f2ca6e ocaml(Predicate) = 566e87b7f5bdfd423a6122b4d506b65a ocaml(Range) = 3ef0c647778e3174a1d7a671747da757 ocaml(Reduction) = 1792f5fba9c81e857981c9feace192a6 ocaml(Retroknowledge) = 9d493dd40831f8df9a50b14c34328c8e ocaml(Rtree) = b6fea44d0c319ee525ed36df57913537 ocaml(Sorts) = 2c3af228ed9561115aaea57207930f13 ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Array) = 581e55eba14aacb7d3a90da809c6bf38 ocaml(Stdlib__Bigarray) = 0658efab07b830634f1823572d2cce61 ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Complex) = dc5b34d1ccde5a5d3b060f66f0bf3ab0 ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 ocaml(Stdlib__Int64) = 55e959e4ff2aaf232f465daffa26c424 ocaml(Stdlib__Lazy) = dee386391ddbe73d02c1439b3b21df37 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0 ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4 ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Set) = 62a5b2299175dac791c30d62e1518738 ocaml(Stdlib__Stream) = 508fa75f145a1e8a5da1117c68d3fbf8 ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocaml(Term) = 22bd35b45be29a5ba103652823c808d3 ocaml(TransparentState) = 009b3d8fa7c9c54187c7025942a61d76 ocaml(UGraph) = 07baac3fb5dd39f83649988629cb61ce ocaml(Uint63) = e631870e0577dfb0c5340dc4af44ea1f ocaml(Univ) = a454196adab25de43dc0b4c61e4771fe ocaml(Unix) = 49c6c492a189deeaed5bf77a6793e7fa ocaml(Util) = 61ca92100b452100bccb394183dd771b ocaml(Vmbytecodes) = 271dd8028b2bdcf67c7b4efaa4f6c135 ocaml(Vmemitcodes) = 8856496eee7a1ffe121effc944f29c59 ocaml(Vmvalues) = 5f8a72e8f4a6eddd47c98310be0521a7 ocamlx(CamlinternalLazy) = a070cf58a226ab895ee0ca67b076be0b ocamlx(NCoq_Bool_Bool) = 7f566fed2889fd89bd15e3e5fd0fc32d ocamlx(NCoq_Floats_FloatAxioms) = e63d5f8701b5f67c8261905ddbeb644a ocamlx(NCoq_Floats_FloatOps) = 440e63a92886c93c3afbd389c74db304 ocamlx(NCoq_Floats_SpecFloat) = 7a5fcdd617930a0f095c63a00215e03e ocamlx(NCoq_Init_Datatypes) = 5cef474333a5e2f83e05de3cabaa6592 ocamlx(NCoq_Init_Logic) = c0b162a57ab945ba9ca97f35f93c65ce ocamlx(NCoq_Init_Nat) = 432bb31e82b4ff2c8d55fd40b00da8f6 ocamlx(NCoq_Init_Specif) = ae1199c35ed3914c1525488d8b2dab69 ocamlx(NCoq_Lists_List) = d68a68952a2180a1f256b29308d7cdbf ocamlx(NCoq_NArith_BinNat) = 85c662bf1781f5c28dd6e6d41116a32c ocamlx(NCoq_Numbers_BinNums) = 7be9f23fa1f9130fd759d81132a06399 ocamlx(NCoq_PArith_BinPos) = e2646fe500d7cfcde2d1b18771cc393c ocamlx(NCoq_Reals_RIneq) = 9e621521bb88c0691df1e032b307c2ed ocamlx(NCoq_Reals_R_sqrt) = b13546520341c475812620a645d3dedd ocamlx(NCoq_Reals_Rbasic_fun) = 7d2668d45a9120deab934bccd6c0d2c2 ocamlx(NCoq_Reals_Rdefinitions) = da379846b929f8d17d9ecc5306d8aac8 ocamlx(NCoq_Reals_Rfunctions) = ef8e7c60df8bc9b65eb20bbb5e347d7d ocamlx(NCoq_Reals_Rpower) = bbccdb5fc2ab8727786de366a94e191c ocamlx(NCoq_ZArith_BinInt) = 23b512a6112b642bb09752c394af7641 ocamlx(NCoq_ZArith_BinIntDef) = c52c889ebbaffa9db1fc5759128609b7 ocamlx(NCoq_ZArith_ZArith_dec) = 35e4df1c8e78bb2cbb80c1e1ccf038c5 ocamlx(NCoq_ZArith_Zbool) = fdf0790491594a79f5cf80f1fca12de0 ocamlx(NCoq_ZArith_Zorder) = 536143d5e4eea1e9df6f8ba27a2f9edd ocamlx(NCoq_ZArith_Zpower) = 6825aceea56fa26da6a4ed3bed405f14 ocamlx(NFlocq_Calc_Bracket) = 71498ddcfd3b0774feb6b1f59c997bc4 ocamlx(NFlocq_Calc_Operations) = c043a624ede3271bc12729b264703246 ocamlx(NFlocq_Calc_Round) = ffec0caf19a192472ce7669ab86abd03 ocamlx(NFlocq_Core_Defs) = 1141b0d6b8e5c93d0409920ef69173ae ocamlx(NFlocq_Core_Digits) = 989044f8b503d64e4f6df1032c122fa0 ocamlx(NFlocq_Core_FLT) = f81466d2e534b662f9685d8d05988ff5 ocamlx(NFlocq_Core_Generic_fmt) = f0181b79de5fc18366554cfe10be3b5b ocamlx(NFlocq_Core_Raux) = f5679031f269ac7343e3406d1fa80f26 ocamlx(NFlocq_Core_Ulp) = b0fae9a972069c0abe7670294b0f6a7a ocamlx(NFlocq_Core_Zaux) = e084731a43afe2e7b985a6933b9ce567 ocamlx(NFlocq_IEEE754_Binary) = 535fb68a84617d2fe2cc4963aef62f27 ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 5d2b44bebd794c219aa6185fff3c1335 ocamlx(NFlocq_Pff_Pff) = feb4cafd601048b834c68ab9ef7dc83f ocamlx(Nativecode) = 41d325dad915e26568a8fd7fcc6ced90 ocamlx(Nativevalues) = 81c21f362b5f475c4683a86a8e233336 rtld(GNU_HASH)
Processing files: flocq-source-3.4.2-8.fc36.i686
Provides: flocq-source = 3.4.2-8.fc36 flocq-source(x86-32) = 3.4.2-8.fc36
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-3.4.2-8.fc36.i386
Wrote: /builddir/build/RPMS/flocq-source-3.4.2-8.fc36.i686.rpm
Wrote: /builddir/build/RPMS/flocq-3.4.2-8.fc36.i686.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.jhwBIk
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.i386
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0