Mock Version: 5.0
Mock Version: 5.0
Mock Version: 5.0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f40-build-793243-138788/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 0x3f7933bd90>timeout=604800uid=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.lqm73nk2:/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.lqm73nk2:/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', '67a6f9df6559486f8984a9302ee2c6aa', '-D', '/var/lib/mock/f40-build-793243-138788/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.lqm73nk2:/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/alt-ergo.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=1706832000
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-17.fc40.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/alt-ergo.spec'], chrootPath='/var/lib/mock/f40-build-793243-138788/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 0x3f7933bd90>timeout=604800uid=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.lqm73nk2:/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.lqm73nk2:/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', '7404c6d9871f4439bae42d9a2e4b2ba0', '-D', '/var/lib/mock/f40-build-793243-138788/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.lqm73nk2:/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/alt-ergo.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=1706832000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.VzCvLf
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf alt-ergo-2.3.0-free
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-free-2.3.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd alt-ergo-2.3.0-free
+ rm -rf /builddir/build/BUILD/alt-ergo-2.3.0-free-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.0-free-SPECPARTS
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-icons.tar.xz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ rm -rf sources
+ tar xf /builddir/build/SOURCES/alt-ergo-free-2.3.3.tar.gz
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-pervasives.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-psmt2-frontend.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-menhir.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-forward-compat.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-dune3.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ cd sources
+ cp -p /builddir/build/SOURCES/alt-ergo.desktop com.ocamlpro.alt-ergo.desktop
+ cd examples/AB-Why3-plugin
+ unzip p4_34.why.zip
Archive:  p4_34.why.zip
  inflating: p4_34.why               
+ rm p4_34.why.zip
+ cd -
/builddir/build/BUILD/alt-ergo-2.3.0-free/sources
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.XJ17tQ
+ umask 022
+ cd /builddir/build/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 '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 alt-ergo-2.3.0-free
+ cd sources
+ ./configure --prefix=/usr --libdir=/usr/lib64/ocaml --sharedir=/usr/lib64/ocaml
File "_none_", line 1:
Alert ocaml_deprecated_auto_include: 
OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
automatically added to the search path, but you should add -I +unix to the
command-line to silence this alert (e.g. by adding unix to the list of
libraries in your dune file, or adding use_unix to your _tags file for
ocamlbuild, or using -package unix for ocamlfind).
File "_none_", line 1:
Alert ocaml_deprecated_auto_include: 
OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
automatically added to the search path, but you should add -I +unix to the
command-line to silence this alert (e.g. by adding unix to the list of
libraries in your dune file, or adding use_unix to your _tags file for
ocamlbuild, or using -package unix for ocamlfind).
Using provided value for 'prefix' : /usr
Using provided value for 'libdir' : /usr/lib64/ocaml
Using provided value for 'sharedir' : /usr/lib64/ocaml
Using default value for 'mandir' : /usr/man
Using default value for 'pluginsdir' : /usr/lib64/ocaml/alt-ergo/plugins
Using default value for 'preludesdir' : /usr/lib64/ocaml/alt-ergo/preludes
Generating file lib/util/config.ml...done.
Generating file Makefile.config...done.
Found dune in path.
Good to go !
+ /usr/bin/make -O -j64 V=1 VERBOSE=1
dune build  @install
ln -sf _build/install/default/bin/alt-ergo alt-ergo
ln -sf _build/install/default/bin/altgr-ergo altgr-ergo
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.u7eZ8d
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64
++ dirname /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64
+ 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 '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 alt-ergo-2.3.0-free
+ cd sources
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64 'INSTALL=/usr/bin/install -p'
dune build  @install
ln -sf _build/install/default/bin/alt-ergo alt-ergo
ln -sf _build/install/default/bin/altgr-ergo altgr-ergo
dune install 		\
	--prefix /usr						\
	--libdir /usr/lib64/ocaml						\
	--mandir /usr/man
