Mock Version: 3.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target s390x --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/fedora-rawhide-s390x-1672236046.330894/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 0x3ff9da32c10>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xzae6dpr:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xzae6dpr:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '95868bd9cef047e08fef43dd64b41c80', '-D', '/var/lib/mock/fedora-rawhide-s390x-1672236046.330894/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xzae6dpr:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target s390x --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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1669420800
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.2-5.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target s390x --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/fedora-rawhide-s390x-1672236046.330894/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 0x3ff9da32c10>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xzae6dpr:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xzae6dpr:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd7bf7d61636842d6b51a5aada09de55a', '-D', '/var/lib/mock/fedora-rawhide-s390x-1672236046.330894/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xzae6dpr:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb  --target s390x --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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1669420800
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.tCWPp5
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.2.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/-rectypes/-g &/' 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.nauSzP
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ ./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 the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking how to run the C preprocessor... gcc -E
checking for coqc >= 8.8... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for ocamlfind... /usr/bin/ocamlfind
checking for Flocq >= 3.0... yes
checking for native development files... yes
checking for bytecode development files... yes
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/cc6zYMAt.o: in function `main':
remake.cpp:(.text.startup+0xb1c): warning: the use of `tempnam' is dangerous, better use `mkstemp'
=== Summary ===
Vernacular directory    /usr/lib64/ocaml/coq/user-contrib
Plugin directory        /usr/lib64/ocaml/coq-gappa
Plugin compilation      native bytecode
configure: creating ./config.status
config.status: creating Remakefile
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j2
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
Building src/Gappa_real.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_definitions.v
/usr/bin/coqc  -R src Gappa -I src src/Gappa_real.v
/usr/bin/coqc  -R src Gappa -I src src/Gappa_dyadic.v
Finished src/Gappa_definitions.vo
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition,deprecated]
Finished src/Gappa_real.vo
Building src/Gappa_fixed.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
Building src/Gappa_pred_bnd.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo
Building src/Gappa_round.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
Building src/Gappa_round_aux.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
Finished src/Gappa_dyadic.vo
Building src/Gappa_round_def.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_round_aux.v
/usr/bin/coqc  -R src Gappa -I src src/Gappa_round_def.v
Finished src/Gappa_round_def.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_common.v
Finished src/Gappa_round_aux.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_round.v
Finished src/Gappa_common.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_decimal.v
Finished src/Gappa_decimal.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_pred_bnd.v
Finished src/Gappa_round.vo
Building src/Gappa_float.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
Building src/Gappa_library.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_pred_abs.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo
Building src/Gappa_pred_nzr.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_pred_nzr.v
Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_pred_abs.v
Finished src/Gappa_pred_bnd.vo
Building src/Gappa_pred_fixflt.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_pred_fixflt.v
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
Finished src/Gappa_pred_abs.vo
Building src/Gappa_pred_rel.vo
/usr/bin/coqdep -m src/META.coq-gappa -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_pred_rel.v
Finished src/Gappa_pred_fixflt.vo
Building src/Gappa_rewriting.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_rewriting.v
Finished src/Gappa_pred_rel.vo
Building src/Gappa_tree.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_tree.v
Finished src/Gappa_rewriting.vo
Building src/Gappa_user.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_user.v
Finished src/Gappa_user.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_float.v
Finished src/Gappa_float.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_fixed.v
Finished src/Gappa_tree.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_obfuscate.v
Finished src/Gappa_fixed.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_library.v
Finished src/Gappa_obfuscate.vo
Building src/Gappa_tactic_loader.v
gcc -E -DCOQVERSION=81601 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v
Finished src/Gappa_tactic_loader.v
Building src/Gappa_tactic.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo
Building src/gappatac.ml
gcc -E -DCOQVERSION=81601 src/gappatac.c -o src/gappatac.ml
Finished src/gappatac.ml
Building src/gappatac.cmxs
/usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs
File "src/gappatac.c", line 125, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 819, characters 23-40:
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/gappatac.c", line 830, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 833, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 888, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
File "src/gappatac.c", line 891, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
Finished src/gappatac.cmxs
Building src/gappatac.cmo
/usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo
File "src/gappatac.c", line 125, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 819, characters 23-40:
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/gappatac.c", line 830, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 833, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 888, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
File "src/gappatac.c", line 891, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
Finished src/gappatac.cmo
Building src/Gappa_tactic_loader.vo
Finished src/Gappa_library.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo
*** Warning: in file src/Gappa_tactic_loader.v, declared ML module ././gappatac has not been found!
/usr/bin/coqc   -R src Gappa -I src src/Gappa_tactic_loader.v
Finished src/Gappa_tactic_loader.vo
/usr/bin/coqc   -R src Gappa -I src src/Gappa_tactic.v
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.CZuzFe
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x
++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x
+ 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_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.2-5.fc38 --unique-debug-suffix -1.5.2-5.fc38.s390x --unique-debug-src-base gappalib-coq-1.5.2-5.fc38.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq-gappa/gappatac.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs
gdb-add-index: [Was there no debuginfo? Was there already an index?]
dwz: Too few files for multifile optimization
original debug info size: 916kB, size after compression: 916kB
/usr/bin/sepdebugcrcfix: Updated 0 CRC32s, 23 CRC32s did match.
cpio: big_int_Z.ml: Cannot stat: No such file or directory
cpio: buffer.ml: Cannot stat: No such file or directory
cpio: bytes.ml: Cannot stat: No such file or directory
cpio: engine/eConstr.ml: Cannot stat: No such file or directory
cpio: engine/evd.ml: Cannot stat: No such file or directory
cpio: engine/proofview.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: gramlib/grammar.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: interp/dumpglob.ml: Cannot stat: No such file or directory
cpio: kernel/context.ml: Cannot stat: No such file or directory
cpio: kernel/safe_typing.ml: Cannot stat: No such file or directory
cpio: lib/pp.ml: Cannot stat: No such file or directory
cpio: lib/util.ml: Cannot stat: No such file or directory
cpio: library/global.ml: Cannot stat: No such file or directory
cpio: list.ml: Cannot stat: No such file or directory
cpio: pretyping/reductionops.ml: Cannot stat: No such file or directory
cpio: stdlib.ml: Cannot stat: No such file or directory
cpio: string.ml: Cannot stat: No such file or directory
cpio: tactics/tacticals.ml: Cannot stat: No such file or directory
cpio: vernac/mltop.ml: Cannot stat: No such file or directory
62 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/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.gYDBVB
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ remake check
Building testsuite/check
Finished testsuite/check
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappalib-coq-1.5.2-5.fc38.s390x
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.5Ul2Yn
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/doc/gappalib-coq
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/doc/gappalib-coq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/doc/gappalib-coq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/doc/gappalib-coq
+ cp -pr README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.8aQBuQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/licenses/gappalib-coq
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/licenses/gappalib-coq
+ cp -pr COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.5.2-5.fc38 gappalib-coq(s390-64) = 1.5.2-5.fc38 ocaml(Gappatac) = ef63300960a211767b092853a8770877 ocaml(NGappa_Gappa_common) = 4bfca4a6bd6ee8d3d208d88863bb2b30 ocaml(NGappa_Gappa_decimal) = 9deed98b3f36953cde4bae905d98fa8b ocaml(NGappa_Gappa_definitions) = fdd64b578bb87a43902170e029c5c957 ocaml(NGappa_Gappa_dyadic) = 9482d6427d4f60013106255cc4c9d8c6 ocaml(NGappa_Gappa_fixed) = 2a0037f5fa324cda4f440bcba576494a ocaml(NGappa_Gappa_float) = d33826930b76e58cdd53ac1c3ce538e0 ocaml(NGappa_Gappa_library) = fc59aec40877d261e067a2bbd6f14ae3 ocaml(NGappa_Gappa_obfuscate) = a813c5ba6be1bfdb891a0bc080de213d ocaml(NGappa_Gappa_pred_abs) = 66a20b9a68c1ea4fa2fc7375d02e0890 ocaml(NGappa_Gappa_pred_bnd) = 92172be3fae603ca097f4605f05c7a94 ocaml(NGappa_Gappa_pred_fixflt) = 75f9d1801feadfa48d16e42d0ec45c1d ocaml(NGappa_Gappa_pred_nzr) = b86e4f6c35ea2ccf3c69a4f7ee5e4c4f ocaml(NGappa_Gappa_pred_rel) = 8a2d65ddfa05333c2bd9cc786727f060 ocaml(NGappa_Gappa_real) = 39273e418fa5dd934523d9f9b6782460 ocaml(NGappa_Gappa_rewriting) = 552eb03f2b8963fc2a15a18d038eae8f ocaml(NGappa_Gappa_round) = bad108b76a6afa725c600231367515e8 ocaml(NGappa_Gappa_round_aux) = e0d33032627290a7a8c2c477ca269b1f ocaml(NGappa_Gappa_round_def) = e486e380f58b0efdff6de031e4378ca3 ocaml(NGappa_Gappa_tactic) = 8df92fdac24353ba6a387a523a67d9b9 ocaml(NGappa_Gappa_tactic_loader) = 7e14e114a59eb387462dbfbcf763a449 ocaml(NGappa_Gappa_tree) = a7322d39af53db523ae2fbdef0771c35 ocaml(NGappa_Gappa_user) = 046d042aec2c3fe0547fb2c4d0890f7b ocamlx(NGappa_Gappa_common) = 4660c0073ee55837f800057989fc3466 ocamlx(NGappa_Gappa_decimal) = 8a1c12967f02b6ea87067ebbfe9cdc55 ocamlx(NGappa_Gappa_definitions) = 78b4096dd5b800f5995b4289302ccddd ocamlx(NGappa_Gappa_dyadic) = a1e196a8101ad1cebdc8298c64f81dc9 ocamlx(NGappa_Gappa_fixed) = 78ba71d2b7557162c694e11da2ec9fa4 ocamlx(NGappa_Gappa_float) = 29ff861ebc830e9a7bdba0ffb5a932fc ocamlx(NGappa_Gappa_library) = 4ac7f19d718c035507018052df6724de ocamlx(NGappa_Gappa_obfuscate) = 8216212aedde8b16cfc732f95b34d6cd ocamlx(NGappa_Gappa_pred_abs) = 66b6533618c10d12f01db93e9c763161 ocamlx(NGappa_Gappa_pred_bnd) = baf1259fd067e1cebddbbe55d9c9e781 ocamlx(NGappa_Gappa_pred_fixflt) = b8e5ce8b7c8034fa6870351d3aee691e ocamlx(NGappa_Gappa_pred_nzr) = 38c2741938a3feda7fffd02581132f55 ocamlx(NGappa_Gappa_pred_rel) = e6b5b2ef833b33a14f2f8aeb1d80be6f ocamlx(NGappa_Gappa_real) = 9c643febd579f541dd3e4cabb6fd058e ocamlx(NGappa_Gappa_rewriting) = 96be251467233d596dd5e1bb44e201a2 ocamlx(NGappa_Gappa_round) = 80764fbadc4d13ffae63282d4e714dba ocamlx(NGappa_Gappa_round_aux) = 26601a232313eb5bc8e84ad3f93f927d ocamlx(NGappa_Gappa_round_def) = 583956ac7b070d815d9da87ccc73ee9b ocamlx(NGappa_Gappa_tactic) = 4d85ec94957a22cedf264d5a71ee6fa6 ocamlx(NGappa_Gappa_tactic_loader) = e660c4a3b46c9d89bdb3c20d1af5ab9a ocamlx(NGappa_Gappa_tree) = b5354beddad763b45d9da9cd583e10af ocamlx(NGappa_Gappa_user) = 218855dfafaa9aae101eedffdd93a5eb
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = 00edc3e526b6239e9ad4c9319eaaabd5 ocaml(Attributes) = 9c8311d65744ff7d706db174690b46c8 ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 ocaml(CArray) = 3bf67d1381824155797389de8a32d728 ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a ocaml(CClosure) = f4378b7e6756e2d51e034a1fb622833a ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3 ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CErrors) = f3bfdbcb718358cbbdf7269ef0ccc70a ocaml(CList) = a742212da585b925999bb1e9c57f8886 ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739 ocaml(CPrimitives) = 98ddda2b8661651d0ac1c4d2f3adc78a ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608 ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743 ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(Coercionops) = 130ca2c374c3c95f2be07233a9fcfe6e ocaml(Constr) = 9ca352bce78df900bce25f5e83b3e3ec ocaml(Constrexpr) = 0a1d3ceef956f29cc7dc137ca11d7f87 ocaml(Constrintern) = 97b95cdbaec7eb2886396200fc429e6d ocaml(Context) = 233f361cbf25095b743d2afa636ee001 ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783 ocaml(Cooking) = c511194cd3d1c75d0ec51fe57d5c4b93 ocaml(Coqlib) = 2c95a5e907cb1568e1a7c1a9d070b1aa ocaml(DAst) = dad4dc5e90d3a1f173b8fa9529571329 ocaml(Declarations) = af077788df86ae3c100cb12d0e433100 ocaml(Declare) = 50515d5655d9fdf56b819fa36790df68 ocaml(Declaremods) = feae46dd7f816faac5d3a1d9b6695f56 ocaml(Decls) = 703781821a9f6fa92a858580f939bd9e ocaml(Deprecation) = cdadd928d3039e3d0b75f34481e7c04c ocaml(Dumpglob) = 20e9106c0a8efd454cf20e46cba32b6c ocaml(Dyn) = fa3daa324553247018623840358472b5 ocaml(EConstr) = aec1ab28ede64377d193d2fc15de5e09 ocaml(Entries) = 72a73ac1bcf2406fcb0568e0723e2452 ocaml(Environ) = 81958cbbb97b08eb74f21205ecbe734b ocaml(Equality) = 7a649f9b216dad739e837c87f77a3af8 ocaml(Esubst) = 746f3c41caf469b8602bbc0673a9de61 ocaml(Evar) = 156cdf64bb05c4ab0c4051f998dfab52 ocaml(Evar_kinds) = eb698fadadd600269e0ee8549be9900b ocaml(Evardefine) = fe8ca9cf716175388b4409c03e17658c ocaml(Evarsolve) = 3428df78067bc43360db82565604d135 ocaml(Evarutil) = e498f9d920d45be1f78891569f3d02e5 ocaml(Evd) = 7801c47db8f2d9004d9cee2602a72d51 ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922 ocaml(Extend) = 8f3d3aee03298d6f7ff2c8b208ad0498 ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e ocaml(Ftactic) = 235bc69fea943bef8593f9b00b9d5d50 ocaml(Future) = 4b0363951dc2308b41080b1959cbd2f8 ocaml(Genarg) = 780092994952b6af4488c174bbc204bc ocaml(Genintern) = f9c42c5b2c5681eaf7e0e49808e93ddd ocaml(Geninterp) = 3425ad20575082d95c850c333be60921 ocaml(Genprint) = 092559a8daae9547da5b338d63d62f84 ocaml(Genredexpr) = 626bb52775c1748e2c3bffbc6b812083 ocaml(GlobEnv) = d745ee6d77006ea2b750c1b41da66134 ocaml(Glob_term) = 4533a1278fddf471cfcbda9e5b5232db ocaml(Global) = 42f2e82accd666c47e4f9963a75f6ea7 ocaml(Globnames) = 0cde525ff2938a030d830223839482ec ocaml(Goal) = 6c36abc34e3c0219300bf334533445bf ocaml(Goal_select) = 5303e7040d3cbac08b6a3602be100ecd ocaml(Goptions) = 532e5d7e6f0744645df21a2de260a413 ocaml(Gramlib) = c4cb68462c40a1ed4d57b1221c3328b8 ocaml(Gramlib__Gramext) = cceadee5ba8287671304df971ae88da1 ocaml(Gramlib__Grammar) = 5f1a768cb2e6988d339c385f733c0143 ocaml(Gramlib__Plexing) = b8133aac91b79d4ad41ed01ab52880da ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542 ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hints) = 3a9a0ec6a732148db08f2b90c9dbe88e ocaml(Hook) = afc10af2a433f78a0df71272ef5bb0eb ocaml(Impargs) = df2b410f42f3aba42107bfd927a4c601 ocaml(Ind_tables) = 4c7455db4b1d8ad88f5f4c8bf6402af2 ocaml(Int) = c638a3a3a3350b9a3cd3aecfc1548b44 ocaml(Inv) = 87df5e4766260236b23c453288e9777d ocaml(LStream) = f9950e89686bd059defd6cda6a25c5d3 ocaml(Lib) = 64a196b7833437ec6921775c5de57961 ocaml(Libnames) = 7e72e6b9f7e5a2d16c610b7149eb377c ocaml(Libobject) = 33613ae7ae8a9f294163246e5c7d4133 ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc ocaml(Locality) = b91e1cdf8560a02599ec3b484a0faa53 ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec ocaml(Logic) = 13c4bebf9827283a2773b474406ee42b ocaml(Logic_monad) = ad1c2d56a37c94474486c95b0b560584 ocaml(Ltac_plugin) = bb15dbe4f28c600db9de476703ea1b94 ocaml(Ltac_plugin__Pptactic) = 107f9608b253eb0c2c03dd51a5c31ebd ocaml(Ltac_plugin__Tacentries) = d79565bb0bdf241fe57ffff29b9f05b5 ocaml(Ltac_plugin__Tacexpr) = db03a7b8c07c50868303ed8334ed82e0 ocaml(Ltac_pretype) = 1a5459876be0aa010ebe6bdd23c6fd37 ocaml(Metasyntax) = 47a92a3248e359a421627ee6c43007a1 ocaml(Mltop) = 04b802c6f617661d63eb8adfe76b0100 ocaml(Mod_subst) = b56a185b9f7bb6f0f0f519c06bf981db ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c ocaml(NCoq_Arith_PeanoNat) = 3922c4f429b4350bba2dd2dab23b5b5a ocaml(NCoq_Bool_Bool) = 0804aef187ec6ef5a4c6bc88c0a4973b ocaml(NCoq_Bool_Sumbool) = d2613c6f687e37311723c347656b1afa ocaml(NCoq_Classes_Morphisms) = 6b266a73e315469f08ebc542bf8746e8 ocaml(NCoq_Classes_Morphisms_Prop) = c52138961674f9ee5fab86bc21830c4a ocaml(NCoq_Classes_RelationClasses) = 03470792223f41943cca775a8537bcad ocaml(NCoq_Floats_FloatClass) = 9a5e5f319332f1aab08117fc52822560 ocaml(NCoq_Floats_SpecFloat) = 18edf3f67606ec5d149da16e9c2c1dcc ocaml(NCoq_Init_Datatypes) = 7dff06490587ae72d8c480e28d0792c8 ocaml(NCoq_Init_Decimal) = 0091886e0df87b48c1b71a630733d322 ocaml(NCoq_Init_Hexadecimal) = 48f69a780f3ab731bfd5fd9892b611dc ocaml(NCoq_Init_Logic) = 8d49d9267163e6178eb2130b0afa5363 ocaml(NCoq_Init_Nat) = ba503b0fd72b1b323ac75b26585630aa ocaml(NCoq_Init_Number) = cd525699ffce1c8a6f907027bb87d10f ocaml(NCoq_Init_Peano) = 67f231ba5cf8725357b5682f1d4ed41b ocaml(NCoq_Init_Specif) = 6ee28c2862fc7fd46a5168a9f874140a ocaml(NCoq_Init_Wf) = 5bca515f37535f096c090facf9f2ee7b ocaml(NCoq_Lists_List) = f0f59ccc11cabe932e06f5bc97cf054c ocaml(NCoq_NArith_BinNat) = d014d8a7617cce07faeac7a778ef66c6 ocaml(NCoq_Numbers_BinNums) = f68e6acf6ffb202993bf722adf5f5260 ocaml(NCoq_PArith_BinPos) = 567a8354cd285d3669d47d582c454eca ocaml(NCoq_Program_Basics) = 819299f98ae3fdc97e4a9a2c9609ffae ocaml(NCoq_QArith_QArith_base) = e89b31eaa6e00a18da0fbd5d08938402 ocaml(NCoq_QArith_Qabs) = 4a3dc52bf2666912d7d251574a7b8367 ocaml(NCoq_QArith_Qreduction) = 648dbc98464b2098597c04a9e931ceff ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 3bc9cae9c5f4257f9935585d0566e119 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = d0cfbe899abd4907c1c20c02ebd67b98 ocaml(NCoq_Reals_Cauchy_QExtra) = 416b35c7119a55b95616d5ab474212b9 ocaml(NCoq_Reals_RIneq) = e17d1e4cd82578c36d0c8b465e5d0fcc ocaml(NCoq_Reals_R_sqrt) = 0ef21d135ce5620dcdffd8943721e056 ocaml(NCoq_Reals_Raxioms) = 8717e5ba29c58e18675aa9d4441687b9 ocaml(NCoq_Reals_Rbasic_fun) = d7937acd1fa489b5786486500a1c33c7 ocaml(NCoq_Reals_Rdefinitions) = f36e6fdcfa9a0e339578e20a9f5db7d3 ocaml(NCoq_Reals_Rfunctions) = bee964dae118e2f605da619804d4e408 ocaml(NCoq_Reals_Rpow_def) = 08d14df826ae8289b86b0107fb9c36d6 ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Relations_Relation_Definitions) = 50d48e86dd918045ba6710f690346c4e ocaml(NCoq_Setoids_Setoid) = ff4a727e569d978538a179c8c6991898 ocaml(NCoq_Structures_OrdersTac) = e653cee5a401486b918c1d13e4ee646c ocaml(NCoq_ZArith_BinInt) = 75a2ff407fbbc12c0021cf14b6cb0f4a ocaml(NCoq_ZArith_ZArith_dec) = 127ab251d986c70c3d6131d06396afd8 ocaml(NCoq_ZArith_Zbool) = 3c79cf9f91dd9622e786c53f032964e0 ocaml(NCoq_ZArith_Zeven) = 62d38b4a4e33dc0f927bb81a7f738a3e ocaml(NCoq_ZArith_Znat) = e6a528fc72a76ccc4ceb24d48ae0dfd1 ocaml(NCoq_ZArith_Zpower) = 2404fff785da3403be59e3b5070915a7 ocaml(NCoq_setoid_ring_BinList) = 2af322c2b741c327817e63b894d38e93 ocaml(NCoq_setoid_ring_Field_theory) = 6e1e033f24ffed24e144125234ebd9d3 ocaml(NCoq_setoid_ring_Ring_polynom) = f82809523aade7f5fc49d026b5a3fc39 ocaml(NCoq_setoid_ring_Ring_theory) = 6b85b253533d9c96b7b96cbbf6e15a26 ocaml(NFlocq_Calc_Bracket) = e0214f692ecd93d4c63ec81c9a68b962 ocaml(NFlocq_Core_Defs) = 08cd9b47bf7c432525e394f63175cafe ocaml(NFlocq_Core_Digits) = 3e3ce226aa583a7f62c6933c79a9587d ocaml(NFlocq_Core_FIX) = 67d75cf34e0a21bb4933d4ede0c59ebd ocaml(NFlocq_Core_FLT) = 8cdb39a38fe4b22eb6dfd1f6cc35ec2e ocaml(NFlocq_Core_FLX) = 9c1a23b9ba23e210b16128375943f9d5 ocaml(NFlocq_Core_Generic_fmt) = 2410b3af617d927dd58d0b601b84c8bc ocaml(NFlocq_Core_Raux) = 34b3cbbefcc8082bfc2aa9bd75cb8316 ocaml(NFlocq_Core_Zaux) = 1331b523bdf9decaac86604d1dd39bbf ocaml(NGappa_Gappa_decimal) = 9deed98b3f36953cde4bae905d98fa8b ocaml(NGappa_Gappa_definitions) = fdd64b578bb87a43902170e029c5c957 ocaml(NGappa_Gappa_dyadic) = 9482d6427d4f60013106255cc4c9d8c6 ocaml(NGappa_Gappa_pred_bnd) = 92172be3fae603ca097f4605f05c7a94 ocaml(NGappa_Gappa_round) = bad108b76a6afa725c600231367515e8 ocaml(NGappa_Gappa_round_aux) = e0d33032627290a7a8c2c477ca269b1f ocaml(NGappa_Gappa_round_def) = e486e380f58b0efdff6de031e4378ca3 ocaml(NGappa_Gappa_tree) = a7322d39af53db523ae2fbdef0771c35 ocaml(Namegen) = 0a8addd4f715e43f63deeddff67666bc ocaml(Names) = 0b6c349e44c595f40356f60ca49fa766 ocaml(Nametab) = 939eb1b5d6f3dab8fc7aa53d76f8cd46 ocaml(Nativecode) = 02dbeca2f7bfac8ee80f221d7d1bcb8a ocaml(Nativeconv) = 60d8b9f9f4561c30226973b77f29c919 ocaml(Nativelambda) = 219578857e7b319faa4d145a4fa5ff68 ocaml(Nativelib) = 7b23ee7251439aa612f59354c020ea67 ocaml(Nativevalues) = 151356e5f71c48ba131e257d7b5d6b0e ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3 ocaml(Notation) = 6687290488ca913493273e35ec9140c4 ocaml(Notation_term) = ba7e10bd6c980ba842674b92c4fd32b8 ocaml(NumTok) = 919d150c66ab68cf4c64598cc40be9c3 ocaml(Opaqueproof) = b1745fe14cd37c212d34eea094f1b8df ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866 ocaml(Pattern) = bf0feb2b99812624585018290a94c3e7 ocaml(Pcoq) = 30a4ee789831680c39f99302f3402899 ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Pretype_errors) = 4f0e6bee2956221e0d19c7a4d6232f5b ocaml(Pretyping) = a6903cb3010cce9b1b538151878854dc ocaml(Primred) = 97ca1d481f50c1c9701babd2fd24fa01 ocaml(Printer) = 1508d255db0d0f15754cef32e692257a ocaml(Proof) = e0acf16fbe54fc07c8509cc29dd691af ocaml(Proof_bullet) = 63ceb96c0edba9cad504d0db9cf381d8 ocaml(Proof_using) = 0e6b867bb35f79d409de49d232158d61 ocaml(Proofview) = 3d6152dfc2a51be0829e6bb46552105f ocaml(Proofview_monad) = 7f12467494a6d7b1e7a1ad7c434aea2d ocaml(Range) = 346d147227354e938de6b932d04d6b3d ocaml(Redexpr) = 358ce56fbaf02036c310a0dc80dceee1 ocaml(Reduction) = 3523f631320a31383fd961d753a8e437 ocaml(Reductionops) = 589f659dcd35d95083d18864277f803b ocaml(RetrieveObl) = 25482df7bf0c95ee7a7420fdc7b077ff ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644 ocaml(Safe_typing) = 2cfd62ffab10a60ce3b0d9eae3e38881 ocaml(Section) = 68f3c3d655a9890cf3b21f6b34e3160c ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2 ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505 ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Store) = 918c3a10b0813c8232cd62d2f408caad ocaml(Summary) = c563d6bd180e6b78f0f0ca461607f4bd ocaml(Tacmach) = f589b85b22b5f00627cf4d9f6681e407 ocaml(Tacred) = 1bcf5d6b2d87bb2d7696492a83cd30ea ocaml(Tacticals) = 87cde9a3ed05f21524a5e0190cfd0bb7 ocaml(Tactics) = 34eb6eacaec827fb614cac476b2bafa9 ocaml(Tactypes) = b9e19e5a5f9b5b90dd92fc062230a5cb ocaml(Term) = c1500a859572f47c5adeb740fbcebf6b ocaml(Tok) = d7f575ffa78825bb266417e4b337bcdb ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06 ocaml(Type_errors) = 0c0828c2a9ff92cc716465e0013a0769 ocaml(Typeclasses) = c82cf14a959ab2a132030ef8b5b5bb4c ocaml(UGraph) = bd28bddd5c33ca5c1a5f9f43f907e5da ocaml(UState) = 3ec987d0c982616ff943f71f05e2c111 ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b ocaml(Unification) = bb08182b91ec85ec72551ce13bfed01f ocaml(Univ) = 6feb5ec642e4daf30a0944e888214cea ocaml(UnivGen) = c08393c720001d4601ab69c764edae38 ocaml(UnivNames) = 9f0af4e2cd7c9a6a04f181684ebd75df ocaml(UnivProblem) = 0bf19edcf4c9ada1dd5cdb51d579b1fc ocaml(UnivSubst) = 2c793a58009dea74a325c5082597d844 ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea ocaml(Vars) = 73a674179608a349a8f3d001ee037f1d ocaml(Vernacexpr) = 31bf27dcb0e938a20d1797f40b7144ae ocaml(Vernacextend) = b507ea2d1a0f49d7fb3939c2f335eebe ocaml(Vmbytecodes) = 88733f1084158f9273bb318495213675 ocaml(Vmemitcodes) = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 ocaml(Vmvalues) = 6cfd8f0d13168b127ebed3d4375b15c3 ocaml(Z) = a71ac4a535434978287848841376388e ocamlx(CamlinternalLazy) = 7498a48b2fe233db683be47d48c215fc ocamlx(NCoq_Floats_SpecFloat) = c356ad7392a9629e0a65ec307a06bfa3 ocamlx(NCoq_Init_Datatypes) = cdbab4b0bd137a1bc00d54561f3dd061 ocamlx(NCoq_Init_Logic) = 41d65a6a2b1c55d6e2f10cf6ded4b229 ocamlx(NCoq_Init_Specif) = deb5ee0a23525d72a763da2cf5baa68d ocamlx(NCoq_Lists_List) = 8907851d368bbc622072348a2536b0a3 ocamlx(NCoq_NArith_BinNat) = 19dc97790aa8fd60b0b8835c17ab2206 ocamlx(NCoq_Numbers_BinNums) = e0612228d82543c6ffaaa7a7352608e9 ocamlx(NCoq_PArith_BinPos) = 1e8b3ca260e0a0ff81f3991f27f1be38 ocamlx(NCoq_Reals_R_sqrt) = 27b338f7a9c7ab544cf1067dbd948ae9 ocamlx(NCoq_Reals_Raxioms) = 3b1369f1543b29a1db5ad7c0bd822434 ocamlx(NCoq_Reals_Rbasic_fun) = 2c165e553032f50d013dc3e0ad2b2069 ocamlx(NCoq_Reals_Rdefinitions) = 8a9cac064a58a982fe19448f6fbaa88d ocamlx(NCoq_Reals_Rfunctions) = 619dbcc0d97ba223da5000be188b512b ocamlx(NCoq_ZArith_BinInt) = 72c720a0aa3efbe0e6c6319c8bf70f35 ocamlx(NCoq_ZArith_Zbool) = 385a4314bd8a1898f5ec08d609499805 ocamlx(NCoq_ZArith_Zpower) = 277dd7090eabd4d926b59df95dc9bfc3 ocamlx(NCoq_setoid_ring_Field_theory) = fb1b1d2dfe370d37f135065fe598dc1a ocamlx(NFlocq_Calc_Bracket) = 82fd57fcd8dbe53929c8b442fc02076d ocamlx(NFlocq_Core_Defs) = d267aaa66dee1df5ed3fd3f0f19d6280 ocamlx(NFlocq_Core_Digits) = b0fa31117f100961bcc45d99aed81dce ocamlx(NFlocq_Core_FIX) = ab5e04c987d6e7f02380b1412ab173e0 ocamlx(NFlocq_Core_FLT) = 41dccf27c07e7191e7778d3e7e404511 ocamlx(NFlocq_Core_FLX) = a743a2a336654661abc14d4511cd781f ocamlx(NFlocq_Core_Generic_fmt) = b343fea3302b6db51370de1ef4aa84c9 ocamlx(NFlocq_Core_Raux) = 81caaec2159d48d20c84ea046e2accc9 ocamlx(NFlocq_Core_Zaux) = 05fdc60c932a66243d8e6f7551011f8b ocamlx(NGappa_Gappa_decimal) = 8a1c12967f02b6ea87067ebbfe9cdc55 ocamlx(NGappa_Gappa_definitions) = 78b4096dd5b800f5995b4289302ccddd ocamlx(NGappa_Gappa_dyadic) = a1e196a8101ad1cebdc8298c64f81dc9 ocamlx(NGappa_Gappa_pred_bnd) = baf1259fd067e1cebddbbe55d9c9e781 ocamlx(NGappa_Gappa_round) = 80764fbadc4d13ffae63282d4e714dba ocamlx(NGappa_Gappa_round_aux) = 26601a232313eb5bc8e84ad3f93f927d ocamlx(NGappa_Gappa_round_def) = 583956ac7b070d815d9da87ccc73ee9b ocamlx(NGappa_Gappa_tree) = b5354beddad763b45d9da9cd583e10af ocamlx(Nativecode) = 0798b9a570319ea4c985f1a8a57f0c97 ocamlx(Nativevalues) = 7774b44ec1e54680f312f408409ec824 rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.2-5.fc38.s390x
Provides: gappalib-coq-source = 1.5.2-5.fc38 gappalib-coq-source(s390-64) = 1.5.2-5.fc38
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.5.2-5.fc38.s390x
Provides: gappalib-coq-debugsource = 1.5.2-5.fc38 gappalib-coq-debugsource(s390-64) = 1.5.2-5.fc38
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.5.2-5.fc38.s390x
Provides: debuginfo(build-id) = 0cdc82d8699948903ade0c3cd3c62076fcf7a814 debuginfo(build-id) = 16c17a9de2241ecd7e6d18ee3bd915a1f28d0733 debuginfo(build-id) = 2310f1cbdcda2a61c164831c0e89da758bb73e44 debuginfo(build-id) = 3e9089d9da484bac7031bfdb524f0e2b295aba4f debuginfo(build-id) = 3f3ec35e13ecfa5a1d601533658288ded6062ee9 debuginfo(build-id) = 4652e2defa166040a313547b2c3d55cfdf3d29a3 debuginfo(build-id) = 47134b93e09276f67dba56494a7a3988150c0b0e debuginfo(build-id) = 4c16afd963f30c29d73894136494ac87a797631a debuginfo(build-id) = 566f1f144785eb07a1e09eab35c7e344410c2852 debuginfo(build-id) = 722ff895ce326b9c70b15715a04b017d57011a08 debuginfo(build-id) = 737a8be37abf32e15118c8ecc8bd4466fc67bdae debuginfo(build-id) = 8bff6e600b8d04c514e86087f95acdcb9c376e36 debuginfo(build-id) = 8db8592ceef19e6ab0edd4d63540d9cd75d9e4fc debuginfo(build-id) = 9747aeb071068d8b4e0686494d30988b0268204f debuginfo(build-id) = b85c5d39694473e23e76ab8dd428914cd304481a debuginfo(build-id) = d0e71cf8a295fd27a1bfe7c7f8e69e722be8cbd9 debuginfo(build-id) = d48390edaedf4feac9e7642c33d866bf7a348a1f debuginfo(build-id) = dfb6442c0bf3b58f7fb0b8f06b96b80fd127c9fb debuginfo(build-id) = dffa0236b9e0d7b3c399098b7c191c628c5f7c0b debuginfo(build-id) = f2540ace8b71fa7ca12fec2a7a27136422dac00e debuginfo(build-id) = f2b1d08bea45b2240f4accab274ccc87c125b7bd debuginfo(build-id) = f7b91dc0cb623a880686eeafe2df7237118a146b debuginfo(build-id) = fa247352b706e7890b3d4fc97266bc2e8896811a gappalib-coq-debuginfo = 1.5.2-5.fc38 gappalib-coq-debuginfo(s390-64) = 1.5.2-5.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(s390-64) = 1.5.2-5.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.2-5.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.2-5.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.2-5.fc38.s390x.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.2-5.fc38.s390x.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.YCzJye
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.s390x
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.HnHn6K
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0