Mock Version: 2.9
Mock Version: 2.9
Mock Version: 2.9
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/f34-build-side-38374-26158907-3105062/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 0x7fffb25a8a60>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --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: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1614729600
Wrote: /builddir/build/SRPMS/flocq-3.4.0-4.fc34.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/f34-build-side-38374-26158907-3105062/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 0x7fffb25a8a60>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --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: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1614729600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.liPNY1
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf flocq-3.4.0
+ /usr/bin/gzip -dc /builddir/build/SOURCES/flocq-3.4.0.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd flocq-3.4.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/@COQC@.* -R src Flocq/& -native-compiler yes/' Remakefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.2QZtLz
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-3.4.0
+ ./configure
checking for coqc... /usr/bin/coqc
checking Coq version... 8.13.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 we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
configure: building remake...
/usr/bin/ld: /tmp/ccqTfDJX.o: in function `main':
remake.cpp:(.text.startup+0xba4): 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 -j8 all doc
Building src/Version.vo
Building src/Core/Raux.vo
Building src/Core/Zaux.vo
Building src/Core/Defs.vo
/usr/bin/coqdep -R src Flocq src/Version.v | ./remake -r src/Version.vo
Building src/Core/Digits.vo
Building src/Core/Float_prop.vo
/usr/bin/coqdep -R src Flocq src/Core/Raux.v | ./remake -r src/Core/Raux.vo
/usr/bin/coqdep -R src Flocq src/Core/Zaux.v | ./remake -r src/Core/Zaux.vo
/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
Building src/Core/FIX.vo
Building src/Core/FLT.vo
/usr/bin/coqdep -R src Flocq src/Core/Float_prop.v | ./remake -r src/Core/Float_prop.vo
/usr/bin/coqdep -R src Flocq src/Core/FIX.v | ./remake -r src/Core/FIX.vo
/usr/bin/coqdep -R src Flocq src/Core/FLT.v | ./remake -r src/Core/FLT.vo
Building src/Core/FLX.vo
Building src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqdep -R src Flocq src/Core/FLX.v | ./remake -r src/Core/FLX.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/SpecFloatCompat.v | ./remake -r src/IEEE754/SpecFloatCompat.vo
Building src/Core/Generic_fmt.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Version.v
/usr/bin/coqdep -R src Flocq src/Core/Generic_fmt.v | ./remake -r src/Core/Generic_fmt.vo
Building src/Core/Round_NE.vo
/usr/bin/coqdep -R src Flocq src/Core/Round_NE.v | ./remake -r src/Core/Round_NE.vo
Building src/Core/Round_pred.vo
Building src/Core/Ulp.vo
Building src/Core/FTZ.vo
/usr/bin/coqdep -R src Flocq src/Core/Round_pred.v | ./remake -r src/Core/Round_pred.vo
/usr/bin/coqdep -R src Flocq src/Core/Ulp.v | ./remake -r src/Core/Ulp.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/SpecFloatCompat.v
/usr/bin/coqdep -R src Flocq src/Core/FTZ.v | ./remake -r src/Core/FTZ.vo
Building src/Core/Core.vo
/usr/bin/coqdep -R src Flocq src/Core/Core.v | ./remake -r src/Core/Core.vo
Building src/Calc/Bracket.vo
/usr/bin/coqdep -R src Flocq src/Calc/Bracket.v | ./remake -r src/Calc/Bracket.vo
Building src/Calc/Div.vo
/usr/bin/coqdep -R src Flocq src/Calc/Div.v | ./remake -r src/Calc/Div.vo
Building src/Calc/Operations.vo
/usr/bin/coqdep -R src Flocq src/Calc/Operations.v | ./remake -r src/Calc/Operations.vo
Building src/Calc/Round.vo
/usr/bin/coqdep -R src Flocq src/Calc/Round.v | ./remake -r src/Calc/Round.vo
Building src/Calc/Sqrt.vo
Building src/Prop/Div_sqrt_error.vo
/usr/bin/coqdep -R src Flocq src/Calc/Sqrt.v | ./remake -r src/Calc/Sqrt.vo
/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
/usr/bin/coqdep -R src Flocq src/Prop/Mult_error.v | ./remake -r src/Prop/Mult_error.vo
Building src/Prop/Plus_error.vo
Building src/Prop/Relative.vo
/usr/bin/coqdep -R src Flocq src/Prop/Plus_error.v | ./remake -r src/Prop/Plus_error.vo
Building src/Prop/Sterbenz.vo
Building src/Prop/Round_odd.vo
/usr/bin/coqdep -R src Flocq src/Prop/Relative.v | ./remake -r src/Prop/Relative.vo
/usr/bin/coqdep -R src Flocq src/Prop/Sterbenz.v | ./remake -r src/Prop/Sterbenz.vo
Building src/Prop/Double_rounding.vo
/usr/bin/coqdep -R src Flocq src/Prop/Round_odd.v | ./remake -r src/Prop/Round_odd.vo
/usr/bin/coqdep -R src Flocq src/Prop/Double_rounding.v | ./remake -r src/Prop/Double_rounding.vo
Building src/IEEE754/PrimFloat.vo
Building src/IEEE754/BinarySingleNaN.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/PrimFloat.v | ./remake -r src/IEEE754/PrimFloat.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/BinarySingleNaN.v | ./remake -r src/IEEE754/BinarySingleNaN.vo
Building src/IEEE754/Binary.vo
Building src/IEEE754/Bits.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/Binary.v | ./remake -r src/IEEE754/Binary.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/Bits.v | ./remake -r src/IEEE754/Bits.vo
Building src/Pff/Pff.vo
Building src/Pff/Pff2FlocqAux.vo
/usr/bin/coqdep -R src Flocq src/Pff/Pff.v | ./remake -r src/Pff/Pff.vo
/usr/bin/coqdep -R src Flocq src/Pff/Pff2FlocqAux.v | ./remake -r src/Pff/Pff2FlocqAux.vo
Building src/Pff/Pff2Flocq.vo
/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
Finished src/Version.vo
Finished src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Zaux.v
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
File "./src/Pff/Pff.v", line 1090, characters 0-30:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
File "./src/Pff/Pff.v", line 1295, characters 0-16:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
Finished src/Core/Digits.vo
Finished src/Core/Raux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Defs.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Float_prop.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Round_pred.v
Finished src/Core/Defs.vo
Finished src/Core/Float_prop.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Bracket.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Operations.v
Finished src/Core/Round_pred.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Generic_fmt.v
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/Calc/Sqrt.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Sterbenz.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Div.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Ulp.v
Finished src/Prop/Sterbenz.vo
Finished src/Calc/Div.vo
Finished src/Calc/Sqrt.vo
Finished src/Core/Ulp.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Round_NE.v
Finished src/Core/Round_NE.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FIX.v
Finished src/Core/FIX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FLX.v
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
Finished src/Core/FTZ.vo
Finished src/Core/FLT.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Core.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Double_rounding.v
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
Finished src/Calc/Round.vo
Finished src/Prop/Relative.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
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Plus_error.v
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
Finished src/Prop/Mult_error.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Div_sqrt_error.v
Finished src/Prop/Div_sqrt_error.vo
Finished src/Prop/Double_rounding.vo
Finished src/IEEE754/Binary.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/Bits.v
Finished src/IEEE754/BinarySingleNaN.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/PrimFloat.v
Finished src/IEEE754/Bits.vo
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/Pff/Pff.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff2FlocqAux.v
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
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
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
Line 2431, character 62, warning: unterminated "]"
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.9TgW5B
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le
++ dirname /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le
+ cd flocq-3.4.0
+ sed -i s,/usr/lib64,/builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/lib64, Remakefile
+ remake install
Building install
Finished install
+ cp -p src/Version.v /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/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.0-4.fc34.ppc64le/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.0-4.fc34.ppc64le/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.0-4.fc34.ppc64le/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.0-4.fc34.ppc64le/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.0-4.fc34.ppc64le/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/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: flocq-3.4.0-4.fc34.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.9Zk28s
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-3.4.0
+ DOCDIR=/builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/doc/flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/doc/flocq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/doc/flocq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/doc/flocq
+ cp -pr README.md /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/doc/flocq
+ cp -pr html /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/doc/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.nfHTOI
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-3.4.0
+ LICENSEDIR=/builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/licenses/flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/licenses/flocq
+ cp -pr COPYING /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le/usr/share/licenses/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: flocq = 3.4.0-4.fc34 flocq(ppc-64) = 3.4.0-4.fc34 ocaml(NFlocq_Calc_Bracket) = 303eb185da929f96188620e83aa3ab93 ocaml(NFlocq_Calc_Div) = 5ae877dbae3152ab92946ac6959d4936 ocaml(NFlocq_Calc_Operations) = 4c5efa0ca14fdd961da6fcd73aaa8ecf ocaml(NFlocq_Calc_Round) = cd9abd47433e6469fba889206613b6e5 ocaml(NFlocq_Calc_Sqrt) = a7ee699364d26c8cd3e04c1596720cd5 ocaml(NFlocq_Core_Core) = 181f1b8325ca8b293449cd94461f1aa3 ocaml(NFlocq_Core_Defs) = edfde8d95f9bd829ff6483860110393e ocaml(NFlocq_Core_Digits) = 5b712a1147618695fea1afcf512ce28e ocaml(NFlocq_Core_FIX) = bb33f21b4ad22353743534198f95a1f7 ocaml(NFlocq_Core_FLT) = 099e45a88bf1c94850a3f4570998a2a1 ocaml(NFlocq_Core_FLX) = 97d04c5865eafa073391a27648ad4f15 ocaml(NFlocq_Core_FTZ) = ee9285f04ea65f9887fb647f38d86b0d ocaml(NFlocq_Core_Float_prop) = 7396bae9e656a8d6773f8e2afa53e8e7 ocaml(NFlocq_Core_Generic_fmt) = bfdd9cac89b7db421eeccb8372726b4a ocaml(NFlocq_Core_Raux) = 5b64f613b8957fc44f4e02666ad001e5 ocaml(NFlocq_Core_Round_NE) = 2e30184e8d93dbdb6434f524dbc5577c ocaml(NFlocq_Core_Round_pred) = d7e452deb6cd134b60655dccb82ee066 ocaml(NFlocq_Core_Ulp) = 4cd7dc880767aa097375cfb17ccdbb6d ocaml(NFlocq_Core_Zaux) = d89003045871a27ffc425e19ef76eac8 ocaml(NFlocq_IEEE754_Binary) = 391191531eca3ef2a2114d4ca5a7ba72 ocaml(NFlocq_IEEE754_BinarySingleNaN) = 709147633bc27921ea1f42cb7cbc0d8e ocaml(NFlocq_IEEE754_Bits) = d06f50e1ab7106b5750f74c7c9f225f1 ocaml(NFlocq_IEEE754_PrimFloat) = 79b82a47708fa4a753a92f047b7cfc49 ocaml(NFlocq_IEEE754_SpecFloatCompat) = c41a8290cb042c55d672534056e189ce ocaml(NFlocq_Pff_Pff) = a14a65cbfa6ab97eb5b543852a995448 ocaml(NFlocq_Pff_Pff2Flocq) = 802f5e59705901bda507b23743d790a1 ocaml(NFlocq_Pff_Pff2FlocqAux) = 67123f4e3ee8d7860b9be722b0e10bd9 ocaml(NFlocq_Prop_Div_sqrt_error) = b57696917076a804f78155963e9e1d54 ocaml(NFlocq_Prop_Double_rounding) = f7e64ae21a8b5e2ae8627c2c9e6eaeb5 ocaml(NFlocq_Prop_Mult_error) = 063ea7a1859dfb55c922087f186db797 ocaml(NFlocq_Prop_Plus_error) = 00cec4f0f51b5f6c91b4d599b0be3f07 ocaml(NFlocq_Prop_Relative) = 8501df229061157e9cc32ab97590f11c ocaml(NFlocq_Prop_Round_odd) = ef2ab006ef283e46021fed8225ccfa1b ocaml(NFlocq_Prop_Sterbenz) = d1f0f752783574b79178fb2340763a7f ocaml(NFlocq_Version) = 422c50bbc07a82729f3c53ef8d2e151b ocamlx(NFlocq_Calc_Bracket) = 28bc24f31c3c99a9fe9c5df5a4de2eca ocamlx(NFlocq_Calc_Div) = a04539795116aa310fcd375a5f763395 ocamlx(NFlocq_Calc_Operations) = 92c10ce35a204994f3820f7ec6f73e32 ocamlx(NFlocq_Calc_Round) = 0d2d0480b7c79e53d515cb1c3e6ccea8 ocamlx(NFlocq_Calc_Sqrt) = 3e79c33a7d628ad3741ea97b8e0ebaf4 ocamlx(NFlocq_Core_Core) = 6805e19233d64121dd67008563b2c636 ocamlx(NFlocq_Core_Defs) = cef77ac553cb01301faaac569d4477b4 ocamlx(NFlocq_Core_Digits) = 5e2cfecf0d590304ccbc79d6c5670a07 ocamlx(NFlocq_Core_FIX) = e76b3e4e6fbeec3d54a16ff5cb0e8e98 ocamlx(NFlocq_Core_FLT) = fd43210221d8307f847290094b922c98 ocamlx(NFlocq_Core_FLX) = 3d82b7128ffce3b42c1476358ac2b926 ocamlx(NFlocq_Core_FTZ) = d67442a4f791007c694d9b8ae3ed35af ocamlx(NFlocq_Core_Float_prop) = c9435d79b02971cdc24d29625c81b4df ocamlx(NFlocq_Core_Generic_fmt) = eba3f0104013707251be3de293379bb0 ocamlx(NFlocq_Core_Raux) = d3feca8ab307e69b016a4d558e513331 ocamlx(NFlocq_Core_Round_NE) = 23bf42ed8aa9e24e5302982efec7f25b ocamlx(NFlocq_Core_Round_pred) = c8ec48d255f1851a6383ffb0b3bed0bc ocamlx(NFlocq_Core_Ulp) = 9cd4ea715e7f1bbafeef78d781dd9a0f ocamlx(NFlocq_Core_Zaux) = 449c325099c13e233c4421777b98c7ed ocamlx(NFlocq_IEEE754_Binary) = e1d3bf2ddcc6d5918289d9fb6c9c6943 ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 0a98fda833abf477c56539811d5baf88 ocamlx(NFlocq_IEEE754_Bits) = b27a30763a8dc1c1daa1447ccac29051 ocamlx(NFlocq_IEEE754_PrimFloat) = 68d9f448509ff888bec6607041279535 ocamlx(NFlocq_IEEE754_SpecFloatCompat) = 8cbcc568cae6ff3ecb24633fb3c20221 ocamlx(NFlocq_Pff_Pff) = 5557e762339e778044fac4ccc788b7b0 ocamlx(NFlocq_Pff_Pff2Flocq) = e6eecbec18b159a4a7f97592e5a29a65 ocamlx(NFlocq_Pff_Pff2FlocqAux) = 84053787fe708b46563ac4e3c73eaeea ocamlx(NFlocq_Prop_Div_sqrt_error) = 93a0723b05f9ae1a5b2ff12a6339cb32 ocamlx(NFlocq_Prop_Double_rounding) = a528f9a8af43b0e00a530f5aaaa1bac0 ocamlx(NFlocq_Prop_Mult_error) = 52431b0584585ca2a3a71cb4424ebeb6 ocamlx(NFlocq_Prop_Plus_error) = 1805da870ec9fd9fefbd5d262880077f ocamlx(NFlocq_Prop_Relative) = e8b03aa21fd9aecccea9fd6391a4b581 ocamlx(NFlocq_Prop_Round_odd) = a3b36181a3a8ad54d9184fa2cc236501 ocamlx(NFlocq_Prop_Sterbenz) = 848b71eb04644a070546380066181994 ocamlx(NFlocq_Version) = 8e8d1250e2a46a522903472708333962
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) ocaml(AcyclicGraph) = ef73fe4d587f910817d2be9704331deb ocaml(CArray) = 1d9e507611eeaee0e08f8239a7a2eab9 ocaml(CAst) = 5b4ac883c826d3beda7eaee38f4a9126 ocaml(CEphemeron) = f85bf1c79771f59ed2d5f9ef537cd8e1 ocaml(CList) = 03015c44ba9196b507dcaa1031f9a2a0 ocaml(CMap) = bd0b2362e8aabebadb278029a2618e1a ocaml(CPrimitives) = e07a21c05e873bd158f28658a4f38d86 ocaml(CSet) = 8728a77f1b251c65df2866a800024c55 ocaml(CSig) = 3f7ea3956438bdfab62368ed76d0a85f ocaml(CString) = 2f5a18c28771e9dc16b6ed32427ae385 ocaml(CUnix) = 6610f72cb0a34bcc9e1a2986337329d7 ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d ocaml(Constr) = b52b2180213316d42d6438451814486d ocaml(Context) = 9dbbcc0a6a88160009a9f8664780ae29 ocaml(Conv_oracle) = ea2122124ba407421b34479ef494c4c9 ocaml(Declarations) = fe5b0da017969f8386aecc5260d9c466 ocaml(Environ) = 264b494cc01663b68877db4a2fb0f87a ocaml(Esubst) = 29fee4b491e2735aa1ecff0b8509b11c ocaml(Evar) = 12e75c331386aacdcf0eda5149b54d12 ocaml(Exninfo) = c9e8358e450e2cf4f58041bee7107058 ocaml(Float64) = a3663fc2f9cc0a5d981b66c5b9e91aae ocaml(Future) = ed3802d98a69b26bb614276f54f7729a ocaml(Hashcons) = b14af78056938e2c55aa3761fab1d55c ocaml(Hashset) = d610a4743ae70c09cea9aca5f192f45e ocaml(Int) = 74a23117709804527f51e94421cbe11c ocaml(Loc) = 57ee87693b156a60284359453ff54fd8 ocaml(Mod_subst) = df51999c80e8ede88469f5e46adccc6b ocaml(NCoq_Arith_Compare_dec) = c170487fc895c8b5f69e8b132ab00c6e ocaml(NCoq_Arith_Factorial) = b083b365e31281ef03c7876476378fbd ocaml(NCoq_Arith_Gt) = 7d25e7bbc1f5977bea41b7f40585dbb5 ocaml(NCoq_Arith_Le) = 0c9fb6579069a421f0662bbcce957d0a ocaml(NCoq_Arith_Lt) = 9cf5f8f3ff0dcb2820b87e429d5735f5 ocaml(NCoq_Arith_PeanoNat) = e7322c928e72d0c2da7a814e1af37b21 ocaml(NCoq_Bool_Bool) = 8893c795c20482cb0198a3e1fccc294d ocaml(NCoq_Bool_Sumbool) = 95160c51d1a28eca5069634cea867264 ocaml(NCoq_Classes_Morphisms) = 81d53284e8530dc04b828faa6927152f ocaml(NCoq_Classes_Morphisms_Prop) = 2bf4656db539e866244e37a2372b74ae ocaml(NCoq_Classes_RelationClasses) = 534b784aa1e7eb777315b65045e82587 ocaml(NCoq_Floats_FloatAxioms) = b6570798fb842484ecadf82e7b7bd190 ocaml(NCoq_Floats_FloatClass) = 4e4e460cda836e0717be76a7dfb44c3c ocaml(NCoq_Floats_FloatOps) = 8d5a6169c30e585683a4cf1eedb041d7 ocaml(NCoq_Floats_PrimFloat) = d9242efb9d28255d0322189185e54f62 ocaml(NCoq_Floats_SpecFloat) = 3e6c326189e0cff966fb08ba8697b5d7 ocaml(NCoq_Init_Datatypes) = a4bb018659ca7143c2779ca2f508880b ocaml(NCoq_Init_Decimal) = 94ac465504243295472837400cdcdb52 ocaml(NCoq_Init_Hexadecimal) = ce3ed579e04c0e4e432e298c449d5bc0 ocaml(NCoq_Init_Logic) = 93e9267d61758c4ade43701a2913616a ocaml(NCoq_Init_Nat) = 94296e19c0f93a69f57586ac033980e1 ocaml(NCoq_Init_Number) = 1298808a206533222bab80b926215176 ocaml(NCoq_Init_Peano) = d47fc1793781da0bdb4fa54d98ed7fe4 ocaml(NCoq_Init_Specif) = c38940efaa6a085a5a64f3c468465a94 ocaml(NCoq_Init_Wf) = d0c262c67f4bfce51a9aeea21d1282a0 ocaml(NCoq_Lists_List) = e6b74543793fd15aea572535f8e95df0 ocaml(NCoq_NArith_BinNat) = 5790da1966ded2a19dec4248dd0bcbc3 ocaml(NCoq_Numbers_BinNums) = 576b53251128db4f0086e0383410118c ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType) = 7df9a744e7695fb9b9574c1180f75529 ocaml(NCoq_Numbers_Cyclic_Int63_Int63) = 00ef5941e57da52f74cce976498e90a5 ocaml(NCoq_PArith_BinPos) = 9f2ad3c40f7b9eb1d142fe2fc1dffdf2 ocaml(NCoq_Program_Basics) = 5c32cff1698ea84987c473ae17b604a9 ocaml(NCoq_QArith_QArith_base) = d2f87acf8660cff5e33e1dd55883543f ocaml(NCoq_QArith_Qabs) = 03700c6460d6809202806b500a4d4891 ocaml(NCoq_QArith_Qreduction) = 0f76e5b0f275ea17a1bd7de6e839cb00 ocaml(NCoq_Reals_Alembert) = d02f2c113b431403c27240c311196ca8 ocaml(NCoq_Reals_ArithProp) = 42a7d2fc283f2ed1bf20569c07ca5445 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 212e1cc7503bdca054f48a04b00706c9 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 20d4cb52b35fb8175217b4b1e7c54017 ocaml(NCoq_Reals_Cauchy_QExtra) = a67dd1afcf7e13a7f5ddfc1ffd24c2fb ocaml(NCoq_Reals_DiscrR) = e687a83357d341c9c942438bfeb14c9b ocaml(NCoq_Reals_PartSum) = e9822f6d4f33046b9eca762e30033186 ocaml(NCoq_Reals_RIneq) = 7802a09cb50656ace8c673ed7ebb1bac ocaml(NCoq_Reals_R_sqrt) = 08b91ef5c26947c20d20eb4b09f03385 ocaml(NCoq_Reals_Raxioms) = c5cc66c59319357cee2e7dfc850a3f2f ocaml(NCoq_Reals_Rbasic_fun) = 238fe3499d5ee8e0244380d954146268 ocaml(NCoq_Reals_Rdefinitions) = c208e81d33c73b3c35d240c75c04bfea ocaml(NCoq_Reals_Rfunctions) = 92043bb1f2cfe11244c07fc5bc555232 ocaml(NCoq_Reals_Rpow_def) = b95d950492416e26297cf8950057e582 ocaml(NCoq_Reals_Rpower) = 8877d1b5506c0929531a0ee3c989123b ocaml(NCoq_Reals_Rseries) = f7dafb29745d7cadc985c9f69c09d37d ocaml(NCoq_Reals_Rsqrt_def) = c3dde66a447afdeabcffa2c74a3aaaee ocaml(NCoq_Reals_Rtrigo_def) = 9933ebb0879a398c21406a19261043c4 ocaml(NCoq_Reals_Rtrigo_fun) = 028a40c63af1309453a31a8b978cac27 ocaml(NCoq_Relations_Relation_Definitions) = 7f64c9a0b29344d1da05f49b5da2112e ocaml(NCoq_Structures_OrdersTac) = 701ae8e300f2032a1c96628f25841c12 ocaml(NCoq_ZArith_BinInt) = b4872588642a5cb192e7b71ca70533a5 ocaml(NCoq_ZArith_BinIntDef) = 823e78a9443f7816bd7b6943e65a7c98 ocaml(NCoq_ZArith_ZArith_dec) = 4b5d34dc22596d9aecfaa6a5611cd929 ocaml(NCoq_ZArith_Zbool) = 5dc22dd614f13686019b13e8695d1d0e ocaml(NCoq_ZArith_Zeven) = b40f5c4973221d316e77e8d3c4f57b0f ocaml(NCoq_ZArith_Znat) = 2b37e619216b82912257e436e40329bb ocaml(NCoq_ZArith_Zorder) = 3549a9c2464afe9c2047c80f0bfc8c58 ocaml(NCoq_ZArith_Zpower) = f1f38e37aa592fda76f6a752d1520317 ocaml(NCoq_setoid_ring_ArithRing) = a313272a4fb80e8e1375022f92a3a58f ocaml(NCoq_setoid_ring_BinList) = 9bbc6615b437ca345e0f5b0b8c0fa100 ocaml(NCoq_setoid_ring_Ring_polynom) = d0f34b1657898c7ea4af7320ce38b0e3 ocaml(NCoq_setoid_ring_Ring_tac) = b5d136558d753222e68f2b253730a5ec ocaml(NCoq_setoid_ring_Ring_theory) = d860e7ec15bb7448db873a24076fa321 ocaml(NFlocq_Calc_Bracket) = 303eb185da929f96188620e83aa3ab93 ocaml(NFlocq_Calc_Operations) = 4c5efa0ca14fdd961da6fcd73aaa8ecf ocaml(NFlocq_Calc_Round) = cd9abd47433e6469fba889206613b6e5 ocaml(NFlocq_Core_Defs) = edfde8d95f9bd829ff6483860110393e ocaml(NFlocq_Core_Digits) = 5b712a1147618695fea1afcf512ce28e ocaml(NFlocq_Core_FLT) = 099e45a88bf1c94850a3f4570998a2a1 ocaml(NFlocq_Core_Generic_fmt) = bfdd9cac89b7db421eeccb8372726b4a ocaml(NFlocq_Core_Raux) = 5b64f613b8957fc44f4e02666ad001e5 ocaml(NFlocq_Core_Ulp) = 4cd7dc880767aa097375cfb17ccdbb6d ocaml(NFlocq_Core_Zaux) = d89003045871a27ffc425e19ef76eac8 ocaml(NFlocq_IEEE754_Binary) = 391191531eca3ef2a2114d4ca5a7ba72 ocaml(NFlocq_IEEE754_BinarySingleNaN) = 709147633bc27921ea1f42cb7cbc0d8e ocaml(NFlocq_Pff_Pff) = a14a65cbfa6ab97eb5b543852a995448 ocaml(Names) = b8606852463705a46b9ed3098d44ab2a ocaml(Nativecode) = 8dd45b7cc32e3b6bd495527a3194dd54 ocaml(Nativeconv) = eab3e386555368e4130e3eb02c2617a6 ocaml(Nativelambda) = 9945a9b5e4110ccd124153b21295b904 ocaml(Nativelib) = 5a7d1bf877e95fb336798268fb85adc2 ocaml(Nativevalues) = 94b49675780b7822f9e5d5356b2c00a4 ocaml(Opaqueproof) = ff912b3ffb37c55c3be0b9f9c5df8543 ocaml(Parray) = f52140a315916ec6955be94818e9bb66 ocaml(Pp) = 8c109a1cfa8619763748866cf0608afd ocaml(Predicate) = 431ad7ac17cb0688c0a54e3bcd2f627b ocaml(Range) = db9c6e61f0328d301beb6b2d66b5dedf ocaml(Reduction) = cc56a64809ed40f32e81918b2f496200 ocaml(Retroknowledge) = 3a1f646b274cb54dc8d3ccb49e3eeed8 ocaml(Rtree) = 1afcf9f3c55ffa9c1909e95535110323 ocaml(Sorts) = 112b2c719e28f891dc064c2814c8587f ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__lazy) = bad82b0dffc3f26083e1d1c8e5965818 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__stream) = be3455a93f55f3882915f9d0d9a9bea5 ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Term) = eced4717c9c161ebe2e5cc6729944345 ocaml(TransparentState) = bb8c81271445f0c9c83433fdbd314c1f ocaml(UGraph) = 87ed36efdae926bba3b86a70bfc38c52 ocaml(Uint63) = 207f92686844a3f53d5b0c1165ac3cb9 ocaml(Univ) = 689bde3fd54e1f7da2742e69a3b59c31 ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Util) = e60f8f1a06d2c9347eb2d603679ef51a ocaml(Vmbytecodes) = 6603c64fb3dfa9eb2111a9dd1f8b05d8 ocaml(Vmemitcodes) = 164a2b12309660d9223dc694dc13be23 ocaml(Vmvalues) = eef147e7e66b63c15a8379985561c10f ocamlx(CamlinternalLazy) = 036788d50a0586afbd43b3e007d70c70 ocamlx(NCoq_Bool_Bool) = a44305d4561e5ce056f767b2f1bf11cb ocamlx(NCoq_Floats_FloatAxioms) = 46988e4e759d6abc52923896011c801e ocamlx(NCoq_Floats_FloatOps) = f7a273114c1e0f031f1372a1bb6b2323 ocamlx(NCoq_Floats_SpecFloat) = a9e850e27eb257f7f1c9c3a849ec4570 ocamlx(NCoq_Init_Datatypes) = 04697b9639a994b799f7143ea71049b7 ocamlx(NCoq_Init_Logic) = 6df83aa9972a306c151fe98fd34eda08 ocamlx(NCoq_Init_Nat) = 640efd22e269522324c6a84d8f2cc6ab ocamlx(NCoq_Init_Specif) = a5da55349e56999f0f8a58c2e662da00 ocamlx(NCoq_Lists_List) = 166316705fe0095b15a754f5fe0659e8 ocamlx(NCoq_NArith_BinNat) = 7ad52c4e53fb0d765adadc103e912892 ocamlx(NCoq_Numbers_BinNums) = 0d4bab37d5bfa3723a827cf5b3af365b ocamlx(NCoq_PArith_BinPos) = 6932769a1be5dcd32e90bd899043db30 ocamlx(NCoq_Reals_RIneq) = 10f1aaf20c07347880d57f0464e1e966 ocamlx(NCoq_Reals_R_sqrt) = 89e4be44017133afb0e0d7a3740ccac2 ocamlx(NCoq_Reals_Rbasic_fun) = 8a05e9e1d31903550dd965fbb77b35b0 ocamlx(NCoq_Reals_Rdefinitions) = 5c2698d2760884a7a7811c918223b5de ocamlx(NCoq_Reals_Rfunctions) = fca185d57fe2508ef74ba9263465b002 ocamlx(NCoq_Reals_Rpower) = 74e3168f503ccf123f09833879d28ccb ocamlx(NCoq_ZArith_BinInt) = 1e471fbc69616f41662b89b681716205 ocamlx(NCoq_ZArith_BinIntDef) = d24a2bac79924c1874acf6a103fa59ae ocamlx(NCoq_ZArith_ZArith_dec) = 64926e021061bfe82203b78a10e53bf0 ocamlx(NCoq_ZArith_Zbool) = 5f0f9e09d38c06eb44551cc8039e247c ocamlx(NCoq_ZArith_Zorder) = cd1123098ca3557ac0ac52003fe8bff2 ocamlx(NCoq_ZArith_Zpower) = 5682d1b91431eb14056e92ec09e99891 ocamlx(NFlocq_Calc_Bracket) = 28bc24f31c3c99a9fe9c5df5a4de2eca ocamlx(NFlocq_Calc_Operations) = 92c10ce35a204994f3820f7ec6f73e32 ocamlx(NFlocq_Calc_Round) = 0d2d0480b7c79e53d515cb1c3e6ccea8 ocamlx(NFlocq_Core_Defs) = cef77ac553cb01301faaac569d4477b4 ocamlx(NFlocq_Core_Digits) = 5e2cfecf0d590304ccbc79d6c5670a07 ocamlx(NFlocq_Core_FLT) = fd43210221d8307f847290094b922c98 ocamlx(NFlocq_Core_Generic_fmt) = eba3f0104013707251be3de293379bb0 ocamlx(NFlocq_Core_Raux) = d3feca8ab307e69b016a4d558e513331 ocamlx(NFlocq_Core_Ulp) = 9cd4ea715e7f1bbafeef78d781dd9a0f ocamlx(NFlocq_Core_Zaux) = 449c325099c13e233c4421777b98c7ed ocamlx(NFlocq_IEEE754_Binary) = e1d3bf2ddcc6d5918289d9fb6c9c6943 ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 0a98fda833abf477c56539811d5baf88 ocamlx(NFlocq_Pff_Pff) = 5557e762339e778044fac4ccc788b7b0 ocamlx(Nativecode) = b45e553b1af407cdfdfbdb71e9b0b7d4 ocamlx(Nativevalues) = ebe0797f8f4ac93f805c343595f863e4 rtld(GNU_HASH)
Processing files: flocq-source-3.4.0-4.fc34.ppc64le
Provides: flocq-source = 3.4.0-4.fc34 flocq-source(ppc-64) = 3.4.0-4.fc34
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.0-4.fc34.ppc64le
Wrote: /builddir/build/RPMS/flocq-source-3.4.0-4.fc34.ppc64le.rpm
Wrote: /builddir/build/RPMS/flocq-3.4.0-4.fc34.ppc64le.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.MUk41u
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-3.4.0
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/flocq-3.4.0-4.fc34.ppc64le
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0