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/f41-build-821776-152618/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-5.fc41.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/f41-build-821776-152618/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.rrpC2s + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.MM8T4D + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.5.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /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.uNx5Y2 + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-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 -mno-omit-leaf-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 -mno-omit-leaf-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 -mno-omit-leaf-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 -mno-omit-leaf-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=-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.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + ./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/cccVUe66.o: in function `main': remake.cpp:(.text.startup+0x970): 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_fixed.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_float.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_real.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/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo Building src/Gappa_pred_bnd.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v /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 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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v Building src/Gappa_pred_abs.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_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 338, characters 6-14: Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 338, characters 6-14: Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_obfuscate.vo Building src/Gappa_tactic_loader.v gcc -E -DCOQVERSION=81800 -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=81800 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 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, 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/Gappa_dyadic.vo /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_common.v Finished src/gappatac.cmxs Building src/Gappa_tactic_loader.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.vo Finished src/Gappa_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 File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_fixflt.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] 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-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_tree.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_rewriting.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_user.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v Finished src/Gappa_user.vo File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_fixed.vo File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] 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.WRKJxI + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + '[' /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT ++ dirname /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + mkdir /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + CFLAGS='-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 -mno-omit-leaf-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 -mno-omit-leaf-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 -mno-omit-leaf-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 -mno-omit-leaf-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=-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.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + 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/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.5.5-5.fc41 --unique-debug-suffix -1.5.5-5.fc41.riscv64 --unique-debug-src-base gappalib-coq-1.5.5-5.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 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.5-5.fc41.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: 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 63 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 + /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Scanned 18 directories and 49 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.kMQfZJ + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-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 -mno-omit-leaf-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 -mno-omit-leaf-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 -mno-omit-leaf-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 -mno-omit-leaf-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=-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.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + 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.5-5.fc41.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.GEFcmT + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + DOCDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/AUTHORS /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/NEWS.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/README.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Io5sXV + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + LICENSEDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/COPYING /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.5-5.fc41 gappalib-coq(riscv-64) = 1.5.5-5.fc41 ocaml(Gappatac) = 84d0983fc7f02899b3aef4118322a51c Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AcyclicGraph) = 63465440e96d81f0213d69061c985ba4 ocaml(Attributes) = 361e91b90d3804b8e3aa0b36dd543471 ocaml(Big_int_Z) = 312ffaa81870b7daca9308902c34a77d ocaml(CArray) = 72f80c4d474f3a52c10a646d481a6e6a ocaml(CAst) = 789e9622291fbd31f7d16ad9df8970e9 ocaml(CClosure) = 050a192f384c57c4798a88829fa5c408 ocaml(CDebug) = 236633a6b3538c054a449439671edc9c ocaml(CEphemeron) = 39db8247e62491f079f26da08f39e8c0 ocaml(CErrors) = 48871476ca41ae38d9cf16fafbd3ce4f ocaml(CLexer) = 25473c9aabd03f5ab2274c0b86c6cae4 ocaml(CList) = 2e0c5a2dffaa27bd8e06c509e37776d2 ocaml(CMap) = fb2e1c5ea1c619d3a3544410da29f8ae ocaml(CPrimitives) = 0118e11c0659352eaedc1bc258d8445b ocaml(CSet) = 019adb1e50f0b8182ae935de6a005db0 ocaml(CSig) = 2676c9112307572a452bec4b87098429 ocaml(CString) = f1794ea484d4244d5e8a3abf1badd216 ocaml(CUnix) = b6bf3a3ed353542a33a6937b47f54dd1 ocaml(CWarnings) = e1e370f0bdd6a607c2a8c8b788d6d91f ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(Coercionops) = 5b171589aff790d73d9d72e22a4b6a2e ocaml(Constr) = 9d3325c6b919e39f763cf62c1796ce92 ocaml(Constrexpr) = 3d93341ab637f36532dc63d46d8160ff ocaml(Constrintern) = ebb02284f654409fcb6cb415bb489e82 ocaml(Context) = b5d0d71b2e96c5b9ca5757523d995125 ocaml(Conv_oracle) = 4a2eaa9941e657698b4a5cb7fe5c3c3b ocaml(Conversion) = e66314949ab7f0e9793fa795538c54c3 ocaml(Cooking) = 6981279705feedf142a8b99dbef3f2b3 ocaml(Coqlib) = f22453fc23e1f552d81278c5221e22d3 ocaml(DAst) = 8220ec1bde5771cdd9b9e6b852a23d88 ocaml(Declarations) = f5957f321c5d9691056b244c055a70b4 ocaml(Declare) = d0285c4d3566d135568b93c78c9cf72c ocaml(Declaremods) = dca6d55b8e6597b02422fb90ca906c53 ocaml(Decls) = f5c04c625f7175c8e7a6fa1bb12eb286 ocaml(Deprecation) = 9e736bddedd1fb311b879f7f49d85bce ocaml(Dumpglob) = 8cd6b7d49deb8b701d0e79e4ad310d08 ocaml(Dyn) = dff7f98a38c88f7eb5c1e2ff5ac7e823 ocaml(EConstr) = 5a2f2a37c74697f419ffc4216f0d87ab ocaml(Entries) = b4fc0bc29e6a3af4b14883d6c7320353 ocaml(Environ) = aaa6ae8206e571adf71ff2b421fc0278 ocaml(Equality) = 7b3ec869074921c4c26954fb07d56567 ocaml(Esubst) = 799b7344bc8ade767980738240a415c2 ocaml(Evar) = fae5e9f68482fe2e68be1ff7874efd92 ocaml(Evar_kinds) = 6b77a57a83dc49f52623af3e7fe24f2c ocaml(Evardefine) = a2c5bf61b5e40e96f160abbc5dc5c599 ocaml(Evarsolve) = 03abfb4bfde553a9f473328498ccad5c ocaml(Evarutil) = 69c166f0bd4f032002c570f2bfa928a7 ocaml(Evd) = 752a038d9105c63d709b4d78523619eb ocaml(Exninfo) = 19d7f6bff61408da974e03ad8379233d ocaml(Extend) = 7c62183a656a14ff61b6275faada74e6 ocaml(Float64) = 19d975b1892ac34cf3e0631cb965a7cc ocaml(Ftactic) = 7a8f61cce8e06fedb838f0b6b492aa41 ocaml(Future) = 8deca240fe168a7138a59ef3f25a0c6f ocaml(Genarg) = d2a3d9ae176b92250d73fa8cf6475fe8 ocaml(Genintern) = ba0b75dbe4ab21897f41c7296b998bdc ocaml(Geninterp) = c868e160c2d6b74bccc80835c213f925 ocaml(Genlambda) = 48fb56ee4c71ee95afc029ce68cd6453 ocaml(Genprint) = e05d4dd08253cb5462aa56b02d4a2e89 ocaml(Genredexpr) = 1636cc9ee4a4e3b10d093c1cb4f3e3a1 ocaml(GlobEnv) = ab480750fadbd5277ff5bb312bd813f2 ocaml(Glob_term) = 6002120b8b63cbbf604eda928ffec143 ocaml(Global) = 70190aae799d4f65079aaa05bd26a6ec ocaml(Globnames) = 39beb8ade582896e0b07717bc6384b0d ocaml(Goal_select) = 7701971c94cd6b421cf573e978d23f02 ocaml(Goptions) = 154e0a54f73ee52a42dc2c17ce2ea403 ocaml(Gramlib) = 477256fc7912ac6a051940b848189f7b ocaml(Gramlib__Gramext) = 3f72a7a64e3b36febd9fdfba006f9f1a ocaml(Gramlib__Grammar) = 5613c854e560fc0f2e32fe61e1ae3deb ocaml(Gramlib__LStream) = cfae3f35ee22d04399ec05075c25f03a ocaml(Gramlib__Plexing) = 33fcd2362956cda04b0dcf9c19362310 ocaml(Gramlib__Stream) = 6bfc802a551241e770bdf0d18cba87b8 ocaml(Hashcons) = 94bdc6ac3201831c154e2be6aceecd5e ocaml(Hashset) = d8a284b1aac88561153dd0a4198abfe1 ocaml(Hints) = c807ad32d3d3e4787ae9ab898a326731 ocaml(Hook) = efb40e84b8be1d27ebdf48c1c909700a ocaml(Impargs) = ef606e11ff72979404c7fe8ebcd797eb ocaml(Ind_tables) = bdeee744d68517efc95de721bc1355db ocaml(Int) = adab7102f0ebf2afbaff4b424516fc02 ocaml(Inv) = ffa3d62b37e65ae201d4f2e785ef5e47 ocaml(Lib) = d7bcc9d7b4f8d5d46868884459b1f924 ocaml(Libnames) = 27b43291715086ccc0c0a6262f05db1a ocaml(Libobject) = 7b55f6a80894e15e9f45a6b25e09e079 ocaml(Loc) = 8ed5211fdca74b779bc6f04784e60fda ocaml(Locality) = cde9d92a5823eb4559678d6744369229 ocaml(Locus) = 287f09ea51178600d4174f56cc625959 ocaml(Logic) = a68730cd35919abea40abcdaf009c9ff ocaml(Logic_monad) = d4d8266c3aa0bc367e310e0ec54ea6ef ocaml(Ltac_plugin) = 09e1b0a836e8464912a2d162a7ec521c ocaml(Ltac_plugin__Pptactic) = d6bf940b82528b35c9129c791bf59a40 ocaml(Ltac_plugin__Tacentries) = 4e726af23a5019677030552c67d95665 ocaml(Ltac_plugin__Tacexpr) = 2a0fd17498bcf85d7caae842720ca9fb ocaml(Ltac_pretype) = 85e97c2e9bcddadf2a501e6f3bd2a1dd ocaml(Metasyntax) = 1303271d9b8bcec872a51f3b8981eb48 ocaml(Mltop) = 9a1eca5e7ff04b5844c03429924e6ade ocaml(Mod_subst) = efe7d54b8b636a8c8fad5e8f0a07af34 ocaml(Modintern) = e15824865202f9e714c9b4db57624e60 ocaml(Monad) = 94d6e7ae132ed4fe6efb4bf9d3d27411 ocaml(Namegen) = 430c35434a0cd7e03f720084e3220c1b ocaml(Names) = 1d020cc06c9adc57f47aef939db9d0b5 ocaml(Nametab) = ac5af10ed33adf528d709d45fa5ea53a ocaml(Nativecode) = c915c4f4836c31c038fddcd6817e04c0 ocaml(Nativelib) = 823ff01e053e15792b5862258228c62f ocaml(Nativevalues) = 65f99e2bf9b75a349149ec22a6002217 ocaml(NeList) = 8666e4080d41cc7de964026d8bcfe62c ocaml(Notation) = febfbcc39e7e99c0391cf9493f27623f ocaml(Notation_term) = e7c3a1c24e29a7af3de00ee41109cda8 ocaml(Notationextern) = c7986cdc169fa2de4f80c5509fde4e06 ocaml(NumTok) = b128e951849f4eb7b9b833e940184e23 ocaml(Opaqueproof) = 37a98ee47ba6c4e3742532f9ce872bfc ocaml(Parray) = eaa72022ae38ea3187bb3f561e9db4c9 ocaml(Pattern) = a940213bdce0f21975ad57af5d59ee86 ocaml(Pcoq) = 957f1b170074ab00a105904872deaba8 ocaml(Pp) = 2b296c72b89b91257cc16a104005de5b ocaml(Predicate) = d0a897998df1a40d587b43624be35a23 ocaml(Pretype_errors) = f9c030b34d826cade7c75611cd4c16f3 ocaml(Pretyping) = 6a23de4285fefa49984ead5bb80dbb11 ocaml(Primred) = 608b90f82d9c2dea9f96cf9c493c53e4 ocaml(Printer) = 76184c03158da9c1123d0c623e7c76a4 ocaml(Proof) = 604d18c8f2a7f0c0f510525675684ea7 ocaml(Proof_bullet) = 7f565e170c5b3505f210aeb1323a6f4b ocaml(Proof_using) = 9ccec7b314b63c052bc8c80885f73218 ocaml(Proofview) = 7261bb5d91d72b3f0f52a2995493c075 ocaml(Proofview_monad) = 089cbd8f570373abbeaef3f5b6d08948 ocaml(Pvernac) = 51b1d88fca817944d0f5ee0601c78684 ocaml(Range) = e156474582c707f2ac7565232ef1fbf6 ocaml(Redexpr) = 7072a65a31669f23045a74c346e8162e ocaml(Reductionops) = 4e3dac0041288a0a342cafb0bdfb57f5 ocaml(RetrieveObl) = 55d59098a6c442f0dbca2342bed7a5a7 ocaml(Retroknowledge) = e2fb92309799485e1f9541ce2c8141d5 ocaml(Rtree) = 21c1958cfe0e790b0ecf5db5273509d5 ocaml(SList) = d58563bfd13cb6e597d0c49a2c63443b ocaml(Safe_typing) = 0269fe16fe33d67fb0b204499f391aef ocaml(Section) = 8ef834b8d0b25d176b88bea911d6b0e5 ocaml(Sorts) = 4af65272c1be6ee51f20720b7ea59771 ocaml(Stateid) = cdb14ba366136f02eabf6891582e0d90 ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Digest) = 53c6b4c2a619a2a05fa4912189aff5db ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Store) = 4e72896221806a886a8a19ba0a7a024e ocaml(Summary) = a60a793bc617ad3fcc787a5d872053e8 ocaml(Tacmach) = 6700c573aa75739bd937fca3f774df1d ocaml(Tacred) = 0b6a9b7baa8058af79a9ff1d362a5b55 ocaml(Tacticals) = e8443b5d474dba5b9b94e191e815df9f ocaml(Tactics) = 8300d1e6bccc909c0bb92558db13d9b5 ocaml(Tactypes) = 86ac7b6e6e2ee2ca9389c0a0ec14479f ocaml(Term) = 3e5323b4c994751d4d583038ff26ef1e ocaml(Tok) = 800d49b6b6f77a22fe9f7c8b910876c2 ocaml(TransparentState) = 76a096e6d3e3a4d94e363a7bf724f5c5 ocaml(Type_errors) = 316b26e1a7109ebae43af10375c2a334 ocaml(Typeclasses) = c704a4cdd4301f8c2349459bd09638a5 ocaml(UGraph) = c654b62751e33fedcf6c22e72ad610e7 ocaml(UState) = 7309eb4266dfd031e8324f80103c1a29 ocaml(Uint63) = e3451df3704d221dcd5da2a42c0c4f17 ocaml(Unification) = 706272c6efc62de0340d7ee837c14ddd ocaml(Univ) = 574e46406ed62c0f634436d99818e2b8 ocaml(UnivGen) = e2a8429d96bb8c771b46e05bf18404ab ocaml(UnivNames) = 47ace49275b17080a2df4796ae01224d ocaml(UnivProblem) = 205a1efb9494ef19e5f366f23b766265 ocaml(UnivSubst) = 9dd5700ce8d910df2dc035ced7d8d937 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Util) = 8fc9d2a0e25fc1a8bef9b03c8901192b ocaml(Values) = 488e32523e8ea0c884c9771d64cb9e64 ocaml(Vars) = 3347002f2ddb8d3f50f9a8062f787d4f ocaml(Vernacexpr) = e8e7245025ba948b308eef9de4ea1fc0 ocaml(Vernacextend) = 5afeefe338a4dbda3fa95e2d82d6bf0e ocaml(Vmbytecodes) = f7f010e4b176097177b8cfa2b848c29b ocaml(Vmemitcodes) = 47a5d915cd99c8489fe7258232ba2d03 ocaml(Vmvalues) = b1ff111be517f827c60094b3394698f8 ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 rtld(GNU_HASH) Processing files: gappalib-coq-source-1.5.5-5.fc41.riscv64 Provides: gappalib-coq-source = 1.5.5-5.fc41 gappalib-coq-source(riscv-64) = 1.5.5-5.fc41 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.5-5.fc41.riscv64 Provides: gappalib-coq-debugsource = 1.5.5-5.fc41 gappalib-coq-debugsource(riscv-64) = 1.5.5-5.fc41 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.5-5.fc41.riscv64 Provides: debuginfo(build-id) = 8450d79a220e2d942c89f88fd996a8751ac5aa1d gappalib-coq-debuginfo = 1.5.5-5.fc41 gappalib-coq-debuginfo(riscv-64) = 1.5.5-5.fc41 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.5-5.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.5-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.5-5.fc41.riscv64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-5.fc41.riscv64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.X9cQCH + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0