Mock Version: 6.1
Mock Version: 6.1
Mock Version: 6.1
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f43-build-59184449-6571584/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 0x7f1b92a4d370>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.j3m18pp5:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.j3m18pp5:/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', '226d48d582824f599bb7099764cd3a0e', '-D', '/var/lib/mock/f43-build-59184449-6571584/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.j3m18pp5:/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 x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1736985600
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-24.fc43.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f43-build-59184449-6571584/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 0x7f1b92a4d370>timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.j3m18pp5:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.j3m18pp5:/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', '073fc26dc8ca415c98aa9d9ab6e11676', '-D', '/var/lib/mock/f43-build-59184449-6571584/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.j3m18pp5:/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 x86_64 --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: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1736985600
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.LB9jZs
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.s42Dxg
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-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
+ /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
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-inline-error.patch
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.AMsDfR
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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
+ 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.3-build/alt-ergo-2.3.0-free/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 !
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.8JCkDs
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -O -j48 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.nhEAA1
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ '[' /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
++ dirname /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build
+ mkdir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
+ CFLAGS='-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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/BUILD/alt-ergo-2.3.3-build/BUILDROOT '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/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml -name '*.ml' -delete
+ rm -fr /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1
+ cp -p doc/alt-ergo.1 /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1
+ mv /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo
+ rmdir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/gtksourceview-2.0/language-specs
+ cp -p doc/gtk-lang/alt-ergo.lang /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/gtksourceview-2.0/language-specs
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/applications
+ desktop-file-install --dir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/applications com.ocamlpro.alt-ergo.desktop
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo
+ install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
+ appstream-util validate-relax --nonet /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml: OK
+ cd -
/builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/icons
+ cp -a icons /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/icons/hicolor
+ /usr/bin/find-debuginfo -j48 --strict-build-id -m -i --build-id-seed 2.3.3-24.fc43 --unique-debug-suffix -2.3.3-24.fc43.x86_64 --unique-debug-src-base alt-ergo-2.3.3-24.fc43.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.3.3-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-24.fc43.x86_64
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
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
+ /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j48
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j48 /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.a: replacing with normalized version
/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.a: replacing with normalized version
Scanned 69 directories and 524 files,
               processed 3 inodes,
               2 modified (2 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/alt-ergo-2.3.3-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.BrqCky
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-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  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -j48
Shared cache: enabled-except-user-rules
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/alt-ergo-2.3.3-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"
 ; instrument_with = []
 }
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: alt-ergo-2.3.3-24.fc43.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.z0DH7X
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ cd alt-ergo-2.3.0-free
+ DOCDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/README.md /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/CHANGES /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/examples /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: alt-ergo = 2.3.3-24.fc43 alt-ergo(x86-64) = 2.3.3-24.fc43 ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_lexer) = 676a2d1ff07d2e2c6d8979c7be4698f6 ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8 ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__FmSimplexIneqs) = 26d258bdcb8c4bec50c7459f67d6fcb9 ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3 ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(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) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.9)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libz-ng.so.2()(64bit) libz-ng.so.2(ZLIB_NG_2.0.0)(64bit) libz-ng.so.2(ZLIB_NG_2.1.0)(64bit) ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8 ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583 ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3 ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a ocaml(MenhirLib) = 9a5c2a39e3601013dcb5073bf9979b09 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b rtld(GNU_HASH)
Processing files: alt-ergo-gui-2.3.3-24.fc43.x86_64
Provides: alt-ergo-gui = 2.3.3-24.fc43 alt-ergo-gui(x86-64) = 2.3.3-24.fc43 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: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(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) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.9)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(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.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libpango-1.0.so.0()(64bit) libz-ng.so.2()(64bit) libz-ng.so.2(ZLIB_NG_2.0.0)(64bit) libz-ng.so.2(ZLIB_NG_2.1.0)(64bit) rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-2.3.3-24.fc43.x86_64
Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = d18e4e1937595a85e4279b2c4872adad ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers = 2.3.3-24.fc43 ocaml-alt-ergo-parsers(x86-64) = 2.3.3-24.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-24.fc43.x86_64
Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = d18e4e1937595a85e4279b2c4872adad ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers-devel = 2.3.3-24.fc43 ocaml-alt-ergo-parsers-devel(x86-64) = 2.3.3-24.fc43 ocamlx(AltErgoParsers) = af3af21ba9b69470f45dce543ab8025e ocamlx(AltErgoParsers__MyZip) = 773e83be5c867ff1f505e941e47b9696 ocamlx(AltErgoParsers__Parsers) = 8bfc8065f98047ac273d4d31d4b7f48f ocamlx(AltErgoParsers__Parsers_loader) = 53000a44c0d8c588a0a49fe42edcd543 ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = a59a841afa45569d23b769a10ea21808 ocamlx(AltErgoParsers__Why_lexer) = b8f0365e55d0a742120bb7df22029482 ocamlx(AltErgoParsers__Why_parser) = 33bcf7984f57e02750eb45b4567b2492
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 ocamlx(Arith_flags) = 47817eb84db214dbcb58d1f8ec3bb132 ocamlx(Big_int) = 6d414683a4724fb70c803009c929b909 ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2 ocamlx(Int_misc) = e9be17612fcc5344fdea2aa3fed1b8e6 ocamlx(Nat) = db633ff316857604e7427a4a84247d8b ocamlx(Num) = 98aed73c764fb1d48b66e9c87a6251ec ocamlx(Psmt2Frontend__Options) = e2284500f761fc4f8bc88c14d8548a6a ocamlx(Psmt2Frontend__Smtlib_error) = a2dc5e3753cae1ea7e98cbe5cc9e2276 ocamlx(Psmt2Frontend__Smtlib_lexer) = 79a1f48d8e278bcd05dc73d2141935b3 ocamlx(Psmt2Frontend__Smtlib_parser) = ebaaaeddfbde348e34ca5188878c7837 ocamlx(Psmt2Frontend__Smtlib_ty) = 65c54dc0874957e3144c1921e18ae346 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 1a527f8f22b470f1a771dd8763fbb6cb ocamlx(Psmt2Frontend__Smtlib_typing) = 245cd8a5eea2df08586c5bee97fe305b ocamlx(Ratio) = f1f10dc06e590803f2fa494c47391cb0 ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Arg) = e478e82146b73031d7615d2b8eb32520 ocamlx(Stdlib__Array) = 6404162ec33be9da742187b2e7daa6dd ocamlx(Stdlib__Bigarray) = d7bed1890ae6e7682731ed7e64c57fa1 ocamlx(Stdlib__Buffer) = 8bfec1bb8025d5663957b5cb3fb43d7a ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5 ocamlx(Stdlib__Domain) = 03a029c7c0bd3ab3d998e402bfe1e4dc ocamlx(Stdlib__Filename) = 5ddda9b554b28b82c669e84ba477e330 ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563 ocamlx(Stdlib__Hashtbl) = 1aee99c15b532bac42321d046d148b7d ocamlx(Stdlib__Lexing) = f4f1110b97c9a35dc4f53f94a8a43d45 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__Parsing) = 9ce7d87219beaa874f2db8dbc0197fd8 ocamlx(Stdlib__Printf) = d684bd439c5cd6675e8dbdb2407652fa ocamlx(Stdlib__Random) = 4b4d0e60f5d1223ff8e1fd34ae84ade0 ocamlx(Stdlib__String) = 343b4a10f6af2b7002ce3db416b04c17 ocamlx(Stdlib__Sys) = c6216d8af6ac7a00ae387d19a36a9d19 ocamlx(Zip) = bc1dee4cc78128d16e5de3d3e0dc3408
Processing files: ocaml-alt-ergo-lib-2.3.3-24.fc43.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.kJQTON
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ cd alt-ergo-2.3.0-free
+ LICENSEDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LGPL-License.txt /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LICENSE.md /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/License.OCamlPro /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Frontend) = d0715d3407016d96b2ae3c1cb9323b0d ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Gc_debug) = 70979f673f006ff363b690bfa744a575 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__NumsNumbers) = dc97aadf71cac106ebbd4e58af72fcb9 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver) = 957315110c3fee44af6177602acc76dd ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typechecker) = 1873f8349ff14bd8dd89cf1a858aa195 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib = 2.3.3-24.fc43 ocaml-alt-ergo-lib(x86-64) = 2.3.3-24.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(OcplibSimplex) = ee49c002ecc2436fa836cdd8395ec713 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Gc) = 2e5db60eb0fd380398134c2f54ffbbbb ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = 868346220c1cf1283db920a0b40698e5 ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-lib-devel-2.3.3-24.fc43.x86_64
Provides: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Frontend) = d0715d3407016d96b2ae3c1cb9323b0d ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Gc_debug) = 70979f673f006ff363b690bfa744a575 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumsNumbers) = dc97aadf71cac106ebbd4e58af72fcb9 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver) = 957315110c3fee44af6177602acc76dd ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typechecker) = 1873f8349ff14bd8dd89cf1a858aa195 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib-devel = 2.3.3-24.fc43 ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-24.fc43 ocamlx(AltErgoLib) = f0647bb742bda2a51afe4c3847e60193 ocamlx(AltErgoLib__Ac) = c553f7bfbf6563163d99263a08db4a06 ocamlx(AltErgoLib__Adt) = 0253645c0a952343b40725457cb24950 ocamlx(AltErgoLib__Adt_rel) = c87463f3e87138392d8992f162c2d6bc ocamlx(AltErgoLib__Arith) = 4740cc199a6b594f66a1c350750baca4 ocamlx(AltErgoLib__Arrays) = 49649e974e85f11ccf32bacc8391b779 ocamlx(AltErgoLib__Arrays_rel) = 55fed94fdc7126d6ac98908ed27fa3a8 ocamlx(AltErgoLib__Bitv) = c69421338f91626029eded8779059ffc ocamlx(AltErgoLib__Bitv_rel) = 8dce80acb6f38fcc5068fe57ae8e58c7 ocamlx(AltErgoLib__Ccx) = 07ce4a465c5457831d8b49f15db3a354 ocamlx(AltErgoLib__Cnf) = e6f9db9fd22a42dbe5726a0bfa9d79a3 ocamlx(AltErgoLib__Commands) = b6aaab19530033e485fe3fa42c2864b3 ocamlx(AltErgoLib__Config) = a9797508538da0c95b9d8a42b91b18ba ocamlx(AltErgoLib__Emap) = ea4b3501f505534250378beb6fbb1fea ocamlx(AltErgoLib__Enum) = 76a5b2d7c27255ef613b1f5116a54357 ocamlx(AltErgoLib__Enum_rel) = a975db6366202ee10e7c61862621cb62 ocamlx(AltErgoLib__Errors) = 50ea5bb30c9ea9b113d3ef3d46107f98 ocamlx(AltErgoLib__Explanation) = c0c9667cbd520be4d59be29fde0f16ac ocamlx(AltErgoLib__Expr) = d83fba471361239256a2e297ac41e7dd ocamlx(AltErgoLib__Fpa_rounding) = 3d8b1e29ddfe556e24e3855339b76900 ocamlx(AltErgoLib__Frontend) = b6d796546659d96e98d1095b142300d7 ocamlx(AltErgoLib__Fun_sat) = 9f7ca1ffbd2580c6cd7185e283d1926b ocamlx(AltErgoLib__Gc_debug) = a1889593ba60653d3376863062b92882 ocamlx(AltErgoLib__Hconsing) = 473910caba76d9ad6475ab50e622e705 ocamlx(AltErgoLib__Hstring) = 9e98becdb4bbe324378246d447dfa3e3 ocamlx(AltErgoLib__Iheap) = b67e673c8865cbb948f185044ba0e5c9 ocamlx(AltErgoLib__Inequalities) = b0aa05d894d102445d0e066a5e66513e ocamlx(AltErgoLib__Input) = 6db110965c643c97cf2e4825e969575a ocamlx(AltErgoLib__Instances) = 39c685a836899e5946cb7451c425a33d ocamlx(AltErgoLib__IntervalCalculus) = def26ccd7f8d0017e1051f0f5ada25e7 ocamlx(AltErgoLib__Intervals) = 9b369ebe98f8808b93c8541dfa53690c ocamlx(AltErgoLib__Ite) = ea390b325d6803d9434d31115a569b7c ocamlx(AltErgoLib__Ite_rel) = 9d52c52eb0d803ba8e5fd5d14e103bff ocamlx(AltErgoLib__Lists) = ead21e451cc4d7aab393af0715c49885 ocamlx(AltErgoLib__Loc) = b027c0c5c37853b37803ea3ba3b4be72 ocamlx(AltErgoLib__Matching) = ba53b21863053fed1db2c8da5e246276 ocamlx(AltErgoLib__MyDynlink) = d540cf0e6df9b386cdf89751ed4a59d9 ocamlx(AltErgoLib__MyUnix) = e34534296edeff9e5f7bc8deb2a31c86 ocamlx(AltErgoLib__Numbers) = 32279db73729d24f57f2479745a22be6 ocamlx(AltErgoLib__NumsNumbers) = 4b1196728e90db48683b430b5fc50211 ocamlx(AltErgoLib__Options) = 7bbc1ce17a72055b72293199d98ef9f1 ocamlx(AltErgoLib__Parsed) = bd8dfce638050d6274140f838f72fccb ocamlx(AltErgoLib__Parsed_interface) = 6b09e0253a33a404220b7f7b7a7bf6ac ocamlx(AltErgoLib__Polynome) = ed1cdaf7df0d004d75a5c9a6d3911c9a ocamlx(AltErgoLib__Profiling) = 751ac9c122ed1730d03236e24913331f ocamlx(AltErgoLib__Records) = 85112092b17e4aaab10f6ab1b9971e4e ocamlx(AltErgoLib__Records_rel) = fbaa071434dfed86e83f84ec67fe364d ocamlx(AltErgoLib__Relation) = 510fb024ec802558df71d7de0dd3faf9 ocamlx(AltErgoLib__Sat_solver) = fe8af993667039bdd2da226266a044c6 ocamlx(AltErgoLib__Sat_solver_sig) = 4cf24c30c09d153f377159863651b96b ocamlx(AltErgoLib__Satml) = 689884358ad2295c6937e7218cbc52a6 ocamlx(AltErgoLib__Satml_frontend) = b0bae5aba1ab45e848e948a14f628311 ocamlx(AltErgoLib__Satml_frontend_hybrid) = 49537fa23506e7356c2820dfc8893986 ocamlx(AltErgoLib__Satml_types) = a8078214dab16f55c69db9495a028d29 ocamlx(AltErgoLib__Shostak) = 1f6c12aaa305a38d86a50701df4104c0 ocamlx(AltErgoLib__Symbols) = 4a19113ee6cdc785adb69ebb57093b48 ocamlx(AltErgoLib__Th_util) = 7ce9cf7029cc0685b30e0872b097eb4b ocamlx(AltErgoLib__Theory) = 9df34029971fe824b783f6ded457ca77 ocamlx(AltErgoLib__Timers) = a532cc7bd1137d94af0ce3e8e4f5e4f5 ocamlx(AltErgoLib__Ty) = 8dc4f6adde64430e21fa1d3e2a4e3865 ocamlx(AltErgoLib__Typechecker) = 8257102f2b57c73a943111b8f79becac ocamlx(AltErgoLib__Typed) = d72bf4b89b5ae164b2b55219ec566633 ocamlx(AltErgoLib__Uf) = bfc9e3fe128dbf4bb308bc72b8f5ea52 ocamlx(AltErgoLib__Use) = c661ff72fb20464fa2efb57893cd8c2e ocamlx(AltErgoLib__Util) = 3ddd04c0a68e5be5382e9c60cd34f26e ocamlx(AltErgoLib__Var) = 5febc36f473fe511d6ca6ba92a96a7a9 ocamlx(AltErgoLib__Vec) = 35858fbb899294355f38aed933bfc5d2 ocamlx(AltErgoLib__Version) = 00c4c07daa93e25cda97d75d4b7faa6d ocamlx(AltErgoLib__Xliteral) = 89b481cd388b85b823c17b72feb8826b ocamlx(AltErgoLib__ZarithNumbers) = 176b44f63049e06b274c312f9ac75c42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(OcplibSimplex) = ee49c002ecc2436fa836cdd8395ec713 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Gc) = 2e5db60eb0fd380398134c2f54ffbbbb ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = 868346220c1cf1283db920a0b40698e5 ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f ocamlx(Arith_flags) = 47817eb84db214dbcb58d1f8ec3bb132 ocamlx(Big_int) = 6d414683a4724fb70c803009c929b909 ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2 ocamlx(CamlinternalFormatBasics) = 9a4b29f13d1e7f737f80587da2a10cdf ocamlx(CamlinternalLazy) = e09503f1928c92c5b9d62c3a764fa02c ocamlx(CamlinternalMod) = e135e1f1a48662d611cb95cdb87e889a ocamlx(CamlinternalOO) = 4e613462c5209cda820b4c04f98c5b04 ocamlx(Dynlink) = 736c47147ea3ab1b3c7ec80857a7a6ef ocamlx(Dynlink_types) = 1512d403e7201f0412450870cd69350a ocamlx(Nat) = db633ff316857604e7427a4a84247d8b ocamlx(Num) = 98aed73c764fb1d48b66e9c87a6251ec ocamlx(OcplibSimplex) = c5cde12b63773059a27f69ceb9181c51 ocamlx(Q) = a954d2251cf4b2eee54dddaf91fb6990 ocamlx(Ratio) = f1f10dc06e590803f2fa494c47391cb0 ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Arg) = e478e82146b73031d7615d2b8eb32520 ocamlx(Stdlib__Array) = 6404162ec33be9da742187b2e7daa6dd ocamlx(Stdlib__Bigarray) = d7bed1890ae6e7682731ed7e64c57fa1 ocamlx(Stdlib__Buffer) = 8bfec1bb8025d5663957b5cb3fb43d7a ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5 ocamlx(Stdlib__Char) = 97160a7c0c91803185a52780c7c16987 ocamlx(Stdlib__Domain) = 03a029c7c0bd3ab3d998e402bfe1e4dc ocamlx(Stdlib__Filename) = 5ddda9b554b28b82c669e84ba477e330 ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563 ocamlx(Stdlib__Gc) = 41f1473338d4ed3749ddc27abba32f9d ocamlx(Stdlib__Hashtbl) = 1aee99c15b532bac42321d046d148b7d ocamlx(Stdlib__Int64) = e1e2832c9d72b66741e3ea1bbbe2e8a6 ocamlx(Stdlib__Lexing) = f4f1110b97c9a35dc4f53f94a8a43d45 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__Map) = 38bf69fbc5d75df3afdb0d36ac5f0a95 ocamlx(Stdlib__Obj) = 3668baaae085ca728922d23e58364cd7 ocamlx(Stdlib__Parsing) = 9ce7d87219beaa874f2db8dbc0197fd8 ocamlx(Stdlib__Printexc) = a174c13db58c48faaa078074443704e3 ocamlx(Stdlib__Printf) = d684bd439c5cd6675e8dbdb2407652fa ocamlx(Stdlib__Queue) = d508be67e8cd7f93d169a2e4b7430bf6 ocamlx(Stdlib__Random) = 4b4d0e60f5d1223ff8e1fd34ae84ade0 ocamlx(Stdlib__Scanf) = 78edb0fef5dd418389f8cfad4669d6d8 ocamlx(Stdlib__Set) = 7765aba929bac551d4330863158b8946 ocamlx(Stdlib__Stack) = 83d074c9545c749fa9663a06220b6263 ocamlx(Stdlib__String) = 343b4a10f6af2b7002ce3db416b04c17 ocamlx(Stdlib__Sys) = c6216d8af6ac7a00ae387d19a36a9d19 ocamlx(Stdlib__Weak) = b4c11cb5bf6b836faf697b7f1b9cd331 ocamlx(Str) = 1fea6ad5e2f79e8a5f8d5ad628f26290 ocamlx(Unix) = 7621c47aed888a2cd96032e4a0ff730a ocamlx(Z) = a650e1172a1f035e92162a3b49258c0b
Processing files: alt-ergo-debugsource-2.3.3-24.fc43.x86_64
Provides: alt-ergo-debugsource = 2.3.3-24.fc43 alt-ergo-debugsource(x86-64) = 2.3.3-24.fc43
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-24.fc43.x86_64
Provides: alt-ergo-debuginfo = 2.3.3-24.fc43 alt-ergo-debuginfo(x86-64) = 2.3.3-24.fc43 debuginfo(build-id) = 6e2a33119e72bb34a2cbc63d0a0f437680ce4bc7
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-24.fc43
Processing files: alt-ergo-gui-debuginfo-2.3.3-24.fc43.x86_64
Provides: alt-ergo-gui-debuginfo = 2.3.3-24.fc43 alt-ergo-gui-debuginfo(x86-64) = 2.3.3-24.fc43 debuginfo(build-id) = d7ae54b25b07867672be162258de51268342ece5
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-24.fc43
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-24.fc43.x86_64
Provides: debuginfo(build-id) = 88db9f9f740860ecbc69ebd92bcf8dc787d033b1 ocaml-alt-ergo-parsers-debuginfo = 2.3.3-24.fc43 ocaml-alt-ergo-parsers-debuginfo(x86-64) = 2.3.3-24.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-24.fc43
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-24.fc43.x86_64
Provides: debuginfo(build-id) = 9da0eb6a21776207fd47a8a3ecc276657af1b8f0 ocaml-alt-ergo-lib-debuginfo = 2.3.3-24.fc43 ocaml-alt-ergo-lib-debuginfo(x86-64) = 2.3.3-24.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-24.fc43
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-24.fc43.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-24.fc43.x86_64.rpm
Child return code was: 0