Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f40-build-766722-124288/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 0x3fae0bfc10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1702857600
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.3-8.fc40.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f40-build-766722-124288/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 0x3fae0bfc10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1702857600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.lS5Xn7
+ 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
+ rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91-SPECPARTS
+ /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.0nadnO
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ 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/ccSqtj2X.o: in function `.LEHE328':
remake.cpp:(.text.startup+0x764): 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 -j4
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
Building src/Gappa_real.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_definitions.v
Building src/Gappa_fixed.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/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
Building src/Gappa_float.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_real.v
Building src/Gappa_pred_bnd.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo
Building src/Gappa_round.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
Building src/Gappa_round_aux.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_def.v
Building src/Gappa_library.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_pred_abs.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo
Building src/Gappa_pred_nzr.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
Building src/Gappa_pred_fixflt.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_rel.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo
Building src/Gappa_rewriting.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
Building src/Gappa_tree.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
Building src/Gappa_user.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_obfuscate.v
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_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
/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
Finished src/Gappa_round_def.vo
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 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 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 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.
Finished src/gappatac.cmo
Finished src/Gappa_real.vo
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
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
/usr/bin/coqc   -q -R src Gappa -I src src/Gappa_tactic_loader.v
Finished src/Gappa_tactic_loader.vo
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_pred_nzr.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_rewriting.v
Finished src/Gappa_round_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_fixflt.v
Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_abs.v
Finished src/Gappa_pred_fixflt.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round.v
Finished src/Gappa_rewriting.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_decimal.v
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition,deprecated]
Finished src/Gappa_tree.vo
Finished src/Gappa_pred_abs.vo
Finished src/Gappa_decimal.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_bnd.v
Finished src/Gappa_round.vo
Finished src/Gappa_pred_bnd.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_fixed.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_user.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_rel.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_float.v
Finished src/Gappa_user.vo
Finished src/Gappa_fixed.vo
Finished src/Gappa_pred_rel.vo
Finished src/Gappa_float.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.LP6lio
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64
++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ 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-8.fc40.riscv64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64
+ 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-8.fc40.riscv64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.5.3-8.fc40 --unique-debug-suffix -1.5.3-8.fc40.riscv64 --unique-debug-src-base gappalib-coq-1.5.3-8.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
find-debuginfo: starting
Extracting debug info from 1 files
DWARF-compressing 1 files
sepdebugcrcfix: Updated 0 CRC32s, 1 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-8.fc40.riscv64
cpio: atomic.ml: Cannot stat: No such file or directory
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/constr.ml: Cannot stat: No such file or directory
cpio: kernel/context.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: pretyping/reductionops.ml: Cannot stat: No such file or directory
cpio: pretyping/tacred.ml: Cannot stat: No such file or directory
cpio: printing/ppconstr.ml: Cannot stat: No such file or directory
cpio: printing/printer.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
cpio: z.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 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.35V3g4
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ 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-8.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.UsHtza
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/doc/gappalib-coq
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91/AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91/NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91/README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.eyvQ5o
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/licenses/gappalib-coq
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/licenses/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91/COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.5.3-8.fc40 gappalib-coq(riscv-64) = 1.5.3-8.fc40 ocaml(Gappatac) = 999ff2ccd3fbd549224bf0533745a0ea
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = 61f3c6230eff1e30e1022355d6a7929b ocaml(Attributes) = be1b66c09e8886de85f9d79d6f6a52b0 ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 ocaml(CArray) = d0b8e142800441f2986abc6a10b17d96 ocaml(CAst) = 71b4519533385925ca69635a553e0698 ocaml(CClosure) = db7fb25040e335675b6f0ca51a464878 ocaml(CDebug) = 5e34d27037ef21338a8ad53fef60fa9d ocaml(CEphemeron) = cc49b32dce287834ade5fa01506b4897 ocaml(CErrors) = bf0d4fa7b58ca1ee217d37e29d8b97e0 ocaml(CList) = f356ca6c95c0c0be4177bbc57d78cc13 ocaml(CMap) = fda098b0ff9c83120140740f2226da6a ocaml(CPrimitives) = 72793fc19decd65486f8e939ff2c5966 ocaml(CSet) = 93611ef3700d6a8f15a80498b188afc1 ocaml(CSig) = a79321778c76160b752610c73719a509 ocaml(CString) = 582d9a15915f88be557558bfc08d040c ocaml(CUnix) = 8c5a6c99a70b4a0f057c7468f74f5475 ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(Coercionops) = 58cae212bce1fd87e2550db6be03bc50 ocaml(Constr) = 9c0f6b9c135364c1a8415f15df689520 ocaml(Constrexpr) = 9e66bc162e9467a7062c2dbf0c7fe27f ocaml(Constrintern) = d7b06928df1abfa9c3bb227db2ce35e0 ocaml(Context) = a1d61ad0d6007649909e42c29e692a6b ocaml(Conv_oracle) = 95d6fce63a260f91954d793cb98df0ba ocaml(Cooking) = bf2a711121e3ead669292ed8868871dc ocaml(Coqlib) = a0cc12ba4e959c34e212ff2fd658fb56 ocaml(DAst) = e02fc82907b86e6986088bccf10577d4 ocaml(Declarations) = 91f44ed7345cd885439d350d0669aae9 ocaml(Declare) = 1a7bf5c110c403be99dfd660f05d4abe ocaml(Declaremods) = c7627d25206fc09f53f470b3f70a7009 ocaml(Decls) = 34ce0350963819b6772d379aba3b5dd3 ocaml(Deprecation) = cb38f2ee84601d89068cf0c981e0edf5 ocaml(Dumpglob) = 0eae957517b1d100900d2e03484bf9b2 ocaml(Dyn) = e2a4217a24eb074bf1df589e61c11731 ocaml(EConstr) = ffb25b8698dd7983a0fb71b45313eace ocaml(Entries) = a5c2b8e4711a70d02a51f348742008f8 ocaml(Environ) = 56acd0dca61439eb5bfc7d7da0082e51 ocaml(Equality) = 5a6e657607dfb4c8a6ee2e3e34b25488 ocaml(Esubst) = a1fa570056ef9268aa705897c943a420 ocaml(Evar) = f6137aa9c85f6d94c55baf57c645e348 ocaml(Evar_kinds) = 2a650574716fc48607ada94fee31f076 ocaml(Evardefine) = fbbe3cce46e488806b3c8afe770b5623 ocaml(Evarsolve) = c8a7a1f1007f6f5a585e169a9a799402 ocaml(Evarutil) = a9638429010aceecec862d0a8b9d80e9 ocaml(Evd) = f17ab7ecc2e017b8c9a418e9c9bdb870 ocaml(Exninfo) = ea79c74e37f7cacfcd3199d63fc1b297 ocaml(Extend) = 4488d06ffc319e1944d50e9be9575437 ocaml(Float64) = db0513c3d78747b402371a1a1ec6a5c1 ocaml(Ftactic) = 4baccd80f1a2a0c9ca9c316fb44cce3a ocaml(Future) = 9e621cbecb105580c34f8cf9f081fc73 ocaml(Genarg) = 9a49a138d645023d9fd12501788613fc ocaml(Genintern) = 169cac1a4aab4e8f6034e1dd6e68b09c ocaml(Geninterp) = 8e919b2a41c63cdf69a51d9e3ae3b102 ocaml(Genlambda) = 79244f748d09d6308ea728e6de90414f ocaml(Genprint) = 205f6a300608eeb004b906f71375fedd ocaml(Genredexpr) = 5850d6ea8cb0596b430223543d0fdcbe ocaml(GlobEnv) = 700ecc11da860d05286d2d2a7c6fc91e ocaml(Glob_term) = 2d156bebda2d308a3a1aade0f34616fc ocaml(Global) = 3ac736be15896244d6532f4aa8e0b63d ocaml(Globnames) = 8f62c317009a060543dc3ca68a3eac62 ocaml(Goal_select) = eb24af1774b2c22e49766c7a05d3ad0a ocaml(Goptions) = d746df1e480cb1faaf037cc9655cb900 ocaml(Gramlib) = 9a8fd2651569f6b0e0c2dcd907918b41 ocaml(Gramlib__Gramext) = 42ab6f41acd4bb3eafe9519122b0544d ocaml(Gramlib__Grammar) = 1691cba8a55e58479bf2d1b0b1ae7ecc ocaml(Gramlib__LStream) = d4546c874da3f06b7e29eb381a5b99af ocaml(Gramlib__Plexing) = ab477a36c28785ea325f4970dc0a505a ocaml(Gramlib__Stream) = 3d5dcdab1abb1b0c8111208db1caeed6 ocaml(Hashcons) = 22f4795de199b84d2df6ec0af1bbef10 ocaml(Hashset) = 6b079efe00409f0ddfefcacb46fb2dcc ocaml(Hints) = 16f0086ed10f454d89b0b28adf7ccfb6 ocaml(Hook) = b7c2df039ba9272cbbf0613b45088b36 ocaml(Impargs) = c2fd5ae128254c22d218a71ce1079151 ocaml(Ind_tables) = 6fcc7bf4b659f5a7d5ab964c60a74095 ocaml(Int) = a1e34ec6620f9ea8c0476eff32e514fb ocaml(Inv) = 6a116002924f197df66c3d5ce6d11a9f ocaml(Lib) = 23fdb8eb65ff2a83a48d5f6e81b62246 ocaml(Libnames) = 702afdb006489c0c66828b6246bb312e ocaml(Libobject) = 67c070463f1e6b9d5cd70be3c2c63c6e ocaml(Loc) = 1aa3693c0002eb1a9e83bbb3131e3061 ocaml(Locality) = e2121758f0063847005de667f96a6bcf ocaml(Locus) = 21b948fa844208c5a616e31312eb7fbb ocaml(Logic) = 23115327a23d8a6776510faffd757860 ocaml(Logic_monad) = 829da051a3765189b8e032d18018dc69 ocaml(Ltac_plugin) = 9535c9941946ac241050beb63162342d ocaml(Ltac_plugin__Pptactic) = ba246db59c4775736f8f478f67e902fa ocaml(Ltac_plugin__Tacentries) = 4943f050dfab827067ea0466ba4f72f3 ocaml(Ltac_plugin__Tacexpr) = 25bfbf175c628a9906e091e115b144e9 ocaml(Ltac_pretype) = c5dfadda3c821ef1c8855c1bca14189b ocaml(Metasyntax) = 5cf8c4b2514a2a93a3f7af272dbfd30d ocaml(Mltop) = 155aa75863072ecc59866589f03904fe ocaml(Mod_subst) = 4fafe132554487dd9a55a12fe796ec0a ocaml(Monad) = f4ab549dc270bba095c37b84de14fd94 ocaml(Namegen) = ee7a8a1f09cc9b50ef29bb148d170c12 ocaml(Names) = b967d07064b7988c3852fe1172fc5a55 ocaml(Nametab) = 791706a5888dda2db90164b613e12e3b ocaml(Nativecode) = 438abe063440e9835ffe616809786f26 ocaml(Nativelib) = 56efcd593193453a2cb0c4487994337c ocaml(Nativevalues) = 7d27059c0a008c37e446e894764c52ac ocaml(NeList) = 24834dafc4f5a1cf810c3f9eaf8aa0f7 ocaml(Notation) = 29c91f387368e332eb5bc2a1996e72f8 ocaml(Notation_term) = fcf6f200f1dc83a506a5e8ddbeeb39c4 ocaml(Notationextern) = 4f728efabc9edfdbb00de0af95e6699a ocaml(NumTok) = 392d499d4911e044f6e82f32573f437b ocaml(Opaqueproof) = 5365dee897355626b126a9f8bdc4a82c ocaml(Parray) = 27786cb5f50c7da3da038db7f56fec6e ocaml(Pattern) = c5017383938cc992bdc52c278d8391e1 ocaml(Pcoq) = 030848ecb759b884618d297376321a2a ocaml(Pp) = c495dd6f22a2ed429fa0d09a47c82de4 ocaml(Predicate) = 61a5246feac0f5e76d6437e94009b3cb ocaml(Pretype_errors) = 5fd33f362426547f8f4b7f891e824830 ocaml(Pretyping) = cf4543aade0f7697ad29b986daf3294b ocaml(Primred) = 9e47c0b6e0c4902aae795f45a50c8943 ocaml(Printer) = b4ee1f5ed41c30e2502ae8c48de4f9c8 ocaml(Proof) = a4dc2bf32a3666853511a8b861aba392 ocaml(Proof_bullet) = f9b33dfd67d395d409d95f30b3c56bb3 ocaml(Proof_using) = 7c61ec396cb04e71d44eabc95a764ee7 ocaml(Proofview) = 87b17922daeaf4c9a320c525b0cc0024 ocaml(Proofview_monad) = 0ec0d062fb8907fa6900fad9b1fcd385 ocaml(Pvernac) = d120ed54ce9315035513d86cc919893a ocaml(Range) = da820172ed0d90aba4156c9bc48f7367 ocaml(Redexpr) = e0e87137084bb11194824169d53dac2f ocaml(Reduction) = b5bd7aedaaf6573ecb69d11e64daa5c6 ocaml(Reductionops) = 38eaa42c3e6d6c29677efad86ea81ae7 ocaml(RetrieveObl) = 2f914d6bc1314fe145342a4d0c3f0f1c ocaml(Retroknowledge) = af103488193ab7d811d1b0dabc521717 ocaml(Rtree) = edbcc00d1123e2a43e2b54c8f7f1a916 ocaml(SList) = 9ddb9252f133868c2025b4ea84ee6ad4 ocaml(Safe_typing) = 40bfa3a5c119a482555fd78efffe610b ocaml(Section) = 46c319f210a93d5b3571047aac2963ee ocaml(Sorts) = d78b3446e0ed3ab711995bcb36277318 ocaml(Stateid) = b7a5f7a67e05112eb3662eb26eff2889 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Store) = 2f6454fc91b37071d87bb5cebe4b2b55 ocaml(Summary) = 1a13b8d870ac8992bb82c5e83dad9493 ocaml(Tacmach) = 9753df5b99ec0fe5661301dea7add21d ocaml(Tacred) = 37ee8894d8000aebbd2d77703542c3c1 ocaml(Tacticals) = 7d01d445a46f6d998791d71971c3ab10 ocaml(Tactics) = 099577d238184447aba08f9972f5cee3 ocaml(Tactypes) = f48964579ce12a67fe89657e8f42036e ocaml(Term) = b4ceec072e221ebc5ae55c3a6f534cd6 ocaml(Tok) = a2c4b487db0eb8a53bcf19d7b067bce1 ocaml(TransparentState) = 831b7b89c303278f6f19f6b48b5f3b91 ocaml(Type_errors) = 675b2068f4bea0b3fd13dca594a3b213 ocaml(Typeclasses) = 3c8e9f7d51cf466420868d98b4fba7a2 ocaml(UGraph) = 5fffdf91c88b333fcc443db96d75d9d7 ocaml(UState) = 769089d410702b8609a40d57396aad8b ocaml(Uint63) = ccf4e2651d53bc5f2ea1ee89888aecc0 ocaml(Unification) = 1a0f3d56148477cc5f0e7f7f9d65fe5e ocaml(Univ) = 001067b1bed59886a7cb3fa2348dca0e ocaml(UnivGen) = dfd607345e1cddc7bb47bd277d7bf7c1 ocaml(UnivNames) = 4f82edb8f42c3f7b6b33ebbdbcad8879 ocaml(UnivProblem) = f505ed50cabc546ea89b50c61c7620ec ocaml(UnivSubst) = 4c0c2a9833ad5e5e2eb6a6575789beca ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Util) = fd8c2910344c6750f9bc82a898cd3193 ocaml(Values) = d7ad0b27a83baaf5bb6b915f0623f0b6 ocaml(Vars) = 5b2dc7e7b98f6f3006dff3646d01075a ocaml(Vernacexpr) = 66630f0c76c129fecb0823ef9251e57e ocaml(Vernacextend) = fdf5dc53d80d77d021a7166ef0028322 ocaml(Vmbytecodes) = d2f2a045f648996abe1281ea0b511b5e ocaml(Vmemitcodes) = 7743648aa59e4444f16748ec2ed2c5f7 ocaml(Vmvalues) = 864a0cfeed33d17ffdbb432537ca3f9f ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.3-8.fc40.riscv64
Provides: gappalib-coq-source = 1.5.3-8.fc40 gappalib-coq-source(riscv-64) = 1.5.3-8.fc40
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-8.fc40.riscv64
Provides: gappalib-coq-debugsource = 1.5.3-8.fc40 gappalib-coq-debugsource(riscv-64) = 1.5.3-8.fc40
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-8.fc40.riscv64
Provides: debuginfo(build-id) = 81c3b0dbbf7d39bd326aa2282aad53cd055484f0 gappalib-coq-debuginfo = 1.5.3-8.fc40 gappalib-coq-debuginfo(riscv-64) = 1.5.3-8.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(riscv-64) = 1.5.3-8.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.3-8.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.3-8.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.3-8.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.3-8.fc40.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.LG3b2f
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.3-8.fc40.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.1DPYXg
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91-SPECPARTS
+ rm -rf coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91 coq-gappalib-coq-1.5.3-c761927f88a3a0e99efdf54fd93c2d8276deab91.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0