Mock Version: 5.5
Mock Version: 5.5
Mock Version: 5.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f38-build-50763663-6068491/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 0x7faf30d16cf0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.hnihxsf7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.hnihxsf7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '662351cba2bb415594bdd46524e99fa4', '-D', '/var/lib/mock/f38-build-50763663-6068491/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.hnihxsf7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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 --noclean --target x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1697587200
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.3-2.fc38.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f38-build-50763663-6068491/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 0x7faf30d16cf0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.hnihxsf7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.hnihxsf7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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', '2df6cf218ed044058d304a9738691fdf', '-D', '/var/lib/mock/f38-build-50763663-6068491/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.hnihxsf7:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--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 --noclean --target x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1697587200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.sUP1ic
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.3.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ /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.FwjdIH
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ ./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/ccSUO5gY.o: in function `main':
remake.cpp:(.text.startup+0xc14): 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 -j6
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 -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
Building src/Gappa_float.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.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_dyadic.v | ./remake -r src/Gappa_dyadic.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.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_real.vo
Building src/Gappa_pred_bnd.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  -q -R src Gappa -I src src/Gappa_definitions.v
Building src/Gappa_round.vo
Building src/Gappa_round_aux.vo
Building src/Gappa_round_def.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
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.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
/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  -q -R src Gappa -I src src/Gappa_real.v
Building src/Gappa_library.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_def.v
Building src/Gappa_pred_abs.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.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/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_fixflt.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_obfuscate.v
Building src/Gappa_pred_nzr.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/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
Building src/Gappa_pred_rel.vo
Building src/Gappa_rewriting.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/coqdep -m src/META.coq-gappa -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 -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo
Finished src/Gappa_obfuscate.vo
Building src/Gappa_tactic_loader.v
gcc -E -DCOQVERSION=81701 -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=81701 src/gappatac.c -o src/gappatac.ml
Finished src/gappatac.ml
Building src/gappatac.cmxs
Building src/gappatac.cmo
/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
/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 127, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 127, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 832, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 835, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 832, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 835, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output
File "src/gappatac.c", line 890, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
File "src/gappatac.c", line 893, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
File "src/gappatac.c", line 890, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
File "src/gappatac.c", line 893, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.
Finished src/gappatac.cmo
Finished src/gappatac.cmxs
Building src/Gappa_tactic_loader.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
/usr/bin/coqc   -q -R src Gappa -I src src/Gappa_tactic_loader.v
Finished src/Gappa_tactic_loader.vo
Finished src/Gappa_definitions.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_dyadic.v
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_round_def.vo
Finished src/Gappa_real.vo
Finished src/Gappa_dyadic.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_common.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_aux.v
Finished src/Gappa_common.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_tree.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_rewriting.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_decimal.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_nzr.v
Finished src/Gappa_round_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_fixflt.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round.v
Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_abs.v
Finished src/Gappa_decimal.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_bnd.v
Finished src/Gappa_pred_fixflt.vo
Finished src/Gappa_rewriting.vo
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_round.vo
Finished src/Gappa_pred_abs.vo
Finished src/Gappa_pred_bnd.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_user.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_float.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_fixed.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_rel.v
Finished src/Gappa_user.vo
Finished src/Gappa_fixed.vo
Finished src/Gappa_pred_rel.vo
Finished src/Gappa_float.vo
Finished src/Gappa_tree.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_library.v
Finished src/Gappa_library.vo
/usr/bin/coqc   -q -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.4iKBvQ
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64
++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64
+ 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.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j6 --strict-build-id -m -i --build-id-seed 1.5.3-2.fc38 --unique-debug-suffix -1.5.3-2.fc38.x86_64 --unique-debug-src-base gappalib-coq-1.5.3-2.fc38.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
find-debuginfo: starting
Extracting debug info from 23 files
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs': No debugging symbols
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs': No debugging symbols
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs': No debugging symbols
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs': No debugging symbols
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
/usr/bin/gdb.minimal
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
Error while writing index for `/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs': No debugging symbols
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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?]
DWARF-compressing 23 files
dwz: Too few files for multifile optimization
sepdebugcrcfix: Updated 0 CRC32s, 23 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.5.3-2.fc38.x86_64
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
find-debuginfo: done
+ /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
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j6
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.SLUpf4
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ 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.3-2.fc38.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.UeevMM
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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.3-2.fc38.x86_64/usr/share/doc/gappalib-coq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/share/doc/gappalib-coq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/share/doc/gappalib-coq
+ cp -pr README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.wJgtOB
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/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.3-2.fc38.x86_64/usr/share/licenses/gappalib-coq
+ cp -pr COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.5.3-2.fc38 gappalib-coq(x86-64) = 1.5.3-2.fc38 ocaml(Gappatac) = 32c92d81523630ac8f33a03ba58d1c89 ocaml(NGappa_Gappa_common) = b3597d4f6435d80f80af32d53203e15f ocaml(NGappa_Gappa_decimal) = 6c7e8b903c3646e20cf008e5d3c44a5b ocaml(NGappa_Gappa_definitions) = 66c4ce6654dd0d2beee38b4a91722b5a ocaml(NGappa_Gappa_dyadic) = 8bb5d34b595c71a623f309c1f53afc13 ocaml(NGappa_Gappa_fixed) = f68603de4767df88cc74a070dcd03513 ocaml(NGappa_Gappa_float) = afa3ea0ee9bebbcb400705c2b34468fa ocaml(NGappa_Gappa_library) = 0ea9ae767d830f350ad773b2a9851fb4 ocaml(NGappa_Gappa_obfuscate) = d85788990eaae14012db3444edaff581 ocaml(NGappa_Gappa_pred_abs) = a3d0ba0b5af5b1aae27b620f0daad9ab ocaml(NGappa_Gappa_pred_bnd) = 35d952681390a0ad547a9c0e488faa27 ocaml(NGappa_Gappa_pred_fixflt) = 5ca3f526a77041533e114f00a9ce3a1a ocaml(NGappa_Gappa_pred_nzr) = add2a87527f5d9c41bda06786fd68218 ocaml(NGappa_Gappa_pred_rel) = 39737f60a5f9ce2545258458ea0361ed ocaml(NGappa_Gappa_real) = 21faa1d599704545a09c856835b3a7a7 ocaml(NGappa_Gappa_rewriting) = b7536a925f4d0af08c9683af10af53a6 ocaml(NGappa_Gappa_round) = d47c7d3ce69d10a3e00c5aa850108c65 ocaml(NGappa_Gappa_round_aux) = b9939fb76362a408b7c149daa1d7d92f ocaml(NGappa_Gappa_round_def) = 4ffdeeb796134cf0aa46b4255630ea99 ocaml(NGappa_Gappa_tactic) = 90c39db8ae044ac68420b26ecc917a2a ocaml(NGappa_Gappa_tactic_loader) = 80ef5c732073289281622a94affa7c0c ocaml(NGappa_Gappa_tree) = 51b6a9cf1f52fdcd23fc4fa706fde0ee ocaml(NGappa_Gappa_user) = d3b3d96f6832eef147046ffa82ab4a1d ocamlx(NGappa_Gappa_common) = 6e33a7ce9abe9334912ec1f0388ead91 ocamlx(NGappa_Gappa_decimal) = ac74e987c40abd108bcd5ba1dc4ec1d7 ocamlx(NGappa_Gappa_definitions) = 323f455c1f4878cb8ac773e1b35c31c7 ocamlx(NGappa_Gappa_dyadic) = 23eef2256026bc6df04c316e79a7bf8e ocamlx(NGappa_Gappa_fixed) = 993ebdbcf9c81f235a0b2b1a86172b3a ocamlx(NGappa_Gappa_float) = 6f82eac339cacbc47071926ce519b0f5 ocamlx(NGappa_Gappa_library) = 0d27cf261fcf2068d1823fe8a88a6574 ocamlx(NGappa_Gappa_obfuscate) = b9b95b39a6e66af646495256572d2d0e ocamlx(NGappa_Gappa_pred_abs) = 343c48470f9b22229016f7df517a85d0 ocamlx(NGappa_Gappa_pred_bnd) = b38034ad9a3d0f191d231e46cb00053c ocamlx(NGappa_Gappa_pred_fixflt) = 8ab246026ab519a79fe741642119a353 ocamlx(NGappa_Gappa_pred_nzr) = 5569fab4800f69f869fc20a8d6bc343e ocamlx(NGappa_Gappa_pred_rel) = a3110792fe9ffd3d82147a1970227d93 ocamlx(NGappa_Gappa_real) = 39cd0b636f9ac16b7e4c0d530fb4e193 ocamlx(NGappa_Gappa_rewriting) = 5bf3ec10d5336517892d9a90f3684ee0 ocamlx(NGappa_Gappa_round) = 1ff440af375e6e785d274bcb914b76d9 ocamlx(NGappa_Gappa_round_aux) = dca301555161d15eee621c4c63121f9d ocamlx(NGappa_Gappa_round_def) = cfa011abf877beaad23f9ea7fe848cd3 ocamlx(NGappa_Gappa_tactic) = 1d8909072fa2703e0b72be24a9c501ef ocamlx(NGappa_Gappa_tactic_loader) = 9669cd45b12cfe5c1076aeb1bf785096 ocamlx(NGappa_Gappa_tree) = 5b36ce6650bbdcb22ebc1471576d344d ocamlx(NGappa_Gappa_user) = 525f883ad9e713a56d95e5ffade0a1be
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = 6db97d4aba38e99b1ce79c13c9dc26ae ocaml(Attributes) = 5a60c0917b2c3a0fcb0df4e62de76fbb ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 ocaml(CArray) = 3bf67d1381824155797389de8a32d728 ocaml(CAst) = e6f0ae1977289571e268f9f4798f45af ocaml(CClosure) = 0e858027f3915a9044ef4a568f65205d ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3 ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CErrors) = 4e9a1cc39f535710b599ba92dc88682e ocaml(CList) = 963264b024cbb32e5211e7abb601d1fc ocaml(CMap) = b5f62fbd6f9416f40b63b0dac2bac8a8 ocaml(CPrimitives) = b572f5424b98ffcb8968be2d42112246 ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608 ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743 ocaml(CString) = 185a019f870874a8ff87e047f1d56006 ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(Coercionops) = e0b05e9870c9dd8bba9769fdb11d0c34 ocaml(Constr) = 670799fa78880c542c37d64b3baf38aa ocaml(Constrexpr) = 89d8853310bab32ea1eb882a028a8445 ocaml(Constrintern) = 2b5645f078e081a0478249562e9d5b05 ocaml(Context) = 233f361cbf25095b743d2afa636ee001 ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783 ocaml(Cooking) = 2c425c1e71f2ea9e68941efc72edf46e ocaml(Coqlib) = e0f7d6e588e70598542cd61ebd0f23fc ocaml(DAst) = 7d980c0cbe7bf12e0b87d6fae18f2cf6 ocaml(Declarations) = aaa7cf86083c22fe0bdc650b9766d7f2 ocaml(Declare) = ebadfec2550643d7dadaed20cd7bb4a6 ocaml(Declaremods) = fb16413a97e082b5ed9c79cca9f31f9b ocaml(Decls) = c143bdd1833d476947a9f81d767bdcf8 ocaml(Deprecation) = cdadd928d3039e3d0b75f34481e7c04c ocaml(Dumpglob) = 25750de3f8d5627e05625fc8c96573f4 ocaml(Dyn) = a80a8fb9c90585019a5f7a92adf2e2fc ocaml(EConstr) = f7ccdac0e964cd5cdb24c34fd0de582a ocaml(Entries) = 292cd81a23ad7e0507d10f00d83d1e9e ocaml(Environ) = 52e9defc7fd393e51d052bac59d8446f ocaml(Equality) = c937130ca9e4d168b06d9417c1869776 ocaml(Esubst) = a96ceb099c2f1fb6d9584a61b57ee72b ocaml(Evar) = 5410ca5e116902547a19a06b75d92579 ocaml(Evar_kinds) = eb698fadadd600269e0ee8549be9900b ocaml(Evardefine) = 61b0a4dd1e82f8a77a24f23deaeb743f ocaml(Evarsolve) = 24b8886508accd2291c7434f83a97011 ocaml(Evarutil) = 6ed8a4aa0ace5ba3553e75261d2ce316 ocaml(Evd) = 6e9608a15e2e2562ca13abeeeca35a18 ocaml(Exninfo) = 1108fbdf2827b6d2494e3e4bca2b55f0 ocaml(Extend) = ea6908938502338d5a40473f55556d2b ocaml(Float64) = 919fb2eabc120f3c4e0129cfc56531e2 ocaml(Ftactic) = f78ee5f7e7021278250fefd3823b8995 ocaml(Future) = 4b0363951dc2308b41080b1959cbd2f8 ocaml(Genarg) = 780092994952b6af4488c174bbc204bc ocaml(Genintern) = dea1abeb892588a68048e5281bd50c3a ocaml(Geninterp) = e53eabcc0f9e0074037775f5eded68b4 ocaml(Genlambda) = 56cbe0a8daebf59b513cd61e5af4c4a0 ocaml(Genprint) = 083509d48354fa981b03ded6f7e5574c ocaml(Genredexpr) = f53a74c218a59a60651f05f62ac89d06 ocaml(GlobEnv) = 7ebd778657dc4ce1640ce3c2b6e09795 ocaml(Glob_term) = 5ef7569a2107526d8939df2edc1719f2 ocaml(Global) = 42f2e82accd666c47e4f9963a75f6ea7 ocaml(Globnames) = 7d19dd4e674067766e7badd2397d3479 ocaml(Goal_select) = 4436d8e1f64e5b9232522bd9da57ae36 ocaml(Goptions) = 14f9f251574a55f813b1b9c6aa56c246 ocaml(Gramlib) = 8e1c211ef61e4e62fd295ca9771f63ec ocaml(Gramlib__Gramext) = 2e57141ce4d24fd67956a8faad609320 ocaml(Gramlib__Grammar) = 09d1e16ec99220015f9f182f7d8a3846 ocaml(Gramlib__LStream) = b5de63fd5eb20f4c2d8ef0455825af32 ocaml(Gramlib__Plexing) = 1f45f85d4f8fa0710a63bf260ce64dcd ocaml(Gramlib__Stream) = 7e4f02849f98bf6703e0fdcdf678cd86 ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542 ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hints) = 4d33a7d04e4ea5be3282f2483d71168c ocaml(Hook) = 91f169611318aedc592bf024573af625 ocaml(Impargs) = 59fdb83865f44cc6f25c60be55eedc38 ocaml(Ind_tables) = 5f1e45678e7aa4a39c04ab8e26e27c70 ocaml(Int) = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 ocaml(Inv) = 51eadaf0cae064f29382e502af8bb869 ocaml(Lib) = 4d4e0019fb768523b194e87563e45c74 ocaml(Libnames) = 02ee04741ecccd4a6a82dd66b8c3795d ocaml(Libobject) = 55fd7942a25933ad93fc7b288222b20f ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc ocaml(Locality) = 446b59cbb24530cc5dccfcb639525d3b ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec ocaml(Logic) = a982fb04f7d3d9a4a2c17f8fd2325491 ocaml(Logic_monad) = 7568b85d2e5b3a8a6979dbdb1096e38c ocaml(Ltac_plugin) = 7f51264610d86febd55751ade481cb54 ocaml(Ltac_plugin__Pptactic) = 343a0e91e5570407d4d55f975c39f4ed ocaml(Ltac_plugin__Tacentries) = 0995c1927bdacf1c523aaaa675e82a07 ocaml(Ltac_plugin__Tacexpr) = 57396f6e0de4dee925444431786b1957 ocaml(Ltac_pretype) = 270e7aa2a02bec3eda99e4f427a351f7 ocaml(Metasyntax) = ef17ddb3edfa09035e930a283de5f7e5 ocaml(Mltop) = 18037b34393e18d572701dfee90ec3f7 ocaml(Mod_subst) = 883ff24157873ad45c0b936416e276f3 ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c ocaml(NCoq_Arith_PeanoNat) = 1d70648159fea896330b722effcda00c ocaml(NCoq_Bool_Bool) = d5e3820210fece680272192a53606d50 ocaml(NCoq_Bool_Sumbool) = f3b2aadd3ec4d4a29848475f7316959e ocaml(NCoq_Classes_Morphisms) = 1bdbf76503a06382644347d42d2cddf0 ocaml(NCoq_Classes_Morphisms_Prop) = 8dc18d10a83bafa73f8c06b66e514d49 ocaml(NCoq_Classes_RelationClasses) = d91638f3f38485aaeb3d2e9028952e21 ocaml(NCoq_Floats_FloatClass) = dbd845bb26aa9b4a768cdf11ce1788d3 ocaml(NCoq_Floats_SpecFloat) = c3320d5a18ae624200f8243464a12515 ocaml(NCoq_Init_Datatypes) = ba14e8401b72fef301fdb473e3d2bafa ocaml(NCoq_Init_Decimal) = a621a9c215aec9d7e16885a0b523e497 ocaml(NCoq_Init_Hexadecimal) = 89179eec46359242ebf24e32c6fb6f13 ocaml(NCoq_Init_Logic) = 5844583c4d0cb46a11802ac8553e2206 ocaml(NCoq_Init_Nat) = 0e426f499ecc6441a0c78e922372ac9d ocaml(NCoq_Init_Number) = aab1d75d4dbd4729ce71c397398cc45e ocaml(NCoq_Init_Peano) = c08de57feb63472602832118f771ac58 ocaml(NCoq_Init_Specif) = 62e06202f4fd1331cd5f556440e30b6c ocaml(NCoq_Init_Wf) = aabb09f2e37b54489b8a2b02eb8330ba ocaml(NCoq_Lists_List) = 983adfe7b13f4c4334ca68f5997c595c ocaml(NCoq_NArith_BinNat) = 5a233cf05757a167e63428cf2398e8e8 ocaml(NCoq_Numbers_BinNums) = 5d537f42a06df908f38b8169b430149a ocaml(NCoq_PArith_BinPos) = e44ceb5a5503da0ba401248b814fd16e ocaml(NCoq_Program_Basics) = 84d6c3405bd68df089341f4153a1804d ocaml(NCoq_QArith_QArith_base) = 4fcf743fb695aeb5b1b6af244c0a814f ocaml(NCoq_QArith_Qabs) = d76f5466f08fe0973b1bc57de3ce0bfa ocaml(NCoq_QArith_Qreduction) = 2a363df47677d2989d0e7db3f0f42f2f ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 05cdd62010014222a803e745ec5e3513 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 7b510e1b8cd5f31ca30caa209ffaf040 ocaml(NCoq_Reals_Cauchy_QExtra) = 33aee1bf52f94ddce9f6c701ed1b50d6 ocaml(NCoq_Reals_RIneq) = 118b37e0d4458879243ea0cf5a6aaa74 ocaml(NCoq_Reals_R_sqrt) = 7c68a8177547bd1f3d2a24dd520b575a ocaml(NCoq_Reals_Raxioms) = 57db10cb6c048406738751134bed8f57 ocaml(NCoq_Reals_Rbasic_fun) = b0ccd7c3ee2e625be2c337b3a7b0139e ocaml(NCoq_Reals_Rdefinitions) = edcffca6cffd1a5625b0332e96f629cd ocaml(NCoq_Reals_Rfunctions) = 56d35e592bc110754aeb2ae506ec1866 ocaml(NCoq_Reals_Rpow_def) = ed5398f03390306ffb4d5a073a7d4bc9 ocaml(NCoq_Reals_Rsqrt_def) = 550a37f43b8210a23da8d305167a2aaa ocaml(NCoq_Relations_Relation_Definitions) = ac7c54de55154e1e6fa55367d66f6f11 ocaml(NCoq_Setoids_Setoid) = f61ae89f5ac94810e7c9157e439f6c1e ocaml(NCoq_Structures_OrdersTac) = b4a592883b667daf1534538003f4f02d ocaml(NCoq_ZArith_BinInt) = a6355607a6aec47df884d02e09314e4f ocaml(NCoq_ZArith_ZArith_dec) = 48ed3be92b393f44ef814ef7217b8452 ocaml(NCoq_ZArith_Zbool) = 0780b0ab8a7dd60117d04ce4148ecd41 ocaml(NCoq_ZArith_Zeven) = a030e2000395803d4d23b612d9a79b70 ocaml(NCoq_ZArith_Znat) = 94da1a4df208ddb46df1700004658560 ocaml(NCoq_ZArith_Zpower) = 7b9d7348df09e815db99d60e29c11a6f ocaml(NCoq_setoid_ring_BinList) = 38f5dbc2bedbf3742d064c8463058f50 ocaml(NCoq_setoid_ring_Field_theory) = 8fa9b85239cdcdb778730cc4931a81c4 ocaml(NCoq_setoid_ring_Ring_polynom) = f243c25c1d54e298da7d5b56aafd39d0 ocaml(NCoq_setoid_ring_Ring_theory) = 4ad8bfe2179da4d9177ac6b283df8bf1 ocaml(NFlocq_Calc_Bracket) = 20ba3b1ac2be233da40aa18c0c92292e ocaml(NFlocq_Core_Defs) = 132b24e99d3a5669fbb9feae3bb4ab0e ocaml(NFlocq_Core_Digits) = 9e1310413c913a287784d9e1207c99bb ocaml(NFlocq_Core_FIX) = 623c74745f56657c760f2b3e25ec9b03 ocaml(NFlocq_Core_FLT) = 284f67b699b86802d59614fe94330310 ocaml(NFlocq_Core_FLX) = 2a990cdf5108527c7e8c42ab64e7daac ocaml(NFlocq_Core_Generic_fmt) = a2463e4363999b165b83188ef11e6437 ocaml(NFlocq_Core_Raux) = 10a1868c65be4137786833a740b846ac ocaml(NFlocq_Core_Zaux) = a0906b16b454ba59d23c1c323e4d6186 ocaml(NGappa_Gappa_decimal) = 6c7e8b903c3646e20cf008e5d3c44a5b ocaml(NGappa_Gappa_definitions) = 66c4ce6654dd0d2beee38b4a91722b5a ocaml(NGappa_Gappa_dyadic) = 8bb5d34b595c71a623f309c1f53afc13 ocaml(NGappa_Gappa_pred_bnd) = 35d952681390a0ad547a9c0e488faa27 ocaml(NGappa_Gappa_round) = d47c7d3ce69d10a3e00c5aa850108c65 ocaml(NGappa_Gappa_round_aux) = b9939fb76362a408b7c149daa1d7d92f ocaml(NGappa_Gappa_round_def) = 4ffdeeb796134cf0aa46b4255630ea99 ocaml(NGappa_Gappa_tree) = 51b6a9cf1f52fdcd23fc4fa706fde0ee ocaml(Namegen) = b27857dd58e622e963a475048c219bfc ocaml(Names) = 2ea9132743d37e1af5c8327b5dc400b1 ocaml(Nametab) = cd1025d7a24bd57f7b3234cafa33d7b6 ocaml(Nativecode) = 842a27615e40a598a3aabe25b3b65322 ocaml(Nativeconv) = 8d892045979e0114aa149472891fd7cd ocaml(Nativelib) = c14db6be2a471852ffc636e36467ec57 ocaml(Nativevalues) = 50c4bb93028b49d5f9a3462bd4dda4e2 ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3 ocaml(Notation) = ccc9173dc208892df5f9805bb3da133b ocaml(Notation_term) = f8928ba07509dc722ec93f786e618660 ocaml(Notationextern) = 6f691d234ff40f7e5788f4deef3bab47 ocaml(NumTok) = 5d3e7b9a2ad3262b9d6a272123b58884 ocaml(Opaqueproof) = 999bfd5f937c49fe3b1b03eafd7a3c8b ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866 ocaml(Pattern) = a77c98a741a12cc0e30505f6ab67508e ocaml(Pcoq) = 534232cf0659b65b2cf606961452861f ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Pretype_errors) = dc00e6f662a07e1405a5dd7f2e0ea833 ocaml(Pretyping) = 48b23857b1e813b0220a424962b8062f ocaml(Primred) = 4124a8d003016e321c5cc107b0d85c78 ocaml(Printer) = 142897df5497b18633c10c72ff0123ad ocaml(Proof) = 4215cb70ba4758c3f779c2e5a6f28cd7 ocaml(Proof_bullet) = 63ceb96c0edba9cad504d0db9cf381d8 ocaml(Proof_using) = bd77afdfa26a6def6efd099a60c94825 ocaml(Proofview) = 036409de3ce6e1b89709592a00f2a153 ocaml(Proofview_monad) = 14b0d99211d2510fffeb2d5bebcba76d ocaml(Pvernac) = d73f78fd7407a990e00737b9f2f5c623 ocaml(Range) = 346d147227354e938de6b932d04d6b3d ocaml(Redexpr) = c025c04c287e4c064bb17ad4a4e59160 ocaml(Reduction) = 061463a7ecc6882acd7c10c1c6cf2653 ocaml(Reductionops) = 49f5d5eece86a9150ff5104c30b4c804 ocaml(RetrieveObl) = 0f77e1ab603b08ff482d468569f092be ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644 ocaml(SList) = 87266e831aa0fb41e7e69d43dba10e03 ocaml(Safe_typing) = 077905aaf9d36b5fbc475f19af4cf4bc ocaml(Section) = 178658b34fe52e6380c020193adca07e ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2 ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505 ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 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__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Store) = 918c3a10b0813c8232cd62d2f408caad ocaml(Summary) = 858008ea8c56f907396e598f98daef71 ocaml(Tacmach) = b5d3792869376370386502651527baa1 ocaml(Tacred) = f8842bb29660b50a02735faa11d2447a ocaml(Tacticals) = 9d0357efcaf60a446685cf5fdd528d0a ocaml(Tactics) = 356d951a919895c83fcd4cfb2e5a2b98 ocaml(Tactypes) = 65ee8f80ddd505d1a33624bc0cb44b61 ocaml(Term) = 7a45b29ea54c962bdd7f36b12dac3b17 ocaml(Tok) = 2bddd7a50c5dc668c81f067689ea2a24 ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06 ocaml(Type_errors) = 8ea8227048ad205d3384b10fc32d3b09 ocaml(Typeclasses) = e273397fb1b53aad8bc86e45bfb6d589 ocaml(UGraph) = 2fd6f0b34adce97d21c5d93b17310f9b ocaml(UState) = 9cb90b5c0198a9392b644fc648a3b2e1 ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b ocaml(Unification) = 53a988bf819cc7d250124ea3076eb3a9 ocaml(Univ) = f7225d1b1091516b25bcad262c410029 ocaml(UnivGen) = 808b07bc3e637d1c75fca5c3a86bc9d4 ocaml(UnivNames) = 650214610ca9c965cca2140d6065e8c4 ocaml(UnivProblem) = e7830949b233fefd37a1fd12dae0225b ocaml(UnivSubst) = f8e474cbcc595932bd4a530a6694fbfc ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Util) = 82442e4e897c61e9ffd5234974e104ef ocaml(Values) = cb3ff5d5b665cb384fb59c1413884523 ocaml(Vars) = f17abb022dd4936d1a6ad91b4dda1549 ocaml(Vernacexpr) = b40e25528243ed19b4d298cad8d3815c ocaml(Vernacextend) = 23cac55a4ec53b7a700e727d744aa012 ocaml(Vmbytecodes) = 0ec5367f45655d3cfc46db2e6443e395 ocaml(Vmemitcodes) = 346ef462a1e0243aad6f2621f358e795 ocaml(Vmvalues) = 1faa9be887b3fe66b213790f9bb1a3d8 ocaml(Z) = a71ac4a535434978287848841376388e ocamlx(CamlinternalLazy) = 0573444d7d158417dbd5f4f46081e73b ocamlx(NFlocq_Calc_Bracket) = a1e05642f6d8551d01fd744a20616e38 ocamlx(NFlocq_Core_Defs) = 98568f22f0f1a59f027e58e5df9792e9 ocamlx(NFlocq_Core_Digits) = eb8348028e8c89ad24bfd9dd6d8e60e3 ocamlx(NFlocq_Core_FIX) = 1801ee276a87985feead0544e5236627 ocamlx(NFlocq_Core_FLT) = 3d7ae5c0ccaadb2c2f932c19e248fbf8 ocamlx(NFlocq_Core_FLX) = b67a6e06e6da4411eeb418a657baf0e2 ocamlx(NFlocq_Core_Generic_fmt) = 39d8b8dd73998543157621ac341952cd ocamlx(NFlocq_Core_Raux) = 46c2091c7586b4b13d0f9cfb48e66549 ocamlx(NFlocq_Core_Zaux) = 54b26278f618199cadf17432f3b28b23 ocamlx(NGappa_Gappa_decimal) = ac74e987c40abd108bcd5ba1dc4ec1d7 ocamlx(NGappa_Gappa_definitions) = 323f455c1f4878cb8ac773e1b35c31c7 ocamlx(NGappa_Gappa_dyadic) = 23eef2256026bc6df04c316e79a7bf8e ocamlx(NGappa_Gappa_pred_bnd) = b38034ad9a3d0f191d231e46cb00053c ocamlx(NGappa_Gappa_round) = 1ff440af375e6e785d274bcb914b76d9 ocamlx(NGappa_Gappa_round_aux) = dca301555161d15eee621c4c63121f9d ocamlx(NGappa_Gappa_round_def) = cfa011abf877beaad23f9ea7fe848cd3 ocamlx(NGappa_Gappa_tree) = 5b36ce6650bbdcb22ebc1471576d344d ocamlx(Nativecode) = 5a7e0e94055b1546ca43d838d54c067d ocamlx(Nativevalues) = dbcd9cbff7a6549a641c25e4afb7c276 rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.3-2.fc38.x86_64
Provides: gappalib-coq-source = 1.5.3-2.fc38 gappalib-coq-source(x86-64) = 1.5.3-2.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.3-2.fc38.x86_64
Provides: gappalib-coq-debugsource = 1.5.3-2.fc38 gappalib-coq-debugsource(x86-64) = 1.5.3-2.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.3-2.fc38.x86_64
Provides: debuginfo(build-id) = 1211673a6350079fded6d1f830c3f3554c95757f debuginfo(build-id) = 12f4caf2acecddc3caf8e27224a1a7bca2135e65 debuginfo(build-id) = 2507c312eba6aaf4cdf4d4c7aa8e183956bb2811 debuginfo(build-id) = 294f4918ff4cfb917f409daff85069c8b73d5994 debuginfo(build-id) = 41b579a8a58600a01f7745ab56828641daeda772 debuginfo(build-id) = 456cacb73d8a2fbc9df467d181f81be65e5111a7 debuginfo(build-id) = 5a30799fe0b7de29e724763bfbbbe8de924ee473 debuginfo(build-id) = 5cc304a5b9243b81ccc193e87e0dedff5b56679c debuginfo(build-id) = 5d24de9a88f04c9f99a4fb96b9cc0a93bad8c417 debuginfo(build-id) = 676a2a8b4f3b08c2a226502dff973bcf5afb5e51 debuginfo(build-id) = 731c79a26ccd92863d15e903a875095b41c601f2 debuginfo(build-id) = 81d11effd21794e5c446469ea46f96a52fbdef19 debuginfo(build-id) = 8f5b9445da8d567065dd08961a43d5f032249e7f debuginfo(build-id) = 9aac80f1a8440c288cb55351e413a46127e269e8 debuginfo(build-id) = a300db2062a80e843926296f781e4a45b79b4734 debuginfo(build-id) = b7d7e58887ffb62c725dc513fa85da40d09390b3 debuginfo(build-id) = bd4c8890f6409594c19df1dd34ea21a4771c9cef debuginfo(build-id) = d18f189adf505e9cb573f751f98d44f76bec1933 debuginfo(build-id) = d4c1fb08b724989e0842d12ac56a656a6f77d8c3 debuginfo(build-id) = d70e1eecc70c271bb2ae036a6f18ced1dbab3a09 debuginfo(build-id) = e3d408cf3ae3a186b7cb87225a7cab9c59fa1207 debuginfo(build-id) = f9707b5a67d873061974db35a4352b3d9317ecbf debuginfo(build-id) = ff1e77977dd37677188f48491875d1bbcc7cf02c gappalib-coq-debuginfo = 1.5.3-2.fc38 gappalib-coq-debuginfo(x86-64) = 1.5.3-2.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(x86-64) = 1.5.3-2.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.3-2.fc38.x86_64
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.3-2.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.3-2.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.3-2.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.3-2.fc38.x86_64.rpm
Child return code was: 0