Warning: Permanently added '44.213.60.244' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/8988511-fedora-41-x86_64 --chroot fedora-41-x86_64 Version: 1.3 PID: 9050 Logging PID: 9051 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 8988511, 'buildroot_pkgs': [], 'chroot': 'fedora-41-x86_64', 'enable_net': False, 'fedora_review': True, 'git_hash': 'b5be6065af00e764815af3abc8d863eb61781389', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/@fedora-review/fedora-review-2291284-lem/lem', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'lem', 'package_version': '2025.03.13-1', 'project_dirname': 'fedora-review-2291284-lem', 'project_name': 'fedora-review-2291284-lem', 'project_owner': '@fedora-review', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2291284-lem/fedora-41-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': '@fedora-review/fedora-review-2291284-lem--frostyx', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'storage': None, 'submitter': 'frostyx', 'tags': [], 'task_id': '8988511-fedora-41-x86_64', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/@fedora-review/fedora-review-2291284-lem/lem /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/@fedora-review/fedora-review-2291284-lem/lem', '/var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem'... Running: git checkout b5be6065af00e764815af3abc8d863eb61781389 -- cmd: ['git', 'checkout', 'b5be6065af00e764815af3abc8d863eb61781389', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem rc: 0 stdout: stderr: Note: switching to 'b5be6065af00e764815af3abc8d863eb61781389'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at b5be606 automatic import of lem Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading lem-2025-03-13.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o lem-2025-03-13.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/@fedora-review/fedora-review-2291284-lem/lem/lem-2025-03-13.tar.gz/md5/3a4bdd7d70450f0ca2444fcd475bd9d1/lem-2025-03-13.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 3194k 100 3194k 0 0 156M 0 --:--:-- --:--:-- --:--:-- 164M INFO: Reading stdout from command: md5sum lem-2025-03-13.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem/lem.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1746154794.994888 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 6.1 starting (python version = 3.13.0, NVR = mock-6.1-1.fc41), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem/lem.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1746154794.994888 -r /var/lib/copr-rpmbuild/results/configs/child.cfg Start(bootstrap): init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish(bootstrap): init plugins Start: init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem/lem.spec) Config(fedora-41-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 6.1 INFO: Mock Version: 6.1 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-41-x86_64-bootstrap-1746154794.994888/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using container image: registry.fedoraproject.org/fedora:41 INFO: Pulling image: registry.fedoraproject.org/fedora:41 INFO: Tagging container image as mock-bootstrap-d189cbb6-ea55-4b2d-9ee6-691ee0fea8f4 INFO: Checking that 00c9ead33a656477c8139f81ad0fa25e25c7efcafa1e821434f87d6798ed4aa9 image matches host's architecture INFO: Copy content of container 00c9ead33a656477c8139f81ad0fa25e25c7efcafa1e821434f87d6798ed4aa9 to /var/lib/mock/fedora-41-x86_64-bootstrap-1746154794.994888/root INFO: mounting 00c9ead33a656477c8139f81ad0fa25e25c7efcafa1e821434f87d6798ed4aa9 with podman image mount INFO: image 00c9ead33a656477c8139f81ad0fa25e25c7efcafa1e821434f87d6798ed4aa9 as /var/lib/containers/storage/overlay/e21785e471bd76506c2586ab8d05af5b76753cd758cfd54d874fd70325ab4685/merged INFO: umounting image 00c9ead33a656477c8139f81ad0fa25e25c7efcafa1e821434f87d6798ed4aa9 (/var/lib/containers/storage/overlay/e21785e471bd76506c2586ab8d05af5b76753cd758cfd54d874fd70325ab4685/merged) with podman image umount INFO: Removing image mock-bootstrap-d189cbb6-ea55-4b2d-9ee6-691ee0fea8f4 INFO: Package manager dnf5 detected and used (fallback) INFO: Not updating bootstrap chroot, bootstrap_image_ready=True Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-41-x86_64-1746154794.994888/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf5 detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.20.1-1.fc41.x86_64 rpm-sequoia-1.7.0-5.fc41.x86_64 dnf5-5.2.12.0-2.fc41.x86_64 dnf5-plugins-5.2.12.0-2.fc41.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: updates 100% | 24.3 MiB/s | 13.5 MiB | 00m01s >>> Downloading successful, but checksum doesn't match. Calculated: 26bfdd15bcfb >>> Downloading successful, but checksum doesn't match. Calculated: 26bfdd15bcfb >>> Status code: 404 for http://fedora.mirror.constant.com/fedora/linux/updates/ >>> Status code: 404 for http://fedora.mirror.constant.com/fedora/linux/updates/ >>> Status code: 404 for https://fedora.mirror.constant.com/fedora/linux/updates >>> Status code: 404 for https://fedora.mirror.constant.com/fedora/linux/updates fedora 100% | 23.3 MiB/s | 35.4 MiB | 00m02s Copr repository 100% | 13.4 KiB/s | 7.3 KiB | 00m01s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 5.2.32-1.fc41 fedora 8.2 MiB bzip2 x86_64 1.0.8-19.fc41 fedora 95.7 KiB coreutils x86_64 9.5-11.fc41 updates 5.7 MiB cpio x86_64 2.15-2.fc41 fedora 1.1 MiB diffutils x86_64 3.10-8.fc41 fedora 1.6 MiB fedora-release-common noarch 41-32 updates 19.7 KiB findutils x86_64 1:4.10.0-4.fc41 fedora 1.8 MiB gawk x86_64 5.3.0-4.fc41 fedora 1.7 MiB glibc-minimal-langpack x86_64 2.40-24.fc41 updates 0.0 B grep x86_64 3.11-9.fc41 fedora 1.0 MiB gzip x86_64 1.13-2.fc41 fedora 389.0 KiB info x86_64 7.1.1-1.fc41 updates 361.7 KiB patch x86_64 2.7.6-25.fc41 fedora 266.7 KiB redhat-rpm-config noarch 294-1.fc41 updates 183.6 KiB rpm-build x86_64 4.20.1-1.fc41 updates 193.8 KiB sed x86_64 4.9-3.fc41 fedora 861.5 KiB shadow-utils x86_64 2:4.15.1-12.fc41 fedora 4.1 MiB tar x86_64 2:1.35-4.fc41 fedora 2.9 MiB unzip x86_64 6.0-64.fc41 fedora 386.8 KiB util-linux x86_64 2.40.4-1.fc41 updates 3.6 MiB which x86_64 2.21-42.fc41 fedora 80.2 KiB xz x86_64 1:5.6.2-2.fc41 fedora 1.2 MiB Installing dependencies: add-determinism x86_64 0.3.6-3.fc41 updates 2.4 MiB alternatives x86_64 1.31-1.fc41 updates 64.8 KiB ansible-srpm-macros noarch 1-16.fc41 fedora 35.7 KiB audit-libs x86_64 4.0.3-1.fc41 updates 351.3 KiB authselect x86_64 1.5.0-8.fc41 fedora 157.6 KiB authselect-libs x86_64 1.5.0-8.fc41 fedora 822.2 KiB basesystem noarch 11-21.fc41 fedora 0.0 B binutils x86_64 2.43.1-5.fc41 updates 27.4 MiB build-reproducibility-srpm-macros noarch 0.3.6-3.fc41 updates 735.0 B bzip2-libs x86_64 1.0.8-19.fc41 fedora 80.7 KiB ca-certificates noarch 2024.2.69_v8.0.401-1.0.fc41 fedora 2.4 MiB coreutils-common x86_64 9.5-11.fc41 updates 11.2 MiB cracklib x86_64 2.9.11-6.fc41 fedora 238.9 KiB crypto-policies noarch 20250124-1.git4d262e7.fc41 updates 137.4 KiB curl x86_64 8.9.1-3.fc41 updates 793.5 KiB cyrus-sasl-lib x86_64 2.1.28-27.fc41 fedora 2.3 MiB debugedit x86_64 5.1-6.fc41 updates 200.9 KiB dwz x86_64 0.15-8.fc41 fedora 298.9 KiB ed x86_64 1.20.2-2.fc41 fedora 146.9 KiB efi-srpm-macros noarch 5-13.fc41 updates 40.2 KiB elfutils x86_64 0.192-9.fc41 updates 2.7 MiB elfutils-debuginfod-client x86_64 0.192-9.fc41 updates 84.2 KiB elfutils-default-yama-scope noarch 0.192-9.fc41 updates 1.8 KiB elfutils-libelf x86_64 0.192-9.fc41 updates 1.2 MiB elfutils-libs x86_64 0.192-9.fc41 updates 670.2 KiB fedora-gpg-keys noarch 41-1 fedora 126.4 KiB fedora-release noarch 41-32 updates 0.0 B fedora-release-identity-basic noarch 41-32 updates 654.0 B fedora-repos noarch 41-1 fedora 4.9 KiB file x86_64 5.45-7.fc41 fedora 103.5 KiB file-libs x86_64 5.45-7.fc41 fedora 9.9 MiB filesystem x86_64 3.18-23.fc41 fedora 106.0 B fonts-srpm-macros noarch 1:2.0.5-17.fc41 fedora 55.8 KiB forge-srpm-macros noarch 0.4.0-1.fc41 updates 38.9 KiB fpc-srpm-macros noarch 1.3-13.fc41 fedora 144.0 B gdb-minimal x86_64 16.2-2.fc41 updates 13.3 MiB gdbm x86_64 1:1.23-7.fc41 fedora 460.9 KiB gdbm-libs x86_64 1:1.23-7.fc41 fedora 121.9 KiB ghc-srpm-macros noarch 1.9.1-2.fc41 fedora 747.0 B glibc x86_64 2.40-24.fc41 updates 6.7 MiB glibc-common x86_64 2.40-24.fc41 updates 1.0 MiB glibc-gconv-extra x86_64 2.40-24.fc41 updates 7.9 MiB gmp x86_64 1:6.3.0-2.fc41 fedora 811.4 KiB gnat-srpm-macros noarch 6-6.fc41 fedora 1.0 KiB go-srpm-macros noarch 3.6.0-5.fc41 updates 60.8 KiB jansson x86_64 2.13.1-10.fc41 fedora 88.3 KiB json-c x86_64 0.17-4.fc41 fedora 82.4 KiB kernel-srpm-macros noarch 1.0-24.fc41 fedora 1.9 KiB keyutils-libs x86_64 1.6.3-4.fc41 fedora 54.4 KiB krb5-libs x86_64 1.21.3-4.fc41 updates 2.3 MiB libacl x86_64 2.3.2-2.fc41 fedora 40.0 KiB libarchive x86_64 3.7.4-4.fc41 updates 926.6 KiB libattr x86_64 2.5.2-4.fc41 fedora 28.5 KiB libblkid x86_64 2.40.4-1.fc41 updates 257.2 KiB libbrotli x86_64 1.1.0-5.fc41 fedora 837.6 KiB libcap x86_64 2.70-4.fc41 fedora 220.2 KiB libcap-ng x86_64 0.8.5-3.fc41 fedora 69.2 KiB libcom_err x86_64 1.47.1-6.fc41 fedora 67.2 KiB libcurl x86_64 8.9.1-3.fc41 updates 809.3 KiB libeconf x86_64 0.6.2-3.fc41 fedora 58.0 KiB libevent x86_64 2.1.12-14.fc41 fedora 895.7 KiB libfdisk x86_64 2.40.4-1.fc41 updates 356.4 KiB libffi x86_64 3.4.6-3.fc41 fedora 86.4 KiB libgcc x86_64 14.2.1-7.fc41 updates 270.9 KiB libgomp x86_64 14.2.1-7.fc41 updates 514.2 KiB libidn2 x86_64 2.3.8-1.fc41 updates 556.6 KiB libmount x86_64 2.40.4-1.fc41 updates 348.8 KiB libnghttp2 x86_64 1.62.1-2.fc41 fedora 166.1 KiB libnsl2 x86_64 2.0.1-2.fc41 fedora 57.9 KiB libpkgconf x86_64 2.3.0-1.fc41 fedora 78.2 KiB libpsl x86_64 0.21.5-4.fc41 fedora 80.5 KiB libpwquality x86_64 1.4.5-11.fc41 fedora 417.8 KiB libselinux x86_64 3.7-5.fc41 fedora 181.0 KiB libsemanage x86_64 3.7-2.fc41 fedora 293.5 KiB libsepol x86_64 3.7-2.fc41 fedora 817.8 KiB libsmartcols x86_64 2.40.4-1.fc41 updates 176.2 KiB libssh x86_64 0.10.6-8.fc41 fedora 513.3 KiB libssh-config noarch 0.10.6-8.fc41 fedora 277.0 B libstdc++ x86_64 14.2.1-7.fc41 updates 2.7 MiB libtasn1 x86_64 4.20.0-1.fc41 updates 180.4 KiB libtirpc x86_64 1.3.6-1.rc3.fc41 updates 197.6 KiB libtool-ltdl x86_64 2.4.7-12.fc41 fedora 66.2 KiB libunistring x86_64 1.1-8.fc41 fedora 1.7 MiB libutempter x86_64 1.2.1-15.fc41 fedora 57.7 KiB libuuid x86_64 2.40.4-1.fc41 updates 39.9 KiB libverto x86_64 0.3.2-9.fc41 fedora 29.5 KiB libxcrypt x86_64 4.4.38-7.fc41 updates 288.5 KiB libxml2 x86_64 2.12.10-1.fc41 updates 1.7 MiB libzstd x86_64 1.5.7-1.fc41 updates 804.0 KiB lua-libs x86_64 5.4.7-3.fc41 updates 285.0 KiB lua-srpm-macros noarch 1-14.fc41 fedora 1.3 KiB lz4-libs x86_64 1.10.0-1.fc41 fedora 145.5 KiB mpfr x86_64 4.2.1-5.fc41 fedora 832.1 KiB ncurses-base noarch 6.5-2.20240629.fc41 fedora 326.3 KiB ncurses-libs x86_64 6.5-2.20240629.fc41 fedora 975.2 KiB ocaml-srpm-macros noarch 10-3.fc41 fedora 1.9 KiB openblas-srpm-macros noarch 2-18.fc41 fedora 112.0 B openldap x86_64 2.6.9-1.fc41 updates 645.3 KiB openssl-libs x86_64 1:3.2.4-1.fc41 updates 7.8 MiB p11-kit x86_64 0.25.5-3.fc41 fedora 2.2 MiB p11-kit-trust x86_64 0.25.5-3.fc41 fedora 391.4 KiB package-notes-srpm-macros noarch 0.5-12.fc41 fedora 1.6 KiB pam x86_64 1.6.1-7.fc41 updates 1.8 MiB pam-libs x86_64 1.6.1-7.fc41 updates 139.0 KiB pcre2 x86_64 10.44-1.fc41.1 fedora 653.5 KiB pcre2-syntax noarch 10.44-1.fc41.1 fedora 251.6 KiB perl-srpm-macros noarch 1-56.fc41 fedora 861.0 B pkgconf x86_64 2.3.0-1.fc41 fedora 88.6 KiB pkgconf-m4 noarch 2.3.0-1.fc41 fedora 14.4 KiB pkgconf-pkg-config x86_64 2.3.0-1.fc41 fedora 989.0 B popt x86_64 1.19-7.fc41 fedora 136.9 KiB publicsuffix-list-dafsa noarch 20250116-1.fc41 updates 68.5 KiB pyproject-srpm-macros noarch 1.18.1-1.fc41 updates 1.9 KiB python-srpm-macros noarch 3.13-3.fc41 fedora 51.0 KiB qt5-srpm-macros noarch 5.15.15-1.fc41 fedora 500.0 B qt6-srpm-macros noarch 6.8.2-1.fc41 updates 456.0 B readline x86_64 8.2-10.fc41 fedora 493.2 KiB rpm x86_64 4.20.1-1.fc41 updates 3.1 MiB rpm-build-libs x86_64 4.20.1-1.fc41 updates 210.7 KiB rpm-libs x86_64 4.20.1-1.fc41 updates 730.0 KiB rpm-sequoia x86_64 1.7.0-5.fc41 updates 2.4 MiB rust-srpm-macros noarch 26.3-3.fc41 fedora 4.8 KiB setup noarch 2.15.0-8.fc41 updates 720.7 KiB sqlite-libs x86_64 3.46.1-2.fc41 updates 1.5 MiB systemd-libs x86_64 256.12-1.fc41 updates 2.0 MiB util-linux-core x86_64 2.40.4-1.fc41 updates 1.5 MiB xxhash-libs x86_64 0.8.3-1.fc41 updates 88.5 KiB xz-libs x86_64 1:5.6.2-2.fc41 fedora 214.4 KiB zig-srpm-macros noarch 1-3.fc41 fedora 1.1 KiB zip x86_64 3.0-41.fc41 fedora 703.2 KiB zlib-ng-compat x86_64 2.2.3-2.fc41 updates 141.9 KiB zstd x86_64 1.5.7-1.fc41 updates 1.7 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 154 packages Total size of inbound packages is 53 MiB. Need to download 53 MiB. After this operation, 181 MiB extra will be used (install 181 MiB, remove 0 B). [ 1/154] bzip2-0:1.0.8-19.fc41.x86_64 100% | 481.9 KiB/s | 52.5 KiB | 00m00s [ 2/154] cpio-0:2.15-2.fc41.x86_64 100% | 1.8 MiB/s | 291.8 KiB | 00m00s [ 3/154] diffutils-0:3.10-8.fc41.x86_6 100% | 4.9 MiB/s | 405.4 KiB | 00m00s [ 4/154] bash-0:5.2.32-1.fc41.x86_64 100% | 8.7 MiB/s | 1.8 MiB | 00m00s [ 5/154] findutils-1:4.10.0-4.fc41.x86 100% | 10.5 MiB/s | 548.5 KiB | 00m00s [ 6/154] grep-0:3.11-9.fc41.x86_64 100% | 10.1 MiB/s | 299.7 KiB | 00m00s [ 7/154] gzip-0:1.13-2.fc41.x86_64 100% | 8.3 MiB/s | 170.2 KiB | 00m00s [ 8/154] patch-0:2.7.6-25.fc41.x86_64 100% | 5.8 MiB/s | 131.0 KiB | 00m00s [ 9/154] sed-0:4.9-3.fc41.x86_64 100% | 10.7 MiB/s | 317.7 KiB | 00m00s [ 10/154] shadow-utils-2:4.15.1-12.fc41 100% | 44.0 MiB/s | 1.3 MiB | 00m00s [ 11/154] tar-2:1.35-4.fc41.x86_64 100% | 21.6 MiB/s | 860.7 KiB | 00m00s [ 12/154] unzip-0:6.0-64.fc41.x86_64 100% | 7.2 MiB/s | 184.9 KiB | 00m00s [ 13/154] which-0:2.21-42.fc41.x86_64 100% | 2.1 MiB/s | 41.6 KiB | 00m00s [ 14/154] xz-1:5.6.2-2.fc41.x86_64 100% | 13.5 MiB/s | 471.5 KiB | 00m00s [ 15/154] gawk-0:5.3.0-4.fc41.x86_64 100% | 28.2 MiB/s | 1.1 MiB | 00m00s [ 16/154] fedora-release-common-0:41-32 100% | 211.4 KiB/s | 23.9 KiB | 00m00s [ 17/154] info-0:7.1.1-1.fc41.x86_64 100% | 1.7 MiB/s | 182.0 KiB | 00m00s [ 18/154] glibc-minimal-langpack-0:2.40 100% | 570.5 KiB/s | 89.6 KiB | 00m00s [ 19/154] redhat-rpm-config-0:294-1.fc4 100% | 2.3 MiB/s | 79.0 KiB | 00m00s [ 20/154] rpm-build-0:4.20.1-1.fc41.x86 100% | 1.7 MiB/s | 81.5 KiB | 00m00s [ 21/154] coreutils-0:9.5-11.fc41.x86_6 100% | 3.9 MiB/s | 1.1 MiB | 00m00s [ 22/154] filesystem-0:3.18-23.fc41.x86 100% | 36.2 MiB/s | 1.1 MiB | 00m00s [ 23/154] ncurses-libs-0:6.5-2.20240629 100% | 12.1 MiB/s | 334.0 KiB | 00m00s [ 24/154] bzip2-libs-0:1.0.8-19.fc41.x8 100% | 2.0 MiB/s | 41.1 KiB | 00m00s [ 25/154] libselinux-0:3.7-5.fc41.x86_6 100% | 4.1 MiB/s | 87.8 KiB | 00m00s [ 26/154] pcre2-0:10.44-1.fc41.1.x86_64 100% | 11.3 MiB/s | 243.1 KiB | 00m00s [ 27/154] ed-0:1.20.2-2.fc41.x86_64 100% | 3.1 MiB/s | 81.8 KiB | 00m00s [ 28/154] util-linux-0:2.40.4-1.fc41.x8 100% | 10.3 MiB/s | 1.1 MiB | 00m00s [ 29/154] libattr-0:2.5.2-4.fc41.x86_64 100% | 956.4 KiB/s | 18.2 KiB | 00m00s [ 30/154] libacl-0:2.3.2-2.fc41.x86_64 100% | 1.3 MiB/s | 24.5 KiB | 00m00s [ 31/154] libeconf-0:0.6.2-3.fc41.x86_6 100% | 1.5 MiB/s | 32.2 KiB | 00m00s [ 32/154] libsemanage-0:3.7-2.fc41.x86_ 100% | 5.7 MiB/s | 116.3 KiB | 00m00s [ 33/154] xz-libs-1:5.6.2-2.fc41.x86_64 100% | 5.2 MiB/s | 111.8 KiB | 00m00s [ 34/154] gmp-1:6.3.0-2.fc41.x86_64 100% | 14.1 MiB/s | 318.0 KiB | 00m00s [ 35/154] libcap-0:2.70-4.fc41.x86_64 100% | 3.8 MiB/s | 86.7 KiB | 00m00s [ 36/154] fedora-repos-0:41-1.noarch 100% | 485.9 KiB/s | 9.2 KiB | 00m00s [ 37/154] mpfr-0:4.2.1-5.fc41.x86_64 100% | 12.5 MiB/s | 346.3 KiB | 00m00s [ 38/154] readline-0:8.2-10.fc41.x86_64 100% | 10.4 MiB/s | 213.2 KiB | 00m00s [ 39/154] coreutils-common-0:9.5-11.fc4 100% | 29.5 MiB/s | 2.1 MiB | 00m00s [ 40/154] ansible-srpm-macros-0:1-16.fc 100% | 1.1 MiB/s | 20.8 KiB | 00m00s [ 41/154] dwz-0:0.15-8.fc41.x86_64 100% | 6.2 MiB/s | 138.9 KiB | 00m00s [ 42/154] glibc-common-0:2.40-24.fc41.x 100% | 10.3 MiB/s | 378.1 KiB | 00m00s [ 43/154] file-0:5.45-7.fc41.x86_64 100% | 2.4 MiB/s | 49.1 KiB | 00m00s [ 44/154] fonts-srpm-macros-1:2.0.5-17. 100% | 1.4 MiB/s | 27.0 KiB | 00m00s [ 45/154] fpc-srpm-macros-0:1.3-13.fc41 100% | 398.1 KiB/s | 8.0 KiB | 00m00s [ 46/154] ghc-srpm-macros-0:1.9.1-2.fc4 100% | 452.8 KiB/s | 9.1 KiB | 00m00s [ 47/154] gnat-srpm-macros-0:6-6.fc41.n 100% | 447.6 KiB/s | 9.0 KiB | 00m00s [ 48/154] kernel-srpm-macros-0:1.0-24.f 100% | 493.4 KiB/s | 9.9 KiB | 00m00s [ 49/154] lua-srpm-macros-0:1-14.fc41.n 100% | 467.3 KiB/s | 8.9 KiB | 00m00s [ 50/154] ocaml-srpm-macros-0:10-3.fc41 100% | 484.2 KiB/s | 9.2 KiB | 00m00s [ 51/154] openblas-srpm-macros-0:2-18.f 100% | 385.7 KiB/s | 7.7 KiB | 00m00s [ 52/154] package-notes-srpm-macros-0:0 100% | 517.3 KiB/s | 9.8 KiB | 00m00s [ 53/154] perl-srpm-macros-0:1-56.fc41. 100% | 448.0 KiB/s | 8.5 KiB | 00m00s [ 54/154] python-srpm-macros-0:3.13-3.f 100% | 1.2 MiB/s | 23.7 KiB | 00m00s [ 55/154] qt5-srpm-macros-0:5.15.15-1.f 100% | 468.3 KiB/s | 8.9 KiB | 00m00s [ 56/154] rust-srpm-macros-0:26.3-3.fc4 100% | 637.2 KiB/s | 12.1 KiB | 00m00s [ 57/154] zig-srpm-macros-0:1-3.fc41.no 100% | 406.2 KiB/s | 8.1 KiB | 00m00s [ 58/154] zip-0:3.0-41.fc41.x86_64 100% | 12.3 MiB/s | 264.8 KiB | 00m00s [ 59/154] popt-0:1.19-7.fc41.x86_64 100% | 2.9 MiB/s | 65.9 KiB | 00m00s [ 60/154] rpm-0:4.20.1-1.fc41.x86_64 100% | 17.3 MiB/s | 549.6 KiB | 00m00s [ 61/154] util-linux-core-0:2.40.4-1.fc 100% | 13.7 MiB/s | 492.2 KiB | 00m00s [ 62/154] libcap-ng-0:0.8.5-3.fc41.x86_ 100% | 1.5 MiB/s | 32.6 KiB | 00m00s [ 63/154] libutempter-0:1.2.1-15.fc41.x 100% | 1.4 MiB/s | 26.6 KiB | 00m00s [ 64/154] ncurses-base-0:6.5-2.20240629 100% | 3.9 MiB/s | 88.3 KiB | 00m00s [ 65/154] libsepol-0:3.7-2.fc41.x86_64 100% | 15.2 MiB/s | 342.2 KiB | 00m00s [ 66/154] pcre2-syntax-0:10.44-1.fc41.1 100% | 6.4 MiB/s | 149.9 KiB | 00m00s [ 67/154] fedora-gpg-keys-0:41-1.noarch 100% | 6.2 MiB/s | 133.7 KiB | 00m00s [ 68/154] file-libs-0:5.45-7.fc41.x86_6 100% | 29.8 MiB/s | 762.0 KiB | 00m00s [ 69/154] basesystem-0:11-21.fc41.noarc 100% | 388.0 KiB/s | 7.4 KiB | 00m00s [ 70/154] glibc-0:2.40-24.fc41.x86_64 100% | 47.0 MiB/s | 2.2 MiB | 00m00s [ 71/154] glibc-gconv-extra-0:2.40-24.f 100% | 31.4 MiB/s | 1.7 MiB | 00m00s [ 72/154] rpm-build-libs-0:4.20.1-1.fc4 100% | 3.6 MiB/s | 98.8 KiB | 00m00s [ 73/154] audit-libs-0:4.0.3-1.fc41.x86 100% | 4.5 MiB/s | 124.8 KiB | 00m00s [ 74/154] libxcrypt-0:4.4.38-7.fc41.x86 100% | 4.6 MiB/s | 127.5 KiB | 00m00s [ 75/154] pam-libs-0:1.6.1-7.fc41.x86_6 100% | 2.1 MiB/s | 57.4 KiB | 00m00s [ 76/154] setup-0:2.15.0-8.fc41.noarch 100% | 5.6 MiB/s | 154.6 KiB | 00m00s [ 77/154] rpm-libs-0:4.20.1-1.fc41.x86_ 100% | 3.4 MiB/s | 312.0 KiB | 00m00s [ 78/154] libgcc-0:14.2.1-7.fc41.x86_64 100% | 4.8 MiB/s | 134.0 KiB | 00m00s [ 79/154] forge-srpm-macros-0:0.4.0-1.f 100% | 729.8 KiB/s | 19.7 KiB | 00m00s [ 80/154] zlib-ng-compat-0:2.2.3-2.fc41 100% | 2.6 MiB/s | 78.9 KiB | 00m00s [ 81/154] elfutils-libelf-0:0.192-9.fc4 100% | 7.0 MiB/s | 207.3 KiB | 00m00s [ 82/154] elfutils-libs-0:0.192-9.fc41. 100% | 8.8 MiB/s | 261.8 KiB | 00m00s [ 83/154] json-c-0:0.17-4.fc41.x86_64 100% | 2.1 MiB/s | 44.0 KiB | 00m00s [ 84/154] elfutils-debuginfod-client-0: 100% | 1.7 MiB/s | 46.3 KiB | 00m00s [ 85/154] elfutils-0:0.192-9.fc41.x86_6 100% | 9.4 MiB/s | 546.1 KiB | 00m00s [ 86/154] libblkid-0:2.40.4-1.fc41.x86_ 100% | 4.3 MiB/s | 119.2 KiB | 00m00s [ 87/154] libuuid-0:2.40.4-1.fc41.x86_6 100% | 1.0 MiB/s | 27.1 KiB | 00m00s [ 88/154] libmount-0:2.40.4-1.fc41.x86_ 100% | 5.0 MiB/s | 149.0 KiB | 00m00s [ 89/154] libsmartcols-0:2.40.4-1.fc41. 100% | 2.9 MiB/s | 79.4 KiB | 00m00s [ 90/154] systemd-libs-0:256.12-1.fc41. 100% | 21.0 MiB/s | 729.6 KiB | 00m00s [ 91/154] libfdisk-0:2.40.4-1.fc41.x86_ 100% | 5.1 MiB/s | 152.5 KiB | 00m00s [ 92/154] authselect-0:1.5.0-8.fc41.x86 100% | 7.1 MiB/s | 145.8 KiB | 00m00s [ 93/154] pam-0:1.6.1-7.fc41.x86_64 100% | 18.1 MiB/s | 555.0 KiB | 00m00s [ 94/154] gdbm-libs-1:1.23-7.fc41.x86_6 100% | 2.7 MiB/s | 56.3 KiB | 00m00s [ 95/154] libnsl2-0:2.0.1-2.fc41.x86_64 100% | 1.5 MiB/s | 29.6 KiB | 00m00s [ 96/154] libpwquality-0:1.4.5-11.fc41. 100% | 5.5 MiB/s | 119.0 KiB | 00m00s [ 97/154] authselect-libs-0:1.5.0-8.fc4 100% | 8.9 MiB/s | 218.0 KiB | 00m00s [ 98/154] cracklib-0:2.9.11-6.fc41.x86_ 100% | 4.5 MiB/s | 92.1 KiB | 00m00s [ 99/154] libzstd-0:1.5.7-1.fc41.x86_64 100% | 10.6 MiB/s | 315.4 KiB | 00m00s [100/154] lua-libs-0:5.4.7-3.fc41.x86_6 100% | 4.8 MiB/s | 131.5 KiB | 00m00s [101/154] rpm-sequoia-0:1.7.0-5.fc41.x8 100% | 19.8 MiB/s | 911.4 KiB | 00m00s [102/154] sqlite-libs-0:3.46.1-2.fc41.x 100% | 21.3 MiB/s | 719.0 KiB | 00m00s [103/154] libgomp-0:14.2.1-7.fc41.x86_6 100% | 11.4 MiB/s | 349.5 KiB | 00m00s [104/154] jansson-0:2.13.1-10.fc41.x86_ 100% | 2.3 MiB/s | 44.4 KiB | 00m00s [105/154] debugedit-0:5.1-6.fc41.x86_64 100% | 2.9 MiB/s | 79.3 KiB | 00m00s [106/154] libarchive-0:3.7.4-4.fc41.x86 100% | 12.1 MiB/s | 409.1 KiB | 00m00s [107/154] lz4-libs-0:1.10.0-1.fc41.x86_ 100% | 3.6 MiB/s | 70.7 KiB | 00m00s [108/154] binutils-0:2.43.1-5.fc41.x86_ 100% | 82.6 MiB/s | 6.3 MiB | 00m00s [109/154] pkgconf-pkg-config-0:2.3.0-1. 100% | 476.7 KiB/s | 10.0 KiB | 00m00s [110/154] zstd-0:1.5.7-1.fc41.x86_64 100% | 14.7 MiB/s | 483.3 KiB | 00m00s [111/154] pkgconf-0:2.3.0-1.fc41.x86_64 100% | 1.5 MiB/s | 45.2 KiB | 00m00s [112/154] pkgconf-m4-0:2.3.0-1.fc41.noa 100% | 493.8 KiB/s | 14.3 KiB | 00m00s [113/154] libpkgconf-0:2.3.0-1.fc41.x86 100% | 1.9 MiB/s | 38.5 KiB | 00m00s [114/154] build-reproducibility-srpm-ma 100% | 400.9 KiB/s | 10.8 KiB | 00m00s [115/154] curl-0:8.9.1-3.fc41.x86_64 100% | 10.9 MiB/s | 311.9 KiB | 00m00s [116/154] add-determinism-0:0.3.6-3.fc4 100% | 20.9 MiB/s | 875.9 KiB | 00m00s [117/154] efi-srpm-macros-0:5-13.fc41.n 100% | 831.9 KiB/s | 22.5 KiB | 00m00s [118/154] go-srpm-macros-0:3.6.0-5.fc41 100% | 998.6 KiB/s | 28.0 KiB | 00m00s [119/154] pyproject-srpm-macros-0:1.18. 100% | 513.2 KiB/s | 13.9 KiB | 00m00s [120/154] qt6-srpm-macros-0:6.8.2-1.fc4 100% | 340.5 KiB/s | 9.2 KiB | 00m00s [121/154] libtirpc-0:1.3.6-1.rc3.fc41.x 100% | 3.2 MiB/s | 89.4 KiB | 00m00s [122/154] libcom_err-0:1.47.1-6.fc41.x8 100% | 1.4 MiB/s | 26.6 KiB | 00m00s [123/154] gdbm-1:1.23-7.fc41.x86_64 100% | 7.4 MiB/s | 151.8 KiB | 00m00s [124/154] openssl-libs-1:3.2.4-1.fc41.x 100% | 68.0 MiB/s | 2.3 MiB | 00m00s [125/154] ca-certificates-0:2024.2.69_v 100% | 21.3 MiB/s | 871.2 KiB | 00m00s [126/154] crypto-policies-0:20250124-1. 100% | 3.5 MiB/s | 97.8 KiB | 00m00s [127/154] keyutils-libs-0:1.6.3-4.fc41. 100% | 1.6 MiB/s | 31.6 KiB | 00m00s [128/154] krb5-libs-0:1.21.3-4.fc41.x86 100% | 25.5 MiB/s | 757.0 KiB | 00m00s [129/154] libverto-0:0.3.2-9.fc41.x86_6 100% | 1.1 MiB/s | 20.7 KiB | 00m00s [130/154] elfutils-default-yama-scope-0 100% | 475.7 KiB/s | 12.4 KiB | 00m00s [131/154] libxml2-0:2.12.10-1.fc41.x86_ 100% | 19.7 MiB/s | 687.5 KiB | 00m00s [132/154] libstdc++-0:14.2.1-7.fc41.x86 100% | 20.1 MiB/s | 822.8 KiB | 00m00s [133/154] libffi-0:3.4.6-3.fc41.x86_64 100% | 2.1 MiB/s | 39.9 KiB | 00m00s [134/154] alternatives-0:1.31-1.fc41.x8 100% | 1.5 MiB/s | 39.4 KiB | 00m00s [135/154] p11-kit-trust-0:0.25.5-3.fc41 100% | 5.9 MiB/s | 132.1 KiB | 00m00s [136/154] p11-kit-0:0.25.5-3.fc41.x86_6 100% | 20.0 MiB/s | 490.9 KiB | 00m00s [137/154] libtasn1-0:4.20.0-1.fc41.x86_ 100% | 2.7 MiB/s | 74.4 KiB | 00m00s [138/154] fedora-release-0:41-32.noarch 100% | 483.8 KiB/s | 13.1 KiB | 00m00s [139/154] xxhash-libs-0:0.8.3-1.fc41.x8 100% | 1.3 MiB/s | 35.9 KiB | 00m00s [140/154] fedora-release-identity-basic 100% | 512.7 KiB/s | 13.8 KiB | 00m00s [141/154] libcurl-0:8.9.1-3.fc41.x86_64 100% | 12.2 MiB/s | 350.0 KiB | 00m00s [142/154] libbrotli-0:1.1.0-5.fc41.x86_ 100% | 15.1 MiB/s | 340.5 KiB | 00m00s [143/154] libnghttp2-0:1.62.1-2.fc41.x8 100% | 3.6 MiB/s | 76.6 KiB | 00m00s [144/154] gdb-minimal-0:16.2-2.fc41.x86 100% | 46.2 MiB/s | 4.4 MiB | 00m00s [145/154] libpsl-0:0.21.5-4.fc41.x86_64 100% | 3.1 MiB/s | 64.1 KiB | 00m00s [146/154] libssh-0:0.10.6-8.fc41.x86_64 100% | 9.8 MiB/s | 211.8 KiB | 00m00s [147/154] libssh-config-0:0.10.6-8.fc41 100% | 420.1 KiB/s | 9.2 KiB | 00m00s [148/154] libunistring-0:1.1-8.fc41.x86 100% | 22.2 MiB/s | 544.8 KiB | 00m00s [149/154] libidn2-0:2.3.8-1.fc41.x86_64 100% | 6.3 MiB/s | 175.0 KiB | 00m00s [150/154] publicsuffix-list-dafsa-0:202 100% | 2.1 MiB/s | 58.8 KiB | 00m00s [151/154] openldap-0:2.6.9-1.fc41.x86_6 100% | 8.9 MiB/s | 255.9 KiB | 00m00s [152/154] cyrus-sasl-lib-0:2.1.28-27.fc 100% | 29.9 MiB/s | 794.9 KiB | 00m00s [153/154] libevent-0:2.1.12-14.fc41.x86 100% | 12.0 MiB/s | 257.5 KiB | 00m00s [154/154] libtool-ltdl-0:2.4.7-12.fc41. 100% | 1.6 MiB/s | 35.6 KiB | 00m00s -------------------------------------------------------------------------------- [154/154] Total 100% | 26.9 MiB/s | 52.9 MiB | 00m02s Running transaction Importing OpenPGP key 0xE99D6AD1: UserID : "Fedora (41) " Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary The key was successfully imported. [ 1/156] Verify package files 100% | 841.0 B/s | 154.0 B | 00m00s [ 2/156] Prepare transaction 100% | 3.7 KiB/s | 154.0 B | 00m00s [ 3/156] Installing libgcc-0:14.2.1-7. 100% | 266.1 MiB/s | 272.5 KiB | 00m00s [ 4/156] Installing publicsuffix-list- 100% | 0.0 B/s | 69.2 KiB | 00m00s [ 5/156] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 6/156] Installing fedora-release-ide 100% | 0.0 B/s | 912.0 B | 00m00s [ 7/156] Installing fedora-gpg-keys-0: 100% | 42.0 MiB/s | 172.2 KiB | 00m00s [ 8/156] Installing fedora-repos-0:41- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 9/156] Installing fedora-release-com 100% | 23.4 MiB/s | 24.0 KiB | 00m00s [ 10/156] Installing fedora-release-0:4 100% | 0.0 B/s | 124.0 B | 00m00s [ 11/156] Installing setup-0:2.15.0-8.f 100% | 59.1 MiB/s | 726.5 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 12/156] Installing filesystem-0:3.18- 100% | 3.4 MiB/s | 212.5 KiB | 00m00s [ 13/156] Installing basesystem-0:11-21 100% | 0.0 B/s | 124.0 B | 00m00s [ 14/156] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 732.0 B | 00m00s [ 15/156] Installing pkgconf-m4-0:2.3.0 100% | 0.0 B/s | 14.8 KiB | 00m00s [ 16/156] Installing pcre2-syntax-0:10. 100% | 248.1 MiB/s | 254.1 KiB | 00m00s [ 17/156] Installing ncurses-base-0:6.5 100% | 85.9 MiB/s | 351.7 KiB | 00m00s [ 18/156] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 19/156] Installing ncurses-libs-0:6.5 100% | 239.7 MiB/s | 981.8 KiB | 00m00s [ 20/156] Installing glibc-0:2.40-24.fc 100% | 304.0 MiB/s | 6.7 MiB | 00m00s [ 21/156] Installing bash-0:5.2.32-1.fc 100% | 430.0 MiB/s | 8.2 MiB | 00m00s [ 22/156] Installing glibc-common-0:2.4 100% | 210.2 MiB/s | 1.1 MiB | 00m00s [ 23/156] Installing glibc-gconv-extra- 100% | 259.4 MiB/s | 8.0 MiB | 00m00s [ 24/156] Installing zlib-ng-compat-0:2 100% | 139.4 MiB/s | 142.7 KiB | 00m00s [ 25/156] Installing bzip2-libs-0:1.0.8 100% | 79.9 MiB/s | 81.8 KiB | 00m00s [ 26/156] Installing xz-libs-1:5.6.2-2. 100% | 210.4 MiB/s | 215.5 KiB | 00m00s [ 27/156] Installing readline-0:8.2-10. 100% | 241.8 MiB/s | 495.3 KiB | 00m00s [ 28/156] Installing popt-0:1.19-7.fc41 100% | 70.1 MiB/s | 143.5 KiB | 00m00s [ 29/156] Installing libuuid-0:2.40.4-1 100% | 0.0 B/s | 41.0 KiB | 00m00s [ 30/156] Installing libblkid-0:2.40.4- 100% | 252.1 MiB/s | 258.2 KiB | 00m00s [ 31/156] Installing libattr-0:2.5.2-4. 100% | 0.0 B/s | 29.5 KiB | 00m00s [ 32/156] Installing libacl-0:2.3.2-2.f 100% | 0.0 B/s | 40.7 KiB | 00m00s [ 33/156] Installing gmp-1:6.3.0-2.fc41 100% | 397.3 MiB/s | 813.7 KiB | 00m00s [ 34/156] Installing libxcrypt-0:4.4.38 100% | 284.4 MiB/s | 291.2 KiB | 00m00s [ 35/156] Installing libzstd-0:1.5.7-1. 100% | 393.1 MiB/s | 805.1 KiB | 00m00s [ 36/156] Installing elfutils-libelf-0: 100% | 390.0 MiB/s | 1.2 MiB | 00m00s [ 37/156] Installing libstdc++-0:14.2.1 100% | 385.6 MiB/s | 2.7 MiB | 00m00s [ 38/156] Installing libeconf-0:0.6.2-3 100% | 58.3 MiB/s | 59.7 KiB | 00m00s [ 39/156] Installing gdbm-libs-1:1.23-7 100% | 120.7 MiB/s | 123.6 KiB | 00m00s [ 40/156] Installing dwz-0:0.15-8.fc41. 100% | 293.3 MiB/s | 300.3 KiB | 00m00s [ 41/156] Installing mpfr-0:4.2.1-5.fc4 100% | 271.4 MiB/s | 833.7 KiB | 00m00s [ 42/156] Installing gawk-0:5.3.0-4.fc4 100% | 288.7 MiB/s | 1.7 MiB | 00m00s [ 43/156] Installing unzip-0:6.0-64.fc4 100% | 190.6 MiB/s | 390.3 KiB | 00m00s [ 44/156] Installing file-libs-0:5.45-7 100% | 709.6 MiB/s | 9.9 MiB | 00m00s [ 45/156] Installing file-0:5.45-7.fc41 100% | 12.8 MiB/s | 105.0 KiB | 00m00s [ 46/156] Installing crypto-policies-0: 100% | 32.0 MiB/s | 163.7 KiB | 00m00s [ 47/156] Installing pcre2-0:10.44-1.fc 100% | 319.8 MiB/s | 654.9 KiB | 00m00s [ 48/156] Installing grep-0:3.11-9.fc41 100% | 200.7 MiB/s | 1.0 MiB | 00m00s [ 49/156] Installing xz-1:5.6.2-2.fc41. 100% | 241.0 MiB/s | 1.2 MiB | 00m00s [ 50/156] Installing libcap-ng-0:0.8.5- 100% | 69.4 MiB/s | 71.0 KiB | 00m00s [ 51/156] Installing audit-libs-0:4.0.3 100% | 345.1 MiB/s | 353.4 KiB | 00m00s [ 52/156] Installing pam-libs-0:1.6.1-7 100% | 137.9 MiB/s | 141.3 KiB | 00m00s [ 53/156] Installing libcap-0:2.70-4.fc 100% | 110.0 MiB/s | 225.2 KiB | 00m00s [ 54/156] Installing systemd-libs-0:256 100% | 338.3 MiB/s | 2.0 MiB | 00m00s [ 55/156] Installing libsepol-0:3.7-2.f 100% | 399.8 MiB/s | 818.8 KiB | 00m00s [ 56/156] Installing libselinux-0:3.7-5 100% | 178.0 MiB/s | 182.3 KiB | 00m00s [ 57/156] Installing sed-0:4.9-3.fc41.x 100% | 212.3 MiB/s | 869.7 KiB | 00m00s [ 58/156] Installing findutils-1:4.10.0 100% | 309.7 MiB/s | 1.9 MiB | 00m00s [ 59/156] Installing libmount-0:2.40.4- 100% | 341.6 MiB/s | 349.8 KiB | 00m00s [ 60/156] Installing libsmartcols-0:2.4 100% | 173.2 MiB/s | 177.4 KiB | 00m00s [ 61/156] Installing lua-libs-0:5.4.7-3 100% | 279.5 MiB/s | 286.2 KiB | 00m00s [ 62/156] Installing lz4-libs-0:1.10.0- 100% | 143.1 MiB/s | 146.6 KiB | 00m00s [ 63/156] Installing libcom_err-0:1.47. 100% | 0.0 B/s | 68.3 KiB | 00m00s [ 64/156] Installing alternatives-0:1.3 100% | 64.8 MiB/s | 66.4 KiB | 00m00s [ 65/156] Installing libffi-0:3.4.6-3.f 100% | 85.7 MiB/s | 87.8 KiB | 00m00s [ 66/156] Installing libtasn1-0:4.20.0- 100% | 177.9 MiB/s | 182.2 KiB | 00m00s [ 67/156] Installing p11-kit-0:0.25.5-3 100% | 275.9 MiB/s | 2.2 MiB | 00m00s [ 68/156] Installing libunistring-0:1.1 100% | 346.1 MiB/s | 1.7 MiB | 00m00s [ 69/156] Installing libidn2-0:2.3.8-1. 100% | 183.2 MiB/s | 562.8 KiB | 00m00s [ 70/156] Installing libpsl-0:0.21.5-4. 100% | 79.7 MiB/s | 81.7 KiB | 00m00s [ 71/156] Installing p11-kit-trust-0:0. 100% | 42.7 MiB/s | 393.1 KiB | 00m00s [ 72/156] Installing zstd-0:1.5.7-1.fc4 100% | 342.0 MiB/s | 1.7 MiB | 00m00s [ 73/156] Installing util-linux-core-0: 100% | 210.7 MiB/s | 1.5 MiB | 00m00s [ 74/156] Installing tar-2:1.35-4.fc41. 100% | 328.7 MiB/s | 3.0 MiB | 00m00s [ 75/156] Installing libsemanage-0:3.7- 100% | 144.2 MiB/s | 295.2 KiB | 00m00s [ 76/156] Installing shadow-utils-2:4.1 100% | 154.3 MiB/s | 4.2 MiB | 00m00s [ 77/156] Installing libutempter-0:1.2. 100% | 58.3 MiB/s | 59.7 KiB | 00m00s [ 78/156] Installing zip-0:3.0-41.fc41. 100% | 230.2 MiB/s | 707.1 KiB | 00m00s [ 79/156] Installing gdbm-1:1.23-7.fc41 100% | 151.6 MiB/s | 465.8 KiB | 00m00s [ 80/156] Installing cyrus-sasl-lib-0:2 100% | 329.4 MiB/s | 2.3 MiB | 00m00s [ 81/156] Installing libfdisk-0:2.40.4- 100% | 349.0 MiB/s | 357.4 KiB | 00m00s [ 82/156] Installing libxml2-0:2.12.10- 100% | 344.1 MiB/s | 1.7 MiB | 00m00s [ 83/156] Installing bzip2-0:1.0.8-19.f 100% | 97.8 MiB/s | 100.2 KiB | 00m00s [ 84/156] Installing sqlite-libs-0:3.46 100% | 368.2 MiB/s | 1.5 MiB | 00m00s [ 85/156] Installing add-determinism-0: 100% | 392.6 MiB/s | 2.4 MiB | 00m00s [ 86/156] Installing build-reproducibil 100% | 0.0 B/s | 1.0 KiB | 00m00s [ 87/156] Installing ed-0:1.20.2-2.fc41 100% | 145.7 MiB/s | 149.2 KiB | 00m00s [ 88/156] Installing patch-0:2.7.6-25.f 100% | 261.9 MiB/s | 268.2 KiB | 00m00s [ 89/156] Installing elfutils-default-y 100% | 340.5 KiB/s | 2.0 KiB | 00m00s [ 90/156] Installing elfutils-libs-0:0. 100% | 218.8 MiB/s | 672.1 KiB | 00m00s [ 91/156] Installing cpio-0:2.15-2.fc41 100% | 274.9 MiB/s | 1.1 MiB | 00m00s [ 92/156] Installing diffutils-0:3.10-8 100% | 318.1 MiB/s | 1.6 MiB | 00m00s [ 93/156] Installing json-c-0:0.17-4.fc 100% | 81.7 MiB/s | 83.6 KiB | 00m00s [ 94/156] Installing libgomp-0:14.2.1-7 100% | 251.7 MiB/s | 515.6 KiB | 00m00s [ 95/156] Installing jansson-0:2.13.1-1 100% | 87.6 MiB/s | 89.7 KiB | 00m00s [ 96/156] Installing libpkgconf-0:2.3.0 100% | 77.5 MiB/s | 79.3 KiB | 00m00s [ 97/156] Installing pkgconf-0:2.3.0-1. 100% | 89.0 MiB/s | 91.1 KiB | 00m00s [ 98/156] Installing pkgconf-pkg-config 100% | 0.0 B/s | 1.8 KiB | 00m00s [ 99/156] Installing keyutils-libs-0:1. 100% | 54.5 MiB/s | 55.8 KiB | 00m00s [100/156] Installing libverto-0:0.3.2-9 100% | 0.0 B/s | 31.3 KiB | 00m00s [101/156] Installing xxhash-libs-0:0.8. 100% | 87.8 MiB/s | 89.9 KiB | 00m00s [102/156] Installing libbrotli-0:1.1.0- 100% | 273.4 MiB/s | 839.9 KiB | 00m00s [103/156] Installing libnghttp2-0:1.62. 100% | 163.2 MiB/s | 167.1 KiB | 00m00s [104/156] Installing libtool-ltdl-0:2.4 100% | 65.7 MiB/s | 67.3 KiB | 00m00s [105/156] Installing rust-srpm-macros-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [106/156] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [107/156] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [108/156] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [109/156] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [110/156] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.2 KiB | 00m00s [111/156] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [112/156] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [113/156] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [114/156] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [115/156] Installing ansible-srpm-macro 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [116/156] Installing coreutils-common-0 100% | 373.0 MiB/s | 11.2 MiB | 00m00s [117/156] Installing openssl-libs-1:3.2 100% | 391.5 MiB/s | 7.8 MiB | 00m00s [118/156] Installing coreutils-0:9.5-11 100% | 248.1 MiB/s | 5.7 MiB | 00m00s [119/156] Installing ca-certificates-0: 100% | 3.7 MiB/s | 2.4 MiB | 00m01s [120/156] Installing krb5-libs-0:1.21.3 100% | 257.7 MiB/s | 2.3 MiB | 00m00s [121/156] Installing libarchive-0:3.7.4 100% | 302.3 MiB/s | 928.6 KiB | 00m00s [122/156] Installing libtirpc-0:1.3.6-1 100% | 194.7 MiB/s | 199.4 KiB | 00m00s [123/156] Installing gzip-0:1.13-2.fc41 100% | 192.7 MiB/s | 394.6 KiB | 00m00s [124/156] Installing authselect-libs-0: 100% | 163.5 MiB/s | 837.2 KiB | 00m00s [125/156] Installing cracklib-0:2.9.11- 100% | 81.5 MiB/s | 250.3 KiB | 00m00s [126/156] Installing libpwquality-0:1.4 100% | 105.0 MiB/s | 430.1 KiB | 00m00s [127/156] Installing libnsl2-0:2.0.1-2. 100% | 57.7 MiB/s | 59.1 KiB | 00m00s [128/156] Installing pam-0:1.6.1-7.fc41 100% | 156.5 MiB/s | 1.9 MiB | 00m00s [129/156] Installing libssh-0:0.10.6-8. 100% | 251.7 MiB/s | 515.4 KiB | 00m00s [130/156] Installing rpm-sequoia-0:1.7. 100% | 345.5 MiB/s | 2.4 MiB | 00m00s [131/156] Installing rpm-libs-0:4.20.1- 100% | 357.2 MiB/s | 731.5 KiB | 00m00s [132/156] Installing rpm-build-libs-0:4 100% | 206.6 MiB/s | 211.5 KiB | 00m00s [133/156] Installing libevent-0:2.1.12- 100% | 292.8 MiB/s | 899.5 KiB | 00m00s [134/156] Installing openldap-0:2.6.9-1 100% | 211.3 MiB/s | 649.1 KiB | 00m00s [135/156] Installing libcurl-0:8.9.1-3. 100% | 395.7 MiB/s | 810.4 KiB | 00m00s [136/156] Installing elfutils-debuginfo 100% | 84.4 MiB/s | 86.5 KiB | 00m00s [137/156] Installing elfutils-0:0.192-9 100% | 382.2 MiB/s | 2.7 MiB | 00m00s [138/156] Installing binutils-0:2.43.1- 100% | 370.1 MiB/s | 27.4 MiB | 00m00s [139/156] Installing gdb-minimal-0:16.2 100% | 368.4 MiB/s | 13.3 MiB | 00m00s [140/156] Installing debugedit-0:5.1-6. 100% | 198.9 MiB/s | 203.6 KiB | 00m00s [141/156] Installing curl-0:8.9.1-3.fc4 100% | 70.7 MiB/s | 796.0 KiB | 00m00s [142/156] Installing rpm-0:4.20.1-1.fc4 100% | 167.5 MiB/s | 2.5 MiB | 00m00s [143/156] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [144/156] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 KiB | 00m00s [145/156] Installing efi-srpm-macros-0: 100% | 0.0 B/s | 41.2 KiB | 00m00s [146/156] Installing python-srpm-macros 100% | 0.0 B/s | 52.2 KiB | 00m00s [147/156] Installing fonts-srpm-macros- 100% | 55.7 MiB/s | 57.0 KiB | 00m00s [148/156] Installing forge-srpm-macros- 100% | 0.0 B/s | 40.3 KiB | 00m00s [149/156] Installing go-srpm-macros-0:3 100% | 60.5 MiB/s | 62.0 KiB | 00m00s [150/156] Installing redhat-rpm-config- 100% | 92.9 MiB/s | 190.2 KiB | 00m00s [151/156] Installing rpm-build-0:4.20.1 100% | 98.8 MiB/s | 202.3 KiB | 00m00s [152/156] Installing pyproject-srpm-mac 100% | 2.4 MiB/s | 2.5 KiB | 00m00s [153/156] Installing util-linux-0:2.40. 100% | 148.2 MiB/s | 3.7 MiB | 00m00s [154/156] Installing authselect-0:1.5.0 100% | 79.1 MiB/s | 161.9 KiB | 00m00s [155/156] Installing which-0:2.21-42.fc 100% | 80.5 MiB/s | 82.4 KiB | 00m00s [156/156] Installing info-0:7.1.1-1.fc4 100% | 410.1 KiB/s | 362.2 KiB | 00m01s Complete! Finish: installing minimal buildroot with dnf5 Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: add-determinism-0.3.6-3.fc41.x86_64 alternatives-1.31-1.fc41.x86_64 ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.3-1.fc41.x86_64 authselect-1.5.0-8.fc41.x86_64 authselect-libs-1.5.0-8.fc41.x86_64 basesystem-11-21.fc41.noarch bash-5.2.32-1.fc41.x86_64 binutils-2.43.1-5.fc41.x86_64 build-reproducibility-srpm-macros-0.3.6-3.fc41.noarch bzip2-1.0.8-19.fc41.x86_64 bzip2-libs-1.0.8-19.fc41.x86_64 ca-certificates-2024.2.69_v8.0.401-1.0.fc41.noarch coreutils-9.5-11.fc41.x86_64 coreutils-common-9.5-11.fc41.x86_64 cpio-2.15-2.fc41.x86_64 cracklib-2.9.11-6.fc41.x86_64 crypto-policies-20250124-1.git4d262e7.fc41.noarch curl-8.9.1-3.fc41.x86_64 cyrus-sasl-lib-2.1.28-27.fc41.x86_64 debugedit-5.1-6.fc41.x86_64 diffutils-3.10-8.fc41.x86_64 dwz-0.15-8.fc41.x86_64 ed-1.20.2-2.fc41.x86_64 efi-srpm-macros-5-13.fc41.noarch elfutils-0.192-9.fc41.x86_64 elfutils-debuginfod-client-0.192-9.fc41.x86_64 elfutils-default-yama-scope-0.192-9.fc41.noarch elfutils-libelf-0.192-9.fc41.x86_64 elfutils-libs-0.192-9.fc41.x86_64 fedora-gpg-keys-41-1.noarch fedora-release-41-32.noarch fedora-release-common-41-32.noarch fedora-release-identity-basic-41-32.noarch fedora-repos-41-1.noarch file-5.45-7.fc41.x86_64 file-libs-5.45-7.fc41.x86_64 filesystem-3.18-23.fc41.x86_64 findutils-4.10.0-4.fc41.x86_64 fonts-srpm-macros-2.0.5-17.fc41.noarch forge-srpm-macros-0.4.0-1.fc41.noarch fpc-srpm-macros-1.3-13.fc41.noarch gawk-5.3.0-4.fc41.x86_64 gdb-minimal-16.2-2.fc41.x86_64 gdbm-1.23-7.fc41.x86_64 gdbm-libs-1.23-7.fc41.x86_64 ghc-srpm-macros-1.9.1-2.fc41.noarch glibc-2.40-24.fc41.x86_64 glibc-common-2.40-24.fc41.x86_64 glibc-gconv-extra-2.40-24.fc41.x86_64 glibc-minimal-langpack-2.40-24.fc41.x86_64 gmp-6.3.0-2.fc41.x86_64 gnat-srpm-macros-6-6.fc41.noarch go-srpm-macros-3.6.0-5.fc41.noarch gpg-pubkey-e99d6ad1-64d2612c grep-3.11-9.fc41.x86_64 gzip-1.13-2.fc41.x86_64 info-7.1.1-1.fc41.x86_64 jansson-2.13.1-10.fc41.x86_64 json-c-0.17-4.fc41.x86_64 kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.x86_64 krb5-libs-1.21.3-4.fc41.x86_64 libacl-2.3.2-2.fc41.x86_64 libarchive-3.7.4-4.fc41.x86_64 libattr-2.5.2-4.fc41.x86_64 libblkid-2.40.4-1.fc41.x86_64 libbrotli-1.1.0-5.fc41.x86_64 libcap-2.70-4.fc41.x86_64 libcap-ng-0.8.5-3.fc41.x86_64 libcom_err-1.47.1-6.fc41.x86_64 libcurl-8.9.1-3.fc41.x86_64 libeconf-0.6.2-3.fc41.x86_64 libevent-2.1.12-14.fc41.x86_64 libfdisk-2.40.4-1.fc41.x86_64 libffi-3.4.6-3.fc41.x86_64 libgcc-14.2.1-7.fc41.x86_64 libgomp-14.2.1-7.fc41.x86_64 libidn2-2.3.8-1.fc41.x86_64 libmount-2.40.4-1.fc41.x86_64 libnghttp2-1.62.1-2.fc41.x86_64 libnsl2-2.0.1-2.fc41.x86_64 libpkgconf-2.3.0-1.fc41.x86_64 libpsl-0.21.5-4.fc41.x86_64 libpwquality-1.4.5-11.fc41.x86_64 libselinux-3.7-5.fc41.x86_64 libsemanage-3.7-2.fc41.x86_64 libsepol-3.7-2.fc41.x86_64 libsmartcols-2.40.4-1.fc41.x86_64 libssh-0.10.6-8.fc41.x86_64 libssh-config-0.10.6-8.fc41.noarch libstdc++-14.2.1-7.fc41.x86_64 libtasn1-4.20.0-1.fc41.x86_64 libtirpc-1.3.6-1.rc3.fc41.x86_64 libtool-ltdl-2.4.7-12.fc41.x86_64 libunistring-1.1-8.fc41.x86_64 libutempter-1.2.1-15.fc41.x86_64 libuuid-2.40.4-1.fc41.x86_64 libverto-0.3.2-9.fc41.x86_64 libxcrypt-4.4.38-7.fc41.x86_64 libxml2-2.12.10-1.fc41.x86_64 libzstd-1.5.7-1.fc41.x86_64 lua-libs-5.4.7-3.fc41.x86_64 lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.x86_64 mpfr-4.2.1-5.fc41.x86_64 ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.x86_64 ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.9-1.fc41.x86_64 openssl-libs-3.2.4-1.fc41.x86_64 p11-kit-0.25.5-3.fc41.x86_64 p11-kit-trust-0.25.5-3.fc41.x86_64 package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.6.1-7.fc41.x86_64 pam-libs-1.6.1-7.fc41.x86_64 patch-2.7.6-25.fc41.x86_64 pcre2-10.44-1.fc41.1.x86_64 pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.3.0-1.fc41.x86_64 pkgconf-m4-2.3.0-1.fc41.noarch pkgconf-pkg-config-2.3.0-1.fc41.x86_64 popt-1.19-7.fc41.x86_64 publicsuffix-list-dafsa-20250116-1.fc41.noarch pyproject-srpm-macros-1.18.1-1.fc41.noarch python-srpm-macros-3.13-3.fc41.noarch qt5-srpm-macros-5.15.15-1.fc41.noarch qt6-srpm-macros-6.8.2-1.fc41.noarch readline-8.2-10.fc41.x86_64 redhat-rpm-config-294-1.fc41.noarch rpm-4.20.1-1.fc41.x86_64 rpm-build-4.20.1-1.fc41.x86_64 rpm-build-libs-4.20.1-1.fc41.x86_64 rpm-libs-4.20.1-1.fc41.x86_64 rpm-sequoia-1.7.0-5.fc41.x86_64 rust-srpm-macros-26.3-3.fc41.noarch sed-4.9-3.fc41.x86_64 setup-2.15.0-8.fc41.noarch shadow-utils-4.15.1-12.fc41.x86_64 sqlite-libs-3.46.1-2.fc41.x86_64 systemd-libs-256.12-1.fc41.x86_64 tar-1.35-4.fc41.x86_64 unzip-6.0-64.fc41.x86_64 util-linux-2.40.4-1.fc41.x86_64 util-linux-core-2.40.4-1.fc41.x86_64 which-2.21-42.fc41.x86_64 xxhash-libs-0.8.3-1.fc41.x86_64 xz-5.6.2-2.fc41.x86_64 xz-libs-5.6.2-2.fc41.x86_64 zig-srpm-macros-1-3.fc41.noarch zip-3.0-41.fc41.x86_64 zlib-ng-compat-2.2.3-2.fc41.x86_64 zstd-1.5.7-1.fc41.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1744675200 Wrote: /builddir/build/SRPMS/lem-2025.03.13-1.fc41.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-41-x86_64-1746154794.994888/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-ygcueltj/lem/lem.spec) Config(child) 0 minutes 18 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/lem-2025.03.13-1.fc41.src.rpm) Config(fedora-41-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-41-x86_64-bootstrap-1746154794.994888/root. INFO: reusing tmpfs at /var/lib/mock/fedora-41-x86_64-bootstrap-1746154794.994888/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-41-x86_64-1746154794.994888/root. INFO: calling preinit hooks INFO: enabled root cache Start: unpacking root cache Finish: unpacking root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.20.1-1.fc41.x86_64 rpm-sequoia-1.7.0-5.fc41.x86_64 dnf5-5.2.12.0-2.fc41.x86_64 dnf5-plugins-5.2.12.0-2.fc41.x86_64 Finish: chroot init Start: build phase for lem-2025.03.13-1.fc41.src.rpm Start: build setup for lem-2025.03.13-1.fc41.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1744675200 Wrote: /builddir/build/SRPMS/lem-2025.03.13-1.fc41.src.rpm Updating and loading repositories: updates 100% | 249.6 KiB/s | 31.2 KiB | 00m00s fedora 100% | 191.4 KiB/s | 31.0 KiB | 00m00s Copr repository 100% | 101.0 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: help2man noarch 1.49.3-6.fc41 fedora 415.6 KiB ocaml x86_64 5.2.1-1.fc41 updates 136.6 MiB ocaml-findlib x86_64 1.9.8-1.fc41 updates 3.4 MiB ocaml-num-devel x86_64 1.5-10.fc41 updates 949.2 KiB ocaml-ocamlbuild x86_64 0.15.0-3.fc41 updates 13.6 MiB ocaml-rpm-macros noarch 5.2.1-1.fc41 updates 19.8 KiB ocaml-zarith-devel x86_64 1.14-3.fc41 updates 890.8 KiB Installing dependencies: annobin-docs noarch 12.69-1.fc41 fedora 97.7 KiB annobin-plugin-gcc x86_64 12.69-1.fc41 fedora 985.0 KiB cpp x86_64 14.2.1-7.fc41 updates 34.5 MiB expat x86_64 2.7.1-1.fc41 updates 298.3 KiB gcc x86_64 14.2.1-7.fc41 updates 103.4 MiB gcc-plugin-annobin x86_64 14.2.1-7.fc41 updates 59.6 KiB glibc-devel x86_64 2.40-24.fc41 updates 2.3 MiB gmp-c++ x86_64 1:6.3.0-2.fc41 fedora 31.8 KiB gmp-devel x86_64 1:6.3.0-2.fc41 fedora 352.3 KiB groff-base x86_64 1.23.0-7.fc41 fedora 3.8 MiB kernel-headers x86_64 6.14.3-200.fc41 updates 6.5 MiB libb2 x86_64 0.98.1-12.fc41 fedora 42.2 KiB libmpc x86_64 1.3.1-6.fc41 fedora 164.7 KiB libxcrypt-devel x86_64 4.4.38-7.fc41 updates 30.8 KiB libzstd-devel x86_64 1.5.7-1.fc41 updates 208.0 KiB make x86_64 1:4.4.1-8.fc41 fedora 1.8 MiB mpdecimal x86_64 2.5.1-16.fc41 fedora 204.9 KiB ncurses x86_64 6.5-2.20240629.fc41 fedora 627.3 KiB ocaml-compiler-libs x86_64 5.2.1-1.fc41 updates 100.2 MiB ocaml-num x86_64 1.5-10.fc41 updates 513.5 KiB ocaml-runtime x86_64 5.2.1-1.fc41 updates 8.1 MiB ocaml-zarith x86_64 1.14-3.fc41 updates 379.4 KiB perl-AutoLoader noarch 5.74-515.fc41 updates 20.5 KiB perl-B x86_64 1.89-515.fc41 updates 498.0 KiB perl-Carp noarch 1.54-511.fc41 fedora 46.6 KiB perl-Class-Struct noarch 0.68-515.fc41 updates 25.4 KiB perl-Data-Dumper x86_64 2.189-512.fc41 fedora 111.7 KiB perl-Digest noarch 1.20-511.fc41 fedora 35.3 KiB perl-Digest-MD5 x86_64 2.59-5.fc41 fedora 59.8 KiB perl-DynaLoader x86_64 1.56-515.fc41 updates 32.1 KiB perl-Encode x86_64 4:3.21-511.fc41 fedora 4.7 MiB perl-Errno x86_64 1.38-515.fc41 updates 8.3 KiB perl-Exporter noarch 5.78-511.fc41 fedora 54.3 KiB perl-Fcntl x86_64 1.18-515.fc41 updates 49.0 KiB perl-File-Basename noarch 2.86-515.fc41 updates 14.0 KiB perl-File-Path noarch 2.18-511.fc41 fedora 63.5 KiB perl-File-Temp noarch 1:0.231.100-511.fc41 fedora 162.3 KiB perl-File-stat noarch 1.14-515.fc41 updates 12.5 KiB perl-FileHandle noarch 2.05-515.fc41 updates 9.3 KiB perl-Getopt-Long noarch 1:2.58-2.fc41 fedora 144.5 KiB perl-Getopt-Std noarch 1.14-515.fc41 updates 11.2 KiB perl-HTTP-Tiny noarch 0.090-1.fc41 updates 154.4 KiB perl-IO x86_64 1.55-515.fc41 updates 151.1 KiB perl-IO-Socket-IP noarch 0.43-1.fc41 updates 100.3 KiB perl-IO-Socket-SSL noarch 2.089-1.fc41 fedora 703.3 KiB perl-IPC-Open3 noarch 1.22-515.fc41 updates 22.5 KiB perl-MIME-Base32 noarch 1.303-21.fc41 fedora 30.7 KiB perl-MIME-Base64 x86_64 3.16-511.fc41 fedora 46.1 KiB perl-Net-SSLeay x86_64 1.94-7.fc41 fedora 1.3 MiB perl-POSIX x86_64 2.20-515.fc41 updates 235.1 KiB perl-PathTools x86_64 3.91-512.fc41 updates 184.1 KiB perl-Pod-Escapes noarch 1:1.07-511.fc41 fedora 24.9 KiB perl-Pod-Perldoc noarch 3.28.01-512.fc41 fedora 163.7 KiB perl-Pod-Simple noarch 1:3.45-511.fc41 fedora 560.9 KiB perl-Pod-Usage noarch 4:2.03-511.fc41 fedora 84.8 KiB perl-Scalar-List-Utils x86_64 5:1.68-1.fc41 updates 148.9 KiB perl-SelectSaver noarch 1.02-515.fc41 updates 2.2 KiB perl-Socket x86_64 4:2.038-511.fc41 fedora 124.0 KiB perl-Storable x86_64 1:3.32-511.fc41 fedora 232.4 KiB perl-Symbol noarch 1.09-515.fc41 updates 6.8 KiB perl-Term-ANSIColor noarch 5.01-512.fc41 fedora 97.5 KiB perl-Term-Cap noarch 1.18-511.fc41 fedora 29.3 KiB perl-Text-ParseWords noarch 3.31-511.fc41 fedora 13.6 KiB perl-Text-Tabs+Wrap noarch 2024.001-511.fc41 fedora 22.6 KiB perl-Time-Local noarch 2:1.350-511.fc41 fedora 69.0 KiB perl-URI noarch 5.30-1.fc41 fedora 256.9 KiB perl-base noarch 2.27-515.fc41 updates 12.5 KiB perl-constant noarch 1.33-512.fc41 fedora 26.2 KiB perl-if noarch 0.61.000-515.fc41 updates 5.8 KiB perl-interpreter x86_64 4:5.40.2-515.fc41 updates 122.4 KiB perl-libnet noarch 3.15-512.fc41 fedora 289.4 KiB perl-libs x86_64 4:5.40.2-515.fc41 updates 9.8 MiB perl-locale noarch 1.12-515.fc41 updates 6.5 KiB perl-mro x86_64 1.29-515.fc41 updates 45.6 KiB perl-overload noarch 1.37-515.fc41 updates 71.5 KiB perl-overloading noarch 0.02-515.fc41 updates 4.8 KiB perl-parent noarch 1:0.242-1.fc41 fedora 10.0 KiB perl-podlators noarch 1:6.0.2-2.fc41 fedora 317.5 KiB perl-vars noarch 1.05-515.fc41 updates 3.9 KiB python-pip-wheel noarch 24.2-1.fc41 fedora 1.2 MiB python3 x86_64 3.13.3-2.fc41 updates 32.8 KiB python3-libs x86_64 3.13.3-2.fc41 updates 40.4 MiB tzdata noarch 2025b-1.fc41 updates 1.6 MiB Transaction Summary: Installing: 90 packages Total size of inbound packages is 166 MiB. Need to download 166 MiB. After this operation, 485 MiB extra will be used (install 485 MiB, remove 0 B). [ 1/90] ocaml-findlib-0:1.9.8-1.fc41.x8 100% | 7.8 MiB/s | 1.0 MiB | 00m00s [ 2/90] ocaml-num-devel-0:1.5-10.fc41.x 100% | 3.9 MiB/s | 350.7 KiB | 00m00s [ 3/90] ocaml-ocamlbuild-0:0.15.0-3.fc4 100% | 28.9 MiB/s | 4.2 MiB | 00m00s [ 4/90] ocaml-rpm-macros-0:5.2.1-1.fc41 100% | 962.8 KiB/s | 14.4 KiB | 00m00s [ 5/90] ocaml-zarith-devel-0:1.14-3.fc4 100% | 14.4 MiB/s | 398.0 KiB | 00m00s [ 6/90] help2man-0:1.49.3-6.fc41.noarch 100% | 395.1 KiB/s | 227.2 KiB | 00m01s [ 7/90] perl-Text-ParseWords-0:3.31-511 100% | 251.1 KiB/s | 16.6 KiB | 00m00s [ 8/90] perl-Getopt-Long-1:2.58-2.fc41. 100% | 245.7 KiB/s | 63.9 KiB | 00m00s [ 9/90] perl-Text-Tabs+Wrap-0:2024.001- 100% | 326.1 KiB/s | 21.9 KiB | 00m00s [10/90] ocaml-num-0:1.5-10.fc41.x86_64 100% | 2.8 MiB/s | 239.0 KiB | 00m00s [11/90] ncurses-0:6.5-2.20240629.fc41.x 100% | 3.1 MiB/s | 423.8 KiB | 00m00s [12/90] ocaml-runtime-0:5.2.1-1.fc41.x8 100% | 18.9 MiB/s | 5.1 MiB | 00m00s [13/90] ocaml-zarith-0:1.14-3.fc41.x86_ 100% | 6.4 MiB/s | 157.2 KiB | 00m00s [14/90] perl-Exporter-0:5.78-511.fc41.n 100% | 490.7 KiB/s | 30.9 KiB | 00m00s [15/90] gmp-devel-1:6.3.0-2.fc41.x86_64 100% | 2.0 MiB/s | 174.4 KiB | 00m00s [16/90] perl-Pod-Usage-4:2.03-511.fc41. 100% | 635.0 KiB/s | 40.0 KiB | 00m00s [17/90] perl-constant-0:1.33-512.fc41.n 100% | 349.0 KiB/s | 23.0 KiB | 00m00s [18/90] ocaml-0:5.2.1-1.fc41.x86_64 100% | 28.6 MiB/s | 32.2 MiB | 00m01s [19/90] perl-Carp-0:1.54-511.fc41.noarc 100% | 458.6 KiB/s | 28.9 KiB | 00m00s [20/90] perl-Pod-Perldoc-0:3.28.01-512. 100% | 1.3 MiB/s | 86.1 KiB | 00m00s [21/90] gmp-c++-1:6.3.0-2.fc41.x86_64 100% | 224.5 KiB/s | 18.6 KiB | 00m00s [22/90] perl-podlators-1:6.0.2-2.fc41.n 100% | 1.0 MiB/s | 128.9 KiB | 00m00s [23/90] groff-base-0:1.23.0-7.fc41.x86_ 100% | 8.3 MiB/s | 1.1 MiB | 00m00s [24/90] perl-File-Temp-1:0.231.100-511. 100% | 938.4 KiB/s | 59.1 KiB | 00m00s [25/90] perl-Pod-Simple-1:3.45-511.fc41 100% | 3.2 MiB/s | 219.0 KiB | 00m00s [26/90] perl-parent-1:0.242-1.fc41.noar 100% | 238.1 KiB/s | 15.0 KiB | 00m00s [27/90] perl-Term-ANSIColor-0:5.01-512. 100% | 722.6 KiB/s | 47.7 KiB | 00m00s [28/90] perl-Term-Cap-0:1.18-511.fc41.n 100% | 350.3 KiB/s | 22.1 KiB | 00m00s [29/90] perl-File-Path-0:2.18-511.fc41. 100% | 534.2 KiB/s | 35.3 KiB | 00m00s [30/90] perl-File-Basename-0:2.86-515.f 100% | 1.0 MiB/s | 17.2 KiB | 00m00s [31/90] perl-POSIX-0:2.20-515.fc41.x86_ 100% | 4.1 MiB/s | 97.2 KiB | 00m00s [32/90] perl-Pod-Escapes-1:1.07-511.fc4 100% | 309.6 KiB/s | 19.8 KiB | 00m00s [33/90] perl-PathTools-0:3.91-512.fc41. 100% | 3.4 MiB/s | 87.3 KiB | 00m00s [34/90] perl-interpreter-4:5.40.2-515.f 100% | 2.4 MiB/s | 72.4 KiB | 00m00s [35/90] perl-Errno-0:1.38-515.fc41.x86_ 100% | 650.7 KiB/s | 15.0 KiB | 00m00s [36/90] perl-Encode-4:3.21-511.fc41.x86 100% | 15.5 MiB/s | 1.1 MiB | 00m00s [37/90] perl-libs-4:5.40.2-515.fc41.x86 100% | 17.3 MiB/s | 2.3 MiB | 00m00s [38/90] perl-MIME-Base64-0:3.16-511.fc4 100% | 453.7 KiB/s | 29.9 KiB | 00m00s [39/90] perl-vars-0:1.05-515.fc41.noarc 100% | 566.3 KiB/s | 13.0 KiB | 00m00s [40/90] perl-Storable-1:3.32-511.fc41.x 100% | 1.5 MiB/s | 98.4 KiB | 00m00s [41/90] perl-Fcntl-0:1.18-515.fc41.x86_ 100% | 1.3 MiB/s | 29.8 KiB | 00m00s [42/90] perl-IO-0:1.55-515.fc41.x86_64 100% | 3.2 MiB/s | 81.9 KiB | 00m00s [43/90] perl-Symbol-0:1.09-515.fc41.noa 100% | 646.6 KiB/s | 14.2 KiB | 00m00s [44/90] perl-Socket-4:2.038-511.fc41.x8 100% | 830.7 KiB/s | 54.8 KiB | 00m00s [45/90] perl-overload-0:1.37-515.fc41.n 100% | 2.3 MiB/s | 45.6 KiB | 00m00s [46/90] perl-if-0:0.61.000-515.fc41.noa 100% | 254.9 KiB/s | 14.0 KiB | 00m00s [47/90] perl-HTTP-Tiny-0:0.090-1.fc41.n 100% | 2.6 MiB/s | 56.5 KiB | 00m00s [48/90] perl-IO-Socket-SSL-0:2.089-1.fc 100% | 3.4 MiB/s | 231.2 KiB | 00m00s [49/90] perl-Time-Local-2:1.350-511.fc4 100% | 523.1 KiB/s | 34.5 KiB | 00m00s [50/90] perl-Net-SSLeay-0:1.94-7.fc41.x 100% | 2.9 MiB/s | 375.7 KiB | 00m00s [51/90] perl-URI-0:5.30-1.fc41.noarch 100% | 2.1 MiB/s | 140.8 KiB | 00m00s [52/90] perl-Data-Dumper-0:2.189-512.fc 100% | 894.3 KiB/s | 56.3 KiB | 00m00s [53/90] perl-MIME-Base32-0:1.303-21.fc4 100% | 310.2 KiB/s | 20.5 KiB | 00m00s [54/90] perl-libnet-0:3.15-512.fc41.noa 100% | 2.0 MiB/s | 128.5 KiB | 00m00s [55/90] perl-Digest-MD5-0:2.59-5.fc41.x 100% | 545.6 KiB/s | 36.0 KiB | 00m00s [56/90] perl-Digest-0:1.20-511.fc41.noa 100% | 395.3 KiB/s | 24.9 KiB | 00m00s [57/90] perl-IPC-Open3-0:1.22-515.fc41. 100% | 1.3 MiB/s | 21.9 KiB | 00m00s [58/90] perl-AutoLoader-0:5.74-515.fc41 100% | 1.0 MiB/s | 21.3 KiB | 00m00s [59/90] perl-IO-Socket-IP-0:0.43-1.fc41 100% | 2.0 MiB/s | 42.2 KiB | 00m00s [60/90] perl-base-0:2.27-515.fc41.noarc 100% | 901.8 KiB/s | 16.2 KiB | 00m00s [61/90] perl-Scalar-List-Utils-5:1.68-1 100% | 3.6 MiB/s | 74.2 KiB | 00m00s [62/90] perl-Getopt-Std-0:1.14-515.fc41 100% | 826.6 KiB/s | 15.7 KiB | 00m00s [63/90] ocaml-compiler-libs-0:5.2.1-1.f 100% | 40.3 MiB/s | 51.2 MiB | 00m01s [64/90] perl-mro-0:1.29-515.fc41.x86_64 100% | 576.2 KiB/s | 30.0 KiB | 00m00s [65/90] perl-B-0:1.89-515.fc41.x86_64 100% | 2.9 MiB/s | 176.2 KiB | 00m00s [66/90] perl-overloading-0:0.02-515.fc4 100% | 717.8 KiB/s | 12.9 KiB | 00m00s [67/90] perl-locale-0:1.12-515.fc41.noa 100% | 681.9 KiB/s | 13.6 KiB | 00m00s [68/90] perl-DynaLoader-0:1.56-515.fc41 100% | 1.1 MiB/s | 26.1 KiB | 00m00s [69/90] perl-File-stat-0:1.14-515.fc41. 100% | 1.2 MiB/s | 17.1 KiB | 00m00s [70/90] perl-Class-Struct-0:0.68-515.fc 100% | 2.4 MiB/s | 22.1 KiB | 00m00s [71/90] perl-SelectSaver-0:1.02-515.fc4 100% | 903.5 KiB/s | 11.7 KiB | 00m00s [72/90] python3-0:3.13.3-2.fc41.x86_64 100% | 1.5 MiB/s | 29.8 KiB | 00m00s [73/90] libb2-0:0.98.1-12.fc41.x86_64 100% | 389.0 KiB/s | 25.7 KiB | 00m00s [74/90] mpdecimal-0:2.5.1-16.fc41.x86_6 100% | 1.4 MiB/s | 89.0 KiB | 00m00s [75/90] python-pip-wheel-0:24.2-1.fc41. 100% | 17.7 MiB/s | 1.2 MiB | 00m00s [76/90] python3-libs-0:3.13.3-2.fc41.x8 100% | 34.6 MiB/s | 9.1 MiB | 00m00s [77/90] libmpc-0:1.3.1-6.fc41.x86_64 100% | 1.1 MiB/s | 71.1 KiB | 00m00s [78/90] make-1:4.4.1-8.fc41.x86_64 100% | 8.5 MiB/s | 586.1 KiB | 00m00s [79/90] libzstd-devel-0:1.5.7-1.fc41.x8 100% | 2.9 MiB/s | 53.1 KiB | 00m00s [80/90] glibc-devel-0:2.40-24.fc41.x86_ 100% | 13.9 MiB/s | 612.3 KiB | 00m00s [81/90] perl-FileHandle-0:2.05-515.fc41 100% | 738.8 KiB/s | 15.5 KiB | 00m00s [82/90] cpp-0:14.2.1-7.fc41.x86_64 100% | 31.2 MiB/s | 11.5 MiB | 00m00s [83/90] expat-0:2.7.1-1.fc41.x86_64 100% | 4.4 MiB/s | 116.0 KiB | 00m00s [84/90] tzdata-0:2025b-1.fc41.noarch 100% | 21.8 MiB/s | 713.9 KiB | 00m00s [85/90] libxcrypt-devel-0:4.4.38-7.fc41 100% | 1.6 MiB/s | 29.4 KiB | 00m00s [86/90] gcc-plugin-annobin-0:14.2.1-7.f 100% | 2.8 MiB/s | 58.0 KiB | 00m00s [87/90] kernel-headers-0:6.14.3-200.fc4 100% | 21.0 MiB/s | 1.7 MiB | 00m00s [88/90] annobin-plugin-gcc-0:12.69-1.fc 100% | 13.9 MiB/s | 971.0 KiB | 00m00s [89/90] annobin-docs-0:12.69-1.fc41.noa 100% | 1.4 MiB/s | 91.8 KiB | 00m00s [90/90] gcc-0:14.2.1-7.fc41.x86_64 100% | 38.1 MiB/s | 36.1 MiB | 00m01s -------------------------------------------------------------------------------- [90/90] Total 100% | 44.2 MiB/s | 166.1 MiB | 00m04s Running transaction [ 1/92] Verify package files 100% | 182.0 B/s | 90.0 B | 00m00s [ 2/92] Prepare transaction 100% | 1.7 KiB/s | 90.0 B | 00m00s [ 3/92] Installing ocaml-runtime-0:5.2. 100% | 404.7 MiB/s | 8.1 MiB | 00m00s [ 4/92] Installing libmpc-0:1.3.1-6.fc4 100% | 162.3 MiB/s | 166.2 KiB | 00m00s [ 5/92] Installing ncurses-0:6.5-2.2024 100% | 206.3 MiB/s | 633.9 KiB | 00m00s [ 6/92] Installing cpp-0:14.2.1-7.fc41. 100% | 349.0 MiB/s | 34.6 MiB | 00m00s [ 7/92] Installing annobin-docs-0:12.69 100% | 32.2 MiB/s | 98.8 KiB | 00m00s [ 8/92] Installing kernel-headers-0:6.1 100% | 196.8 MiB/s | 6.7 MiB | 00m00s [ 9/92] Installing libxcrypt-devel-0:4. 100% | 16.2 MiB/s | 33.1 KiB | 00m00s [10/92] Installing glibc-devel-0:2.40-2 100% | 136.7 MiB/s | 2.3 MiB | 00m00s [11/92] Installing tzdata-0:2025b-1.fc4 100% | 57.3 MiB/s | 1.9 MiB | 00m00s [12/92] Installing expat-0:2.7.1-1.fc41 100% | 293.4 MiB/s | 300.4 KiB | 00m00s [13/92] Installing libzstd-devel-0:1.5. 100% | 203.9 MiB/s | 208.8 KiB | 00m00s [14/92] Installing make-1:4.4.1-8.fc41. 100% | 257.2 MiB/s | 1.8 MiB | 00m00s [15/92] Installing gcc-0:14.2.1-7.fc41. 100% | 391.7 MiB/s | 103.4 MiB | 00m00s [16/92] Installing ocaml-0:5.2.1-1.fc41 100% | 440.9 MiB/s | 136.7 MiB | 00m00s [17/92] Installing ocaml-compiler-libs- 100% | 440.3 MiB/s | 100.4 MiB | 00m00s [18/92] Installing ocaml-zarith-0:1.14- 100% | 186.8 MiB/s | 382.6 KiB | 00m00s [19/92] Installing ocaml-num-0:1.5-10.f 100% | 252.5 MiB/s | 517.2 KiB | 00m00s [20/92] Installing python-pip-wheel-0:2 100% | 620.8 MiB/s | 1.2 MiB | 00m00s [21/92] Installing mpdecimal-0:2.5.1-16 100% | 201.2 MiB/s | 206.0 KiB | 00m00s [22/92] Installing libb2-0:0.98.1-12.fc 100% | 8.5 MiB/s | 43.3 KiB | 00m00s [23/92] Installing python3-libs-0:3.13. 100% | 313.9 MiB/s | 40.8 MiB | 00m00s [24/92] Installing python3-0:3.13.3-2.f 100% | 4.2 MiB/s | 34.6 KiB | 00m00s [25/92] Installing groff-base-0:1.23.0- 100% | 176.1 MiB/s | 3.9 MiB | 00m00s [26/92] Installing perl-Digest-0:1.20-5 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [27/92] Installing perl-Digest-MD5-0:2. 100% | 60.2 MiB/s | 61.7 KiB | 00m00s [28/92] Installing perl-B-0:1.89-515.fc 100% | 244.8 MiB/s | 501.4 KiB | 00m00s [29/92] Installing perl-FileHandle-0:2. 100% | 0.0 B/s | 9.8 KiB | 00m00s [30/92] Installing perl-MIME-Base32-0:1 100% | 0.0 B/s | 32.2 KiB | 00m00s [31/92] Installing perl-Data-Dumper-0:2 100% | 110.9 MiB/s | 113.6 KiB | 00m00s [32/92] Installing perl-libnet-0:3.15-5 100% | 143.9 MiB/s | 294.7 KiB | 00m00s [33/92] Installing perl-AutoLoader-0:5. 100% | 0.0 B/s | 20.9 KiB | 00m00s [34/92] Installing perl-IO-Socket-IP-0: 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [35/92] Installing perl-URI-0:5.30-1.fc 100% | 87.7 MiB/s | 269.5 KiB | 00m00s [36/92] Installing perl-Text-Tabs+Wrap- 100% | 0.0 B/s | 23.9 KiB | 00m00s [37/92] Installing perl-Pod-Escapes-1:1 100% | 0.0 B/s | 25.9 KiB | 00m00s [38/92] Installing perl-if-0:0.61.000-5 100% | 0.0 B/s | 6.2 KiB | 00m00s [39/92] Installing perl-Time-Local-2:1. 100% | 68.9 MiB/s | 70.6 KiB | 00m00s [40/92] Installing perl-Net-SSLeay-0:1. 100% | 272.5 MiB/s | 1.4 MiB | 00m00s [41/92] Installing perl-File-Path-0:2.1 100% | 0.0 B/s | 64.5 KiB | 00m00s [42/92] Installing perl-locale-0:1.12-5 100% | 0.0 B/s | 6.9 KiB | 00m00s [43/92] Installing perl-IO-Socket-SSL-0 100% | 345.4 MiB/s | 707.4 KiB | 00m00s [44/92] Installing perl-Term-ANSIColor- 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [45/92] Installing perl-Term-Cap-0:1.18 100% | 29.9 MiB/s | 30.6 KiB | 00m00s [46/92] Installing perl-Pod-Simple-1:3. 100% | 278.5 MiB/s | 570.5 KiB | 00m00s [47/92] Installing perl-POSIX-0:2.20-51 100% | 230.9 MiB/s | 236.4 KiB | 00m00s [48/92] Installing perl-File-Temp-1:0.2 100% | 160.2 MiB/s | 164.1 KiB | 00m00s [49/92] Installing perl-IPC-Open3-0:1.2 100% | 0.0 B/s | 23.3 KiB | 00m00s [50/92] Installing perl-Class-Struct-0: 100% | 0.0 B/s | 25.9 KiB | 00m00s [51/92] Installing perl-HTTP-Tiny-0:0.0 100% | 152.8 MiB/s | 156.4 KiB | 00m00s [52/92] Installing perl-Socket-4:2.038- 100% | 123.1 MiB/s | 126.1 KiB | 00m00s [53/92] Installing perl-Symbol-0:1.09-5 100% | 0.0 B/s | 7.2 KiB | 00m00s [54/92] Installing perl-SelectSaver-0:1 100% | 0.0 B/s | 2.6 KiB | 00m00s [55/92] Installing perl-File-stat-0:1.1 100% | 0.0 B/s | 13.1 KiB | 00m00s [56/92] Installing perl-podlators-1:6.0 100% | 313.9 MiB/s | 321.4 KiB | 00m00s [57/92] Installing perl-Pod-Perldoc-0:3 100% | 165.3 MiB/s | 169.3 KiB | 00m00s [58/92] Installing perl-Text-ParseWords 100% | 0.0 B/s | 14.6 KiB | 00m00s [59/92] Installing perl-Fcntl-0:1.18-51 100% | 0.0 B/s | 50.1 KiB | 00m00s [60/92] Installing perl-base-0:2.27-515 100% | 0.0 B/s | 12.9 KiB | 00m00s [61/92] Installing perl-mro-0:1.29-515. 100% | 0.0 B/s | 46.7 KiB | 00m00s [62/92] Installing perl-overloading-0:0 100% | 0.0 B/s | 5.5 KiB | 00m00s [63/92] Installing perl-IO-0:1.55-515.f 100% | 151.7 MiB/s | 155.4 KiB | 00m00s [64/92] Installing perl-Pod-Usage-4:2.0 100% | 84.3 MiB/s | 86.3 KiB | 00m00s [65/92] Installing perl-constant-0:1.33 100% | 0.0 B/s | 27.4 KiB | 00m00s [66/92] Installing perl-parent-1:0.242- 100% | 0.0 B/s | 10.7 KiB | 00m00s [67/92] Installing perl-File-Basename-0 100% | 0.0 B/s | 14.6 KiB | 00m00s [68/92] Installing perl-Errno-0:1.38-51 100% | 0.0 B/s | 8.7 KiB | 00m00s [69/92] Installing perl-MIME-Base64-0:3 100% | 47.2 MiB/s | 48.4 KiB | 00m00s [70/92] Installing perl-vars-0:1.05-515 100% | 0.0 B/s | 4.3 KiB | 00m00s [71/92] Installing perl-Scalar-List-Uti 100% | 149.0 MiB/s | 152.6 KiB | 00m00s [72/92] Installing perl-Getopt-Std-0:1. 100% | 0.0 B/s | 11.7 KiB | 00m00s [73/92] Installing perl-overload-0:1.37 100% | 0.0 B/s | 71.9 KiB | 00m00s [74/92] Installing perl-Storable-1:3.32 100% | 228.5 MiB/s | 234.0 KiB | 00m00s [75/92] Installing perl-Getopt-Long-1:2 100% | 143.8 MiB/s | 147.2 KiB | 00m00s [76/92] Installing perl-Exporter-0:5.78 100% | 0.0 B/s | 55.6 KiB | 00m00s [77/92] Installing perl-Carp-0:1.54-511 100% | 0.0 B/s | 47.7 KiB | 00m00s [78/92] Installing perl-PathTools-0:3.9 100% | 184.2 MiB/s | 188.6 KiB | 00m00s [79/92] Installing perl-DynaLoader-0:1. 100% | 0.0 B/s | 32.5 KiB | 00m00s [80/92] Installing perl-Encode-4:3.21-5 100% | 314.6 MiB/s | 4.7 MiB | 00m00s [81/92] Installing perl-libs-4:5.40.2-5 100% | 260.7 MiB/s | 9.9 MiB | 00m00s [82/92] Installing perl-interpreter-4:5 100% | 121.2 MiB/s | 124.1 KiB | 00m00s [83/92] Installing gmp-c++-1:6.3.0-2.fc 100% | 31.8 MiB/s | 32.6 KiB | 00m00s [84/92] Installing gmp-devel-1:6.3.0-2. 100% | 345.8 MiB/s | 354.1 KiB | 00m00s [85/92] Installing ocaml-zarith-devel-0 100% | 292.3 MiB/s | 897.9 KiB | 00m00s [86/92] Installing help2man-0:1.49.3-6. 100% | 138.5 MiB/s | 425.4 KiB | 00m00s [87/92] Installing ocaml-rpm-macros-0:5 100% | 0.0 B/s | 20.3 KiB | 00m00s [88/92] Installing ocaml-num-devel-0:1. 100% | 310.0 MiB/s | 952.4 KiB | 00m00s [89/92] Installing ocaml-findlib-0:1.9. 100% | 344.9 MiB/s | 3.4 MiB | 00m00s [90/92] Installing ocaml-ocamlbuild-0:0 100% | 377.8 MiB/s | 13.6 MiB | 00m00s [91/92] Installing gcc-plugin-annobin-0 100% | 4.6 MiB/s | 61.1 KiB | 00m00s [92/92] Installing annobin-plugin-gcc-0 100% | 5.3 MiB/s | 986.7 KiB | 00m00s Complete! Finish: build setup for lem-2025.03.13-1.fc41.src.rpm Start: rpmbuild lem-2025.03.13-1.fc41.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1744675200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.wMsLYt Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.uzNSnP + 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.5cZ3s6 + umask 022 + cd /builddir/build/BUILD/lem-2025.03.13-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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.bGASzR + 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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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_pervasives_extra.cmx 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_show_extra.cmx 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_relation.cmx 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_pervasives.cmx 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_maybe_extra.cmx 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_machine_word.cmx 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_function_extra.cmx 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_either.cmx 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_set.cmx 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_show.cmx 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_assert_extra.cmx 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_tuple.cmx 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_maybe.cmx 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_basic_classes.cmx 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/lem_bool.cmx 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/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/lem_debug.cmi 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/lem_string_extra.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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/lem_set_helpers.cmi 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.cmi 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.cmi 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.cmi 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/lem_function.cmi 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.cmi 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.cmi 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_pervasives_extra.cmx 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_show_extra.cmx 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_relation.cmx 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_pervasives.cmx 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_maybe_extra.cmx 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_machine_word.cmx 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_function_extra.cmx 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_either.cmx 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_set.cmx 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_show.cmx 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_assert_extra.cmx 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_tuple.cmx 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_maybe.cmx 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_basic_classes.cmx 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/lem_bool.cmx 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/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/lem_debug.cmi 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/lem_string_extra.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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.cmi 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/lem_set_helpers.cmi 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.cmi 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.cmi 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.cmi 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/lem_function.cmi 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.cmi 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.cmi 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 2 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-1.fc41.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.haKUhR + 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.j6581o + 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-1.fc41 lem(x86-64) = 2025.03.13-1.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) rtld(GNU_HASH) Processing files: lem-devel-2025.03.13-1.fc41.x86_64 Provides: lem-devel = 2025.03.13-1.fc41 lem-devel(x86-64) = 2025.03.13-1.fc41 ocaml(Big_int_impl) = 001b1d6c625ad0cedf9a29435ae4f28f ocaml(Big_int_impl) = cc20b95c33d2eacc9644d55a0c7501af ocaml(Bit) = 4476b3f3467d5c0d503d574b723976a4 ocaml(Either) = a8973a4c967785edf38772a31f6f50df ocaml(Lem) = 6c24e3209ed5c8a5ec5bf999a90455d4 ocaml(Lem) = 6d284e58a1e8598594aeb413dbd3fed6 ocaml(Lem_assert_extra) = d8632867c01b91449d7c349fbc5fc584 ocaml(Lem_basic_classes) = f7780aab2d3f9041c87b59fe2d8992a9 ocaml(Lem_bool) = ec988630e7adaa34c42cbd6d8100a121 ocaml(Lem_debug) = fde2a4d88845b1e77378cc6868f9ebca ocaml(Lem_either) = c1872ab7a26fb44436bfd7aa0cdfda5d ocaml(Lem_function) = 67987479503ac9daf8e1d85a8e1463f2 ocaml(Lem_function_extra) = 0fea1ac35984eec156f6664f79d3d881 ocaml(Lem_list) = a241e29ab47854c9dbcc3fbbfd0b01f3 ocaml(Lem_list_extra) = 2d19fef369cdf05b76be55782837ba97 ocaml(Lem_machine_word) = 2110783f8133259e4ae9130f2ae9dd27 ocaml(Lem_machine_word) = 7bfe79784f31e9099f9767ec147832ec ocaml(Lem_map) = c4ec16774ed3612fa23d315c1bc81f9c ocaml(Lem_map_extra) = 83489c93025b6376f69c62676128ce02 ocaml(Lem_maybe) = 8c33b667df01021b184b6b70ffcfb3c9 ocaml(Lem_maybe_extra) = b639e0d32efa11eb68014cfb5d327b52 ocaml(Lem_num) = 6eec55d1fc28578f62c9c1e7b3bd62dd ocaml(Lem_num) = 8b223716bf18cf1cd81b734cbcae198c ocaml(Lem_num_extra) = 9bb6532ae553d1fe03a8f3a3f65eebdb ocaml(Lem_num_extra) = bedb40a80bedb43f6b9855c3420ced59 ocaml(Lem_pervasives) = 08392f9b19935d12a1509f6a378962fc ocaml(Lem_pervasives) = dd4582713aa20dbe762c00ca493e9bf8 ocaml(Lem_pervasives_extra) = 200df79375dee673dfe3ad26c2406b35 ocaml(Lem_pervasives_extra) = f09b035139ee4216b81b201cc993190c ocaml(Lem_relation) = da0f88cd3974434b852bbb14e13eaf8b ocaml(Lem_set) = 56c6c2e65fa8fcf16645ff6045c14c9e ocaml(Lem_set_extra) = c1806137ebdaeb64620ddaaa68c7d757 ocaml(Lem_set_helpers) = 8d6ae24aa39018b3e854d304c25ca5e0 ocaml(Lem_show) = af56a6e15f7f61227d7006f72761ff90 ocaml(Lem_show_extra) = c498e0e5703a17bd7c8db47fb18c06e7 ocaml(Lem_sorting) = c039106a26b11d24b6dbe54dcf226b05 ocaml(Lem_string) = bc9d30b55118d8dfb29dbd45c7590108 ocaml(Lem_string_extra) = e4b2d6d9478180eef93c3d6d098ff11a ocaml(Lem_string_extra) = ec80655488871fe1d1df109c4e608689 ocaml(Lem_tuple) = bd2b655d436effce6335b67a775d0d79 ocaml(Lem_word) = 3f36798bc65282202917398ceed290ae ocaml(Lem_word) = 6ece7aa26d79a54b20eaf6cdbcd6b434 ocaml(Nat_big_num) = aea45479e152d4ba73fd628880ff07f9 ocaml(Nat_big_num) = d7b68615ba55cc9378c8a7feb4c5c8b9 ocaml(Nat_num) = d9834b60c3fcf1efad7decb5b36b2465 ocaml(Pmap) = 528df05c6bba4557be068ef1f3a85554 ocaml(Pset) = 74a47599d4bba6d38ba59007c47f12c0 ocaml(Rational) = 39c3c2ccd04ff836e59b1e3ca0b62746 ocaml(Rational) = 4286514695c0435e351eb2692e9ffb0e ocaml(Rational_impl) = 61d32f2023cfd6237562d9675500012d ocaml(Rational_impl) = c8c71f3da71e4fecd2941d6733528d04 ocaml(Vector) = 38ff753a397dc6f893ff796e7e94881a ocaml(Xstring) = eaad583eec898539e921afd85fa181de ocamlx(Big_int_impl) = 774b152c762f601cb533b46bc2fba213 ocamlx(Big_int_impl) = f7d148aedf7757a8f3e140d8caa69ecb ocamlx(Bit) = 26c4b257cb09c4b370bb24449e1c4350 ocamlx(Either) = 95aae1b78e43eaec7b2eefc7f120e8ad ocamlx(Lem) = 171b5c6cd1a15e7a216a9cccc97b36bb ocamlx(Lem) = 9e4033eaca9be64a8ecb4bdce913cd2f ocamlx(Lem_assert_extra) = 829c603ee356afd884e6f2dec548039e ocamlx(Lem_basic_classes) = 4f39e339c5355405f8d0105d24869713 ocamlx(Lem_basic_classes) = b7b8e9d8da0925d59f6abfeb67278b1f ocamlx(Lem_bool) = d5b9222163a11e5ddd972db8f6a1d696 ocamlx(Lem_debug) = f29e5a0ff5e755139b3b0ec509e69069 ocamlx(Lem_either) = 62ac6392234f7b4f116d0f853314a14f ocamlx(Lem_either) = 9c5369e204403dde1674eecd9d878e43 ocamlx(Lem_function) = 91550ef08ccdf6796bea85ec9442f93c ocamlx(Lem_function) = a1d1ae341e17ee00cf8f64837db174af ocamlx(Lem_function_extra) = 42bb984530deaa2967f96ddc1f6bbb1f ocamlx(Lem_function_extra) = 749c3a760bec7eebc01563123071ba70 ocamlx(Lem_list) = aba864b4785081c942ad69ca1578eaa3 ocamlx(Lem_list) = d85d2cb7f505a2826c34be059d1de5a8 ocamlx(Lem_list_extra) = 8c58a28228c126120ad778973b0dee5b ocamlx(Lem_list_extra) = 93d5f8ac2e340bafb23a2d8b9464d015 ocamlx(Lem_machine_word) = 474c8a4c7cbca7eed0a59a5f53bf9b5f ocamlx(Lem_machine_word) = 7d2feb8360e228adda48b4e8fcd8b53c ocamlx(Lem_map) = 4434be88aa4b4f069c820a8f98519edf ocamlx(Lem_map) = a80c727875977bb815f63c3e77914e53 ocamlx(Lem_map_extra) = d393455703c638e04acad309079dbfbc ocamlx(Lem_map_extra) = fb708b69b3a48f973d597b78a5fbdd2c ocamlx(Lem_maybe) = 3152d26ff5e0e92d4838f59bc57cb7f5 ocamlx(Lem_maybe) = 70044b68cef17f6ed9835c5315beb98e ocamlx(Lem_maybe_extra) = 47f731d40e304669ce47ce0802329ca1 ocamlx(Lem_maybe_extra) = 9e8312f6110257cb696328c8ae971b5c ocamlx(Lem_num) = de35f597dead91d0537026e5f05ba213 ocamlx(Lem_num) = f438dfd005c48faec4726ea0834da3d0 ocamlx(Lem_num_extra) = 9e6af67fd930a36badd274d435229347 ocamlx(Lem_num_extra) = b6212af1b6f647cf6633cc833100130a ocamlx(Lem_pervasives) = 00eec0428a35434997aafc027e895d14 ocamlx(Lem_pervasives) = 97236568086b1a1555e8a5409a804c48 ocamlx(Lem_pervasives_extra) = 99cab368b68ae9a4a5d88effa30c4283 ocamlx(Lem_pervasives_extra) = b77161ba3078cad61f450805e21c607a ocamlx(Lem_relation) = 257323a145bf39542611adc2555da45c ocamlx(Lem_relation) = b86eac77914c9ea7e77f882a52f27920 ocamlx(Lem_set) = 063491a09fb1100a561181b09a59f877 ocamlx(Lem_set) = b8ab8d3fdb56e5da49ddc8dd07d1fbbc ocamlx(Lem_set_extra) = b5263c3b80d2f55b27140df491059236 ocamlx(Lem_set_extra) = be8ff6b05d86b9e93f58e1700da562e3 ocamlx(Lem_set_helpers) = 565b27c81df9383367e76daa24b3ca8b ocamlx(Lem_set_helpers) = d4e40bae4c53ee9b1139af479160ccb5 ocamlx(Lem_show) = 27500458ab93a855780f33dccd93ce98 ocamlx(Lem_show) = 48cc715eec3cbd1d44864bec527886ee ocamlx(Lem_show_extra) = 23dc324040f414866b4c0572f19611ee ocamlx(Lem_show_extra) = 887a1501bb9bc49b0d3857b6b19e8c6d ocamlx(Lem_sorting) = 4493cbd5386f8bdabd933a85c1ea0569 ocamlx(Lem_sorting) = f77db8367d1c3f68f5af4203a0a4b7d6 ocamlx(Lem_string) = 5d60158ee532b31d06121f8777276823 ocamlx(Lem_string) = c94ffb3326be6dffc99c2f471185bcf2 ocamlx(Lem_string_extra) = 0e6ff4da587771e68be915860b2a86a2 ocamlx(Lem_string_extra) = 9c37fab3cd2b00c91171521e7023ca45 ocamlx(Lem_tuple) = 09aebeeecbefaa8d6e0969f131747129 ocamlx(Lem_tuple) = 9d0fdab1d07049137f53c2806cb103fd ocamlx(Lem_word) = 41483ef9286f8a82ae9a6e83aaca0dbc ocamlx(Lem_word) = a1880c405e7b0c98cdd9ff5e7ebd5a51 ocamlx(Nat_big_num) = 75306422397ed27664e90cb17f78d582 ocamlx(Nat_big_num) = b9d017b9b6706c000e0bb3e8921dada4 ocamlx(Nat_num) = 10200e8b4bad5b95353e06f345318a1e ocamlx(Pmap) = aa84f183f2e5d4d2625132f6d9c79df4 ocamlx(Pset) = 849c512cd6e6f8a460b21260b08748c0 ocamlx(Rational) = a27098e38e8c0fdbc064072f74e89603 ocamlx(Rational) = c2fa2057f7d815bfc7c75060b352409e ocamlx(Rational_impl) = a01b44a3a8d5d43f16a72a3d80993da1 ocamlx(Rational_impl) = acf9c345a59ddde660f10628809062b7 ocamlx(Vector) = ca82117956ad30fcf25665184b49f8cc ocamlx(Xstring) = 52737801f992a4b0debf18dc8089dc8a Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(Big_int_Z) = 312ffaa81870b7daca9308902c34a77d ocaml(Big_int_impl) = 001b1d6c625ad0cedf9a29435ae4f28f ocaml(Big_int_impl) = cc20b95c33d2eacc9644d55a0c7501af ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Either) = a8973a4c967785edf38772a31f6f50df ocaml(Lem) = 6c24e3209ed5c8a5ec5bf999a90455d4 ocaml(Lem) = 6d284e58a1e8598594aeb413dbd3fed6 ocaml(Lem_assert_extra) = d8632867c01b91449d7c349fbc5fc584 ocaml(Lem_basic_classes) = f7780aab2d3f9041c87b59fe2d8992a9 ocaml(Lem_bool) = ec988630e7adaa34c42cbd6d8100a121 ocaml(Lem_either) = c1872ab7a26fb44436bfd7aa0cdfda5d ocaml(Lem_function) = 67987479503ac9daf8e1d85a8e1463f2 ocaml(Lem_function_extra) = 0fea1ac35984eec156f6664f79d3d881 ocaml(Lem_list) = a241e29ab47854c9dbcc3fbbfd0b01f3 ocaml(Lem_list_extra) = 2d19fef369cdf05b76be55782837ba97 ocaml(Lem_machine_word) = 2110783f8133259e4ae9130f2ae9dd27 ocaml(Lem_machine_word) = 7bfe79784f31e9099f9767ec147832ec ocaml(Lem_map) = c4ec16774ed3612fa23d315c1bc81f9c ocaml(Lem_map_extra) = 83489c93025b6376f69c62676128ce02 ocaml(Lem_maybe) = 8c33b667df01021b184b6b70ffcfb3c9 ocaml(Lem_maybe_extra) = b639e0d32efa11eb68014cfb5d327b52 ocaml(Lem_num) = 6eec55d1fc28578f62c9c1e7b3bd62dd ocaml(Lem_num) = 8b223716bf18cf1cd81b734cbcae198c ocaml(Lem_num_extra) = 9bb6532ae553d1fe03a8f3a3f65eebdb ocaml(Lem_num_extra) = bedb40a80bedb43f6b9855c3420ced59 ocaml(Lem_pervasives) = 08392f9b19935d12a1509f6a378962fc ocaml(Lem_pervasives) = dd4582713aa20dbe762c00ca493e9bf8 ocaml(Lem_relation) = da0f88cd3974434b852bbb14e13eaf8b ocaml(Lem_set) = 56c6c2e65fa8fcf16645ff6045c14c9e ocaml(Lem_set_extra) = c1806137ebdaeb64620ddaaa68c7d757 ocaml(Lem_set_helpers) = 8d6ae24aa39018b3e854d304c25ca5e0 ocaml(Lem_show) = af56a6e15f7f61227d7006f72761ff90 ocaml(Lem_show_extra) = c498e0e5703a17bd7c8db47fb18c06e7 ocaml(Lem_sorting) = c039106a26b11d24b6dbe54dcf226b05 ocaml(Lem_string) = bc9d30b55118d8dfb29dbd45c7590108 ocaml(Lem_string_extra) = e4b2d6d9478180eef93c3d6d098ff11a ocaml(Lem_string_extra) = ec80655488871fe1d1df109c4e608689 ocaml(Lem_tuple) = bd2b655d436effce6335b67a775d0d79 ocaml(Lem_word) = 3f36798bc65282202917398ceed290ae ocaml(Lem_word) = 6ece7aa26d79a54b20eaf6cdbcd6b434 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Nat_big_num) = aea45479e152d4ba73fd628880ff07f9 ocaml(Nat_big_num) = d7b68615ba55cc9378c8a7feb4c5c8b9 ocaml(Nat_num) = d9834b60c3fcf1efad7decb5b36b2465 ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Pmap) = 528df05c6bba4557be068ef1f3a85554 ocaml(Pset) = 74a47599d4bba6d38ba59007c47f12c0 ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Rational) = 39c3c2ccd04ff836e59b1e3ca0b62746 ocaml(Rational) = 4286514695c0435e351eb2692e9ffb0e ocaml(Rational_impl) = 61d32f2023cfd6237562d9675500012d ocaml(Rational_impl) = c8c71f3da71e4fecd2941d6733528d04 ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Xstring) = eaad583eec898539e921afd85fa181de ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 ocamlx(Big_int) = a8aec4d991713d8a01999b6cec4ea6d6 ocamlx(Big_int_Z) = 6faabe66187f86b0460c9c792313af20 ocamlx(Big_int_impl) = 774b152c762f601cb533b46bc2fba213 ocamlx(Big_int_impl) = f7d148aedf7757a8f3e140d8caa69ecb ocamlx(Either) = 95aae1b78e43eaec7b2eefc7f120e8ad ocamlx(Lem) = 171b5c6cd1a15e7a216a9cccc97b36bb ocamlx(Lem) = 9e4033eaca9be64a8ecb4bdce913cd2f ocamlx(Lem_assert_extra) = 829c603ee356afd884e6f2dec548039e ocamlx(Lem_basic_classes) = 4f39e339c5355405f8d0105d24869713 ocamlx(Lem_basic_classes) = b7b8e9d8da0925d59f6abfeb67278b1f ocamlx(Lem_bool) = d5b9222163a11e5ddd972db8f6a1d696 ocamlx(Lem_either) = 62ac6392234f7b4f116d0f853314a14f ocamlx(Lem_either) = 9c5369e204403dde1674eecd9d878e43 ocamlx(Lem_function) = 91550ef08ccdf6796bea85ec9442f93c ocamlx(Lem_function) = a1d1ae341e17ee00cf8f64837db174af ocamlx(Lem_function_extra) = 42bb984530deaa2967f96ddc1f6bbb1f ocamlx(Lem_function_extra) = 749c3a760bec7eebc01563123071ba70 ocamlx(Lem_list) = aba864b4785081c942ad69ca1578eaa3 ocamlx(Lem_list) = d85d2cb7f505a2826c34be059d1de5a8 ocamlx(Lem_list_extra) = 8c58a28228c126120ad778973b0dee5b ocamlx(Lem_list_extra) = 93d5f8ac2e340bafb23a2d8b9464d015 ocamlx(Lem_machine_word) = 474c8a4c7cbca7eed0a59a5f53bf9b5f ocamlx(Lem_machine_word) = 7d2feb8360e228adda48b4e8fcd8b53c ocamlx(Lem_map) = 4434be88aa4b4f069c820a8f98519edf ocamlx(Lem_map) = a80c727875977bb815f63c3e77914e53 ocamlx(Lem_map_extra) = d393455703c638e04acad309079dbfbc ocamlx(Lem_map_extra) = fb708b69b3a48f973d597b78a5fbdd2c ocamlx(Lem_maybe) = 3152d26ff5e0e92d4838f59bc57cb7f5 ocamlx(Lem_maybe) = 70044b68cef17f6ed9835c5315beb98e ocamlx(Lem_maybe_extra) = 47f731d40e304669ce47ce0802329ca1 ocamlx(Lem_maybe_extra) = 9e8312f6110257cb696328c8ae971b5c ocamlx(Lem_num) = de35f597dead91d0537026e5f05ba213 ocamlx(Lem_num) = f438dfd005c48faec4726ea0834da3d0 ocamlx(Lem_num_extra) = 9e6af67fd930a36badd274d435229347 ocamlx(Lem_num_extra) = b6212af1b6f647cf6633cc833100130a ocamlx(Lem_pervasives) = 00eec0428a35434997aafc027e895d14 ocamlx(Lem_pervasives) = 97236568086b1a1555e8a5409a804c48 ocamlx(Lem_relation) = 257323a145bf39542611adc2555da45c ocamlx(Lem_relation) = b86eac77914c9ea7e77f882a52f27920 ocamlx(Lem_set) = 063491a09fb1100a561181b09a59f877 ocamlx(Lem_set) = b8ab8d3fdb56e5da49ddc8dd07d1fbbc ocamlx(Lem_set_extra) = b5263c3b80d2f55b27140df491059236 ocamlx(Lem_set_extra) = be8ff6b05d86b9e93f58e1700da562e3 ocamlx(Lem_set_helpers) = 565b27c81df9383367e76daa24b3ca8b ocamlx(Lem_set_helpers) = d4e40bae4c53ee9b1139af479160ccb5 ocamlx(Lem_show) = 27500458ab93a855780f33dccd93ce98 ocamlx(Lem_show) = 48cc715eec3cbd1d44864bec527886ee ocamlx(Lem_show_extra) = 23dc324040f414866b4c0572f19611ee ocamlx(Lem_show_extra) = 887a1501bb9bc49b0d3857b6b19e8c6d ocamlx(Lem_string) = 5d60158ee532b31d06121f8777276823 ocamlx(Lem_string) = c94ffb3326be6dffc99c2f471185bcf2 ocamlx(Lem_string_extra) = 0e6ff4da587771e68be915860b2a86a2 ocamlx(Lem_string_extra) = 9c37fab3cd2b00c91171521e7023ca45 ocamlx(Lem_tuple) = 09aebeeecbefaa8d6e0969f131747129 ocamlx(Lem_tuple) = 9d0fdab1d07049137f53c2806cb103fd ocamlx(Lem_word) = 41483ef9286f8a82ae9a6e83aaca0dbc ocamlx(Lem_word) = a1880c405e7b0c98cdd9ff5e7ebd5a51 ocamlx(Nat) = 8bbbf788ad0d57c8ed1d81c9881aaf5f ocamlx(Nat_big_num) = 75306422397ed27664e90cb17f78d582 ocamlx(Nat_big_num) = b9d017b9b6706c000e0bb3e8921dada4 ocamlx(Nat_num) = 10200e8b4bad5b95353e06f345318a1e ocamlx(Num) = 47a8487b24b1214757e9a1e6274fd63d ocamlx(Pmap) = aa84f183f2e5d4d2625132f6d9c79df4 ocamlx(Pset) = 849c512cd6e6f8a460b21260b08748c0 ocamlx(Q) = 30d0b84e6b4b3a45a3a9cfa837853c26 ocamlx(Ratio) = 26fbd0e36f851427334d7faa0ace2a04 ocamlx(Rational) = a27098e38e8c0fdbc064072f74e89603 ocamlx(Rational) = c2fa2057f7d815bfc7c75060b352409e ocamlx(Rational_impl) = a01b44a3a8d5d43f16a72a3d80993da1 ocamlx(Rational_impl) = acf9c345a59ddde660f10628809062b7 ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Array) = b7d9da309a351bccecadde797717c151 ocamlx(Stdlib__Bytes) = ab72faec4fd967c32f022465e0a18c69 ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757 ocamlx(Stdlib__Format) = 3135be609e5accfbf0fbc0a026aa6c77 ocamlx(Stdlib__Hashtbl) = 71cad0badc221c796d85471cf48d3eec ocamlx(Stdlib__Int32) = 83aa370b0aaf44fe3d67a0e43fd236b0 ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__String) = 004d7d68dd714c3e4be7d6067fc1f7a3 ocamlx(Z) = 7bb34a38944155ed6cbd58b20b8bc6fe ocamlx(Zarith_version) = 71333a97091668efb47ff693efd9876b 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-1.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/lem-2025.03.13-1.fc41.x86_64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.iVU4aD + umask 022 + cd /builddir/build/BUILD/lem-2025.03.13-build + test -d /builddir/build/BUILD/lem-2025.03.13-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/lem-2025.03.13-build + rm -rf /builddir/build/BUILD/lem-2025.03.13-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild lem-2025.03.13-1.fc41.src.rpm Finish: build phase for lem-2025.03.13-1.fc41.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-41-x86_64-1746154794.994888/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names INFO: Done(/var/lib/copr-rpmbuild/results/lem-2025.03.13-1.fc41.src.rpm) Config(child) 0 minutes 48 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running FedoraReview tool Running: fedora-review --no-colors --prebuilt --rpm-spec --name lem --mock-config /var/lib/copr-rpmbuild/results/configs/child.cfg cmd: ['fedora-review', '--no-colors', '--prebuilt', '--rpm-spec', '--name', 'lem', '--mock-config', '/var/lib/copr-rpmbuild/results/configs/child.cfg'] cwd: /var/lib/copr-rpmbuild/results rc: 0 stdout: Cache directory "/var/lib/copr-rpmbuild/results/cache/libdnf5" does not exist. Nothing to clean. Review template in: /var/lib/copr-rpmbuild/results/lem/review.txt fedora-review is automated tool, but *YOU* are responsible for manually reviewing the results and finishing the review. Do not just copy-paste the results without understanding them. stderr: INFO: Processing local files: lem INFO: Getting .spec and .srpm Urls from : Local files in /var/lib/copr-rpmbuild/results INFO: --> SRPM url: file:///var/lib/copr-rpmbuild/results/lem-2025.03.13-1.fc41.src.rpm INFO: Using review directory: /var/lib/copr-rpmbuild/results/lem INFO: Downloading (Source0): https://github.com/rems-project/lem/archive/2025-03-13/lem-2025-03-13.tar.gz INFO: Running checks and generating report INFO: Installing built package(s) INFO: Reading configuration from /etc/mock/site-defaults.cfg INFO: Reading configuration from /etc/mock/chroot-aliases.cfg INFO: Reading configuration from /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: WARNING: Probably non-rawhide buildroot used. Rawhide should be used for most package reviews INFO: Active plugins: C/C++, Shell-api, Generic Updating and loading repositories: Repositories loaded. Updating and loading repositories: Repositories loaded. Updating and loading repositories: Repositories loaded. INFO: ExclusiveArch dependency checking disabled, enable with EXARCH flag Cache directory "/var/lib/copr-rpmbuild/results/cache/libdnf5" does not exist. Nothing to clean. Review template in: /var/lib/copr-rpmbuild/results/lem/review.txt fedora-review is automated tool, but *YOU* are responsible for manually reviewing the results and finishing the review. Do not just copy-paste the results without understanding them. Moving the results into `fedora-review' directory. Review template in: /var/lib/copr-rpmbuild/results/fedora-review/review.txt FedoraReview finished Running RPMResults tool Package info: { "packages": [ { "name": "lem-devel", "epoch": null, "version": "2025.03.13", "release": "1.fc41", "arch": "x86_64" }, { "name": "lem", "epoch": null, "version": "2025.03.13", "release": "1.fc41", "arch": "src" }, { "name": "lem", "epoch": null, "version": "2025.03.13", "release": "1.fc41", "arch": "x86_64" } ] } RPMResults finished