Mock Version: 6.5
Mock Version: 6.5
Mock Version: 6.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/lem.spec'], chrootPath='/var/lib/mock/f45-build-15732-478/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 0x3f84412e90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9t3j7g1i:/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.9t3j7g1i:/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', '95e55a004a764db495a217bea608efae', '-D', '/var/lib/mock/f45-build-15732-478/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9t3j7g1i:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/lem.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1784160000
Wrote: /builddir/build/SRPMS/lem-2026.05.01-3.fc45.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/lem.spec'], chrootPath='/var/lib/mock/f45-build-15732-478/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 0x3f84412e90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9t3j7g1i:/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.9t3j7g1i:/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', 'da450367020b4232b2bd53ce69f9cffb', '-D', '/var/lib/mock/f45-build-15732-478/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.9t3j7g1i:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/lem.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1784160000
Executing(mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.MMWO6T
Creating(rpmbuild.env): /builddir/build/BUILD/lem-2026.05.01-build/rpmbuild.env
  RPM_SOURCE_DIR="/builddir/build/SOURCES"
  RPM_BUILD_DIR="/builddir/build/BUILD/lem-2026.05.01-build"
  RPM_OPT_FLAGS="-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer"
  RPM_LD_FLAGS="-Wl,-z,relro -Wl,--as-needed   -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  "
  RPM_ARCH="riscv64"
  RPM_OS="linux"
  RPM_BUILD_NCPUS="8"
  RPM_SPECPARTS_DIR="/builddir/build/BUILD/lem-2026.05.01-build/SPECPARTS"
  export RPM_SOURCE_DIR RPM_BUILD_DIR RPM_OPT_FLAGS RPM_ARCH RPM_OS RPM_BUILD_NCPUS RPM_SPECPARTS_DIR RPM_LD_FLAGS
  RPM_DOC_DIR="/usr/share/doc"
  export RPM_DOC_DIR
  RPM_PACKAGE_NAME="lem"
  RPM_PACKAGE_VERSION="2026.05.01"
  RPM_PACKAGE_RELEASE="3.fc45"
  export RPM_PACKAGE_NAME RPM_PACKAGE_VERSION RPM_PACKAGE_RELEASE
  LANG=C.UTF-8
  export LANG
  unset CDPATH DISPLAY ||:
  unset DEBUGINFOD_URLS ||:
  unset RPM_CONFIG_DIR ||:
  RPM_BUILD_ROOT="/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT"
  export RPM_BUILD_ROOT
  
  PKG_CONFIG_PATH="${PKG_CONFIG_PATH}:/usr/lib64/pkgconfig:/usr/share/pkgconfig"
  export PKG_CONFIG_PATH
  CONFIG_SITE=${CONFIG_SITE:-NONE}
  export CONFIG_SITE
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.mxS0P4
+ umask 022
+ cd /builddir/build/BUILD/lem-2026.05.01-build
+ cd /builddir/build/BUILD/lem-2026.05.01-build
+ rm -rf lem-2026-05-01
+ /usr/bin/rpmuncompress -x /builddir/build/SOURCES/lem-2026-05-01.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd lem-2026-05-01
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/fix-file-permissions.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/fix-ocaml-str-warning.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.w4DEvx
+ umask 022
+ cd /builddir/build/BUILD/lem-2026.05.01-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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 lem-2026-05-01
+ make
echo "(* Generated file -- do not edit. *)" > src/version.ml
echo 'let v="2026-05-01"' >> src/version.ml
echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
echo let d=\"/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/share/lem\" >> src/share_directory.ml
make -C src all
make[1]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/src'
rm -f main.native
ocamlbuild -use-ocamlfind -cflags -g main.native
+ ocamlfind ocamlc -config
+ ocamlfind ocamldep -package zarith -modules main.ml > main.ml.depends
+ ocamlfind ocamldep -package zarith -modules main.mli > main.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o main.cmi main.mli
+ ocamlfind ocamldep -package zarith -modules ast.ml > ast.ml.depends
+ ocamlfind ocamldep -package zarith -modules ulib/ulib.ml > ulib/ulib.ml.depends
+ ocamlfind ocamldep -package zarith -modules ulib/batText.mli > ulib/batText.mli.depends
+ ocamlfind ocamldep -package zarith -modules ulib/batUChar.mli > ulib/batUChar.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batUChar.cmi ulib/batUChar.mli
+ ocamlfind ocamldep -package zarith -modules ulib/batUTF8.mli > ulib/batUTF8.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batText.cmi ulib/batText.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batUTF8.cmi ulib/batUTF8.mli
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ulib/ulib.cmo ulib/ulib.ml
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ast.cmo ast.ml
+ ocamlfind ocamldep -package zarith -modules ulib/batText.ml > ulib/batText.ml.depends
+ ocamlfind ocamldep -package zarith -modules ulib/batReturn.ml > ulib/batReturn.ml.depends
+ ocamlfind ocamldep -package zarith -modules ulib/batReturn.mli > ulib/batReturn.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batReturn.cmi ulib/batReturn.mli
+ ocamlfind ocamldep -package zarith -modules ulib/batUChar.ml > ulib/batUChar.ml.depends
+ ocamlfind ocamldep -package zarith -modules ulib/batUTF8.ml > ulib/batUTF8.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ulib/batUChar.cmx ulib/batUChar.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ulib/batReturn.cmx ulib/batReturn.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ulib/batText.cmx ulib/batText.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ulib/ulib.cmx ulib/ulib.ml
+ ocamlfind ocamldep -package zarith -modules ast_util.ml > ast_util.ml.depends
+ ocamlfind ocamldep -package zarith -modules ast_util.mli > ast_util.mli.depends
+ ocamlfind ocamldep -package zarith -modules name.mli > name.mli.depends
+ ocamlfind ocamldep -package zarith -modules output.mli > output.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o output.cmi output.mli
+ ocamlfind ocamldep -package zarith -modules path.mli > path.mli.depends
+ ocamlfind ocamldep -package zarith -modules ident.mli > ident.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o name.cmi name.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o ident.cmi ident.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o path.cmi path.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o ast_util.cmi ast_util.mli
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ast.cmx ast.ml
+ ocamlfind ocamldep -package zarith -modules ident.ml > ident.ml.depends
+ ocamlfind ocamldep -package zarith -modules name.ml > name.ml.depends
+ ocamlfind ocamldep -package zarith -modules output.ml > output.ml.depends
+ ocamlfind ocamldep -package zarith -modules reporting_basic.ml > reporting_basic.ml.depends
+ ocamlfind ocamldep -package zarith -modules reporting_basic.mli > reporting_basic.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o reporting_basic.cmi reporting_basic.mli
+ ocamlfind ocamldep -package zarith -modules pp.ml > pp.ml.depends
+ ocamlfind ocamldep -package zarith -modules pp.mli > pp.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o pp.cmi pp.mli
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o pp.cmx pp.ml
+ ocamlfind ocamldep -package zarith -modules util.ml > util.ml.depends
+ ocamlfind ocamldep -package zarith -modules util.mli > util.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o util.cmi util.mli
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o util.cmx util.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o output.cmx output.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o name.cmx name.ml
+ ocamlfind ocamldep -package zarith -modules path.ml > path.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ident.cmx ident.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o path.cmx path.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o path.cmx path.ml
File "path.ml", lines 110-120, characters 2-20:
110 | ..match p with
111 |     | Path_list -> 0
112 |     | Path_bool -> 1
113 |     | Path_nat -> 2
114 |     | Path_numeral -> 3
...
117 |     | Path_vector -> 6
118 |     | Path_char -> 7
119 |     | Path_string -> 8
120 |     | Path_unit -> 9
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: Path_def (_, _)
+ ocamlfind ocamldep -package zarith -modules backend.ml > backend.ml.depends
+ ocamlfind ocamldep -package zarith -modules backend.mli > backend.mli.depends
+ ocamlfind ocamldep -package zarith -modules typed_ast.mli > typed_ast.mli.depends
+ ocamlfind ocamldep -package zarith -modules finite_map.ml > finite_map.ml.depends
+ ocamlfind ocamldep -package zarith -modules nvar.mli > nvar.mli.depends
+ ocamlfind ocamldep -package zarith -modules seplist.mli > seplist.mli.depends
+ ocamlfind ocamldep -package zarith -modules target.mli > target.mli.depends
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o finite_map.cmo finite_map.ml
+ ocamlfind ocamldep -package zarith -modules types.mli > types.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o nvar.cmi nvar.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o seplist.cmi seplist.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o target.cmi target.mli
+ ocamlfind ocamldep -package zarith -modules tyvar.mli > tyvar.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o tyvar.cmi tyvar.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o types.cmi types.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o types.cmi types.mli
File "types.mli", line 1:
Alert ocaml_deprecated_auto_include: 
OCaml's lib directory layout changed in 5.0. The str subdirectory has been
automatically added to the search path, but you should add -I +str to the
command-line to silence this alert (e.g. by adding str to the list of
libraries in your dune file, or adding use_str to your _tags file for
ocamlbuild, or using -package str for ocamlfind).
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o typed_ast.cmi typed_ast.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o backend.cmi backend.mli
+ ocamlfind ocamldep -package zarith -modules backend_common.ml > backend_common.ml.depends
+ ocamlfind ocamldep -package zarith -modules backend_common.mli > backend_common.mli.depends
+ ocamlfind ocamldep -package zarith -modules macro_expander.mli > macro_expander.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o macro_expander.cmi macro_expander.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o backend_common.cmi backend_common.mli
+ ocamlfind ocamldep -package zarith -modules pattern_syntax.ml > pattern_syntax.ml.depends
+ ocamlfind ocamldep -package zarith -modules pattern_syntax.mli > pattern_syntax.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o pattern_syntax.cmi pattern_syntax.mli
+ ocamlfind ocamldep -package zarith -modules seplist.ml > seplist.ml.depends
+ ocamlfind ocamldep -package zarith -modules target.ml > target.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o finite_map.cmx finite_map.ml
+ ocamlfind ocamldep -package zarith -modules typed_ast.ml > typed_ast.ml.depends
+ ocamlfind ocamldep -package zarith -modules nvar.ml > nvar.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o seplist.cmx seplist.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o target.cmx target.ml
+ ocamlfind ocamldep -package zarith -modules types.ml > types.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o nvar.cmx nvar.ml
+ ocamlfind ocamldep -package zarith -modules tyvar.ml > tyvar.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o tyvar.cmx tyvar.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o types.cmx types.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o types.cmx types.ml
File "types.ml", line 1616, characters 12-28:
1616 |     let rec walk_constraints = function
                   ^^^^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable walk_constraints.
+ ocamlfind ocamldep -package zarith -modules typed_ast_syntax.ml > typed_ast_syntax.ml.depends
+ ocamlfind ocamldep -package zarith -modules typed_ast_syntax.mli > typed_ast_syntax.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o typed_ast_syntax.cmi typed_ast_syntax.mli
+ ocamlfind ocamldep -package zarith -modules external_constants.ml > external_constants.ml.depends
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o external_constants.cmo external_constants.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml
File "typed_ast.ml", lines 2497-2513, characters 4-13:
2497 | ....match t.term with
2498 |       | Typ_wild _ | Typ_var _ | Typ_paren _ | Typ_len _ -> t (*TODO Check that parens aren't needed *)
2499 |       | Typ_fn _ ->
2500 |           if ctxt = TC_fn_right then
2501 |             t
...
2510 |           if ctxt = TC_app then
2511 |             mk_tparen Ast.Unknown None t None (Some(t.typ))
2512 |           else 
2513 |             t
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: Typ_with_sort (_, _)
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o external_constants.cmx external_constants.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml
File "typed_ast_syntax.ml", lines 969-977, characters 2-52:
969 | ..match t.term with
970 |     | Typ_wild _ -> ue
971 |     | Typ_var _ -> ue
972 |     | Typ_len _ -> ue
973 |     | Typ_fn (t1, _, t2) -> add_src_t_entities (add_src_t_entities ue t1) t2
974 |     | Typ_tup sp -> Seplist.fold_left (fun t ue -> add_src_t_entities ue t) ue sp
975 |     | Typ_app (id, args) -> List.fold_left add_src_t_entities (used_entities_add_type ue id.descr) args
976 |     | Typ_backend (_, args) -> List.fold_left add_src_t_entities ue args
977 |     | Typ_paren (_, t, _) -> add_src_t_entities ue t
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: Typ_with_sort (_, _)
+ ocamlfind ocamldep -package zarith -modules precedence.ml > precedence.ml.depends
+ ocamlfind ocamldep -package zarith -modules precedence.mli > precedence.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o precedence.cmi precedence.mli
+ ocamlfind ocamldep -package zarith -modules share_directory.ml > share_directory.ml.depends
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o share_directory.cmo share_directory.ml
+ ocamlfind ocamldep -package zarith -modules target_binding.ml > target_binding.ml.depends
+ ocamlfind ocamldep -package zarith -modules target_binding.mli > target_binding.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o target_binding.cmi target_binding.mli
+ ocamlfind ocamldep -package zarith -modules macro_expander.ml > macro_expander.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o pattern_syntax.cmx pattern_syntax.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o precedence.cmx precedence.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o precedence.cmx precedence.ml
File "precedence.ml", line 86, characters 14-15:
86 |   | P_special _ -> -1
                   ^
Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o share_directory.cmx share_directory.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o target_binding.cmx target_binding.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o macro_expander.cmx macro_expander.ml
+ ocamlfind ocamldep -package zarith -modules coq_backend.ml > coq_backend.ml.depends
+ ocamlfind ocamldep -package zarith -modules coq_backend_utils.ml > coq_backend_utils.ml.depends
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o coq_backend_utils.cmo coq_backend_utils.ml
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o backend_common.cmx backend_common.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o coq_backend_utils.cmx coq_backend_utils.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml
+ ocamlfind ocamldep -package zarith -modules debug.ml > debug.ml.depends
+ ocamlfind ocamldep -package zarith -modules pcombinators.mli > pcombinators.mli.depends
+ ocamlfind ocamldep -package zarith -modules syntactic_tests.mli > syntactic_tests.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o pcombinators.cmi pcombinators.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o syntactic_tests.cmi syntactic_tests.mli
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o debug.cmo debug.ml
+ ocamlfind ocamldep -package zarith -modules pcombinators.ml > pcombinators.ml.depends
+ ocamlfind ocamldep -package zarith -modules syntactic_tests.ml > syntactic_tests.ml.depends
+ ocamlfind ocamldep -package zarith -modules reporting.ml > reporting.ml.depends
+ ocamlfind ocamldep -package zarith -modules reporting.mli > reporting.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o reporting.cmi reporting.mli
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o backend.cmx backend.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o backend.cmx backend.ml
File "backend.ml", lines 1666-1673, characters 2-35:
1666 | ..match c_id_string with
1667 |   | "AilSyntax.Plus"        -> false
1668 |   | "AilSyntax.Minus"       -> false
1669 |   | "AilSyntax.Bnot"        -> false
1670 |   | "AilSyntax.Address"     -> false
1671 |   | "AilSyntax.Indirection" -> false
1672 |   | "AilSyntax.PostfixIncr" -> true
1673 |   | "AilSyntax.PostfixDecr" -> true
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: ""
File "backend.ml", lines 1966-1971, characters 14-17:
1966 | ..............begin
1967 |                 match ppc (c_id_string',[]),  ail_unary_is_postfix c_id_string' with
1968 |                 | (kind,(Some op_output)), true  -> Ail, Some  [pparg e; (concat emp op_output) ]
1969 |                 | (kind,(Some op_output)), false -> Ail, Some  [pparg_flip_lskip (concat emp op_output) e ]
1970 |                 | (kind,None), true -> Ail, Some [pparg op; pparg e;]
1971 |               end
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: ((_, None), false)
File "backend.ml", lines 1963-1973, characters 8-11:
1963 | ........begin
1964 |           match deconstruct_arg op with
1965 |           | Some (c_id_string',[]) ->
1966 |               begin
1967 |                 match ppc (c_id_string',[]),  ail_unary_is_postfix c_id_string' with
...
1970 |                 | (kind,None), true -> Ail, Some [pparg op; pparg e;]
1971 |               end
1972 |           | None -> Ail, Some [pparg op; pparg e;]
1973 |         end
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: Some (c_id_string', _::_)
File "backend.ml", lines 2938-2977, characters 40-73:
2938 | ........................................match t.term with
2939 |   | Typ_wild(sk) -> t
2940 |   | Typ_var(sk,tv) -> t
2941 |   | Typ_len(n) -> t
2942 |   | Typ_fn(t1,sk,t2) ->
...
2974 |                     { t with term = Typ_backend(id, List.map (hol_strip_args_t type_names) ts) }
2975 |       end
2976 |   | Typ_paren(sk1,t,sk2) ->
2977 |       { t with term = Typ_paren(sk1,hol_strip_args_t type_names t, sk2) }
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: Typ_with_sort (_, _)
File "backend.ml", line 2193, characters 9-16:
2193 |     let (c_descr : Typed_ast.const_descr) = c_env_lookup Ast.Unknown A.env.c_env cd.descr in
                ^^^^^^^
Warning 26 [unused-var]: unused variable c_descr.
File "backend.ml", line 3798, characters 64-67:
3798 |   | Val_def ((Let_def(s1, targets,(p, name_map, topt,sk, e)) as def)) ->
                                                                       ^^^
Warning 26 [unused-var]: unused variable def.
File "backend.ml", line 3809, characters 58-61:
3809 |   | Val_def ((Fun_def (s1, rec_flag, targets, clauses) as def)) ->
                                                                 ^^^
Warning 26 [unused-var]: unused variable def.
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o reporting.cmx reporting.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o pcombinators.cmx pcombinators.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml
File "syntactic_tests.ml", line 166, characters 10-70:
166 |           List.map (fun x -> check_decidable_equality_def' env x true)
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 5 [ignored-partial-application]: this function application is partial,
  maybe some arguments are missing.
+ ocamlfind ocamldep -package zarith -modules initial_env.ml > initial_env.ml.depends
+ ocamlfind ocamldep -package zarith -modules initial_env.mli > initial_env.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o initial_env.cmi initial_env.mli
+ ocamlfind ocamldep -package zarith -modules process_file.ml > process_file.ml.depends
+ ocamlfind ocamldep -package zarith -modules process_file.mli > process_file.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o process_file.cmi process_file.mli
+ /usr/bin/ocamllex.opt -q lexer.mll
+ ocamlfind ocamldep -package zarith -modules lexer.ml > lexer.ml.depends
+ /usr/bin/ocamlyacc parser.mly
+ /usr/bin/ocamlyacc parser.mly
5 rules never reduced
2 shift/reduce conflicts, 2 reduce/reduce conflicts.
+ ocamlfind ocamldep -package zarith -modules parser.mli > parser.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o parser.cmi parser.mli
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o lexer.cmo lexer.ml
+ ocamlfind ocamldep -package zarith -modules parser.ml > parser.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o parser.cmx parser.ml
+ ocamlfind ocamldep -package zarith -modules trans.ml > trans.ml.depends
+ ocamlfind ocamldep -package zarith -modules trans.mli > trans.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o trans.cmi trans.mli
+ ocamlfind ocamldep -package zarith -modules patterns.ml > patterns.ml.depends
+ ocamlfind ocamldep -package zarith -modules patterns.mli > patterns.mli.depends
+ ocamlfind ocamldep -package zarith -modules def_trans.mli > def_trans.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o def_trans.cmi def_trans.mli
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o patterns.cmi patterns.mli
+ ocamlfind ocamldep -package zarith -modules def_trans.ml > def_trans.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o def_trans.cmx def_trans.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o def_trans.cmx def_trans.ml
File "def_trans.ml", line 130, characters 51-54:
130 | let remove_import_include _ env (((d,s),l,lenv) as def) =
                                                         ^^^
Warning 26 [unused-var]: unused variable def.
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o patterns.cmx patterns.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o patterns.cmx patterns.ml
File "patterns.ml", line 95, characters 35-77:
95 | let check_number_patterns env p = (for_all_subpat check_number_patterns_aux p; ())
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 10 [non-unit-statement]: this expression should have type unit.
File "patterns.ml", line 2166, characters 6-21:
2166 |   let new_list_wc_pat = matrix_compile_mk_pwild list_ty in
             ^^^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable new_list_wc_pat.
File "patterns.ml", line 2167, characters 6-21:
2167 |   let new_elem_wc_pat = matrix_compile_mk_pwild elem_ty in
             ^^^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable new_elem_wc_pat.
File "patterns.ml", line 2211, characters 6-14:
2211 |   let nil_pats =
             ^^^^^^^^
Warning 26 [unused-var]: unused variable nil_pats.
File "patterns.ml", line 2213, characters 6-15:
2213 |   let cons_pats =
             ^^^^^^^^^
Warning 26 [unused-var]: unused variable cons_pats.
File "patterns.ml", line 2367, characters 6-19:
2367 |   let case_fun_else p ee =
             ^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable case_fun_else.
File "patterns.ml", line 2369, characters 6-18:
2369 |   let dest_in_else e = [] in
             ^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable dest_in_else.
File "patterns.ml", line 2370, characters 6-20:
2370 |   let restr_pat_else _ = matrix_compile_mk_pwild p_ty in
             ^^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable restr_pat_else.
File "patterns.ml", line 2372, characters 6-10:
2372 |   let nall = List.length all_args in
             ^^^^
Warning 26 [unused-var]: unused variable nall.
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o lexer.cmx lexer.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o trans.cmx trans.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o process_file.cmx process_file.ml
+ ocamlfind ocamldep -package zarith -modules module_dependencies.ml > module_dependencies.ml.depends
+ ocamlfind ocamldep -package zarith -modules module_dependencies.mli > module_dependencies.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o module_dependencies.cmi module_dependencies.mli
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o ast_util.cmx ast_util.ml
+ ocamlfind ocamldep -package zarith -modules rename_top_level.ml > rename_top_level.ml.depends
+ ocamlfind ocamldep -package zarith -modules rename_top_level.mli > rename_top_level.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o rename_top_level.cmi rename_top_level.mli
+ ocamlfind ocamldep -package zarith -modules target_trans.ml > target_trans.ml.depends
+ ocamlfind ocamldep -package zarith -modules target_trans.mli > target_trans.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o target_trans.cmi target_trans.mli
+ ocamlfind ocamldep -package zarith -modules convert_relations.ml > convert_relations.ml.depends
+ ocamlfind ocamldep -package zarith -modules typecheck_ctxt.mli > typecheck_ctxt.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o typecheck_ctxt.cmi typecheck_ctxt.mli
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml
File "convert_relations.ml", lines 1495-1497, characters 6-45:
1495 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in
1496 |       let c_args = sep_no_skips (List.map t_to_src_t c_args) in
1497 |       (mk_name_l c_name, c_ref, None, c_args)
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: None
File "convert_relations.ml", lines 2015-2020, characters 6-55:
2015 | ......let ([output], equalities) =
2016 |         extract_patterns env avoid [v] [true] in
2017 |       let bound = Nmap.domain (pat_to_bound output) in
2018 |       LET(output, u,
2019 |           build_code (Nset.union bound known) indconds
2020 |             sideconds2 (equalities@eqconds2) usefuleqs)
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched:
    ({typ={ _ }; rest={ _ }; _ }::{typ={ _ }; rest={ _ }; _ }::_, _)
File "convert_relations.ml", line 1871, characters 6-10:
1871 |   let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in
             ^^^^
Warning 26 [unused-var]: unused variable vars.
+ ocamlfind ocamldep -package zarith -modules typecheck_ctxt.ml > typecheck_ctxt.ml.depends
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o typecheck_ctxt.cmx typecheck_ctxt.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o rename_top_level.cmx rename_top_level.ml
+ ocamlfind ocamldep -package zarith -modules target_syntax.ml > target_syntax.ml.depends
+ ocamlfind ocamldep -package zarith -modules target_syntax.mli > target_syntax.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o target_syntax.cmi target_syntax.mli
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml
File "convert_relations.ml", lines 1495-1497, characters 6-45:
1495 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in
1496 |       let c_args = sep_no_skips (List.map t_to_src_t c_args) in
1497 |       (mk_name_l c_name, c_ref, None, c_args)
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched: None
File "convert_relations.ml", lines 2015-2020, characters 6-55:
2015 | ......let ([output], equalities) =
2016 |         extract_patterns env avoid [v] [true] in
2017 |       let bound = Nmap.domain (pat_to_bound output) in
2018 |       LET(output, u,
2019 |           build_code (Nset.union bound known) indconds
2020 |             sideconds2 (equalities@eqconds2) usefuleqs)
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
  Here is an example of a case that is not matched:
    ({typ={ _ }; rest={ _ }; _ }::{typ={ _ }; rest={ _ }; _ }::_, _)
File "convert_relations.ml", line 1871, characters 6-10:
1871 |   let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in
             ^^^^
Warning 26 [unused-var]: unused variable vars.
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o target_syntax.cmx target_syntax.ml
+ ocamlfind ocamldep -package zarith -modules typecheck.ml > typecheck.ml.depends
+ ocamlfind ocamldep -package zarith -modules typecheck.mli > typecheck.mli.depends
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o typecheck.cmi typecheck.mli
+ ocamlfind ocamldep -package zarith -modules version.ml > version.ml.depends
+ ocamlfind ocamlc -c -g -I +str -annot -bin-annot -package zarith -I ulib -o version.cmo version.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o debug.cmx debug.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o initial_env.cmx initial_env.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o target_trans.cmx target_trans.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o typecheck.cmx typecheck.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o version.cmx version.ml
+ ocamlfind ocamlopt -c -g -I +str -annot -bin-annot -package zarith -I ulib -o main.cmx main.ml
+ ocamlfind ocamlopt -linkpkg -I +str str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native
make[1]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/src'
ln -sf src/main.native lem
true
mkdir -p bin
cd bin && ln -sf ../src/main.native lem
make -C library
make[1]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/library'
make -C .. build-lem
make[2]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01'
echo "(* Generated file -- do not edit. *)" > src/version.ml
echo 'let v="2026-05-01"' >> src/version.ml
echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
echo let d=\"/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/share/lem\" >> src/share_directory.ml
make -C src all
make[3]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/src'
rm -f main.native
ocamlbuild -use-ocamlfind -cflags -g main.native
+ ocamlfind ocamlc -config
make[3]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/src'
ln -sf src/main.native lem
make[2]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01'
../lem -ocaml -outdir ../ocaml-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output
../lem -hol -hol_remove_matches -outdir ../hol-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output
../lem -isa -outdir ../isabelle-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output
../lem -coq -outdir ../coq-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem -auxiliary_level none -only_changed_output
../lem -tex_all ../tex-lib/lem-libs.tex -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem 
../lem -html -outdir ../html-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem 
make[1]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/library'
make ocaml-libs
make[1]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01'
make -C ocaml-lib all
make[2]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/ocaml-lib'
Makefile:10: warning: overriding recipe for target 'clean'
ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa
+ ocamlfind ocamlc -config
+ ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.mli > num_impl_zarith/big_int_impl.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmi num_impl_zarith/big_int_impl.mli
+ ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.ml > num_impl_zarith/big_int_impl.ml.depends
+ ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.mli > num_impl_zarith/rational_impl.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmi num_impl_zarith/rational_impl.mli
+ ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.ml > num_impl_zarith/rational_impl.ml.depends
+ ocamlfind ocamldep -package zarith -modules nat_big_num.mli > nat_big_num.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmi nat_big_num.mli
+ ocamlfind ocamldep -package zarith -modules nat_big_num.ml > nat_big_num.ml.depends
+ ocamlfind ocamldep -package zarith -modules nat_num.mli > nat_num.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmi nat_num.mli
+ ocamlfind ocamldep -package zarith -modules nat_num.ml > nat_num.ml.depends
+ ocamlfind ocamldep -package zarith -modules rational.mli > rational.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmi rational.mli
+ ocamlfind ocamldep -package zarith -modules rational.ml > rational.ml.depends
+ ocamlfind ocamldep -package zarith -modules pset.mli > pset.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmi pset.mli
+ ocamlfind ocamldep -package zarith -modules pset.ml > pset.ml.depends
+ ocamlfind ocamldep -package zarith -modules pmap.mli > pmap.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmi pmap.mli
+ ocamlfind ocamldep -package zarith -modules pmap.ml > pmap.ml.depends
+ ocamlfind ocamldep -package zarith -modules vector.mli > vector.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmi vector.mli
+ ocamlfind ocamldep -package zarith -modules vector.ml > vector.ml.depends
+ ocamlfind ocamldep -package zarith -modules bit.mli > bit.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmi bit.mli
+ ocamlfind ocamldep -package zarith -modules bit.ml > bit.ml.depends
+ ocamlfind ocamldep -package zarith -modules xstring.mli > xstring.mli.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmi xstring.mli
+ ocamlfind ocamldep -package zarith -modules xstring.ml > xstring.ml.depends
+ ocamlfind ocamldep -package zarith -modules either.ml > either.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem.ml > lem.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_assert_extra.ml > lem_assert_extra.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_basic_classes.ml > lem_basic_classes.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem.cmo lem.ml
+ ocamlfind ocamldep -package zarith -modules lem_bool.ml > lem_bool.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_bool.cmo lem_bool.ml
+ ocamlfind ocamldep -package zarith -modules lem_either.ml > lem_either.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o either.cmo either.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmo lem_basic_classes.ml
+ ocamlfind ocamldep -package zarith -modules lem_list.ml > lem_list.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_function.ml > lem_function.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_maybe.ml > lem_maybe.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function.cmo lem_function.ml
+ ocamlfind ocamldep -package zarith -modules lem_num.ml > lem_num.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_tuple.ml > lem_tuple.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe.cmo lem_maybe.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num.cmo lem_num.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_tuple.cmo lem_tuple.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list.cmo lem_list.ml
+ ocamlfind ocamldep -package zarith -modules lem_function_extra.ml > lem_function_extra.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_list_extra.ml > lem_list_extra.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmo lem_assert_extra.ml
+ ocamlfind ocamldep -package zarith -modules lem_machine_word.ml > lem_machine_word.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_show.ml > lem_show.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_string.ml > lem_string.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string.cmo lem_string.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show.cmo lem_show.ml
+ ocamlfind ocamldep -package zarith -modules lem_map.ml > lem_map.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_set.ml > lem_set.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_set_helpers.ml > lem_set_helpers.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmo lem_set_helpers.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set.cmo lem_set.ml
+ ocamlfind ocamldep -package zarith -modules lem_map_extra.ml > lem_map_extra.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map.cmo lem_map.ml
+ ocamlfind ocamldep -package zarith -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_num_extra.ml > lem_num_extra.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_pervasives.ml > lem_pervasives.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_either.cmo lem_either.ml
+ ocamlfind ocamldep -package zarith -modules lem_word.ml > lem_word.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_word.cmo lem_word.ml
+ ocamlfind ocamldep -package zarith -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function_extra.cmo lem_function_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list_extra.cmo lem_list_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_machine_word.cmo lem_machine_word.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map_extra.cmo lem_map_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmo lem_maybe_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num_extra.cmo lem_num_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives.cmo lem_pervasives.ml
+ ocamlfind ocamldep -package zarith -modules lem_set_extra.ml > lem_set_extra.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_sorting.ml > lem_sorting.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_sorting.cmo lem_sorting.ml
+ ocamlfind ocamldep -package zarith -modules lem_show_extra.ml > lem_show_extra.ml.depends
+ ocamlfind ocamldep -package zarith -modules lem_relation.ml > lem_relation.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_relation.cmo lem_relation.ml
+ ocamlfind ocamldep -package zarith -modules lem_string_extra.ml > lem_string_extra.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_extra.cmo lem_set_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show_extra.cmo lem_show_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string_extra.cmo lem_string_extra.ml
+ ocamlfind ocamldep -package zarith -modules lem_debug.ml > lem_debug.ml.depends
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmo num_impl_zarith/big_int_impl.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmo num_impl_zarith/rational_impl.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmo nat_big_num.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmo nat_num.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmo rational.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmo pset.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmo pmap.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmo vector.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmo bit.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmo xstring.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmo lem_pervasives_extra.ml
+ ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_debug.cmo lem_debug.ml
+ ocamlfind ocamlc -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmo num_impl_zarith/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo lem_debug.cmo -o extract.cma
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmx num_impl_zarith/big_int_impl.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmx num_impl_zarith/rational_impl.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pset.cmx pset.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_num.cmx nat_num.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_big_num.cmx nat_big_num.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o xstring.cmx xstring.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem.cmx lem.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_bool.cmx lem_bool.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o either.cmx either.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmx lem_basic_classes.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function.cmx lem_function.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o rational.cmx rational.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe.cmx lem_maybe.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num.cmx lem_num.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_tuple.cmx lem_tuple.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list.cmx lem_list.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmx lem_assert_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string.cmx lem_string.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show.cmx lem_show.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmx lem_set_helpers.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pmap.cmx pmap.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set.cmx lem_set.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map.cmx lem_map.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_either.cmx lem_either.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_word.cmx lem_word.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function_extra.cmx lem_function_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list_extra.cmx lem_list_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_machine_word.cmx lem_machine_word.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map_extra.cmx lem_map_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmx lem_maybe_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num_extra.cmx lem_num_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives.cmx lem_pervasives.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_sorting.cmx lem_sorting.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_relation.cmx lem_relation.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_extra.cmx lem_set_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show_extra.cmx lem_show_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string_extra.cmx lem_string_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o vector.cmx vector.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o bit.cmx bit.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmx lem_pervasives_extra.ml
+ ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_debug.cmx lem_debug.ml
+ ocamlfind ocamlopt -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmx num_impl_zarith/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx lem_debug.cmx -o extract.cmxa
ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa
+ ocamlfind ocamlc -config
+ ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.mli > num_impl_num/big_int_impl.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmi num_impl_num/big_int_impl.mli
+ ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.ml > num_impl_num/big_int_impl.ml.depends
+ ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.mli > num_impl_num/rational_impl.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmi num_impl_num/rational_impl.mli
+ ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.ml > num_impl_num/rational_impl.ml.depends
+ ocamlfind ocamldep -package num -modules nat_big_num.mli > nat_big_num.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmi nat_big_num.mli
+ ocamlfind ocamldep -package num -modules nat_big_num.ml > nat_big_num.ml.depends
+ ocamlfind ocamldep -package num -modules nat_num.mli > nat_num.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmi nat_num.mli
+ ocamlfind ocamldep -package num -modules nat_num.ml > nat_num.ml.depends
+ ocamlfind ocamldep -package num -modules rational.mli > rational.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmi rational.mli
+ ocamlfind ocamldep -package num -modules rational.ml > rational.ml.depends
+ ocamlfind ocamldep -package num -modules pset.mli > pset.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmi pset.mli
+ ocamlfind ocamldep -package num -modules pset.ml > pset.ml.depends
+ ocamlfind ocamldep -package num -modules pmap.mli > pmap.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmi pmap.mli
+ ocamlfind ocamldep -package num -modules pmap.ml > pmap.ml.depends
+ ocamlfind ocamldep -package num -modules vector.mli > vector.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmi vector.mli
+ ocamlfind ocamldep -package num -modules vector.ml > vector.ml.depends
+ ocamlfind ocamldep -package num -modules bit.mli > bit.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmi bit.mli
+ ocamlfind ocamldep -package num -modules bit.ml > bit.ml.depends
+ ocamlfind ocamldep -package num -modules xstring.mli > xstring.mli.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmi xstring.mli
+ ocamlfind ocamldep -package num -modules xstring.ml > xstring.ml.depends
+ ocamlfind ocamldep -package num -modules either.ml > either.ml.depends
+ ocamlfind ocamldep -package num -modules lem.ml > lem.ml.depends
+ ocamlfind ocamldep -package num -modules lem_assert_extra.ml > lem_assert_extra.ml.depends
+ ocamlfind ocamldep -package num -modules lem_basic_classes.ml > lem_basic_classes.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem.cmo lem.ml
+ ocamlfind ocamldep -package num -modules lem_bool.ml > lem_bool.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_bool.cmo lem_bool.ml
+ ocamlfind ocamldep -package num -modules lem_either.ml > lem_either.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o either.cmo either.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_basic_classes.cmo lem_basic_classes.ml
+ ocamlfind ocamldep -package num -modules lem_list.ml > lem_list.ml.depends
+ ocamlfind ocamldep -package num -modules lem_function.ml > lem_function.ml.depends
+ ocamlfind ocamldep -package num -modules lem_maybe.ml > lem_maybe.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function.cmo lem_function.ml
+ ocamlfind ocamldep -package num -modules lem_num.ml > lem_num.ml.depends
+ ocamlfind ocamldep -package num -modules lem_tuple.ml > lem_tuple.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe.cmo lem_maybe.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num.cmo lem_num.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_tuple.cmo lem_tuple.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list.cmo lem_list.ml
+ ocamlfind ocamldep -package num -modules lem_function_extra.ml > lem_function_extra.ml.depends
+ ocamlfind ocamldep -package num -modules lem_list_extra.ml > lem_list_extra.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_assert_extra.cmo lem_assert_extra.ml
+ ocamlfind ocamldep -package num -modules lem_machine_word.ml > lem_machine_word.ml.depends
+ ocamlfind ocamldep -package num -modules lem_show.ml > lem_show.ml.depends
+ ocamlfind ocamldep -package num -modules lem_string.ml > lem_string.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string.cmo lem_string.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show.cmo lem_show.ml
+ ocamlfind ocamldep -package num -modules lem_map.ml > lem_map.ml.depends
+ ocamlfind ocamldep -package num -modules lem_set.ml > lem_set.ml.depends
+ ocamlfind ocamldep -package num -modules lem_set_helpers.ml > lem_set_helpers.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_helpers.cmo lem_set_helpers.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set.cmo lem_set.ml
+ ocamlfind ocamldep -package num -modules lem_map_extra.ml > lem_map_extra.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map.cmo lem_map.ml
+ ocamlfind ocamldep -package num -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends
+ ocamlfind ocamldep -package num -modules lem_num_extra.ml > lem_num_extra.ml.depends
+ ocamlfind ocamldep -package num -modules lem_pervasives.ml > lem_pervasives.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_either.cmo lem_either.ml
+ ocamlfind ocamldep -package num -modules lem_word.ml > lem_word.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_word.cmo lem_word.ml
+ ocamlfind ocamldep -package num -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function_extra.cmo lem_function_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list_extra.cmo lem_list_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_machine_word.cmo lem_machine_word.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map_extra.cmo lem_map_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe_extra.cmo lem_maybe_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num_extra.cmo lem_num_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives.cmo lem_pervasives.ml
+ ocamlfind ocamldep -package num -modules lem_set_extra.ml > lem_set_extra.ml.depends
+ ocamlfind ocamldep -package num -modules lem_sorting.ml > lem_sorting.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_sorting.cmo lem_sorting.ml
+ ocamlfind ocamldep -package num -modules lem_show_extra.ml > lem_show_extra.ml.depends
+ ocamlfind ocamldep -package num -modules lem_relation.ml > lem_relation.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_relation.cmo lem_relation.ml
+ ocamlfind ocamldep -package num -modules lem_string_extra.ml > lem_string_extra.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_extra.cmo lem_set_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show_extra.cmo lem_show_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string_extra.cmo lem_string_extra.ml
+ ocamlfind ocamldep -package num -modules lem_debug.ml > lem_debug.ml.depends
+ ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmo num_impl_num/big_int_impl.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmo num_impl_num/rational_impl.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmo nat_big_num.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmo nat_num.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmo rational.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmo pset.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmo pmap.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmo vector.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmo bit.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmo xstring.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives_extra.cmo lem_pervasives_extra.ml
+ ocamlfind ocamlc -c -package num -I num_impl_num -o lem_debug.cmo lem_debug.ml
+ ocamlfind ocamlc -a -package num -I num_impl_num num_impl_num/big_int_impl.cmo num_impl_num/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo lem_debug.cmo -o extract.cma
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmx num_impl_num/big_int_impl.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmx num_impl_num/rational_impl.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o pset.cmx pset.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_num.cmx nat_num.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_big_num.cmx nat_big_num.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o xstring.cmx xstring.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem.cmx lem.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_bool.cmx lem_bool.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o either.cmx either.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_basic_classes.cmx lem_basic_classes.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function.cmx lem_function.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o rational.cmx rational.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe.cmx lem_maybe.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num.cmx lem_num.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_tuple.cmx lem_tuple.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list.cmx lem_list.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_assert_extra.cmx lem_assert_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string.cmx lem_string.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show.cmx lem_show.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_helpers.cmx lem_set_helpers.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o pmap.cmx pmap.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set.cmx lem_set.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map.cmx lem_map.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_either.cmx lem_either.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_word.cmx lem_word.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function_extra.cmx lem_function_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list_extra.cmx lem_list_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_machine_word.cmx lem_machine_word.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map_extra.cmx lem_map_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe_extra.cmx lem_maybe_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num_extra.cmx lem_num_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives.cmx lem_pervasives.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_sorting.cmx lem_sorting.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_relation.cmx lem_relation.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_extra.cmx lem_set_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show_extra.cmx lem_show_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string_extra.cmx lem_string_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o vector.cmx vector.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o bit.cmx bit.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives_extra.cmx lem_pervasives_extra.ml
+ ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_debug.cmx lem_debug.ml
+ ocamlfind ocamlopt -a -package num -I num_impl_num num_impl_num/big_int_impl.cmx num_impl_num/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx lem_debug.cmx -o extract.cmxa
make[2]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/ocaml-lib'
make -C library ocaml-lib-tests
make[2]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/library'
lem_basic_classesAuxiliary.ml
lem_boolAuxiliary.ml
lem_eitherAuxiliary.ml
lem_function_extraAuxiliary.ml
lem_listAuxiliary.ml
lem_list_extraAuxiliary.ml
lem_machine_wordAuxiliary.ml
lem_mapAuxiliary.ml
lem_map_extraAuxiliary.ml
lem_maybeAuxiliary.ml
lem_numAuxiliary.ml
lem_num_extraAuxiliary.ml
lem_relationAuxiliary.ml
lem_setAuxiliary.ml
lem_set_extraAuxiliary.ml
lem_sortingAuxiliary.ml
lem_stringAuxiliary.ml
lem_string_extraAuxiliary.ml
lem_tupleAuxiliary.ml
lem_wordAuxiliary.ml
\n\n\n
***************************************************
* Testing lem_basic_classes
***************************************************\n
ordering_cases_0: ok
ordering_cases_1: ok
ordering_cases_2: ok
ordering_match_1: ok
ordering_match_2: ok
ordering_match_3: ok
ordering_match_4: ok
ordering_match_5: ok
ordering_match_6: ok
\n\n\n
***************************************************
* Testing lem_bool
***************************************************\n
not_1: ok
not_2: ok
and_1: ok
and_2: ok
and_3: ok
and_4: ok
or_1: ok
or_2: ok
or_3: ok
or_4: ok
imp_1: ok
imp_2: ok
imp_3: ok
imp_4: ok
equiv_1: ok
equiv_2: ok
equiv_3: ok
equiv_4: ok
xor_1: ok
xor_2: ok
xor_3: ok
xor_4: ok
\n\n\n
***************************************************
* Testing lem_either
***************************************************\n
either_equal_1: ok
either_equal_2: ok
either_equal_3: ok
either_equal_4: ok
either_equal_5: ok
either_equal_6: ok
either_equal_7: ok
either_pattern_1: ok
either_pattern_2: ok
either_pattern_3: ok
either_pattern_4: ok
isLeft_1: ok
isLeft_2: ok
isRight_1: ok
isRight_2: ok
either_1: ok
either_2: ok
either_3: ok
either_4: ok
partitionEither_1: ok
lefts_1: ok
rights_1: ok
\n\n\n
***************************************************
* Testing lem_function_extra
***************************************************\n
id_0: ok
id_1: ok
id_2: ok
const_0: ok
const_1: ok
const_2: ok
comb_0: ok
comb_1: ok
apply_0: ok
apply_1: ok
flip_0: ok
flip_1: ok
\n\n\n
***************************************************
* Testing lem_list
***************************************************\n
null_simple_1: ok
null_simple_2: ok
null_simple_3: ok
length_0: ok
length_1: ok
length_2: ok
list_ord_1: ok
list_ord_2: ok
list_ord_3: ok
list_ord_4: ok
list_ord_5: ok
list_ord_6: ok
list_ord_7: ok
list_ord_8: ok
list_ord_9: ok
append_1: ok
snoc_1: ok
snoc_2: ok
snoc_3: ok
reverseAppend_1: ok
reverse_nil: ok
reverse_1: ok
reverse_2: ok
reverse_5: ok
map_nil: ok
map_1: ok
map_2: ok
map_3: ok
map_4: ok
map_5: ok
map_6: ok
foldl_0: ok
foldl_1: ok
foldl_4: ok
foldr_0: ok
foldr_1: ok
foldr_4: ok
concat_nil: ok
concat_1: ok
concat_2: ok
concat_3: ok
concatMap_nil: ok
concatMap_1: ok
concatMap_2: ok
concatMap_3: ok
all_0: ok
all_4: ok
all_4_neg: ok
any_0: ok
any_4: ok
any_4_neg: ok
dest_init_0: ok
dest_init_1: ok
dest_init_2: ok
index_0: ok
index_1: ok
index_2: ok
index_3: ok
index_4: ok
index_5: ok
index_6: ok
findIndices_1: ok
findIndices_2: ok
findIndices_3: ok
find_index0: ok
find_index1: ok
find_index2: ok
elemIndices_0: ok
elemIndices_1: ok
elemIndices_2: ok
elemIndex_0: ok
elemIndex_1: ok
elemIndex_2: ok
genlist_0: ok
genlist_1: ok
genlist_2: ok
genlist_3: ok
replicate_0: ok
replicate_1: ok
replicate_2: ok
replicate_3: ok
splitAt_1: ok
splitAt_2: ok
splitAt_3: ok
take_1: ok
take_2: ok
take_3: ok
drop_1: ok
drop_2: ok
drop_3: ok
splitWhile_1: ok
splitWhile_2: ok
dropWhile_0: ok
dropWhile_1: ok
dropWhile_2: ok
dropWhile_3: ok
takeWhile_0: ok
takeWhile_1: ok
takeWhile_2: ok
takeWhile_3: ok
isPrefixOf_0: ok
isPrefixOf_1: ok
isPrefixOf_2: ok
isPrefixOf_3: ok
isPrefixOf_4: ok
list_update_1: ok
list_update_2: ok
list_update_3: ok
list_update_4: ok
list_update_5: ok
elem_1: ok
elem_2: ok
elem_3: ok
elem_4: ok
find_1: ok
find_2: ok
find_3: ok
find_4: ok
lookup_1: ok
lookup_2: ok
lookup_3: ok
filter_0: ok
filter_1: ok
partition_0: ok
partition_1: ok
deleteFirst_1: ok
deleteFirst_2: ok
deleteFirst_3: ok
delete_1: ok
delete_2: ok
delete_3: ok
delete_4: ok
zip_1: ok
zip_2: ok
unzip_1: ok
unzip_2: ok
\n\n\n
***************************************************
* Testing lem_list_extra
***************************************************\n
head_simple_1: ok
head_simple_2: ok
tail_simple_1: ok
tail_simple_2: ok
tail_simple_3: ok
last_simple_1: ok
last_simple_2: ok
init_simple_1: ok
init_simple_2: ok
init_simple_3: ok
nth_0: ok
nth_1: ok
nth_2: ok
nth_3: ok
nth_4: ok
nth_5: ok
zipSameLength_1: ok
\n\n\n
***************************************************
* Testing lem_machine_word
***************************************************\n
size_test: ok
size_itself_test: ok
length_test: ok
signedIntFromword_test: ok
wordFromBitlist_test: ok
bitlistFromWord_test: ok
wordFromBitlist_bitListFromWord_test: ok
extract_concat_test: ok
update_test: ok
setBit_test1: ok
setBit_test2: ok
setBit_test3: ok
getBit_test: ok
msb_test1: ok
msb_test2: ok
lsb_test1: ok
lsb_test2: ok
shift_test1: ok
shift_test2: ok
shift_test3: ok
shift_test4: ok
and_test: ok
or_test: ok
xor_test: ok
not_test: ok
rotateR_test: ok
rotateL_test: ok
zext_test_0: ok
zext_test_1: ok
wordFromInteger_nat_test1: ok
wordFromInteger_nat_test2: ok
plus_test: ok
minus_test: ok
times_test: ok
udiv_test: ok
sdiv_test: ok
signedLess_test_1: ok
signedLess_test_2: ok
signedLess_test_3: ok
signedLessEq_test_1: ok
signedLessEq_test_2: ok
signedLessEq_test_3: ok
unsignedLess_test_1: ok
unsignedLess_test_2: ok
unsignedLess_test_3: ok
unsignedLessEq_test_1: ok
unsignedLessEq_test_2: ok
unsignedLessEq_test_3: ok
signed_shift_test1: ok
sext_test_0: ok
sext_test_1: ok
\n\n\n
***************************************************
* Testing lem_map
***************************************************\n
insert_equal_singleton: ok
commutative_insert_1: ok
commutative_insert_2: ok
empty_null: ok
lookup_insert_1: ok
lookup_insert_2: ok
lookup_insert_3: ok
lookup_empty_0: ok
find_insert_0: ok
fromList_0: ok
fromList_1: ok
toSet_0: ok
toSet_1: ok
toSet_2: ok
domain_0: ok
domain_1: ok
domain_2: ok
range_0: ok
range_1: ok
range_2: ok
member_insert_1: ok
member_insert_2: ok
member_insert_3: ok
any_0: ok
any_1: ok
any_2: ok
any_3: ok
all_0: ok
all_1: ok
all_2: ok
all_3: ok
delete_insert_1: ok
delete_insert_2: ok
delete_delete: ok
map_0: ok
empty_size: ok
singleton_size: ok
\n\n\n
***************************************************
* Testing lem_map_extra
***************************************************\n
find_insert_1: ok
find_insert_2: ok
\n\n\n
***************************************************
* Testing lem_maybe
***************************************************\n
maybe_eq_1: ok
maybe_eq_2: ok
maybe_eq_3: ok
maybe_eq_4: ok
maybe_1: ok
maybe_2: ok
maybe_3: ok
maybe_4: ok
isJust_1: ok
isJust_2: ok
isNothing_1: ok
isNothing_2: ok
fromMaybe_1: ok
fromMaybe_2: ok
fromMaybe_3: ok
fromMaybe_4: ok
map_1: ok
map_2: ok
map_3: ok
bind_1: ok
bind_2: ok
bind_3: ok
bind_4: ok
\n\n\n
***************************************************
* Testing lem_num
***************************************************\n
nat_test1: ok
nat_test2: ok
nat_test3: ok
nat_test4: ok
nat_test5: ok
nat_test6: ok
nat_test7: ok
nat_test8: ok
nat_test9: ok
nat_test10: ok
nat_test11: ok
nat_test12: ok
nat_test13: ok
nat_test14: ok
nat_test15: ok
nat_test16: ok
nat_test17: ok
nat_test18: ok
nat_test19: ok
nat_test20: ok
nat_test21: ok
nat_test22: ok
nat_test23: ok
nat_test24: ok
nat_test25: ok
nat_test26: ok
nat_test27: ok
nat_test28a: ok
nat_test28b: ok
nat_test29: ok
natural_test1: ok
natural_test2: ok
natural_test3: ok
natural_test4: ok
natural_test5: ok
natural_test6: ok
natural_test7: ok
natural_test8: ok
natural_test9: ok
natural_test10: ok
natural_test11: ok
natural_test12: ok
natural_test13: ok
natural_test14: ok
natural_test15: ok
natural_test16: ok
natural_test17: ok
natural_test18: ok
natural_test19: ok
natural_test20: ok
natural_test21: ok
natural_test22: ok
natural_test23: ok
natural_test24: ok
natural_test25: ok
natural_test26: ok
natural_test27: ok
natural_test28a: ok
natural_test28b: ok
natural_test29: ok
int_test1: ok
int_test2: ok
int_test3: ok
int_test4: ok
int_test5: ok
int_test6: ok
int_test6a: ok
int_test7: ok
int_test7a: ok
int_test8: ok
int_test8at: ok
int_test9: ok
int_test10: ok
int_test11: ok
int_test12: ok
int_test13: ok
int_test14: ok
int_test15: ok
int_test16: ok
int_test17: ok
int_test18: ok
int_test19: ok
int_test20: ok
int_test21: ok
int_test22: ok
int_test23: ok
int_test24: ok
int_test25: ok
int_test26: ok
int_test27: ok
int_test28: ok
int_test29: ok
int32_test1: ok
int32_test2: ok
int32_test3: ok
int32_test4: ok
int32_test5: ok
int32_test6: ok
int32_test7: ok
int32_test8: ok
int32_test9: ok
int32_test10: ok
int32_test11: ok
int32_test12: ok
int32_test13: ok
int32_test13a: ok
int32_test14: ok
int32_test15: ok
int32_test16: ok
int32_test17: ok
int32_test18: ok
int32_test19: ok
int32_test20: ok
int32_test21: ok
int32_test22: ok
int32_test23: ok
int32_test24: ok
int32_test25: ok
int32_test26: ok
int32_test27: ok
int32_test28: ok
int64_test1: ok
int64_test2: ok
int64_test3: ok
int64_test4: ok
int64_test5: ok
int64_test6: ok
int64_test7: ok
int64_test8: ok
int64_test9: ok
int64_test10: ok
int64_test11: ok
int64_test12: ok
int64_test13: ok
int64_test13a: ok
int64_test14: ok
int64_test15: ok
int64_test16: ok
int64_test17: ok
int64_test18: ok
int64_test19: ok
int64_test20: ok
int64_test21: ok
int64_test22: ok
int64_test23: ok
int64_test24: ok
int64_test25: ok
int64_test26: ok
int64_test27: ok
int64_test28: ok
integer_test1: ok
integer_test2: ok
integer_test3: ok
integer_test4: ok
integer_test5: ok
integer_test6: ok
integer_test6a: ok
integer_test7: ok
integer_test7a: ok
integer_test8: ok
integer_test8a: ok
integer_test9: ok
integer_test10: ok
integer_test11: ok
integer_test12: ok
integer_test13: ok
integer_test14: ok
integer_test15: ok
integer_test16: ok
integer_test17: ok
integer_test18: ok
integer_test19: ok
integer_test20: ok
integer_test21: ok
integer_test22: ok
integer_test23: ok
integer_test24: ok
integer_test25: ok
integer_test26: ok
integer_test27: ok
integer_test28: ok
integer_test29: ok
integer_test30: ok
rational_test1: ok
rational_test2: ok
rational_test3: ok
rational_test4: ok
rational_test5: ok
rational_test5a: ok
rational_test5b: ok
rational_test5c: ok
rational_test6: ok
rational_test6a: ok
rational_test7: ok
rational_test8: ok
rational_test9: ok
rational_test10: ok
rational_test11: ok
rational_test12: ok
rational_test13: ok
rational_test14: ok
rational_test15: ok
rational_test16: ok
rational_test17: ok
rational_test18: ok
rational_test19: ok
rational_test20: ok
rational_test21: ok
rational_test22: ok
rational_test23: ok
rational_test24: ok
rational_test25: ok
rational_test26: ok
rational_test27: ok
rational_test28: ok
rational_test29: ok
real_test1: ok
real_test2: ok
real_test3: ok
real_test4: ok
real_test5: ok
real_test5a: ok
real_test5b: ok
real_test5c: ok
real_test6: ok
real_test6a: ok
real_test7: ok
real_test8: ok
real_test9: ok
real_test10: ok
real_test11: ok
real_test12: ok
real_test13: ok
real_test14: ok
real_test15: ok
real_test16: ok
real_test17: ok
real_test18: ok
real_test19: ok
real_test20: ok
real_test21: ok
real_test22: ok
real_test23: ok
real_test24: ok
real_test25: ok
real_test26: ok
real_test27: ok
real_test28: ok
real_test29: ok
real_test30: ok
real_test31: ok
real_test32: ok
real_test33: ok
integer_from_int_0: ok
integer_from_int_1: ok
integer_from_int_2: ok
integer_from_nat_0: ok
integer_from_nat_1: ok
integer_from_nat_2: ok
integerFromNatural_0: ok
integerFromNatural_1: ok
integerFromNatural_2: ok
integer_from_int32_0: ok
integer_from_int32_1: ok
integer_from_int32_2: ok
integer_from_int32_3: ok
integer_from_int32_4: ok
integer_from_int32_5: ok
integer_from_int64_0: ok
integer_from_int64_1: ok
integer_from_int64_2: ok
integer_from_int64_3: ok
integer_from_int64_4: ok
integer_from_int64_5: ok
natural_from_nat_0: ok
natural_from_nat_1: ok
natural_from_nat_2: ok
natural_from_integer_0: ok
natural_from_integer_1: ok
natural_from_integer_2: ok
int_from_integer_0: ok
int_from_integer_1: ok
int_from_integer_2: ok
int_from_nat_0: ok
int_from_nat_1: ok
int_from_nat_2: ok
nat_from_natural_0: ok
nat_from_natural_1: ok
nat_from_natural_2: ok
nat_from_int_0: ok
nat_from_int_1: ok
nat_from_int_2: ok
int32_from_nat_0: ok
int32_from_nat_1: ok
int32_from_nat_2: ok
int32_from_natural_0: ok
int32_from_natural_1: ok
int32_from_natural_2: ok
int32_from_integer_0: ok
int32_from_integer_1: ok
int32_from_integer_2: ok
int32_from_integer_3: ok
int32_from_integer_4: ok
int32_from_integer_5: ok
int32_from_int_0: ok
int32_from_int_1: ok
int32_from_int_2: ok
int32_from_int_3: ok
int32_from_int_4: ok
int32_from_int_5: ok
int32_from_int_64_0: ok
int32_from_int_64_1: ok
int32_from_int_64_2: ok
int32_from_int_64_3: ok
int32_from_int_64_4: ok
int32_from_int_64_5: ok
int64_from_nat_0: ok
int64_from_nat_1: ok
int64_from_nat_2: ok
int64_from_natural_0: ok
int64_from_natural_1: ok
int64_from_natural_2: ok
int64_from_integer_0: ok
int64_from_integer_1: ok
int64_from_integer_2: ok
int64_from_integer_3: ok
int64_from_integer_4: ok
int64_from_integer_5: ok
int64_from_int_0: ok
int64_from_int_1: ok
int64_from_int_2: ok
int64_from_int_3: ok
int64_from_int_4: ok
int64_from_int_5: ok
int64_from_int_33_0: ok
int64_from_int_32_1: ok
int64_from_int_32_2: ok
int64_from_int_32_3: ok
int64_from_int_32_4: ok
int64_from_int_32_5: ok
natural_from_int_0: ok
natural_from_int_1: ok
natural_from_int_2: ok
natural_from_int32_0: ok
natural_from_int32_1: ok
natural_from_int32_2: ok
natural_from_int64_0: ok
natural_from_int64_1: ok
natural_from_int64_2: ok
int_from_natural_0: ok
int_from_natural_1: ok
int_from_natural_2: ok
int_from_int32_0: ok
int_from_int32_1: ok
int_from_int32_2: ok
int_from_int64_0: ok
int_from_int64_1: ok
int_from_int64_2: ok
nat_from_integer_0: ok
nat_from_integer_1: ok
nat_from_integer_2: ok
nat_from_int32_0: ok
nat_from_int32_1: ok
nat_from_int32_2: ok
nat_from_int64_0: ok
nat_from_int64_1: ok
nat_from_int64_2: ok
\n\n\n
***************************************************
* Testing lem_num_extra
***************************************************\n
integerOfString_test_1: ok
integerOfString_test_2: ok
\n\n\n
***************************************************
* Testing lem_relation
***************************************************\n
rel_basic_0: ok
rel_basic_1: ok
rel_basic_2: ok
in_rel_0: ok
in_rel_1: ok
in_rel_2: ok
in_rel_3: ok
relEmpty_0: ok
relEmpty_1: ok
relAdd_0: ok
relAdd_1: ok
relAdd_2: ok
relAdd_3: ok
rel_id_0: ok
rel_id_1: ok
rel_id_2: ok
rel_id_3: ok
rel_union_0: ok
rel_inter_0: ok
rel_comp_0: ok
rel_restrict_0: ok
rel_converse_0: ok
rel_domain_0: ok
rel_domain_1: ok
rel_domain_2: ok
rel_range_0: ok
rel_range_1: ok
rel_range_2: ok
rel_field_0: ok
rel_field_1: ok
rel_field_2: ok
rel_over_0: ok
rel_over_1: ok
rel_apply_0: ok
rel_apply_1: ok
is_subrel_0: ok
is_subrel_1: ok
is_subrel_2: ok
is_subrel_3: ok
is_reflexive_on_0: ok
is_reflexive_on_1: ok
is_reflexive_on_2: ok
is_irreflexive_on_0: ok
is_irreflexive_on_1: ok
is_irreflexive_on_2: ok
is_irreflexive_on_3: ok
is_irreflexive_0: ok
is_irreflexive_1: ok
is_symmetric_on_0: ok
is_symmetric_on_1: ok
is_symmetric_on_2: ok
is_symmetric_0: ok
is_symmetric_1: ok
is_antisymmetric_on_0: ok
is_antisymmetric_on_1: ok
is_antisymmetric_0: ok
is_antisymmetric_1: ok
is_transitive_on_0: ok
is_transitive_on_1: ok
is_transitive_0: ok
is_transitive_1: ok
is_total_on_0: ok
is_total_on_1: ok
is_trichotomous_on_0: ok
is_trichotomous_on_1: ok
is_single_valued_0: ok
is_single_valued_1: ok
is_equivalence_0: ok
is_equivalence_1: ok
is_equivalence_2: ok
is_preorder_0: ok
is_preorder_1: ok
is_preorder_2: ok
is_partialorder_0: ok
is_partialorder_1: ok
is_partialorder_2: ok
is_partialorder_3: ok
is_strict_partialorder_on_0: ok
is_strict_partialorder_on_1: ok
is_strict_partialorder_on_2: ok
is_strict_partialorder_on_3: ok
is_strict_partialorder_on_4: ok
is_strict_partialorder_0: ok
is_strict_partialorder_1: ok
is_strict_partialorder_2: ok
is_strict_partialorder_3: ok
is_strict_partialorder_4: ok
is_totalorder_on_0: ok
is_totalorder_on_1: ok
is_totalorder_on_2: ok
is_strict_totalorder_on_0: ok
is_strict_totalorder_on_1: ok
transitive_closure_0: ok
transitive_closure_1: ok
transitive_closure_add_0: ok
transitive_closure_add_1: ok
transitive_closure_add_2: ok
reflexive_transitive_closure_0: ok
withoutTransitiveEdges_0: ok
withoutTransitiveEdges_1: ok
withoutTransitiveEdges_2: ok
withoutTransitiveEdges_3: ok
\n\n\n
***************************************************
* Testing lem_set
***************************************************\n
empty_0: ok
empty_1: ok
empty_2: ok
empty_3: ok
any_0: ok
any_1: ok
all_0: ok
all_1: ok
in_1: ok
in_2: ok
in_3: ok
in_4: ok
nin_1: ok
nin_2: ok
nin_3: ok
nin_4: ok
null_1: ok
null_2: ok
singleton_1: ok
singleton_2: ok
singleton_3: ok
singleton_4: ok
size_1: ok
size_2: ok
size_3: ok
size_4: ok
size_5: ok
set_patterns_0: ok
set_patterns_1: ok
set_patterns_2: ok
set_patterns_3: ok
set_patterns_4: ok
set_patterns_5: ok
set_patterns_6: ok
set_patterns_7: ok
set_patterns_8: ok
set_patterns_9: ok
set_patterns_10: ok
union_1: ok
insert_1: ok
insert_2: ok
insert_3: ok
filter_1: ok
filter_2: ok
split_simple: ok
isSubsetOf_1: ok
isSubsetOf_2: ok
isSubsetOf_3: ok
isProperSubsetOf_1: ok
isProperSubsetOf_2: ok
isProperSubsetOf_3: ok
bigunion_0: ok
bigunion_1: ok
bigunion_2: ok
bigunion_3: ok
difference_1: ok
intersection_1: ok
map_1: ok
map_2: ok
bigunionmap_0: ok
bigunionmap_1: ok
fromList_1: ok
fromList_2: ok
fromList_3: ok
Sigma_1: ok
cross_1: ok
lfp_empty_0: ok
lfp_empty_1: ok
lfp_saturate_neg_1: ok
lfp_saturate_neg_2: ok
lfp_saturate_mod_3: ok
lfp_saturate_mod_4: ok
lfp_saturate_mod_5: ok
lfp_termination: ok
\n\n\n
***************************************************
* Testing lem_set_extra
***************************************************\n
choose_0: ok
choose_1: ok
choose_2: ok
choose_3: ok
toList_0: ok
toList_1: ok
toList_2: ok
toOrderedList_0: ok
toOrderedList_1: ok
toOrderedList_2: ok
lfp_empty: ok
lfp_saturate_neg: ok
lfp_saturate_mod: ok
\n\n\n
***************************************************
* Testing lem_sorting
***************************************************\n
perm_1: ok
perm_2: ok
perm_3: ok
perm_4: ok
perm_5: ok
perm_6: ok
isSorted_1: ok
isSorted_2: ok
isSorted_3: ok
isSorted_4: ok
isSorted_5: ok
isSorted_6: ok
sort_1: ok
sort_2: ok
sort_3: ok
\n\n\n
***************************************************
* Testing lem_string
***************************************************\n
char_simple_0: ok
char_simple_1: ok
char_simple_2: ok
char_simple_3: ok
char_simple_4: ok
char_simple_5: ok
char_simple_6: ok
string_simple_0: ok
string_simple_1: ok
string_simple_2: ok
string_simple_3: ok
toCharList_0: ok
toCharList_1: ok
toString_0: ok
toString_1: ok
makeString_0: ok
makeString_1: ok
makeString_2: ok
stringLength_0: ok
stringLength_1: ok
stringLength_2: ok
stringAppend_0: ok
empty_string_0: ok
empty_string_1: ok
string_cons_0: ok
string_cons_1: ok
string_patterns_0: ok
string_patterns_1: ok
\n\n\n
***************************************************
* Testing lem_string_extra
***************************************************\n
stringFromNat_0: ok
stringFromNat_1: ok
stringFromNat_2: ok
stringFromNatural_0: ok
stringFromNatural_1: ok
stringFromNatural_2: ok
stringFromInt_0: ok
stringFromInt_1: ok
stringFromInt_2: ok
stringFromInt_3: ok
stringFromInteger_0: ok
stringFromInteger_1: ok
stringFromInteger_2: ok
stringFromInteger_3: ok
string_compare_1: ok
string_compare_2: ok
string_compare_3: ok
\n\n\n
***************************************************
* Testing lem_tuple
***************************************************\n
fst_1: ok
fst_2: ok
snd_1: ok
snd_2: ok
curry_1: ok
uncurry_1: ok
swap_1: ok
\n\n\n
***************************************************
* Testing lem_word
***************************************************\n
boolListFrombitSeq_0: ok
boolListFrombitSeq_1: ok
boolListFrombitSeq_2: ok
bitSeqFromBoolList_0: ok
bitSeqFromBoolList_1: ok
bitSeqFromBoolList_2: ok
cleanBitSeq_0: ok
cleanBitSeq_1: ok
cleanBitSeq_2: ok
resizeBitSeq_0: ok
resizeBitSeq_1: ok
resizeBitSeq_2: ok
resizeBitSeq_3: ok
resizeBitSeq_4: ok
bitSeqNot_0: ok
integerFromBoolList_0: ok
integerFromBoolList_1: ok
integerFromBoolList_2: ok
integerFromBoolList_3: ok
integerFromBoolList_4: ok
boolListFromInteger_0: ok
boolListFromInteger_1: ok
boolListFromInteger_2: ok
boolListFromInteger_3: ok
boolListFromInteger_4: ok
bitSeqFromInteger_0: ok
bitSeqFromInteger_1: ok
bitSeqFromInteger_2: ok
bitSeqFromInteger_3: ok
bitSeqFromInteger_4: ok
bitSeqFromInteger_5: ok
integerFromBitSeq_0: ok
integerFromBitSeq_1: ok
integerFromBitSeq_2: ok
integerFromBitSeq_3: ok
integerFromBitSeq_inv_0: ok
integerFromBitSeq_inv_1: ok
integerFromBitSeq_inv_2: ok
bitSequence_test1: ok
bitSequence_test2: ok
bitSequence_test3: ok
bitSequence_test4: ok
bitSequence_test5: ok
bitSequence_test6: ok
bitSequence_test6a: ok
bitSequence_test7: ok
bitSequence_test7a: ok
bitSequence_test8: ok
bitSequence_test8a: ok
bitSequence_test9: ok
bitSequence_test10: ok
bitSequence_test11: ok
bitSequence_test12: ok
bitSequence_test13: ok
bitSequence_test14: ok
bitSequence_test15: ok
bitSequence_test16: ok
bitSequence_test17: ok
bitSequence_test18: ok
bitSequence_test19: ok
bitSequence_test20: ok
bitSequence_test21: ok
bitSequence_test22: ok
bitSequence_test23: ok
bitSequence_test24: ok
bitSequence_test25: ok
bitSequence_test26: ok
bitSequence_bittest1: ok
bitSequence_bittest2: ok
bitSequence_bittest3: ok
bitSequence_bittest4: ok
bitSequence_bittest5: ok
bitSequence_bittest6: ok
bitSequence_bittest7: ok
bitSequence_bittest8: ok
bitSequence_bittest9: ok
bitSequence_bittest10: ok
bitSequence_bittest11: ok
bitSequence_bittest12: ok
bitSequence_bittest13: ok
bitSequence_bittest14: ok
bitSequence_bittest15: ok
bitSequence_bittest16: ok
bitSequence_bittest17: ok
bitSequence_bittest18: ok
bitSequence_bittest19: ok
bitSequence_bittest20: ok
bitSequence_bittest21: ok
bitSequence_bittest22: ok
bitSequence_bittest23: ok
bitSequence_bittest24: ok
int32_bittest1: ok
int32_bittest2: ok
int32_bittest3: ok
int32_bittest4: ok
int32_bittest5: ok
int32_bittest6: ok
int32_bittest7: ok
int32_bittest8: ok
int32_bittest9: ok
int32_bittest10: ok
int32_bittest11: ok
int32_bittest12: ok
int32_bittest13: ok
int32_bittest14: ok
int32_bittest15: ok
int32_bittest16: ok
int32_bittest17: ok
int32_bittest18: ok
int32_bittest19: ok
int32_bittest20: ok
int32_bittest21: ok
int32_bittest22: ok
int32_bittest23: ok
int32_bittest24: ok
int64_bittest1: ok
int64_bittest2: ok
int64_bittest3: ok
int64_bittest4: ok
int64_bittest5: ok
int64_bittest6: ok
int64_bittest7: ok
int64_bittest8: ok
int64_bittest9: ok
int64_bittest10: ok
int64_bittest11: ok
int64_bittest12: ok
int64_bittest13: ok
int64_bittest14: ok
int64_bittest15: ok
int64_bittest16: ok
int64_bittest17: ok
int64_bittest18: ok
int64_bittest19: ok
int64_bittest20: ok
int64_bittest21: ok
int64_bittest22: ok
int64_bittest23: ok
int64_bittest24: ok
integer_bittest1: ok
integer_bittest2: ok
integer_bittest3: ok
integer_bittest4: ok
integer_bittest5: ok
integer_bittest6: ok
integer_bittest7: ok
integer_bittest8: ok
integer_bittest9: ok
integer_bittest10: ok
integer_bittest11: ok
integer_bittest12: ok
integer_bittest13: ok
integer_bittest14: ok
integer_bittest15: ok
integer_bittest16: ok
integer_bittest17: ok
integer_bittest18: ok
integer_bittest19: ok
integer_bittest20: ok
integer_bittest22: ok
integer_bittest24: ok
int_bittest1: ok
int_bittest2: ok
int_bittest3: ok
int_bittest4: ok
int_bittest5: ok
int_bittest6: ok
int_bittest7: ok
int_bittest8: ok
int_bittest9: ok
int_bittest10: ok
int_bittest11: ok
int_bittest12: ok
int_bittest17: ok
int_bittest18: ok
int_bittest19: ok
int_bittest20: ok
int_bittest22: ok
int_bittest24: ok
natural_bittest1: ok
natural_bittest2: ok
natural_bittest3: ok
natural_bittest4: ok
natural_bittest5: ok
natural_bittest6: ok
natural_bittest9: ok
natural_bittest10: ok
natural_bittest11: ok
natural_bittest12: ok
natural_bittest13: ok
natural_bittest14: ok
natural_bittest15: ok
natural_bittest16: ok
natural_bittest17: ok
natural_bittest18: ok
natural_bittest19: ok
natural_bittest20: ok
nat_bittest1: ok
nat_bittest2: ok
nat_bittest3: ok
nat_bittest4: ok
nat_bittest5: ok
nat_bittest6: ok
nat_bittest9: ok
nat_bittest10: ok
nat_bittest11: ok
nat_bittest12: ok
nat_bittest17: ok
nat_bittest18: ok
nat_bittest19: ok
nat_bittest20: ok
make[2]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/library'
make[1]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.2QtL4U
+ umask 022
+ cd /builddir/build/BUILD/lem-2026.05.01-build
+ '[' /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT
++ dirname /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/lem-2026.05.01-build
+ mkdir /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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 lem-2026-05-01
+ mkdir -p /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml
+ make install INSTALLDIR=/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml INSTALL_DIR=/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr
mkdir -p "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/bin"
rm -f "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/bin/lem"
cp src/main.native "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/bin/lem"
rm -rf "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem"
mkdir -p "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem/library"
cp library/*.lem "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem/library"
cp library/*_constants "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem/library"
make -C ocaml-lib install
make[1]: Entering directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/ocaml-lib'
Makefile:10: warning: overriding recipe for target 'clean'
ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa
+ ocamlfind ocamlc -config
ocamlfind remove -destdir "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml" lem_zarith
ocamlfind: [WARNING] No such file: /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/META
ocamlfind install -destdir "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml" -patch-version "" lem_zarith num_impl_zarith/META _build_zarith/extract.cma _build_zarith/extract.cmxa _build_zarith/extract.a `find _build_zarith -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'`
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_relation.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_sorting.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_word.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_either.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pmap.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_tuple.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/either.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_bool.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/xstring.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_big_num.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_num.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pset.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_debug.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/vector.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_relation.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_sorting.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_debug.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/bit.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_either.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_tuple.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/either.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_bool.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/xstring.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/xstring.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/bit.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/bit.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/vector.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/vector.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pmap.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_word.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pmap.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pset.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pset.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_num.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_num.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_big_num.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_big_num.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational_impl.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/big_int_impl.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational_impl.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational_impl.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/big_int_impl.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/big_int_impl.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.a
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.cmxa
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.cma
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/META
touch install_zarith
ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa
+ ocamlfind ocamlc -config
ocamlfind remove -destdir "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml" lem_num
ocamlfind: [WARNING] No such file: /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/META
ocamlfind install -destdir "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml" -patch-version "" lem_num num_impl_num/META _build_num/extract.cma _build_num/extract.cmxa _build_num/extract.a `find _build_num -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'`
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/bit.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_relation.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_sorting.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_machine_word.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_word.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_either.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/pmap.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_helpers.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_assert_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_tuple.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_basic_classes.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/either.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_bool.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/xstring.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_big_num.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_num.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/pset.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_debug.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/vector.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_relation.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_sorting.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_debug.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string_extra.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_helpers.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_either.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_tuple.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_basic_classes.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_assert_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/either.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_machine_word.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_bool.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/xstring.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/xstring.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/bit.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list_extra.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/bit.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/vector.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/vector.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/pmap.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_word.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/pmap.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/pset.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/pset.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_num.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_num.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_big_num.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_big_num.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational_impl.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/big_int_impl.cmx
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational_impl.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational_impl.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/big_int_impl.cmi
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/big_int_impl.mli
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.a
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.cmxa
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.cma
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/META
touch install_num
ocamlfind remove -destdir "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml" lem
ocamlfind: [WARNING] No such file: /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem/META
ocamlfind install -destdir "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml" -patch-version "" lem META
Installed /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem/META
touch install_lem
make[1]: Leaving directory '/builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/ocaml-lib'
cp -R coq-lib "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem"
cp -R hol-lib "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem"
cp -R isabelle-lib "/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/lem"
+ mkdir -p /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/man/man1
+ help2man -N --version-string=2026.05.01 -o /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/man/man1/lem.1 -n 'Convert markdown to HTML' /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/bin/lem
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 2026.05.01-3.fc45 --unique-debug-suffix -2026.05.01-3.fc45.riscv64 --unique-debug-src-base lem-2026.05.01-3.fc45.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01
find-debuginfo: starting
Extracting debug info from 3 files
DWARF-compressing 1 files
sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/lem-2026.05.01-3.fc45.riscv64
cpio: src/_build/atomic.ml: Cannot stat: No such file or directory
cpio: src/_build/buffer.ml: Cannot stat: No such file or directory
cpio: src/_build/bytes.ml: Cannot stat: No such file or directory
cpio: src/_build/filename.ml: Cannot stat: No such file or directory
cpio: src/_build/format.ml: Cannot stat: No such file or directory
cpio: src/_build/lexing.ml: Cannot stat: No such file or directory
cpio: src/_build/list.ml: Cannot stat: No such file or directory
cpio: src/_build/map.ml: Cannot stat: No such file or directory
cpio: src/_build/parsing.ml: Cannot stat: No such file or directory
cpio: src/_build/printexc.ml: Cannot stat: No such file or directory
cpio: src/_build/printf.ml: Cannot stat: No such file or directory
cpio: src/_build/scanf.ml: Cannot stat: No such file or directory
cpio: src/_build/seq.ml: Cannot stat: No such file or directory
cpio: src/_build/set.ml: Cannot stat: No such file or directory
cpio: src/_build/stdlib.ml: Cannot stat: No such file or directory
cpio: src/_build/str.ml: Cannot stat: No such file or directory
cpio: src/_build/string.ml: Cannot stat: No such file or directory
cpio: src/_build/z.ml: Cannot stat: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ COMPRESS='gzip -9 -n'
+ COMPRESS_EXT=.gz
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /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 -j8
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-det --brp -j8 /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT
/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.a: replacing with normalized version
/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.a: replacing with normalized version
Scanned 26 directories and 405 files,
    processed 3 inodes,
    2 modified (2 replaced + 0 rewritten),
    0 unsupported format, 0 errors
+ /usr/bin/linkdupes --brp /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr
Scanned 25 directories and 405 files,
    considered 405 files, read 64 files, linked 28 files, 0 errors
    sum of sizes of linked files: 232320 bytes
Reading /builddir/build/BUILD/lem-2026.05.01-build/SPECPARTS/rpm-debuginfo.specpart
Processing files: lem-2026.05.01-3.fc45.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.6aF4zU
+ umask 022
+ cd /builddir/build/BUILD/lem-2026.05.01-build
+ cd lem-2026-05-01
+ DOCDIR=/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/doc/lem
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/doc/lem
+ cp -pr /builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/README.md /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/doc/lem
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.J9XgWE
+ umask 022
+ cd /builddir/build/BUILD/lem-2026.05.01-build
+ cd lem-2026-05-01
+ LICENSEDIR=/builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/licenses/lem
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/licenses/lem
+ cp -pr /builddir/build/BUILD/lem-2026.05.01-build/lem-2026-05-01/LICENSE /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT/usr/share/licenses/lem
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: lem = 2026.05.01-3.fc45 lem(riscv-64) = 2026.05.01-3.fc45
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.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) rtld(GNU_HASH)
Processing files: lem-devel-2026.05.01-3.fc45.riscv64
Provides: lem-devel = 2026.05.01-3.fc45 lem-devel(riscv-64) = 2026.05.01-3.fc45 ocaml(Big_int_impl) = 63fa55d71a88878f76e9b6cc90d84f99 ocaml(Big_int_impl) = b02de97db36d93f4f738abebb40277d1 ocaml(Bit) = 4a10d0621bf987f07c95f053812116c9 ocaml(Either) = 54e21dff94aa106a75e485a7b94c4f95 ocaml(Lem) = 03cb6ea9d7379604868e2998ff4ef1d1 ocaml(Lem) = 551162913e61a3065349f3a4944c40ad ocaml(Lem_assert_extra) = 929165032c48477a257d621c001fda80 ocaml(Lem_basic_classes) = 2b96f48cdae5af25948088682383bbca ocaml(Lem_bool) = b97ab14e44d314ecb6f78dcabbb9f5c3 ocaml(Lem_debug) = 89609429afd398291c05c1fd1889f519 ocaml(Lem_either) = ed5d548aca28d483725889dc90c37cef ocaml(Lem_function) = 7a44c2c786bbb03c9693333b1dba1ff1 ocaml(Lem_function_extra) = 48f7b1acae7b912c614df7c8594bd0a0 ocaml(Lem_list) = c68c8a36b0688001905ff24376fd0264 ocaml(Lem_list_extra) = 0f0679938e4836ae4da07480f87fa3c7 ocaml(Lem_machine_word) = 4bd950d6c21d199dd5e543d813787eb2 ocaml(Lem_machine_word) = d275d755483c8240f9acf76066933d91 ocaml(Lem_map) = 13199e688dc4188368bb6999560b66d7 ocaml(Lem_map_extra) = 1fff2f4763426a71b360a4cd837fc605 ocaml(Lem_maybe) = 71f39c4a5ea386298f99f59cf1be6730 ocaml(Lem_maybe_extra) = f938cfb7bc661b3d72abd8444df41efb ocaml(Lem_num) = 54604ffc8acf7999201fda2725ae216d ocaml(Lem_num) = 81a958b114e14162c3610271755e99e1 ocaml(Lem_num_extra) = 980bf56a74c788317e1eec86ebfab2d5 ocaml(Lem_num_extra) = b7d740edca54b51de46c845a35116570 ocaml(Lem_pervasives) = 7c3590d4296ece0af256a22ada401473 ocaml(Lem_pervasives) = 9f3a6eeba4b6a9bc6ec523f20c2150f9 ocaml(Lem_pervasives_extra) = 77cf6bdaad4d7b1a59691a54c600a745 ocaml(Lem_pervasives_extra) = 8fc0ec0e386b5edba4e2a69e499f4cb2 ocaml(Lem_relation) = 19d20fd94a44b02a06e5617602d5fc2a ocaml(Lem_set) = 8987b9def40d3640755ab539049655f1 ocaml(Lem_set_extra) = 4a84c119ad92ba32a13bc97b43f67f06 ocaml(Lem_set_helpers) = c2378d014453ba6737827f9730348e1e ocaml(Lem_show) = d146d43441c81fcdd7e1e9ede9ab3f3e ocaml(Lem_show_extra) = 4503388337da317607bf50505f8d33f6 ocaml(Lem_sorting) = 9aefbc93596bfa2043f6a6531ea53e6b ocaml(Lem_string) = a088fb2ef732a0dee327097c86720806 ocaml(Lem_string_extra) = 9a078e3e52d7a30f9ff89b758c41954f ocaml(Lem_string_extra) = ce82de1569948acdd5bbc9e4739ef8d4 ocaml(Lem_tuple) = 81eda7bc3550ee020bf288c47699ae87 ocaml(Lem_word) = 3ad7051a4222a9f46dfc93e510b89f93 ocaml(Lem_word) = 7910209ebb87bd1ff62b3cab7b2199f5 ocaml(Nat_big_num) = 69e287eb59d06e2147041f91a70993a6 ocaml(Nat_big_num) = e6850d4b00e86831873e6ab6037f9782 ocaml(Nat_num) = f10b887ce8add7cdc0f09479fc9721b5 ocaml(Pmap) = 42bc1665e483cb7deb3e3226f8917aff ocaml(Pset) = bf609a084976dc60fb6469ee9b0e7717 ocaml(Rational) = 3bbd8b8daeea4d4099c81dc0dcc7ba3f ocaml(Rational) = 698828998f38d18198f89ff21e4d5cc2 ocaml(Rational_impl) = 8a0c9d95b2e976a11b3df2e4bea66877 ocaml(Rational_impl) = fed53474de165a2db3aad371138ea6d1 ocaml(Vector) = cba043e7183986d8379c0a680092bfdf ocaml(Xstring) = c10f0c83a07fff238486912a1b17b07f ocamlx(Big_int_impl) = 6110a634c437f654d2cf3f26276e66dc ocamlx(Big_int_impl) = 94da003fd148eece071a00c4ec42cba1 ocamlx(Bit) = 2c30623fe156f01c0a6fef0d83583d0a ocamlx(Either) = 40303573eacf8561ed6f4ed4fae5bc61 ocamlx(Lem) = 2971c928bd3e2bd41438a373758ad5f0 ocamlx(Lem) = 553f7062aea2c971fb821dfc10fc473f ocamlx(Lem_assert_extra) = d5b4d0adb2aad12a70ecd370cf407865 ocamlx(Lem_basic_classes) = 014b170d6ec742f3a63f05d3ad0b10d4 ocamlx(Lem_basic_classes) = bcb0ea158a5d69c71b3ce40fde16e4d5 ocamlx(Lem_bool) = ec2b6414e065fd9a419d7fd2a2e31679 ocamlx(Lem_debug) = 6061232a9920970db14585def7dd6324 ocamlx(Lem_either) = 89da9cc3762579e4ed0f5b7d8ae15088 ocamlx(Lem_either) = b70608cf858099139d56815b35d07a37 ocamlx(Lem_function) = 322ecff5061421ae372225823e759713 ocamlx(Lem_function) = f9a7ad63b3bfe1ea4458402aa4d34117 ocamlx(Lem_function_extra) = 08fb98dee6a5619be76dc99199e3346f ocamlx(Lem_function_extra) = 8b151df65d6cc0c50006f72172a8a9d8 ocamlx(Lem_list) = 6d692f6f9e90d6050d7224543ec4a1c9 ocamlx(Lem_list) = bf0da89571d6fd901dae2fdce4376e03 ocamlx(Lem_list_extra) = 05e497d7b7fce8293802516d99b85332 ocamlx(Lem_list_extra) = 2e6b881667090e9dbf55f3dbb6235bc1 ocamlx(Lem_machine_word) = 0d6cbedeca7ac63a7821d051ba999bef ocamlx(Lem_machine_word) = c4a8e2def53aaf7fdb30a2259cf38198 ocamlx(Lem_map) = 16412d23042e9962eb204c5ebb731e96 ocamlx(Lem_map) = a78382996546c947de55d4aed435c390 ocamlx(Lem_map_extra) = 77d63da5c3a0a1f94857cc671ceeb31e ocamlx(Lem_map_extra) = c1464524dc74d7a80bc8861f66ba834e ocamlx(Lem_maybe) = 04e34957ffec3c504ed94cc17b121f25 ocamlx(Lem_maybe) = d1746e4e8adaae64544cbab13c8ca0d3 ocamlx(Lem_maybe_extra) = 2e3b5ddbbd439500981fb1f19947627c ocamlx(Lem_maybe_extra) = 4b1f033b6f5ea8d54fd3c0488656091e ocamlx(Lem_num) = 4e30208366ec41e3b1b5130d32d46a74 ocamlx(Lem_num) = 90131bd3530c2b3b1bc7754627c47208 ocamlx(Lem_num_extra) = b9f6be42f3a99dac172ec5568c415972 ocamlx(Lem_num_extra) = fac9551075d45f96df77a16224ac87c9 ocamlx(Lem_pervasives) = 05c6228dfb3d0020596f359ddf7a1a2f ocamlx(Lem_pervasives) = 7d6691f51c7e012b74d721bbb17fe4f5 ocamlx(Lem_pervasives_extra) = 58f9d6a03de3b97ce8f4d785ee2cf60a ocamlx(Lem_pervasives_extra) = 6472236129ac7861017bcf031ca34822 ocamlx(Lem_relation) = 47c764842a9d88c0288166782620772e ocamlx(Lem_relation) = b909f2df6f72ffcfe939b592c61f97b2 ocamlx(Lem_set) = 4abf085ec415de9697c52cdfa8698df1 ocamlx(Lem_set) = 9fa0d545618550c0d49973f3f0d6bbb1 ocamlx(Lem_set_extra) = 10eca87803c3b6f1287635b360ef4499 ocamlx(Lem_set_extra) = abee01f59566e259f08cb323a37580f0 ocamlx(Lem_set_helpers) = 5d3860969c1918a2e69971667d4288d8 ocamlx(Lem_set_helpers) = b136781e9c2bc8c0bfec49b3e9578426 ocamlx(Lem_show) = 02ed06b007a9d42f083a527c2c0f7ab5 ocamlx(Lem_show) = 8b548b14956b8d2e13a800318f41ab00 ocamlx(Lem_show_extra) = 0e50a44118452ef66875d3b37be6304b ocamlx(Lem_show_extra) = a4e03ad2977b6d56e1c8e15bafa27a84 ocamlx(Lem_sorting) = b53e2d419280f9a291c267754f24d8b7 ocamlx(Lem_sorting) = c0b985a88cd2fc069ba24c9639938a70 ocamlx(Lem_string) = 4e7c868bc55a3a5a3fe91e3328695077 ocamlx(Lem_string) = e6d2fa4a445dc3bbec8f6094c7ffe2b5 ocamlx(Lem_string_extra) = 034fd025a6da065e4ca34ff87ae8c939 ocamlx(Lem_string_extra) = bf7f0c3ae538e604f46304d605a59f93 ocamlx(Lem_tuple) = 5dc6f02dea05e0bcd85c3bad22f02a1b ocamlx(Lem_tuple) = 9d10ac7c24cdb3cea614397d5a8f5045 ocamlx(Lem_word) = aab8e40ad79fc25c10844a3a09952372 ocamlx(Lem_word) = bb29b56c1a702080c0b5ac43cf7b3163 ocamlx(Nat_big_num) = c4f71ac1c1fb9879c2c707d83bccc65e ocamlx(Nat_big_num) = e3fadc4848a14af4f7dd74e7b9408fbc ocamlx(Nat_num) = 880b66926f1bc3f1a61f06a34a5295f5 ocamlx(Pmap) = e27e29263ac1469f2500dc4ed008d34d ocamlx(Pset) = 990cb6238a57d1de6a70eba28abb024b ocamlx(Rational) = 790576e97110abdf6d0c07ba59cbc89b ocamlx(Rational) = c64d89580980df175390e756000b02e6 ocamlx(Rational_impl) = 0ef2320824c20df4dfd03b3260592e6b ocamlx(Rational_impl) = 83135eac40c6ec75177307413853e877 ocamlx(Vector) = ad37dd1715fb85d3155b6114b2691296 ocamlx(Xstring) = 51f675a1a544ce1ab72f11d9dcf5933b
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(Big_int) = 25a354c15e414d88c77a83e93c28316f ocaml(Big_int_Z) = 9da002110bfe02e98c8f142c6f7dcd50 ocaml(Big_int_impl) = 63fa55d71a88878f76e9b6cc90d84f99 ocaml(Big_int_impl) = b02de97db36d93f4f738abebb40277d1 ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda ocaml(Either) = 54e21dff94aa106a75e485a7b94c4f95 ocaml(Lem) = 03cb6ea9d7379604868e2998ff4ef1d1 ocaml(Lem) = 551162913e61a3065349f3a4944c40ad ocaml(Lem_assert_extra) = 929165032c48477a257d621c001fda80 ocaml(Lem_basic_classes) = 2b96f48cdae5af25948088682383bbca ocaml(Lem_bool) = b97ab14e44d314ecb6f78dcabbb9f5c3 ocaml(Lem_either) = ed5d548aca28d483725889dc90c37cef ocaml(Lem_function) = 7a44c2c786bbb03c9693333b1dba1ff1 ocaml(Lem_function_extra) = 48f7b1acae7b912c614df7c8594bd0a0 ocaml(Lem_list) = c68c8a36b0688001905ff24376fd0264 ocaml(Lem_list_extra) = 0f0679938e4836ae4da07480f87fa3c7 ocaml(Lem_machine_word) = 4bd950d6c21d199dd5e543d813787eb2 ocaml(Lem_machine_word) = d275d755483c8240f9acf76066933d91 ocaml(Lem_map) = 13199e688dc4188368bb6999560b66d7 ocaml(Lem_map_extra) = 1fff2f4763426a71b360a4cd837fc605 ocaml(Lem_maybe) = 71f39c4a5ea386298f99f59cf1be6730 ocaml(Lem_maybe_extra) = f938cfb7bc661b3d72abd8444df41efb ocaml(Lem_num) = 54604ffc8acf7999201fda2725ae216d ocaml(Lem_num) = 81a958b114e14162c3610271755e99e1 ocaml(Lem_num_extra) = 980bf56a74c788317e1eec86ebfab2d5 ocaml(Lem_num_extra) = b7d740edca54b51de46c845a35116570 ocaml(Lem_pervasives) = 7c3590d4296ece0af256a22ada401473 ocaml(Lem_pervasives) = 9f3a6eeba4b6a9bc6ec523f20c2150f9 ocaml(Lem_relation) = 19d20fd94a44b02a06e5617602d5fc2a ocaml(Lem_set) = 8987b9def40d3640755ab539049655f1 ocaml(Lem_set_extra) = 4a84c119ad92ba32a13bc97b43f67f06 ocaml(Lem_set_helpers) = c2378d014453ba6737827f9730348e1e ocaml(Lem_show) = d146d43441c81fcdd7e1e9ede9ab3f3e ocaml(Lem_show_extra) = 4503388337da317607bf50505f8d33f6 ocaml(Lem_sorting) = 9aefbc93596bfa2043f6a6531ea53e6b ocaml(Lem_string) = a088fb2ef732a0dee327097c86720806 ocaml(Lem_string_extra) = 9a078e3e52d7a30f9ff89b758c41954f ocaml(Lem_string_extra) = ce82de1569948acdd5bbc9e4739ef8d4 ocaml(Lem_tuple) = 81eda7bc3550ee020bf288c47699ae87 ocaml(Lem_word) = 3ad7051a4222a9f46dfc93e510b89f93 ocaml(Lem_word) = 7910209ebb87bd1ff62b3cab7b2199f5 ocaml(Nat) = 22c05132ffc7d932c269f39d91edbe44 ocaml(Nat_big_num) = 69e287eb59d06e2147041f91a70993a6 ocaml(Nat_big_num) = e6850d4b00e86831873e6ab6037f9782 ocaml(Nat_num) = f10b887ce8add7cdc0f09479fc9721b5 ocaml(Num) = fdd39f09075577c844b182c69b70b411 ocaml(Pmap) = 42bc1665e483cb7deb3e3226f8917aff ocaml(Pset) = bf609a084976dc60fb6469ee9b0e7717 ocaml(Q) = 659754a9895bf87cdc992c6ffcc4b20a ocaml(Ratio) = 654005b43aa6f966070312666252fe63 ocaml(Rational) = 3bbd8b8daeea4d4099c81dc0dcc7ba3f ocaml(Rational) = 698828998f38d18198f89ff21e4d5cc2 ocaml(Rational_impl) = 8a0c9d95b2e976a11b3df2e4bea66877 ocaml(Rational_impl) = fed53474de165a2db3aad371138ea6d1 ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79 ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6 ocaml(Stdlib__Bytes) = 6fa82d0a58c0eb4ca469f084a70f9a7e ocaml(Stdlib__Char) = de356fade697b3b5bc1222daedbf67b4 ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121 ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1 ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a ocaml(Stdlib__Int64) = 6c1bd23e0da837071a98f3330e9f1242 ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2 ocaml(Stdlib__Nativeint) = 5a73f569861cc3c66639bcda63a82510 ocaml(Stdlib__Random) = 956621158e7602665cb7b17716307400 ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111 ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9 ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1 ocaml(Xstring) = c10f0c83a07fff238486912a1b17b07f ocaml(Z) = 6f4dc1533ce2000c365adfd65d52b204 ocamlx(Big_int) = 91c7c77d468809d8489d30ccf6466914 ocamlx(Big_int_Z) = 019e3a59fa4b8ff0eb17855f4442daa5 ocamlx(Big_int_impl) = 6110a634c437f654d2cf3f26276e66dc ocamlx(Big_int_impl) = 94da003fd148eece071a00c4ec42cba1 ocamlx(Either) = 40303573eacf8561ed6f4ed4fae5bc61 ocamlx(Lem) = 2971c928bd3e2bd41438a373758ad5f0 ocamlx(Lem) = 553f7062aea2c971fb821dfc10fc473f ocamlx(Lem_assert_extra) = d5b4d0adb2aad12a70ecd370cf407865 ocamlx(Lem_basic_classes) = 014b170d6ec742f3a63f05d3ad0b10d4 ocamlx(Lem_basic_classes) = bcb0ea158a5d69c71b3ce40fde16e4d5 ocamlx(Lem_bool) = ec2b6414e065fd9a419d7fd2a2e31679 ocamlx(Lem_either) = 89da9cc3762579e4ed0f5b7d8ae15088 ocamlx(Lem_either) = b70608cf858099139d56815b35d07a37 ocamlx(Lem_function) = 322ecff5061421ae372225823e759713 ocamlx(Lem_function) = f9a7ad63b3bfe1ea4458402aa4d34117 ocamlx(Lem_function_extra) = 08fb98dee6a5619be76dc99199e3346f ocamlx(Lem_function_extra) = 8b151df65d6cc0c50006f72172a8a9d8 ocamlx(Lem_list) = 6d692f6f9e90d6050d7224543ec4a1c9 ocamlx(Lem_list) = bf0da89571d6fd901dae2fdce4376e03 ocamlx(Lem_list_extra) = 05e497d7b7fce8293802516d99b85332 ocamlx(Lem_list_extra) = 2e6b881667090e9dbf55f3dbb6235bc1 ocamlx(Lem_machine_word) = 0d6cbedeca7ac63a7821d051ba999bef ocamlx(Lem_machine_word) = c4a8e2def53aaf7fdb30a2259cf38198 ocamlx(Lem_map) = 16412d23042e9962eb204c5ebb731e96 ocamlx(Lem_map) = a78382996546c947de55d4aed435c390 ocamlx(Lem_map_extra) = 77d63da5c3a0a1f94857cc671ceeb31e ocamlx(Lem_map_extra) = c1464524dc74d7a80bc8861f66ba834e ocamlx(Lem_maybe) = 04e34957ffec3c504ed94cc17b121f25 ocamlx(Lem_maybe) = d1746e4e8adaae64544cbab13c8ca0d3 ocamlx(Lem_maybe_extra) = 2e3b5ddbbd439500981fb1f19947627c ocamlx(Lem_maybe_extra) = 4b1f033b6f5ea8d54fd3c0488656091e ocamlx(Lem_num) = 4e30208366ec41e3b1b5130d32d46a74 ocamlx(Lem_num) = 90131bd3530c2b3b1bc7754627c47208 ocamlx(Lem_num_extra) = b9f6be42f3a99dac172ec5568c415972 ocamlx(Lem_num_extra) = fac9551075d45f96df77a16224ac87c9 ocamlx(Lem_pervasives) = 05c6228dfb3d0020596f359ddf7a1a2f ocamlx(Lem_pervasives) = 7d6691f51c7e012b74d721bbb17fe4f5 ocamlx(Lem_relation) = 47c764842a9d88c0288166782620772e ocamlx(Lem_relation) = b909f2df6f72ffcfe939b592c61f97b2 ocamlx(Lem_set) = 4abf085ec415de9697c52cdfa8698df1 ocamlx(Lem_set) = 9fa0d545618550c0d49973f3f0d6bbb1 ocamlx(Lem_set_extra) = 10eca87803c3b6f1287635b360ef4499 ocamlx(Lem_set_extra) = abee01f59566e259f08cb323a37580f0 ocamlx(Lem_set_helpers) = 5d3860969c1918a2e69971667d4288d8 ocamlx(Lem_set_helpers) = b136781e9c2bc8c0bfec49b3e9578426 ocamlx(Lem_show) = 02ed06b007a9d42f083a527c2c0f7ab5 ocamlx(Lem_show) = 8b548b14956b8d2e13a800318f41ab00 ocamlx(Lem_show_extra) = 0e50a44118452ef66875d3b37be6304b ocamlx(Lem_show_extra) = a4e03ad2977b6d56e1c8e15bafa27a84 ocamlx(Lem_string) = 4e7c868bc55a3a5a3fe91e3328695077 ocamlx(Lem_string) = e6d2fa4a445dc3bbec8f6094c7ffe2b5 ocamlx(Lem_string_extra) = 034fd025a6da065e4ca34ff87ae8c939 ocamlx(Lem_string_extra) = bf7f0c3ae538e604f46304d605a59f93 ocamlx(Lem_tuple) = 5dc6f02dea05e0bcd85c3bad22f02a1b ocamlx(Lem_tuple) = 9d10ac7c24cdb3cea614397d5a8f5045 ocamlx(Lem_word) = aab8e40ad79fc25c10844a3a09952372 ocamlx(Lem_word) = bb29b56c1a702080c0b5ac43cf7b3163 ocamlx(Nat) = 19868fab5e6b98beb93ab8270e0a54f0 ocamlx(Nat_big_num) = c4f71ac1c1fb9879c2c707d83bccc65e ocamlx(Nat_big_num) = e3fadc4848a14af4f7dd74e7b9408fbc ocamlx(Nat_num) = 880b66926f1bc3f1a61f06a34a5295f5 ocamlx(Num) = 39ac9bf972900b55259aa61e42059460 ocamlx(Pmap) = e27e29263ac1469f2500dc4ed008d34d ocamlx(Pset) = 990cb6238a57d1de6a70eba28abb024b ocamlx(Q) = 3d479d310586c2161f7286042cbeadea ocamlx(Ratio) = f509c6c1d4e5432270fb6905ac86bc87 ocamlx(Rational) = 790576e97110abdf6d0c07ba59cbc89b ocamlx(Rational) = c64d89580980df175390e756000b02e6 ocamlx(Rational_impl) = 0ef2320824c20df4dfd03b3260592e6b ocamlx(Rational_impl) = 83135eac40c6ec75177307413853e877 ocamlx(Stdlib) = 10ea0d72067578752b9337ef13a8c4b8 ocamlx(Stdlib__Array) = 8ec69c15a63db8574d415899732ab74e ocamlx(Stdlib__Bytes) = f22b9e15bc8cc33a9742247380af4768 ocamlx(Stdlib__Char) = f6e8d6d42902571844c6e15c0ddd4741 ocamlx(Stdlib__Format) = 088b18472bb48a6edaae7e95b2b7364a ocamlx(Stdlib__Hashtbl) = 7835a42f37391041e5d9126bfd5756c1 ocamlx(Stdlib__Int32) = 48d313d5ba4cd033ba31ccfcd1000f13 ocamlx(Stdlib__Int64) = 60fd173c55ee73640d7c1e2d49ca6792 ocamlx(Stdlib__List) = de311163159cc81659beef6dd6b5f114 ocamlx(Stdlib__String) = 16164d7a73bab99870c22d145e17a925 ocamlx(Z) = 2765b84f5b08643db510a75b966078e3 ocamlx(Zarith_version) = 4f2d35d2621e1d67c4267f2568454712
Processing files: lem-debugsource-2026.05.01-3.fc45.riscv64
Provides: lem-debugsource = 2026.05.01-3.fc45 lem-debugsource(riscv-64) = 2026.05.01-3.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: lem-debuginfo-2026.05.01-3.fc45.riscv64
Provides: debuginfo(build-id) = 4189300fdb35be5b4f22d0725997c57d53c64df0 lem-debuginfo = 2026.05.01-3.fc45 lem-debuginfo(riscv-64) = 2026.05.01-3.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: lem-debugsource(riscv-64) = 2026.05.01-3.fc45
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/lem-2026.05.01-build/BUILDROOT
Wrote: /builddir/build/RPMS/lem-debugsource-2026.05.01-3.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/lem-devel-2026.05.01-3.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/lem-debuginfo-2026.05.01-3.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/lem-2026.05.01-3.fc45.riscv64.rpm
Child return code was: 0