Mock Version: 5.9
Mock Version: 5.9
Mock Version: 5.9
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f42-build-866063-173661/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 0x3fa8125cd0>timeout=604800uid=992gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.aamqlbyo:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.aamqlbyo:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '66d0996f334b4bac844185e0971f153d', '-D', '/var/lib/mock/f42-build-866063-173661/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.aamqlbyo:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target 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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1736467200
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-6.fc42.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/gappalib-coq.spec'], chrootPath='/var/lib/mock/f42-build-866063-173661/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 0x3fa8125cd0>timeout=604800uid=992gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.aamqlbyo:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.aamqlbyo:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '8f74c34ed0794731a6d963eb8ebd563d', '-D', '/var/lib/mock/f42-build-866063-173661/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.aamqlbyo:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target 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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1736467200
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.IHKpQI
+ 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.OxFry0
+ 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.sc6Wwn
+ 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/ccJ4SHzs.o: in function `main':
remake.cpp:(.text.startup+0x976): 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 -j8
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
Building src/Gappa_fixed.vo
Building src/Gappa_float.vo
Building src/Gappa_library.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
/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
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_real.vo
Building src/Gappa_pred_abs.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/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo
Building src/Gappa_pred_fixflt.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_obfuscate.v
Building src/Gappa_round.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_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_definitions.v
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_real.v
Building src/Gappa_pred_nzr.vo
Building src/Gappa_round_def.vo
Building src/Gappa_pred_rel.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_rewriting.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/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_tree.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_def.v
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_tactic_loader.v
Building src/gappatac.ml
gcc -E -DCOQVERSION=82000 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v
gcc -E -DCOQVERSION=82000 src/gappatac.c -o src/gappatac.ml
Finished src/Gappa_obfuscate.vo
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
Finished src/gappatac.ml
Building src/gappatac.cmxs
Building src/gappatac.cmo
/usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs
/usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo
File "src/gappatac.c", line 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 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 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 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_definitions.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_dyadic.v
Finished src/Gappa_round_def.vo
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/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_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/Gappa_common.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_tree.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_rewriting.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_decimal.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_nzr.v
Finished src/Gappa_round_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round.v
/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_decimal.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_bnd.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
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_round.vo
Finished src/Gappa_pred_abs.vo
Finished src/Gappa_rewriting.vo
Finished src/Gappa_tree.vo
Finished src/Gappa_pred_bnd.vo
/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_user.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_fixed.v
Finished src/Gappa_user.vo
Finished src/Gappa_fixed.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]
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.2xFVPZ
+ 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 -j8 --strict-build-id -m -i --build-id-seed 1.5.5-6.fc42 --unique-debug-suffix -1.5.5-6.fc42.riscv64 --unique-debug-src-base gappalib-coq-1.5.5-6.fc42.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-6.fc42.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: pretyping/reductionops.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
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 -j8
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j8 /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.0uYrno
+ 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-6.fc42.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.p4YsAw
+ 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.B7rmB0
+ 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-6.fc42 gappalib-coq(riscv-64) = 1.5.5-6.fc42 ocaml(Gappatac) = 51b083c8cfac41a9c1e0e8d24abadf70
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = 5b6162665b6770444ff15619f33a071e ocaml(Attributes) = c3fa9d9f0a5421abd96fda2108855b0b ocaml(Big_int_Z) = f7619514b131a39933cc9ce06f741304 ocaml(CArray) = 20ac17dc016f839cb39615a047ff6b91 ocaml(CAst) = 6fa624f0b0c2a6ba704ffb9c89d7b033 ocaml(CClosure) = 96de9bfee80d282cdd4c888ecfb5f8f1 ocaml(CDebug) = 0fb90e2b6aa21c2e475f8766a70741e8 ocaml(CEphemeron) = e90cf7269b8d34c27884e550bef7c36a ocaml(CErrors) = 93e96dad50558b9ff3d496671d0d7d8b ocaml(CLexer) = 2b196fb19608f4037cbf977d114a6bca ocaml(CList) = c46eef275e72d0d97ac097e6159cdf50 ocaml(CMap) = 8d2506e7f7f0d60de33fdc52ad81e44b ocaml(CPrimitives) = c51959be0881d4b25323caca60a257b7 ocaml(CSet) = c13a40ef51d41a723343eea390a5975e ocaml(CSig) = 479346196fd79eb1c4d45d24d048a7f2 ocaml(CString) = 46d2ad546ea954adcb36675b763d4c52 ocaml(CUnix) = 9c276f69283fc14199d356296d980904 ocaml(CWarnings) = b794d947377113477b0279d03bf68b8c ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(Coercionops) = c5396960098f5dd6c842db6a9f7e680d ocaml(Constr) = 4010009bb91eb0330a4350de264c8680 ocaml(Constrexpr) = d4a68c0d9cd3f64a80975d2a45609e45 ocaml(Constrintern) = 72a24df44f30b32c8c5c3ee74659be96 ocaml(Context) = 41f9c1e75fa3a21e52bb4de0ba4e8f7f ocaml(Conv_oracle) = 8e945e43f41f5850b8717643a0c28427 ocaml(Conversion) = cf33e127d6666ca68057c7254fb34d9f ocaml(Cooking) = 69d3d4c4c43e0d5a5e661f4419db0a74 ocaml(Coqlib) = a73605b66af5ce5e60a5daa46e02b121 ocaml(DAst) = 149db4c7b3bd813006916ab95ca186aa ocaml(Declarations) = 8e6a37c1adf04a8d91bfb4ac4a9325c9 ocaml(Declare) = 6d01072b9e0d9b6dcc3756e3e3ed68c0 ocaml(Declaremods) = fa443957e0c61a84da5a7e596d1ac496 ocaml(Decls) = 6b58098f509f26d4e45a91e1ab85e8f4 ocaml(Deprecation) = 94f109954ef08bb53f1f6a79d161ffae ocaml(Dumpglob) = 217adf75a21639f2eaad472e356461cb ocaml(Dyn) = c9862cfd4faa268471cdea6849a4ad1b ocaml(EConstr) = fade65a3cdac7e104f762ff650f3b175 ocaml(Entries) = 69156525689a37af66b0678d289ae8a9 ocaml(Environ) = c81bf43c658c7eb5dda916901038b835 ocaml(Equality) = 9e62b5e136ef858a1cd91d4a0f07340c ocaml(Esubst) = c5c1c080fb1905eee2ad25af124a6730 ocaml(Evaluable) = 39697ba2c4c9458440e97344f4dd52ab ocaml(Evar) = e709af720aa0e970f9baca654c18153e ocaml(Evar_kinds) = 79ae33f2e7db527cc49432d9848d5493 ocaml(Evardefine) = 48811f42a4508fd770bece5a61139888 ocaml(Evarsolve) = 88c3270f03394c99203899f48109e263 ocaml(Evarutil) = 204e6e43b4537d5165a3a3bdcd814c19 ocaml(Evd) = 74e50c032a4cebaebae296f2ac2b94e4 ocaml(Exninfo) = 7fe9503d1122956e200720c29a35a93f ocaml(Extend) = b3071416b2cac1bc24a603f33b547b45 ocaml(Float64) = 5b5dfb7165f171598e5d47e44efd5176 ocaml(Ftactic) = b0716b0e836fb2b18fd7f5fef5731ade ocaml(Future) = 377ff13c8e35c155136b11b45c2b4353 ocaml(Genarg) = e33d876a5678dc16926aa69149c41266 ocaml(Generalize) = eb3410960ddf4038e21b6d38d79ab43e ocaml(Genintern) = f29c3297b42a786bf859a7934feb52f5 ocaml(Geninterp) = 8583c8b50d446e374692cb60934dfa81 ocaml(Genlambda) = f15b5e815dd464721506b8964c094513 ocaml(Genprint) = 583b4790089ca79a565ef2cf29b76722 ocaml(Genredexpr) = 827b402f8674168885a67b63c434bd7e ocaml(Gensubst) = d5118265c901f58cdba5cf2892edc2d0 ocaml(GlobEnv) = ce86b423a0f1516d017b2389bc2b3ec5 ocaml(Glob_term) = 2f51bf2c2b779d6e3289f7b570ce3653 ocaml(Global) = 10ff8c365a50a388d3249f6468e2b83a ocaml(Globnames) = ee0e44a35061e0e24f8a2748d1fb0db8 ocaml(Goal_select) = 77d4d88928268ef2b6648b4988b43519 ocaml(Goptions) = 4b4aa0c8d8ede2c6317692d240dab139 ocaml(Gramlib) = 5e8866c45d7eabe9c58a765dff70dc74 ocaml(Gramlib__Gramext) = e4258f5a39266937c5f78e745c8665a7 ocaml(Gramlib__Grammar) = f6da34f8b8c36b4263070a69952fc032 ocaml(Gramlib__LStream) = 59292f5d076a798c5b5c94e956799dfd ocaml(Gramlib__Plexing) = b415921d31d6c88d74dea576a7acff87 ocaml(Gramlib__Stream) = 73d854b98b0e7be9330f742c5831a932 ocaml(Hashcons) = c0f32ac191ef63cfd7b6277561b4c7e6 ocaml(Hashset) = fdfee9d55cd6d12cfc4c4d99a20ccd26 ocaml(Hints) = a11d26679ea4b5caf4d231718747962f ocaml(Hook) = b82cd7540660fc834afb41353ffd2447 ocaml(Impargs) = 143a57eead4f13fc7cc25b07e93fc131 ocaml(Ind_tables) = 6800e19729059d80f4a9e81383d673c5 ocaml(Inductive) = 672654b5904384b46b2d6bc6b7296aa9 ocaml(Int) = db1be3efef30e32c52e46c1d74d9662e ocaml(Inv) = 78775c0446a65262bee3f06d97108c8d ocaml(Lib) = 36354645944202f0a847e06cedb6a662 ocaml(Libnames) = ce6491cef67fb867761679be50cf7f01 ocaml(Libobject) = afd6cab07b3ec1b985ab2fea037674e7 ocaml(Library_info) = d7ee2891538c5a5be16f2033efb9a778 ocaml(Loc) = 4182b80fe772365dc58a5e141bf3c080 ocaml(Locality) = a1b61e58fffdf38f0aea7979d3cd2d93 ocaml(Locus) = 8d0ca15bd81d7fd61e91b5a389f7ab28 ocaml(Logic) = 9ccad7bfc6f1a2e3d1ce55f619b362ef ocaml(Logic_monad) = 698f0d0633112cf36574e51516345e7c ocaml(Ltac_plugin) = 56deda90094087d03489a21116b3ea26 ocaml(Ltac_plugin__Pptactic) = 9941114f378ef65fababe889f77b224e ocaml(Ltac_plugin__Tacentries) = 5954bb10db11e7cf0122412828d45098 ocaml(Ltac_plugin__Tacexpr) = 7db83fd27c07d92ac374dd348b218494 ocaml(Ltac_pretype) = 8aa9c663a5afe185d4ba92f0c18cd069 ocaml(Metasyntax) = 2467edfe0f4d4e92bf5f872b2595b2a8 ocaml(Mltop) = 638a9969f171d530fe649d87f35c2a74 ocaml(Mod_subst) = 187e7f85f7ef09dbc4787d96a820c54c ocaml(Modintern) = 4b9eb8294e5859d1f490109cc2838f9b ocaml(Monad) = 43000a3b17354ffe6d767f62fa6d1576 ocaml(Namegen) = 286effc0bc6ab07b56661f5c8a251360 ocaml(Nameops) = 73bfdc2b8b60d14f1554c0dee90cd2a5 ocaml(Names) = 1a8e47b57ed957add8c10658be5125a5 ocaml(Nametab) = d67b91ccb8d735148efe2cf4f9e19b48 ocaml(Nativecode) = 783cccfe509ccafede8c0a7d8a1a2c5e ocaml(Nativelib) = 27e82e4a3ff31d58072965c4e6c073d6 ocaml(Nativevalues) = aa9af1442f2f8989e1cc058733874f28 ocaml(NeList) = bcc03f8abdefe9bed85d0b51ff3292c4 ocaml(Notation) = 65db84da8ae4b028cc3e5eef459409fe ocaml(Notation_term) = 20254ceca22205ac8f6472340322c509 ocaml(Notationextern) = 9d8501accac613711056ca50cfaef2d5 ocaml(NumTok) = 872aca850fd32193fd60e0890f930816 ocaml(ObjFile) = 490e715090485c2f7b942e981ef5ea14 ocaml(Opaqueproof) = e70d845e080fa0b5435c6e0ce32c0871 ocaml(Opaques) = 0762ec2cbda39e7e6b7cbb0ca11f97bb ocaml(Parray) = c0d50213c47a2c6d9aef6d1e8503f493 ocaml(Partial_subst) = c91d210a7bf4ed4d9b6aae6f9b231d81 ocaml(Pattern) = f0a44ce967c6feab8f21dbed56875c77 ocaml(Pcoq) = 759ab4871b85f74c590f75a98d46127d ocaml(Pp) = cb19ac72d9188bf01d0db95fb01a4506 ocaml(Predicate) = 7f40f26b4b4821ae99ca34e9081ca78a ocaml(Pretype_errors) = 412229429038e3fd9c0ab6f72cd953b9 ocaml(Pretyping) = 4294436c305dcefb01590a3690bfb13c ocaml(Primred) = 2d65c4aac4f45ade7deba1c812b98b82 ocaml(Printer) = de9519803d5080fac97d7d16779be262 ocaml(Proof) = e269a11e12ba0295293a9735c0acc011 ocaml(Proof_bullet) = 68537e67fcaeada662402950c2deef87 ocaml(Proofview) = e782b98d515b8c9c26ca0a45cdd41415 ocaml(Proofview_monad) = 827be21d38cb11f669c467de903e70ed ocaml(Pstring) = 57cfb77263e539d2652749da1689d5ac ocaml(Pvernac) = e5b40066b35a5f0b849cd8335297b80b ocaml(Range) = e0afb205e6acb47b2285e331ae1218ef ocaml(RedFlags) = a2871b09bd7d3d8ff64d6eb5ff2587f0 ocaml(Redexpr) = 2d628f7e1d0adeb4af63df2f84855f19 ocaml(Reductionops) = 6e46d3c75132015cbb43da505d94f761 ocaml(RetrieveObl) = 21232d1870e5e26cd3b5afec9109f7ee ocaml(Retroknowledge) = e384d0cef1fdedec170bae9d755b6f90 ocaml(Rewrite) = 2535f94ec063915ee2ef0b35e40c5e82 ocaml(Rtree) = a1cf3be85844b6bed514e0186b121790 ocaml(SList) = c9318dfa9fba54497783369c2ce3cbde ocaml(Safe_typing) = a92c48c3f39bd1b3721b5766b19006eb ocaml(Section) = 3fd69ff7de1c496e4353075801d6f60c ocaml(Sorts) = 5efd6d0be21b73a66bf9cb2d3b288869 ocaml(Stateid) = aa8ca127a02a2a32952144eeba8fe2bf ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Digest) = 79b5d577ed7cbf094b2a76c06479bd89 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Result) = 6920dcf20eda193a914bab41ae83ca87 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Store) = 5cbd2711c758f76ab762c29560da2aef ocaml(Summary) = 7ae134614f91457b7310e8fb1d7609d6 ocaml(Tacmach) = 4fe5f61598dac8d7cff13cc9325b8b07 ocaml(Tacred) = 5356574be223d93a60b68941de8882b6 ocaml(Tacticals) = ea76a61c0341b3e1dd7c6dc67cecf0ed ocaml(Tactics) = 11012f821964d4d602e25e6976aee3bb ocaml(Tactypes) = 463fe302b0d932a7b18216a8984d1904 ocaml(Term) = cce3e129c2fc27ab3d21efefb094ad3a ocaml(Tok) = a2cc5faf114da628e623d963a8d8e820 ocaml(TransparentState) = 8cfdf48fb21813ef6fe142075f460b84 ocaml(Type_errors) = da1ca766c5d64af1b5f689ee1adac5e8 ocaml(Typeclasses) = ebd42a8070715ca0d0b23c8dd7a4d386 ocaml(UGraph) = e6872e4f3eb60c3f7d1b3894938d6ec4 ocaml(UState) = bf1805b730ee0cf6dcbecfa7013332a3 ocaml(UVars) = 0a5fa50d21b0f6f5bdc54193e949d2a0 ocaml(Uint63) = 7ab8a2a08870ba8e922cf414e93a32a3 ocaml(Unification) = 40bffefa6d06a9177cb4477f4da027e3 ocaml(Univ) = 32f263716573cac3af37f3b01e0b2d5c ocaml(UnivFlex) = 68c929064b74e5ef677f8027420bc9a7 ocaml(UnivGen) = 5db239f187b8d6b2659987d39a97c4b2 ocaml(UnivNames) = dcd5d9919aeade172892a4247c0f1dda ocaml(UnivProblem) = 26da851c256aeb11754821426302f718 ocaml(UnivSubst) = 6241181b2bea65d44129b2ed18b32db8 ocaml(Unix) = 868346220c1cf1283db920a0b40698e5 ocaml(UserWarn) = 96e27fde0fc1a3e843be3048edd15dd8 ocaml(Util) = 856b910a5158827691cfde876269bf7b ocaml(Values) = bca8b87a03f8fb20a7346bbb331321f8 ocaml(Vars) = a328056e88bb9bdee31276cd43156b61 ocaml(Vernacexpr) = 29ce57c6f9ff2c4c1c0973a2daa25a78 ocaml(Vernacextend) = 15d057e4e3276603347134c7443d17a3 ocaml(Vernacstate) = b3820de49ec5b1066a91c52c6786f401 ocaml(Vernactypes) = d6f2549534bc85630fac698d64a59cf4 ocaml(Vmbytecodes) = 120de1872ffc1ad4a7fb554282177980 ocaml(Vmemitcodes) = cfd0d4b22ae0cfe8c37beb2f5fa1a23d ocaml(Vmlibrary) = 407dd49d6430f77772d5d04e5ec2b440 ocaml(Vmvalues) = 16c53c235356e18df60ddf1fbd08d40c ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.5-6.fc42.riscv64
Provides: gappalib-coq-source = 1.5.5-6.fc42 gappalib-coq-source(riscv-64) = 1.5.5-6.fc42
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-6.fc42.riscv64
Provides: gappalib-coq-debugsource = 1.5.5-6.fc42 gappalib-coq-debugsource(riscv-64) = 1.5.5-6.fc42
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-6.fc42.riscv64
Provides: debuginfo(build-id) = e513e83dd7ad27937bdb42894e5d20cb9cf48fb1 gappalib-coq-debuginfo = 1.5.5-6.fc42 gappalib-coq-debuginfo(riscv-64) = 1.5.5-6.fc42
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-6.fc42
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-6.fc42.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-6.fc42.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.5-6.fc42.riscv64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-6.fc42.riscv64.rpm
Child return code was: 0