Mock Version: 3.1
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/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 0x7f9449d7b250>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.beu7buvp:/etc/resolv.conf', '--bind=/dev/btrfs-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=FalseprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.beu7buvp:/etc/resolv.conf', '--bind=/dev/btrfs-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', 'a7c48e3c750d41c9933b8a12fed68e37', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.beu7buvp:/etc/resolv.conf', '--bind=/dev/btrfs-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 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=1658361600
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.2-2.fc37.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/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 0x7f9449d7b250>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.beu7buvp:/etc/resolv.conf', '--bind=/dev/btrfs-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=FalseprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.beu7buvp:/etc/resolv.conf', '--bind=/dev/btrfs-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', '2595d436d6d7431a9dc88bb46e5858aa', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.beu7buvp:/etc/resolv.conf', '--bind=/dev/btrfs-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 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=1658361600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WXkm5V
+ 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.alJXF6
+ 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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ 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
+ '[' -f /usr/lib/rpm/generate-rpm-note.sh ']'
+ /usr/lib/rpm/generate-rpm-note.sh gappalib-coq 1.5.2-2.fc37 x86_64
+ 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/cc52m0cF.o: in function `main':
remake.cpp:(.text.startup+0xb13): 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/user-contrib/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  -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
Building src/Gappa_real.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_definitions.v
/usr/bin/coqdep  -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_real.v
Finished src/Gappa_definitions.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_dyadic.v
Finished src/Gappa_real.vo
Building src/Gappa_fixed.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
Building src/Gappa_pred_bnd.vo
/usr/bin/coqdep  -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  -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
Building src/Gappa_round_aux.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_round_def.v
Finished src/Gappa_dyadic.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_round_aux.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_round.vo
Building src/Gappa_float.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
Finished src/Gappa_decimal.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_pred_bnd.v
Building src/Gappa_library.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_pred_abs.vo
/usr/bin/coqdep  -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  -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  -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
Finished src/Gappa_pred_abs.vo
Building src/Gappa_pred_rel.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_pred_rel.v
Finished src/Gappa_pred_fixflt.vo
Building src/Gappa_rewriting.vo
/usr/bin/coqdep  -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  -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  -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_fixed.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo
Finished src/Gappa_tree.vo
/usr/bin/coqc  -R src Gappa -I src src/Gappa_library.v
/usr/bin/coqc  -R src Gappa -I src src/Gappa_obfuscate.v
Finished src/Gappa_obfuscate.vo
Building src/Gappa_tactic_loader.v
gcc -E -DCOQVERSION=81502 -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=81502 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
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo
Finished src/Gappa_library.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.awvdut
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64
++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64
+ 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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ 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-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.2-2.fc37 --unique-debug-suffix -1.5.2-2.fc37.x86_64 --unique-debug-src-base gappalib-coq-1.5.2-2.fc37.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.2-a21720330ab26166150d88a95689f755bb135480
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.x86_64/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-2.fc37.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.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.x86_64/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-2.fc37.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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.x86_64/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-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/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-2.fc37.x86_64/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-2.fc37.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?]
gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?]
extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/gappatac.cmxs
dwz: Too few files for multifile optimization
original debug info size: 924kB, size after compression: 924kB
/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.uHbLeE
+ 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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ 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
+ '[' -f /usr/lib/rpm/generate-rpm-note.sh ']'
+ /usr/lib/rpm/generate-rpm-note.sh gappalib-coq 1.5.2-2.fc37 x86_64
+ 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-2.fc37.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.r3I2kL
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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.2-2.fc37.x86_64/usr/share/doc/gappalib-coq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/doc/gappalib-coq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/doc/gappalib-coq
+ cp -pr README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.SIumTb
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480
+ LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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.2-2.fc37.x86_64/usr/share/licenses/gappalib-coq
+ cp -pr COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.5.2-2.fc37 gappalib-coq(x86-64) = 1.5.2-2.fc37 ocaml(Gappatac) = b1832e23c5c223650ddf0b1b55b7e706 ocaml(NGappa_Gappa_common) = dd7050c16984bc0260af89fa94f63e86 ocaml(NGappa_Gappa_decimal) = 1156123e0c92a8690f3ce4ff55ecb354 ocaml(NGappa_Gappa_definitions) = 060c0d891cddb52364e5735ec259e36b ocaml(NGappa_Gappa_dyadic) = 952327cc79edf9d259442eb11bc1c0bf ocaml(NGappa_Gappa_fixed) = d9225de0e4fb3e531553aac269a422b3 ocaml(NGappa_Gappa_float) = 937982d132b9b68186d06db4f723da63 ocaml(NGappa_Gappa_library) = ca49807e7ac7fec6b3e1eb3650e7c688 ocaml(NGappa_Gappa_obfuscate) = af3bd65a33a7cd25013abfd28926a579 ocaml(NGappa_Gappa_pred_abs) = b1004523b9d686185071b250665d5e77 ocaml(NGappa_Gappa_pred_bnd) = 2669529e1d01c06ac6ccd9eabac3f2d7 ocaml(NGappa_Gappa_pred_fixflt) = 3fd5024c0784b35df4b1f67695b7db58 ocaml(NGappa_Gappa_pred_nzr) = cb12523157f1e41355f1b63020c7e591 ocaml(NGappa_Gappa_pred_rel) = 922bbecbf6dcb02d68ed8fc0d278c6b9 ocaml(NGappa_Gappa_real) = b602b6a6445dc5938230e3a4bda51802 ocaml(NGappa_Gappa_rewriting) = fec91380eddc56f4a15a204ff37baf5b ocaml(NGappa_Gappa_round) = 59ddf1f9e0ff4f3648aee16e322d5f06 ocaml(NGappa_Gappa_round_aux) = 8b0d7287e1ffce4e9236a02eeaba3c54 ocaml(NGappa_Gappa_round_def) = daad9cad4dd847445deeda5fa97c76fe ocaml(NGappa_Gappa_tactic) = 2613444a4808b4eefc0ee4d348e22944 ocaml(NGappa_Gappa_tactic_loader) = a56379bf1af44c313465f7f76a278999 ocaml(NGappa_Gappa_tree) = b90f3dc683576a9573190113dae91304 ocaml(NGappa_Gappa_user) = 2ae4971de7f77fd39bf33c9d017552a6 ocamlx(NGappa_Gappa_common) = bbf1c75fc64101c7ad1d0dd68c60ad12 ocamlx(NGappa_Gappa_decimal) = 4859459d9ef1723e1cf8d3a010264c77 ocamlx(NGappa_Gappa_definitions) = b8f956f3de8fbc593e9a834e0dcab2cd ocamlx(NGappa_Gappa_dyadic) = 875f5883fd071b3d8c098d219f651944 ocamlx(NGappa_Gappa_fixed) = c8202990b51f1c995fbb56559c3420fa ocamlx(NGappa_Gappa_float) = f22b5c8dfcef92eb30969e17ca56ddf0 ocamlx(NGappa_Gappa_library) = 6d28782f23a607b50f9a49a8d81dc915 ocamlx(NGappa_Gappa_obfuscate) = 3a105a5e255502c34313e5f10eba3211 ocamlx(NGappa_Gappa_pred_abs) = 908ef130a4aed86838c50397b88dab48 ocamlx(NGappa_Gappa_pred_bnd) = 3e6480cc92339ba837449b2580302dde ocamlx(NGappa_Gappa_pred_fixflt) = 6bdd72a5b860c34c01a37d42e6df04e2 ocamlx(NGappa_Gappa_pred_nzr) = 4d48c6821ab97cfd84e98b2b2bbf6fcc ocamlx(NGappa_Gappa_pred_rel) = e10bcc3ff835ae752115b1e89009d8b4 ocamlx(NGappa_Gappa_real) = 44f56632e722e1e7ab9a470c811b30bc ocamlx(NGappa_Gappa_rewriting) = 79a150ab55fb7cfebec7a44f7fefe256 ocamlx(NGappa_Gappa_round) = 811e09ca8ff1aa78a5b4149ae4b073ea ocamlx(NGappa_Gappa_round_aux) = 87dd6fe95e3737551044d994a70b347b ocamlx(NGappa_Gappa_round_def) = c98315ad87ccf8322d1aaafa8551d7ce ocamlx(NGappa_Gappa_tactic) = 8546123ffb384d401d69fc2718340cd1 ocamlx(NGappa_Gappa_tactic_loader) = 9f92f2f95f7b8f2c87140a11dbb0fe8b ocamlx(NGappa_Gappa_tree) = 03965dc2b358f64280f22b281fdf62e4 ocamlx(NGappa_Gappa_user) = f2e611067509775fdc1f00929f3d22d0
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = c1314cd3ea1de8c8746914e0f4691e74 ocaml(Attributes) = 81f7efd8771fa0cd2aea83d4d93243f9 ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 ocaml(CArray) = 3bf67d1381824155797389de8a32d728 ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a ocaml(CClosure) = 433e7fe779b59a46a7a712db89eea96f ocaml(CDebug) = b72b83085f3c46f567d002d123bb619b ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CErrors) = c453175b39b824fa4f81c67fe5f59833 ocaml(CList) = bab846d6f53060efa37176a0d3d76d37 ocaml(CMap) = 7a44aa76b26892234e732d0289be15e9 ocaml(CPrimitives) = 88e0b886ab990706df61aef4c5b4ef5a ocaml(CSet) = 4187a1c51e56b2682f8656ef02963c85 ocaml(CSig) = c104547a207c980e9be6e81718e23a75 ocaml(CString) = 399425b1f5494799bff859f71eea4fd4 ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(Clenv) = e76e58567caa3aa94bb47ba4eeea33e3 ocaml(Coercionops) = 170e28b8de29e211133621385f7d9084 ocaml(Constr) = c688d9ddf0504f85644e6b3deb1d21ec ocaml(Constrexpr) = 5ec41c078e3b5716f45cbf8f67fc1a0d ocaml(Constrintern) = 4bfd129d28372a290b8894be9d49ff13 ocaml(Context) = 350928460a591457321e4daa98829e49 ocaml(Conv_oracle) = 71a115a3bec9d54c9b545041d005b72c ocaml(Coqlib) = f56ffc3be672853a7388afce1c632478 ocaml(DAst) = dad4dc5e90d3a1f173b8fa9529571329 ocaml(Declarations) = 4db4b3531ecaea33d5ca2a9f73d77457 ocaml(Declare) = a3f4b22d37ecb794fae64e784a1e25ee ocaml(Declaremods) = 3101d344de44f662a1684da9fb09df72 ocaml(Decls) = 703781821a9f6fa92a858580f939bd9e ocaml(Deprecation) = c6967934d2ead064d6a8c17955da0dc2 ocaml(Dumpglob) = a9291aec02b9643dbbe1af65b301b7ee ocaml(Dyn) = fa3daa324553247018623840358472b5 ocaml(EConstr) = c426e5118bcf1e9a325896413b6aed22 ocaml(Entries) = adcb9a72a121998021864c819b2af850 ocaml(Environ) = 8c271c035c1c44fb1646bb8cb264a21c ocaml(Equality) = b412f1ef1280265e507cd8094e5d386e ocaml(Esubst) = d8e277a28061142de10c031df5913209 ocaml(Evar) = 0854859348f50f18a5a90815797fe7c5 ocaml(Evar_kinds) = 5b59082e7f2fb4826bee62db4904b408 ocaml(Evardefine) = e29b7bf46867c894f5cdafcfe67dfc86 ocaml(Evarsolve) = 74b68cf4175177229100102662e0f2c1 ocaml(Evarutil) = 2221c632a387fe7233abb9cd5fd46b13 ocaml(Evd) = dae8fc07c6f8ddd8468a91ded6402011 ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922 ocaml(Extend) = 7a7174a0435f5b98d087acca21a22798 ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e ocaml(Ftactic) = 167eafcab4b48c39f42de19e72dc4d92 ocaml(Future) = 420dffe94fb6737e7d522742a6387ba0 ocaml(Genarg) = 29ca5a3f517a700370c984e8b3894e5b ocaml(Genintern) = cc87f5727a2d7a14a990df0fbd2a79d1 ocaml(Geninterp) = f68cf5bacd63b43311adada3261b1269 ocaml(Genprint) = c15861343a5dea4b6d5e0acd0edd26c9 ocaml(Genredexpr) = 39d47e16b7e2aa69979d98655474139a ocaml(GlobEnv) = 7fc7971509565946f2d95a882219bbf8 ocaml(Glob_term) = 07dabaf241f0f418f01681984ebc0d3d ocaml(Global) = 0f3e0e156306572464a3da3198129405 ocaml(Globnames) = de40f6df0ea9928f9dd25d6b856adf96 ocaml(Goal) = ed4d4a9b630e743eec00df26d366ed31 ocaml(Goal_select) = 220a11dbd58cded779d8869603108504 ocaml(Goptions) = aa94cc092ad3caea9eb54af9a2f159b9 ocaml(Gramlib) = 49f2ec40e5ddfef8a1c60e6a72123dd8 ocaml(Gramlib__Gramext) = 3bf75b72e76ac11f6b1ea2cd3566b97e ocaml(Gramlib__Grammar) = 5189241db3e63a504b6b3599d39412d9 ocaml(Gramlib__Plexing) = b8133aac91b79d4ad41ed01ab52880da ocaml(Hashcons) = 5e43ec3f95876889b17c4ceb7e4d070f ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hints) = db0db96c4fd351d317dc56c4d332a2cc ocaml(Hook) = afc10af2a433f78a0df71272ef5bb0eb ocaml(Impargs) = 0c9cad45610c1e48fcdea03f0cbc4bd8 ocaml(Ind_tables) = 9d2439b7888617713778cbd6db1a9e2a ocaml(Int) = 08fe1547e4ba09512f85aaa242454fbe ocaml(Inv) = c7e42479cc897d36b3a934f45a09d549 ocaml(LStream) = f9950e89686bd059defd6cda6a25c5d3 ocaml(Libnames) = ca3e8ef2a232c1a3c54519ed3929f117 ocaml(Libobject) = ed21cb96eb631dea45f66eab034814ad ocaml(Loc) = 80ce75a90b78cbc722513727102cad47 ocaml(Locality) = cd4b501130ec389ccd5eca1b3bbcc96b ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec ocaml(Logic) = aee572d15f9249a86441db60b24068a6 ocaml(Logic_monad) = 61a1c789d80441f3f4abe6f3eceffe6f ocaml(Ltac_plugin) = bb66d61a67bdb4de7def23b8c5e749aa ocaml(Ltac_plugin__Pptactic) = 606449b5b6165a8000a03ffd2b87ef7e ocaml(Ltac_plugin__Tacentries) = 4b644720ef598b2838daf4c2085429dc ocaml(Ltac_plugin__Tacexpr) = 5567e535d5110f2c0141c3b8ec1622c9 ocaml(Ltac_pretype) = 072337d7e73f75b0589ccf47cb134e5c ocaml(Metasyntax) = ab92bce411ddc7d13f03aac187346735 ocaml(Mltop) = 92fa3596b6a26cf3cf62ac17f33bca06 ocaml(Mod_subst) = 4a1ce368a85fe2efce8b58b0074e49ca ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c ocaml(NCoq_Arith_PeanoNat) = fa55a8eeb7f34b8492216c51c4695291 ocaml(NCoq_Bool_Bool) = 9ce8371ddab3c0bbca74a3e4089e3a31 ocaml(NCoq_Bool_Sumbool) = 5b258dfba79f0d94cbb566638cf6c99e ocaml(NCoq_Classes_Morphisms) = 3d50172f8dbc27ae1d72c48404d25d71 ocaml(NCoq_Classes_Morphisms_Prop) = 9c8efcebfbaa6ddce702919fadacce32 ocaml(NCoq_Classes_RelationClasses) = 5ce7e6392abd9f623d1f4f3a620fb66e ocaml(NCoq_Floats_FloatClass) = 2e2f1fda174a9625d26e3772df6d1cc4 ocaml(NCoq_Floats_SpecFloat) = 22a1758be520a88039c1b94603527110 ocaml(NCoq_Init_Datatypes) = 52fdc3d3a6a13c19e8d681e2ae340d4f ocaml(NCoq_Init_Decimal) = 26f1c864f0e31a805faeceb8010149bd ocaml(NCoq_Init_Hexadecimal) = 39138a2b8ab8440e054c47e10b6d816e ocaml(NCoq_Init_Logic) = 98d9af341c1773cfb38cf944dfc046b5 ocaml(NCoq_Init_Nat) = e1a317f92aa20cbf5781011d44a67fdc ocaml(NCoq_Init_Number) = 5e95e40491568baa64dacd7edfe5b2a5 ocaml(NCoq_Init_Peano) = 9772c55b64df4447d271fe833eccf1b0 ocaml(NCoq_Init_Specif) = 837610a43c8b2cec21eacbe764aeeb57 ocaml(NCoq_Init_Wf) = dddffd42c324c8079ddf951cc9986abd ocaml(NCoq_Lists_List) = 103387090353765d88c5b5548c050c62 ocaml(NCoq_NArith_BinNat) = e888b538aa866bbcfb27623d8842765f ocaml(NCoq_Numbers_BinNums) = 286ea9be5215f57f24c06e68d0132dbd ocaml(NCoq_PArith_BinPos) = a42572a8932d2e9b5132974cb4a91c6a ocaml(NCoq_Program_Basics) = 092d69e6c55070af211d44af13fe9888 ocaml(NCoq_QArith_QArith_base) = a8f233895dafa2aa095e642d4772ee72 ocaml(NCoq_QArith_Qabs) = 30ba0e9138c01004fef9a68ca2193d82 ocaml(NCoq_QArith_Qreduction) = 326ac5ae7aee104835d51de8fd6912b3 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 350b1687ba46909b8720ebaeb6aca493 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 21f0544e14c83c5bbf691fc17b7af7c6 ocaml(NCoq_Reals_Cauchy_QExtra) = bedb704b72c8b1373c3845e2a1cae5b9 ocaml(NCoq_Reals_RIneq) = 59af754605d0c6a6da05ae43365d16ce ocaml(NCoq_Reals_R_sqrt) = bd2222d86617060347cb6b23cd49c9cc ocaml(NCoq_Reals_Raxioms) = b7e8340a30526fe55df3fcee33e77dfe ocaml(NCoq_Reals_Rbasic_fun) = 6a508787e9ac6d17c97ba53480d8a29f ocaml(NCoq_Reals_Rdefinitions) = a0c5bf85c7b087547f31237e1c756152 ocaml(NCoq_Reals_Rfunctions) = 77e1e8c6f5097449b9eda57555d3bc06 ocaml(NCoq_Reals_Rpow_def) = 295d92df0ec7961b26f449e19b148421 ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Relations_Relation_Definitions) = aeca52255d896d6791c60128493ab865 ocaml(NCoq_Setoids_Setoid) = ac7a8d871deb88a44b01adb3c4263cf5 ocaml(NCoq_Structures_OrdersTac) = 99f7d1b8bd85183d22d5cf545b874ff6 ocaml(NCoq_ZArith_BinInt) = fbfe5cbc88d4dd5ac715871e6984c377 ocaml(NCoq_ZArith_ZArith_dec) = ef847520523b1a6d098ad9333e422c53 ocaml(NCoq_ZArith_Zbool) = 979222638a225c30d979a7d268a0b03f ocaml(NCoq_ZArith_Zeven) = 2df517ab801ca36badbfd63535a7a55c ocaml(NCoq_ZArith_Znat) = 17c90192d5eadcf63505dc09864633ec ocaml(NCoq_ZArith_Zpower) = 686a6098328f924c559252b642ba516c ocaml(NCoq_setoid_ring_BinList) = 15c56ac43d2fb4d04ed277143ef4f8e5 ocaml(NCoq_setoid_ring_Field_theory) = 7a15a93de68e71bcbfa9982f1b77ef77 ocaml(NCoq_setoid_ring_Ring_polynom) = b77f97bb5fe297148d27f85646d4b547 ocaml(NCoq_setoid_ring_Ring_theory) = 310a96873536648d99a4c555a00c1ed1 ocaml(NFlocq_Calc_Bracket) = 0209642fb488692946d4d4674f4e3363 ocaml(NFlocq_Core_Defs) = f29782a4084bf3cf925b30d745073397 ocaml(NFlocq_Core_Digits) = a3d142b5d6782aa79c877d45563799f1 ocaml(NFlocq_Core_FIX) = 79671a651221d5dac416577938bde0ce ocaml(NFlocq_Core_FLT) = 2e8767d0eb6e3dcdd411db84b10844c4 ocaml(NFlocq_Core_FLX) = 997ce65b4046a8f492553bc7d5005a2c ocaml(NFlocq_Core_Generic_fmt) = 31073667f7776017c35597ed290bae3e ocaml(NFlocq_Core_Raux) = 647a08bfc3a6dbb02b5b998b5f761429 ocaml(NFlocq_Core_Zaux) = 860ab8acef93c43625f79b905976571c ocaml(NGappa_Gappa_decimal) = 1156123e0c92a8690f3ce4ff55ecb354 ocaml(NGappa_Gappa_definitions) = 060c0d891cddb52364e5735ec259e36b ocaml(NGappa_Gappa_dyadic) = 952327cc79edf9d259442eb11bc1c0bf ocaml(NGappa_Gappa_pred_bnd) = 2669529e1d01c06ac6ccd9eabac3f2d7 ocaml(NGappa_Gappa_round) = 59ddf1f9e0ff4f3648aee16e322d5f06 ocaml(NGappa_Gappa_round_aux) = 8b0d7287e1ffce4e9236a02eeaba3c54 ocaml(NGappa_Gappa_round_def) = daad9cad4dd847445deeda5fa97c76fe ocaml(NGappa_Gappa_tree) = b90f3dc683576a9573190113dae91304 ocaml(Namegen) = b2e5373cd659968f506da1380a48f6f4 ocaml(Names) = 1c7420578b073c10e0de87a37b5bb38f ocaml(Nativecode) = b53e67c8ba22ba649e4c07445e85fe51 ocaml(Nativeconv) = c1341a56bb8189d27c080c0a97436162 ocaml(Nativelambda) = cebd8c668cc6a0bec742a0b68f0ce3fe ocaml(Nativelib) = 83cd77f64a52e51266bd8337ed4cf3b5 ocaml(Nativevalues) = 3be2dcd304360a5ee837dc45d4f0b4c1 ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3 ocaml(Notation) = 72e7b63f02139f645d0eb57c57f4d3d6 ocaml(Notation_term) = efdea42f90a78bec7292e641c25e6051 ocaml(NumTok) = bcdd5eae94ba9fb26ac5860c1cb027a3 ocaml(Opaqueproof) = 24dcfc8eddd0dff8dbeb7b981730995d ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866 ocaml(Pattern) = 0e6e26ffec91f0d4ba4658e1f79afadd ocaml(Pcoq) = 2475383cba14f91e4f0e49096778adaf ocaml(Pp) = 33d83b905146c607db694dbc982483c2 ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Pretype_errors) = e9c0a9ce98418f68f8dfb39f294591d0 ocaml(Pretyping) = caa113d581ba9611c2e94a6eea80fedd ocaml(Primred) = e2965186fb06362716c7901914729ad6 ocaml(Printer) = 3d7ec5c36c762705f510fae39f8e4ac9 ocaml(Proof) = 54b9f337332f74189e3ab1e7dc99f6c9 ocaml(Proof_bullet) = 91142ebe906401896651cbc8817567ba ocaml(Proof_using) = 391b2688fe10f48c073c92e3ed4c0239 ocaml(Proofview) = fff9ae0ca1d2a3df0c6289b9bf34c11d ocaml(Proofview_monad) = f8180cddb914a8dcab0fc5f8f31d0253 ocaml(Range) = 346d147227354e938de6b932d04d6b3d ocaml(Redexpr) = a4ff8e407b599bae2c130da6e47b4cad ocaml(Reduction) = dd86cad629ddb122b17c986624f89e25 ocaml(Reductionops) = a86d752303e64573b974edd483a8b391 ocaml(RetrieveObl) = f50aa17dea15ba9be0dcdc5604aa33c7 ocaml(Retroknowledge) = 5553b66e3bdd517f2d4a516ca493e82c ocaml(Rtree) = 41a6536b9cf92db56fd9795c590e4643 ocaml(Safe_typing) = 36994e6307127dffa9f75454f03b9ded ocaml(Section) = 4ef735dbdc47b5a8bca6b990764690ad ocaml(Sorts) = ea29f10a2bedf5820b324d398a1984c0 ocaml(Stateid) = 0654cacdb4c3a9f88f7424c3d78b0e47 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) = 7bb509c8a05094619676c0950387d077 ocaml(Tacmach) = 7e423af01500591b616db4f39917f179 ocaml(Tacred) = 33da416fcff9f95e3c7c474c52f78ccc ocaml(Tacticals) = 7da103dee1a2675cb4c391969bc776f7 ocaml(Tactics) = 53f9b8daf64a15423607d27980b71691 ocaml(Tactypes) = 6f90785c7688c12da69973fb79227cdb ocaml(Term) = 09508b642011df5433d671b341114991 ocaml(Tok) = d7f575ffa78825bb266417e4b337bcdb ocaml(TransparentState) = e46b8b496b56c15d8ec5ae5c2e27ac23 ocaml(Type_errors) = 9ba48f487c23271216077ec9419c83bd ocaml(Typeclasses) = d40d9393ca9e0477603d399c870485c0 ocaml(UGraph) = 2555eb21cdd8c21622e6dd8819fbe14c ocaml(UState) = 37f092bdd0068a7290b880290da12cf1 ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b ocaml(Unification) = 8772194bf3f841cc974a6d74268147f9 ocaml(Univ) = 0b0cb5dc65f40e529b323974d58b44e8 ocaml(UnivGen) = 419307c68f74fb7d916bc798f25d8fc9 ocaml(UnivNames) = ce24345f973d5545d5cbe7de2ae14803 ocaml(UnivProblem) = d6767aef41ccc4cdb9d476e77a17f104 ocaml(UnivSubst) = 4996d51cf7196ed7397713ff73857a92 ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Util) = 5e3e907aa9cc4cfba2f3c9d37a430249 ocaml(Vars) = 079a5e9166973f8aeda1abd0195b8cc5 ocaml(Vernacexpr) = f96861690714e0d3c85c303c0ae2b7e6 ocaml(Vernacextend) = 857178ed7f5ac6265f165ab2e66d1853 ocaml(Vmbytecodes) = cb5ed1f2eba02b22b56f18d197f0a080 ocaml(Vmemitcodes) = 9efb765a0fd4640ac72813e0e425f516 ocaml(Vmvalues) = b2cc3bbf98d6f30c53faae186293e500 ocaml(Z) = a71ac4a535434978287848841376388e ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b ocamlx(NCoq_Floats_SpecFloat) = 8375f967bb34ff0161b9b7e952397de2 ocamlx(NCoq_Init_Datatypes) = fb8866e5cb13e20e984f54dab3f04986 ocamlx(NCoq_Init_Logic) = f5fbf31bda90b5005a192bb6bc7cf5ae ocamlx(NCoq_Init_Specif) = ccd9c66c5e62b8fadd294ae3b87424af ocamlx(NCoq_Lists_List) = 322d7bebb6d193eb53e4878d203ac2cf ocamlx(NCoq_NArith_BinNat) = 6912952e734d037f92d2ea699dc42a28 ocamlx(NCoq_Numbers_BinNums) = acc75a85065bfab05cbd25329f5ec188 ocamlx(NCoq_PArith_BinPos) = 260786e2c20499f59072cd8ce9770d63 ocamlx(NCoq_Reals_R_sqrt) = b2b8bc4e4f23a8b71fa99ca95063ee66 ocamlx(NCoq_Reals_Raxioms) = b59ea2c33170372c493257bb4ea6d376 ocamlx(NCoq_Reals_Rbasic_fun) = a83c13bdb8731153c71e5d853d750811 ocamlx(NCoq_Reals_Rdefinitions) = d44726fd1f6d8c088c9f38b44f2ca246 ocamlx(NCoq_Reals_Rfunctions) = 2b8d44bc2b550c84ad33badb73fbd7c0 ocamlx(NCoq_ZArith_BinInt) = 3f48475309da921bc686a8deba09a8f3 ocamlx(NCoq_ZArith_Zbool) = a1c9cef87a63d8b6e92ee1a24c34fc7c ocamlx(NCoq_ZArith_Zpower) = 51da356c8bfc64329fe14340a75e2edb ocamlx(NCoq_setoid_ring_Field_theory) = 435cac36686b53129892f6e6fe229ac7 ocamlx(NFlocq_Calc_Bracket) = b46a427b3b709879295fe9a10c203046 ocamlx(NFlocq_Core_Defs) = 038e47e9083cb96184e1b946fe34fc32 ocamlx(NFlocq_Core_Digits) = 2aa5aba6283ddf1b352405ef3730fdc1 ocamlx(NFlocq_Core_FIX) = 7f9ec823dd6c80f6749cf1d6c7f173d2 ocamlx(NFlocq_Core_FLT) = f2e75d99c84308cc24354ea01127e8e0 ocamlx(NFlocq_Core_FLX) = fd7bd5ee8e31ed139bdf916c8a504266 ocamlx(NFlocq_Core_Generic_fmt) = 286b616df9eb517bf0a7a706373412fb ocamlx(NFlocq_Core_Raux) = cb4b4be1a908c7caa141e94e191dcf2b ocamlx(NFlocq_Core_Zaux) = 951959ce8a9a122fb829968a737b8b5c ocamlx(NGappa_Gappa_decimal) = 4859459d9ef1723e1cf8d3a010264c77 ocamlx(NGappa_Gappa_definitions) = b8f956f3de8fbc593e9a834e0dcab2cd ocamlx(NGappa_Gappa_dyadic) = 875f5883fd071b3d8c098d219f651944 ocamlx(NGappa_Gappa_pred_bnd) = 3e6480cc92339ba837449b2580302dde ocamlx(NGappa_Gappa_round) = 811e09ca8ff1aa78a5b4149ae4b073ea ocamlx(NGappa_Gappa_round_aux) = 87dd6fe95e3737551044d994a70b347b ocamlx(NGappa_Gappa_round_def) = c98315ad87ccf8322d1aaafa8551d7ce ocamlx(NGappa_Gappa_tree) = 03965dc2b358f64280f22b281fdf62e4 ocamlx(Nativecode) = 7a08d78c6dae1286c2efe733f5eef932 ocamlx(Nativevalues) = 7c7e8d35c66493685e51ba94e8c5177e rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.2-2.fc37.x86_64
Provides: gappalib-coq-source = 1.5.2-2.fc37 gappalib-coq-source(x86-64) = 1.5.2-2.fc37
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-2.fc37.x86_64
Provides: gappalib-coq-debugsource = 1.5.2-2.fc37 gappalib-coq-debugsource(x86-64) = 1.5.2-2.fc37
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-2.fc37.x86_64
Provides: debuginfo(build-id) = 0ccfab4d10e26afad9137f0f5d114cb33d6108ef debuginfo(build-id) = 0e707e0d04049a629fa3204bc3fab8de2a8451c7 debuginfo(build-id) = 158eec2c04f2f6a870e1f6aff60b55a202cb01e2 debuginfo(build-id) = 20964a012ffd577e7ecc37e75525756249930b1f debuginfo(build-id) = 290e741ca0e7bc28ebe5cc912dd942a75c71522f debuginfo(build-id) = 2d364bb5262b178ad0f8db839fd8131366766040 debuginfo(build-id) = 39c6e7e286fc0ecba4aa18fd8162150987a6a5da debuginfo(build-id) = 4c41bc9cb40b4ad2580066191d604896a01cd7d4 debuginfo(build-id) = 4d33b52d6ee4fc5ca8de43be26688aa15f9140ac debuginfo(build-id) = 56ad0ec79b66d59ff227b3d68308c4ed5456cf29 debuginfo(build-id) = 5cf196b171ddd86d0dfc81183737d4e820fcb994 debuginfo(build-id) = 642a233ca623003fe5457df0d97a8970dabfc8b9 debuginfo(build-id) = 72b173b17f36b233696d6724f4ff974b6c5dacbd debuginfo(build-id) = 758c6d68e923a64ab51d96b1a3cc4bcc21de449b debuginfo(build-id) = 77ee8b09250e6087196ddc7f9dfd6dad0dcbd225 debuginfo(build-id) = 7ce3efa436a6957027eda9c668faedeb82573ec1 debuginfo(build-id) = 96202b5b219b3a796ad8fd192f4e0ab7a96cc4a8 debuginfo(build-id) = 996bf68018ce729ba2f5c6733838b5f40683be7c debuginfo(build-id) = b442bcbee47403429c335c7e5fe1b89d5bc3d282 debuginfo(build-id) = e2f5422a9591073f512b3df754df66df816a4925 debuginfo(build-id) = e54a02f7a7883476d60820e490c188b921955aeb debuginfo(build-id) = eaf789fd3403aa9110ae6a7b49cff0ac861f0b67 debuginfo(build-id) = eca263655e05edccbb34c220e629738366f6c89d gappalib-coq-debuginfo = 1.5.2-2.fc37 gappalib-coq-debuginfo(x86-64) = 1.5.2-2.fc37
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.2-2.fc37
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.2-2.fc37.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.2-2.fc37.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.2-2.fc37.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.2-2.fc37.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.JqeAod
+ 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-2.fc37.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.itasdP
+ 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