Mock Version: 3.1
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1660136835.745039/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 0x7f5031727250>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.nte9yqrf:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=FalseprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.nte9yqrf:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'd202ea4081284a3da35e6333be457a86', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1660136835.745039/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.nte9yqrf:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs  --target x86_64 --nodeps /builddir/build/SPECS/flocq.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1658361600
Wrote: /builddir/build/SRPMS/flocq-3.4.3-4.fc37.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/flocq.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1660136835.745039/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 0x7f5031727250>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.nte9yqrf:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=FalseprintOutput=True)
Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.nte9yqrf:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '93806a6eeeed41e6941bc2eafb518919', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1660136835.745039/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.nte9yqrf:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/flocq.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1658361600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.w6pSMN
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/flocq-3.4.3.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's,\(--coqlib \)[^[:blank:]]*,\1/usr/lib64/ocaml/coq,' Remakefile.in
+ sed -i 's/@COQC@.* -R src Flocq/& -native-compiler yes/' 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.FQx1JL
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ '[' -f /usr/lib/rpm/generate-rpm-note.sh ']'
+ /usr/lib/rpm/generate-rpm-note.sh flocq 3.4.3-4.fc37 x86_64
+ cd flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ ./configure
checking for coqc... /usr/bin/coqc
checking Coq version... 8.15.2
checking for coqdep... /usr/bin/coqdep
checking for coqdoc... /usr/bin/coqdoc
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 g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
configure: building remake...
/usr/bin/ld: /tmp/cc2f7nGH.o: in function `main':
remake.cpp:(.text.startup+0xb13): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating Remakefile
config.status: creating src/Version.v
config.status: creating src/IEEE754/SpecFloatCompat.v
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j2 all doc
Building src/Version.vo
Building src/Core/Raux.vo
/usr/bin/coqdep -R src Flocq src/Version.v | ./remake -r src/Version.vo
/usr/bin/coqdep -R src Flocq src/Core/Raux.v | ./remake -r src/Core/Raux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Version.v
Building src/Core/Zaux.vo
/usr/bin/coqdep -R src Flocq src/Core/Zaux.v | ./remake -r src/Core/Zaux.vo
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Building src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/SpecFloatCompat.v | ./remake -r src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/SpecFloatCompat.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Version.vo
Building src/Core/Defs.vo
/usr/bin/coqdep -R src Flocq src/Core/Defs.v | ./remake -r src/Core/Defs.vo
Building src/Core/Digits.vo
/usr/bin/coqdep -R src Flocq src/Core/Digits.v | ./remake -r src/Core/Digits.vo
Building src/Core/Float_prop.vo
/usr/bin/coqdep -R src Flocq src/Core/Float_prop.v | ./remake -r src/Core/Float_prop.vo
Finished src/IEEE754/SpecFloatCompat.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Zaux.v
Building src/Core/FIX.vo
/usr/bin/coqdep -R src Flocq src/Core/FIX.v | ./remake -r src/Core/FIX.vo
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Building src/Core/Generic_fmt.vo
/usr/bin/coqdep -R src Flocq src/Core/Generic_fmt.v | ./remake -r src/Core/Generic_fmt.vo
Building src/Core/Round_pred.vo
/usr/bin/coqdep -R src Flocq src/Core/Round_pred.v | ./remake -r src/Core/Round_pred.vo
Building src/Core/Round_NE.vo
/usr/bin/coqdep -R src Flocq src/Core/Round_NE.v | ./remake -r src/Core/Round_NE.vo
Building src/Core/Ulp.vo
/usr/bin/coqdep -R src Flocq src/Core/Ulp.v | ./remake -r src/Core/Ulp.vo
Building src/Core/FLT.vo
/usr/bin/coqdep -R src Flocq src/Core/FLT.v | ./remake -r src/Core/FLT.vo
Building src/Core/FLX.vo
/usr/bin/coqdep -R src Flocq src/Core/FLX.v | ./remake -r src/Core/FLX.vo
Building src/Core/FTZ.vo
/usr/bin/coqdep -R src Flocq src/Core/FTZ.v | ./remake -r src/Core/FTZ.vo
Building src/Core/Core.vo
/usr/bin/coqdep -R src Flocq src/Core/Core.v | ./remake -r src/Core/Core.vo
Building src/Calc/Bracket.vo
/usr/bin/coqdep -R src Flocq src/Calc/Bracket.v | ./remake -r src/Calc/Bracket.vo
Building src/Calc/Div.vo
/usr/bin/coqdep -R src Flocq src/Calc/Div.v | ./remake -r src/Calc/Div.vo
Building src/Calc/Operations.vo
/usr/bin/coqdep -R src Flocq src/Calc/Operations.v | ./remake -r src/Calc/Operations.vo
Building src/Calc/Round.vo
/usr/bin/coqdep -R src Flocq src/Calc/Round.v | ./remake -r src/Calc/Round.vo
Building src/Calc/Sqrt.vo
/usr/bin/coqdep -R src Flocq src/Calc/Sqrt.v | ./remake -r src/Calc/Sqrt.vo
Building src/Prop/Div_sqrt_error.vo
/usr/bin/coqdep -R src Flocq src/Prop/Div_sqrt_error.v | ./remake -r src/Prop/Div_sqrt_error.vo
Building src/Prop/Mult_error.vo
/usr/bin/coqdep -R src Flocq src/Prop/Mult_error.v | ./remake -r src/Prop/Mult_error.vo
Building src/Prop/Plus_error.vo
/usr/bin/coqdep -R src Flocq src/Prop/Plus_error.v | ./remake -r src/Prop/Plus_error.vo
Finished src/Core/Zaux.vo
Building src/Prop/Relative.vo
/usr/bin/coqdep -R src Flocq src/Prop/Relative.v | ./remake -r src/Prop/Relative.vo
Building src/Prop/Sterbenz.vo
/usr/bin/coqdep -R src Flocq src/Prop/Sterbenz.v | ./remake -r src/Prop/Sterbenz.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Digits.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Raux.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Raux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Defs.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Digits.vo
Building src/Prop/Round_odd.vo
/usr/bin/coqdep -R src Flocq src/Prop/Round_odd.v | ./remake -r src/Prop/Round_odd.vo
Building src/Prop/Double_rounding.vo
/usr/bin/coqdep -R src Flocq src/Prop/Double_rounding.v | ./remake -r src/Prop/Double_rounding.vo
Building src/IEEE754/PrimFloat.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/PrimFloat.v | ./remake -r src/IEEE754/PrimFloat.vo
Building src/IEEE754/BinarySingleNaN.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/BinarySingleNaN.v | ./remake -r src/IEEE754/BinarySingleNaN.vo
Finished src/Core/Defs.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Round_pred.v
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Float_prop.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Float_prop.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Operations.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Round_pred.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Bracket.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Calc/Operations.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Generic_fmt.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Calc/Bracket.vo
Building src/IEEE754/Binary.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/Binary.v | ./remake -r src/IEEE754/Binary.vo
Building src/IEEE754/Bits.vo
/usr/bin/coqdep -R src Flocq src/IEEE754/Bits.v | ./remake -r src/IEEE754/Bits.vo
Building src/Pff/Pff.vo
/usr/bin/coqdep -R src Flocq src/Pff/Pff.v | ./remake -r src/Pff/Pff.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Generic_fmt.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Sterbenz.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Sterbenz.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Sqrt.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Calc/Sqrt.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Div.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/Pff/Pff.v", line 1088, characters 0-30:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
Finished src/Calc/Div.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Ulp.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/Pff/Pff.v", line 1293, characters 0-16:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
Finished src/Core/Ulp.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Round_NE.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Round_NE.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FIX.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/FIX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FLX.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/FLX.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FTZ.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/FTZ.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/FLT.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/FLT.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Double_rounding.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Double_rounding.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Core/Core.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Core/Core.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Round_odd.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Round_odd.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Relative.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Relative.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Plus_error.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Plus_error.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Mult_error.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Mult_error.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Prop/Div_sqrt_error.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Prop/Div_sqrt_error.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Calc/Round.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/Calc/Round.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/Binary.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/IEEE754/Binary.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/Bits.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/IEEE754/Bits.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/BinarySingleNaN.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
Finished src/IEEE754/BinarySingleNaN.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/IEEE754/PrimFloat.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/IEEE754/PrimFloat.v", line 257, characters 2-6:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 267, characters 10-15:
Warning: Notation ldexp is deprecated since 8.15.0. Use Z.ldexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 274, characters 8-18:
Warning: Notation ldexp_spec is deprecated since 8.15.0.
Use Z_ldexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 274, characters 8-18:
Warning: Notation ldexp_spec is deprecated since 8.15.0.
Use Z_ldexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 274, characters 8-18:
Warning: Notation ldexp_spec is deprecated since 8.15.0.
Use Z_ldexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 284, characters 55-59:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 301, characters 16-21:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 305, characters 12-22:
Warning: Notation frexp_spec is deprecated since 8.15.0.
Use Z_frexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 305, characters 12-22:
Warning: Notation frexp_spec is deprecated since 8.15.0.
Use Z_frexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 306, characters 9-14:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 324, characters 14-18:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 328, characters 0-13:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 328, characters 0-13:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 360, characters 5-10:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 360, characters 5-10:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 377, characters 14-24:
Warning: Notation frexp_spec is deprecated since 8.15.0.
Use Z_frexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 377, characters 14-24:
Warning: Notation frexp_spec is deprecated since 8.15.0.
Use Z_frexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 379, characters 7-12:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 379, characters 7-12:
Warning: Notation frexp is deprecated since 8.15.0. Use Z.frexp instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 385, characters 47-57:
Warning: Notation ldexp_spec is deprecated since 8.15.0.
Use Z_ldexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 385, characters 47-57:
Warning: Notation ldexp_spec is deprecated since 8.15.0.
Use Z_ldexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 385, characters 47-57:
Warning: Notation ldexp_spec is deprecated since 8.15.0.
Use Z_ldexp_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 509, characters 10-18:
Warning: Notation of_int63 is deprecated since 8.14. Use of_uint63 instead.
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 510, characters 51-55:
Warning: Notation to_Z is deprecated since 8.14. Use Uint63.to_Z instead
[deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 515, characters 8-21:
Warning: Notation of_int63_spec is deprecated since 8.14.
Use of_uint63_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 515, characters 8-21:
Warning: Notation of_int63_spec is deprecated since 8.14.
Use of_uint63_spec instead. [deprecated-syntactic-definition,deprecated]
File "./src/IEEE754/PrimFloat.v", line 515, characters 8-21:
Warning: Notation of_int63_spec is deprecated since 8.14.
Use of_uint63_spec instead. [deprecated-syntactic-definition,deprecated]
Finished src/IEEE754/PrimFloat.vo
Building src/Pff/Pff2FlocqAux.vo
/usr/bin/coqdep -R src Flocq src/Pff/Pff2FlocqAux.v | ./remake -r src/Pff/Pff2FlocqAux.vo
Building src/Pff/Pff2Flocq.vo
/usr/bin/coqdep -R src Flocq src/Pff/Pff2Flocq.v | ./remake -r src/Pff/Pff2Flocq.vo
Finished src/Pff/Pff.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff2FlocqAux.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/Pff/Pff2FlocqAux.v", line 23, characters 0-24:
Warning:
New coercion path [BinInt.Z.of_nat; Rdefinitions.IZR] : nat >-> Rdefinitions.RbaseSymbolsImpl.R is ambiguous with existing 
[Raxioms.INR] : nat >-> Rdefinitions.RbaseSymbolsImpl.R.
[ambiguous-paths,typechecker]
Finished src/Pff/Pff2FlocqAux.vo
/usr/bin/coqc  -R src Flocq -native-compiler yes src/Pff/Pff2Flocq.v
While loading initial state:
Warning: The native-compiler option is deprecated. To compile native files
ahead of time, use the coqnative binary instead.
[deprecated-native-compiler-option,deprecated]
File "./src/Pff/Pff2Flocq.v", line 23, characters 0-32:
Warning:
New coercion path [Z.of_nat; IZR] : nat >-> R is ambiguous with existing 
[INR] : nat >-> R. [ambiguous-paths,typechecker]
Finished src/Pff/Pff2Flocq.vo
Building all
Finished all
Building html/index.html
rm -rf html
mkdir -p html
/usr/bin/coqdoc -toc -interpolate -utf8 -html -g -R src Flocq -d html \
  --coqlib /usr/lib64/ocaml/coq \
  src/Version.v src/Core/Raux.v src/Core/Zaux.v src/Core/Defs.v src/Core/Digits.v src/Core/Float_prop.v src/Core/FIX.v src/Core/FLT.v src/Core/FLX.v src/Core/FTZ.v src/Core/Generic_fmt.v src/Core/Round_pred.v src/Core/Round_NE.v src/Core/Ulp.v src/Core/Core.v src/Calc/Bracket.v src/Calc/Div.v src/Calc/Operations.v src/Calc/Round.v src/Calc/Sqrt.v src/Prop/Div_sqrt_error.v src/Prop/Mult_error.v src/Prop/Plus_error.v src/Prop/Relative.v src/Prop/Sterbenz.v src/Prop/Round_odd.v src/Prop/Double_rounding.v src/IEEE754/PrimFloat.v src/IEEE754/SpecFloatCompat.v src/IEEE754/BinarySingleNaN.v src/IEEE754/Binary.v src/IEEE754/Bits.v src/Pff/Pff.v src/Pff/Pff2FlocqAux.v src/Pff/Pff2Flocq.v
for f in html/*.html; do
  sed -e 's;<a href="index.html">Index</a>;Go back to the <a href="../index.html">Main page</a> or <a href="index.html">Index</a>.;' -i $f
done
Finished html/index.html
Building doc
Finished doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.oWkTVB
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64
++ dirname /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64  -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ sed -i s,/usr/lib64,/builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64, Remakefile
+ remake install
Building install
Finished install
+ cp -p src/Version.v /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Flocq
+ cp -p src/Calc/Bracket.v src/Calc/Div.v src/Calc/Operations.v src/Calc/Round.v src/Calc/Sqrt.v /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc
+ cp -p src/Core/Core.v src/Core/Defs.v src/Core/Digits.v src/Core/FIX.v src/Core/FLT.v src/Core/FLX.v src/Core/FTZ.v src/Core/Float_prop.v src/Core/Generic_fmt.v src/Core/Raux.v src/Core/Round_NE.v src/Core/Round_pred.v src/Core/Ulp.v src/Core/Zaux.v /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Flocq/Core
+ cp -p src/IEEE754/Binary.v src/IEEE754/BinarySingleNaN.v src/IEEE754/Bits.v src/IEEE754/PrimFloat.v src/IEEE754/SpecFloatCompat.v src/IEEE754/SpecFloatCopy.v /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754
+ cp -p src/Pff/Pff.v src/Pff/Pff2Flocq.v src/Pff/Pff2FlocqAux.v /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff
+ cp -p src/Prop/Div_sqrt_error.v src/Prop/Double_rounding.v src/Prop/Mult_error.v src/Prop/Plus_error.v src/Prop/Relative.v src/Prop/Round_odd.v src/Prop/Sterbenz.v /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: flocq-3.4.3-4.fc37.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FG9jlU
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ DOCDIR=/builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/doc/flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/doc/flocq
+ cp -pr AUTHORS /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/doc/flocq
+ cp -pr NEWS.md /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/doc/flocq
+ cp -pr README.md /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/doc/flocq
+ cp -pr html /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/doc/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.R61Ff9
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ LICENSEDIR=/builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/licenses/flocq
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/licenses/flocq
+ cp -pr COPYING /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64/usr/share/licenses/flocq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: flocq = 3.4.3-4.fc37 flocq(x86-64) = 3.4.3-4.fc37 ocaml(NFlocq_Calc_Bracket) = 0209642fb488692946d4d4674f4e3363 ocaml(NFlocq_Calc_Div) = 489b6631ebf4bb1e8d0cf1e4204b56bd ocaml(NFlocq_Calc_Operations) = 53187ed6943feeb63901871f9ded6bab ocaml(NFlocq_Calc_Round) = c84dcfb27c326621e03ab544086f5081 ocaml(NFlocq_Calc_Sqrt) = e83f5a27d62892af73af4ab6e774df2a ocaml(NFlocq_Core_Core) = 4207ece9bf8105a341a745a2182c8f5c ocaml(NFlocq_Core_Defs) = f29782a4084bf3cf925b30d745073397 ocaml(NFlocq_Core_Digits) = a3d142b5d6782aa79c877d45563799f1 ocaml(NFlocq_Core_FIX) = 79671a651221d5dac416577938bde0ce ocaml(NFlocq_Core_FLT) = 2e8767d0eb6e3dcdd411db84b10844c4 ocaml(NFlocq_Core_FLX) = 997ce65b4046a8f492553bc7d5005a2c ocaml(NFlocq_Core_FTZ) = 1a69819468ed1a29be2b7176c84f9c52 ocaml(NFlocq_Core_Float_prop) = 60fab767b8f863d6212c229a5c49338c ocaml(NFlocq_Core_Generic_fmt) = 31073667f7776017c35597ed290bae3e ocaml(NFlocq_Core_Raux) = 647a08bfc3a6dbb02b5b998b5f761429 ocaml(NFlocq_Core_Round_NE) = 77cf74628a2d27278a434bd44ebdad9b ocaml(NFlocq_Core_Round_pred) = 6f1d7943b771aea67bbc372ae0c2f9c3 ocaml(NFlocq_Core_Ulp) = d55cab58fc68ac4aacd323904d4facdc ocaml(NFlocq_Core_Zaux) = 860ab8acef93c43625f79b905976571c ocaml(NFlocq_IEEE754_Binary) = 10b4815006744e03481184edcb5f2d4f ocaml(NFlocq_IEEE754_BinarySingleNaN) = acdbf663988ddd3e7eaef34731301771 ocaml(NFlocq_IEEE754_Bits) = b7bd8d5db272d4d0f46d2bd10ecc02d7 ocaml(NFlocq_IEEE754_PrimFloat) = 3d93d122b85a3f66441b9e627aaefe9c ocaml(NFlocq_IEEE754_SpecFloatCompat) = 77446192ccc775c2f3b0f0ae7b3128f3 ocaml(NFlocq_Pff_Pff) = 3d61f87c6e6d562d251718d733df275d ocaml(NFlocq_Pff_Pff2Flocq) = 3ccd9367fa78c7bc6cd2d0d1a5ba030f ocaml(NFlocq_Pff_Pff2FlocqAux) = 0c66cdfd058ae2af9a48cc2f24691a3b ocaml(NFlocq_Prop_Div_sqrt_error) = 371fac8c150dcd0b03e9e120c6cf0a4f ocaml(NFlocq_Prop_Double_rounding) = df749083c1ca55c8598075d60b55d350 ocaml(NFlocq_Prop_Mult_error) = 8b970eebefe22895c186bebb308fc967 ocaml(NFlocq_Prop_Plus_error) = f00a6cd3efb46d1b1662ca427b74bec3 ocaml(NFlocq_Prop_Relative) = 81c5aed0e6bd71628539cb83f841725c ocaml(NFlocq_Prop_Round_odd) = 77dd6e892a32b83c8652ffd848c5b990 ocaml(NFlocq_Prop_Sterbenz) = 08280cffaa5db00cbce8c4b7cd2e0e37 ocaml(NFlocq_Version) = 3f155670058a50a94de0b8439d15c6b8 ocamlx(NFlocq_Calc_Bracket) = b46a427b3b709879295fe9a10c203046 ocamlx(NFlocq_Calc_Div) = 5cfdbb9a6ebf6e97a7d954347016180a ocamlx(NFlocq_Calc_Operations) = c99024716c9fedcd0412465579a16463 ocamlx(NFlocq_Calc_Round) = 760c2d664c55c130605875380692f09f ocamlx(NFlocq_Calc_Sqrt) = 5f36bb66ed496c886db8df67d9ae6546 ocamlx(NFlocq_Core_Core) = 1242b6c553db5f3951218254c0758e5d ocamlx(NFlocq_Core_Defs) = 038e47e9083cb96184e1b946fe34fc32 ocamlx(NFlocq_Core_Digits) = 2aa5aba6283ddf1b352405ef3730fdc1 ocamlx(NFlocq_Core_FIX) = 7f9ec823dd6c80f6749cf1d6c7f173d2 ocamlx(NFlocq_Core_FLT) = f2e75d99c84308cc24354ea01127e8e0 ocamlx(NFlocq_Core_FLX) = fd7bd5ee8e31ed139bdf916c8a504266 ocamlx(NFlocq_Core_FTZ) = 32192b8dfdfec8cf73405b57d75c932b ocamlx(NFlocq_Core_Float_prop) = c52d58dd292b116b49a467374ecf5083 ocamlx(NFlocq_Core_Generic_fmt) = 286b616df9eb517bf0a7a706373412fb ocamlx(NFlocq_Core_Raux) = cb4b4be1a908c7caa141e94e191dcf2b ocamlx(NFlocq_Core_Round_NE) = 080a38c3252207156deaa80596baf283 ocamlx(NFlocq_Core_Round_pred) = fdbae0c826a6d3839f1795a0360d578b ocamlx(NFlocq_Core_Ulp) = c3065510a32029a575771afa92de6fb0 ocamlx(NFlocq_Core_Zaux) = 951959ce8a9a122fb829968a737b8b5c ocamlx(NFlocq_IEEE754_Binary) = 428ec95d76bf8b4e11ffbc7495bd2afa ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 465646636261394eaa95412edb6f0f53 ocamlx(NFlocq_IEEE754_Bits) = 568cf6d9958fe0dc41af833904ed6de2 ocamlx(NFlocq_IEEE754_PrimFloat) = cfdc066129a81832d8533ed5411234d3 ocamlx(NFlocq_IEEE754_SpecFloatCompat) = 0e9ea3156ce73269434cab101aad1db7 ocamlx(NFlocq_Pff_Pff) = 802b93dbd8ed23c05f081b02a88bb21b ocamlx(NFlocq_Pff_Pff2Flocq) = a896b9a226fe4c42da574aa8240ef22d ocamlx(NFlocq_Pff_Pff2FlocqAux) = 0a16c068fdbf1cca77533ccdcb5125e1 ocamlx(NFlocq_Prop_Div_sqrt_error) = 99cd68dac0e9033b971040239a51a41c ocamlx(NFlocq_Prop_Double_rounding) = 1e33a34b7ddc3518e7bff4305b03d088 ocamlx(NFlocq_Prop_Mult_error) = a8165f29fc995817ab25b8011cafe37e ocamlx(NFlocq_Prop_Plus_error) = 21f715a6dfbbf3d9c9247fcaf7443c47 ocamlx(NFlocq_Prop_Relative) = f9768228d0eefdb405f5b852e1f0bb81 ocamlx(NFlocq_Prop_Round_odd) = eb8dcb25f6c7fbed0eaf0c2dcbc1b2cf ocamlx(NFlocq_Prop_Sterbenz) = 8504eee99d16e2b80d7ca45884333320 ocamlx(NFlocq_Version) = f6ad915d7ee515dd9cef7a9f8f298bfb
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = c1314cd3ea1de8c8746914e0f4691e74 ocaml(CArray) = 3bf67d1381824155797389de8a32d728 ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a ocaml(CDebug) = b72b83085f3c46f567d002d123bb619b ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CList) = bab846d6f53060efa37176a0d3d76d37 ocaml(CMap) = 7a44aa76b26892234e732d0289be15e9 ocaml(CPrimitives) = 88e0b886ab990706df61aef4c5b4ef5a ocaml(CSet) = 4187a1c51e56b2682f8656ef02963c85 ocaml(CSig) = c104547a207c980e9be6e81718e23a75 ocaml(CString) = 399425b1f5494799bff859f71eea4fd4 ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(Constr) = c688d9ddf0504f85644e6b3deb1d21ec ocaml(Context) = 350928460a591457321e4daa98829e49 ocaml(Conv_oracle) = 71a115a3bec9d54c9b545041d005b72c ocaml(Declarations) = 4db4b3531ecaea33d5ca2a9f73d77457 ocaml(Environ) = 8c271c035c1c44fb1646bb8cb264a21c ocaml(Esubst) = d8e277a28061142de10c031df5913209 ocaml(Evar) = 0854859348f50f18a5a90815797fe7c5 ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922 ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e ocaml(Hashcons) = 5e43ec3f95876889b17c4ceb7e4d070f ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Int) = 08fe1547e4ba09512f85aaa242454fbe ocaml(Loc) = 80ce75a90b78cbc722513727102cad47 ocaml(Mod_subst) = 4a1ce368a85fe2efce8b58b0074e49ca ocaml(NCoq_Arith_Factorial) = 8258a7322625beae30fd0d4c0c671a49 ocaml(NCoq_Arith_PeanoNat) = fa55a8eeb7f34b8492216c51c4695291 ocaml(NCoq_Bool_Bool) = 9ce8371ddab3c0bbca74a3e4089e3a31 ocaml(NCoq_Bool_Sumbool) = 5b258dfba79f0d94cbb566638cf6c99e ocaml(NCoq_Classes_Morphisms) = 3d50172f8dbc27ae1d72c48404d25d71 ocaml(NCoq_Classes_Morphisms_Prop) = 9c8efcebfbaa6ddce702919fadacce32 ocaml(NCoq_Classes_RelationClasses) = 5ce7e6392abd9f623d1f4f3a620fb66e ocaml(NCoq_Floats_FloatAxioms) = 4a8bd9ff9356bbebac4d00a4925f5e65 ocaml(NCoq_Floats_FloatClass) = 2e2f1fda174a9625d26e3772df6d1cc4 ocaml(NCoq_Floats_FloatOps) = 00177f59763d3d85d16363868f62ba7c ocaml(NCoq_Floats_PrimFloat) = b6efc66729a8125709a3e3d1007827da ocaml(NCoq_Floats_SpecFloat) = 22a1758be520a88039c1b94603527110 ocaml(NCoq_Init_Datatypes) = 52fdc3d3a6a13c19e8d681e2ae340d4f ocaml(NCoq_Init_Decimal) = 26f1c864f0e31a805faeceb8010149bd ocaml(NCoq_Init_Hexadecimal) = 39138a2b8ab8440e054c47e10b6d816e ocaml(NCoq_Init_Logic) = 98d9af341c1773cfb38cf944dfc046b5 ocaml(NCoq_Init_Nat) = e1a317f92aa20cbf5781011d44a67fdc ocaml(NCoq_Init_Number) = 5e95e40491568baa64dacd7edfe5b2a5 ocaml(NCoq_Init_Peano) = 9772c55b64df4447d271fe833eccf1b0 ocaml(NCoq_Init_Specif) = 837610a43c8b2cec21eacbe764aeeb57 ocaml(NCoq_Init_Wf) = dddffd42c324c8079ddf951cc9986abd ocaml(NCoq_Lists_List) = 103387090353765d88c5b5548c050c62 ocaml(NCoq_NArith_BinNat) = e888b538aa866bbcfb27623d8842765f ocaml(NCoq_Numbers_BinNums) = 286ea9be5215f57f24c06e68d0132dbd ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) = aa264a99167290ad39d02a66045c50bc ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) = 29dd9f3e45a4ed368d0dcfa15b6a18df ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) = be26458b88eb32fa8aca08b1008ced06 ocaml(NCoq_PArith_BinPos) = a42572a8932d2e9b5132974cb4a91c6a ocaml(NCoq_Program_Basics) = 092d69e6c55070af211d44af13fe9888 ocaml(NCoq_QArith_QArith_base) = a8f233895dafa2aa095e642d4772ee72 ocaml(NCoq_QArith_Qabs) = 30ba0e9138c01004fef9a68ca2193d82 ocaml(NCoq_QArith_Qreduction) = 326ac5ae7aee104835d51de8fd6912b3 ocaml(NCoq_Reals_Alembert) = 38d4d8ffb0918ad431ddb3ea8c170746 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 350b1687ba46909b8720ebaeb6aca493 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 21f0544e14c83c5bbf691fc17b7af7c6 ocaml(NCoq_Reals_Cauchy_QExtra) = bedb704b72c8b1373c3845e2a1cae5b9 ocaml(NCoq_Reals_RIneq) = 59af754605d0c6a6da05ae43365d16ce ocaml(NCoq_Reals_R_sqrt) = bd2222d86617060347cb6b23cd49c9cc ocaml(NCoq_Reals_Raxioms) = b7e8340a30526fe55df3fcee33e77dfe ocaml(NCoq_Reals_Rbasic_fun) = 6a508787e9ac6d17c97ba53480d8a29f ocaml(NCoq_Reals_Rdefinitions) = a0c5bf85c7b087547f31237e1c756152 ocaml(NCoq_Reals_Rfunctions) = 77e1e8c6f5097449b9eda57555d3bc06 ocaml(NCoq_Reals_Rpow_def) = 295d92df0ec7961b26f449e19b148421 ocaml(NCoq_Reals_Rpower) = 3eb8a86501c4c08688669150ff1581d0 ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Reals_Rtrigo_def) = c54e3bb7304f8380a7fafc1de5576d1d ocaml(NCoq_Reals_Rtrigo_fun) = e9ad16a2d960d218167f6e05fce86529 ocaml(NCoq_Relations_Relation_Definitions) = aeca52255d896d6791c60128493ab865 ocaml(NCoq_Structures_OrdersTac) = 99f7d1b8bd85183d22d5cf545b874ff6 ocaml(NCoq_ZArith_BinInt) = fbfe5cbc88d4dd5ac715871e6984c377 ocaml(NCoq_ZArith_BinIntDef) = ccdf14850f0a9b89fa24d3f21df88406 ocaml(NCoq_ZArith_ZArith_dec) = ef847520523b1a6d098ad9333e422c53 ocaml(NCoq_ZArith_Zbool) = 979222638a225c30d979a7d268a0b03f ocaml(NCoq_ZArith_Zeven) = 2df517ab801ca36badbfd63535a7a55c ocaml(NCoq_ZArith_Znat) = 17c90192d5eadcf63505dc09864633ec ocaml(NCoq_ZArith_Zorder) = 629dbf2bb021c424fb71bbeb0d6fc421 ocaml(NCoq_ZArith_Zpower) = 686a6098328f924c559252b642ba516c ocaml(NCoq_setoid_ring_Ring_theory) = 310a96873536648d99a4c555a00c1ed1 ocaml(NFlocq_Calc_Bracket) = 0209642fb488692946d4d4674f4e3363 ocaml(NFlocq_Calc_Operations) = 53187ed6943feeb63901871f9ded6bab ocaml(NFlocq_Calc_Round) = c84dcfb27c326621e03ab544086f5081 ocaml(NFlocq_Core_Defs) = f29782a4084bf3cf925b30d745073397 ocaml(NFlocq_Core_Digits) = a3d142b5d6782aa79c877d45563799f1 ocaml(NFlocq_Core_FLT) = 2e8767d0eb6e3dcdd411db84b10844c4 ocaml(NFlocq_Core_Generic_fmt) = 31073667f7776017c35597ed290bae3e ocaml(NFlocq_Core_Raux) = 647a08bfc3a6dbb02b5b998b5f761429 ocaml(NFlocq_Core_Ulp) = d55cab58fc68ac4aacd323904d4facdc ocaml(NFlocq_Core_Zaux) = 860ab8acef93c43625f79b905976571c ocaml(NFlocq_IEEE754_Binary) = 10b4815006744e03481184edcb5f2d4f ocaml(NFlocq_IEEE754_BinarySingleNaN) = acdbf663988ddd3e7eaef34731301771 ocaml(NFlocq_Pff_Pff) = 3d61f87c6e6d562d251718d733df275d ocaml(Names) = 1c7420578b073c10e0de87a37b5bb38f ocaml(Nativecode) = b53e67c8ba22ba649e4c07445e85fe51 ocaml(Nativeconv) = c1341a56bb8189d27c080c0a97436162 ocaml(Nativelambda) = cebd8c668cc6a0bec742a0b68f0ce3fe ocaml(Nativelib) = 83cd77f64a52e51266bd8337ed4cf3b5 ocaml(Nativevalues) = 3be2dcd304360a5ee837dc45d4f0b4c1 ocaml(Opaqueproof) = 24dcfc8eddd0dff8dbeb7b981730995d ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866 ocaml(Pp) = 33d83b905146c607db694dbc982483c2 ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Range) = 346d147227354e938de6b932d04d6b3d ocaml(Reduction) = dd86cad629ddb122b17c986624f89e25 ocaml(Retroknowledge) = 5553b66e3bdd517f2d4a516ca493e82c ocaml(Rtree) = 41a6536b9cf92db56fd9795c590e4643 ocaml(Sorts) = ea29f10a2bedf5820b324d398a1984c0 ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Term) = 09508b642011df5433d671b341114991 ocaml(TransparentState) = e46b8b496b56c15d8ec5ae5c2e27ac23 ocaml(UGraph) = 2555eb21cdd8c21622e6dd8819fbe14c ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b ocaml(Univ) = 0b0cb5dc65f40e529b323974d58b44e8 ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Util) = 5e3e907aa9cc4cfba2f3c9d37a430249 ocaml(Vmbytecodes) = cb5ed1f2eba02b22b56f18d197f0a080 ocaml(Vmemitcodes) = 9efb765a0fd4640ac72813e0e425f516 ocaml(Vmvalues) = b2cc3bbf98d6f30c53faae186293e500 ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b ocamlx(NCoq_Bool_Bool) = 768297d3b28edca72d0a703f56ccbb58 ocamlx(NCoq_Floats_FloatAxioms) = 7c8692844001e2e800f17a24834f87e0 ocamlx(NCoq_Floats_FloatOps) = b393fa5420429cfa1c6c05c858228310 ocamlx(NCoq_Floats_SpecFloat) = 8375f967bb34ff0161b9b7e952397de2 ocamlx(NCoq_Init_Datatypes) = fb8866e5cb13e20e984f54dab3f04986 ocamlx(NCoq_Init_Logic) = f5fbf31bda90b5005a192bb6bc7cf5ae ocamlx(NCoq_Init_Nat) = d9d6275db2df869b00a6c3fc00e68575 ocamlx(NCoq_Init_Specif) = ccd9c66c5e62b8fadd294ae3b87424af ocamlx(NCoq_Lists_List) = 322d7bebb6d193eb53e4878d203ac2cf ocamlx(NCoq_NArith_BinNat) = 6912952e734d037f92d2ea699dc42a28 ocamlx(NCoq_Numbers_BinNums) = acc75a85065bfab05cbd25329f5ec188 ocamlx(NCoq_PArith_BinPos) = 260786e2c20499f59072cd8ce9770d63 ocamlx(NCoq_Reals_RIneq) = 1f998aa9d4a2f73514a292a973de53fb ocamlx(NCoq_Reals_R_sqrt) = b2b8bc4e4f23a8b71fa99ca95063ee66 ocamlx(NCoq_Reals_Rbasic_fun) = a83c13bdb8731153c71e5d853d750811 ocamlx(NCoq_Reals_Rdefinitions) = d44726fd1f6d8c088c9f38b44f2ca246 ocamlx(NCoq_Reals_Rfunctions) = 2b8d44bc2b550c84ad33badb73fbd7c0 ocamlx(NCoq_Reals_Rpower) = 7567658d0916542113b7cddded254644 ocamlx(NCoq_ZArith_BinInt) = 3f48475309da921bc686a8deba09a8f3 ocamlx(NCoq_ZArith_BinIntDef) = 02ee817ec267b5607a08c8aa5b5d9b7d ocamlx(NCoq_ZArith_ZArith_dec) = e898c4da54bd7d3bcf5bbd086f1af335 ocamlx(NCoq_ZArith_Zbool) = a1c9cef87a63d8b6e92ee1a24c34fc7c ocamlx(NCoq_ZArith_Zorder) = a082e69523284464349cf3247d777c9d ocamlx(NCoq_ZArith_Zpower) = 51da356c8bfc64329fe14340a75e2edb ocamlx(NFlocq_Calc_Bracket) = b46a427b3b709879295fe9a10c203046 ocamlx(NFlocq_Calc_Operations) = c99024716c9fedcd0412465579a16463 ocamlx(NFlocq_Calc_Round) = 760c2d664c55c130605875380692f09f ocamlx(NFlocq_Core_Defs) = 038e47e9083cb96184e1b946fe34fc32 ocamlx(NFlocq_Core_Digits) = 2aa5aba6283ddf1b352405ef3730fdc1 ocamlx(NFlocq_Core_FLT) = f2e75d99c84308cc24354ea01127e8e0 ocamlx(NFlocq_Core_Generic_fmt) = 286b616df9eb517bf0a7a706373412fb ocamlx(NFlocq_Core_Raux) = cb4b4be1a908c7caa141e94e191dcf2b ocamlx(NFlocq_Core_Ulp) = c3065510a32029a575771afa92de6fb0 ocamlx(NFlocq_Core_Zaux) = 951959ce8a9a122fb829968a737b8b5c ocamlx(NFlocq_IEEE754_Binary) = 428ec95d76bf8b4e11ffbc7495bd2afa ocamlx(NFlocq_IEEE754_BinarySingleNaN) = 465646636261394eaa95412edb6f0f53 ocamlx(NFlocq_Pff_Pff) = 802b93dbd8ed23c05f081b02a88bb21b ocamlx(Nativecode) = 7a08d78c6dae1286c2efe733f5eef932 ocamlx(Nativevalues) = 7c7e8d35c66493685e51ba94e8c5177e rtld(GNU_HASH)
Processing files: flocq-source-3.4.3-4.fc37.x86_64
Provides: flocq-source = 3.4.3-4.fc37 flocq-source(x86-64) = 3.4.3-4.fc37
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64
Wrote: /builddir/build/RPMS/flocq-source-3.4.3-4.fc37.x86_64.rpm
Wrote: /builddir/build/RPMS/flocq-3.4.3-4.fc37.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.vadSLs
+ umask 022
+ cd /builddir/build/BUILD
+ cd flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/flocq-3.4.3-4.fc37.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.4QSU4J
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e flocq-flocq-3.4.3-088acf93bad22d2d9649f75495a2fe2d0a8cc31e.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0