Mock Version: 6.2
Mock Version: 6.2
Mock Version: 6.2
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/lem.spec'], chrootPath='/var/lib/mock/f42-build-193-50/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 0x7fffae684d10>timeout=604800uid=986gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tk2fqp6f:/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.tk2fqp6f:/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', '88bbf5b152aa47d8b6150c08fe968c60', '-D', '/var/lib/mock/f42-build-193-50/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tk2fqp6f:/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=1749513600
Wrote: /builddir/build/SRPMS/lem-2025.03.13-2.fc42.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/lem.spec'], chrootPath='/var/lib/mock/f42-build-193-50/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 0x7fffae684d10>timeout=604800uid=986gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tk2fqp6f:/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.tk2fqp6f:/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', 'c6b37d57b28d406bb810e26c28a90505', '-D', '/var/lib/mock/f42-build-193-50/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tk2fqp6f:/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=1749513600
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.XHLumH
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.ePHfFo
+ umask 022
+ cd /builddir/build/BUILD/lem-2025.03.13-build
+ cd /builddir/build/BUILD/lem-2025.03.13-build
+ rm -rf lem-2025-03-13
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/lem-2025-03-13.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd lem-2025-03-13
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Ov40m6
+ umask 022
+ cd /builddir/build/BUILD/lem-2025.03.13-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd lem-2025-03-13
+ make
echo "(* Generated file -- do not edit. *)" > src/version.ml
echo 'let v="2025-03-13"' >> src/version.ml
echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
echo let d=\"/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/share/lem\" >> src/share_directory.ml
make -C src all
make[1]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/src'
rm -f main.native
ocamlbuild -use-ocamlfind -cflags -g main.native
+ 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 -annot -bin-annot -package zarith -I ulib -o ulib/ulib.cmo ulib/ulib.ml
+ ocamlfind ocamlc -c -g -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 -annot -bin-annot -package zarith -I ulib -o ulib/batUChar.cmx ulib/batUChar.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batReturn.cmx ulib/batReturn.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o ulib/batText.cmx ulib/batText.ml
+ ocamlfind ocamlopt -c -g -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 -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 -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 -annot -bin-annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o util.cmx util.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o output.cmx output.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o output.cmx output.ml
File "_none_", 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 ocamlopt -c -g -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 -annot -bin-annot -package zarith -I ulib -o ident.cmx ident.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o path.cmx path.ml
+ ocamlfind ocamlopt -c -g -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 -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 "_none_", 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 -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 -annot -bin-annot -package zarith -I ulib -o seplist.cmx seplist.ml
+ ocamlfind ocamlopt -c -g -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 -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 -annot -bin-annot -package zarith -I ulib -o tyvar.cmx tyvar.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o types.cmx types.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o types.cmx types.ml
File "_none_", 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).
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 -annot -bin-annot -package zarith -I ulib -o external_constants.cmo external_constants.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml
+ ocamlfind ocamlopt -c -g -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 -annot -bin-annot -package zarith -I ulib -o external_constants.cmx external_constants.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml
+ ocamlfind ocamlopt -c -g -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 -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 -annot -bin-annot -package zarith -I ulib -o pattern_syntax.cmx pattern_syntax.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o precedence.cmx precedence.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o precedence.cmx precedence.ml
File "_none_", 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).
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 -annot -bin-annot -package zarith -I ulib -o share_directory.cmx share_directory.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o target_binding.cmx target_binding.ml
+ ocamlfind ocamlopt -c -g -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 -annot -bin-annot -package zarith -I ulib -o coq_backend_utils.cmo coq_backend_utils.ml
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml
+ ocamlfind ocamlc -c -g -annot -bin-annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml
File "_none_", 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 ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o backend_common.cmx backend_common.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o backend_common.cmx backend_common.ml
File "_none_", 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 ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o coq_backend_utils.cmx coq_backend_utils.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml
File "_none_", 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 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 -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 -annot -bin-annot -package zarith -I ulib -o backend.cmx backend.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o backend.cmx backend.ml
File "_none_", 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).
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 -annot -bin-annot -package zarith -I ulib -o reporting.cmx reporting.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o pcombinators.cmx pcombinators.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml
File "_none_", 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).
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 -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 -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 -annot -bin-annot -package zarith -I ulib -o def_trans.cmx def_trans.ml
+ ocamlfind ocamlopt -c -g -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 -annot -bin-annot -package zarith -I ulib -o patterns.cmx patterns.ml
+ ocamlfind ocamlopt -c -g -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 2165, characters 6-21:
2165 |   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 2166, characters 6-21:
2166 |   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 2210, characters 6-14:
2210 |   let nil_pats =
             ^^^^^^^^
