Mock Version: 3.5
Mock Version: 3.5
Mock Version: 3.5
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-739935-109388/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 0x3f7a3e6890>timeout=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['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'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1696464000
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-11.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-739935-109388/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 0x3f7a3e6890>timeout=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['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'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1696464000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.R4R3z3
+ 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.IeS0SY
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -flto=auto -ffat-lto-objects -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 -flto=auto -ffat-lto-objects -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 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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 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 -j4 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.4lWk9c
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64
++ dirname /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -flto=auto -ffat-lto-objects -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 -flto=auto -ffat-lto-objects -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 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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 alt-ergo-2.3.0-free
+ cd sources
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-11.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-11.fc40.riscv64/usr/lib64/ocaml -name '*.ml' -delete
+ rm -fr /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/doc
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/man/man1
+ cp -p doc/alt-ergo.1 /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/man/man1
+ mv /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/alt-ergo/plugins /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/alt-ergo/preludes /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/lib64/ocaml/alt-ergo
+ rmdir /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/alt-ergo
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.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-11.fc40.riscv64/usr/share/gtksourceview-2.0/language-specs
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/applications
+ desktop-file-install --dir /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/applications com.ocamlpro.alt-ergo.desktop
+ mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/metainfo
+ install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
+ appstream-util validate-relax --nonet /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
/builddir/build/BUILDROOT/alt-ergo-2.3.3-11.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-11.fc40.riscv64/usr/share/icons
+ cp -a icons /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64/usr/share/icons/hicolor
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 2.3.3-11.fc40 --unique-debug-suffix -2.3.3-11.fc40.riscv64 --unique-debug-src-base alt-ergo-2.3.3-11.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-11.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 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.R4eiHT
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -flto=auto -ffat-lto-objects -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 -flto=auto -ffat-lto-objects -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 -flto=auto -ffat-lto-objects -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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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 alt-ergo-2.3.0-free
+ cd sources
+ dune runtest --verbose --release -j4
Shared cache: disabled
Workspace root: /builddir/build/BUILD/alt-ergo-2.3.0-free/sources
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; for_host = None
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; ocaml_bin = External "/usr/bin"
 ; ocaml = Ok External "/usr/bin/ocaml"
 ; ocamlc = External "/usr/bin/ocamlc.opt"
 ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt"
 ; ocamldep = Ok External "/usr/bin/ocamldep.opt"
 ; ocamlmklib = Ok External "/usr/bin/ocamlmklib"
 ; installed_env =
     map
       { "INSIDE_DUNE" :
           "/builddir/build/BUILD/alt-ergo-2.3.0-free/sources/_build/default"
       }
 ; findlib_paths =
     [ External "/usr/lib64/ocaml"; External "/usr/lib64/ocaml" ]
 ; ocaml_config =
     { version = "5.1.0"
     ; standard_library_default = "/usr/lib64/ocaml"
     ; standard_library = "/usr/lib64/ocaml"
     ; standard_runtime = "the_standard_runtime_variable_was_deleted"
     ; ccomp_type = "cc"
     ; c_compiler = "gcc"
     ; ocamlc_cflags =
         [ "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ; "-pthread"
         ; "-fPIC"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ]
     ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ]
     ; ocamlopt_cflags =
         [ "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ; "-pthread"
         ; "-fPIC"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ]
     ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ]
     ; bytecomp_c_compiler =
         [ "gcc"
         ; "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ; "-pthread"
         ; "-fPIC"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ; "-D_FILE_OFFSET_BITS=64"
         ]
     ; bytecomp_c_libraries =
         [ "-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"
         ; "-lzstd"
         ; "-lm"
         ; "-lpthread"
         ]
     ; native_c_compiler =
         [ "gcc"
         ; "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ; "-pthread"
         ; "-fPIC"
         ; "-O2"
         ; "-fexceptions"
         ; "-g"
         ; "-grecord-gcc-switches"
         ; "-pipe"
         ; "-Wall"
         ; "-Werror=format-security"
         ; "-Werror=implicit-function-declaration"
         ; "-Werror=implicit-int"
         ; "-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"
         ; "-D_FILE_OFFSET_BITS=64"
         ]
     ; native_c_libraries =
         [ "-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"
         ; "-lzstd"
         ; "-lm"
         ; "-lpthread"
         ]
     ; native_pack_linker = [ "ld"; "-r"; "-o" ]
     ; cc_profile = []
     ; architecture = "riscv"
     ; model = "riscv64"
     ; int_size = 63
     ; word_size = 64
     ; system = "linux"
     ; asm = [ "as" ]
     ; asm_cfi_supported = true
     ; with_frame_pointers = false
     ; ext_exe = ""
     ; ext_obj = ".o"
     ; ext_asm = ".s"
     ; ext_lib = ".a"
     ; ext_dll = ".so"
     ; os_type = "Unix"
     ; default_executable_name = "a.out"
     ; systhread_supported = true
     ; host = "riscv64-unknown-linux-gnu"
     ; target = "riscv64-unknown-linux-gnu"
     ; profiling = false
     ; flambda = true
     ; spacetime = false
     ; safe_string = true
     ; exec_magic_number = "Caml1999X033"
     ; cmi_magic_number = "Caml1999I033"
     ; cmo_magic_number = "Caml1999O033"
     ; cma_magic_number = "Caml1999A033"
     ; cmx_magic_number = "Caml1999y033"
     ; cmxa_magic_number = "Caml1999z033"
     ; ast_impl_magic_number = "Caml1999M033"
     ; ast_intf_magic_number = "Caml1999N033"
     ; cmxs_magic_number = "Caml1999D033"
     ; cmt_magic_number = "Caml1999T033"
     ; natdynlink_supported = true
     ; supports_shared_libraries = true
     ; windows_unicode = false
     }
 ; instrument_with = []
 }
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: alt-ergo-2.3.3-11.fc40.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Hc22iz
+ umask 022
+ cd /builddir/build/BUILD
+ cd alt-ergo-2.3.0-free
+ DOCDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-11.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-11.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-11.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-11.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-11.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-11.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-11.fc40.riscv64/usr/share/doc/alt-ergo
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: alt-ergo = 2.3.3-11.fc40 alt-ergo(riscv-64) = 2.3.3-11.fc40 ocaml(ABWhy3Plugin) = fc0e0e726fe505894a7edc995b3a1bea ocaml(ABWhy3Plugin__Why3_lexer) = 8522f66336a5a839bae9f2c07169ab72 ocaml(ABWhy3Plugin__Why3_loc) = d31b244750e282d273ee003b7b94a722 ocaml(ABWhy3Plugin__Why3_parser) = f49a8832713fafe753a4fd3f80859506 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) libzstd.so.1()(64bit) ocaml(ABWhy3Plugin) = fc0e0e726fe505894a7edc995b3a1bea ocaml(ABWhy3Plugin__Why3_loc) = d31b244750e282d273ee003b7b94a722 ocaml(ABWhy3Plugin__Why3_parser) = f49a8832713fafe753a4fd3f80859506 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) = 95e140ca8605fedbbe5cf655ba586b5e ocaml(Nat) = 9edacab8ae452985293e19d18ccc2f5a 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-11.fc40.riscv64
Provides: alt-ergo-gui = 2.3.3-11.fc40 alt-ergo-gui(riscv-64) = 2.3.3-11.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) libzstd.so.1()(64bit) rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-2.3.3-11.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-11.fc40 ocaml-alt-ergo-parsers(riscv-64) = 2.3.3-11.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) = 9edacab8ae452985293e19d18ccc2f5a 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-11.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-11.fc40 ocaml-alt-ergo-parsers-devel(riscv-64) = 2.3.3-11.fc40 ocamlx(AltErgoParsers) = 7b14b7a5978efb15c3dc34bcba44b2ae ocamlx(AltErgoParsers__MyZip) = 89241731213b8dce596016180594cd97 ocamlx(AltErgoParsers__Parsers) = a50ce5c3675d4bfee1d3f0c771afcd2d ocamlx(AltErgoParsers__Parsers_loader) = f993490f1befa172d39192a5d211a1fa ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = dc9ef357d7ceb6ded54f99235f1e88e5 ocamlx(AltErgoParsers__Why_lexer) = 5143b10a6daa5d848c364a7422180b42 ocamlx(AltErgoParsers__Why_parser) = 3db5661bb8180c8af90fbdb2de61017f
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) = 9edacab8ae452985293e19d18ccc2f5a 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) = 379395e6b353e0fc91bb1c8a77690a1a ocamlx(CamlinternalFormat) = ae97d2b84e532a9a212e0e5b5779297f ocamlx(Int_misc) = 3c4d4c95fe1bc1cb6acb41b5038817bc ocamlx(Nat) = 85aa55492e9f6f5590c103b378ae9f0e ocamlx(Num) = 56875ef21d506ef79c3b4cbaa71f60a8 ocamlx(Psmt2Frontend__Options) = d22e2f4016140b6781e840cb3d699d6a ocamlx(Psmt2Frontend__Smtlib_error) = a8abe81c2c8484c9f55df7d3c9ae1585 ocamlx(Psmt2Frontend__Smtlib_lexer) = 504ca09010de4f9ea4f39183634e6702 ocamlx(Psmt2Frontend__Smtlib_parser) = cab9f5d743856b6ad423eea9d52786bf ocamlx(Psmt2Frontend__Smtlib_ty) = 59fb7686d3674289a04bdd976dde9ff9 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 65aa7a1899afd176e59ccdc567134534 ocamlx(Psmt2Frontend__Smtlib_typing) = aeae8392bc1c2ca4c0f25c018c5123e9 ocamlx(Ratio) = d6a76e2dc0d5c3d2b31a85f889c6c8ec ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Arg) = 4bdfd4079841d66b1e8dcb077942909d ocamlx(Stdlib__Array) = 3af1d566c6148a199985d71cbd1c6545 ocamlx(Stdlib__Bigarray) = e0e9b892cbd117060d511cac34d97704 ocamlx(Stdlib__Buffer) = d527fea84697b046dceaf8ef2eb5c89a ocamlx(Stdlib__Bytes) = 6e96cb79087dc8383da67de61ba228be ocamlx(Stdlib__Domain) = 9508b777df5086cd80599270908bfec2 ocamlx(Stdlib__Filename) = 4aa95ae4f959f11404892271cab60bb0 ocamlx(Stdlib__Format) = f90c0bee78deceb4a6ee1637008136ec ocamlx(Stdlib__Hashtbl) = 9531514b7ee9cf989da6b9fb2410c8ea ocamlx(Stdlib__Lexing) = a3dd8098d41923179f98c8d0ab446823 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Parsing) = 1fcea6fdd365f25457c26ed0b180355a ocamlx(Stdlib__Printf) = 527051c09b189b1a45f3d3fc15e54263 ocamlx(Stdlib__Random) = 755e8c0f74d6e5babf19c28b381bfd1b ocamlx(Stdlib__String) = 2a70f0bbdd4065b9a6f9202cfba1eaa6 ocamlx(Stdlib__Sys) = 80174ddb486c25ada27d984f889dee18 ocamlx(Zip) = c1c7aac6152d808800691a5da7eae813
Processing files: ocaml-alt-ergo-lib-2.3.3-11.fc40.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ur1BpH
+ umask 022
+ cd /builddir/build/BUILD
+ cd alt-ergo-2.3.0-free
+ LICENSEDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-11.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-11.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-11.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-11.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-11.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-11.fc40 ocaml-alt-ergo-lib(riscv-64) = 2.3.3-11.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) = 9edacab8ae452985293e19d18ccc2f5a 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) = 8e6d11d9258256ce68f87ffc7b5575b9 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-11.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-11.fc40 ocaml-alt-ergo-lib-devel(riscv-64) = 2.3.3-11.fc40 ocamlx(AltErgoLib) = e4b143554947596c36c7dc75a9f8418e ocamlx(AltErgoLib__Ac) = ea75239a5d5d9b3deaf4c0af9207fba2 ocamlx(AltErgoLib__Adt) = 9c54e51d79c5fb00eb6208a172b45421 ocamlx(AltErgoLib__Adt_rel) = 58d552b6b08310e46f0e193106d30c88 ocamlx(AltErgoLib__Arith) = ed596b06f10b3b3b1f1254894067697e ocamlx(AltErgoLib__Arrays) = 5f632b960c2dc931b3e230af9c828546 ocamlx(AltErgoLib__Arrays_rel) = 6196fa65344dac5cfa1ea0228af23f6b ocamlx(AltErgoLib__Bitv) = a25cc8c8e40cd84dcb493162b7fbbb96 ocamlx(AltErgoLib__Bitv_rel) = 8bd67b6ac41ccec4fbcc1a6c9f9762e6 ocamlx(AltErgoLib__Ccx) = 0f4a0e72c2b77783c3d60427acd6ef2a ocamlx(AltErgoLib__Cnf) = 986e71a4f551319caf73065082d4a204 ocamlx(AltErgoLib__Commands) = 92a933fb5902f1d001e463d52aa7b8bc ocamlx(AltErgoLib__Config) = 93e41f26a39caccb56c1eafaa4cb384d ocamlx(AltErgoLib__Emap) = f82ab3988801d523cb9378f93a5c39b6 ocamlx(AltErgoLib__Enum) = 58053a8e021d4dbc7d52b9bf193612b2 ocamlx(AltErgoLib__Enum_rel) = d7c7adc4921556092aefe78dbf66ea0c ocamlx(AltErgoLib__Errors) = 6d4325c2a6786028347c428246a6aaad ocamlx(AltErgoLib__Explanation) = 4913d5c83a6b8d35243c908016fa762e ocamlx(AltErgoLib__Expr) = 2911ecee0984f6416c3611376ba9c921 ocamlx(AltErgoLib__Fpa_rounding) = 1566b0ec7c94c4e9853dc5368e51528f ocamlx(AltErgoLib__Frontend) = e372dcd1d523c5d3c2ddac08df11b0f9 ocamlx(AltErgoLib__Fun_sat) = d6ad080c22078492e5559e5ff4bf9ccb ocamlx(AltErgoLib__Gc_debug) = 76649182d935938a9a117f598182ee7a ocamlx(AltErgoLib__Hconsing) = b6fa8a87be53daa0b722771ebf9accf1 ocamlx(AltErgoLib__Hstring) = 00ee3f7f4a347d5af7ccd1974c1b8de4 ocamlx(AltErgoLib__Iheap) = cdc90ebd6dc8703f3ef851284bfcb7aa ocamlx(AltErgoLib__Inequalities) = 3241c348b6d54130f623cc10f9e3b4aa ocamlx(AltErgoLib__Input) = 4d5e609bd79f82776d2df1a71523c04e ocamlx(AltErgoLib__Instances) = 48c86c172cbb6bf5b52784e5f939e1f3 ocamlx(AltErgoLib__IntervalCalculus) = c388b6b94be442433b04e1281473e75b ocamlx(AltErgoLib__Intervals) = cc497a3cec2293f03d4be9e7e44c6a8b ocamlx(AltErgoLib__Ite) = 3f2922a6db1b04e938d781e51ec054d7 ocamlx(AltErgoLib__Ite_rel) = 51810f36ae9ea954fbeac0c697fe8932 ocamlx(AltErgoLib__Lists) = c211712520093572b0586cf13386e24d ocamlx(AltErgoLib__Loc) = b02ce43a99272a3a50c479c71b0ef237 ocamlx(AltErgoLib__Matching) = d46095c99c7b35ed701f70abcfcd3a83 ocamlx(AltErgoLib__MyDynlink) = 8b965096ba5a904655ace5e7953827b5 ocamlx(AltErgoLib__MyUnix) = 55f8bd40c9ad11df17dfa01e7d3e3711 ocamlx(AltErgoLib__Numbers) = 5bc7e8cde833a9b03dfa3164d9070979 ocamlx(AltErgoLib__NumsNumbers) = fa1597802463d8b9e33679d2eb877570 ocamlx(AltErgoLib__Options) = fe66871cec84f9a53ed242e2ecb7d1ad ocamlx(AltErgoLib__Parsed) = 179cdea3dc5fe2bcad1fe697dce9dff7 ocamlx(AltErgoLib__Parsed_interface) = 521372a2956573fe6488047660d58833 ocamlx(AltErgoLib__Polynome) = bb7ded1807907e7c56ccf2e3d2d3fe33 ocamlx(AltErgoLib__Profiling) = b6b46e40972d514152c87fcf1d273f55 ocamlx(AltErgoLib__Records) = 24d71b77e742822edb93f61feee3c2a6 ocamlx(AltErgoLib__Records_rel) = f454dc7a753484cc66a3d8e75d99152d ocamlx(AltErgoLib__Relation) = 6d41ed4cdd0b24bf4b29a3a33d1340fb ocamlx(AltErgoLib__Sat_solver) = cb30aeeaa32962418fe999cddc43220b ocamlx(AltErgoLib__Sat_solver_sig) = 8cc7e23dc0c8cb4d6b9412aff0a9e2b2 ocamlx(AltErgoLib__Satml) = 4daffcccaef6136231c69e27982948f7 ocamlx(AltErgoLib__Satml_frontend) = 7b7593871b745ba989ddd0f144668100 ocamlx(AltErgoLib__Satml_frontend_hybrid) = 047c6599187757acea4c8d38e1d027ea ocamlx(AltErgoLib__Satml_types) = efb29526dd963acdd9fca5376405702b ocamlx(AltErgoLib__Shostak) = 60000542acbb70deceb18c8383b6cff3 ocamlx(AltErgoLib__Symbols) = 6b125d986fc148ab2f22075d87dbc5a0 ocamlx(AltErgoLib__Th_util) = 8445f8714efda78273b6615670267fab ocamlx(AltErgoLib__Theory) = 4e4be7b8b693be451b4c86879ec37b26 ocamlx(AltErgoLib__Timers) = 7176f8ee19eca8589bd658526dc9cc51 ocamlx(AltErgoLib__Ty) = 4c7b26f18b1ea89c6c5536c41c6e4cc7 ocamlx(AltErgoLib__Typechecker) = d424899fdd359d700a42b6e364b57d18 ocamlx(AltErgoLib__Typed) = 940cba9293c67fa81537528cef3a9882 ocamlx(AltErgoLib__Uf) = 48f53b2c458701865faf931564615937 ocamlx(AltErgoLib__Use) = 9bb26b612fe0747489b8437d7237b867 ocamlx(AltErgoLib__Util) = 2e562ef03314fe2e0e8f660a976cfd45 ocamlx(AltErgoLib__Var) = cc5d2dd059a8759035f985013c4bafcf ocamlx(AltErgoLib__Vec) = 90524243cb3d5e95798279692283cc1e ocamlx(AltErgoLib__Version) = 1c899fe15423354756af06b578b1006a ocamlx(AltErgoLib__Xliteral) = f7f564bacebaf37ee2c5bb7f2faccd99 ocamlx(AltErgoLib__ZarithNumbers) = 1b54092f1b1bad53bbed6353f458d863
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) = 9edacab8ae452985293e19d18ccc2f5a 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) = 8e6d11d9258256ce68f87ffc7b5575b9 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) = 379395e6b353e0fc91bb1c8a77690a1a ocamlx(CamlinternalFormat) = ae97d2b84e532a9a212e0e5b5779297f ocamlx(CamlinternalFormatBasics) = b9f07a3e5ac230e60aae78886c488132 ocamlx(CamlinternalLazy) = c1376ce5cb90729a16ef1251b8de014f ocamlx(CamlinternalMod) = 06f3c035408d7fda6143dadbb9d0fe4c ocamlx(CamlinternalOO) = 5c84355d04a121478ba80dbd44f0455f ocamlx(Dynlink) = 9d7074b773ef570e8c798016eb6186f5 ocamlx(Dynlink_types) = e30ed72c52ed08475dc5647b56833ba1 ocamlx(Nat) = 85aa55492e9f6f5590c103b378ae9f0e ocamlx(Num) = 56875ef21d506ef79c3b4cbaa71f60a8 ocamlx(OcplibSimplex) = 805fd7fcd87f76a0ee4be71f9cf92291 ocamlx(Q) = 274d9db67d03e5193a21b12238a205d8 ocamlx(Ratio) = d6a76e2dc0d5c3d2b31a85f889c6c8ec ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Arg) = 4bdfd4079841d66b1e8dcb077942909d ocamlx(Stdlib__Array) = 3af1d566c6148a199985d71cbd1c6545 ocamlx(Stdlib__Bigarray) = e0e9b892cbd117060d511cac34d97704 ocamlx(Stdlib__Buffer) = d527fea84697b046dceaf8ef2eb5c89a ocamlx(Stdlib__Bytes) = 6e96cb79087dc8383da67de61ba228be ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 ocamlx(Stdlib__Domain) = 9508b777df5086cd80599270908bfec2 ocamlx(Stdlib__Filename) = 4aa95ae4f959f11404892271cab60bb0 ocamlx(Stdlib__Format) = f90c0bee78deceb4a6ee1637008136ec ocamlx(Stdlib__Gc) = 9457e2a09e3704fea087444a8de408a6 ocamlx(Stdlib__Hashtbl) = 9531514b7ee9cf989da6b9fb2410c8ea ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d ocamlx(Stdlib__Lexing) = a3dd8098d41923179f98c8d0ab446823 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = ec4596c14facd8bd30146ba012ccf9bf ocamlx(Stdlib__Obj) = 32178ca49b05210181d3cacd255b6b8f ocamlx(Stdlib__Parsing) = 1fcea6fdd365f25457c26ed0b180355a ocamlx(Stdlib__Printexc) = 1e229aacace8d903bbd02744b08a4f55 ocamlx(Stdlib__Printf) = 527051c09b189b1a45f3d3fc15e54263 ocamlx(Stdlib__Queue) = 8c22843f399f7e0b776053489acace8c ocamlx(Stdlib__Random) = 755e8c0f74d6e5babf19c28b381bfd1b ocamlx(Stdlib__Scanf) = d49a8147be434067cbf40fdc45c00acc ocamlx(Stdlib__Set) = 167748f394b82bd3f24f5739f737c4ac ocamlx(Stdlib__Stack) = 9592479bee34421d36a065b278c0fbd3 ocamlx(Stdlib__String) = 2a70f0bbdd4065b9a6f9202cfba1eaa6 ocamlx(Stdlib__Sys) = 80174ddb486c25ada27d984f889dee18 ocamlx(Stdlib__Weak) = 4f248a3111e10e8b615b3b2cf3372bdd ocamlx(Str) = 8ca8462ae17b387e0aff9b2bc7ea3b09 ocamlx(Unix) = 64f3e266f8eba3d2e6784a0498fb0491 ocamlx(Z) = 09f41ad9ceb114b33031ba0c2a2484b1
Processing files: alt-ergo-debugsource-2.3.3-11.fc40.riscv64
Provides: alt-ergo-debugsource = 2.3.3-11.fc40 alt-ergo-debugsource(riscv-64) = 2.3.3-11.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-11.fc40.riscv64
Provides: alt-ergo-debuginfo = 2.3.3-11.fc40 alt-ergo-debuginfo(riscv-64) = 2.3.3-11.fc40 debuginfo(build-id) = 857cc324782a40e081311923b09d27ef099e7588
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-11.fc40
Processing files: alt-ergo-gui-debuginfo-2.3.3-11.fc40.riscv64
Provides: alt-ergo-gui-debuginfo = 2.3.3-11.fc40 alt-ergo-gui-debuginfo(riscv-64) = 2.3.3-11.fc40 debuginfo(build-id) = 97622aeecc6ec2648a4112482134214cd39b16e7
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-11.fc40
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-11.fc40.riscv64
Provides: debuginfo(build-id) = 9c578674b15afe2f3a74077084b033075f6afb5c ocaml-alt-ergo-parsers-debuginfo = 2.3.3-11.fc40 ocaml-alt-ergo-parsers-debuginfo(riscv-64) = 2.3.3-11.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-11.fc40
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-11.fc40.riscv64
Provides: debuginfo(build-id) = eed558ebdf84c532819dc97ba80e738ea958c934 ocaml-alt-ergo-lib-debuginfo = 2.3.3-11.fc40 ocaml-alt-ergo-lib-debuginfo(riscv-64) = 2.3.3-11.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-11.fc40
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-2.3.3-11.fc40.riscv64
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-11.fc40.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-11.fc40.riscv64.rpm
Child return code was: 0