Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/f36-build-32156562-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 0x7f14358f3ee0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --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: x86_64
Building for target x86_64
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 x86_64 --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/f36-build-32156562-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 0x7f14358f3ee0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1641168000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.6bLM0a
+ 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.UEI2kV
+ 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/ccIr5S8Z.o: in function `main':
remake.cpp:(.text.startup+0xb2d): 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;
/usr/bin/coqdep -R src Flocq src/Core/Defs.v | ./remake -r src/Core/Defs.vo
 eval ${which_declare} ) | /usr/bin/which --tty-only --read-alias --read-functions --show-tilde --show-dot $@
}
/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
Building 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/FIX.v | ./remake -r src/Core/FIX.vo
Building src/Core/FLX.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/IEEE754/SpecFloatCompat.v | ./remake -r src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqdep -R src Flocq src/Core/FLT.v | ./remake -r 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/FLX.v | ./remake -r 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/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
Building src/Core/Round_pred.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/Core/Round_NE.v | ./remake -r src/Core/Round_NE.vo
/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
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
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/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
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
Building 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/Round.v | ./remake -r src/Calc/Round.vo
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/Sqrt.v | ./remake -r src/Calc/Sqrt.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/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
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
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/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
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/Round_odd.v | ./remake -r 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/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
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/Pff2FlocqAux.v | ./remake -r 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/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]
Finished src/Version.vo
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]
Finished src/Core/Zaux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Raux.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Digits.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]
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]
Finished src/Core/Digits.vo
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]
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]
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]
Finished src/Calc/Operations.vo
Finished src/Calc/Bracket.vo
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/Core/Ulp.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Div.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Sqrt.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]
Finished src/Prop/Sterbenz.vo
Finished src/Calc/Sqrt.vo
Finished src/Calc/Div.vo
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]
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]
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]
Finished src/Core/FLX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FTZ.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FLT.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]
Finished src/Core/FTZ.vo
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]
Finished src/Core/Core.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Round_odd.v
/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
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]
Finished src/Prop/Relative.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Plus_error.v
Finished src/Calc/Round.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/BinarySingleNaN.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/Binary.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]
Finished src/Prop/Round_odd.vo
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]
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]
Finished src/Prop/Div_sqrt_error.vo
Finished src/Prop/Double_rounding.vo
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]
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]
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/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 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]
Finished src/IEEE754/PrimFloat.vo
Finished src/IEEE754/Bits.vo
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]
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]
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.Kx49bc
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64
++ dirname /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ sed -i s,/usr/lib64,/builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/lib64, Remakefile
+ remake install
Building install
Finished install
+ cp -p src/Version.v /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/lib64/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.x86_64/usr/lib64/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.x86_64/usr/lib64/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.x86_64/usr/lib64/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.x86_64/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-3.4.2-8.fc36.x86_64/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/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: flocq-3.4.2-8.fc36.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.w1OPZ5
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ DOCDIR=/builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/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.x86_64/usr/share/doc/flocq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/share/doc/flocq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/share/doc/flocq
+ cp -pr README.md /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/share/doc/flocq
+ cp -pr html /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/share/doc/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.6rcXlS
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.2-ca655d2542bdcf024bce5c26dbc0f13b856aa1f6
+ LICENSEDIR=/builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/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.x86_64/usr/share/licenses/flocq
+ cp -pr COPYING /builddir/build/BUILDROOT/flocq-3.4.2-8.fc36.x86_64/usr/share/licenses/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: flocq = 3.4.2-8.fc36 flocq(x86-64) = 3.4.2-8.fc36 ocaml(NFlocq_Calc_Bracket) = 15bdb2882ddc00e74d2cf05a9ffbb0c5 ocaml(NFlocq_Calc_Div) = e19fc03c0fdc53c46940db653acf75ff ocaml(NFlocq_Calc_Operations) = 63dabd40bc69b019fb92ba805946faff ocaml(NFlocq_Calc_Round) = 950513d70e00b82d15145343e714460d ocaml(NFlocq_Calc_Sqrt) = 9eb4a98cfb3e7f42ca1b7ed7983dc6d9 ocaml(NFlocq_Core_Core) = a854442504e4937f05b8a4e956767569 ocaml(NFlocq_Core_Defs) = 023b6d510eb02c63731be8af1fc78aa3 ocaml(NFlocq_Core_Digits) = 11d93f3ba8e57c43c3aff98acfb2236b ocaml(NFlocq_Core_FIX) = 9fc5c709046253ffdef9fb955a8e793e ocaml(NFlocq_Core_FLT) = 9818e0f2f20a34a634e46d44094af998 ocaml(NFlocq_Core_FLX) = 817cfa84ea8226bc0e55b25a8d25ff15 ocaml(NFlocq_Core_FTZ) = 4d475f08ab5b8aa896ce26c383de6968 ocaml(NFlocq_Core_Float_prop) = d7fc6cfe496e2fb7cf635ea85b0b06b4 ocaml(NFlocq_Core_Generic_fmt) = e3137387d235c8412758bfb2bf60ca51 ocaml(NFlocq_Core_Raux) = 690bd450b53719e548d19e33c14c4bc7 ocaml(NFlocq_Core_Round_NE) = b516ac4126adfa834a46b1f9e9a795b5 ocaml(NFlocq_Core_Round_pred) = 65297d1223ae2864cb6686870ef83a10 ocaml(NFlocq_Core_Ulp) = de6263e02fd0bdf07cc4ac3431c7e0a4 ocaml(NFlocq_Core_Zaux) = 74ca6e9c7675f9feb9d97d5f54a518bf ocaml(NFlocq_IEEE754_Binary) = 16672c0586ca02ab4157cfba6d201c99 ocaml(NFlocq_IEEE754_BinarySingleNaN) = ee9b44f124276275cba39f8a8657f710 ocaml(NFlocq_IEEE754_Bits) = e105af8b6e0805681745be4112a870c9 ocaml(NFlocq_IEEE754_PrimFloat) = c8a3109b8ee6d8481b63539448ccb760 ocaml(NFlocq_IEEE754_SpecFloatCompat) = a038408632485669c9c4bc30740d4877 ocaml(NFlocq_Pff_Pff) = 56cbe356064e68112cc5174aebe91b2f ocaml(NFlocq_Pff_Pff2Flocq) = 81293a82a604b1ff38fcd002f606ccf3 ocaml(NFlocq_Pff_Pff2FlocqAux) = 74e66f3c213d6dd7abdef65422ba20d2 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) = 5b711742632c436a2614bd2dd7eae606 ocaml(NFlocq_Prop_Sterbenz) = da710457dadb40de681dcbb9d8b861b1 ocaml(NFlocq_Version) = e5d7e66779e63ff18b478e83bb78e2ea ocamlx(NFlocq_Calc_Bracket) = 0feff8031824b68f800dfce663b778b4 ocamlx(NFlocq_Calc_Div) = 17009e512b3fd84d1cbaf42c15cc2527 ocamlx(NFlocq_Calc_Operations) = 4ab7c3f7ec671b945d2cde3d6c2c583f ocamlx(NFlocq_Calc_Round) = c7389f87de3b9167d724fe34a75dfd89 ocamlx(NFlocq_Calc_Sqrt) = fff614d30dba5481f5944015374bc9e3 ocamlx(NFlocq_Core_Core) = 8d0c798855b0d888833941046f3a8f2f ocamlx(NFlocq_Core_Defs) = 4d3cb20a5c3b7cad58ca182512839c9f ocamlx(NFlocq_Core_Digits) = 680e2caa75e09eebfc678a0d4552df79 ocamlx(NFlocq_Core_FIX) = b35dc90e91e2d789f78437a5f604d1fd ocamlx(NFlocq_Core_FLT) = 1c610f40911f1c245e6dd62072fac13e ocamlx(NFlocq_Core_FLX) = ec6de23c0cf20caa6ca7a67808cce4ea ocamlx(NFlocq_Core_FTZ) = 6c62bf257f9d1bc39d9837dcf4f3f136 ocamlx(NFlocq_Core_Float_prop) = fd51bdcf0e0db658cbb0acef0490bf37 ocamlx(NFlocq_Core_Generic_fmt) = 8cf7c0c53a34dcd56c465f5bc50db036 ocamlx(NFlocq_Core_Raux) = 3844c05cc1d1b8787669ceaa448a3d13 ocamlx(NFlocq_Core_Round_NE) = 5fd0d4964e6548ee718b22d5f29ef362 ocamlx(NFlocq_Core_Round_pred) = 8629c0bd75997cba9d9696d948c1bfb3 ocamlx(NFlocq_Core_Ulp) = 2cd6627bdd199f4bcbaab3ab0030c081 ocamlx(NFlocq_Core_Zaux) = 9db62a682dac6fd9769a72b75cd54f13 ocamlx(NFlocq_IEEE754_Binary) = d2e8ce9302aeecab673e6202914279ee ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 5f5968e72a3a342ca49e74edf880356d ocamlx(NFlocq_IEEE754_Bits) = b1b400709b967ed6c13612e6f3b5f210 ocamlx(NFlocq_IEEE754_PrimFloat) = 438c11afbe0d9c9643bb6a70a65847d0 ocamlx(NFlocq_IEEE754_SpecFloatCompat) = cfb7b346286a2fed7c3b9b4361f66cf5 ocamlx(NFlocq_Pff_Pff) = 23b4eeb4ba4520218edd32d3abdae23d ocamlx(NFlocq_Pff_Pff2Flocq) = 6936ab79b286acceb94bf1e5970c4517 ocamlx(NFlocq_Pff_Pff2FlocqAux) = cb1dd95c87b613e1d14f3dde35792f1b ocamlx(NFlocq_Prop_Div_sqrt_error) = 8c99b4611c1f576deb93a729cd986624 ocamlx(NFlocq_Prop_Double_rounding) = 8234154e8a9b688e4d5c1c9c103a3e57 ocamlx(NFlocq_Prop_Mult_error) = 1532ffd9c02fab931b292661ae866a32 ocamlx(NFlocq_Prop_Plus_error) = 0440eff2285fb62c49fe879a336ff93c ocamlx(NFlocq_Prop_Relative) = fb92327959100ebd232d744806924995 ocamlx(NFlocq_Prop_Round_odd) = a490390ad7c6fd5f8ea701c10bcbc9fe ocamlx(NFlocq_Prop_Sterbenz) = d7c3b06ea04a74d445000fd7fd3878d6 ocamlx(NFlocq_Version) = 56f277e90eecc2eb6d91a64f03ea3679
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) = 46b2fff8ecedbbaf1f2af1fe5607ca4a ocaml(NCoq_Arith_PeanoNat) = 5927c7bfc7f0d59cba0cff0b9346ef88 ocaml(NCoq_Bool_Bool) = 93d3d9bf225bf92a20a1f2ba22cf38c5 ocaml(NCoq_Bool_Sumbool) = 78711c9d4467f0778cbfaab815b4fe6b ocaml(NCoq_Classes_Morphisms) = eb418dc8171a1ae36c89a5799a20edb1 ocaml(NCoq_Classes_Morphisms_Prop) = 23e015ccd04dbd5d4bab37f9655fcf06 ocaml(NCoq_Classes_RelationClasses) = 72e01bc0ac95463efe240389568721b8 ocaml(NCoq_Floats_FloatAxioms) = aba647819ac0dccd083bf2fa5f4a5f13 ocaml(NCoq_Floats_FloatClass) = 27e75e1f53388c3e0d5b070da4734eee ocaml(NCoq_Floats_FloatOps) = 16923c177b031d6275538850ee08e47d ocaml(NCoq_Floats_PrimFloat) = 00eb0b9c16d69c3d446b0b192cf393e4 ocaml(NCoq_Floats_SpecFloat) = 3dc72b0d92c241973708a23c2a0adc14 ocaml(NCoq_Init_Datatypes) = 65d7c3c0516fe55a94b2e4abfe4e7f0c ocaml(NCoq_Init_Decimal) = 741a981ddc8183fcb264c455948efdb4 ocaml(NCoq_Init_Hexadecimal) = 7bf14f35bb0eb5ca35303d2c554fd006 ocaml(NCoq_Init_Logic) = a0ec623c04fda942906a9ad324cb1e97 ocaml(NCoq_Init_Nat) = 68d4a9975a12703e96c609a42e7ff880 ocaml(NCoq_Init_Number) = 8ee14de78458362573290317af8b7dd3 ocaml(NCoq_Init_Peano) = fb359c78f542177895d114e0775b41b4 ocaml(NCoq_Init_Specif) = 27bacf0766c289ab32c2b2bf45f9c514 ocaml(NCoq_Init_Wf) = 18e2df43f1bb37a58645a17ba074d15e ocaml(NCoq_Lists_List) = 00fa81f8fd87618c5e08dd1ab32fe120 ocaml(NCoq_NArith_BinNat) = 37a3c3aa6902155f527860521458d012 ocaml(NCoq_Numbers_BinNums) = 05a29c3d22dd1715ef21e134184463fe ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = 5ddb5dec2364ec49fe97900a5bfd2934 ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = 30b89c0f3ca5809b438af6b4d152acbc ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = 04898c517ebbced8b1927d8350449182 ocaml(NCoq_PArith_BinPos) = 37c4e5a547b99d8a2ab3416ab62e3626 ocaml(NCoq_Program_Basics) = b72cd8be1f3918abaa38b599741a3308 ocaml(NCoq_QArith_QArith_base) = fe04bff43d3ad051d4ac025d5ed174c8 ocaml(NCoq_QArith_Qabs) = 7c01943270decb7c6e81146ea38b7dae ocaml(NCoq_QArith_Qreduction) = 7ae12b0f2fe29235910b2ef43b95678c ocaml(NCoq_Reals_Alembert) = cb9b440ca259088940119515bc066998 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = b24409f09c3bebee03778288ee995afa ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 0407b14c3ffd8ba466506ae58fc627dd ocaml(NCoq_Reals_Cauchy_QExtra) = 6758101661e63444bb556b9a578291a9 ocaml(NCoq_Reals_RIneq) = aee189cc89f7aacd65f3d376cf0396f2 ocaml(NCoq_Reals_R_sqrt) = bed881a183a254227bb21fa2f5be540f ocaml(NCoq_Reals_Raxioms) = 924c97018fa4b7bf67e69d3e899c4abd ocaml(NCoq_Reals_Rbasic_fun) = 8a9a2735b448e16b7e88e9e4836656d5 ocaml(NCoq_Reals_Rdefinitions) = 8cc7a0fd705295866845daa73f054fc0 ocaml(NCoq_Reals_Rfunctions) = fb0b698ccdf2413fcb2442796821f3a1 ocaml(NCoq_Reals_Rpow_def) = 5e4cb142e08134a94c1971645ecbf60a ocaml(NCoq_Reals_Rpower) = 1ad4b6124d36732db6b6808c3fb21fb7 ocaml(NCoq_Reals_Rsqrt_def) = 7d21728708d105f479034b98d7b32ffe ocaml(NCoq_Reals_Rtrigo_def) = fc0c18cdb77bbbf43a7128aa55461271 ocaml(NCoq_Reals_Rtrigo_fun) = a302cd726d9a50414c7ce40e2c845cea ocaml(NCoq_Relations_Relation_Definitions) = f2889e5eb695a506e1472f91cffadf21 ocaml(NCoq_Structures_OrdersTac) = 2c47e3645c26ab97a1edbd6992154c01 ocaml(NCoq_ZArith_BinInt) = 2a61cada42b4b57a1b2e4208e35324bf ocaml(NCoq_ZArith_BinIntDef) = d9316c9d83ba68060ceef8cdd660e670 ocaml(NCoq_ZArith_ZArith_dec) = 9569eeae12d005ec7befa03f7ec81413 ocaml(NCoq_ZArith_Zbool) = 98cc261f48bd2872e279eb780c32ffd8 ocaml(NCoq_ZArith_Zeven) = a2f8644501fba758d3046a23d3c26a40 ocaml(NCoq_ZArith_Znat) = fef108c95dd3845fc1bb6e0fb57d52bb ocaml(NCoq_ZArith_Zorder) = c27574233fb1ac95cad6ca72877900a1 ocaml(NCoq_ZArith_Zpower) = 9aab853ca664ab0709c61d546ddcc23d ocaml(NCoq_setoid_ring_Ring_theory) = e87eb10fbdba2641f02abe887c40724b ocaml(NFlocq_Calc_Bracket) = 15bdb2882ddc00e74d2cf05a9ffbb0c5 ocaml(NFlocq_Calc_Operations) = 63dabd40bc69b019fb92ba805946faff ocaml(NFlocq_Calc_Round) = 950513d70e00b82d15145343e714460d ocaml(NFlocq_Core_Defs) = 023b6d510eb02c63731be8af1fc78aa3 ocaml(NFlocq_Core_Digits) = 11d93f3ba8e57c43c3aff98acfb2236b ocaml(NFlocq_Core_FLT) = 9818e0f2f20a34a634e46d44094af998 ocaml(NFlocq_Core_Generic_fmt) = e3137387d235c8412758bfb2bf60ca51 ocaml(NFlocq_Core_Raux) = 690bd450b53719e548d19e33c14c4bc7 ocaml(NFlocq_Core_Ulp) = de6263e02fd0bdf07cc4ac3431c7e0a4 ocaml(NFlocq_Core_Zaux) = 74ca6e9c7675f9feb9d97d5f54a518bf ocaml(NFlocq_IEEE754_Binary) = 16672c0586ca02ab4157cfba6d201c99 ocaml(NFlocq_IEEE754_BinarySingleNaN) = ee9b44f124276275cba39f8a8657f710 ocaml(NFlocq_Pff_Pff) = 56cbe356064e68112cc5174aebe91b2f 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) = 996253023a701ed9829a1b68222ea67d ocamlx(NCoq_Bool_Bool) = 14fea33e5aef706f6c6a809c27c9f09a ocamlx(NCoq_Floats_FloatAxioms) = 5874e00cdc3bf9bb2a6beebceae18170 ocamlx(NCoq_Floats_FloatOps) = 68e62338b064a8903bc7731716ad8f83 ocamlx(NCoq_Floats_SpecFloat) = e1a048fbdef735a6b9f6997d316b50dc ocamlx(NCoq_Init_Datatypes) = ad6dd87c0694b28b4208f00ebb9e21ea ocamlx(NCoq_Init_Logic) = 91bf147ec085f3b1e608c32fe8b46b85 ocamlx(NCoq_Init_Nat) = c8a22d15f2aa04bdef84b4371dcca0e1 ocamlx(NCoq_Init_Specif) = d4e15897001c3a2191a8b5eee45c0e6b ocamlx(NCoq_Lists_List) = 130f72670145987bbc27c4c6289947bc ocamlx(NCoq_NArith_BinNat) = aee6b844ea8088b43537e83225db7205 ocamlx(NCoq_Numbers_BinNums) = cd5aa1f2cb8d7935b4a28e0f0490f557 ocamlx(NCoq_PArith_BinPos) = b82b9d7c2d15e68d387b587f0d3fb942 ocamlx(NCoq_Reals_RIneq) = 29eaddbdcd96dd4e5b52809e6067adc3 ocamlx(NCoq_Reals_R_sqrt) = 324be3fe8d2b23f45596e38059a12240 ocamlx(NCoq_Reals_Rbasic_fun) = 469df17d44941c39939b2f4d1e89e648 ocamlx(NCoq_Reals_Rdefinitions) = 25334a45b688c07155ef6602ef59c708 ocamlx(NCoq_Reals_Rfunctions) = 4b77c95c0b67faf716df76eb9698dc8e ocamlx(NCoq_Reals_Rpower) = 7a6eb1e1856fdd9881902063ab553806 ocamlx(NCoq_ZArith_BinInt) = db92f469b446a395067edc761c893234 ocamlx(NCoq_ZArith_BinIntDef) = f198470e7698aa7892566dd949c7c82d ocamlx(NCoq_ZArith_ZArith_dec) = 7699b2dd634a9f30c85841904fb69101 ocamlx(NCoq_ZArith_Zbool) = 41e3d954a8623f26c0d6ee9592df488f ocamlx(NCoq_ZArith_Zorder) = 7676d6da1c9905aeeb68b5c46230edac ocamlx(NCoq_ZArith_Zpower) = 8d7fd8bb854ad040a448c71a4e97e383 ocamlx(NFlocq_Calc_Bracket) = 0feff8031824b68f800dfce663b778b4 ocamlx(NFlocq_Calc_Operations) = 4ab7c3f7ec671b945d2cde3d6c2c583f ocamlx(NFlocq_Calc_Round) = c7389f87de3b9167d724fe34a75dfd89 ocamlx(NFlocq_Core_Defs) = 4d3cb20a5c3b7cad58ca182512839c9f ocamlx(NFlocq_Core_Digits) = 680e2caa75e09eebfc678a0d4552df79 ocamlx(NFlocq_Core_FLT) = 1c610f40911f1c245e6dd62072fac13e ocamlx(NFlocq_Core_Generic_fmt) = 8cf7c0c53a34dcd56c465f5bc50db036 ocamlx(NFlocq_Core_Raux) = 3844c05cc1d1b8787669ceaa448a3d13 ocamlx(NFlocq_Core_Ulp) = 2cd6627bdd199f4bcbaab3ab0030c081 ocamlx(NFlocq_Core_Zaux) = 9db62a682dac6fd9769a72b75cd54f13 ocamlx(NFlocq_IEEE754_Binary) = d2e8ce9302aeecab673e6202914279ee ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 5f5968e72a3a342ca49e74edf880356d ocamlx(NFlocq_Pff_Pff) = 23b4eeb4ba4520218edd32d3abdae23d ocamlx(Nativecode) = ca4610f9f2f41d8f2808bcf3000aede4 ocamlx(Nativevalues) = 52fde7676625e792c8ebfaa9e689bb2a rtld(GNU_HASH)
Processing files: flocq-source-3.4.2-8.fc36.x86_64
Provides: flocq-source = 3.4.2-8.fc36 flocq-source(x86-64) = 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.x86_64
Wrote: /builddir/build/RPMS/flocq-source-3.4.2-8.fc36.x86_64.rpm
Wrote: /builddir/build/RPMS/flocq-3.4.2-8.fc36.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.RQQWMT
+ 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.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0