Warning 26 [unused-var]: unused variable nil_pats.
File "patterns.ml", line 2212, characters 6-15:
2212 |   let cons_pats =
             ^^^^^^^^^
Warning 26 [unused-var]: unused variable cons_pats.
File "patterns.ml", line 2366, characters 6-19:
2366 |   let case_fun_else p ee =
             ^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable case_fun_else.
File "patterns.ml", line 2368, characters 6-18:
2368 |   let dest_in_else e = [] in
             ^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable dest_in_else.
File "patterns.ml", line 2369, characters 6-20:
2369 |   let restr_pat_else _ = matrix_compile_mk_pwild p_ty in
             ^^^^^^^^^^^^^^
Warning 26 [unused-var]: unused variable restr_pat_else.
File "patterns.ml", line 2371, characters 6-10:
2371 |   let nall = List.length all_args in
             ^^^^
Warning 26 [unused-var]: unused variable nall.
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o lexer.cmx lexer.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o trans.cmx trans.ml
+ ocamlfind ocamlopt -c -g -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 -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 -annot -bin-annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml
+ ocamlfind ocamlc -c -g -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 -annot -bin-annot -package zarith -I ulib -o typecheck_ctxt.cmx typecheck_ctxt.ml
+ ocamlfind ocamlopt -c -g -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 -annot -bin-annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml
+ ocamlfind ocamlopt -c -g -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 -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 -annot -bin-annot -package zarith -I ulib -o version.cmo version.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o debug.cmx debug.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o initial_env.cmx initial_env.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o initial_env.cmx initial_env.ml
File "_none_", 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 ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o target_trans.cmx target_trans.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o typecheck.cmx typecheck.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o typecheck.cmx typecheck.ml
File "_none_", 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 ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o version.cmx version.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o main.cmx main.ml
+ ocamlfind ocamlopt -c -g -annot -bin-annot -package zarith -I ulib -o main.cmx main.ml
File "_none_", 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 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-2025.03.13-build/lem-2025-03-13/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-2025.03.13-build/lem-2025-03-13/library'
make -C .. build-lem
make[2]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13'
echo "(* Generated file -- do not edit. *)" > src/version.ml
echo 'let v="2025-03-13"' >> src/version.ml
echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
echo let d=\"/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/share/lem\" >> src/share_directory.ml
make -C src all
make[3]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/src'
rm -f main.native
ocamlbuild -use-ocamlfind -cflags -g main.native
make[3]: Leaving directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/src'
ln -sf src/main.native lem
make[2]: Leaving directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13'
../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-2025.03.13-build/lem-2025-03-13/library'
make ocaml-libs
make[1]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13'
make -C ocaml-lib all
make[2]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/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 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 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-2025.03.13-build/lem-2025-03-13/ocaml-lib'
make -C library ocaml-lib-tests
make[2]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/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-2025.03.13-build/lem-2025-03-13/library'
make[1]: Leaving directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13'
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.7MuZkE
+ umask 022
+ cd /builddir/build/BUILD/lem-2025.03.13-build
+ '[' /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT
++ dirname /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/lem-2025.03.13-build
+ mkdir /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd lem-2025-03-13
+ mkdir -p /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml
+ make install INSTALLDIR=/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml INSTALL_DIR=/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr
mkdir -p "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/bin"
rm -f "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/bin/lem"
cp src/main.native "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/bin/lem"
rm -rf "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem"
mkdir -p "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem/library"
cp library/*.lem "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem/library"
cp library/*_constants "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem/library"
make -C ocaml-lib install
make[1]: Entering directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/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 remove -destdir "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml" lem_zarith
ocamlfind: [WARNING] No such file: /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/META
ocamlfind install -destdir "/builddir/build/BUILD/lem-2025.03.13-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-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_debug.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_debug.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/bit.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/vector.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_relation.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_relation.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_sorting.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_sorting.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_word.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_word.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_either.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_either.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_map.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pmap.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_show.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_string.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_list.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_tuple.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_tuple.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_num.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_maybe.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_function.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/either.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/either.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_bool.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem_bool.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/lem.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/xstring.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_big_num.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_num.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pset.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/xstring.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/xstring.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/bit.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/bit.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/vector.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/vector.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pmap.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pmap.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pset.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/pset.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_num.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_num.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_big_num.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/nat_big_num.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational_impl.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/big_int_impl.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational_impl.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/rational_impl.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/big_int_impl.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/big_int_impl.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.a
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.cmxa
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.cma
Installed /builddir/build/BUILD/lem-2025.03.13-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 remove -destdir "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml" lem_num
ocamlfind: [WARNING] No such file: /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/META
ocamlfind install -destdir "/builddir/build/BUILD/lem-2025.03.13-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-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_debug.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_debug.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/bit.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/vector.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_relation.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_relation.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_sorting.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_sorting.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_pervasives.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_machine_word.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_machine_word.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_word.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_word.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_either.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_either.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_map.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/pmap.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_helpers.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_set_helpers.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_show.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_string.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_assert_extra.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_assert_extra.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_list.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_tuple.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_tuple.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_num.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_maybe.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_function.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_basic_classes.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_basic_classes.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/either.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/either.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_bool.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem_bool.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/lem.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/xstring.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_big_num.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_num.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/pset.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/xstring.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/xstring.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/bit.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/bit.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/vector.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/vector.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/pmap.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/pmap.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/pset.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/pset.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_num.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_num.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_big_num.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/nat_big_num.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational_impl.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/big_int_impl.cmx
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational_impl.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/rational_impl.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/big_int_impl.cmi
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/big_int_impl.mli
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.a
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.cmxa
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.cma
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/META
touch install_num
ocamlfind remove -destdir "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml" lem
ocamlfind: [WARNING] No such file: /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem/META
ocamlfind install -destdir "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml" -patch-version "" lem META
Installed /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem/META
touch install_lem
make[1]: Leaving directory '/builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/ocaml-lib'
cp -R coq-lib "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem"
cp -R hol-lib "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem"
cp -R isabelle-lib "/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/lem"
+ mkdir -p /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/man/man1
+ help2man -N --version-string=2025.03.13 -o /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/man/man1/lem.1 -n 'Convert markdown to HTML' /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/bin/lem
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /usr/bin/strip
+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT
/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_zarith/extract.a: replacing with normalized version
/builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/lib64/ocaml/lem_num/extract.a: replacing with normalized version
Scanned 16 directories and 353 files,
               processed 3 inodes,
               2 modified (2 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/lem-2025.03.13-build/SPECPARTS/rpm-debuginfo.specpart
Processing files: lem-2025.03.13-2.fc42.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.DEMexb
+ umask 022
+ cd /builddir/build/BUILD/lem-2025.03.13-build
+ cd lem-2025-03-13
+ DOCDIR=/builddir/build/BUILD/lem-2025.03.13-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-2025.03.13-build/BUILDROOT/usr/share/doc/lem
+ cp -pr /builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/README.md /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/doc/lem
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.icqT3L
+ umask 022
+ cd /builddir/build/BUILD/lem-2025.03.13-build
+ cd lem-2025-03-13
+ LICENSEDIR=/builddir/build/BUILD/lem-2025.03.13-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-2025.03.13-build/BUILDROOT/usr/share/licenses/lem
+ cp -pr /builddir/build/BUILD/lem-2025.03.13-build/lem-2025-03-13/LICENSE /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT/usr/share/licenses/lem
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: lem = 2025.03.13-2.fc42 lem(riscv-64) = 2025.03.13-2.fc42
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-2025.03.13-2.fc42.riscv64
Provides: lem-devel = 2025.03.13-2.fc42 lem-devel(riscv-64) = 2025.03.13-2.fc42 ocaml(Big_int_impl) = 443f2034ee674add1ac946fc5fd7e2c1 ocaml(Big_int_impl) = ea3956f3f0dadffe0b0d8f8cbf104ac4 ocaml(Bit) = 3e1b23d1aadce7adc57a6d7c0088d662 ocaml(Either) = 87c1c75287375730f6d3bb03d8390778 ocaml(Lem) = 32b04ed0d2eba167cb6412c1528d3ce0 ocaml(Lem) = d989087ea0bf0618b6edd79c831b9339 ocaml(Lem_assert_extra) = b5d4332d730fb6b156d7f64deb50b050 ocaml(Lem_basic_classes) = 6fd027020220a2b2add5e17a91f52225 ocaml(Lem_bool) = 4ebe8839729e3bc1ade29c1467774ef8 ocaml(Lem_debug) = 979674ee9764de619b2716e64f02db42 ocaml(Lem_either) = 61617e3199ba048915cffb8eb5e20e51 ocaml(Lem_function) = 3a750e818d70d8b040341c04d098a493 ocaml(Lem_function_extra) = d3a01803765b4a77a13e5145ccdf3790 ocaml(Lem_list) = 09d9106bef522995e510c838a836cb3a ocaml(Lem_list_extra) = 486a6e76a5b7e39c9a89316fc386e001 ocaml(Lem_machine_word) = 579b34820a5cb3cfaef69866faf50aa2 ocaml(Lem_machine_word) = b78f3ca485db07956b83fb35ffc2cd5f ocaml(Lem_map) = 075f5f30ca3e8c013b2bd8999b768c13 ocaml(Lem_map_extra) = 113149c4cb69a52a749b1224798a9b6a ocaml(Lem_maybe) = 0ec0b45ad6ef24bfd10d3b8b257d21e2 ocaml(Lem_maybe_extra) = ebeff93dca43677496c91ce470cc9af4 ocaml(Lem_num) = 0aaadb0d993ef8d917777caab3a6a136 ocaml(Lem_num) = b74236d993a91d3bab15c7964e46db8f ocaml(Lem_num_extra) = ba3e752d858aa6dbcbf32ed44a1cb972 ocaml(Lem_num_extra) = f12d6293d45ed576be9feb8f4937a66b ocaml(Lem_pervasives) = ec85eda441c83e2463fbfadadbcfff78 ocaml(Lem_pervasives) = fb9abce32c32a93ab771b8faa69bd187 ocaml(Lem_pervasives_extra) = 1adb5d53390f19846eee38c0dcad36e9 ocaml(Lem_pervasives_extra) = 9deb719ce4ca0efb76b9f935e278f5e5 ocaml(Lem_relation) = 4d9a3126c288c9c6d4ab4b1e56f52f1c ocaml(Lem_set) = f3f7416933d8d9aced0f492e7236ae38 ocaml(Lem_set_extra) = 1fae414bd1e67b431b49c3a25b50197b ocaml(Lem_set_helpers) = 8120e91ad4e9304666655c52a123c1db ocaml(Lem_show) = 26f61861b6b2975128630991737103b5 ocaml(Lem_show_extra) = 9eceff1fcda85fcab9bd8a6043e37744 ocaml(Lem_sorting) = c8e7a1ef01cf11c74c22284a1feeef16 ocaml(Lem_string) = 3731f3cc67cb3cb30cd238de03f73bc9 ocaml(Lem_string_extra) = 24315c6f56d5a41ce1f3b8bf9640ca61 ocaml(Lem_string_extra) = 388c2c68c948d32b0a87c2f516b4c1bd ocaml(Lem_tuple) = 87e45fb5e88f5ca59044f6f14475b994 ocaml(Lem_word) = 3b453764db1bf2b99bda4dc1e550df72 ocaml(Lem_word) = 870b4fd5f2e288010c716ba0c73e2d0c ocaml(Nat_big_num) = 326cf382ff0d26342d26eeae1c942580 ocaml(Nat_big_num) = 3d87c39994ccf3299c8272368a101e9f ocaml(Nat_num) = 6e01a447fdefed16d69e66f1fd0e8d53 ocaml(Pmap) = 8db594c189a6bf9952af973f3fbde32e ocaml(Pset) = 4ec2f2ef8393e40ed61e18e43a2f14dd ocaml(Rational) = 48be2bd83b36cb13669dcb90580e41f7 ocaml(Rational) = 9d8c9da7b290c8f036607e9068a3d761 ocaml(Rational_impl) = 68492c9e144905e25b1a0515382aa6a7 ocaml(Rational_impl) = f6088e144a32d397c3fd7943c2cd2eb6 ocaml(Vector) = 1bf4364bb6923a7e199a6df5dc3038c6 ocaml(Xstring) = 9466d877b2f7b4e7872a8a1f6ae68d3d ocamlx(Big_int_impl) = 29ba0a4e4ea617db117c7464bb56316e ocamlx(Big_int_impl) = 2f68b33e7256546b241c0861b12e9528 ocamlx(Bit) = 7abe2f7ce0693c843a553decba692cf4 ocamlx(Either) = f659ae60fbc1f3e9caebf0f265637625 ocamlx(Lem) = 46957b071d5cc4e3062e27352dc8d0ff ocamlx(Lem) = 4b895322840a9b3d8c5eb7c7a5f69116 ocamlx(Lem_assert_extra) = d8f9d79c185ae1c337b9b563037d2d63 ocamlx(Lem_basic_classes) = 8d34ef8ede8ac2926321301d0c06903e ocamlx(Lem_basic_classes) = 90818440f4ff9b77f98a4bdc7616bbad ocamlx(Lem_bool) = 81f8ff77958fd6bde89043f1e88c4a46 ocamlx(Lem_debug) = 6e560ea6a9e57c23d41bb34614e79f18 ocamlx(Lem_either) = 198ad9c8686b46fb994879b4be15d220 ocamlx(Lem_either) = de13f71e0438c71104fff030e6f06447 ocamlx(Lem_function) = 0cce42a848be565aee2f68804c04b0f7 ocamlx(Lem_function) = 599d11ce9ea3a6a7dde62bb9b2d704f1 ocamlx(Lem_function_extra) = 4a23b85bc9e93f73c0462321c1b2a65c ocamlx(Lem_function_extra) = acf7476cfc28e842e7e9ef0ff55aa116 ocamlx(Lem_list) = 8ba7e19c0d2ddf9bfe811b600f14c63b ocamlx(Lem_list) = 9af29db92d1d93bd0b81d9f2e0b08645 ocamlx(Lem_list_extra) = e94c80cb03ee66046329def9a7bfd6a0 ocamlx(Lem_list_extra) = faed5e66fbe3fb576ffe95e42fb8384b ocamlx(Lem_machine_word) = 2e464408773fde112b5d560b437fcb33 ocamlx(Lem_machine_word) = f1ea940d8bdcc49def326bfe06395bfd ocamlx(Lem_map) = 0733f82034c5f9a089afebeb56bb95b6 ocamlx(Lem_map) = 6799bb8ffddd39f5a511905bc6962a70 ocamlx(Lem_map_extra) = cd9a00f3a8a931f662a1b60bc097a5f7 ocamlx(Lem_map_extra) = e3623d1cb6730cc574be44df651b66c3 ocamlx(Lem_maybe) = 320da69d297f788efdacccb8e05c07e6 ocamlx(Lem_maybe) = 4677c0d3c3c967f6931c286c95ad2052 ocamlx(Lem_maybe_extra) = 08976aec3c707f76feda3c952d311d90 ocamlx(Lem_maybe_extra) = 99e3c599a1f13f98ee43907a79485de5 ocamlx(Lem_num) = 50ab5e5fcb1f96dff722cba3b7901dc3 ocamlx(Lem_num) = ede3daa027aca2ce63dcd8251a71c01c ocamlx(Lem_num_extra) = 33edc1f2a688e8f01e4fcb4d6fa03df2 ocamlx(Lem_num_extra) = 6622a713600b970894caa7a2649b8083 ocamlx(Lem_pervasives) = 0b8c7d060833d71086527ea87186e029 ocamlx(Lem_pervasives) = 76088953a2a07289eb40fab0ed8e554d ocamlx(Lem_pervasives_extra) = 8d34046cfbc79dbd5bc7631fd5c08021 ocamlx(Lem_pervasives_extra) = f524871ded56d840bb0170a23f9c7586 ocamlx(Lem_relation) = 7f481fced2590381183b3e9ca5a32e3e ocamlx(Lem_relation) = e6a443d70445a231f5d1214e90cc105e ocamlx(Lem_set) = 5375ffce6ac0402f8e86fafb2c7dd73a ocamlx(Lem_set) = a2c4141d1d879f6ef62c72e51b44e75f ocamlx(Lem_set_extra) = b56a5aa7de51043e697d27bf6d99d365 ocamlx(Lem_set_extra) = cf2d378acff79286412c255e9f87ad28 ocamlx(Lem_set_helpers) = 6a1cbc710b5641df655d403e3b220d94 ocamlx(Lem_set_helpers) = ac0e57b772859db6f303eaad4420a4db ocamlx(Lem_show) = 46c04b4857db83ea4efb41f2d747f335 ocamlx(Lem_show) = 531c2fe79c02c1e7c151aa8e13118157 ocamlx(Lem_show_extra) = 7344c617b3f4646ab8cfd8701fb4c599 ocamlx(Lem_show_extra) = b11359eb20ead8a804c2c72a6d9744af ocamlx(Lem_sorting) = 7bc3f324cb20de0bae85dd2d4d61b7be ocamlx(Lem_sorting) = c6c702a70ec3a7bec6977eae32ba3c38 ocamlx(Lem_string) = 877e9fb6492f7b688547bc7825c9548c ocamlx(Lem_string) = 9d3cf85ebcee616e10fa8d793f5036d0 ocamlx(Lem_string_extra) = 457593dc0f6965ff3e1d560df60cf3c9 ocamlx(Lem_string_extra) = 58c6223ecf99fffeca4a63dd724703bc ocamlx(Lem_tuple) = 207bc6458187569787f0abf9f73da132 ocamlx(Lem_tuple) = 768d5f0d07812014fcbd77cdbaa12d8e ocamlx(Lem_word) = e034a7263227f9048df83a87de7b8bb4 ocamlx(Lem_word) = e869c74c7e5bac88b9356fd9f4391cec ocamlx(Nat_big_num) = 6f8b5af04c7baf57211652fc10d368c6 ocamlx(Nat_big_num) = dcd5f8abcccc62784afbce7af1a767c5 ocamlx(Nat_num) = 7af551e2df7c3cbc3d5c1a7b51f746b0 ocamlx(Pmap) = 78c2026157026f26c00ce88da41da1a2 ocamlx(Pset) = 07f55ccfc6d6cb8d8bca18819d0bec38 ocamlx(Rational) = 0755a759d1d74d6005ac2dcf634356f5 ocamlx(Rational) = a5e41943dbca0cff98fb55bfb12a7228 ocamlx(Rational_impl) = 72224b613f04b58d8770c3eec79ceacf ocamlx(Rational_impl) = 9dc9662107bf3067110ff4ec87e3d718 ocamlx(Vector) = a36c70c2a33cf6e5b154876afd09cf65 ocamlx(Xstring) = 1e62a63ab6557c8ad8677428bb47b650
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(Big_int_Z) = f7619514b131a39933cc9ce06f741304 ocaml(Big_int_impl) = 443f2034ee674add1ac946fc5fd7e2c1 ocaml(Big_int_impl) = ea3956f3f0dadffe0b0d8f8cbf104ac4 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Either) = 87c1c75287375730f6d3bb03d8390778 ocaml(Lem) = 32b04ed0d2eba167cb6412c1528d3ce0 ocaml(Lem) = d989087ea0bf0618b6edd79c831b9339 ocaml(Lem_assert_extra) = b5d4332d730fb6b156d7f64deb50b050 ocaml(Lem_basic_classes) = 6fd027020220a2b2add5e17a91f52225 ocaml(Lem_bool) = 4ebe8839729e3bc1ade29c1467774ef8 ocaml(Lem_either) = 61617e3199ba048915cffb8eb5e20e51 ocaml(Lem_function) = 3a750e818d70d8b040341c04d098a493 ocaml(Lem_function_extra) = d3a01803765b4a77a13e5145ccdf3790 ocaml(Lem_list) = 09d9106bef522995e510c838a836cb3a ocaml(Lem_list_extra) = 486a6e76a5b7e39c9a89316fc386e001 ocaml(Lem_machine_word) = 579b34820a5cb3cfaef69866faf50aa2 ocaml(Lem_machine_word) = b78f3ca485db07956b83fb35ffc2cd5f ocaml(Lem_map) = 075f5f30ca3e8c013b2bd8999b768c13 ocaml(Lem_map_extra) = 113149c4cb69a52a749b1224798a9b6a ocaml(Lem_maybe) = 0ec0b45ad6ef24bfd10d3b8b257d21e2 ocaml(Lem_maybe_extra) = ebeff93dca43677496c91ce470cc9af4 ocaml(Lem_num) = 0aaadb0d993ef8d917777caab3a6a136 ocaml(Lem_num) = b74236d993a91d3bab15c7964e46db8f ocaml(Lem_num_extra) = ba3e752d858aa6dbcbf32ed44a1cb972 ocaml(Lem_num_extra) = f12d6293d45ed576be9feb8f4937a66b ocaml(Lem_pervasives) = ec85eda441c83e2463fbfadadbcfff78 ocaml(Lem_pervasives) = fb9abce32c32a93ab771b8faa69bd187 ocaml(Lem_relation) = 4d9a3126c288c9c6d4ab4b1e56f52f1c ocaml(Lem_set) = f3f7416933d8d9aced0f492e7236ae38 ocaml(Lem_set_extra) = 1fae414bd1e67b431b49c3a25b50197b ocaml(Lem_set_helpers) = 8120e91ad4e9304666655c52a123c1db ocaml(Lem_show) = 26f61861b6b2975128630991737103b5 ocaml(Lem_show_extra) = 9eceff1fcda85fcab9bd8a6043e37744 ocaml(Lem_sorting) = c8e7a1ef01cf11c74c22284a1feeef16 ocaml(Lem_string) = 3731f3cc67cb3cb30cd238de03f73bc9 ocaml(Lem_string_extra) = 24315c6f56d5a41ce1f3b8bf9640ca61 ocaml(Lem_string_extra) = 388c2c68c948d32b0a87c2f516b4c1bd ocaml(Lem_tuple) = 87e45fb5e88f5ca59044f6f14475b994 ocaml(Lem_word) = 3b453764db1bf2b99bda4dc1e550df72 ocaml(Lem_word) = 870b4fd5f2e288010c716ba0c73e2d0c ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Nat_big_num) = 326cf382ff0d26342d26eeae1c942580 ocaml(Nat_big_num) = 3d87c39994ccf3299c8272368a101e9f ocaml(Nat_num) = 6e01a447fdefed16d69e66f1fd0e8d53 ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Pmap) = 8db594c189a6bf9952af973f3fbde32e ocaml(Pset) = 4ec2f2ef8393e40ed61e18e43a2f14dd ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Rational) = 48be2bd83b36cb13669dcb90580e41f7 ocaml(Rational) = 9d8c9da7b290c8f036607e9068a3d761 ocaml(Rational_impl) = 68492c9e144905e25b1a0515382aa6a7 ocaml(Rational_impl) = f6088e144a32d397c3fd7943c2cd2eb6 ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Xstring) = 9466d877b2f7b4e7872a8a1f6ae68d3d ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d ocamlx(Big_int) = bc6c1a400e0bda6127f63fb0c7725c9a ocamlx(Big_int_Z) = 3e20c57b8b5369d464abbd631c21152a ocamlx(Big_int_impl) = 29ba0a4e4ea617db117c7464bb56316e ocamlx(Big_int_impl) = 2f68b33e7256546b241c0861b12e9528 ocamlx(Either) = f659ae60fbc1f3e9caebf0f265637625 ocamlx(Lem) = 46957b071d5cc4e3062e27352dc8d0ff ocamlx(Lem) = 4b895322840a9b3d8c5eb7c7a5f69116 ocamlx(Lem_assert_extra) = d8f9d79c185ae1c337b9b563037d2d63 ocamlx(Lem_basic_classes) = 8d34ef8ede8ac2926321301d0c06903e ocamlx(Lem_basic_classes) = 90818440f4ff9b77f98a4bdc7616bbad ocamlx(Lem_bool) = 81f8ff77958fd6bde89043f1e88c4a46 ocamlx(Lem_either) = 198ad9c8686b46fb994879b4be15d220 ocamlx(Lem_either) = de13f71e0438c71104fff030e6f06447 ocamlx(Lem_function) = 0cce42a848be565aee2f68804c04b0f7 ocamlx(Lem_function) = 599d11ce9ea3a6a7dde62bb9b2d704f1 ocamlx(Lem_function_extra) = 4a23b85bc9e93f73c0462321c1b2a65c ocamlx(Lem_function_extra) = acf7476cfc28e842e7e9ef0ff55aa116 ocamlx(Lem_list) = 8ba7e19c0d2ddf9bfe811b600f14c63b ocamlx(Lem_list) = 9af29db92d1d93bd0b81d9f2e0b08645 ocamlx(Lem_list_extra) = e94c80cb03ee66046329def9a7bfd6a0 ocamlx(Lem_list_extra) = faed5e66fbe3fb576ffe95e42fb8384b ocamlx(Lem_machine_word) = 2e464408773fde112b5d560b437fcb33 ocamlx(Lem_machine_word) = f1ea940d8bdcc49def326bfe06395bfd ocamlx(Lem_map) = 0733f82034c5f9a089afebeb56bb95b6 ocamlx(Lem_map) = 6799bb8ffddd39f5a511905bc6962a70 ocamlx(Lem_map_extra) = cd9a00f3a8a931f662a1b60bc097a5f7 ocamlx(Lem_map_extra) = e3623d1cb6730cc574be44df651b66c3 ocamlx(Lem_maybe) = 320da69d297f788efdacccb8e05c07e6 ocamlx(Lem_maybe) = 4677c0d3c3c967f6931c286c95ad2052 ocamlx(Lem_maybe_extra) = 08976aec3c707f76feda3c952d311d90 ocamlx(Lem_maybe_extra) = 99e3c599a1f13f98ee43907a79485de5 ocamlx(Lem_num) = 50ab5e5fcb1f96dff722cba3b7901dc3 ocamlx(Lem_num) = ede3daa027aca2ce63dcd8251a71c01c ocamlx(Lem_num_extra) = 33edc1f2a688e8f01e4fcb4d6fa03df2 ocamlx(Lem_num_extra) = 6622a713600b970894caa7a2649b8083 ocamlx(Lem_pervasives) = 0b8c7d060833d71086527ea87186e029 ocamlx(Lem_pervasives) = 76088953a2a07289eb40fab0ed8e554d ocamlx(Lem_relation) = 7f481fced2590381183b3e9ca5a32e3e ocamlx(Lem_relation) = e6a443d70445a231f5d1214e90cc105e ocamlx(Lem_set) = 5375ffce6ac0402f8e86fafb2c7dd73a ocamlx(Lem_set) = a2c4141d1d879f6ef62c72e51b44e75f ocamlx(Lem_set_extra) = b56a5aa7de51043e697d27bf6d99d365 ocamlx(Lem_set_extra) = cf2d378acff79286412c255e9f87ad28 ocamlx(Lem_set_helpers) = 6a1cbc710b5641df655d403e3b220d94 ocamlx(Lem_set_helpers) = ac0e57b772859db6f303eaad4420a4db ocamlx(Lem_show) = 46c04b4857db83ea4efb41f2d747f335 ocamlx(Lem_show) = 531c2fe79c02c1e7c151aa8e13118157 ocamlx(Lem_show_extra) = 7344c617b3f4646ab8cfd8701fb4c599 ocamlx(Lem_show_extra) = b11359eb20ead8a804c2c72a6d9744af ocamlx(Lem_string) = 877e9fb6492f7b688547bc7825c9548c ocamlx(Lem_string) = 9d3cf85ebcee616e10fa8d793f5036d0 ocamlx(Lem_string_extra) = 457593dc0f6965ff3e1d560df60cf3c9 ocamlx(Lem_string_extra) = 58c6223ecf99fffeca4a63dd724703bc ocamlx(Lem_tuple) = 207bc6458187569787f0abf9f73da132 ocamlx(Lem_tuple) = 768d5f0d07812014fcbd77cdbaa12d8e ocamlx(Lem_word) = e034a7263227f9048df83a87de7b8bb4 ocamlx(Lem_word) = e869c74c7e5bac88b9356fd9f4391cec ocamlx(Nat) = 637bee9a82b287fcf82cfea49ed9117c ocamlx(Nat_big_num) = 6f8b5af04c7baf57211652fc10d368c6 ocamlx(Nat_big_num) = dcd5f8abcccc62784afbce7af1a767c5 ocamlx(Nat_num) = 7af551e2df7c3cbc3d5c1a7b51f746b0 ocamlx(Num) = 2170ffceeb40a77af43ffc2ddf88718c ocamlx(Pmap) = 78c2026157026f26c00ce88da41da1a2 ocamlx(Pset) = 07f55ccfc6d6cb8d8bca18819d0bec38 ocamlx(Q) = 42672a16ff4413f557f78dcc1495afd4 ocamlx(Ratio) = 237c1b5851b44942616c828cfe0f1f68 ocamlx(Rational) = 0755a759d1d74d6005ac2dcf634356f5 ocamlx(Rational) = a5e41943dbca0cff98fb55bfb12a7228 ocamlx(Rational_impl) = 72224b613f04b58d8770c3eec79ceacf ocamlx(Rational_impl) = 9dc9662107bf3067110ff4ec87e3d718 ocamlx(Stdlib) = 29ccdc189a615dabadac01b99d97fd28 ocamlx(Stdlib__Array) = 9dd825bf507d14e6dcb3e071ea71bffb ocamlx(Stdlib__Bytes) = 18ef580ddbffe6a1280e9aed4494c4d3 ocamlx(Stdlib__Char) = 7e312ea379ff37deb623b0b714d14d02 ocamlx(Stdlib__Format) = f822c9fc11de6b986a5e9169fdea8af4 ocamlx(Stdlib__Hashtbl) = d10c8d4c0b641ab242198048075a2b60 ocamlx(Stdlib__Int32) = dcc0a728aed8cb0339af70dbeb94bb5a ocamlx(Stdlib__Int64) = 0fde396f1e774db5fcb1c69336ff1eec ocamlx(Stdlib__List) = 3f29768f7527d3ab37c91af9aa0997df ocamlx(Stdlib__String) = 9e26947ec23b93ed6e936b8a407df85b ocamlx(Z) = 2a0fa63d580ee64db2d170f2c459a3ea ocamlx(Zarith_version) = 8ea948dbe5ef8b5b61b4053abc658c47
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/lem-2025.03.13-build/BUILDROOT
Wrote: /builddir/build/RPMS/lem-devel-2025.03.13-2.fc42.riscv64.rpm
Wrote: /builddir/build/RPMS/lem-2025.03.13-2.fc42.riscv64.rpm
Child return code was: 0