Mock Version: 2.6
Mock Version: 2.6
Mock Version: 2.6
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f33-build-side-34777-24329197-2517698/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 0x7fff8fd25970>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/gappalib-coq.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=1606867200
Wrote: /builddir/build/SRPMS/gappalib-coq-1.4.4-7.fc33.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f33-build-side-34777-24329197-2517698/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 0x7fff8fd25970>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/gappalib-coq.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=1606867200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.SOUhQU
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf gappalib-coq-1.4.4
+ /usr/bin/gzip -dc /builddir/build/SOURCES/gappalib-coq-1.4.4.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd gappalib-coq-1.4.4
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/-rectypes/-g &/' Remakefile.in
+ sed -i 's/^\(ocamlopt_version=`.*\)\(`\)/\1 | cut -d+ -f1\2/' configure
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.kJbQLS
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappalib-coq-1.4.4
+ ./configure --prefix=/usr --datadir=/usr/share
checking for gcc... gcc
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 gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for coqc >= 8.8... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for ocamlc... /usr/bin/ocamlc
checking for ocamlopt >= 4.02... checking for Flocq >= 3.0... yes
configure: building remake...
/usr/bin/ld: /tmp/ccdBRfKn.o: in function `main':
remake.cpp:(.text.startup+0xb6c): warning: the use of `tempnam' is dangerous, better use `mkstemp'
=== Summary ===
Installation directory   /usr/lib64/ocaml/coq/user-contrib/Gappa
Gappa tactic             native bytecode
configure: creating ./config.status
config.status: creating Remakefile
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j8
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
Building src/Gappa_fixed.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
Building src/Gappa_float.vo
Building src/Gappa_library.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo
Building src/Gappa_real.vo
Building src/Gappa_pred_bnd.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_definitions.v
Building src/Gappa_round.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_obfuscate.v
Building src/Gappa_round_aux.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
Building src/Gappa_pred_abs.vo
Building src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_nzr.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
Building src/Gappa_pred_rel.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_real.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_round_def.v
Building src/Gappa_rewriting.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
Building src/Gappa_tree.vo
Building src/Gappa_user.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo
Building src/gappatac.ml
gcc -E -DCOQVERSION=81201 src/gappatac.c -o src/gappatac.ml
Finished src/gappatac.ml
Building src/gappatac.cmxs
/usr/bin/ocamlopt -g -rectypes -I /usr/lib64/ocaml/coq/clib -I /usr/lib64/ocaml/coq/engine -I /usr/lib64/ocaml/coq/kernel -I /usr/lib64/ocaml/coq/interp -I /usr/lib64/ocaml/coq/intf -I /usr/lib64/ocaml/coq/lib -I /usr/lib64/ocaml/coq/library -I /usr/lib64/ocaml/coq/ltac -I /usr/lib64/ocaml/coq/parsing -I /usr/lib64/ocaml/coq/pretyping -I /usr/lib64/ocaml/coq/printing -I /usr/lib64/ocaml/coq/proofs -I /usr/lib64/ocaml/coq/tactics -I /usr/lib64/ocaml/coq/toplevel -I /usr/lib64/ocaml/coq/vernac -I /usr/lib64/ocaml/coq/plugins/ltac -shared src/gappatac.ml -o src/gappatac.cmxs
Building src/gappatac.cmo
/usr/bin/ocamlc -g -rectypes -I /usr/lib64/ocaml/coq/clib -I /usr/lib64/ocaml/coq/engine -I /usr/lib64/ocaml/coq/kernel -I /usr/lib64/ocaml/coq/interp -I /usr/lib64/ocaml/coq/intf -I /usr/lib64/ocaml/coq/lib -I /usr/lib64/ocaml/coq/library -I /usr/lib64/ocaml/coq/ltac -I /usr/lib64/ocaml/coq/parsing -I /usr/lib64/ocaml/coq/pretyping -I /usr/lib64/ocaml/coq/printing -I /usr/lib64/ocaml/coq/proofs -I /usr/lib64/ocaml/coq/tactics -I /usr/lib64/ocaml/coq/toplevel -I /usr/lib64/ocaml/coq/vernac -I /usr/lib64/ocaml/coq/plugins/ltac -c src/gappatac.ml -o src/gappatac.cmo
Finished src/Gappa_obfuscate.vo
File "src/gappatac.c", line 33, characters 22-31:
Alert deprecated: EConstr.is_global
Use [EConstr.isRefX] instead.
File "src/gappatac.c", line 33, characters 22-31:
Alert deprecated: EConstr.is_global
Use [EConstr.isRefX] instead.
File "src/gappatac.c", line 46, characters 26-65:
Alert deprecated: module Vernacstate.Declare
This module is internal and should not be used, instead, thread the proof state
File "src/gappatac.c", line 46, characters 26-65:
Alert deprecated: module Vernacstate.Declare
This module is internal and should not be used, instead, thread the proof state
File "src/gappatac.c", line 83, characters 58-88:
Alert deprecated: Tactics.convert_concl_no_check
use [Tactics.convert_concl]
File "src/gappatac.c", line 108, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 83, characters 58-88:
Alert deprecated: Tactics.convert_concl_no_check
use [Tactics.convert_concl]
File "src/gappatac.c", line 108, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
Finished src/gappatac.cmo
Finished src/gappatac.cmxs
Building src/Gappa_tactic.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo
*** Warning: in file src/Gappa_tactic.v, declared ML module gappatac has not been found!
Finished src/Gappa_definitions.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_dyadic.v
Finished src/Gappa_round_def.vo
File "./src/Gappa_dyadic.v", line 54, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Gappa_real.vo
Finished src/Gappa_dyadic.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_common.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_round_aux.v
Finished src/Gappa_common.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_pred_nzr.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_decimal.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_rewriting.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_tree.v
Finished src/Gappa_round_aux.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_pred_fixflt.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_round.v
Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_pred_abs.v
Finished src/Gappa_decimal.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_pred_bnd.v
File "./src/Gappa_round.v", line 182, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_rewriting.v", line 447, characters 0-21:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_rewriting.v", line 448, characters 0-21:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_round.v", line 274, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Gappa_pred_fixflt.vo
Finished src/Gappa_pred_abs.vo
File "./src/Gappa_round.v", line 367, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_round.v", line 410, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Gappa_pred_bnd.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_pred_rel.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_user.v
Finished src/Gappa_rewriting.vo
Finished src/Gappa_tree.vo
File "./src/Gappa_round.v", line 658, characters 22-28:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_round.v", line 710, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_pred_rel.v", line 10, characters 0-31:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
Finished src/Gappa_round.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_fixed.v
/usr/bin/coqc -R src Gappa -I src src/Gappa_float.v
Finished src/Gappa_user.vo
File "./src/Gappa_pred_rel.v", line 175, characters 0-29:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 132, characters 0-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 140, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 144, characters 0-30:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 172, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 176, characters 0-19:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Gappa_fixed.vo
Finished src/Gappa_pred_rel.vo
File "./src/Gappa_float.v", line 223, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 315, characters 0-17:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 326, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 349, characters 0-18:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 570, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 575, characters 0-21:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 642, characters 0-20:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 659, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 663, characters 0-95:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 678, characters 0-99:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 679, characters 0-74:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 696, characters 0-166:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 705, characters 0-89:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 706, characters 0-29:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 714, characters 0-91:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 734, characters 0-98:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 741, characters 0-51:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 744, characters 0-97:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 749, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 767, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 769, characters 0-6:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_float.v", line 770, characters 0-72:
Warning: "cutrewrite" is deprecated. Use "replace" instead.
[deprecated-cutrewrite,deprecated]
File "./src/Gappa_float.v", line 775, characters 0-34:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Gappa_float.vo
/usr/bin/coqc -R src Gappa -I src src/Gappa_library.v
Finished src/Gappa_library.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_tactic.v
File "./src/Gappa_tactic.v", line 388, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
File "./src/Gappa_tactic.v", line 417, characters 0-25:
Warning: omega is deprecated since 8.12; use “lia” instead.
[omega-is-deprecated,deprecated]
Finished src/Gappa_tactic.vo
Building all
Finished all
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.wCAQlS
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le
++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le
+ cd gappalib-coq-1.4.4
+ sed -i '/^install:/,/^EXTRA_DIST/s, /usr, /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr,' Remakefile
+ mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/lib64/ocaml/coq/user-contrib/Gappa
+ remake install
Building install
Finished install
+ cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/lib/rpm/find-debuginfo.sh -j8 --strict-build-id -m -i --build-id-seed 1.4.4-7.fc33 --unique-debug-suffix -1.4.4-7.fc33.ppc64le --unique-debug-src-base gappalib-coq-1.4.4-7.fc33.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.4.4
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/lib64/ocaml/coq/user-contrib/Gappa/gappatac.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/lib64/ocaml/coq/user-contrib/Gappa/gappatac.cmxs
original debug info size: 72kB, size after compression: 76kB
/usr/lib/rpm/sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match.
cpio: buffer.ml: Cannot stat: No such file or directory
cpio: bytes.ml: Cannot stat: No such file or directory
cpio: filename.ml: Cannot stat: No such file or directory
cpio: format.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: stdlib.ml: Cannot stat: No such file or directory
61 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /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
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.pHaxCU
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappalib-coq-1.4.4
+ remake check
Building testsuite/check
Finished testsuite/check
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappalib-coq-1.4.4-7.fc33.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.W2ezoT
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappalib-coq-1.4.4
+ DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/doc/gappalib-coq
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/doc/gappalib-coq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/doc/gappalib-coq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/doc/gappalib-coq
+ cp -pr README.md /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.uFxyKV
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappalib-coq-1.4.4
+ LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/licenses/gappalib-coq
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/licenses/gappalib-coq
+ cp -pr COPYING /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.4.4-7.fc33 gappalib-coq(ppc-64) = 1.4.4-7.fc33 ocaml(Gappatac) = 69486364408d32b1d94ca2f62ba2d080 ocamlx(Gappatac) = af2676084e0f15db878b320ebe622515
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) = d8fb29ad141c3dc4d4a3514c6dd9fbc7 ocaml(Attributes) = fb12318b78ea2d37603a689b54c0a206 ocaml(Bigint) = 19818ec83e79966b9d06d07c11ce02ab ocaml(CArray) = d7f3c059bf73782f39a725fa8538974d ocaml(CAst) = 4972e7f97bceaf43f530bb82dadcb97d ocaml(CClosure) = c2685483c3ab31085b17d5619ae44b46 ocaml(CEphemeron) = f85bf1c79771f59ed2d5f9ef537cd8e1 ocaml(CErrors) = 579617b929f229032c383715eb11cc2b ocaml(CList) = d3df2301c29f60577c0973d94549a49c ocaml(CMap) = 5f2df476e01fe07bddc55de1eb8de836 ocaml(CPrimitives) = 29ff090cf550344e52f9c5e1cd86cf7f ocaml(CSet) = 8728a77f1b251c65df2866a800024c55 ocaml(CSig) = 1257879ab79651a707d108c49dd03fe2 ocaml(CString) = 2834b1deb75d19a720b2082c62bfe3cb ocaml(CUnix) = 6610f72cb0a34bcc9e1a2986337329d7 ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalLazy) = 9a1263a7a1e44e1eb3fb6d0986f3063d ocaml(Cbytecodes) = 4039cdf696ae5fbe6961c1f97fe996e6 ocaml(Cemitcodes) = d0d835793b30c8ea8d9eb7f6653e2786 ocaml(Clenv) = 488e002418e5ec904a49f722d15af493 ocaml(Coercionops) = 967b5423883a6169c39df00e0641d197 ocaml(Constr) = 85229167812d9b39f76a3cd92070fa5d ocaml(Constrexpr) = a30175211135c61e84fefe6b4363384b ocaml(Constrintern) = 87cf729ba9a4fa6c69342e3432ac36de ocaml(Context) = cf2a39061c72795ab1797ae652fd13bd ocaml(Conv_oracle) = 3230b4643d4e8c879c27124ed2a9faec ocaml(Coqlib) = 46012b75585be4a59d38fa5e316a90d0 ocaml(DAst) = feac2fd964b23b3cfd2fc09a6030697a ocaml(Declarations) = fc64ec94f738621e6f586e524bddf7e0 ocaml(Declare) = 15920712f821d42b5f8d3eecbc82ee06 ocaml(DeclareObl) = 2cc14574386b931722c1a4d42e97801b ocaml(Declaremods) = ba8b87bf2b57b2617d979e22e8d58040 ocaml(Decls) = 9f8aa867215e7b19e98c39aee2b5fcc8 ocaml(Deprecation) = a34a663b7112baabb9f67afef067b31a ocaml(Dumpglob) = d0364cba7f9794851e93ed9d6ca14c87 ocaml(Dyn) = 98ca0208f0c82d435cb44c97426e4f96 ocaml(EConstr) = aed40d8e8ab7251f0f457f709811322f ocaml(Entries) = 4c17f02856e907c70397a62a3c01833b ocaml(Environ) = 562330d0e7ba1a195f8f5253f1a8d190 ocaml(Equality) = 0efa2a5db975b0f2f57ab625b30e4716 ocaml(Esubst) = 2e320fa3a11ad58569f877eda41c49a6 ocaml(Evar) = 6c0909b89314db877389f545412071ed ocaml(Evar_kinds) = 08bd960d61bfb8c94aa9c39453a6f9fa ocaml(Evardefine) = 0315dd0b529d26d566a1a9b3618f2276 ocaml(Evarutil) = 70905409d2e55f4b27bad2fa0fe36328 ocaml(Evd) = 313c80e93693cf9e067babf4bcafcde9 ocaml(Exninfo) = c9e8358e450e2cf4f58041bee7107058 ocaml(Extend) = 787768bcd92fb7be5cc6a13aedc43501 ocaml(Float64) = 1695ed4b36d271e4ad2260e18af35a03 ocaml(Ftactic) = 6f7ebde0831f5f29f8dbb418353ca8ac ocaml(Future) = 0b939353769fb1050af5bbf3285d0250 ocaml(Genarg) = 190928928d60c67d35f000d8aa3bcb4e ocaml(Genintern) = e728726c71379bc6f9d6c527489b229c ocaml(Geninterp) = 58da3b44198aca3a577ef1fd8b8f4d36 ocaml(Genprint) = a2b9dcd299c538d81149e5afdabd5488 ocaml(Genredexpr) = c7391f08dfda9f5933ea607a3ddcd066 ocaml(GlobEnv) = 18398a77b8a80a6b476e0f63c9858e56 ocaml(Glob_term) = 57387d90568acb06fc250da9c2c4d257 ocaml(Globnames) = fc84395cb390812334ba812f9fb37952 ocaml(Goal) = 8e260b4f7138383b4ce5b3b92a91f2df ocaml(Goal_select) = be1714639f34540b94e9cb95e73db30e ocaml(Goptions) = b4670b5ef6036998749a8e31a2be81d8 ocaml(Gramlib) = b87d4a12d92369932582f76825772eae ocaml(Gramlib__Gramext) = a047bd1280d0ff508d030b032dcb2bfd ocaml(Gramlib__Grammar) = eac719f63e9c9dc47d5228ee4d483e75 ocaml(Gramlib__Plexing) = 7d9f5f0c1b9b645677dd71d05d5e8495 ocaml(Hashcons) = b14af78056938e2c55aa3761fab1d55c ocaml(Hashset) = d610a4743ae70c09cea9aca5f192f45e ocaml(Hints) = 0b60d2aacb83093975868205d31fe99a ocaml(Hook) = 12143180543651326b448f313f5d6be9 ocaml(Impargs) = b1e008fb2d706ebd478443c039e25606 ocaml(Ind_tables) = 0ad0a3334ab324bbd6d512d07459c3d8 ocaml(Int) = 8e83f2ff680361851f851bbc26712288 ocaml(Inv) = 12825600615b16fed00c0f047f465d1b ocaml(Lemmas) = 3904c43c25b03b13c4a891968ac894f4 ocaml(Lib) = 17a52efe76b92eba69a9a75c3fe1cc3b ocaml(Libnames) = 79c4ee604a76af2c7eb9a5601922adbe ocaml(Libobject) = 57961fc20a5d3f794ff64590e60b6872 ocaml(Loc) = 57ee87693b156a60284359453ff54fd8 ocaml(Locus) = e6098e9856d82dcb84ffd54cc2c22ba3 ocaml(Logic) = 41d60223d2972c89a3d7917ce57e7d2b ocaml(Logic_monad) = 06b0ef81b042eb447d9740a9c89e0b8f ocaml(Ltac_plugin) = 9fc9a16be6173cece2ecfcb9dfc157e6 ocaml(Ltac_plugin__Pptactic) = e3fe012d1385ccb60ead79879936b99d ocaml(Ltac_plugin__Tacentries) = c623625402fbe06636f5c5ea71b0c10b ocaml(Ltac_plugin__Tacexpr) = 8d1d204d067c0fcd330caf0c87a1b895 ocaml(Ltac_pretype) = c1e68a6e58ebd17ce18e25e239c4800f ocaml(Mltop) = a63af6d8dad013a2fc65340b4f08929f ocaml(Mod_subst) = 29ff8deb0e86958abd681294d0a09192 ocaml(Monad) = 712e1735a97b8ef8e0d0fb9c346d321e ocaml(Namegen) = 188de67b87f212fc7e6a517688cace45 ocaml(Names) = 8f1ca1438c3ddc81ece932ef9fb5d10f ocaml(Nametab) = 2bfe9e7734c3b3f3f800305de95d7898 ocaml(Nativecode) = b72eb2501333557501c2b1ab9359e520 ocaml(Nativelambda) = 0eec52f611fe6b6f8190dc9b6eb97920 ocaml(Nativevalues) = bafcf31631d7c9d2b5c606e50d1cbf8f ocaml(Notation) = 813b523e987c311da973b679a4fe378f ocaml(Notation_term) = 0b7c9a823de7072e83c7067aa0cd087c ocaml(NumTok) = 81e0666765e87761f76d09c09d5035d8 ocaml(Opaqueproof) = 58082b8a6090ac7f044fe89b41715336 ocaml(Pattern) = 51ca54b28403ba09ffd7e34904099323 ocaml(Pcoq) = dadeecfdc509a3ea3e45451f1160eaeb ocaml(Pp) = 152e0dc242ba0e0dbba6e7b0c6bad544 ocaml(Predicate) = 431ad7ac17cb0688c0a54e3bcd2f627b ocaml(Pretyping) = bd37d112d2f29b5c9831b81ddcaaefa0 ocaml(Printer) = 91e783ecb82d200a6f6aae6701612264 ocaml(Printmod) = dc8efeeacebf84da5e4f93b6e0bb494a ocaml(Proof) = 6c5c1a045f9c96af5835b4817b754223 ocaml(Proof_bullet) = a2a25c9e5d123b0598f1b585d1fe5033 ocaml(Proofview) = 770014da0e26ae490d1e8f479c9a212c ocaml(Proofview_monad) = ae3e922c3da62051b554bc8871112942 ocaml(Range) = db9c6e61f0328d301beb6b2d66b5dedf ocaml(Redexpr) = 41dda3b56293dc80fab45a6ba9adfbaa ocaml(Reduction) = b8ad623dd9e0afcc7084903849468a07 ocaml(Reductionops) = 7e761273a43bb49772b6e8d112aea11b ocaml(Refiner) = 38f5f3f7ea1daf63f8fe4f5aefdf3026 ocaml(RemoteCounter) = b9afc5ab02e065e46ff0bc8ae1fffc24 ocaml(RetrieveObl) = e71ada55be8d6f667ccaaecadf50f007 ocaml(Retroknowledge) = d46f6f9c85f0c6d25cc7bd975c05a4f7 ocaml(Rtree) = 1afcf9f3c55ffa9c1909e95535110323 ocaml(Safe_typing) = 633ed539b8bf2b1953777ab48e654bc8 ocaml(Section) = 79c15f5a871a1b75651f1a19bf6b49ef ocaml(Sorts) = 112b2c719e28f891dc064c2814c8587f ocaml(Stateid) = 7e65ff653fe8229976b648060d943f03 ocaml(States) = 8491aa1a26603544d3ebd135b8bde820 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27 ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__digest) = f1b97f3e19af05cd4078e6503af92f71 ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a 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__sys) = 794924b786d5c3059c545cb526394520 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Store) = 283d3fea6c93783f61583437e84aaa27 ocaml(Summary) = 10bf9b5c50473928ad8bd81d50bf910f ocaml(Tacmach) = e7002d494d85e67b6d124612c37874d8 ocaml(Tacred) = f0536b83236f839772482b932b9c7f71 ocaml(Tacticals) = 89c85600500874e0811160aaa364a59f ocaml(Tactics) = 1f8e6057499d18feee7e19b5aad58238 ocaml(Tactypes) = c8d954e2969ac8e2e90afa05dd6295c5 ocaml(Term) = f2badb3c8f95db493342a4eba291b3ef ocaml(Tok) = 66d623ed89e6b1b9cbd31d5a3a19d4a6 ocaml(TransparentState) = 7b87a6fa9c58b2e7f0c8bafc0b32ff33 ocaml(Type_errors) = 591345c9e151052e6711ee9639e76c62 ocaml(Typeclasses) = 232779de18d2adaca729741286c1f840 ocaml(UGraph) = 87ed36efdae926bba3b86a70bfc38c52 ocaml(UState) = c7addd0a4b8cc6c10067d900d54e10a8 ocaml(Uint63) = 4677af3f8c60a8e1c221247424449fa9 ocaml(Unification) = aa950b83599482230fd07edcb6110cfc ocaml(Univ) = 30aa38f3309a73e241ccb51dcc654142 ocaml(UnivGen) = e51ab0836de552a0772970b3732fe419 ocaml(UnivNames) = e1194fa92305f4dfd59e1bbd7e2e537b ocaml(UnivProblem) = ac1d8f3af1cd08e137040703f2615d65 ocaml(UnivSubst) = 82c610dcdb0442a9c9babff9161bd137 ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Util) = c89b0ccaf7d6eb88e353ee8d43c215bc ocaml(Vars) = 336ea0b8a631af5db8ceacd48efa3cb4 ocaml(Vernacexpr) = 33c7174be0754ba5da3a6eea445d6451 ocaml(Vernacextend) = d6c65706e96b5a9c55ffe1ef9af4b51a ocaml(Vernacstate) = 48cf9c55fceb0707aff177c089ab2ec8 ocaml(Vmvalues) = b56a01b87444c5a52d6d8f58037c6e74 ocamlx(CamlinternalLazy) = 036788d50a0586afbd43b3e007d70c70 ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__buffer) = f22873239984f2016980d0036e303f3b ocamlx(Stdlib__bytes) = 09fe099de18a854118ae424d323d647d ocamlx(Stdlib__filename) = 5f6f0871c1d979b738f1c05ca925ab1f ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef ocamlx(Stdlib__hashtbl) = 3a70d43892d6822a86672d0da0646fa3 ocamlx(Stdlib__stream) = 01376e58fe29c514f3d2a720e132e42b ocamlx(Stdlib__sys) = 82cfd264b7875618ee810e8d1f8fa532 rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.4.4-7.fc33.ppc64le
Provides: gappalib-coq-source = 1.4.4-7.fc33 gappalib-coq-source(ppc-64) = 1.4.4-7.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debugsource-1.4.4-7.fc33.ppc64le
Provides: gappalib-coq-debugsource = 1.4.4-7.fc33 gappalib-coq-debugsource(ppc-64) = 1.4.4-7.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debuginfo-1.4.4-7.fc33.ppc64le
Provides: debuginfo(build-id) = 68e2d1b2f26803050741b3b936cc059331d88535 gappalib-coq-debuginfo = 1.4.4-7.fc33 gappalib-coq-debuginfo(ppc-64) = 1.4.4-7.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(ppc-64) = 1.4.4-7.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.4.4-7.fc33.ppc64le.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.4.4-7.fc33.ppc64le.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.4.4-7.fc33.ppc64le.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.4.4-7.fc33.ppc64le.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.EKgNjV
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappalib-coq-1.4.4
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.4.4-7.fc33.ppc64le
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0