+ find /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/lib64/ocaml -name '*.ml' -delete
+ rm -fr /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/doc
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/man/man1
+ cp -p doc/alt-ergo.1 /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/man/man1
+ mv /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/alt-ergo/plugins /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/alt-ergo/preludes /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/lib64/ocaml/alt-ergo
+ rmdir /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/alt-ergo
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/gtksourceview-2.0/language-specs
+ cp -p doc/gtk-lang/alt-ergo.lang /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/gtksourceview-2.0/language-specs
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/applications
+ desktop-file-install --dir /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/applications com.ocamlpro.alt-ergo.desktop
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/metainfo
+ install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
+ appstream-util validate-relax --nonet /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
/builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml: OK
+ cd -
/builddir/build/BUILD/alt-ergo-2.3.0-free
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/icons
+ cp -a icons /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/icons/hicolor
+ /usr/bin/find-debuginfo -j64 --strict-build-id -m -i --build-id-seed 2.3.3-17.fc40 --unique-debug-suffix -2.3.3-17.fc40.riscv64 --unique-debug-src-base alt-ergo-2.3.3-17.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.3.0-free
find-debuginfo: starting
Extracting debug info from 4 files
DWARF-compressing 4 files
sepdebugcrcfix: Updated 4 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/alt-ergo-2.3.3-17.fc40.riscv64
cpio: sources/_build/default/arg.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/array.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/atomic.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/big_int.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/buffer.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/bytes.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/camlinternalFormat.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/camlinternalLazy.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/camlinternalMod.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/char.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/condition.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/domain.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/filename.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/format.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gBin.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gButton.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gContainer.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gEdit.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gMenu.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gMisc.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gObj.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gPack.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gRange.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gSourceView2.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gText.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gToolbox.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gTree.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gWindow.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gaux.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gdk.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gdkEvent.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/glib.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gobject.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkBase.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkButton.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkMain.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkMenu.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkObject.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkPack.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkPackProps.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkSignal.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkStock.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkThread.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/hashtbl.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/int64.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/int_misc.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/lexing.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/list.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/map.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/mutex.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/nat.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/num.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/printexc.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/printf.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/q.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/queue.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/random.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/ratio.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/scanf.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/seq.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/set.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/assertBounds.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/basic.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/lib/options.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/lib/smtlib_parser.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/lib/smtlib_ty.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/result.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/solveBounds.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/stack.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/stdlib.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/str.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/string.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/sys.ml.in: Cannot stat: No such file or directory
cpio: sources/_build/default/thread.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/unix.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/z.ml: Cannot stat: No such file or directory
3732 blocks
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j64
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.I4S6xi
+ umask 022
+ cd /builddir/build/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 '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 alt-ergo-2.3.0-free
+ cd sources
+ dune runtest --verbose --release -j64
Shared cache: disabled
Shared cache location: /builddir/.cache/dune/db
Workspace root: /builddir/build/BUILD/alt-ergo-2.3.0-free/sources
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; installed_env =
     map
       { "INSIDE_DUNE" :
           "/builddir/build/BUILD/alt-ergo-2.3.0-free/sources/_build/default"
       }
 ; instrument_with = []
 }
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: alt-ergo-2.3.3-17.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.QvY8jQ
+ umask 022
+ cd /builddir/build/BUILD
+ cd alt-ergo-2.3.0-free
+ DOCDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/README.md /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/sources/CHANGES /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/sources/examples /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/doc/alt-ergo
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: alt-ergo = 2.3.3-17.fc40 alt-ergo(riscv-64) = 2.3.3-17.fc40 ocaml(ABWhy3Plugin) = fc0e0e726fe505894a7edc995b3a1bea ocaml(ABWhy3Plugin__Why3_lexer) = 8522f66336a5a839bae9f2c07169ab72 ocaml(ABWhy3Plugin__Why3_loc) = d31b244750e282d273ee003b7b94a722 ocaml(ABWhy3Plugin__Why3_parser) = c8256a6760b0af198e961befb7782b91 ocaml(ABWhy3Plugin__Why3_ptree) = e0019692077c3658c611b9907c858533 ocaml(FmSimplexPlugin) = bcbb55367627289948ad25de69a322d5 ocaml(FmSimplexPlugin__FmSimplexIneqs) = 112bcefd6e61c63193f98987c4e4e495 ocaml(FmSimplexPlugin__Simplex) = 72f1c6f8f0aeb180b2090baffc5c82b9 ocaml(FmSimplexPlugin__Simplex_cache) = 9fd028bcdfd09f578344cda24c0c12ba
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libz.so.1()(64bit) ocaml(ABWhy3Plugin) = fc0e0e726fe505894a7edc995b3a1bea ocaml(ABWhy3Plugin__Why3_loc) = d31b244750e282d273ee003b7b94a722 ocaml(ABWhy3Plugin__Why3_parser) = c8256a6760b0af198e961befb7782b91 ocaml(ABWhy3Plugin__Why3_ptree) = e0019692077c3658c611b9907c858533 ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Ac) = 82fb650653d1986c9a7ba731f0d052c5 ocaml(AltErgoLib__Adt) = 58ce7828bfcf9f50e8da9e1af2ecd992 ocaml(AltErgoLib__Arrays) = 88a029fac9ea8f1dd6aa9bd7d56b2916 ocaml(AltErgoLib__Bitv) = c731b3dde8cbe49c86cb0ca5fa20aa5c ocaml(AltErgoLib__Enum) = 2a4975215e4af05f68c3ab924a5de4f1 ocaml(AltErgoLib__Explanation) = 12de582b670d44f81ab0fd7ba8a63fc4 ocaml(AltErgoLib__Expr) = 3b4b1f804108308d53f119fe958ba925 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Inequalities) = f01f3e6067a3d14c5c19f9de70b20b52 ocaml(AltErgoLib__Ite) = 7999d81ddfc9f870e59e242a35c577c7 ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Parsed_interface) = 90b17ebdc667a9bbf1d401fc0953fc98 ocaml(AltErgoLib__Polynome) = 01c189199bfaa231d958ff1641ce113e ocaml(AltErgoLib__Records) = 274d99bf483fa42f6dc429685152b7c7 ocaml(AltErgoLib__Satml_types) = 967ede0d40d4e1392a8aad5fe014c353 ocaml(AltErgoLib__Shostak) = 6218efc329b286049920e5947eb7bed9 ocaml(AltErgoLib__Sig) = 4619c856f6922a13efc6f194a319af3f ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Typed) = 3ff3a65d7fd36c4e4789424c8d5fc64f ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoLib__Vec) = e7d5da7aa061557bd1fefa70ba5c1961 ocaml(AltErgoParsers) = 45c58085a36e930a3ae53aebbb36c29c ocaml(AltErgoParsers__Parsers) = 9661a5754b54bcb9cba827d430d3060a ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(FmSimplexPlugin) = bcbb55367627289948ad25de69a322d5 ocaml(FmSimplexPlugin__Simplex) = 72f1c6f8f0aeb180b2090baffc5c82b9 ocaml(FmSimplexPlugin__Simplex_cache) = 9fd028bcdfd09f578344cda24c0c12ba ocaml(MenhirLib) = b76671f09c15142ebeaf64c01adb1ce8 ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 rtld(GNU_HASH)
Processing files: alt-ergo-gui-2.3.3-17.fc40.riscv64
Provides: alt-ergo-gui = 2.3.3-17.fc40 alt-ergo-gui(riscv-64) = 2.3.3-17.fc40 application() application(com.ocamlpro.alt-ergo.desktop) metainfo() metainfo(com.ocamlpro.alt-ergo.metainfo.xml)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgmp.so.10()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libgtksourceview-2.0.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpango-1.0.so.0()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-2.3.3-17.fc40.riscv64
Provides: ocaml(AltErgoParsers) = 45c58085a36e930a3ae53aebbb36c29c ocaml(AltErgoParsers__MyZip) = 0e1267a97408dcb5a621a5d1b91cc93b ocaml(AltErgoParsers__Parsers) = 9661a5754b54bcb9cba827d430d3060a ocaml(AltErgoParsers__Parsers_loader) = 9eae88d2e3b6ea51b8cdcaa7aaa6d9a2 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = a198014fbaae9176168b65c835bf69e3 ocaml(AltErgoParsers__Why_lexer) = 504e69ac70343fff32d08df3ae5c3606 ocaml(AltErgoParsers__Why_parser) = 61c136d590db41c9d82dac97b7413fce ocaml-alt-ergo-parsers = 2.3.3-17.fc40 ocaml-alt-ergo-parsers(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8 ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Parsed_interface) = 90b17ebdc667a9bbf1d401fc0953fc98 ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoParsers) = 45c58085a36e930a3ae53aebbb36c29c ocaml(AltErgoParsers__MyZip) = 0e1267a97408dcb5a621a5d1b91cc93b ocaml(AltErgoParsers__Parsers) = 9661a5754b54bcb9cba827d430d3060a ocaml(AltErgoParsers__Parsers_loader) = 9eae88d2e3b6ea51b8cdcaa7aaa6d9a2 ocaml(AltErgoParsers__Why_parser) = 61c136d590db41c9d82dac97b7413fce ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58 ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Zip) = 393f03962f6a62fe2e4d431978a4f170 rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-17.fc40.riscv64
Provides: ocaml(AltErgoParsers) = 45c58085a36e930a3ae53aebbb36c29c ocaml(AltErgoParsers__MyZip) = 0e1267a97408dcb5a621a5d1b91cc93b ocaml(AltErgoParsers__Parsers) = 9661a5754b54bcb9cba827d430d3060a ocaml(AltErgoParsers__Parsers_loader) = 9eae88d2e3b6ea51b8cdcaa7aaa6d9a2 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = a198014fbaae9176168b65c835bf69e3 ocaml(AltErgoParsers__Why_lexer) = 504e69ac70343fff32d08df3ae5c3606 ocaml(AltErgoParsers__Why_parser) = 61c136d590db41c9d82dac97b7413fce ocaml-alt-ergo-parsers-devel = 2.3.3-17.fc40 ocaml-alt-ergo-parsers-devel(riscv-64) = 2.3.3-17.fc40 ocamlx(AltErgoParsers) = 7b14b7a5978efb15c3dc34bcba44b2ae ocamlx(AltErgoParsers__MyZip) = 1026627ebb0614440ce272495559be8a ocamlx(AltErgoParsers__Parsers) = b53edad02bb8524ec534dfabbc06fe35 ocamlx(AltErgoParsers__Parsers_loader) = 5779017b080dc969f02ccd3e8bb1996e ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = 4fdd560ae754f601a29bca80aef186b5 ocamlx(AltErgoParsers__Why_lexer) = 612f2ec9af32c6e32e9da0d7c85fad13 ocamlx(AltErgoParsers__Why_parser) = e3cf47684e62a4462ee3ee56608c1d1f
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8 ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Parsed_interface) = 90b17ebdc667a9bbf1d401fc0953fc98 ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoParsers) = 45c58085a36e930a3ae53aebbb36c29c ocaml(AltErgoParsers__MyZip) = 0e1267a97408dcb5a621a5d1b91cc93b ocaml(AltErgoParsers__Parsers) = 9661a5754b54bcb9cba827d430d3060a ocaml(AltErgoParsers__Parsers_loader) = 9eae88d2e3b6ea51b8cdcaa7aaa6d9a2 ocaml(AltErgoParsers__Why_parser) = 61c136d590db41c9d82dac97b7413fce ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58 ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Zip) = 393f03962f6a62fe2e4d431978a4f170 ocamlx(Arith_flags) = 6253f728b9f32e55b1bb21e506b45a23 ocamlx(Big_int) = 1444a8cff8a332b595fdae686e912362 ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 ocamlx(Int_misc) = 5c76db9390d829143dfc331f1654b465 ocamlx(Nat) = d838ab462742b5620f8f5bd1250d0c19 ocamlx(Num) = c622b7a4cd588482185fb54f43274e52 ocamlx(Psmt2Frontend__Options) = 1b068a429c240f4eb80d756499fd530b ocamlx(Psmt2Frontend__Smtlib_error) = 36885ba8ec470cf1333b928ade8aab3c ocamlx(Psmt2Frontend__Smtlib_lexer) = d2707713e4219e7890b135e98d358bf0 ocamlx(Psmt2Frontend__Smtlib_parser) = f7c47a8529da9da0fa86eddd6e93dd79 ocamlx(Psmt2Frontend__Smtlib_ty) = aa3554c5bc62588fba00bd327d8ad03e ocamlx(Psmt2Frontend__Smtlib_typed_env) = 5c87f7bae66cf4a4b0e25d5f9df99b80 ocamlx(Psmt2Frontend__Smtlib_typing) = aa43cc69f66b83824fb194d62876a0a3 ocamlx(Ratio) = 1d951f37c3df13f7fd31b45e92ee6850 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Arg) = 69638880583618e78a9e752e448d8aed ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 ocamlx(Stdlib__Bigarray) = b83389a8e2a3860275a4cac993148418 ocamlx(Stdlib__Buffer) = 13d15ff0a126a649793506624daeb777 ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db ocamlx(Stdlib__Domain) = 7a0abbcd27898319a82074908fc1d331 ocamlx(Stdlib__Filename) = 43ff6d511a8a1beb6d53d34be5c2d18b ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f ocamlx(Stdlib__Lexing) = 205a58326f15a36b4e1f758ba16830f3 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Parsing) = bb547742ac0ae3e655d514a89cd52cd3 ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 ocamlx(Stdlib__Sys) = 4f85c9fad632104d251ce8405e3da7bd ocamlx(Zip) = a68a441ce2943c3b1001a6560c955029
Processing files: ocaml-alt-ergo-lib-2.3.3-17.fc40.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.gf47vT
+ umask 022
+ cd /builddir/build/BUILD
+ cd alt-ergo-2.3.0-free
+ LICENSEDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/licenses/ocaml-alt-ergo-lib
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/LGPL-License.txt /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/LICENSE.md /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/License.OCamlPro /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64/usr/share/licenses/ocaml-alt-ergo-lib
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Ac) = 82fb650653d1986c9a7ba731f0d052c5 ocaml(AltErgoLib__Adt) = 58ce7828bfcf9f50e8da9e1af2ecd992 ocaml(AltErgoLib__Adt_rel) = 24b7171c777573bc003769d20c64b9f1 ocaml(AltErgoLib__Arith) = 29263be5a651eb906df868a29d6d763b ocaml(AltErgoLib__Arrays) = 88a029fac9ea8f1dd6aa9bd7d56b2916 ocaml(AltErgoLib__Arrays_rel) = 0b28beb312953edf092e754ad7369861 ocaml(AltErgoLib__Bitv) = c731b3dde8cbe49c86cb0ca5fa20aa5c ocaml(AltErgoLib__Bitv_rel) = dae1d3ddf81b9cc4b98b8a18d145a00c ocaml(AltErgoLib__Ccx) = fcaecec68c54c50394c38e28287e0bb3 ocaml(AltErgoLib__Cnf) = 1a1ac9a988c41275d4da15a292417670 ocaml(AltErgoLib__Commands) = 847bd1fb60281b5a90c28eda38351597 ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8 ocaml(AltErgoLib__Emap) = ba580a7f295af5d2ad2d13afd7743d96 ocaml(AltErgoLib__Enum) = 2a4975215e4af05f68c3ab924a5de4f1 ocaml(AltErgoLib__Enum_rel) = d33728363bc9b26f4d5d5c975d9be9e7 ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967 ocaml(AltErgoLib__Explanation) = 12de582b670d44f81ab0fd7ba8a63fc4 ocaml(AltErgoLib__Expr) = 3b4b1f804108308d53f119fe958ba925 ocaml(AltErgoLib__Fpa_rounding) = 45a0c72d66cb6757978faa1fb9260d11 ocaml(AltErgoLib__Frontend) = a32b669471ab405bacbf6f25c9c6c330 ocaml(AltErgoLib__Fun_sat) = 4abab1cf4ffc0525084ef8a43318ef6b ocaml(AltErgoLib__Gc_debug) = e167abedd9dc128da33b9348844adae5 ocaml(AltErgoLib__Hconsing) = 4225d4a624c2029c94228b678db0eff5 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Iheap) = 2b7193c8faf8cddc6408584228b87bb7 ocaml(AltErgoLib__Inequalities) = f01f3e6067a3d14c5c19f9de70b20b52 ocaml(AltErgoLib__Input) = 6d7bcbabf190e548f17b156a8ed72839 ocaml(AltErgoLib__Instances) = a56f3fba5ce78fe7d2b5441cf04e3c58 ocaml(AltErgoLib__IntervalCalculus) = 55d777f891f2e06704fb23191a683185 ocaml(AltErgoLib__Intervals) = b85409efa2c277a00a3955e7f40f8c73 ocaml(AltErgoLib__Ite) = 7999d81ddfc9f870e59e242a35c577c7 ocaml(AltErgoLib__Ite_rel) = ccfde73560d92005bdb73a8970a9869b ocaml(AltErgoLib__Lists) = e47129de8bc4839ccb07f7f242db518c ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__Matching) = debbb7ef3cd6e5064e745b7b7410e34a ocaml(AltErgoLib__Matching_types) = 4abce3dafa5ab8226bcffc515e3e9dc6 ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056 ocaml(AltErgoLib__MyUnix) = 4679ce703d8f99a68d404f8aebf585c5 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad ocaml(AltErgoLib__NumsNumbers) = 98ed96d82246238e678d36b364754c33 ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Parsed_interface) = 90b17ebdc667a9bbf1d401fc0953fc98 ocaml(AltErgoLib__Polynome) = 01c189199bfaa231d958ff1641ce113e ocaml(AltErgoLib__Profiling) = 611531311b4ce018d0ec3d5651d17d05 ocaml(AltErgoLib__Records) = 274d99bf483fa42f6dc429685152b7c7 ocaml(AltErgoLib__Records_rel) = 42accc0d12e7ab38438bbc8a07fa8bf8 ocaml(AltErgoLib__Relation) = 3c01a7d927eaa8698b0243ade3e9b20d ocaml(AltErgoLib__Sat_solver) = 4bff4b18ab88d9262e59814e11928086 ocaml(AltErgoLib__Sat_solver_sig) = c8983fbf2f95055213ed40aeb0a69679 ocaml(AltErgoLib__Satml) = 36aa5bc74b340df2714432f581d8391d ocaml(AltErgoLib__Satml_frontend) = 269d9e8f1693343ee0387861f4cd3e69 ocaml(AltErgoLib__Satml_frontend_hybrid) = 999054c9bfd1706756ab3d1765fb64cc ocaml(AltErgoLib__Satml_types) = 967ede0d40d4e1392a8aad5fe014c353 ocaml(AltErgoLib__Shostak) = 6218efc329b286049920e5947eb7bed9 ocaml(AltErgoLib__Sig) = 4619c856f6922a13efc6f194a319af3f ocaml(AltErgoLib__Sig_rel) = 86e0b46cc8488f833d1e723edce0ac62 ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Th_util) = b39c04964e66a25a44ebf79cc23ab0b9 ocaml(AltErgoLib__Theory) = 56f94bd19cd4a7935fc56769c67b45ec ocaml(AltErgoLib__Timers) = 89ae69e026a25c18cb85925dd8d8e0af ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Typechecker) = 2afbc00178da0c6530e2dcd83dfddb89 ocaml(AltErgoLib__Typed) = 3ff3a65d7fd36c4e4789424c8d5fc64f ocaml(AltErgoLib__Uf) = 8c05da4ebd6dc9f5a039cb4b06569451 ocaml(AltErgoLib__Use) = 53e5cc7ee576e1f81f2c544e658bf254 ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoLib__Vec) = e7d5da7aa061557bd1fefa70ba5c1961 ocaml(AltErgoLib__Version) = dd122a8947e3cefa82abf5eac9778804 ocaml(AltErgoLib__Xliteral) = a7cb61ad70ff10725161c54d7c98e206 ocaml(AltErgoLib__ZarithNumbers) = 74b945565c7cb98bfa72f669cf834513 ocaml-alt-ergo-lib = 2.3.3-17.fc40 ocaml-alt-ergo-lib(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Ac) = 82fb650653d1986c9a7ba731f0d052c5 ocaml(AltErgoLib__Adt) = 58ce7828bfcf9f50e8da9e1af2ecd992 ocaml(AltErgoLib__Adt_rel) = 24b7171c777573bc003769d20c64b9f1 ocaml(AltErgoLib__Arith) = 29263be5a651eb906df868a29d6d763b ocaml(AltErgoLib__Arrays) = 88a029fac9ea8f1dd6aa9bd7d56b2916 ocaml(AltErgoLib__Arrays_rel) = 0b28beb312953edf092e754ad7369861 ocaml(AltErgoLib__Bitv) = c731b3dde8cbe49c86cb0ca5fa20aa5c ocaml(AltErgoLib__Bitv_rel) = dae1d3ddf81b9cc4b98b8a18d145a00c ocaml(AltErgoLib__Ccx) = fcaecec68c54c50394c38e28287e0bb3 ocaml(AltErgoLib__Cnf) = 1a1ac9a988c41275d4da15a292417670 ocaml(AltErgoLib__Commands) = 847bd1fb60281b5a90c28eda38351597 ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8 ocaml(AltErgoLib__Emap) = ba580a7f295af5d2ad2d13afd7743d96 ocaml(AltErgoLib__Enum) = 2a4975215e4af05f68c3ab924a5de4f1 ocaml(AltErgoLib__Enum_rel) = d33728363bc9b26f4d5d5c975d9be9e7 ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967 ocaml(AltErgoLib__Explanation) = 12de582b670d44f81ab0fd7ba8a63fc4 ocaml(AltErgoLib__Expr) = 3b4b1f804108308d53f119fe958ba925 ocaml(AltErgoLib__Fpa_rounding) = 45a0c72d66cb6757978faa1fb9260d11 ocaml(AltErgoLib__Fun_sat) = 4abab1cf4ffc0525084ef8a43318ef6b ocaml(AltErgoLib__Hconsing) = 4225d4a624c2029c94228b678db0eff5 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Iheap) = 2b7193c8faf8cddc6408584228b87bb7 ocaml(AltErgoLib__Inequalities) = f01f3e6067a3d14c5c19f9de70b20b52 ocaml(AltErgoLib__Instances) = a56f3fba5ce78fe7d2b5441cf04e3c58 ocaml(AltErgoLib__IntervalCalculus) = 55d777f891f2e06704fb23191a683185 ocaml(AltErgoLib__Intervals) = b85409efa2c277a00a3955e7f40f8c73 ocaml(AltErgoLib__Ite) = 7999d81ddfc9f870e59e242a35c577c7 ocaml(AltErgoLib__Ite_rel) = ccfde73560d92005bdb73a8970a9869b ocaml(AltErgoLib__Lists) = e47129de8bc4839ccb07f7f242db518c ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__Matching) = debbb7ef3cd6e5064e745b7b7410e34a ocaml(AltErgoLib__Matching_types) = 4abce3dafa5ab8226bcffc515e3e9dc6 ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056 ocaml(AltErgoLib__MyUnix) = 4679ce703d8f99a68d404f8aebf585c5 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Polynome) = 01c189199bfaa231d958ff1641ce113e ocaml(AltErgoLib__Profiling) = 611531311b4ce018d0ec3d5651d17d05 ocaml(AltErgoLib__Records) = 274d99bf483fa42f6dc429685152b7c7 ocaml(AltErgoLib__Records_rel) = 42accc0d12e7ab38438bbc8a07fa8bf8 ocaml(AltErgoLib__Relation) = 3c01a7d927eaa8698b0243ade3e9b20d ocaml(AltErgoLib__Sat_solver_sig) = c8983fbf2f95055213ed40aeb0a69679 ocaml(AltErgoLib__Satml) = 36aa5bc74b340df2714432f581d8391d ocaml(AltErgoLib__Satml_frontend) = 269d9e8f1693343ee0387861f4cd3e69 ocaml(AltErgoLib__Satml_frontend_hybrid) = 999054c9bfd1706756ab3d1765fb64cc ocaml(AltErgoLib__Satml_types) = 967ede0d40d4e1392a8aad5fe014c353 ocaml(AltErgoLib__Shostak) = 6218efc329b286049920e5947eb7bed9 ocaml(AltErgoLib__Sig) = 4619c856f6922a13efc6f194a319af3f ocaml(AltErgoLib__Sig_rel) = 86e0b46cc8488f833d1e723edce0ac62 ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Th_util) = b39c04964e66a25a44ebf79cc23ab0b9 ocaml(AltErgoLib__Theory) = 56f94bd19cd4a7935fc56769c67b45ec ocaml(AltErgoLib__Timers) = 89ae69e026a25c18cb85925dd8d8e0af ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Typed) = 3ff3a65d7fd36c4e4789424c8d5fc64f ocaml(AltErgoLib__Uf) = 8c05da4ebd6dc9f5a039cb4b06569451 ocaml(AltErgoLib__Use) = 53e5cc7ee576e1f81f2c544e658bf254 ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoLib__Vec) = e7d5da7aa061557bd1fefa70ba5c1961 ocaml(AltErgoLib__Version) = dd122a8947e3cefa82abf5eac9778804 ocaml(AltErgoLib__Xliteral) = a7cb61ad70ff10725161c54d7c98e206 ocaml(AltErgoLib__ZarithNumbers) = 74b945565c7cb98bfa72f669cf834513 ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83 ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(OcplibSimplex) = 2075400216069da28b601d4bd7f6d06b ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Gc) = 5eb53c91ce0f29e01cf703bc08f1f6ef ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Scanf) = 83da141a71f157410ce5f4fb14d1663f ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c ocaml(Str) = bd4d70b70c8423b47459a789150b0e09 ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-lib-devel-2.3.3-17.fc40.riscv64
Provides: ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Ac) = 82fb650653d1986c9a7ba731f0d052c5 ocaml(AltErgoLib__Adt) = 58ce7828bfcf9f50e8da9e1af2ecd992 ocaml(AltErgoLib__Adt_rel) = 24b7171c777573bc003769d20c64b9f1 ocaml(AltErgoLib__Arith) = 29263be5a651eb906df868a29d6d763b ocaml(AltErgoLib__Arrays) = 88a029fac9ea8f1dd6aa9bd7d56b2916 ocaml(AltErgoLib__Arrays_rel) = 0b28beb312953edf092e754ad7369861 ocaml(AltErgoLib__Bitv) = c731b3dde8cbe49c86cb0ca5fa20aa5c ocaml(AltErgoLib__Bitv_rel) = dae1d3ddf81b9cc4b98b8a18d145a00c ocaml(AltErgoLib__Ccx) = fcaecec68c54c50394c38e28287e0bb3 ocaml(AltErgoLib__Cnf) = 1a1ac9a988c41275d4da15a292417670 ocaml(AltErgoLib__Commands) = 847bd1fb60281b5a90c28eda38351597 ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8 ocaml(AltErgoLib__Emap) = ba580a7f295af5d2ad2d13afd7743d96 ocaml(AltErgoLib__Enum) = 2a4975215e4af05f68c3ab924a5de4f1 ocaml(AltErgoLib__Enum_rel) = d33728363bc9b26f4d5d5c975d9be9e7 ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967 ocaml(AltErgoLib__Explanation) = 12de582b670d44f81ab0fd7ba8a63fc4 ocaml(AltErgoLib__Expr) = 3b4b1f804108308d53f119fe958ba925 ocaml(AltErgoLib__Fpa_rounding) = 45a0c72d66cb6757978faa1fb9260d11 ocaml(AltErgoLib__Frontend) = a32b669471ab405bacbf6f25c9c6c330 ocaml(AltErgoLib__Fun_sat) = 4abab1cf4ffc0525084ef8a43318ef6b ocaml(AltErgoLib__Gc_debug) = e167abedd9dc128da33b9348844adae5 ocaml(AltErgoLib__Hconsing) = 4225d4a624c2029c94228b678db0eff5 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Iheap) = 2b7193c8faf8cddc6408584228b87bb7 ocaml(AltErgoLib__Inequalities) = f01f3e6067a3d14c5c19f9de70b20b52 ocaml(AltErgoLib__Input) = 6d7bcbabf190e548f17b156a8ed72839 ocaml(AltErgoLib__Instances) = a56f3fba5ce78fe7d2b5441cf04e3c58 ocaml(AltErgoLib__IntervalCalculus) = 55d777f891f2e06704fb23191a683185 ocaml(AltErgoLib__Intervals) = b85409efa2c277a00a3955e7f40f8c73 ocaml(AltErgoLib__Ite) = 7999d81ddfc9f870e59e242a35c577c7 ocaml(AltErgoLib__Ite_rel) = ccfde73560d92005bdb73a8970a9869b ocaml(AltErgoLib__Lists) = e47129de8bc4839ccb07f7f242db518c ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__Matching) = debbb7ef3cd6e5064e745b7b7410e34a ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056 ocaml(AltErgoLib__MyUnix) = 4679ce703d8f99a68d404f8aebf585c5 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumsNumbers) = 98ed96d82246238e678d36b364754c33 ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Parsed_interface) = 90b17ebdc667a9bbf1d401fc0953fc98 ocaml(AltErgoLib__Polynome) = 01c189199bfaa231d958ff1641ce113e ocaml(AltErgoLib__Profiling) = 611531311b4ce018d0ec3d5651d17d05 ocaml(AltErgoLib__Records) = 274d99bf483fa42f6dc429685152b7c7 ocaml(AltErgoLib__Records_rel) = 42accc0d12e7ab38438bbc8a07fa8bf8 ocaml(AltErgoLib__Relation) = 3c01a7d927eaa8698b0243ade3e9b20d ocaml(AltErgoLib__Sat_solver) = 4bff4b18ab88d9262e59814e11928086 ocaml(AltErgoLib__Sat_solver_sig) = c8983fbf2f95055213ed40aeb0a69679 ocaml(AltErgoLib__Satml) = 36aa5bc74b340df2714432f581d8391d ocaml(AltErgoLib__Satml_frontend) = 269d9e8f1693343ee0387861f4cd3e69 ocaml(AltErgoLib__Satml_frontend_hybrid) = 999054c9bfd1706756ab3d1765fb64cc ocaml(AltErgoLib__Satml_types) = 967ede0d40d4e1392a8aad5fe014c353 ocaml(AltErgoLib__Shostak) = 6218efc329b286049920e5947eb7bed9 ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Th_util) = b39c04964e66a25a44ebf79cc23ab0b9 ocaml(AltErgoLib__Theory) = 56f94bd19cd4a7935fc56769c67b45ec ocaml(AltErgoLib__Timers) = 89ae69e026a25c18cb85925dd8d8e0af ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Typechecker) = 2afbc00178da0c6530e2dcd83dfddb89 ocaml(AltErgoLib__Typed) = 3ff3a65d7fd36c4e4789424c8d5fc64f ocaml(AltErgoLib__Uf) = 8c05da4ebd6dc9f5a039cb4b06569451 ocaml(AltErgoLib__Use) = 53e5cc7ee576e1f81f2c544e658bf254 ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoLib__Vec) = e7d5da7aa061557bd1fefa70ba5c1961 ocaml(AltErgoLib__Version) = dd122a8947e3cefa82abf5eac9778804 ocaml(AltErgoLib__Xliteral) = a7cb61ad70ff10725161c54d7c98e206 ocaml(AltErgoLib__ZarithNumbers) = 74b945565c7cb98bfa72f669cf834513 ocaml-alt-ergo-lib-devel = 2.3.3-17.fc40 ocaml-alt-ergo-lib-devel(riscv-64) = 2.3.3-17.fc40 ocamlx(AltErgoLib) = e4b143554947596c36c7dc75a9f8418e ocamlx(AltErgoLib__Ac) = 832eafe555543d81dbcb65819d3379b5 ocamlx(AltErgoLib__Adt) = 82089cadb5dcbbad0793a4fe306fb25e ocamlx(AltErgoLib__Adt_rel) = cb067b61cace8738a0e79307488c9e0c ocamlx(AltErgoLib__Arith) = 4b9784a7ce886531a99682659297b98a ocamlx(AltErgoLib__Arrays) = 1217c64d63c83e8a1e9230264547cdb1 ocamlx(AltErgoLib__Arrays_rel) = a7e870d10efd7a97f5989c77d810450b ocamlx(AltErgoLib__Bitv) = 1a1b2409865845e621de38598d4fb201 ocamlx(AltErgoLib__Bitv_rel) = 93962a646444e668175d36799d14b23a ocamlx(AltErgoLib__Ccx) = ad0b721f395cd91df69e09da3352dca8 ocamlx(AltErgoLib__Cnf) = 7a671e16d88bdd3fd98a227e39f02a76 ocamlx(AltErgoLib__Commands) = 0efde9b17d8d9a6488672363fdeee84c ocamlx(AltErgoLib__Config) = 93e41f26a39caccb56c1eafaa4cb384d ocamlx(AltErgoLib__Emap) = f82ab3988801d523cb9378f93a5c39b6 ocamlx(AltErgoLib__Enum) = a4f29f36f9977995b9824a94f4a2d4c1 ocamlx(AltErgoLib__Enum_rel) = ebd65f50d86592f630403ecdf761c945 ocamlx(AltErgoLib__Errors) = 0938b34824c2634a71f6624aafeb5890 ocamlx(AltErgoLib__Explanation) = dce57c0cee7fb51ce261a2c6bb7d603d ocamlx(AltErgoLib__Expr) = dea69d42508fa476ebb779a62e061d0e ocamlx(AltErgoLib__Fpa_rounding) = d013fc8a5021d53e359bea92e4f9141f ocamlx(AltErgoLib__Frontend) = efbe2a31afdd81822ec3e7b1c6b55ff2 ocamlx(AltErgoLib__Fun_sat) = 05d640a0eb40e7128e2ef80220985449 ocamlx(AltErgoLib__Gc_debug) = da16535c28cfaa947a3751e6e123d2d0 ocamlx(AltErgoLib__Hconsing) = 2f9720773e2ccc36ef5523421646f8d1 ocamlx(AltErgoLib__Hstring) = 6b8ae5045e38094b9da1a56105564caf ocamlx(AltErgoLib__Iheap) = cdc90ebd6dc8703f3ef851284bfcb7aa ocamlx(AltErgoLib__Inequalities) = 99a1e91cf559f67dd4979ef264f2b34d ocamlx(AltErgoLib__Input) = cd14ad168e4b134b174df998c1c0e7de ocamlx(AltErgoLib__Instances) = 62a608863147f55acef51496f0eb9f40 ocamlx(AltErgoLib__IntervalCalculus) = e7a2c05d682bbd099a24ee1561ecbc7f ocamlx(AltErgoLib__Intervals) = 3288d647fadabe86d1137a9865c78a3a ocamlx(AltErgoLib__Ite) = 20eb1352e8a264860df0e215036f184d ocamlx(AltErgoLib__Ite_rel) = 0a00f60fd19fe7cd8a442a1df016328e ocamlx(AltErgoLib__Lists) = c211712520093572b0586cf13386e24d ocamlx(AltErgoLib__Loc) = afe43f1ab03d19be3428a54ea9d5506b ocamlx(AltErgoLib__Matching) = 607efc617b407ff6a821c3194e93d438 ocamlx(AltErgoLib__MyDynlink) = e0d6f4fc9b8d3e07c85866d7c8d7bcac ocamlx(AltErgoLib__MyUnix) = 01d1faa66b8321d174f8151bd81935de ocamlx(AltErgoLib__Numbers) = 5bc7e8cde833a9b03dfa3164d9070979 ocamlx(AltErgoLib__NumsNumbers) = bd86630365f1b17e377054305ef5368e ocamlx(AltErgoLib__Options) = 9ac5203ab60ebf4d52e13efd57bc26ca ocamlx(AltErgoLib__Parsed) = cc9a1c93cb3e588f3d594b3b8aa3d529 ocamlx(AltErgoLib__Parsed_interface) = f7df5c6d147fab5b86705a723c1148cc ocamlx(AltErgoLib__Polynome) = d84ee99f022a63747cb31b0a3e73c93a ocamlx(AltErgoLib__Profiling) = 154ff9cbde1746fb778af80956972010 ocamlx(AltErgoLib__Records) = 64d879de42e0f5e15c950de52729cd6a ocamlx(AltErgoLib__Records_rel) = e1735d388a70e36755b541fe9d4d1d5a ocamlx(AltErgoLib__Relation) = 87d1e38413e6fdb74fbea69050e8a1a9 ocamlx(AltErgoLib__Sat_solver) = 965ba93383f04ce44b0b0d1cd2e5cd2e ocamlx(AltErgoLib__Sat_solver_sig) = afa1822e67b646331aa8a468f7ca30ce ocamlx(AltErgoLib__Satml) = 15520269287cdc1e878483c423903603 ocamlx(AltErgoLib__Satml_frontend) = 3f580fd9ee9b44927808b1705c45ecae ocamlx(AltErgoLib__Satml_frontend_hybrid) = bd428b36a7decc47a2124cad0b0fa3dc ocamlx(AltErgoLib__Satml_types) = e88a46b4ad9b2e822853056fd0cf9bf5 ocamlx(AltErgoLib__Shostak) = 4d798dbcd4cfddbf8381da976be7cfcc ocamlx(AltErgoLib__Symbols) = af4a144a22408842ec83232c2e6ca574 ocamlx(AltErgoLib__Th_util) = d791802e956f07ca3fa82b7bf2257f45 ocamlx(AltErgoLib__Theory) = a19955a90320a767a72b5cac7700fe7d ocamlx(AltErgoLib__Timers) = f144973ea6008a6737abade455177e86 ocamlx(AltErgoLib__Ty) = c2e23ffbb1c345966089c447bae5f353 ocamlx(AltErgoLib__Typechecker) = ca42ae21b82a1fcdf68211c3eb2b0f95 ocamlx(AltErgoLib__Typed) = 719016e2bf958c2671f4b8208d427383 ocamlx(AltErgoLib__Uf) = 82b858b251c29c0068c6f30d366a9d82 ocamlx(AltErgoLib__Use) = 612c52701bc1117b2fc973caa95690c1 ocamlx(AltErgoLib__Util) = 1acdc1f4afbce1cda8992719c7a70632 ocamlx(AltErgoLib__Var) = 4267cc51b3b4a70d4b9ae101421fc4f2 ocamlx(AltErgoLib__Vec) = 9416a0a9811e6d92b09e38fb86f28f35 ocamlx(AltErgoLib__Version) = 1c899fe15423354756af06b578b1006a ocamlx(AltErgoLib__Xliteral) = 5728dc6471ecdbb2b116ad67afc11581 ocamlx(AltErgoLib__ZarithNumbers) = 6f32452f457f18d7cd7d2c471607b565
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 0e871f6172efcb5b6d8f9413cbf1bc1b ocaml(AltErgoLib__Ac) = 82fb650653d1986c9a7ba731f0d052c5 ocaml(AltErgoLib__Adt) = 58ce7828bfcf9f50e8da9e1af2ecd992 ocaml(AltErgoLib__Adt_rel) = 24b7171c777573bc003769d20c64b9f1 ocaml(AltErgoLib__Arith) = 29263be5a651eb906df868a29d6d763b ocaml(AltErgoLib__Arrays) = 88a029fac9ea8f1dd6aa9bd7d56b2916 ocaml(AltErgoLib__Arrays_rel) = 0b28beb312953edf092e754ad7369861 ocaml(AltErgoLib__Bitv) = c731b3dde8cbe49c86cb0ca5fa20aa5c ocaml(AltErgoLib__Bitv_rel) = dae1d3ddf81b9cc4b98b8a18d145a00c ocaml(AltErgoLib__Ccx) = fcaecec68c54c50394c38e28287e0bb3 ocaml(AltErgoLib__Cnf) = 1a1ac9a988c41275d4da15a292417670 ocaml(AltErgoLib__Commands) = 847bd1fb60281b5a90c28eda38351597 ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8 ocaml(AltErgoLib__Emap) = ba580a7f295af5d2ad2d13afd7743d96 ocaml(AltErgoLib__Enum) = 2a4975215e4af05f68c3ab924a5de4f1 ocaml(AltErgoLib__Enum_rel) = d33728363bc9b26f4d5d5c975d9be9e7 ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967 ocaml(AltErgoLib__Explanation) = 12de582b670d44f81ab0fd7ba8a63fc4 ocaml(AltErgoLib__Expr) = 3b4b1f804108308d53f119fe958ba925 ocaml(AltErgoLib__Fpa_rounding) = 45a0c72d66cb6757978faa1fb9260d11 ocaml(AltErgoLib__Fun_sat) = 4abab1cf4ffc0525084ef8a43318ef6b ocaml(AltErgoLib__Hconsing) = 4225d4a624c2029c94228b678db0eff5 ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6 ocaml(AltErgoLib__Iheap) = 2b7193c8faf8cddc6408584228b87bb7 ocaml(AltErgoLib__Inequalities) = f01f3e6067a3d14c5c19f9de70b20b52 ocaml(AltErgoLib__Instances) = a56f3fba5ce78fe7d2b5441cf04e3c58 ocaml(AltErgoLib__IntervalCalculus) = 55d777f891f2e06704fb23191a683185 ocaml(AltErgoLib__Intervals) = b85409efa2c277a00a3955e7f40f8c73 ocaml(AltErgoLib__Ite) = 7999d81ddfc9f870e59e242a35c577c7 ocaml(AltErgoLib__Ite_rel) = ccfde73560d92005bdb73a8970a9869b ocaml(AltErgoLib__Lists) = e47129de8bc4839ccb07f7f242db518c ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30 ocaml(AltErgoLib__Matching) = debbb7ef3cd6e5064e745b7b7410e34a ocaml(AltErgoLib__Matching_types) = 4abce3dafa5ab8226bcffc515e3e9dc6 ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056 ocaml(AltErgoLib__MyUnix) = 4679ce703d8f99a68d404f8aebf585c5 ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65 ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7 ocaml(AltErgoLib__Polynome) = 01c189199bfaa231d958ff1641ce113e ocaml(AltErgoLib__Profiling) = 611531311b4ce018d0ec3d5651d17d05 ocaml(AltErgoLib__Records) = 274d99bf483fa42f6dc429685152b7c7 ocaml(AltErgoLib__Records_rel) = 42accc0d12e7ab38438bbc8a07fa8bf8 ocaml(AltErgoLib__Relation) = 3c01a7d927eaa8698b0243ade3e9b20d ocaml(AltErgoLib__Sat_solver_sig) = c8983fbf2f95055213ed40aeb0a69679 ocaml(AltErgoLib__Satml) = 36aa5bc74b340df2714432f581d8391d ocaml(AltErgoLib__Satml_frontend) = 269d9e8f1693343ee0387861f4cd3e69 ocaml(AltErgoLib__Satml_frontend_hybrid) = 999054c9bfd1706756ab3d1765fb64cc ocaml(AltErgoLib__Satml_types) = 967ede0d40d4e1392a8aad5fe014c353 ocaml(AltErgoLib__Shostak) = 6218efc329b286049920e5947eb7bed9 ocaml(AltErgoLib__Sig) = 4619c856f6922a13efc6f194a319af3f ocaml(AltErgoLib__Sig_rel) = 86e0b46cc8488f833d1e723edce0ac62 ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616 ocaml(AltErgoLib__Th_util) = b39c04964e66a25a44ebf79cc23ab0b9 ocaml(AltErgoLib__Theory) = 56f94bd19cd4a7935fc56769c67b45ec ocaml(AltErgoLib__Timers) = 89ae69e026a25c18cb85925dd8d8e0af ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9 ocaml(AltErgoLib__Typed) = 3ff3a65d7fd36c4e4789424c8d5fc64f ocaml(AltErgoLib__Uf) = 8c05da4ebd6dc9f5a039cb4b06569451 ocaml(AltErgoLib__Use) = 53e5cc7ee576e1f81f2c544e658bf254 ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5 ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13 ocaml(AltErgoLib__Vec) = e7d5da7aa061557bd1fefa70ba5c1961 ocaml(AltErgoLib__Version) = dd122a8947e3cefa82abf5eac9778804 ocaml(AltErgoLib__Xliteral) = a7cb61ad70ff10725161c54d7c98e206 ocaml(AltErgoLib__ZarithNumbers) = 74b945565c7cb98bfa72f669cf834513 ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83 ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(OcplibSimplex) = 2075400216069da28b601d4bd7f6d06b ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Gc) = 5eb53c91ce0f29e01cf703bc08f1f6ef ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98 ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Scanf) = 83da141a71f157410ce5f4fb14d1663f ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c ocaml(Str) = bd4d70b70c8423b47459a789150b0e09 ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f ocamlx(Arith_flags) = 6253f728b9f32e55b1bb21e506b45a23 ocamlx(Big_int) = 1444a8cff8a332b595fdae686e912362 ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 ocamlx(CamlinternalFormatBasics) = b9f07a3e5ac230e60aae78886c488132 ocamlx(CamlinternalLazy) = 0a0bdc34de932576c6a151d050d7823b ocamlx(CamlinternalMod) = 5646c8bdba32dbce6c49e40adefdc814 ocamlx(CamlinternalOO) = 6de25901c85adfdcd62767d794d0a649 ocamlx(Dynlink) = 5cf84b16cecca97919f59945a1f40f52 ocamlx(Dynlink_types) = 5c2c0c03baf5d6ec1921ef42c72cdcee ocamlx(Nat) = d838ab462742b5620f8f5bd1250d0c19 ocamlx(Num) = c622b7a4cd588482185fb54f43274e52 ocamlx(OcplibSimplex) = b3e4af8451f8b983f389a44624c29fa8 ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 ocamlx(Ratio) = 1d951f37c3df13f7fd31b45e92ee6850 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Arg) = 69638880583618e78a9e752e448d8aed ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 ocamlx(Stdlib__Bigarray) = b83389a8e2a3860275a4cac993148418 ocamlx(Stdlib__Buffer) = 13d15ff0a126a649793506624daeb777 ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 ocamlx(Stdlib__Domain) = 7a0abbcd27898319a82074908fc1d331 ocamlx(Stdlib__Filename) = 43ff6d511a8a1beb6d53d34be5c2d18b ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 ocamlx(Stdlib__Gc) = 1dd8901cf91892925f77ad47eef7fde5 ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d ocamlx(Stdlib__Lexing) = 205a58326f15a36b4e1f758ba16830f3 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = 6a432a9badf64b8d816560c375e03ca5 ocamlx(Stdlib__Obj) = f6cd1f83091c70b468c6d6d4b7b6248c ocamlx(Stdlib__Parsing) = bb547742ac0ae3e655d514a89cd52cd3 ocamlx(Stdlib__Printexc) = 3d494d5741edf2d74fa1ea8b45eaf16c ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd ocamlx(Stdlib__Queue) = 9ce7a8dc97b91ba7763fe0f7f300ad93 ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c ocamlx(Stdlib__Scanf) = f7e3c9d9b429eacea1cee4d6c6f66b63 ocamlx(Stdlib__Set) = c2fb84c095397287fba41eab0379d78c ocamlx(Stdlib__Stack) = 3d1e79dff1f7315240aaba59414923ef ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 ocamlx(Stdlib__Sys) = 4f85c9fad632104d251ce8405e3da7bd ocamlx(Stdlib__Weak) = d222625bd882688ba0fc5c4c16c63794 ocamlx(Str) = 5ac329f342ad49ed797911004a9f0f99 ocamlx(Unix) = 5f4cc5cb83244a016d432d1c22d8c351 ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10
Processing files: alt-ergo-debugsource-2.3.3-17.fc40.riscv64
Provides: alt-ergo-debugsource = 2.3.3-17.fc40 alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: alt-ergo-debuginfo-2.3.3-17.fc40.riscv64
Provides: alt-ergo-debuginfo = 2.3.3-17.fc40 alt-ergo-debuginfo(riscv-64) = 2.3.3-17.fc40 debuginfo(build-id) = 7d6e42476adb8ac3b9f7b4a886faa895c2d978cc
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Processing files: alt-ergo-gui-debuginfo-2.3.3-17.fc40.riscv64
Provides: alt-ergo-gui-debuginfo = 2.3.3-17.fc40 alt-ergo-gui-debuginfo(riscv-64) = 2.3.3-17.fc40 debuginfo(build-id) = 73f16ed8480be8f69a61f7d621bb44c894ce381a
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-17.fc40.riscv64
Provides: debuginfo(build-id) = 27306ae66eac069c19964c07db775c3dd7cbeed8 ocaml-alt-ergo-parsers-debuginfo = 2.3.3-17.fc40 ocaml-alt-ergo-parsers-debuginfo(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-17.fc40.riscv64
Provides: debuginfo(build-id) = 06a7f4b0063f5a11a3f8e66972ff16907ec8788f ocaml-alt-ergo-lib-debuginfo = 2.3.3-17.fc40 ocaml-alt-ergo-lib-debuginfo(riscv-64) = 2.3.3-17.fc40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-17.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-2.3.3-17.fc40.riscv64
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-17.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-17.fc40.riscv64.rpm
Child return code was: 0