Warning: Permanently added '54.86.27.134' (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-42-x86_64 --chroot fedora-42-x86_64 Version: 1.3 PID: 9162 Logging PID: 9163 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 8988511, 'buildroot_pkgs': [], 'chroot': 'fedora-42-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-42-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-42-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-f0unhg28/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-f0unhg28/lem', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-f0unhg28/lem'... Running: git checkout b5be6065af00e764815af3abc8d863eb61781389 -- cmd: ['git', 'checkout', 'b5be6065af00e764815af3abc8d863eb61781389', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-f0unhg28/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-f0unhg28/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 154M 0 --:--:-- --:--:-- --:--:-- 155M 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-f0unhg28/lem/lem.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-f0unhg28/lem --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1746154794.966707 -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-f0unhg28/lem/lem.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-f0unhg28/lem --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1746154794.966707 -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-f0unhg28/lem/lem.spec) Config(fedora-42-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-42-x86_64-bootstrap-1746154794.966707/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:42 INFO: Pulling image: registry.fedoraproject.org/fedora:42 INFO: Tagging container image as mock-bootstrap-e2a4f79a-c32a-41e7-9c52-5b119983b70d INFO: Checking that cfed4fa9ec37ce210e49523f056187de2628a16febc3d0c155af2c987fc10c4c image matches host's architecture INFO: Copy content of container cfed4fa9ec37ce210e49523f056187de2628a16febc3d0c155af2c987fc10c4c to /var/lib/mock/fedora-42-x86_64-bootstrap-1746154794.966707/root INFO: mounting cfed4fa9ec37ce210e49523f056187de2628a16febc3d0c155af2c987fc10c4c with podman image mount INFO: image cfed4fa9ec37ce210e49523f056187de2628a16febc3d0c155af2c987fc10c4c as /var/lib/containers/storage/overlay/f32963d7e7976bb228418d7df42a1edf158aa81278dc31be4909b5cbb15d6cbd/merged INFO: umounting image cfed4fa9ec37ce210e49523f056187de2628a16febc3d0c155af2c987fc10c4c (/var/lib/containers/storage/overlay/f32963d7e7976bb228418d7df42a1edf158aa81278dc31be4909b5cbb15d6cbd/merged) with podman image umount INFO: Removing image mock-bootstrap-e2a4f79a-c32a-41e7-9c52-5b119983b70d 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-42-x86_64-1746154794.966707/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.fc42.x86_64 rpm-sequoia-1.7.0-5.fc42.x86_64 dnf5-5.2.13.1-1.fc42.x86_64 dnf5-plugins-5.2.13.1-1.fc42.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: updates 100% | 14.0 MiB/s | 5.4 MiB | 00m00s fedora 100% | 47.1 MiB/s | 35.4 MiB | 00m01s Copr repository 100% | 54.9 KiB/s | 7.1 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 5.2.37-1.fc42 fedora 8.2 MiB bzip2 x86_64 1.0.8-20.fc42 fedora 99.3 KiB coreutils x86_64 9.6-2.fc42 fedora 5.5 MiB cpio x86_64 2.15-4.fc42 fedora 1.1 MiB diffutils x86_64 3.12-1.fc42 updates 1.6 MiB fedora-release-common noarch 42-26 updates 20.2 KiB findutils x86_64 1:4.10.0-5.fc42 fedora 1.9 MiB gawk x86_64 5.3.1-1.fc42 fedora 1.7 MiB glibc-minimal-langpack x86_64 2.41-5.fc42 updates 0.0 B grep x86_64 3.11-10.fc42 fedora 1.0 MiB gzip x86_64 1.13-3.fc42 fedora 392.9 KiB info x86_64 7.2-3.fc42 fedora 357.9 KiB patch x86_64 2.8-1.fc42 updates 222.8 KiB redhat-rpm-config noarch 342-4.fc42 updates 185.5 KiB rpm-build x86_64 4.20.1-1.fc42 fedora 168.7 KiB sed x86_64 4.9-4.fc42 fedora 857.3 KiB shadow-utils x86_64 2:4.17.4-1.fc42 fedora 4.0 MiB tar x86_64 2:1.35-5.fc42 fedora 3.0 MiB unzip x86_64 6.0-66.fc42 fedora 390.3 KiB util-linux x86_64 2.40.4-7.fc42 fedora 3.4 MiB which x86_64 2.23-1.fc42 fedora 83.4 KiB xz x86_64 1:5.8.1-2.fc42 updates 1.3 MiB Installing dependencies: add-determinism x86_64 0.6.0-1.fc42 fedora 2.5 MiB alternatives x86_64 1.32-1.fc42 fedora 62.2 KiB ansible-srpm-macros noarch 1-17.1.fc42 fedora 35.7 KiB audit-libs x86_64 4.0.3-2.fc42 fedora 351.3 KiB basesystem noarch 11-22.fc42 fedora 0.0 B binutils x86_64 2.44-3.fc42 fedora 25.9 MiB build-reproducibility-srpm-macros noarch 0.6.0-1.fc42 fedora 735.0 B bzip2-libs x86_64 1.0.8-20.fc42 fedora 84.6 KiB ca-certificates noarch 2024.2.69_v8.0.401-6.fc42 updates 2.6 MiB coreutils-common x86_64 9.6-2.fc42 fedora 11.1 MiB crypto-policies noarch 20250214-1.gitff7551b.fc42 fedora 137.2 KiB curl x86_64 8.11.1-4.fc42 fedora 450.6 KiB cyrus-sasl-lib x86_64 2.1.28-30.fc42 fedora 2.3 MiB debugedit x86_64 5.1-6.fc42 updates 192.7 KiB dwz x86_64 0.15-9.fc42 fedora 291.0 KiB ed x86_64 1.21-2.fc42 fedora 146.5 KiB efi-srpm-macros noarch 6-3.fc42 updates 40.1 KiB elfutils x86_64 0.192-9.fc42 fedora 2.6 MiB elfutils-debuginfod-client x86_64 0.192-9.fc42 fedora 79.9 KiB elfutils-default-yama-scope noarch 0.192-9.fc42 fedora 1.8 KiB elfutils-libelf x86_64 0.192-9.fc42 fedora 1.2 MiB elfutils-libs x86_64 0.192-9.fc42 fedora 667.0 KiB fedora-gpg-keys noarch 42-1 fedora 128.2 KiB fedora-release noarch 42-26 updates 0.0 B fedora-release-identity-basic noarch 42-26 updates 674.0 B fedora-repos noarch 42-1 fedora 4.9 KiB file x86_64 5.46-1.fc42 fedora 100.2 KiB file-libs x86_64 5.46-1.fc42 fedora 11.9 MiB filesystem x86_64 3.18-36.fc42 fedora 112.0 B filesystem-srpm-macros noarch 3.18-36.fc42 fedora 38.2 KiB fonts-srpm-macros noarch 1:2.0.5-21.fc42 fedora 55.8 KiB forge-srpm-macros noarch 0.4.0-2.fc42 fedora 38.9 KiB fpc-srpm-macros noarch 1.3-14.fc42 fedora 144.0 B gdb-minimal x86_64 16.2-3.fc42 fedora 13.2 MiB gdbm-libs x86_64 1:1.23-9.fc42 fedora 129.9 KiB ghc-srpm-macros noarch 1.9.2-2.fc42 fedora 779.0 B glibc x86_64 2.41-5.fc42 updates 6.6 MiB glibc-common x86_64 2.41-5.fc42 updates 1.0 MiB glibc-gconv-extra x86_64 2.41-5.fc42 updates 7.2 MiB gmp x86_64 1:6.3.0-4.fc42 fedora 811.3 KiB gnat-srpm-macros noarch 6-7.fc42 fedora 1.0 KiB go-srpm-macros noarch 3.6.0-6.fc42 fedora 60.8 KiB jansson x86_64 2.14-2.fc42 fedora 93.1 KiB json-c x86_64 0.18-2.fc42 fedora 86.7 KiB kernel-srpm-macros noarch 1.0-25.fc42 fedora 1.9 KiB keyutils-libs x86_64 1.6.3-5.fc42 fedora 58.3 KiB krb5-libs x86_64 1.21.3-5.fc42 fedora 2.3 MiB libacl x86_64 2.3.2-3.fc42 fedora 38.3 KiB libarchive x86_64 3.7.7-4.fc42 fedora 930.6 KiB libattr x86_64 2.5.2-5.fc42 fedora 27.1 KiB libblkid x86_64 2.40.4-7.fc42 fedora 262.4 KiB libbrotli x86_64 1.1.0-6.fc42 fedora 841.3 KiB libcap x86_64 2.73-2.fc42 fedora 207.1 KiB libcap-ng x86_64 0.8.5-4.fc42 fedora 72.9 KiB libcom_err x86_64 1.47.2-3.fc42 fedora 67.1 KiB libcurl x86_64 8.11.1-4.fc42 fedora 842.1 KiB libeconf x86_64 0.7.6-1.fc42 fedora 64.6 KiB libevent x86_64 2.1.12-15.fc42 fedora 903.1 KiB libfdisk x86_64 2.40.4-7.fc42 fedora 372.3 KiB libffi x86_64 3.4.6-5.fc42 fedora 82.3 KiB libgcc x86_64 15.1.1-1.fc42 updates 266.6 KiB libgomp x86_64 15.1.1-1.fc42 updates 538.5 KiB libidn2 x86_64 2.3.8-1.fc42 fedora 556.5 KiB libmount x86_64 2.40.4-7.fc42 fedora 356.3 KiB libnghttp2 x86_64 1.64.0-3.fc42 fedora 170.4 KiB libpkgconf x86_64 2.3.0-2.fc42 fedora 78.1 KiB libpsl x86_64 0.21.5-5.fc42 fedora 76.4 KiB libselinux x86_64 3.8-1.fc42 fedora 193.1 KiB libsemanage x86_64 3.8-1.fc42 fedora 308.4 KiB libsepol x86_64 3.8-1.fc42 fedora 826.0 KiB libsmartcols x86_64 2.40.4-7.fc42 fedora 180.4 KiB libssh x86_64 0.11.1-4.fc42 fedora 565.5 KiB libssh-config noarch 0.11.1-4.fc42 fedora 277.0 B libstdc++ x86_64 15.1.1-1.fc42 updates 2.8 MiB libtasn1 x86_64 4.20.0-1.fc42 fedora 176.3 KiB libtool-ltdl x86_64 2.5.4-4.fc42 fedora 70.1 KiB libunistring x86_64 1.1-9.fc42 fedora 1.7 MiB libuuid x86_64 2.40.4-7.fc42 fedora 37.3 KiB libverto x86_64 0.3.2-10.fc42 fedora 25.4 KiB libxcrypt x86_64 4.4.38-7.fc42 updates 284.5 KiB libxml2 x86_64 2.12.10-1.fc42 fedora 1.7 MiB libzstd x86_64 1.5.7-1.fc42 fedora 807.8 KiB lua-libs x86_64 5.4.7-3.fc42 fedora 280.8 KiB lua-srpm-macros noarch 1-15.fc42 fedora 1.3 KiB lz4-libs x86_64 1.10.0-2.fc42 fedora 157.4 KiB mpfr x86_64 4.2.2-1.fc42 fedora 828.8 KiB ncurses-base noarch 6.5-5.20250125.fc42 fedora 326.8 KiB ncurses-libs x86_64 6.5-5.20250125.fc42 fedora 946.3 KiB ocaml-srpm-macros noarch 10-4.fc42 fedora 1.9 KiB openblas-srpm-macros noarch 2-19.fc42 fedora 112.0 B openldap x86_64 2.6.9-3.fc42 fedora 655.1 KiB openssl-libs x86_64 1:3.2.4-3.fc42 fedora 7.8 MiB p11-kit x86_64 0.25.5-5.fc42 fedora 2.2 MiB p11-kit-trust x86_64 0.25.5-5.fc42 fedora 395.5 KiB package-notes-srpm-macros noarch 0.5-13.fc42 fedora 1.6 KiB pam-libs x86_64 1.7.0-4.fc42 fedora 126.7 KiB pcre2 x86_64 10.45-1.fc42 fedora 697.7 KiB pcre2-syntax noarch 10.45-1.fc42 fedora 273.9 KiB perl-srpm-macros noarch 1-57.fc42 fedora 861.0 B pkgconf x86_64 2.3.0-2.fc42 fedora 88.5 KiB pkgconf-m4 noarch 2.3.0-2.fc42 fedora 14.4 KiB pkgconf-pkg-config x86_64 2.3.0-2.fc42 fedora 989.0 B popt x86_64 1.19-8.fc42 fedora 132.8 KiB publicsuffix-list-dafsa noarch 20250116-1.fc42 fedora 68.5 KiB pyproject-srpm-macros noarch 1.18.1-1.fc42 fedora 1.9 KiB python-srpm-macros noarch 3.13-4.fc42 fedora 51.0 KiB qt5-srpm-macros noarch 5.15.15-1.fc42 fedora 500.0 B qt6-srpm-macros noarch 6.9.0-2.fc42 updates 464.0 B readline x86_64 8.2-13.fc42 fedora 485.0 KiB rpm x86_64 4.20.1-1.fc42 fedora 3.1 MiB rpm-build-libs x86_64 4.20.1-1.fc42 fedora 206.6 KiB rpm-libs x86_64 4.20.1-1.fc42 fedora 721.8 KiB rpm-sequoia x86_64 1.7.0-5.fc42 fedora 2.4 MiB rust-srpm-macros noarch 26.3-4.fc42 fedora 4.8 KiB setup noarch 2.15.0-13.fc42 fedora 720.9 KiB sqlite-libs x86_64 3.47.2-2.fc42 fedora 1.5 MiB systemd-libs x86_64 257.5-2.fc42 updates 2.2 MiB systemd-standalone-sysusers x86_64 257.5-2.fc42 updates 277.3 KiB tree-sitter-srpm-macros noarch 0.1.0-8.fc42 fedora 6.5 KiB util-linux-core x86_64 2.40.4-7.fc42 fedora 1.4 MiB xxhash-libs x86_64 0.8.3-2.fc42 fedora 90.2 KiB xz-libs x86_64 1:5.8.1-2.fc42 updates 217.8 KiB zig-srpm-macros noarch 1-4.fc42 fedora 1.1 KiB zip x86_64 3.0-43.fc42 fedora 698.5 KiB zlib-ng-compat x86_64 2.2.4-3.fc42 fedora 137.6 KiB zstd x86_64 1.5.7-1.fc42 fedora 1.7 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 148 packages Total size of inbound packages is 52 MiB. Need to download 52 MiB. After this operation, 176 MiB extra will be used (install 176 MiB, remove 0 B). [ 1/148] bzip2-0:1.0.8-20.fc42.x86_64 100% | 4.2 MiB/s | 52.1 KiB | 00m00s [ 2/148] bash-0:5.2.37-1.fc42.x86_64 100% | 106.3 MiB/s | 1.8 MiB | 00m00s [ 3/148] coreutils-0:9.6-2.fc42.x86_64 100% | 60.7 MiB/s | 1.2 MiB | 00m00s [ 4/148] cpio-0:2.15-4.fc42.x86_64 100% | 41.1 MiB/s | 294.6 KiB | 00m00s [ 5/148] findutils-1:4.10.0-5.fc42.x86 100% | 107.7 MiB/s | 551.5 KiB | 00m00s [ 6/148] grep-0:3.11-10.fc42.x86_64 100% | 73.3 MiB/s | 300.1 KiB | 00m00s [ 7/148] gzip-0:1.13-3.fc42.x86_64 100% | 41.6 MiB/s | 170.4 KiB | 00m00s [ 8/148] info-0:7.2-3.fc42.x86_64 100% | 19.9 MiB/s | 183.8 KiB | 00m00s [ 9/148] rpm-build-0:4.20.1-1.fc42.x86 100% | 8.9 MiB/s | 81.8 KiB | 00m00s [ 10/148] sed-0:4.9-4.fc42.x86_64 100% | 34.4 MiB/s | 317.3 KiB | 00m00s [ 11/148] unzip-0:6.0-66.fc42.x86_64 100% | 22.5 MiB/s | 184.6 KiB | 00m00s [ 12/148] tar-2:1.35-5.fc42.x86_64 100% | 84.2 MiB/s | 862.5 KiB | 00m00s [ 13/148] shadow-utils-2:4.17.4-1.fc42. 100% | 82.7 MiB/s | 1.3 MiB | 00m00s [ 14/148] which-0:2.23-1.fc42.x86_64 100% | 5.8 MiB/s | 41.7 KiB | 00m00s [ 15/148] diffutils-0:3.12-1.fc42.x86_6 100% | 31.9 MiB/s | 392.6 KiB | 00m00s [ 16/148] glibc-minimal-langpack-0:2.41 100% | 37.7 MiB/s | 115.7 KiB | 00m00s [ 17/148] fedora-release-common-0:42-26 100% | 2.3 MiB/s | 25.5 KiB | 00m00s [ 18/148] gawk-0:5.3.1-1.fc42.x86_64 100% | 83.0 MiB/s | 1.1 MiB | 00m00s [ 19/148] patch-0:2.8-1.fc42.x86_64 100% | 36.9 MiB/s | 113.5 KiB | 00m00s [ 20/148] redhat-rpm-config-0:342-4.fc4 100% | 26.4 MiB/s | 81.1 KiB | 00m00s [ 21/148] xz-1:5.8.1-2.fc42.x86_64 100% | 111.8 MiB/s | 572.6 KiB | 00m00s [ 22/148] filesystem-0:3.18-36.fc42.x86 100% | 166.4 MiB/s | 1.3 MiB | 00m00s [ 23/148] util-linux-0:2.40.4-7.fc42.x8 100% | 105.0 MiB/s | 1.2 MiB | 00m00s [ 24/148] ncurses-libs-0:6.5-5.20250125 100% | 65.4 MiB/s | 335.0 KiB | 00m00s [ 25/148] bzip2-libs-0:1.0.8-20.fc42.x8 100% | 21.3 MiB/s | 43.6 KiB | 00m00s [ 26/148] libacl-0:2.3.2-3.fc42.x86_64 100% | 11.2 MiB/s | 23.0 KiB | 00m00s [ 27/148] gmp-1:6.3.0-4.fc42.x86_64 100% | 77.6 MiB/s | 317.7 KiB | 00m00s [ 28/148] libattr-0:2.5.2-5.fc42.x86_64 100% | 4.2 MiB/s | 17.1 KiB | 00m00s [ 29/148] coreutils-common-0:9.6-2.fc42 100% | 176.7 MiB/s | 2.1 MiB | 00m00s [ 30/148] libcap-0:2.73-2.fc42.x86_64 100% | 10.3 MiB/s | 84.3 KiB | 00m00s [ 31/148] libselinux-0:3.8-1.fc42.x86_6 100% | 15.8 MiB/s | 97.1 KiB | 00m00s [ 32/148] pcre2-0:10.45-1.fc42.x86_64 100% | 85.6 MiB/s | 262.8 KiB | 00m00s [ 33/148] elfutils-0:0.192-9.fc42.x86_6 100% | 107.5 MiB/s | 550.3 KiB | 00m00s [ 34/148] elfutils-libelf-0:0.192-9.fc4 100% | 50.8 MiB/s | 207.9 KiB | 00m00s [ 35/148] openssl-libs-1:3.2.4-3.fc42.x 100% | 209.5 MiB/s | 2.3 MiB | 00m00s [ 36/148] file-0:5.46-1.fc42.x86_64 100% | 11.9 MiB/s | 48.7 KiB | 00m00s [ 37/148] libarchive-0:3.7.7-4.fc42.x86 100% | 67.0 MiB/s | 411.8 KiB | 00m00s [ 38/148] popt-0:1.19-8.fc42.x86_64 100% | 16.1 MiB/s | 65.9 KiB | 00m00s [ 39/148] readline-0:8.2-13.fc42.x86_64 100% | 52.5 MiB/s | 215.2 KiB | 00m00s [ 40/148] rpm-build-libs-0:4.20.1-1.fc4 100% | 32.5 MiB/s | 99.7 KiB | 00m00s [ 41/148] rpm-libs-0:4.20.1-1.fc42.x86_ 100% | 101.6 MiB/s | 312.0 KiB | 00m00s [ 42/148] rpm-0:4.20.1-1.fc42.x86_64 100% | 89.3 MiB/s | 548.4 KiB | 00m00s [ 43/148] audit-libs-0:4.0.3-2.fc42.x86 100% | 40.8 MiB/s | 125.3 KiB | 00m00s [ 44/148] libeconf-0:0.7.6-1.fc42.x86_6 100% | 17.2 MiB/s | 35.2 KiB | 00m00s [ 45/148] zstd-0:1.5.7-1.fc42.x86_64 100% | 94.9 MiB/s | 485.9 KiB | 00m00s [ 46/148] libsemanage-0:3.8-1.fc42.x86_ 100% | 60.3 MiB/s | 123.6 KiB | 00m00s [ 47/148] pam-libs-0:1.7.0-4.fc42.x86_6 100% | 28.5 MiB/s | 58.3 KiB | 00m00s [ 48/148] setup-0:2.15.0-13.fc42.noarch 100% | 76.1 MiB/s | 155.8 KiB | 00m00s [ 49/148] fedora-repos-0:42-1.noarch 100% | 3.0 MiB/s | 9.2 KiB | 00m00s [ 50/148] mpfr-0:4.2.2-1.fc42.x86_64 100% | 84.3 MiB/s | 345.3 KiB | 00m00s [ 51/148] glibc-common-0:2.41-5.fc42.x8 100% | 98.2 MiB/s | 402.2 KiB | 00m00s [ 52/148] ansible-srpm-macros-0:1-17.1. 100% | 3.3 MiB/s | 20.3 KiB | 00m00s [ 53/148] build-reproducibility-srpm-ma 100% | 1.9 MiB/s | 11.7 KiB | 00m00s [ 54/148] ed-0:1.21-2.fc42.x86_64 100% | 8.9 MiB/s | 82.0 KiB | 00m00s [ 55/148] dwz-0:0.15-9.fc42.x86_64 100% | 22.1 MiB/s | 135.7 KiB | 00m00s [ 56/148] filesystem-srpm-macros-0:3.18 100% | 5.0 MiB/s | 25.6 KiB | 00m00s [ 57/148] fonts-srpm-macros-1:2.0.5-21. 100% | 5.3 MiB/s | 27.1 KiB | 00m00s [ 58/148] forge-srpm-macros-0:0.4.0-2.f 100% | 9.7 MiB/s | 19.9 KiB | 00m00s [ 59/148] fpc-srpm-macros-0:1.3-14.fc42 100% | 3.9 MiB/s | 8.0 KiB | 00m00s [ 60/148] ghc-srpm-macros-0:1.9.2-2.fc4 100% | 4.5 MiB/s | 9.2 KiB | 00m00s [ 61/148] gnat-srpm-macros-0:6-7.fc42.n 100% | 8.4 MiB/s | 8.6 KiB | 00m00s [ 62/148] kernel-srpm-macros-0:1.0-25.f 100% | 9.6 MiB/s | 9.9 KiB | 00m00s [ 63/148] lua-srpm-macros-0:1-15.fc42.n 100% | 8.7 MiB/s | 8.9 KiB | 00m00s [ 64/148] go-srpm-macros-0:3.6.0-6.fc42 100% | 13.5 MiB/s | 27.7 KiB | 00m00s [ 65/148] ocaml-srpm-macros-0:10-4.fc42 100% | 9.0 MiB/s | 9.2 KiB | 00m00s [ 66/148] openblas-srpm-macros-0:2-19.f 100% | 7.6 MiB/s | 7.8 KiB | 00m00s [ 67/148] package-notes-srpm-macros-0:0 100% | 4.5 MiB/s | 9.3 KiB | 00m00s [ 68/148] perl-srpm-macros-0:1-57.fc42. 100% | 8.3 MiB/s | 8.5 KiB | 00m00s [ 69/148] pyproject-srpm-macros-0:1.18. 100% | 6.8 MiB/s | 13.9 KiB | 00m00s [ 70/148] qt5-srpm-macros-0:5.15.15-1.f 100% | 4.3 MiB/s | 8.9 KiB | 00m00s [ 71/148] python-srpm-macros-0:3.13-4.f 100% | 5.6 MiB/s | 23.0 KiB | 00m00s [ 72/148] rust-srpm-macros-0:26.3-4.fc4 100% | 5.7 MiB/s | 11.7 KiB | 00m00s [ 73/148] tree-sitter-srpm-macros-0:0.1 100% | 11.0 MiB/s | 11.2 KiB | 00m00s [ 74/148] libblkid-0:2.40.4-7.fc42.x86_ 100% | 119.7 MiB/s | 122.5 KiB | 00m00s [ 75/148] zip-0:3.0-43.fc42.x86_64 100% | 85.8 MiB/s | 263.5 KiB | 00m00s [ 76/148] libcap-ng-0:0.8.5-4.fc42.x86_ 100% | 15.7 MiB/s | 32.2 KiB | 00m00s [ 77/148] libfdisk-0:2.40.4-7.fc42.x86_ 100% | 51.6 MiB/s | 158.5 KiB | 00m00s [ 78/148] libmount-0:2.40.4-7.fc42.x86_ 100% | 75.7 MiB/s | 155.1 KiB | 00m00s [ 79/148] libsmartcols-0:2.40.4-7.fc42. 100% | 39.7 MiB/s | 81.2 KiB | 00m00s [ 80/148] libuuid-0:2.40.4-7.fc42.x86_6 100% | 12.4 MiB/s | 25.3 KiB | 00m00s [ 81/148] zig-srpm-macros-0:1-4.fc42.no 100% | 824.4 KiB/s | 8.2 KiB | 00m00s [ 82/148] util-linux-core-0:2.40.4-7.fc 100% | 103.4 MiB/s | 529.2 KiB | 00m00s [ 83/148] xz-libs-1:5.8.1-2.fc42.x86_64 100% | 22.1 MiB/s | 113.0 KiB | 00m00s [ 84/148] zlib-ng-compat-0:2.2.4-3.fc42 100% | 12.8 MiB/s | 78.4 KiB | 00m00s [ 85/148] ncurses-base-0:6.5-5.20250125 100% | 28.7 MiB/s | 88.1 KiB | 00m00s [ 86/148] crypto-policies-0:20250214-1. 100% | 48.2 MiB/s | 98.7 KiB | 00m00s [ 87/148] libsepol-0:3.8-1.fc42.x86_64 100% | 113.6 MiB/s | 348.9 KiB | 00m00s [ 88/148] pcre2-syntax-0:10.45-1.fc42.n 100% | 39.5 MiB/s | 161.7 KiB | 00m00s [ 89/148] elfutils-libs-0:0.192-9.fc42. 100% | 64.7 MiB/s | 265.2 KiB | 00m00s [ 90/148] elfutils-debuginfod-client-0: 100% | 9.0 MiB/s | 46.3 KiB | 00m00s [ 91/148] libzstd-0:1.5.7-1.fc42.x86_64 100% | 43.9 MiB/s | 314.8 KiB | 00m00s [ 92/148] libxml2-0:2.12.10-1.fc42.x86_ 100% | 95.4 MiB/s | 683.7 KiB | 00m00s [ 93/148] file-libs-0:5.46-1.fc42.x86_6 100% | 92.2 MiB/s | 849.4 KiB | 00m00s [ 94/148] lz4-libs-0:1.10.0-2.fc42.x86_ 100% | 15.2 MiB/s | 78.1 KiB | 00m00s [ 95/148] curl-0:8.11.1-4.fc42.x86_64 100% | 72.4 MiB/s | 222.4 KiB | 00m00s [ 96/148] lua-libs-0:5.4.7-3.fc42.x86_6 100% | 43.2 MiB/s | 132.8 KiB | 00m00s [ 97/148] fedora-gpg-keys-0:42-1.noarch 100% | 44.1 MiB/s | 135.6 KiB | 00m00s [ 98/148] rpm-sequoia-0:1.7.0-5.fc42.x8 100% | 127.1 MiB/s | 911.1 KiB | 00m00s [ 99/148] sqlite-libs-0:3.47.2-2.fc42.x 100% | 102.5 MiB/s | 734.8 KiB | 00m00s [100/148] elfutils-default-yama-scope-0 100% | 4.0 MiB/s | 12.4 KiB | 00m00s [101/148] json-c-0:0.18-2.fc42.x86_64 100% | 8.8 MiB/s | 44.9 KiB | 00m00s [102/148] add-determinism-0:0.6.0-1.fc4 100% | 69.0 MiB/s | 918.3 KiB | 00m00s [103/148] basesystem-0:11-22.fc42.noarc 100% | 520.7 KiB/s | 7.3 KiB | 00m00s [104/148] glibc-gconv-extra-0:2.41-5.fc 100% | 53.5 MiB/s | 1.7 MiB | 00m00s [105/148] libgcc-0:15.1.1-1.fc42.x86_64 100% | 11.2 MiB/s | 126.5 KiB | 00m00s [106/148] libxcrypt-0:4.4.38-7.fc42.x86 100% | 62.1 MiB/s | 127.2 KiB | 00m00s [107/148] glibc-0:2.41-5.fc42.x86_64 100% | 57.9 MiB/s | 2.3 MiB | 00m00s [108/148] libstdc++-0:15.1.1-1.fc42.x86 100% | 98.9 MiB/s | 911.3 KiB | 00m00s [109/148] systemd-libs-0:257.5-2.fc42.x 100% | 99.1 MiB/s | 812.2 KiB | 00m00s [110/148] libgomp-0:15.1.1-1.fc42.x86_6 100% | 70.9 MiB/s | 363.1 KiB | 00m00s [111/148] debugedit-0:5.1-6.fc42.x86_64 100% | 11.0 MiB/s | 78.8 KiB | 00m00s [112/148] alternatives-0:1.32-1.fc42.x8 100% | 13.5 MiB/s | 41.6 KiB | 00m00s [113/148] pkgconf-pkg-config-0:2.3.0-2. 100% | 1.1 MiB/s | 9.9 KiB | 00m00s [114/148] jansson-0:2.14-2.fc42.x86_64 100% | 4.5 MiB/s | 45.7 KiB | 00m00s [115/148] pkgconf-m4-0:2.3.0-2.fc42.noa 100% | 2.3 MiB/s | 14.2 KiB | 00m00s [116/148] pkgconf-0:2.3.0-2.fc42.x86_64 100% | 4.0 MiB/s | 44.9 KiB | 00m00s [117/148] libpkgconf-0:2.3.0-2.fc42.x86 100% | 7.5 MiB/s | 38.4 KiB | 00m00s [118/148] efi-srpm-macros-0:6-3.fc42.no 100% | 2.4 MiB/s | 22.5 KiB | 00m00s [119/148] ca-certificates-0:2024.2.69_v 100% | 57.7 MiB/s | 944.7 KiB | 00m00s [120/148] qt6-srpm-macros-0:6.9.0-2.fc4 100% | 1.5 MiB/s | 9.4 KiB | 00m00s [121/148] binutils-0:2.44-3.fc42.x86_64 100% | 107.7 MiB/s | 5.8 MiB | 00m00s [122/148] libffi-0:3.4.6-5.fc42.x86_64 100% | 3.9 MiB/s | 39.9 KiB | 00m00s [123/148] p11-kit-0:0.25.5-5.fc42.x86_6 100% | 48.0 MiB/s | 491.7 KiB | 00m00s [124/148] libtasn1-0:4.20.0-1.fc42.x86_ 100% | 24.4 MiB/s | 75.0 KiB | 00m00s [125/148] p11-kit-trust-0:0.25.5-5.fc42 100% | 16.2 MiB/s | 132.6 KiB | 00m00s [126/148] fedora-release-0:42-26.noarch 100% | 1.8 MiB/s | 14.6 KiB | 00m00s [127/148] xxhash-libs-0:0.8.3-2.fc42.x8 100% | 19.1 MiB/s | 39.1 KiB | 00m00s [128/148] systemd-standalone-sysusers-0 100% | 17.0 MiB/s | 157.1 KiB | 00m00s [129/148] libcurl-0:8.11.1-4.fc42.x86_6 100% | 73.6 MiB/s | 376.9 KiB | 00m00s [130/148] krb5-libs-0:1.21.3-5.fc42.x86 100% | 93.4 MiB/s | 764.7 KiB | 00m00s [131/148] libbrotli-0:1.1.0-6.fc42.x86_ 100% | 55.3 MiB/s | 339.8 KiB | 00m00s [132/148] libidn2-0:2.3.8-1.fc42.x86_64 100% | 56.9 MiB/s | 174.8 KiB | 00m00s [133/148] libnghttp2-0:1.64.0-3.fc42.x8 100% | 15.2 MiB/s | 77.7 KiB | 00m00s [134/148] gdb-minimal-0:16.2-3.fc42.x86 100% | 168.1 MiB/s | 4.4 MiB | 00m00s [135/148] libpsl-0:0.21.5-5.fc42.x86_64 100% | 7.8 MiB/s | 64.0 KiB | 00m00s [136/148] libssh-0:0.11.1-4.fc42.x86_64 100% | 45.6 MiB/s | 233.3 KiB | 00m00s [137/148] keyutils-libs-0:1.6.3-5.fc42. 100% | 15.4 MiB/s | 31.5 KiB | 00m00s [138/148] libcom_err-0:1.47.2-3.fc42.x8 100% | 8.8 MiB/s | 26.9 KiB | 00m00s [139/148] libverto-0:0.3.2-10.fc42.x86_ 100% | 5.1 MiB/s | 20.8 KiB | 00m00s [140/148] openldap-0:2.6.9-3.fc42.x86_6 100% | 31.8 MiB/s | 260.2 KiB | 00m00s [141/148] libssh-config-0:0.11.1-4.fc42 100% | 8.8 MiB/s | 9.0 KiB | 00m00s [142/148] publicsuffix-list-dafsa-0:202 100% | 19.2 MiB/s | 58.8 KiB | 00m00s [143/148] libunistring-0:1.1-9.fc42.x86 100% | 75.7 MiB/s | 542.5 KiB | 00m00s [144/148] libevent-0:2.1.12-15.fc42.x86 100% | 63.5 MiB/s | 260.2 KiB | 00m00s [145/148] cyrus-sasl-lib-0:2.1.28-30.fc 100% | 129.1 MiB/s | 793.5 KiB | 00m00s [146/148] libtool-ltdl-0:2.5.4-4.fc42.x 100% | 8.8 MiB/s | 36.2 KiB | 00m00s [147/148] gdbm-libs-1:1.23-9.fc42.x86_6 100% | 18.6 MiB/s | 57.0 KiB | 00m00s [148/148] fedora-release-identity-basic 100% | 7.5 MiB/s | 15.4 KiB | 00m00s -------------------------------------------------------------------------------- [148/148] Total 100% | 129.1 MiB/s | 52.3 MiB | 00m00s Running transaction Importing OpenPGP key 0x105EF944: UserID : "Fedora (42) " Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary The key was successfully imported. [ 1/150] Verify package files 100% | 804.0 B/s | 148.0 B | 00m00s [ 2/150] Prepare transaction 100% | 3.7 KiB/s | 148.0 B | 00m00s [ 3/150] Installing libgcc-0:15.1.1-1. 100% | 262.0 MiB/s | 268.3 KiB | 00m00s [ 4/150] Installing fedora-release-ide 100% | 0.0 B/s | 932.0 B | 00m00s [ 5/150] Installing fedora-gpg-keys-0: 100% | 42.7 MiB/s | 174.8 KiB | 00m00s [ 6/150] Installing fedora-repos-0:42- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 7/150] Installing fedora-release-com 100% | 23.9 MiB/s | 24.5 KiB | 00m00s [ 8/150] Installing fedora-release-0:4 100% | 9.3 KiB/s | 124.0 B | 00m00s >>> Running sysusers scriptlet: setup-0:2.15.0-13.fc42.noarch >>> Finished sysusers scriptlet: setup-0:2.15.0-13.fc42.noarch >>> Scriptlet output: >>> Creating group 'adm' with GID 4. >>> Creating group 'audio' with GID 63. >>> Creating group 'bin' with GID 1. >>> Creating group 'cdrom' with GID 11. >>> Creating group 'clock' with GID 103. >>> Creating group 'daemon' with GID 2. >>> Creating group 'dialout' with GID 18. >>> Creating group 'disk' with GID 6. >>> Creating group 'floppy' with GID 19. >>> Creating group 'ftp' with GID 50. >>> Creating group 'games' with GID 20. >>> Creating group 'input' with GID 104. >>> Creating group 'kmem' with GID 9. >>> Creating group 'kvm' with GID 36. >>> Creating group 'lock' with GID 54. >>> Creating group 'lp' with GID 7. >>> Creating group 'mail' with GID 12. >>> Creating group 'man' with GID 15. >>> Creating group 'mem' with GID 8. >>> Creating group 'nobody' with GID 65534. >>> Creating group 'render' with GID 105. >>> Creating group 'root' with GID 0. >>> Creating group 'sgx' with GID 106. >>> Creating group 'sys' with GID 3. >>> Creating group 'tape' with GID 33. >>> Creating group 'tty' with GID 5. >>> Creating group 'users' with GID 100. >>> Creating group 'utmp' with GID 22. >>> Creating group 'video' with GID 39. >>> Creating group 'wheel' with GID 10. >>> >>> Running sysusers scriptlet: setup-0:2.15.0-13.fc42.noarch >>> Finished sysusers scriptlet: setup-0:2.15.0-13.fc42.noarch >>> Scriptlet output: >>> Creating user 'adm' (adm) with UID 3 and GID 4. >>> Creating user 'bin' (bin) with UID 1 and GID 1. >>> Creating user 'daemon' (daemon) with UID 2 and GID 2. >>> Creating user 'ftp' (FTP User) with UID 14 and GID 50. >>> Creating user 'games' (games) with UID 12 and GID 20. >>> Creating user 'halt' (halt) with UID 7 and GID 0. >>> Creating user 'lp' (lp) with UID 4 and GID 7. >>> Creating user 'mail' (mail) with UID 8 and GID 12. >>> Creating user 'nobody' (Kernel Overflow User) with UID 65534 and GID 65534. >>> Creating user 'operator' (operator) with UID 11 and GID 0. >>> Creating user 'root' (Super User) with UID 0 and GID 0. >>> Creating user 'shutdown' (shutdown) with UID 6 and GID 0. >>> Creating user 'sync' (sync) with UID 5 and GID 0. >>> [ 9/150] Installing setup-0:2.15.0-13. 100% | 47.3 MiB/s | 726.7 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 10/150] Installing filesystem-0:3.18- 100% | 2.5 MiB/s | 212.4 KiB | 00m00s [ 11/150] Installing basesystem-0:11-22 100% | 0.0 B/s | 124.0 B | 00m00s [ 12/150] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 13/150] Installing publicsuffix-list- 100% | 0.0 B/s | 69.2 KiB | 00m00s [ 14/150] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 740.0 B | 00m00s [ 15/150] Installing pkgconf-m4-0:2.3.0 100% | 0.0 B/s | 14.8 KiB | 00m00s [ 16/150] Installing pcre2-syntax-0:10. 100% | 269.9 MiB/s | 276.4 KiB | 00m00s [ 17/150] Installing ncurses-base-0:6.5 100% | 68.8 MiB/s | 352.2 KiB | 00m00s [ 18/150] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 19/150] Installing ncurses-libs-0:6.5 100% | 232.6 MiB/s | 952.8 KiB | 00m00s [ 20/150] Installing glibc-0:2.41-5.fc4 100% | 184.6 MiB/s | 6.6 MiB | 00m00s [ 21/150] Installing bash-0:5.2.37-1.fc 100% | 247.6 MiB/s | 8.2 MiB | 00m00s [ 22/150] Installing glibc-common-0:2.4 100% | 56.7 MiB/s | 1.0 MiB | 00m00s [ 23/150] Installing glibc-gconv-extra- 100% | 243.6 MiB/s | 7.3 MiB | 00m00s [ 24/150] Installing zlib-ng-compat-0:2 100% | 135.2 MiB/s | 138.4 KiB | 00m00s [ 25/150] Installing bzip2-libs-0:1.0.8 100% | 83.7 MiB/s | 85.7 KiB | 00m00s [ 26/150] Installing xz-libs-1:5.8.1-2. 100% | 213.8 MiB/s | 218.9 KiB | 00m00s [ 27/150] Installing libuuid-0:2.40.4-7 100% | 0.0 B/s | 38.4 KiB | 00m00s [ 28/150] Installing libblkid-0:2.40.4- 100% | 257.4 MiB/s | 263.5 KiB | 00m00s [ 29/150] Installing gmp-1:6.3.0-4.fc42 100% | 264.8 MiB/s | 813.5 KiB | 00m00s [ 30/150] Installing popt-0:1.19-8.fc42 100% | 68.1 MiB/s | 139.4 KiB | 00m00s [ 31/150] Installing readline-0:8.2-13. 100% | 237.9 MiB/s | 487.1 KiB | 00m00s [ 32/150] Installing libzstd-0:1.5.7-1. 100% | 395.1 MiB/s | 809.1 KiB | 00m00s [ 33/150] Installing elfutils-libelf-0: 100% | 388.7 MiB/s | 1.2 MiB | 00m00s [ 34/150] Installing libstdc++-0:15.1.1 100% | 354.5 MiB/s | 2.8 MiB | 00m00s [ 35/150] Installing libxcrypt-0:4.4.38 100% | 280.4 MiB/s | 287.2 KiB | 00m00s [ 36/150] Installing libattr-0:2.5.2-5. 100% | 0.0 B/s | 28.1 KiB | 00m00s [ 37/150] Installing libacl-0:2.3.2-3.f 100% | 0.0 B/s | 39.2 KiB | 00m00s [ 38/150] Installing dwz-0:0.15-9.fc42. 100% | 20.4 MiB/s | 292.4 KiB | 00m00s [ 39/150] Installing mpfr-0:4.2.2-1.fc4 100% | 270.3 MiB/s | 830.4 KiB | 00m00s [ 40/150] Installing gawk-0:5.3.1-1.fc4 100% | 89.2 MiB/s | 1.7 MiB | 00m00s [ 41/150] Installing unzip-0:6.0-66.fc4 100% | 27.5 MiB/s | 393.8 KiB | 00m00s [ 42/150] Installing file-libs-0:5.46-1 100% | 658.7 MiB/s | 11.9 MiB | 00m00s [ 43/150] Installing file-0:5.46-1.fc42 100% | 5.2 MiB/s | 101.7 KiB | 00m00s [ 44/150] Installing crypto-policies-0: 100% | 31.9 MiB/s | 163.5 KiB | 00m00s [ 45/150] Installing pcre2-0:10.45-1.fc 100% | 341.4 MiB/s | 699.1 KiB | 00m00s [ 46/150] Installing grep-0:3.11-10.fc4 100% | 52.8 MiB/s | 1.0 MiB | 00m00s [ 47/150] Installing xz-1:5.8.1-2.fc42. 100% | 74.0 MiB/s | 1.3 MiB | 00m00s [ 48/150] Installing libeconf-0:0.7.6-1 100% | 64.7 MiB/s | 66.2 KiB | 00m00s [ 49/150] Installing libcap-ng-0:0.8.5- 100% | 73.1 MiB/s | 74.8 KiB | 00m00s [ 50/150] Installing audit-libs-0:4.0.3 100% | 172.6 MiB/s | 353.4 KiB | 00m00s [ 51/150] Installing pam-libs-0:1.7.0-4 100% | 126.1 MiB/s | 129.1 KiB | 00m00s [ 52/150] Installing libcap-0:2.73-2.fc 100% | 14.8 MiB/s | 212.1 KiB | 00m00s [ 53/150] Installing systemd-libs-0:257 100% | 318.3 MiB/s | 2.2 MiB | 00m00s [ 54/150] Installing libsmartcols-0:2.4 100% | 177.3 MiB/s | 181.5 KiB | 00m00s [ 55/150] Installing libsepol-0:3.8-1.f 100% | 269.2 MiB/s | 827.0 KiB | 00m00s [ 56/150] Installing libselinux-0:3.8-1 100% | 189.8 MiB/s | 194.3 KiB | 00m00s [ 57/150] Installing findutils-1:4.10.0 100% | 98.6 MiB/s | 1.9 MiB | 00m00s [ 58/150] Installing sed-0:4.9-4.fc42.x 100% | 52.8 MiB/s | 865.5 KiB | 00m00s [ 59/150] Installing libmount-0:2.40.4- 100% | 174.5 MiB/s | 357.3 KiB | 00m00s [ 60/150] Installing lz4-libs-0:1.10.0- 100% | 154.7 MiB/s | 158.5 KiB | 00m00s [ 61/150] Installing lua-libs-0:5.4.7-3 100% | 275.4 MiB/s | 282.0 KiB | 00m00s [ 62/150] Installing alternatives-0:1.3 100% | 4.8 MiB/s | 63.8 KiB | 00m00s [ 63/150] Installing libffi-0:3.4.6-5.f 100% | 81.7 MiB/s | 83.7 KiB | 00m00s [ 64/150] Installing libtasn1-0:4.20.0- 100% | 173.9 MiB/s | 178.1 KiB | 00m00s [ 65/150] Installing p11-kit-0:0.25.5-5 100% | 104.0 MiB/s | 2.2 MiB | 00m00s [ 66/150] Installing libunistring-0:1.1 100% | 345.3 MiB/s | 1.7 MiB | 00m00s [ 67/150] Installing libidn2-0:2.3.8-1. 100% | 183.2 MiB/s | 562.7 KiB | 00m00s [ 68/150] Installing libpsl-0:0.21.5-5. 100% | 75.7 MiB/s | 77.5 KiB | 00m00s [ 69/150] Installing p11-kit-trust-0:0. 100% | 18.5 MiB/s | 397.2 KiB | 00m00s [ 70/150] Installing zstd-0:1.5.7-1.fc4 100% | 95.0 MiB/s | 1.7 MiB | 00m00s [ 71/150] Installing util-linux-core-0: 100% | 75.1 MiB/s | 1.4 MiB | 00m00s [ 72/150] Installing tar-2:1.35-5.fc42. 100% | 141.0 MiB/s | 3.0 MiB | 00m00s [ 73/150] Installing libsemanage-0:3.8- 100% | 101.0 MiB/s | 310.2 KiB | 00m00s [ 74/150] Installing shadow-utils-2:4.1 100% | 130.4 MiB/s | 4.0 MiB | 00m00s [ 75/150] Installing systemd-standalone 100% | 20.9 MiB/s | 277.9 KiB | 00m00s [ 76/150] Installing zip-0:3.0-43.fc42. 100% | 45.7 MiB/s | 702.4 KiB | 00m00s [ 77/150] Installing libfdisk-0:2.40.4- 100% | 182.3 MiB/s | 373.4 KiB | 00m00s [ 78/150] Installing libxml2-0:2.12.10- 100% | 99.8 MiB/s | 1.7 MiB | 00m00s [ 79/150] Installing bzip2-0:1.0.8-20.f 100% | 7.8 MiB/s | 103.8 KiB | 00m00s [ 80/150] Installing sqlite-libs-0:3.47 100% | 300.9 MiB/s | 1.5 MiB | 00m00s [ 81/150] Installing add-determinism-0: 100% | 129.8 MiB/s | 2.5 MiB | 00m00s [ 82/150] Installing build-reproducibil 100% | 0.0 B/s | 1.0 KiB | 00m00s [ 83/150] Installing ed-0:1.21-2.fc42.x 100% | 10.4 MiB/s | 148.8 KiB | 00m00s [ 84/150] Installing patch-0:2.8-1.fc42 100% | 15.6 MiB/s | 224.3 KiB | 00m00s [ 85/150] Installing filesystem-srpm-ma 100% | 0.0 B/s | 38.9 KiB | 00m00s [ 86/150] Installing elfutils-default-y 100% | 408.6 KiB/s | 2.0 KiB | 00m00s [ 87/150] Installing elfutils-libs-0:0. 100% | 217.7 MiB/s | 668.7 KiB | 00m00s [ 88/150] Installing cpio-0:2.15-4.fc42 100% | 61.1 MiB/s | 1.1 MiB | 00m00s [ 89/150] Installing diffutils-0:3.12-1 100% | 86.7 MiB/s | 1.6 MiB | 00m00s [ 90/150] Installing json-c-0:0.18-2.fc 100% | 85.9 MiB/s | 88.0 KiB | 00m00s [ 91/150] Installing libgomp-0:15.1.1-1 100% | 263.6 MiB/s | 539.9 KiB | 00m00s [ 92/150] Installing jansson-0:2.14-2.f 100% | 92.2 MiB/s | 94.4 KiB | 00m00s [ 93/150] Installing libpkgconf-0:2.3.0 100% | 77.4 MiB/s | 79.2 KiB | 00m00s [ 94/150] Installing pkgconf-0:2.3.0-2. 100% | 6.8 MiB/s | 91.0 KiB | 00m00s [ 95/150] Installing pkgconf-pkg-config 100% | 136.4 KiB/s | 1.8 KiB | 00m00s [ 96/150] Installing xxhash-libs-0:0.8. 100% | 89.4 MiB/s | 91.6 KiB | 00m00s [ 97/150] Installing libbrotli-0:1.1.0- 100% | 274.6 MiB/s | 843.6 KiB | 00m00s [ 98/150] Installing libnghttp2-0:1.64. 100% | 167.5 MiB/s | 171.5 KiB | 00m00s [ 99/150] Installing keyutils-libs-0:1. 100% | 58.3 MiB/s | 59.7 KiB | 00m00s [100/150] Installing libcom_err-0:1.47. 100% | 66.6 MiB/s | 68.2 KiB | 00m00s [101/150] Installing libverto-0:0.3.2-1 100% | 26.6 MiB/s | 27.2 KiB | 00m00s [102/150] Installing libtool-ltdl-0:2.5 100% | 69.6 MiB/s | 71.2 KiB | 00m00s [103/150] Installing gdbm-libs-1:1.23-9 100% | 128.5 MiB/s | 131.6 KiB | 00m00s [104/150] Installing cyrus-sasl-lib-0:2 100% | 115.2 MiB/s | 2.3 MiB | 00m00s [105/150] Installing rust-srpm-macros-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [106/150] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [107/150] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [108/150] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [109/150] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [110/150] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.2 KiB | 00m00s [111/150] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [112/150] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [113/150] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [114/150] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [115/150] Installing ansible-srpm-macro 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [116/150] Installing coreutils-common-0 100% | 384.6 MiB/s | 11.2 MiB | 00m00s [117/150] Installing openssl-libs-1:3.2 100% | 389.3 MiB/s | 7.8 MiB | 00m00s [118/150] Installing coreutils-0:9.6-2. 100% | 158.5 MiB/s | 5.5 MiB | 00m00s [119/150] Installing ca-certificates-0: 100% | 1.8 MiB/s | 2.4 MiB | 00m01s [120/150] Installing libarchive-0:3.7.7 100% | 227.7 MiB/s | 932.6 KiB | 00m00s [121/150] Installing krb5-libs-0:1.21.3 100% | 287.5 MiB/s | 2.3 MiB | 00m00s [122/150] Installing libssh-0:0.11.1-4. 100% | 277.1 MiB/s | 567.5 KiB | 00m00s [123/150] Installing gzip-0:1.13-3.fc42 100% | 24.3 MiB/s | 398.4 KiB | 00m00s [124/150] Installing rpm-sequoia-0:1.7. 100% | 344.9 MiB/s | 2.4 MiB | 00m00s [125/150] Installing rpm-libs-0:4.20.1- 100% | 235.5 MiB/s | 723.4 KiB | 00m00s [126/150] Installing rpm-build-libs-0:4 100% | 202.5 MiB/s | 207.4 KiB | 00m00s [127/150] Installing libevent-0:2.1.12- 100% | 295.2 MiB/s | 906.9 KiB | 00m00s [128/150] Installing openldap-0:2.6.9-3 100% | 214.5 MiB/s | 658.9 KiB | 00m00s [129/150] Installing libcurl-0:8.11.1-4 100% | 274.5 MiB/s | 843.2 KiB | 00m00s [130/150] Installing elfutils-debuginfo 100% | 5.7 MiB/s | 82.2 KiB | 00m00s [131/150] Installing elfutils-0:0.192-9 100% | 131.2 MiB/s | 2.6 MiB | 00m00s [132/150] Installing binutils-0:2.44-3. 100% | 308.3 MiB/s | 25.9 MiB | 00m00s [133/150] Installing gdb-minimal-0:16.2 100% | 269.5 MiB/s | 13.2 MiB | 00m00s [134/150] Installing debugedit-0:5.1-6. 100% | 13.6 MiB/s | 195.4 KiB | 00m00s [135/150] Installing curl-0:8.11.1-4.fc 100% | 19.2 MiB/s | 453.1 KiB | 00m00s [136/150] Installing rpm-0:4.20.1-1.fc4 100% | 89.2 MiB/s | 2.5 MiB | 00m00s [137/150] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [138/150] Installing tree-sitter-srpm-m 100% | 0.0 B/s | 7.4 KiB | 00m00s [139/150] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 KiB | 00m00s [140/150] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.1 KiB | 00m00s [141/150] Installing fonts-srpm-macros- 100% | 55.7 MiB/s | 57.0 KiB | 00m00s [142/150] Installing forge-srpm-macros- 100% | 0.0 B/s | 40.3 KiB | 00m00s [143/150] Installing go-srpm-macros-0:3 100% | 60.5 MiB/s | 62.0 KiB | 00m00s [144/150] Installing python-srpm-macros 100% | 50.9 MiB/s | 52.2 KiB | 00m00s [145/150] Installing redhat-rpm-config- 100% | 93.9 MiB/s | 192.2 KiB | 00m00s [146/150] Installing rpm-build-0:4.20.1 100% | 11.5 MiB/s | 177.4 KiB | 00m00s [147/150] Installing pyproject-srpm-mac 100% | 0.0 B/s | 2.5 KiB | 00m00s [148/150] Installing which-0:2.23-1.fc4 100% | 6.0 MiB/s | 85.6 KiB | 00m00s [149/150] Installing util-linux-0:2.40. 100% | 96.2 MiB/s | 3.5 MiB | 00m00s [150/150] Installing info-0:7.2-3.fc42. 100% | 204.7 KiB/s | 358.3 KiB | 00m02s 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.6.0-1.fc42.x86_64 alternatives-1.32-1.fc42.x86_64 ansible-srpm-macros-1-17.1.fc42.noarch audit-libs-4.0.3-2.fc42.x86_64 basesystem-11-22.fc42.noarch bash-5.2.37-1.fc42.x86_64 binutils-2.44-3.fc42.x86_64 build-reproducibility-srpm-macros-0.6.0-1.fc42.noarch bzip2-1.0.8-20.fc42.x86_64 bzip2-libs-1.0.8-20.fc42.x86_64 ca-certificates-2024.2.69_v8.0.401-6.fc42.noarch coreutils-9.6-2.fc42.x86_64 coreutils-common-9.6-2.fc42.x86_64 cpio-2.15-4.fc42.x86_64 crypto-policies-20250214-1.gitff7551b.fc42.noarch curl-8.11.1-4.fc42.x86_64 cyrus-sasl-lib-2.1.28-30.fc42.x86_64 debugedit-5.1-6.fc42.x86_64 diffutils-3.12-1.fc42.x86_64 dwz-0.15-9.fc42.x86_64 ed-1.21-2.fc42.x86_64 efi-srpm-macros-6-3.fc42.noarch elfutils-0.192-9.fc42.x86_64 elfutils-debuginfod-client-0.192-9.fc42.x86_64 elfutils-default-yama-scope-0.192-9.fc42.noarch elfutils-libelf-0.192-9.fc42.x86_64 elfutils-libs-0.192-9.fc42.x86_64 fedora-gpg-keys-42-1.noarch fedora-release-42-26.noarch fedora-release-common-42-26.noarch fedora-release-identity-basic-42-26.noarch fedora-repos-42-1.noarch file-5.46-1.fc42.x86_64 file-libs-5.46-1.fc42.x86_64 filesystem-3.18-36.fc42.x86_64 filesystem-srpm-macros-3.18-36.fc42.noarch findutils-4.10.0-5.fc42.x86_64 fonts-srpm-macros-2.0.5-21.fc42.noarch forge-srpm-macros-0.4.0-2.fc42.noarch fpc-srpm-macros-1.3-14.fc42.noarch gawk-5.3.1-1.fc42.x86_64 gdb-minimal-16.2-3.fc42.x86_64 gdbm-libs-1.23-9.fc42.x86_64 ghc-srpm-macros-1.9.2-2.fc42.noarch glibc-2.41-5.fc42.x86_64 glibc-common-2.41-5.fc42.x86_64 glibc-gconv-extra-2.41-5.fc42.x86_64 glibc-minimal-langpack-2.41-5.fc42.x86_64 gmp-6.3.0-4.fc42.x86_64 gnat-srpm-macros-6-7.fc42.noarch go-srpm-macros-3.6.0-6.fc42.noarch gpg-pubkey-105ef944-65ca83d1 grep-3.11-10.fc42.x86_64 gzip-1.13-3.fc42.x86_64 info-7.2-3.fc42.x86_64 jansson-2.14-2.fc42.x86_64 json-c-0.18-2.fc42.x86_64 kernel-srpm-macros-1.0-25.fc42.noarch keyutils-libs-1.6.3-5.fc42.x86_64 krb5-libs-1.21.3-5.fc42.x86_64 libacl-2.3.2-3.fc42.x86_64 libarchive-3.7.7-4.fc42.x86_64 libattr-2.5.2-5.fc42.x86_64 libblkid-2.40.4-7.fc42.x86_64 libbrotli-1.1.0-6.fc42.x86_64 libcap-2.73-2.fc42.x86_64 libcap-ng-0.8.5-4.fc42.x86_64 libcom_err-1.47.2-3.fc42.x86_64 libcurl-8.11.1-4.fc42.x86_64 libeconf-0.7.6-1.fc42.x86_64 libevent-2.1.12-15.fc42.x86_64 libfdisk-2.40.4-7.fc42.x86_64 libffi-3.4.6-5.fc42.x86_64 libgcc-15.1.1-1.fc42.x86_64 libgomp-15.1.1-1.fc42.x86_64 libidn2-2.3.8-1.fc42.x86_64 libmount-2.40.4-7.fc42.x86_64 libnghttp2-1.64.0-3.fc42.x86_64 libpkgconf-2.3.0-2.fc42.x86_64 libpsl-0.21.5-5.fc42.x86_64 libselinux-3.8-1.fc42.x86_64 libsemanage-3.8-1.fc42.x86_64 libsepol-3.8-1.fc42.x86_64 libsmartcols-2.40.4-7.fc42.x86_64 libssh-0.11.1-4.fc42.x86_64 libssh-config-0.11.1-4.fc42.noarch libstdc++-15.1.1-1.fc42.x86_64 libtasn1-4.20.0-1.fc42.x86_64 libtool-ltdl-2.5.4-4.fc42.x86_64 libunistring-1.1-9.fc42.x86_64 libuuid-2.40.4-7.fc42.x86_64 libverto-0.3.2-10.fc42.x86_64 libxcrypt-4.4.38-7.fc42.x86_64 libxml2-2.12.10-1.fc42.x86_64 libzstd-1.5.7-1.fc42.x86_64 lua-libs-5.4.7-3.fc42.x86_64 lua-srpm-macros-1-15.fc42.noarch lz4-libs-1.10.0-2.fc42.x86_64 mpfr-4.2.2-1.fc42.x86_64 ncurses-base-6.5-5.20250125.fc42.noarch ncurses-libs-6.5-5.20250125.fc42.x86_64 ocaml-srpm-macros-10-4.fc42.noarch openblas-srpm-macros-2-19.fc42.noarch openldap-2.6.9-3.fc42.x86_64 openssl-libs-3.2.4-3.fc42.x86_64 p11-kit-0.25.5-5.fc42.x86_64 p11-kit-trust-0.25.5-5.fc42.x86_64 package-notes-srpm-macros-0.5-13.fc42.noarch pam-libs-1.7.0-4.fc42.x86_64 patch-2.8-1.fc42.x86_64 pcre2-10.45-1.fc42.x86_64 pcre2-syntax-10.45-1.fc42.noarch perl-srpm-macros-1-57.fc42.noarch pkgconf-2.3.0-2.fc42.x86_64 pkgconf-m4-2.3.0-2.fc42.noarch pkgconf-pkg-config-2.3.0-2.fc42.x86_64 popt-1.19-8.fc42.x86_64 publicsuffix-list-dafsa-20250116-1.fc42.noarch pyproject-srpm-macros-1.18.1-1.fc42.noarch python-srpm-macros-3.13-4.fc42.noarch qt5-srpm-macros-5.15.15-1.fc42.noarch qt6-srpm-macros-6.9.0-2.fc42.noarch readline-8.2-13.fc42.x86_64 redhat-rpm-config-342-4.fc42.noarch rpm-4.20.1-1.fc42.x86_64 rpm-build-4.20.1-1.fc42.x86_64 rpm-build-libs-4.20.1-1.fc42.x86_64 rpm-libs-4.20.1-1.fc42.x86_64 rpm-sequoia-1.7.0-5.fc42.x86_64 rust-srpm-macros-26.3-4.fc42.noarch sed-4.9-4.fc42.x86_64 setup-2.15.0-13.fc42.noarch shadow-utils-4.17.4-1.fc42.x86_64 sqlite-libs-3.47.2-2.fc42.x86_64 systemd-libs-257.5-2.fc42.x86_64 systemd-standalone-sysusers-257.5-2.fc42.x86_64 tar-1.35-5.fc42.x86_64 tree-sitter-srpm-macros-0.1.0-8.fc42.noarch unzip-6.0-66.fc42.x86_64 util-linux-2.40.4-7.fc42.x86_64 util-linux-core-2.40.4-7.fc42.x86_64 which-2.23-1.fc42.x86_64 xxhash-libs-0.8.3-2.fc42.x86_64 xz-5.8.1-2.fc42.x86_64 xz-libs-5.8.1-2.fc42.x86_64 zig-srpm-macros-1-4.fc42.noarch zip-3.0-43.fc42.x86_64 zlib-ng-compat-2.2.4-3.fc42.x86_64 zstd-1.5.7-1.fc42.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.fc42.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-42-x86_64-1746154794.966707/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-f0unhg28/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.fc42.src.rpm) Config(fedora-42-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-42-x86_64-bootstrap-1746154794.966707/root. INFO: reusing tmpfs at /var/lib/mock/fedora-42-x86_64-bootstrap-1746154794.966707/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-42-x86_64-1746154794.966707/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.fc42.x86_64 rpm-sequoia-1.7.0-5.fc42.x86_64 dnf5-5.2.13.1-1.fc42.x86_64 dnf5-plugins-5.2.13.1-1.fc42.x86_64 Finish: chroot init Start: build phase for lem-2025.03.13-1.fc42.src.rpm Start: build setup for lem-2025.03.13-1.fc42.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.fc42.src.rpm Updating and loading repositories: updates 100% | 1.1 MiB/s | 30.8 KiB | 00m00s fedora 100% | 239.5 KiB/s | 28.0 KiB | 00m00s Copr repository 100% | 116.6 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: help2man noarch 1.49.3-7.fc42 fedora 415.6 KiB ocaml x86_64 5.3.0-2.fc42 fedora 139.8 MiB ocaml-findlib x86_64 1.9.8-2.fc42 fedora 3.5 MiB ocaml-num-devel x86_64 1.5-11.fc42 fedora 949.9 KiB ocaml-ocamlbuild x86_64 0.15.0-3.fc42 fedora 13.8 MiB ocaml-rpm-macros noarch 5.3.0-2.fc42 fedora 19.8 KiB ocaml-zarith-devel x86_64 1.14-6.fc42 fedora 886.2 KiB Installing dependencies: annobin-docs noarch 12.88-1.fc42 fedora 98.6 KiB annobin-plugin-gcc x86_64 12.88-1.fc42 fedora 991.7 KiB cpp x86_64 15.1.1-1.fc42 updates 37.8 MiB expat x86_64 2.7.1-1.fc42 fedora 290.2 KiB gcc x86_64 15.1.1-1.fc42 updates 111.0 MiB gcc-plugin-annobin x86_64 15.1.1-1.fc42 updates 57.1 KiB glibc-devel x86_64 2.41-5.fc42 updates 2.3 MiB gmp-c++ x86_64 1:6.3.0-4.fc42 fedora 27.6 KiB gmp-devel x86_64 1:6.3.0-4.fc42 fedora 352.3 KiB groff-base x86_64 1.23.0-8.fc42 fedora 3.9 MiB kernel-headers x86_64 6.14.3-300.fc42 updates 6.5 MiB libb2 x86_64 0.98.1-13.fc42 fedora 46.1 KiB libmpc x86_64 1.3.1-7.fc42 fedora 164.5 KiB libxcrypt-devel x86_64 4.4.38-7.fc42 updates 30.8 KiB libzstd-devel x86_64 1.5.7-1.fc42 fedora 208.0 KiB make x86_64 1:4.4.1-10.fc42 fedora 1.8 MiB mpdecimal x86_64 4.0.0-2.fc42 fedora 216.8 KiB ncurses x86_64 6.5-5.20250125.fc42 fedora 608.1 KiB ocaml-num x86_64 1.5-11.fc42 fedora 505.9 KiB ocaml-runtime x86_64 5.3.0-2.fc42 fedora 4.4 MiB ocaml-zarith x86_64 1.14-6.fc42 fedora 375.9 KiB perl-AutoLoader noarch 5.74-517.fc42 updates 20.5 KiB perl-B x86_64 1.89-517.fc42 updates 498.0 KiB perl-Carp noarch 1.54-512.fc42 fedora 46.6 KiB perl-Class-Struct noarch 0.68-517.fc42 updates 25.4 KiB perl-Data-Dumper x86_64 2.189-513.fc42 fedora 115.6 KiB perl-Digest noarch 1.20-512.fc42 fedora 35.3 KiB perl-Digest-MD5 x86_64 2.59-6.fc42 fedora 59.7 KiB perl-DynaLoader x86_64 1.56-517.fc42 updates 32.1 KiB perl-Encode x86_64 4:3.21-512.fc42 fedora 4.7 MiB perl-Errno x86_64 1.38-517.fc42 updates 8.3 KiB perl-Exporter noarch 5.78-512.fc42 fedora 54.3 KiB perl-Fcntl x86_64 1.18-517.fc42 updates 48.9 KiB perl-File-Basename noarch 2.86-517.fc42 updates 14.0 KiB perl-File-Path noarch 2.18-512.fc42 fedora 63.5 KiB perl-File-Temp noarch 1:0.231.100-512.fc42 fedora 162.3 KiB perl-File-stat noarch 1.14-517.fc42 updates 12.5 KiB perl-FileHandle noarch 2.05-517.fc42 updates 9.3 KiB perl-Getopt-Long noarch 1:2.58-3.fc42 fedora 144.5 KiB perl-Getopt-Std noarch 1.14-517.fc42 updates 11.2 KiB perl-HTTP-Tiny noarch 0.090-2.fc42 fedora 154.4 KiB perl-IO x86_64 1.55-517.fc42 updates 147.0 KiB perl-IO-Socket-IP noarch 0.43-2.fc42 fedora 100.3 KiB perl-IO-Socket-SSL noarch 2.089-2.fc42 fedora 703.3 KiB perl-IPC-Open3 noarch 1.22-517.fc42 updates 22.5 KiB perl-MIME-Base32 noarch 1.303-23.fc42 fedora 30.7 KiB perl-MIME-Base64 x86_64 3.16-512.fc42 fedora 42.0 KiB perl-Net-SSLeay x86_64 1.94-8.fc42 fedora 1.3 MiB perl-POSIX x86_64 2.20-517.fc42 updates 231.0 KiB perl-PathTools x86_64 3.91-513.fc42 fedora 180.0 KiB perl-Pod-Escapes noarch 1:1.07-512.fc42 fedora 24.9 KiB perl-Pod-Perldoc noarch 3.28.01-513.fc42 fedora 163.7 KiB perl-Pod-Simple noarch 1:3.45-512.fc42 fedora 560.8 KiB perl-Pod-Usage noarch 4:2.05-1.fc42 fedora 86.3 KiB perl-Scalar-List-Utils x86_64 5:1.69-1.fc42 updates 144.8 KiB perl-SelectSaver noarch 1.02-517.fc42 updates 2.2 KiB perl-Socket x86_64 4:2.038-512.fc42 fedora 119.9 KiB perl-Storable x86_64 1:3.32-512.fc42 fedora 232.3 KiB perl-Symbol noarch 1.09-517.fc42 updates 6.8 KiB perl-Term-ANSIColor noarch 5.01-513.fc42 fedora 97.5 KiB perl-Term-Cap noarch 1.18-512.fc42 fedora 29.3 KiB perl-Text-ParseWords noarch 3.31-512.fc42 fedora 13.6 KiB perl-Text-Tabs+Wrap noarch 2024.001-512.fc42 fedora 22.6 KiB perl-Time-Local noarch 2:1.350-512.fc42 fedora 68.9 KiB perl-URI noarch 5.31-2.fc42 fedora 257.0 KiB perl-base noarch 2.27-517.fc42 updates 12.5 KiB perl-constant noarch 1.33-513.fc42 fedora 26.2 KiB perl-if noarch 0.61.000-517.fc42 updates 5.8 KiB perl-interpreter x86_64 4:5.40.2-517.fc42 updates 118.3 KiB perl-libnet noarch 3.15-513.fc42 fedora 289.4 KiB perl-libs x86_64 4:5.40.2-517.fc42 updates 9.8 MiB perl-locale noarch 1.12-517.fc42 updates 6.5 KiB perl-mro x86_64 1.29-517.fc42 updates 41.5 KiB perl-overload noarch 1.37-517.fc42 updates 71.5 KiB perl-overloading noarch 0.02-517.fc42 updates 4.8 KiB perl-parent noarch 1:0.244-2.fc42 fedora 10.3 KiB perl-podlators noarch 1:6.0.2-3.fc42 fedora 317.5 KiB perl-vars noarch 1.05-517.fc42 updates 3.9 KiB python-pip-wheel noarch 24.3.1-2.fc42 fedora 1.2 MiB python3 x86_64 3.13.3-2.fc42 updates 28.7 KiB python3-libs x86_64 3.13.3-2.fc42 updates 39.9 MiB tzdata noarch 2025b-1.fc42 fedora 1.6 MiB Transaction Summary: Installing: 89 packages Total size of inbound packages is 118 MiB. Need to download 118 MiB. After this operation, 395 MiB extra will be used (install 395 MiB, remove 0 B). [ 1/89] help2man-0:1.49.3-7.fc42.noarch 100% | 18.5 MiB/s | 227.0 KiB | 00m00s [ 2/89] ocaml-num-devel-0:1.5-11.fc42.x 100% | 26.4 MiB/s | 351.6 KiB | 00m00s [ 3/89] ocaml-ocamlbuild-0:0.15.0-3.fc4 100% | 117.4 MiB/s | 4.2 MiB | 00m00s [ 4/89] ocaml-findlib-0:1.9.8-2.fc42.x8 100% | 16.3 MiB/s | 1.0 MiB | 00m00s [ 5/89] ocaml-rpm-macros-0:5.3.0-2.fc42 100% | 1.3 MiB/s | 14.8 KiB | 00m00s [ 6/89] perl-Getopt-Long-1:2.58-3.fc42. 100% | 62.2 MiB/s | 63.7 KiB | 00m00s [ 7/89] perl-Text-ParseWords-0:3.31-512 100% | 16.1 MiB/s | 16.5 KiB | 00m00s [ 8/89] perl-Text-Tabs+Wrap-0:2024.001- 100% | 21.3 MiB/s | 21.8 KiB | 00m00s [ 9/89] libzstd-devel-0:1.5.7-1.fc42.x8 100% | 51.9 MiB/s | 53.1 KiB | 00m00s [10/89] ocaml-zarith-devel-0:1.14-6.fc4 100% | 12.4 MiB/s | 392.2 KiB | 00m00s [11/89] ocaml-num-0:1.5-11.fc42.x86_64 100% | 21.3 MiB/s | 239.9 KiB | 00m00s [12/89] ncurses-0:6.5-5.20250125.fc42.x 100% | 138.2 MiB/s | 424.5 KiB | 00m00s [13/89] gmp-devel-1:6.3.0-4.fc42.x86_64 100% | 56.8 MiB/s | 174.4 KiB | 00m00s [14/89] ocaml-runtime-0:5.3.0-2.fc42.x8 100% | 42.2 MiB/s | 2.2 MiB | 00m00s [15/89] perl-Exporter-0:5.78-512.fc42.n 100% | 15.1 MiB/s | 31.0 KiB | 00m00s [16/89] ocaml-zarith-0:1.14-6.fc42.x86_ 100% | 6.7 MiB/s | 158.8 KiB | 00m00s [17/89] perl-Pod-Usage-4:2.05-1.fc42.no 100% | 13.2 MiB/s | 40.5 KiB | 00m00s [18/89] perl-constant-0:1.33-513.fc42.n 100% | 7.5 MiB/s | 23.0 KiB | 00m00s [19/89] perl-Carp-0:1.54-512.fc42.noarc 100% | 14.1 MiB/s | 28.9 KiB | 00m00s [20/89] gmp-c++-1:6.3.0-4.fc42.x86_64 100% | 9.0 MiB/s | 18.5 KiB | 00m00s [21/89] perl-PathTools-0:3.91-513.fc42. 100% | 42.6 MiB/s | 87.3 KiB | 00m00s [22/89] perl-Pod-Perldoc-0:3.28.01-513. 100% | 41.9 MiB/s | 85.8 KiB | 00m00s [23/89] perl-podlators-1:6.0.2-3.fc42.n 100% | 62.8 MiB/s | 128.6 KiB | 00m00s [24/89] groff-base-0:1.23.0-8.fc42.x86_ 100% | 157.8 MiB/s | 1.1 MiB | 00m00s [25/89] perl-File-Temp-1:0.231.100-512. 100% | 11.6 MiB/s | 59.2 KiB | 00m00s [26/89] perl-HTTP-Tiny-0:0.090-2.fc42.n 100% | 27.6 MiB/s | 56.5 KiB | 00m00s [27/89] perl-Pod-Simple-1:3.45-512.fc42 100% | 106.9 MiB/s | 219.0 KiB | 00m00s [28/89] perl-parent-1:0.244-2.fc42.noar 100% | 14.9 MiB/s | 15.2 KiB | 00m00s [29/89] perl-Term-ANSIColor-0:5.01-513. 100% | 23.3 MiB/s | 47.7 KiB | 00m00s [30/89] perl-Term-Cap-0:1.18-512.fc42.n 100% | 21.6 MiB/s | 22.2 KiB | 00m00s [31/89] perl-File-Path-0:2.18-512.fc42. 100% | 34.4 MiB/s | 35.2 KiB | 00m00s [32/89] perl-IO-Socket-SSL-0:2.089-2.fc 100% | 112.4 MiB/s | 230.2 KiB | 00m00s [33/89] perl-MIME-Base64-0:3.16-512.fc4 100% | 29.2 MiB/s | 29.9 KiB | 00m00s [34/89] perl-Socket-4:2.038-512.fc42.x8 100% | 53.5 MiB/s | 54.8 KiB | 00m00s [35/89] perl-Net-SSLeay-0:1.94-8.fc42.x 100% | 122.4 MiB/s | 376.0 KiB | 00m00s [36/89] perl-Time-Local-2:1.350-512.fc4 100% | 16.8 MiB/s | 34.5 KiB | 00m00s [37/89] perl-Pod-Escapes-1:1.07-512.fc4 100% | 19.4 MiB/s | 19.8 KiB | 00m00s [38/89] perl-IO-Socket-IP-0:0.43-2.fc42 100% | 13.8 MiB/s | 42.4 KiB | 00m00s [39/89] perl-URI-0:5.31-2.fc42.noarch 100% | 34.4 MiB/s | 140.7 KiB | 00m00s [40/89] perl-Data-Dumper-0:2.189-513.fc 100% | 27.7 MiB/s | 56.7 KiB | 00m00s [41/89] perl-MIME-Base32-0:1.303-23.fc4 100% | 6.7 MiB/s | 20.5 KiB | 00m00s [42/89] perl-libnet-0:3.15-513.fc42.noa 100% | 41.8 MiB/s | 128.4 KiB | 00m00s [43/89] perl-Digest-MD5-0:2.59-6.fc42.x 100% | 17.6 MiB/s | 36.0 KiB | 00m00s [44/89] perl-Digest-0:1.20-512.fc42.noa 100% | 24.3 MiB/s | 24.9 KiB | 00m00s [45/89] perl-File-Basename-0:2.86-517.f 100% | 17.0 MiB/s | 17.4 KiB | 00m00s [46/89] perl-POSIX-0:2.20-517.fc42.x86_ 100% | 95.6 MiB/s | 97.9 KiB | 00m00s [47/89] perl-interpreter-4:5.40.2-517.f 100% | 23.6 MiB/s | 72.4 KiB | 00m00s [48/89] perl-Errno-0:1.38-517.fc42.x86_ 100% | 3.7 MiB/s | 15.2 KiB | 00m00s [49/89] perl-libs-4:5.40.2-517.fc42.x86 100% | 211.8 MiB/s | 2.3 MiB | 00m00s [50/89] perl-Encode-4:3.21-512.fc42.x86 100% | 150.3 MiB/s | 1.1 MiB | 00m00s [51/89] perl-Storable-1:3.32-512.fc42.x 100% | 24.3 MiB/s | 99.6 KiB | 00m00s [52/89] perl-Fcntl-0:1.18-517.fc42.x86_ 100% | 14.7 MiB/s | 30.1 KiB | 00m00s [53/89] perl-FileHandle-0:2.05-517.fc42 100% | 15.4 MiB/s | 15.7 KiB | 00m00s [54/89] perl-Symbol-0:1.09-517.fc42.noa 100% | 14.1 MiB/s | 14.4 KiB | 00m00s [55/89] perl-IO-0:1.55-517.fc42.x86_64 100% | 26.7 MiB/s | 82.1 KiB | 00m00s [56/89] perl-Scalar-List-Utils-5:1.69-1 100% | 36.5 MiB/s | 74.8 KiB | 00m00s [57/89] perl-base-0:2.27-517.fc42.noarc 100% | 16.1 MiB/s | 16.4 KiB | 00m00s [58/89] perl-overload-0:1.37-517.fc42.n 100% | 22.4 MiB/s | 45.8 KiB | 00m00s [59/89] perl-vars-0:1.05-517.fc42.noarc 100% | 6.5 MiB/s | 13.2 KiB | 00m00s [60/89] perl-if-0:0.61.000-517.fc42.noa 100% | 6.9 MiB/s | 14.2 KiB | 00m00s [61/89] perl-IPC-Open3-0:1.22-517.fc42. 100% | 10.8 MiB/s | 22.1 KiB | 00m00s [62/89] perl-AutoLoader-0:5.74-517.fc42 100% | 21.0 MiB/s | 21.5 KiB | 00m00s [63/89] perl-Getopt-Std-0:1.14-517.fc42 100% | 15.5 MiB/s | 15.9 KiB | 00m00s [64/89] perl-B-0:1.89-517.fc42.x86_64 100% | 86.4 MiB/s | 177.0 KiB | 00m00s [65/89] python3-0:3.13.3-2.fc42.x86_64 100% | 29.0 MiB/s | 29.7 KiB | 00m00s [66/89] expat-0:2.7.1-1.fc42.x86_64 100% | 37.5 MiB/s | 115.1 KiB | 00m00s [67/89] libb2-0:0.98.1-13.fc42.x86_64 100% | 8.3 MiB/s | 25.4 KiB | 00m00s [68/89] mpdecimal-0:4.0.0-2.fc42.x86_64 100% | 18.9 MiB/s | 97.0 KiB | 00m00s [69/89] ocaml-0:5.3.0-2.fc42.x86_64 100% | 125.2 MiB/s | 32.9 MiB | 00m00s [70/89] python-pip-wheel-0:24.3.1-2.fc4 100% | 30.1 MiB/s | 1.2 MiB | 00m00s [71/89] python3-libs-0:3.13.3-2.fc42.x8 100% | 138.9 MiB/s | 9.2 MiB | 00m00s [72/89] tzdata-0:2025b-1.fc42.noarch 100% | 43.6 MiB/s | 714.0 KiB | 00m00s [73/89] libmpc-0:1.3.1-7.fc42.x86_64 100% | 69.2 MiB/s | 70.9 KiB | 00m00s [74/89] make-1:4.4.1-10.fc42.x86_64 100% | 114.6 MiB/s | 587.0 KiB | 00m00s [75/89] perl-mro-0:1.29-517.fc42.x86_64 100% | 14.7 MiB/s | 30.1 KiB | 00m00s [76/89] perl-overloading-0:0.02-517.fc4 100% | 4.3 MiB/s | 13.1 KiB | 00m00s [77/89] perl-DynaLoader-0:1.56-517.fc42 100% | 6.4 MiB/s | 26.3 KiB | 00m00s [78/89] perl-locale-0:1.12-517.fc42.noa 100% | 2.7 MiB/s | 13.9 KiB | 00m00s [79/89] perl-File-stat-0:1.14-517.fc42. 100% | 5.6 MiB/s | 17.3 KiB | 00m00s [80/89] perl-SelectSaver-0:1.02-517.fc4 100% | 2.9 MiB/s | 12.0 KiB | 00m00s [81/89] perl-Class-Struct-0:0.68-517.fc 100% | 2.7 MiB/s | 22.3 KiB | 00m00s [82/89] glibc-devel-0:2.41-5.fc42.x86_6 100% | 62.5 MiB/s | 640.3 KiB | 00m00s [83/89] kernel-headers-0:6.14.3-300.fc4 100% | 87.2 MiB/s | 1.7 MiB | 00m00s [84/89] libxcrypt-devel-0:4.4.38-7.fc42 100% | 3.6 MiB/s | 29.4 KiB | 00m00s [85/89] gcc-plugin-annobin-0:15.1.1-1.f 100% | 7.1 MiB/s | 50.5 KiB | 00m00s [86/89] annobin-plugin-gcc-0:12.88-1.fc 100% | 79.9 MiB/s | 981.9 KiB | 00m00s [87/89] cpp-0:15.1.1-1.fc42.x86_64 100% | 105.7 MiB/s | 12.9 MiB | 00m00s [88/89] annobin-docs-0:12.88-1.fc42.noa 100% | 4.7 MiB/s | 91.7 KiB | 00m00s [89/89] gcc-0:15.1.1-1.fc42.x86_64 100% | 185.1 MiB/s | 39.4 MiB | 00m00s -------------------------------------------------------------------------------- [89/89] Total 100% | 218.3 MiB/s | 117.7 MiB | 00m01s Running transaction [ 1/91] Verify package files 100% | 244.0 B/s | 89.0 B | 00m00s [ 2/91] Prepare transaction 100% | 1.9 KiB/s | 89.0 B | 00m00s [ 3/91] Installing ocaml-runtime-0:5.3. 100% | 156.4 MiB/s | 4.4 MiB | 00m00s [ 4/91] Installing libmpc-0:1.3.1-7.fc4 100% | 162.2 MiB/s | 166.1 KiB | 00m00s [ 5/91] Installing ncurses-0:6.5-5.2025 100% | 37.5 MiB/s | 614.7 KiB | 00m00s [ 6/91] Installing cpp-0:15.1.1-1.fc42. 100% | 315.4 MiB/s | 37.8 MiB | 00m00s [ 7/91] Installing annobin-docs-0:12.88 100% | 32.5 MiB/s | 99.8 KiB | 00m00s [ 8/91] Installing kernel-headers-0:6.1 100% | 202.7 MiB/s | 6.7 MiB | 00m00s [ 9/91] Installing libxcrypt-devel-0:4. 100% | 16.2 MiB/s | 33.1 KiB | 00m00s [10/91] Installing glibc-devel-0:2.41-5 100% | 166.6 MiB/s | 2.3 MiB | 00m00s [11/91] Installing make-1:4.4.1-10.fc42 100% | 90.0 MiB/s | 1.8 MiB | 00m00s [12/91] Installing gcc-0:15.1.1-1.fc42. 100% | 372.7 MiB/s | 111.1 MiB | 00m00s [13/91] Installing tzdata-0:2025b-1.fc4 100% | 55.6 MiB/s | 1.9 MiB | 00m00s [14/91] Installing python-pip-wheel-0:2 100% | 622.1 MiB/s | 1.2 MiB | 00m00s [15/91] Installing mpdecimal-0:4.0.0-2. 100% | 213.2 MiB/s | 218.4 KiB | 00m00s [16/91] Installing libb2-0:0.98.1-13.fc 100% | 0.0 B/s | 47.2 KiB | 00m00s [17/91] Installing expat-0:2.7.1-1.fc42 100% | 14.3 MiB/s | 292.3 KiB | 00m00s [18/91] Installing python3-libs-0:3.13. 100% | 314.8 MiB/s | 40.3 MiB | 00m00s [19/91] Installing python3-0:3.13.3-2.f 100% | 1.4 MiB/s | 30.5 KiB | 00m00s [20/91] Installing groff-base-0:1.23.0- 100% | 111.2 MiB/s | 3.9 MiB | 00m00s [21/91] Installing perl-Digest-0:1.20-5 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [22/91] Installing perl-Digest-MD5-0:2. 100% | 60.1 MiB/s | 61.6 KiB | 00m00s [23/91] Installing perl-B-0:1.89-517.fc 100% | 244.8 MiB/s | 501.3 KiB | 00m00s [24/91] Installing perl-FileHandle-0:2. 100% | 0.0 B/s | 9.8 KiB | 00m00s [25/91] Installing perl-MIME-Base32-0:1 100% | 31.4 MiB/s | 32.2 KiB | 00m00s [26/91] Installing perl-Data-Dumper-0:2 100% | 114.7 MiB/s | 117.5 KiB | 00m00s [27/91] Installing perl-libnet-0:3.15-5 100% | 143.9 MiB/s | 294.7 KiB | 00m00s [28/91] Installing perl-AutoLoader-0:5. 100% | 0.0 B/s | 20.9 KiB | 00m00s [29/91] Installing perl-IO-Socket-IP-0: 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [30/91] Installing perl-URI-0:5.31-2.fc 100% | 87.8 MiB/s | 269.6 KiB | 00m00s [31/91] Installing perl-Text-Tabs+Wrap- 100% | 0.0 B/s | 23.9 KiB | 00m00s [32/91] Installing perl-Time-Local-2:1. 100% | 68.9 MiB/s | 70.6 KiB | 00m00s [33/91] Installing perl-File-Path-0:2.1 100% | 0.0 B/s | 64.5 KiB | 00m00s [34/91] Installing perl-Pod-Escapes-1:1 100% | 0.0 B/s | 25.9 KiB | 00m00s [35/91] Installing perl-if-0:0.61.000-5 100% | 0.0 B/s | 6.2 KiB | 00m00s [36/91] Installing perl-Net-SSLeay-0:1. 100% | 271.7 MiB/s | 1.4 MiB | 00m00s [37/91] Installing perl-locale-0:1.12-5 100% | 0.0 B/s | 6.9 KiB | 00m00s [38/91] Installing perl-IO-Socket-SSL-0 100% | 345.4 MiB/s | 707.4 KiB | 00m00s [39/91] Installing perl-Term-ANSIColor- 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [40/91] Installing perl-Term-Cap-0:1.18 100% | 29.9 MiB/s | 30.6 KiB | 00m00s [41/91] Installing perl-Pod-Simple-1:3. 100% | 185.7 MiB/s | 570.4 KiB | 00m00s [42/91] Installing perl-POSIX-0:2.20-51 100% | 226.9 MiB/s | 232.3 KiB | 00m00s [43/91] Installing perl-File-Temp-1:0.2 100% | 160.2 MiB/s | 164.1 KiB | 00m00s [44/91] Installing perl-HTTP-Tiny-0:0.0 100% | 152.8 MiB/s | 156.4 KiB | 00m00s [45/91] Installing perl-IPC-Open3-0:1.2 100% | 0.0 B/s | 23.3 KiB | 00m00s [46/91] Installing perl-Class-Struct-0: 100% | 0.0 B/s | 25.9 KiB | 00m00s [47/91] Installing perl-Socket-4:2.038- 100% | 119.1 MiB/s | 122.0 KiB | 00m00s [48/91] Installing perl-Symbol-0:1.09-5 100% | 0.0 B/s | 7.2 KiB | 00m00s [49/91] Installing perl-SelectSaver-0:1 100% | 0.0 B/s | 2.6 KiB | 00m00s [50/91] Installing perl-podlators-1:6.0 100% | 19.6 MiB/s | 321.4 KiB | 00m00s [51/91] Installing perl-Pod-Perldoc-0:3 100% | 11.0 MiB/s | 169.2 KiB | 00m00s [52/91] Installing perl-File-stat-0:1.1 100% | 0.0 B/s | 13.1 KiB | 00m00s [53/91] Installing perl-Text-ParseWords 100% | 0.0 B/s | 14.6 KiB | 00m00s [54/91] Installing perl-Fcntl-0:1.18-51 100% | 48.8 MiB/s | 50.0 KiB | 00m00s [55/91] Installing perl-base-0:2.27-517 100% | 0.0 B/s | 12.9 KiB | 00m00s [56/91] Installing perl-mro-0:1.29-517. 100% | 41.6 MiB/s | 42.6 KiB | 00m00s [57/91] Installing perl-overloading-0:0 100% | 0.0 B/s | 5.5 KiB | 00m00s [58/91] Installing perl-Pod-Usage-4:2.0 100% | 6.6 MiB/s | 87.9 KiB | 00m00s [59/91] Installing perl-IO-0:1.55-517.f 100% | 147.7 MiB/s | 151.2 KiB | 00m00s [60/91] Installing perl-constant-0:1.33 100% | 0.0 B/s | 27.4 KiB | 00m00s [61/91] Installing perl-parent-1:0.244- 100% | 0.0 B/s | 11.0 KiB | 00m00s [62/91] Installing perl-MIME-Base64-0:3 100% | 43.2 MiB/s | 44.3 KiB | 00m00s [63/91] Installing perl-File-Basename-0 100% | 0.0 B/s | 14.6 KiB | 00m00s [64/91] Installing perl-Errno-0:1.38-51 100% | 8.5 MiB/s | 8.7 KiB | 00m00s [65/91] Installing perl-Scalar-List-Uti 100% | 145.0 MiB/s | 148.5 KiB | 00m00s [66/91] Installing perl-vars-0:1.05-517 100% | 0.0 B/s | 4.3 KiB | 00m00s [67/91] Installing perl-Getopt-Std-0:1. 100% | 0.0 B/s | 11.7 KiB | 00m00s [68/91] Installing perl-overload-0:1.37 100% | 0.0 B/s | 71.9 KiB | 00m00s [69/91] Installing perl-Storable-1:3.32 100% | 228.4 MiB/s | 233.9 KiB | 00m00s [70/91] Installing perl-Getopt-Long-1:2 100% | 143.8 MiB/s | 147.2 KiB | 00m00s [71/91] Installing perl-Exporter-0:5.78 100% | 0.0 B/s | 55.6 KiB | 00m00s [72/91] Installing perl-Carp-0:1.54-512 100% | 46.6 MiB/s | 47.7 KiB | 00m00s [73/91] Installing perl-PathTools-0:3.9 100% | 180.2 MiB/s | 184.5 KiB | 00m00s [74/91] Installing perl-DynaLoader-0:1. 100% | 0.0 B/s | 32.5 KiB | 00m00s [75/91] Installing perl-Encode-4:3.21-5 100% | 180.5 MiB/s | 4.7 MiB | 00m00s [76/91] Installing perl-libs-4:5.40.2-5 100% | 267.3 MiB/s | 9.9 MiB | 00m00s [77/91] Installing perl-interpreter-4:5 100% | 8.4 MiB/s | 119.9 KiB | 00m00s [78/91] Installing gmp-c++-1:6.3.0-4.fc 100% | 27.8 MiB/s | 28.5 KiB | 00m00s [79/91] Installing gmp-devel-1:6.3.0-4. 100% | 345.8 MiB/s | 354.1 KiB | 00m00s [80/91] Installing libzstd-devel-0:1.5. 100% | 203.9 MiB/s | 208.8 KiB | 00m00s [81/91] Installing ocaml-0:5.3.0-2.fc42 100% | 421.2 MiB/s | 139.8 MiB | 00m00s [82/91] Installing ocaml-num-0:1.5-11.f 100% | 165.9 MiB/s | 509.6 KiB | 00m00s [83/91] Installing ocaml-zarith-0:1.14- 100% | 185.1 MiB/s | 379.0 KiB | 00m00s [84/91] Installing ocaml-zarith-devel-0 100% | 290.8 MiB/s | 893.3 KiB | 00m00s [85/91] Installing ocaml-num-devel-0:1. 100% | 310.2 MiB/s | 953.1 KiB | 00m00s [86/91] Installing ocaml-findlib-0:1.9. 100% | 151.5 MiB/s | 3.5 MiB | 00m00s [87/91] Installing ocaml-ocamlbuild-0:0 100% | 286.8 MiB/s | 13.8 MiB | 00m00s [88/91] Installing ocaml-rpm-macros-0:5 100% | 19.8 MiB/s | 20.3 KiB | 00m00s [89/91] Installing help2man-0:1.49.3-7. 100% | 24.4 MiB/s | 425.4 KiB | 00m00s [90/91] Installing gcc-plugin-annobin-0 100% | 4.8 MiB/s | 58.6 KiB | 00m00s [91/91] Installing annobin-plugin-gcc-0 100% | 5.4 MiB/s | 993.4 KiB | 00m00s Complete! Finish: build setup for lem-2025.03.13-1.fc42.src.rpm Start: rpmbuild lem-2025.03.13-1.fc42.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.k0sGIH Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.YvNpxA + 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.ugIflL + 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.PdSPbl + 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 3 inodes, 2 modified (2 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/lem-2025.03.13-build/SPECPARTS/rpm-debuginfo.specpart Processing files: lem-2025.03.13-1.fc42.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.JdxGYl + 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.biDPeg + 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.fc42 lem(x86-64) = 2025.03.13-1.fc42 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_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.fc42.x86_64 Provides: lem-devel = 2025.03.13-1.fc42 lem-devel(x86-64) = 2025.03.13-1.fc42 ocaml(Big_int_impl) = 443f2034ee674add1ac946fc5fd7e2c1 ocaml(Big_int_impl) = ea3956f3f0dadffe0b0d8f8cbf104ac4 ocaml(Bit) = 3e1b23d1aadce7adc57a6d7c0088d662 ocaml(Either) = 87c1c75287375730f6d3bb03d8390778 ocaml(Lem) = 32b04ed0d2eba167cb6412c1528d3ce0 ocaml(Lem) = d989087ea0bf0618b6edd79c831b9339 ocaml(Lem_assert_extra) = b5d4332d730fb6b156d7f64deb50b050 ocaml(Lem_basic_classes) = 6fd027020220a2b2add5e17a91f52225 ocaml(Lem_bool) = 4ebe8839729e3bc1ade29c1467774ef8 ocaml(Lem_debug) = 979674ee9764de619b2716e64f02db42 ocaml(Lem_either) = 61617e3199ba048915cffb8eb5e20e51 ocaml(Lem_function) = 3a750e818d70d8b040341c04d098a493 ocaml(Lem_function_extra) = d3a01803765b4a77a13e5145ccdf3790 ocaml(Lem_list) = 09d9106bef522995e510c838a836cb3a ocaml(Lem_list_extra) = 486a6e76a5b7e39c9a89316fc386e001 ocaml(Lem_machine_word) = 579b34820a5cb3cfaef69866faf50aa2 ocaml(Lem_machine_word) = b78f3ca485db07956b83fb35ffc2cd5f ocaml(Lem_map) = 075f5f30ca3e8c013b2bd8999b768c13 ocaml(Lem_map_extra) = 113149c4cb69a52a749b1224798a9b6a ocaml(Lem_maybe) = 0ec0b45ad6ef24bfd10d3b8b257d21e2 ocaml(Lem_maybe_extra) = ebeff93dca43677496c91ce470cc9af4 ocaml(Lem_num) = 0aaadb0d993ef8d917777caab3a6a136 ocaml(Lem_num) = b74236d993a91d3bab15c7964e46db8f ocaml(Lem_num_extra) = ba3e752d858aa6dbcbf32ed44a1cb972 ocaml(Lem_num_extra) = f12d6293d45ed576be9feb8f4937a66b ocaml(Lem_pervasives) = ec85eda441c83e2463fbfadadbcfff78 ocaml(Lem_pervasives) = fb9abce32c32a93ab771b8faa69bd187 ocaml(Lem_pervasives_extra) = 1adb5d53390f19846eee38c0dcad36e9 ocaml(Lem_pervasives_extra) = 9deb719ce4ca0efb76b9f935e278f5e5 ocaml(Lem_relation) = 4d9a3126c288c9c6d4ab4b1e56f52f1c ocaml(Lem_set) = f3f7416933d8d9aced0f492e7236ae38 ocaml(Lem_set_extra) = 1fae414bd1e67b431b49c3a25b50197b ocaml(Lem_set_helpers) = 8120e91ad4e9304666655c52a123c1db ocaml(Lem_show) = 26f61861b6b2975128630991737103b5 ocaml(Lem_show_extra) = 9eceff1fcda85fcab9bd8a6043e37744 ocaml(Lem_sorting) = c8e7a1ef01cf11c74c22284a1feeef16 ocaml(Lem_string) = 3731f3cc67cb3cb30cd238de03f73bc9 ocaml(Lem_string_extra) = 24315c6f56d5a41ce1f3b8bf9640ca61 ocaml(Lem_string_extra) = 388c2c68c948d32b0a87c2f516b4c1bd ocaml(Lem_tuple) = 87e45fb5e88f5ca59044f6f14475b994 ocaml(Lem_word) = 3b453764db1bf2b99bda4dc1e550df72 ocaml(Lem_word) = 870b4fd5f2e288010c716ba0c73e2d0c ocaml(Nat_big_num) = 326cf382ff0d26342d26eeae1c942580 ocaml(Nat_big_num) = 3d87c39994ccf3299c8272368a101e9f ocaml(Nat_num) = 6e01a447fdefed16d69e66f1fd0e8d53 ocaml(Pmap) = 8db594c189a6bf9952af973f3fbde32e ocaml(Pset) = 4ec2f2ef8393e40ed61e18e43a2f14dd ocaml(Rational) = 48be2bd83b36cb13669dcb90580e41f7 ocaml(Rational) = 9d8c9da7b290c8f036607e9068a3d761 ocaml(Rational_impl) = 68492c9e144905e25b1a0515382aa6a7 ocaml(Rational_impl) = f6088e144a32d397c3fd7943c2cd2eb6 ocaml(Vector) = 1bf4364bb6923a7e199a6df5dc3038c6 ocaml(Xstring) = 9466d877b2f7b4e7872a8a1f6ae68d3d ocamlx(Big_int_impl) = 7d1e7c912332b7a94f42907f00986be1 ocamlx(Big_int_impl) = d30bdb45bf93b3043b579c4d1571b451 ocamlx(Bit) = fc0fbc8c7780cf72ad5aaab608a30828 ocamlx(Either) = 5feaa7326e2a63beb64450e9b94fed0c ocamlx(Lem) = adabf0dbc2a6e717deaae07c7a2c2b7f ocamlx(Lem) = b3c5d488e9e71e0105b3b60852fdbb50 ocamlx(Lem_assert_extra) = 2f9c50a925c93e3f635b93f33927e4a3 ocamlx(Lem_basic_classes) = 70c5d0f454842abfb67f709948734a70 ocamlx(Lem_basic_classes) = 7eb934c0f83493f495deb204add94c3b ocamlx(Lem_bool) = f52f80e1161a3fbe601e01d9c7c3d6bf ocamlx(Lem_debug) = 7a1ed98316e62fe131384588bb71efe2 ocamlx(Lem_either) = 38b9ed3b07237ada9242042e4dab1f2b ocamlx(Lem_either) = a54b32464a84ff3c9e5257f6b1a8de62 ocamlx(Lem_function) = 43fe8316ebc863e8e91f53de13cfa2c3 ocamlx(Lem_function) = 99b89ef84281858277c082300325db57 ocamlx(Lem_function_extra) = 343e0baa84eda75cfaae5e97aeb497f8 ocamlx(Lem_function_extra) = cf749fe50718ce67dcc6f6f091309ea6 ocamlx(Lem_list) = 0015f6bc9a627c042b64de23cec46325 ocamlx(Lem_list) = 57da505c76942f7272d89956bcb63696 ocamlx(Lem_list_extra) = 1dfac667f2f178262e230b90bba98830 ocamlx(Lem_list_extra) = b3843636fb9d8a8c49ee9bef7ce38948 ocamlx(Lem_machine_word) = 01703f38621d6963f6f9b7a8e4fa36c7 ocamlx(Lem_machine_word) = 0515a5547c6c097bf25ed28aad03e73a ocamlx(Lem_map) = e2d7a5a1bcad88f19082ec67fb300160 ocamlx(Lem_map) = fcf6c4b9403d01e460ec0af1f446f29b ocamlx(Lem_map_extra) = 34a9f44f391feabdf3771265acd04479 ocamlx(Lem_map_extra) = aec9a0b47025fcf8e6f6a795e99da72d ocamlx(Lem_maybe) = c9bbd9cedd8f282074e59fdb7484906b ocamlx(Lem_maybe) = e143bdcea227a9f63da971c8cc96e889 ocamlx(Lem_maybe_extra) = 006153616dc5cbe2756983dba7707a6b ocamlx(Lem_maybe_extra) = 255e4eb68f52b4c00515e1986d6b0b81 ocamlx(Lem_num) = 585c3b40c56bbbefa0955e1283c54d38 ocamlx(Lem_num) = c93a7c79458919ca33a46dcdeeec39cf ocamlx(Lem_num_extra) = 2ef5667777316cb3df22258c40032e17 ocamlx(Lem_num_extra) = a6a48f0153101df3a1c95129f7d8dd1e ocamlx(Lem_pervasives) = 2af187d44bbf35e07c9bcb3f877f622a ocamlx(Lem_pervasives) = effd8807a10ee7a047931fcfe9843656 ocamlx(Lem_pervasives_extra) = 240a841e05e81ce64484a81200f64e07 ocamlx(Lem_pervasives_extra) = 8b133a09434bc6ab1ccea6e70f4ec13e ocamlx(Lem_relation) = 284d86bb15bf5dbb6db8a15f4b3676ca ocamlx(Lem_relation) = 96a34f6827a36f77abdf97d033185d71 ocamlx(Lem_set) = 2ea3cc880e0b298a3e56ae710a669c85 ocamlx(Lem_set) = 78c9fcd077821db8d5bbf68c626e1e5a ocamlx(Lem_set_extra) = 54a852516466000402549bdd12484553 ocamlx(Lem_set_extra) = f8e0120e9a1a2384097b099b041f1f8a ocamlx(Lem_set_helpers) = 73bcc0d41a844a9b1c10d495a3c3c3db ocamlx(Lem_set_helpers) = 846d3110baf1bf6dbe3327debf39d5bf ocamlx(Lem_show) = 8c3871d65a6ec61b9b634c5be6d5a87d ocamlx(Lem_show) = cf41532d92ab81e30488cdfab91e2dbd ocamlx(Lem_show_extra) = 8622912eac130eae86494fd653c98e8b ocamlx(Lem_show_extra) = dbea5ee94003bd42e535e9d5c94ad5eb ocamlx(Lem_sorting) = c24291f4d981528ab9af29cdf485a555 ocamlx(Lem_sorting) = ccda8c00dd98102831d77e9e7edd1f16 ocamlx(Lem_string) = 68d40d354bf88e4a1b4398f493db9b6b ocamlx(Lem_string) = dc684a51006ba72e251cf5bc44c7806d ocamlx(Lem_string_extra) = 0ecbbb72cc04f5c93699b5aee2581d88 ocamlx(Lem_string_extra) = ac61723c6f5cf5e3651bcb3fd78071bd ocamlx(Lem_tuple) = d0d0e18b2ef8c6441567d49b6d4b3e76 ocamlx(Lem_tuple) = d169d9992230f12fc382c08b409e3386 ocamlx(Lem_word) = 6f4722137d4829ec0df4c35110c6c876 ocamlx(Lem_word) = fb466fe8bec9b5374ffe76810a86cda2 ocamlx(Nat_big_num) = 0d877b0689e20f3f481c0b4b29da6c08 ocamlx(Nat_big_num) = b93c4155534c0153fb92e1385689b17d ocamlx(Nat_num) = b6c28763be7e0dc3644ebb5161051a7a ocamlx(Pmap) = 28eb9e79a367700075796e666509c49d ocamlx(Pset) = e73739a4eec4427cead116d59b00a356 ocamlx(Rational) = 034dcfc50c73441d4720e751af0a5ac3 ocamlx(Rational) = de95683dc2178d64f6c9efd3b6e6cd85 ocamlx(Rational_impl) = 12df7fd68a95359ff898303252c513d8 ocamlx(Rational_impl) = 6da887b48caccafa4785bb52ce990a62 ocamlx(Vector) = 525c5afe9379557b7aec59a4110f0108 ocamlx(Xstring) = 8cffcb77e0860f8c29869476c0c11057 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(Big_int_Z) = f7619514b131a39933cc9ce06f741304 ocaml(Big_int_impl) = 443f2034ee674add1ac946fc5fd7e2c1 ocaml(Big_int_impl) = ea3956f3f0dadffe0b0d8f8cbf104ac4 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Either) = 87c1c75287375730f6d3bb03d8390778 ocaml(Lem) = 32b04ed0d2eba167cb6412c1528d3ce0 ocaml(Lem) = d989087ea0bf0618b6edd79c831b9339 ocaml(Lem_assert_extra) = b5d4332d730fb6b156d7f64deb50b050 ocaml(Lem_basic_classes) = 6fd027020220a2b2add5e17a91f52225 ocaml(Lem_bool) = 4ebe8839729e3bc1ade29c1467774ef8 ocaml(Lem_either) = 61617e3199ba048915cffb8eb5e20e51 ocaml(Lem_function) = 3a750e818d70d8b040341c04d098a493 ocaml(Lem_function_extra) = d3a01803765b4a77a13e5145ccdf3790 ocaml(Lem_list) = 09d9106bef522995e510c838a836cb3a ocaml(Lem_list_extra) = 486a6e76a5b7e39c9a89316fc386e001 ocaml(Lem_machine_word) = 579b34820a5cb3cfaef69866faf50aa2 ocaml(Lem_machine_word) = b78f3ca485db07956b83fb35ffc2cd5f ocaml(Lem_map) = 075f5f30ca3e8c013b2bd8999b768c13 ocaml(Lem_map_extra) = 113149c4cb69a52a749b1224798a9b6a ocaml(Lem_maybe) = 0ec0b45ad6ef24bfd10d3b8b257d21e2 ocaml(Lem_maybe_extra) = ebeff93dca43677496c91ce470cc9af4 ocaml(Lem_num) = 0aaadb0d993ef8d917777caab3a6a136 ocaml(Lem_num) = b74236d993a91d3bab15c7964e46db8f ocaml(Lem_num_extra) = ba3e752d858aa6dbcbf32ed44a1cb972 ocaml(Lem_num_extra) = f12d6293d45ed576be9feb8f4937a66b ocaml(Lem_pervasives) = ec85eda441c83e2463fbfadadbcfff78 ocaml(Lem_pervasives) = fb9abce32c32a93ab771b8faa69bd187 ocaml(Lem_relation) = 4d9a3126c288c9c6d4ab4b1e56f52f1c ocaml(Lem_set) = f3f7416933d8d9aced0f492e7236ae38 ocaml(Lem_set_extra) = 1fae414bd1e67b431b49c3a25b50197b ocaml(Lem_set_helpers) = 8120e91ad4e9304666655c52a123c1db ocaml(Lem_show) = 26f61861b6b2975128630991737103b5 ocaml(Lem_show_extra) = 9eceff1fcda85fcab9bd8a6043e37744 ocaml(Lem_sorting) = c8e7a1ef01cf11c74c22284a1feeef16 ocaml(Lem_string) = 3731f3cc67cb3cb30cd238de03f73bc9 ocaml(Lem_string_extra) = 24315c6f56d5a41ce1f3b8bf9640ca61 ocaml(Lem_string_extra) = 388c2c68c948d32b0a87c2f516b4c1bd ocaml(Lem_tuple) = 87e45fb5e88f5ca59044f6f14475b994 ocaml(Lem_word) = 3b453764db1bf2b99bda4dc1e550df72 ocaml(Lem_word) = 870b4fd5f2e288010c716ba0c73e2d0c ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Nat_big_num) = 326cf382ff0d26342d26eeae1c942580 ocaml(Nat_big_num) = 3d87c39994ccf3299c8272368a101e9f ocaml(Nat_num) = 6e01a447fdefed16d69e66f1fd0e8d53 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(Pmap) = 8db594c189a6bf9952af973f3fbde32e ocaml(Pset) = 4ec2f2ef8393e40ed61e18e43a2f14dd ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Rational) = 48be2bd83b36cb13669dcb90580e41f7 ocaml(Rational) = 9d8c9da7b290c8f036607e9068a3d761 ocaml(Rational_impl) = 68492c9e144905e25b1a0515382aa6a7 ocaml(Rational_impl) = f6088e144a32d397c3fd7943c2cd2eb6 ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Xstring) = 9466d877b2f7b4e7872a8a1f6ae68d3d ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f ocamlx(Big_int) = 6d414683a4724fb70c803009c929b909 ocamlx(Big_int_Z) = b6fcc4c97c406233b4195fba1798f76e ocamlx(Big_int_impl) = 7d1e7c912332b7a94f42907f00986be1 ocamlx(Big_int_impl) = d30bdb45bf93b3043b579c4d1571b451 ocamlx(Either) = 5feaa7326e2a63beb64450e9b94fed0c ocamlx(Lem) = adabf0dbc2a6e717deaae07c7a2c2b7f ocamlx(Lem) = b3c5d488e9e71e0105b3b60852fdbb50 ocamlx(Lem_assert_extra) = 2f9c50a925c93e3f635b93f33927e4a3 ocamlx(Lem_basic_classes) = 70c5d0f454842abfb67f709948734a70 ocamlx(Lem_basic_classes) = 7eb934c0f83493f495deb204add94c3b ocamlx(Lem_bool) = f52f80e1161a3fbe601e01d9c7c3d6bf ocamlx(Lem_either) = 38b9ed3b07237ada9242042e4dab1f2b ocamlx(Lem_either) = a54b32464a84ff3c9e5257f6b1a8de62 ocamlx(Lem_function) = 43fe8316ebc863e8e91f53de13cfa2c3 ocamlx(Lem_function) = 99b89ef84281858277c082300325db57 ocamlx(Lem_function_extra) = 343e0baa84eda75cfaae5e97aeb497f8 ocamlx(Lem_function_extra) = cf749fe50718ce67dcc6f6f091309ea6 ocamlx(Lem_list) = 0015f6bc9a627c042b64de23cec46325 ocamlx(Lem_list) = 57da505c76942f7272d89956bcb63696 ocamlx(Lem_list_extra) = 1dfac667f2f178262e230b90bba98830 ocamlx(Lem_list_extra) = b3843636fb9d8a8c49ee9bef7ce38948 ocamlx(Lem_machine_word) = 01703f38621d6963f6f9b7a8e4fa36c7 ocamlx(Lem_machine_word) = 0515a5547c6c097bf25ed28aad03e73a ocamlx(Lem_map) = e2d7a5a1bcad88f19082ec67fb300160 ocamlx(Lem_map) = fcf6c4b9403d01e460ec0af1f446f29b ocamlx(Lem_map_extra) = 34a9f44f391feabdf3771265acd04479 ocamlx(Lem_map_extra) = aec9a0b47025fcf8e6f6a795e99da72d ocamlx(Lem_maybe) = c9bbd9cedd8f282074e59fdb7484906b ocamlx(Lem_maybe) = e143bdcea227a9f63da971c8cc96e889 ocamlx(Lem_maybe_extra) = 006153616dc5cbe2756983dba7707a6b ocamlx(Lem_maybe_extra) = 255e4eb68f52b4c00515e1986d6b0b81 ocamlx(Lem_num) = 585c3b40c56bbbefa0955e1283c54d38 ocamlx(Lem_num) = c93a7c79458919ca33a46dcdeeec39cf ocamlx(Lem_num_extra) = 2ef5667777316cb3df22258c40032e17 ocamlx(Lem_num_extra) = a6a48f0153101df3a1c95129f7d8dd1e ocamlx(Lem_pervasives) = 2af187d44bbf35e07c9bcb3f877f622a ocamlx(Lem_pervasives) = effd8807a10ee7a047931fcfe9843656 ocamlx(Lem_relation) = 284d86bb15bf5dbb6db8a15f4b3676ca ocamlx(Lem_relation) = 96a34f6827a36f77abdf97d033185d71 ocamlx(Lem_set) = 2ea3cc880e0b298a3e56ae710a669c85 ocamlx(Lem_set) = 78c9fcd077821db8d5bbf68c626e1e5a ocamlx(Lem_set_extra) = 54a852516466000402549bdd12484553 ocamlx(Lem_set_extra) = f8e0120e9a1a2384097b099b041f1f8a ocamlx(Lem_set_helpers) = 73bcc0d41a844a9b1c10d495a3c3c3db ocamlx(Lem_set_helpers) = 846d3110baf1bf6dbe3327debf39d5bf ocamlx(Lem_show) = 8c3871d65a6ec61b9b634c5be6d5a87d ocamlx(Lem_show) = cf41532d92ab81e30488cdfab91e2dbd ocamlx(Lem_show_extra) = 8622912eac130eae86494fd653c98e8b ocamlx(Lem_show_extra) = dbea5ee94003bd42e535e9d5c94ad5eb ocamlx(Lem_string) = 68d40d354bf88e4a1b4398f493db9b6b ocamlx(Lem_string) = dc684a51006ba72e251cf5bc44c7806d ocamlx(Lem_string_extra) = 0ecbbb72cc04f5c93699b5aee2581d88 ocamlx(Lem_string_extra) = ac61723c6f5cf5e3651bcb3fd78071bd ocamlx(Lem_tuple) = d0d0e18b2ef8c6441567d49b6d4b3e76 ocamlx(Lem_tuple) = d169d9992230f12fc382c08b409e3386 ocamlx(Lem_word) = 6f4722137d4829ec0df4c35110c6c876 ocamlx(Lem_word) = fb466fe8bec9b5374ffe76810a86cda2 ocamlx(Nat) = db633ff316857604e7427a4a84247d8b ocamlx(Nat_big_num) = 0d877b0689e20f3f481c0b4b29da6c08 ocamlx(Nat_big_num) = b93c4155534c0153fb92e1385689b17d ocamlx(Nat_num) = b6c28763be7e0dc3644ebb5161051a7a ocamlx(Num) = 98aed73c764fb1d48b66e9c87a6251ec ocamlx(Pmap) = 28eb9e79a367700075796e666509c49d ocamlx(Pset) = e73739a4eec4427cead116d59b00a356 ocamlx(Q) = a954d2251cf4b2eee54dddaf91fb6990 ocamlx(Ratio) = f1f10dc06e590803f2fa494c47391cb0 ocamlx(Rational) = 034dcfc50c73441d4720e751af0a5ac3 ocamlx(Rational) = de95683dc2178d64f6c9efd3b6e6cd85 ocamlx(Rational_impl) = 12df7fd68a95359ff898303252c513d8 ocamlx(Rational_impl) = 6da887b48caccafa4785bb52ce990a62 ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Array) = 6404162ec33be9da742187b2e7daa6dd ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5 ocamlx(Stdlib__Char) = 97160a7c0c91803185a52780c7c16987 ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563 ocamlx(Stdlib__Hashtbl) = 1aee99c15b532bac42321d046d148b7d ocamlx(Stdlib__Int32) = b06269d371139e77fb89f91ad8c0352b ocamlx(Stdlib__Int64) = e1e2832c9d72b66741e3ea1bbbe2e8a6 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__String) = 343b4a10f6af2b7002ce3db416b04c17 ocamlx(Z) = a650e1172a1f035e92162a3b49258c0b ocamlx(Zarith_version) = 625f9fdf74fa7d737cd0e86cc9adef89 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.fc42.x86_64.rpm Wrote: /builddir/build/RPMS/lem-2025.03.13-1.fc42.x86_64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.YvWWkv + 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.fc42.src.rpm Finish: build phase for lem-2025.03.13-1.fc42.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-42-x86_64-1746154794.966707/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.fc42.src.rpm) Config(child) 0 minutes 47 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.fc42.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: Generic, Shell-api, C/C++ 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.fc42", "arch": "x86_64" }, { "name": "lem", "epoch": null, "version": "2025.03.13", "release": "1.fc42", "arch": "x86_64" }, { "name": "lem", "epoch": null, "version": "2025.03.13", "release": "1.fc42", "arch": "src" } ] } RPMResults finished