Mock Version: 5.6 Mock Version: 5.6 Mock Version: 5.6 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'], chrootPath='/var/lib/mock/f42-build-865673-173376/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=992gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.8e8mcf7v:/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']unshare_net=TrueprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.8e8mcf7v:/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', 'c896264190a949a4b53ac2714b659b84', '-D', '/var/lib/mock/f42-build-865673-173376/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.8e8mcf7v:/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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1736380800 Wrote: /builddir/build/SRPMS/ocaml-ocplib-simplex-0.4.1-10.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/ocaml-ocplib-simplex.spec'], chrootPath='/var/lib/mock/f42-build-865673-173376/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=992gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.8e8mcf7v:/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']unshare_net=TrueprintOutput=False) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.8e8mcf7v:/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', 'e3d8d6369dec4c78ade12452639a3dee', '-D', '/var/lib/mock/f42-build-865673-173376/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.8e8mcf7v:/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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/ocaml-ocplib-simplex.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1736380800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.7FuExM + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + test -d /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/rm -rf /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Xmv3d4 + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + rm -rf ocplib-simplex-0.4.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/ocplib-simplex-0.4.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd ocplib-simplex-0.4.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-ocplib-simplex-tests.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-ocplib-simplex-destdir.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-ocplib-simplex-autoconf.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + autoconf + sed -i /OCAMLFIND_DESTDIR/d Makefile.in + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.58cEV3 + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 ocplib-simplex-0.4.1 + 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 + '[' x '!=' x ']' + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' ++ find . -name ltmain.sh ++ grep -q runstatedir=DIR ./configure ++ echo --runstatedir=/run + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info configure: WARNING: unrecognized options: --disable-dependency-tracking checking for ocamlc... ocamlc ocaml version is 5.3.0 ocaml library path is /usr/lib64/ocaml checking for ocamlfind... yes checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlopt.opt version... ok checking for ocamldep... ocamldep checking platform... configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-dependency-tracking + /usr/bin/make -O -j8 V=1 VERBOSE=1 opt cp src/extSigs.mli src/extSigs.ml cp src/coreSig.mli src/coreSig.ml ocamldep -I src src/*.ml* > .depend ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmx + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.zD0ggP + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + '[' /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT ++ dirname /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT + mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + mkdir /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 ocplib-simplex-0.4.1 + export OCAMLFIND_DESTDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + /usr/bin/make install DESTDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/usr/lib64 ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/version.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/result.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/rat2.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/polys.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/extSigs.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/coreSig.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/core.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/basic.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a Installed /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/META + rm -fr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/usr + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT /usr/lib64/ocaml + /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 0.4.1-10.fc42 --unique-debug-suffix -0.4.1-10.fc42.riscv64 --unique-debug-src-base ocaml-ocplib-simplex-0.4.1-10.fc42.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/ocaml-ocplib-simplex-0.4.1-10.fc42.riscv64 cpio: format.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/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a: replacing with normalized version Scanned 15 directories and 28 files, processed 1 inodes, 1 modified (1 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.XFWpSa + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-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 ocplib-simplex-0.4.1 + make local-tests ocamlc.opt -o standalone_minimal_local.byte -I src -I tests ocplibSimplex.cma nums.cma tests/standalone_minimal.ml ./standalone_minimal_local.byte 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem is unsat! reason: x+y<=-1, x>=0, y>=0 -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlopt.opt -o standalone_minimal_local.opt -I src -I tests ocplibSimplex.cmxa nums.cmxa tests/standalone_minimal.ml ./standalone_minimal_local.opt 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem is unsat! reason: x+y<=-1, x>=0, y>=0 -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlc.opt -o standalone_minimal_maximization_local.byte -I src -I tests ocplibSimplex.cma nums.cma tests/standalone_minimal_maximization.ml ./standalone_minimal_maximization_local.byte 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * x + (1) * y' ... has an upper bound: 10 (is_le = true)(reason: x+y<=10) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * y' ... has an upper bound: 7 (is_le = true)(reason: x+y<=10, x>=3) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (-1) * y' ... is unbounded -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlopt.opt -o standalone_minimal_maximization_local.opt -I src -I tests ocplibSimplex.cmxa nums.cmxa tests/standalone_minimal_maximization.ml ./standalone_minimal_maximization_local.opt 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * x + (1) * y' ... has an upper bound: 10 (is_le = true)(reason: x+y<=10) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * y' ... has an upper bound: 7 (is_le = true)(reason: x+y<=10, x>=3) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (-1) * y' ... is unbounded -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-ocplib-simplex-0.4.1-10.fc42.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FHgb11 + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + DOCDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + cp -pr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/README.md /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.sFMlNb + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + LICENSEDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + cp -pr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/LICENSE /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = ee49c002ecc2436fa836cdd8395ec713 ocaml-ocplib-simplex = 1:0.4.1-10.fc42 ocaml-ocplib-simplex(riscv-64) = 1:0.4.1-10.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b rtld(GNU_HASH) Processing files: ocaml-ocplib-simplex-devel-0.4.1-10.fc42.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.TxO50J + umask 022 + cd /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + DOCDIR=/builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + cp -pr /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/extra/simplex_invariants.txt /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = ee49c002ecc2436fa836cdd8395ec713 ocaml-ocplib-simplex-devel = 1:0.4.1-10.fc42 ocaml-ocplib-simplex-devel(riscv-64) = 1:0.4.1-10.fc42 ocamlx(OcplibSimplex) = c5cde12b63773059a27f69ceb9181c51 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2 ocamlx(CamlinternalLazy) = e09503f1928c92c5b9d62c3a764fa02c ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__Map) = 38bf69fbc5d75df3afdb0d36ac5f0a95 ocamlx(Stdlib__Set) = 7765aba929bac551d4330863158b8946 Processing files: ocaml-ocplib-simplex-debugsource-0.4.1-10.fc42.riscv64 Provides: ocaml-ocplib-simplex-debugsource = 1:0.4.1-10.fc42 ocaml-ocplib-simplex-debugsource(riscv-64) = 1:0.4.1-10.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-ocplib-simplex-debuginfo-0.4.1-10.fc42.riscv64 Provides: debuginfo(build-id) = 5194f5c57ce87e3281d868f3ee82fc5dd1f4196b ocaml-ocplib-simplex-debuginfo = 1:0.4.1-10.fc42 ocaml-ocplib-simplex-debuginfo(riscv-64) = 1:0.4.1-10.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-ocplib-simplex-debugsource(riscv-64) = 1:0.4.1-10.fc42 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debugsource-0.4.1-10.fc42.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-debuginfo-0.4.1-10.fc42.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-0.4.1-10.fc42.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-ocplib-simplex-devel-0.4.1-10.fc42.riscv64.rpm Child return code was: 0