Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c10d' (ED25519) to the list of known hosts. 100 3192k 100 3192k 0 0 23.9M 0 --:--:-- --:--:-- --:--:-- 24.1M INFO: Reading stdout from command: md5sum lem-2022-12-10.tar.gz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-rmes5s5_/lem/lem.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-rmes5s5_/lem --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1718942220.959024 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.6 starting (python version = 3.12.1, NVR = mock-5.6-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-rmes5s5_/lem/lem.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-rmes5s5_/lem --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1718942220.959024 -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-rmes5s5_/lem/lem.spec) Config(fedora-40-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 5.6 INFO: Mock Version: 5.6 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-40-x86_64-bootstrap-1718942220.959024/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 bootstrap image: registry.fedoraproject.org/fedora:40 INFO: Pulling image: registry.fedoraproject.org/fedora:40 INFO: Copy content of container registry.fedoraproject.org/fedora:40 to /var/lib/mock/fedora-40-x86_64-bootstrap-1718942220.959024/root INFO: Checking that registry.fedoraproject.org/fedora:40 image matches host's architecture INFO: mounting registry.fedoraproject.org/fedora:40 with podman image mount INFO: image registry.fedoraproject.org/fedora:40 as /var/lib/containers/storage/overlay/a86284f0f739276349b2b42051935bf158d75a667f5759dac11fe5f1bce7bbf0/merged INFO: umounting image registry.fedoraproject.org/fedora:40 (/var/lib/containers/storage/overlay/a86284f0f739276349b2b42051935bf158d75a667f5759dac11fe5f1bce7bbf0/merged) with podman image umount INFO: Using 'dnf' instead of 'dnf5' for bootstrap chroot INFO: Package manager dnf detected and used (fallback) INFO: Bootstrap image not marked ready Start(bootstrap): installing dnf5 tooling No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 1.1 kB/s | 134 B 00:00 fedora 13 MB/s | 20 MB 00:01 updates 10 MB/s | 7.7 MB 00:00 Dependencies resolved. ================================================================================ Package Architecture Version Repository Size ================================================================================ Installing: dnf5 x86_64 5.1.17-1.fc40 updates 701 k dnf5-plugins x86_64 5.1.17-1.fc40 updates 358 k Installing dependencies: fmt x86_64 10.2.1-4.fc40 fedora 125 k libdnf5 x86_64 5.1.17-1.fc40 updates 1.0 M libdnf5-cli x86_64 5.1.17-1.fc40 updates 231 k sdbus-cpp x86_64 1.4.0-2.fc40 fedora 110 k Transaction Summary ================================================================================ Install 6 Packages Total download size: 2.5 M Installed size: 6.8 M Downloading Packages: (1/6): dnf5-5.1.17-1.fc40.x86_64.rpm 1.2 MB/s | 701 kB 00:00 (2/6): dnf5-plugins-5.1.17-1.fc40.x86_64.rpm 3.6 MB/s | 358 kB 00:00 (3/6): sdbus-cpp-1.4.0-2.fc40.x86_64.rpm 164 kB/s | 110 kB 00:00 (4/6): fmt-10.2.1-4.fc40.x86_64.rpm 179 kB/s | 125 kB 00:00 (5/6): libdnf5-5.1.17-1.fc40.x86_64.rpm 7.7 MB/s | 1.0 MB 00:00 (6/6): libdnf5-cli-5.1.17-1.fc40.x86_64.rpm 552 kB/s | 231 kB 00:00 -------------------------------------------------------------------------------- Total 2.2 MB/s | 2.5 MB 00:01 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : fmt-10.2.1-4.fc40.x86_64 1/6 Installing : libdnf5-5.1.17-1.fc40.x86_64 2/6 Installing : libdnf5-cli-5.1.17-1.fc40.x86_64 3/6 Installing : sdbus-cpp-1.4.0-2.fc40.x86_64 4/6 Installing : dnf5-5.1.17-1.fc40.x86_64 5/6 Installing : dnf5-plugins-5.1.17-1.fc40.x86_64 6/6 Running scriptlet: dnf5-plugins-5.1.17-1.fc40.x86_64 6/6 Installed: dnf5-5.1.17-1.fc40.x86_64 dnf5-plugins-5.1.17-1.fc40.x86_64 fmt-10.2.1-4.fc40.x86_64 libdnf5-5.1.17-1.fc40.x86_64 libdnf5-cli-5.1.17-1.fc40.x86_64 sdbus-cpp-1.4.0-2.fc40.x86_64 Complete! INFO: Switching package manager from dnf to the dnf5 (direct choice) Finish(bootstrap): installing dnf5 tooling 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-40-x86_64-1718942220.959024/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.19.1.1-1.fc40.x86_64 rpm-sequoia-1.6.0-3.fc40.x86_64 python3-dnf-4.19.2-1.fc40.noarch yum-4.19.2-1.fc40.noarch dnf5-5.1.17-1.fc40.x86_64 dnf5-plugins-5.1.17-1.fc40.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: updates 100% | 5.9 MiB/s | 8.0 MiB | 00m01s fedora 100% | 424.2 KiB/s | 20.8 MiB | 00m50s Copr repository 100% | 12.7 KiB/s | 1.6 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 5.2.26-3.fc40 fedora 8.1 MiB bzip2 x86_64 1.0.8-18.fc40 fedora 91.7 KiB coreutils x86_64 9.4-6.fc40 fedora 5.8 MiB cpio x86_64 2.15-1.fc40 fedora 1.1 MiB diffutils x86_64 3.10-5.fc40 fedora 1.6 MiB fedora-release-common noarch 40-39 updates 19.1 KiB findutils x86_64 1:4.9.0-8.fc40 fedora 1.5 MiB gawk x86_64 5.3.0-3.fc40 fedora 1.7 MiB glibc-minimal-langpack x86_64 2.39-15.fc40 updates 0.0 B grep x86_64 3.11-7.fc40 fedora 1.0 MiB gzip x86_64 1.13-1.fc40 fedora 385.0 KiB info x86_64 7.1-2.fc40 fedora 357.8 KiB patch x86_64 2.7.6-24.fc40 fedora 262.8 KiB redhat-rpm-config noarch 286-1.fc40 fedora 185.2 KiB rpm-build x86_64 4.19.1.1-1.fc40 fedora 173.7 KiB sed x86_64 4.9-1.fc40 fedora 861.5 KiB shadow-utils x86_64 2:4.15.1-3.fc40 updates 4.1 MiB tar x86_64 2:1.35-3.fc40 fedora 2.9 MiB unzip x86_64 6.0-63.fc40 fedora 382.8 KiB util-linux x86_64 2.40.1-1.fc40 updates 3.7 MiB which x86_64 2.21-41.fc40 fedora 80.2 KiB xz x86_64 1:5.4.6-3.fc40 fedora 2.0 MiB Installing dependencies: alternatives x86_64 1.27-1.fc40 updates 66.3 KiB ansible-srpm-macros noarch 1-14.fc40 fedora 35.7 KiB audit-libs x86_64 4.0.1-1.fc40 fedora 327.3 KiB authselect x86_64 1.5.0-5.fc40 fedora 153.6 KiB authselect-libs x86_64 1.5.0-5.fc40 fedora 818.3 KiB basesystem noarch 11-20.fc40 fedora 0.0 B binutils x86_64 2.41-37.fc40 updates 26.4 MiB binutils-gold x86_64 2.41-37.fc40 updates 2.0 MiB bzip2-libs x86_64 1.0.8-18.fc40 fedora 80.7 KiB ca-certificates noarch 2023.2.62_v7.0.401-6.fc40 fedora 2.3 MiB coreutils-common x86_64 9.4-6.fc40 fedora 11.4 MiB cracklib x86_64 2.9.11-5.fc40 fedora 238.9 KiB crypto-policies noarch 20240510-1.gitd287a42.fc40 updates 151.9 KiB curl x86_64 8.6.0-8.fc40 updates 734.6 KiB cyrus-sasl-lib x86_64 2.1.28-19.fc40 fedora 2.3 MiB debugedit x86_64 5.0-14.fc40 fedora 199.0 KiB dwz x86_64 0.15-6.fc40 fedora 290.9 KiB ed x86_64 1.20.2-1.fc40 updates 146.9 KiB efi-srpm-macros noarch 5-11.fc40 fedora 40.1 KiB elfutils x86_64 0.191-4.fc40 fedora 2.5 MiB elfutils-debuginfod-client x86_64 0.191-4.fc40 fedora 64.9 KiB elfutils-default-yama-scope noarch 0.191-4.fc40 fedora 1.8 KiB elfutils-libelf x86_64 0.191-4.fc40 fedora 1.2 MiB elfutils-libs x86_64 0.191-4.fc40 fedora 646.1 KiB fedora-gpg-keys noarch 40-2 updates 124.7 KiB fedora-release noarch 40-39 updates 0.0 B fedora-release-identity-basic noarch 40-39 updates 654.0 B fedora-repos noarch 40-2 updates 4.9 KiB file x86_64 5.45-4.fc40 fedora 103.5 KiB file-libs x86_64 5.45-4.fc40 fedora 9.9 MiB filesystem x86_64 3.18-8.fc40 fedora 106.0 B fonts-srpm-macros noarch 1:2.0.5-14.fc40 fedora 55.3 KiB forge-srpm-macros noarch 0.3.1-1.fc40 updates 39.0 KiB fpc-srpm-macros noarch 1.3-12.fc40 fedora 144.0 B gdb-minimal x86_64 14.2-2.fc40 updates 12.7 MiB gdbm x86_64 1:1.23-6.fc40 fedora 460.9 KiB gdbm-libs x86_64 1:1.23-6.fc40 fedora 121.9 KiB ghc-srpm-macros noarch 1.9-1.fc40 fedora 716.0 B glibc x86_64 2.39-15.fc40 updates 6.6 MiB glibc-common x86_64 2.39-15.fc40 updates 1.0 MiB glibc-gconv-extra x86_64 2.39-15.fc40 updates 7.8 MiB gmp x86_64 1:6.2.1-8.fc40 fedora 794.6 KiB gnat-srpm-macros noarch 6-5.fc40 fedora 1.0 KiB go-srpm-macros noarch 3.5.0-1.fc40 fedora 60.6 KiB jansson x86_64 2.13.1-9.fc40 fedora 88.3 KiB kernel-srpm-macros noarch 1.0-23.fc40 fedora 1.9 KiB keyutils-libs x86_64 1.6.3-3.fc40 fedora 54.4 KiB krb5-libs x86_64 1.21.2-5.fc40 fedora 2.3 MiB libacl x86_64 2.3.2-1.fc40 fedora 40.0 KiB libarchive x86_64 3.7.2-4.fc40 updates 914.6 KiB libattr x86_64 2.5.2-3.fc40 fedora 28.5 KiB libblkid x86_64 2.40.1-1.fc40 updates 258.5 KiB libbrotli x86_64 1.1.0-3.fc40 fedora 829.5 KiB libcap x86_64 2.69-8.fc40 updates 219.8 KiB libcap-ng x86_64 0.8.4-4.fc40 fedora 73.1 KiB libcom_err x86_64 1.47.0-5.fc40 fedora 67.2 KiB libcurl x86_64 8.6.0-8.fc40 updates 772.8 KiB libeconf x86_64 0.6.2-2.fc40 updates 58.0 KiB libevent x86_64 2.1.12-12.fc40 fedora 895.6 KiB libfdisk x86_64 2.40.1-1.fc40 updates 362.9 KiB libffi x86_64 3.4.4-7.fc40 fedora 81.6 KiB libgcc x86_64 14.1.1-5.fc40 updates 274.6 KiB libgomp x86_64 14.1.1-5.fc40 updates 523.5 KiB libidn2 x86_64 2.3.7-1.fc40 fedora 329.1 KiB libmount x86_64 2.40.1-1.fc40 updates 351.8 KiB libnghttp2 x86_64 1.59.0-3.fc40 updates 166.1 KiB libnsl2 x86_64 2.0.1-1.fc40 fedora 57.9 KiB libpkgconf x86_64 2.1.0-1.fc40 fedora 74.2 KiB libpsl x86_64 0.21.5-3.fc40 fedora 80.5 KiB libpwquality x86_64 1.4.5-9.fc40 fedora 417.8 KiB libselinux x86_64 3.6-4.fc40 fedora 173.0 KiB libsemanage x86_64 3.6-3.fc40 fedora 293.5 KiB libsepol x86_64 3.6-3.fc40 fedora 802.0 KiB libsmartcols x86_64 2.40.1-1.fc40 updates 180.4 KiB libssh x86_64 0.10.6-5.fc40 fedora 509.3 KiB libssh-config noarch 0.10.6-5.fc40 fedora 277.0 B libstdc++ x86_64 14.1.1-5.fc40 updates 2.8 MiB libtasn1 x86_64 4.19.0-6.fc40 fedora 175.7 KiB libtirpc x86_64 1.3.4-1.rc3.fc40 fedora 202.8 KiB libtool-ltdl x86_64 2.4.7-10.fc40 fedora 66.2 KiB libunistring x86_64 1.1-7.fc40 fedora 1.7 MiB libutempter x86_64 1.2.1-13.fc40 fedora 57.7 KiB libuuid x86_64 2.40.1-1.fc40 updates 37.4 KiB libverto x86_64 0.3.2-8.fc40 fedora 29.5 KiB libxcrypt x86_64 4.4.36-5.fc40 fedora 262.8 KiB libxml2 x86_64 2.12.8-1.fc40 updates 1.7 MiB libzstd x86_64 1.5.6-1.fc40 updates 787.9 KiB lua-libs x86_64 5.4.6-5.fc40 fedora 281.1 KiB lua-srpm-macros noarch 1-13.fc40 fedora 1.3 KiB lz4-libs x86_64 1.9.4-6.fc40 fedora 129.4 KiB mpfr x86_64 4.2.1-4.fc40 updates 832.0 KiB ncurses-base noarch 6.4-12.20240127.fc40 fedora 326.2 KiB ncurses-libs x86_64 6.4-12.20240127.fc40 fedora 963.2 KiB ocaml-srpm-macros noarch 9-3.fc40 fedora 1.9 KiB openblas-srpm-macros noarch 2-16.fc40 fedora 104.0 B openldap x86_64 2.6.7-1.fc40 fedora 635.1 KiB openssl-libs x86_64 1:3.2.1-2.fc40 fedora 7.8 MiB p11-kit x86_64 0.25.3-4.fc40 fedora 2.2 MiB p11-kit-trust x86_64 0.25.3-4.fc40 fedora 391.4 KiB package-notes-srpm-macros noarch 0.5-11.fc40 fedora 1.6 KiB pam x86_64 1.6.1-3.fc40 updates 1.8 MiB pam-libs x86_64 1.6.1-3.fc40 updates 135.0 KiB pcre2 x86_64 10.42-2.fc40.2 fedora 637.6 KiB pcre2-syntax noarch 10.42-2.fc40.2 fedora 235.1 KiB perl-srpm-macros noarch 1-53.fc40 fedora 861.0 B pkgconf x86_64 2.1.0-1.fc40 fedora 82.4 KiB pkgconf-m4 noarch 2.1.0-1.fc40 fedora 13.9 KiB pkgconf-pkg-config x86_64 2.1.0-1.fc40 fedora 989.0 B popt x86_64 1.19-6.fc40 fedora 136.9 KiB publicsuffix-list-dafsa noarch 20240107-3.fc40 fedora 67.5 KiB pyproject-srpm-macros noarch 1.12.0-1.fc40 fedora 1.5 KiB python-srpm-macros noarch 3.12-7.fc40 fedora 50.1 KiB qt5-srpm-macros noarch 5.15.14-1.fc40 updates 500.0 B qt6-srpm-macros noarch 6.7.1-1.fc40 updates 456.0 B readline x86_64 8.2-8.fc40 fedora 489.2 KiB rpm x86_64 4.19.1.1-1.fc40 fedora 3.0 MiB rpm-build-libs x86_64 4.19.1.1-1.fc40 fedora 198.4 KiB rpm-libs x86_64 4.19.1.1-1.fc40 fedora 709.9 KiB rpm-sequoia x86_64 1.6.0-3.fc40 updates 2.2 MiB rust-srpm-macros noarch 26.3-1.fc40 updates 4.8 KiB setup noarch 2.14.5-2.fc40 fedora 720.4 KiB sqlite-libs x86_64 3.45.1-2.fc40 fedora 1.4 MiB systemd-libs x86_64 255.7-1.fc40 updates 1.9 MiB util-linux-core x86_64 2.40.1-1.fc40 updates 1.5 MiB xxhash-libs x86_64 0.8.2-2.fc40 fedora 88.5 KiB xz-libs x86_64 1:5.4.6-3.fc40 fedora 209.8 KiB zig-srpm-macros noarch 1-2.fc40 fedora 1.1 KiB zip x86_64 3.0-40.fc40 fedora 703.2 KiB zlib-ng-compat x86_64 2.1.6-5.fc40 updates 133.9 KiB zstd x86_64 1.5.6-1.fc40 updates 1.7 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 152 packages Total size of inbound packages is 53 MiB. Need to download 53 MiB. After this operation 178 MiB will be used (install 178 MiB, remove 0 B). [ 1/152] bzip2-0:1.0.8-18.fc40.x86_64 100% | 662.7 KiB/s | 52.4 KiB | 00m00s [ 2/152] cpio-0:2.15-1.fc40.x86_64 100% | 5.3 MiB/s | 292.2 KiB | 00m00s [ 3/152] coreutils-0:9.4-6.fc40.x86_64 100% | 6.9 MiB/s | 1.1 MiB | 00m00s [ 4/152] bash-0:5.2.26-3.fc40.x86_64 100% | 10.6 MiB/s | 1.8 MiB | 00m00s [ 5/152] diffutils-0:3.10-5.fc40.x86_6 100% | 10.4 MiB/s | 405.6 KiB | 00m00s [ 6/152] findutils-1:4.9.0-8.fc40.x86_ 100% | 22.9 MiB/s | 492.0 KiB | 00m00s [ 7/152] grep-0:3.11-7.fc40.x86_64 100% | 15.4 MiB/s | 300.2 KiB | 00m00s [ 8/152] gzip-0:1.13-1.fc40.x86_64 100% | 8.3 MiB/s | 170.6 KiB | 00m00s [ 9/152] info-0:7.1-2.fc40.x86_64 100% | 9.9 MiB/s | 182.3 KiB | 00m00s [ 10/152] patch-0:2.7.6-24.fc40.x86_64 100% | 7.5 MiB/s | 130.7 KiB | 00m00s [ 11/152] redhat-rpm-config-0:286-1.fc4 100% | 4.8 MiB/s | 83.0 KiB | 00m00s [ 12/152] rpm-build-0:4.19.1.1-1.fc40.x 100% | 4.5 MiB/s | 78.2 KiB | 00m00s [ 13/152] sed-0:4.9-1.fc40.x86_64 100% | 16.4 MiB/s | 318.2 KiB | 00m00s [ 14/152] unzip-0:6.0-63.fc40.x86_64 100% | 10.0 MiB/s | 184.5 KiB | 00m00s [ 15/152] tar-2:1.35-3.fc40.x86_64 100% | 23.9 MiB/s | 856.6 KiB | 00m00s [ 16/152] which-0:2.21-41.fc40.x86_64 100% | 2.2 MiB/s | 41.4 KiB | 00m00s [ 17/152] xz-1:5.4.6-3.fc40.x86_64 100% | 23.7 MiB/s | 557.4 KiB | 00m00s [ 18/152] gawk-0:5.3.0-3.fc40.x86_64 100% | 18.2 MiB/s | 1.1 MiB | 00m00s [ 19/152] glibc-minimal-langpack-0:2.39 100% | 726.3 KiB/s | 103.9 KiB | 00m00s [ 20/152] fedora-release-common-0:40-39 100% | 121.0 KiB/s | 21.3 KiB | 00m00s [ 21/152] filesystem-0:3.18-8.fc40.x86_ 100% | 31.9 MiB/s | 1.1 MiB | 00m00s [ 22/152] ncurses-libs-0:6.4-12.2024012 100% | 16.2 MiB/s | 332.5 KiB | 00m00s [ 23/152] bzip2-libs-0:1.0.8-18.fc40.x8 100% | 2.5 MiB/s | 40.9 KiB | 00m00s [ 24/152] util-linux-0:2.40.1-1.fc40.x8 100% | 8.7 MiB/s | 1.2 MiB | 00m00s [ 25/152] coreutils-common-0:9.4-6.fc40 100% | 31.6 MiB/s | 2.2 MiB | 00m00s [ 26/152] gmp-1:6.2.1-8.fc40.x86_64 100% | 16.1 MiB/s | 312.5 KiB | 00m00s [ 27/152] libacl-0:2.3.2-1.fc40.x86_64 100% | 1.5 MiB/s | 24.4 KiB | 00m00s [ 28/152] libattr-0:2.5.2-3.fc40.x86_64 100% | 1.0 MiB/s | 18.0 KiB | 00m00s [ 29/152] libselinux-0:3.6-4.fc40.x86_6 100% | 4.7 MiB/s | 87.5 KiB | 00m00s [ 30/152] pcre2-0:10.42-2.fc40.2.x86_64 100% | 10.5 MiB/s | 235.8 KiB | 00m00s [ 31/152] ansible-srpm-macros-0:1-14.fc 100% | 1.3 MiB/s | 20.8 KiB | 00m00s [ 32/152] dwz-0:0.15-6.fc40.x86_64 100% | 7.1 MiB/s | 137.8 KiB | 00m00s [ 33/152] efi-srpm-macros-0:5-11.fc40.n 100% | 1.4 MiB/s | 22.3 KiB | 00m00s [ 34/152] shadow-utils-2:4.15.1-3.fc40. 100% | 3.5 MiB/s | 1.3 MiB | 00m00s [ 35/152] file-0:5.45-4.fc40.x86_64 100% | 2.8 MiB/s | 49.0 KiB | 00m00s [ 36/152] fonts-srpm-macros-1:2.0.5-14. 100% | 1.6 MiB/s | 26.5 KiB | 00m00s [ 37/152] fpc-srpm-macros-0:1.3-12.fc40 100% | 489.6 KiB/s | 7.8 KiB | 00m00s [ 38/152] ghc-srpm-macros-0:1.9-1.fc40. 100% | 546.8 KiB/s | 8.7 KiB | 00m00s [ 39/152] gnat-srpm-macros-0:6-5.fc40.n 100% | 551.5 KiB/s | 8.8 KiB | 00m00s [ 40/152] go-srpm-macros-0:3.5.0-1.fc40 100% | 1.7 MiB/s | 27.5 KiB | 00m00s [ 41/152] kernel-srpm-macros-0:1.0-23.f 100% | 608.0 KiB/s | 9.7 KiB | 00m00s [ 42/152] lua-srpm-macros-0:1-13.fc40.n 100% | 545.7 KiB/s | 8.7 KiB | 00m00s [ 43/152] ocaml-srpm-macros-0:9-3.fc40. 100% | 567.1 KiB/s | 9.1 KiB | 00m00s [ 44/152] openssl-libs-1:3.2.1-2.fc40.x 100% | 13.2 MiB/s | 2.3 MiB | 00m00s [ 45/152] openblas-srpm-macros-0:2-16.f 100% | 468.8 KiB/s | 7.5 KiB | 00m00s [ 46/152] package-notes-srpm-macros-0:0 100% | 621.5 KiB/s | 9.9 KiB | 00m00s [ 47/152] perl-srpm-macros-0:1-53.fc40. 100% | 523.9 KiB/s | 8.4 KiB | 00m00s [ 48/152] pyproject-srpm-macros-0:1.12. 100% | 851.8 KiB/s | 13.6 KiB | 00m00s [ 49/152] python-srpm-macros-0:3.12-7.f 100% | 1.5 MiB/s | 23.8 KiB | 00m00s [ 50/152] zig-srpm-macros-0:1-2.fc40.no 100% | 502.4 KiB/s | 8.0 KiB | 00m00s [ 51/152] rpm-0:4.19.1.1-1.fc40.x86_64 100% | 24.0 MiB/s | 540.1 KiB | 00m00s [ 52/152] zip-0:3.0-40.fc40.x86_64 100% | 11.8 MiB/s | 264.8 KiB | 00m00s [ 53/152] debugedit-0:5.0-14.fc40.x86_6 100% | 4.5 MiB/s | 78.7 KiB | 00m00s [ 54/152] elfutils-0:0.191-4.fc40.x86_6 100% | 22.6 MiB/s | 531.3 KiB | 00m00s [ 55/152] popt-0:1.19-6.fc40.x86_64 100% | 3.6 MiB/s | 66.7 KiB | 00m00s [ 56/152] elfutils-libelf-0:0.191-4.fc4 100% | 9.3 MiB/s | 209.8 KiB | 00m00s [ 57/152] readline-0:8.2-8.fc40.x86_64 100% | 11.6 MiB/s | 213.3 KiB | 00m00s [ 58/152] rpm-build-libs-0:4.19.1.1-1.f 100% | 5.5 MiB/s | 95.0 KiB | 00m00s [ 59/152] rpm-libs-0:4.19.1.1-1.fc40.x8 100% | 12.6 MiB/s | 308.9 KiB | 00m00s [ 60/152] xz-libs-1:5.4.6-3.fc40.x86_64 100% | 6.3 MiB/s | 110.0 KiB | 00m00s [ 61/152] audit-libs-0:4.0.1-1.fc40.x86 100% | 6.4 MiB/s | 125.3 KiB | 00m00s [ 62/152] libsemanage-0:3.6-3.fc40.x86_ 100% | 6.0 MiB/s | 116.4 KiB | 00m00s [ 63/152] glibc-common-0:2.39-15.fc40.x 100% | 12.2 MiB/s | 386.8 KiB | 00m00s [ 64/152] setup-0:2.14.5-2.fc40.noarch 100% | 8.4 MiB/s | 154.7 KiB | 00m00s [ 65/152] libxcrypt-0:4.4.36-5.fc40.x86 100% | 5.8 MiB/s | 118.1 KiB | 00m00s [ 66/152] libcap-ng-0:0.8.4-4.fc40.x86_ 100% | 2.0 MiB/s | 32.6 KiB | 00m00s [ 67/152] libutempter-0:1.2.1-13.fc40.x 100% | 1.6 MiB/s | 26.4 KiB | 00m00s [ 68/152] ncurses-base-0:6.4-12.2024012 100% | 4.1 MiB/s | 88.8 KiB | 00m00s [ 69/152] util-linux-core-0:2.40.1-1.fc 100% | 9.0 MiB/s | 537.0 KiB | 00m00s [ 70/152] libsepol-0:3.6-3.fc40.x86_64 100% | 14.4 MiB/s | 340.1 KiB | 00m00s [ 71/152] pcre2-syntax-0:10.42-2.fc40.2 100% | 7.3 MiB/s | 142.7 KiB | 00m00s [ 72/152] file-libs-0:5.45-4.fc40.x86_6 100% | 20.1 MiB/s | 762.7 KiB | 00m00s [ 73/152] elfutils-libs-0:0.191-4.fc40. 100% | 12.1 MiB/s | 259.9 KiB | 00m00s [ 74/152] ca-certificates-0:2023.2.62_v 100% | 18.7 MiB/s | 862.1 KiB | 00m00s [ 75/152] elfutils-debuginfod-client-0: 100% | 2.3 MiB/s | 38.5 KiB | 00m00s [ 76/152] lua-libs-0:5.4.6-5.fc40.x86_6 100% | 7.6 MiB/s | 131.9 KiB | 00m00s [ 77/152] elfutils-default-yama-scope-0 100% | 846.0 KiB/s | 13.5 KiB | 00m00s [ 78/152] sqlite-libs-0:3.45.1-2.fc40.x 100% | 18.6 MiB/s | 705.1 KiB | 00m00s [ 79/152] basesystem-0:11-20.fc40.noarc 100% | 449.3 KiB/s | 7.2 KiB | 00m00s [ 80/152] glibc-0:2.39-15.fc40.x86_64 100% | 37.4 MiB/s | 2.2 MiB | 00m00s [ 81/152] glibc-gconv-extra-0:2.39-15.f 100% | 17.9 MiB/s | 1.7 MiB | 00m00s [ 82/152] zlib-ng-compat-0:2.1.6-5.fc40 100% | 942.3 KiB/s | 77.3 KiB | 00m00s [ 83/152] libcap-0:2.69-8.fc40.x86_64 100% | 1.0 MiB/s | 85.7 KiB | 00m00s [ 84/152] libzstd-0:1.5.6-1.fc40.x86_64 100% | 4.6 MiB/s | 309.2 KiB | 00m00s [ 85/152] rpm-sequoia-0:1.6.0-3.fc40.x8 100% | 12.9 MiB/s | 845.9 KiB | 00m00s [ 86/152] libgcc-0:14.1.1-5.fc40.x86_64 100% | 2.3 MiB/s | 129.6 KiB | 00m00s [ 87/152] libgomp-0:14.1.1-5.fc40.x86_6 100% | 11.8 MiB/s | 350.2 KiB | 00m00s [ 88/152] jansson-0:2.13.1-9.fc40.x86_6 100% | 2.5 MiB/s | 44.2 KiB | 00m00s [ 89/152] lz4-libs-0:1.9.4-6.fc40.x86_6 100% | 3.9 MiB/s | 67.2 KiB | 00m00s [ 90/152] pkgconf-pkg-config-0:2.1.0-1. 100% | 606.5 KiB/s | 9.7 KiB | 00m00s [ 91/152] pkgconf-0:2.1.0-1.fc40.x86_64 100% | 2.5 MiB/s | 43.5 KiB | 00m00s [ 92/152] pkgconf-m4-0:2.1.0-1.fc40.noa 100% | 870.2 KiB/s | 13.9 KiB | 00m00s [ 93/152] libpkgconf-0:2.1.0-1.fc40.x86 100% | 2.2 MiB/s | 37.8 KiB | 00m00s [ 94/152] binutils-0:2.41-37.fc40.x86_6 100% | 49.9 MiB/s | 6.2 MiB | 00m00s [ 95/152] zstd-0:1.5.6-1.fc40.x86_64 100% | 3.9 MiB/s | 479.4 KiB | 00m00s [ 96/152] curl-0:8.6.0-8.fc40.x86_64 100% | 10.5 MiB/s | 300.7 KiB | 00m00s [ 97/152] libarchive-0:3.7.2-4.fc40.x86 100% | 4.5 MiB/s | 406.7 KiB | 00m00s [ 98/152] forge-srpm-macros-0:0.3.1-1.f 100% | 136.2 KiB/s | 19.5 KiB | 00m00s [ 99/152] qt5-srpm-macros-0:5.15.14-1.f 100% | 57.7 KiB/s | 8.8 KiB | 00m00s [100/152] qt6-srpm-macros-0:6.7.1-1.fc4 100% | 83.1 KiB/s | 8.9 KiB | 00m00s [101/152] rust-srpm-macros-0:26.3-1.fc4 100% | 291.0 KiB/s | 12.5 KiB | 00m00s [102/152] ed-0:1.20.2-1.fc40.x86_64 100% | 2.6 MiB/s | 81.9 KiB | 00m00s [103/152] crypto-policies-0:20240510-1. 100% | 1.3 MiB/s | 99.0 KiB | 00m00s [104/152] p11-kit-0:0.25.3-4.fc40.x86_6 100% | 12.3 MiB/s | 489.8 KiB | 00m00s [105/152] libffi-0:3.4.4-7.fc40.x86_64 100% | 2.4 MiB/s | 39.4 KiB | 00m00s [106/152] libtasn1-0:4.19.0-6.fc40.x86_ 100% | 4.2 MiB/s | 73.7 KiB | 00m00s [107/152] p11-kit-trust-0:0.25.3-4.fc40 100% | 6.8 MiB/s | 131.5 KiB | 00m00s [108/152] mpfr-0:4.2.1-4.fc40.x86_64 100% | 1.9 MiB/s | 348.9 KiB | 00m00s [109/152] libstdc++-0:14.1.1-5.fc40.x86 100% | 4.6 MiB/s | 882.5 KiB | 00m00s [110/152] libblkid-0:2.40.1-1.fc40.x86_ 100% | 2.4 MiB/s | 124.3 KiB | 00m00s [111/152] libuuid-0:2.40.1-1.fc40.x86_6 100% | 369.4 KiB/s | 28.4 KiB | 00m00s [112/152] libmount-0:2.40.1-1.fc40.x86_ 100% | 1.1 MiB/s | 154.6 KiB | 00m00s [113/152] libsmartcols-0:2.40.1-1.fc40. 100% | 712.2 KiB/s | 83.3 KiB | 00m00s [114/152] systemd-libs-0:255.7-1.fc40.x 100% | 7.4 MiB/s | 707.2 KiB | 00m00s [115/152] libfdisk-0:2.40.1-1.fc40.x86_ 100% | 6.5 MiB/s | 159.4 KiB | 00m00s [116/152] authselect-0:1.5.0-5.fc40.x86 100% | 7.1 MiB/s | 146.2 KiB | 00m00s [117/152] gdbm-libs-1:1.23-6.fc40.x86_6 100% | 3.2 MiB/s | 56.2 KiB | 00m00s [118/152] libnsl2-0:2.0.1-1.fc40.x86_64 100% | 1.8 MiB/s | 29.6 KiB | 00m00s [119/152] libpwquality-0:1.4.5-9.fc40.x 100% | 6.2 MiB/s | 119.7 KiB | 00m00s [120/152] libtirpc-0:1.3.4-1.rc3.fc40.x 100% | 5.0 MiB/s | 92.5 KiB | 00m00s [121/152] authselect-libs-0:1.5.0-5.fc4 100% | 10.2 MiB/s | 218.6 KiB | 00m00s [122/152] cracklib-0:2.9.11-5.fc40.x86_ 100% | 5.0 MiB/s | 92.5 KiB | 00m00s [123/152] pam-0:1.6.1-3.fc40.x86_64 100% | 3.2 MiB/s | 553.4 KiB | 00m00s [124/152] libcom_err-0:1.47.0-5.fc40.x8 100% | 1.5 MiB/s | 25.4 KiB | 00m00s [125/152] krb5-libs-0:1.21.2-5.fc40.x86 100% | 19.4 MiB/s | 756.1 KiB | 00m00s [126/152] pam-libs-0:1.6.1-3.fc40.x86_6 100% | 320.7 KiB/s | 57.1 KiB | 00m00s [127/152] keyutils-libs-0:1.6.3-3.fc40. 100% | 1.8 MiB/s | 31.5 KiB | 00m00s [128/152] libverto-0:0.3.2-8.fc40.x86_6 100% | 1.3 MiB/s | 20.5 KiB | 00m00s [129/152] gdbm-1:1.23-6.fc40.x86_64 100% | 4.1 MiB/s | 152.5 KiB | 00m00s [130/152] libeconf-0:0.6.2-2.fc40.x86_6 100% | 665.8 KiB/s | 32.0 KiB | 00m00s [131/152] libxml2-0:2.12.8-1.fc40.x86_6 100% | 2.9 MiB/s | 687.1 KiB | 00m00s [132/152] fedora-repos-0:40-2.noarch 100% | 44.7 KiB/s | 9.5 KiB | 00m00s [133/152] fedora-gpg-keys-0:40-2.noarch 100% | 584.3 KiB/s | 132.1 KiB | 00m00s [134/152] alternatives-0:1.27-1.fc40.x8 100% | 969.7 KiB/s | 40.7 KiB | 00m00s [135/152] binutils-gold-0:2.41-37.fc40. 100% | 20.1 MiB/s | 780.6 KiB | 00m00s [136/152] xxhash-libs-0:0.8.2-2.fc40.x8 100% | 2.1 MiB/s | 36.9 KiB | 00m00s [137/152] fedora-release-0:40-39.noarch 100% | 245.6 KiB/s | 10.8 KiB | 00m00s [138/152] libbrotli-0:1.1.0-3.fc40.x86_ 100% | 9.7 MiB/s | 338.4 KiB | 00m00s [139/152] libidn2-0:2.3.7-1.fc40.x86_64 100% | 6.4 MiB/s | 118.7 KiB | 00m00s [140/152] libpsl-0:0.21.5-3.fc40.x86_64 100% | 3.7 MiB/s | 63.9 KiB | 00m00s [141/152] libssh-0:0.10.6-5.fc40.x86_64 100% | 10.3 MiB/s | 210.6 KiB | 00m00s [142/152] openldap-0:2.6.7-1.fc40.x86_6 100% | 11.3 MiB/s | 254.3 KiB | 00m00s [143/152] libunistring-0:1.1-7.fc40.x86 100% | 16.6 MiB/s | 545.5 KiB | 00m00s [144/152] publicsuffix-list-dafsa-0:202 100% | 3.3 MiB/s | 58.1 KiB | 00m00s [145/152] libssh-config-0:0.10.6-5.fc40 100% | 564.3 KiB/s | 9.0 KiB | 00m00s [146/152] gdb-minimal-0:14.2-2.fc40.x86 100% | 16.9 MiB/s | 4.3 MiB | 00m00s [147/152] cyrus-sasl-lib-0:2.1.28-19.fc 100% | 19.8 MiB/s | 789.3 KiB | 00m00s [148/152] libcurl-0:8.6.0-8.fc40.x86_64 100% | 1.4 MiB/s | 344.9 KiB | 00m00s [149/152] libtool-ltdl-0:2.4.7-10.fc40. 100% | 2.2 MiB/s | 36.2 KiB | 00m00s [150/152] libevent-0:2.1.12-12.fc40.x86 100% | 4.8 MiB/s | 257.2 KiB | 00m00s [151/152] libnghttp2-0:1.59.0-3.fc40.x8 100% | 1.4 MiB/s | 75.3 KiB | 00m00s [152/152] fedora-release-identity-basic 100% | 222.9 KiB/s | 11.6 KiB | 00m00s -------------------------------------------------------------------------------- [152/152] Total 100% | 19.4 MiB/s | 52.7 MiB | 00m03s Running transaction Importing PGP key 0xA15B79CC: Userid : "Fedora (40) " Fingerprint: 115DF9AEF857853EE8445D0A0727707EA15B79CC From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary The key was successfully imported. [ 1/154] Verify package files 100% | 596.0 B/s | 152.0 B | 00m00s >>> Running pre-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64 >>> Stop pre-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64 [ 2/154] Prepare transaction 100% | 1.8 KiB/s | 152.0 B | 00m00s [ 3/154] Installing libgcc-0:14.1.1-5. 100% | 89.9 MiB/s | 276.3 KiB | 00m00s >>> Running post-install scriptlet: libgcc-0:14.1.1-5.fc40.x86_64 >>> Stop post-install scriptlet: libgcc-0:14.1.1-5.fc40.x86_64 [ 4/154] Installing crypto-policies-0: 100% | 16.4 MiB/s | 184.5 KiB | 00m00s >>> Running post-install scriptlet: crypto-policies-0:20240510-1.gitd287a42.fc40 >>> Stop post-install scriptlet: crypto-policies-0:20240510-1.gitd287a42.fc40.no [ 5/154] Installing fedora-release-ide 100% | 890.6 KiB/s | 912.0 B | 00m00s [ 6/154] Installing fedora-gpg-keys-0: 100% | 18.4 MiB/s | 169.7 KiB | 00m00s [ 7/154] Installing fedora-repos-0:40- 100% | 5.6 MiB/s | 5.7 KiB | 00m00s [ 8/154] Installing fedora-release-com 100% | 4.5 MiB/s | 23.3 KiB | 00m00s [ 9/154] Installing fedora-release-0:4 100% | 0.0 B/s | 124.0 B | 00m00s [ 10/154] Installing setup-0:2.14.5-2.f 100% | 47.3 MiB/s | 725.8 KiB | 00m00s >>> Running post-install scriptlet: setup-0:2.14.5-2.fc40.noarch >>> Stop post-install scriptlet: setup-0:2.14.5-2.fc40.noarch [ 11/154] Installing filesystem-0:3.18- 100% | 1.6 MiB/s | 212.4 KiB | 00m00s [ 12/154] Installing basesystem-0:11-20 100% | 0.0 B/s | 124.0 B | 00m00s [ 13/154] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 14/154] Installing publicsuffix-list- 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 15/154] Installing rust-srpm-macros-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [ 16/154] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 732.0 B | 00m00s [ 17/154] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [ 18/154] Installing pkgconf-m4-0:2.1.0 100% | 14.0 MiB/s | 14.3 KiB | 00m00s [ 19/154] Installing pcre2-syntax-0:10. 100% | 116.0 MiB/s | 237.6 KiB | 00m00s [ 20/154] Installing ncurses-base-0:6.4 100% | 38.2 MiB/s | 351.6 KiB | 00m00s [ 21/154] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 22/154] Installing ncurses-libs-0:6.4 100% | 135.3 MiB/s | 969.7 KiB | 00m00s >>> Running pre-install scriptlet: glibc-0:2.39-15.fc40.x86_64 >>> Stop pre-install scriptlet: glibc-0:2.39-15.fc40.x86_64 [ 23/154] Installing glibc-0:2.39-15.fc 100% | 110.3 MiB/s | 6.6 MiB | 00m00s >>> Running post-install scriptlet: glibc-0:2.39-15.fc40.x86_64 >>> Stop post-install scriptlet: glibc-0:2.39-15.fc40.x86_64 [ 24/154] Installing bash-0:5.2.26-3.fc 100% | 255.0 MiB/s | 8.2 MiB | 00m00s >>> Running post-install scriptlet: bash-0:5.2.26-3.fc40.x86_64 >>> Stop post-install scriptlet: bash-0:5.2.26-3.fc40.x86_64 [ 25/154] Installing glibc-common-0:2.3 100% | 127.6 MiB/s | 1.0 MiB | 00m00s [ 26/154] Installing glibc-gconv-extra- 100% | 122.8 MiB/s | 7.9 MiB | 00m00s >>> Running post-install scriptlet: glibc-gconv-extra-0:2.39-15.fc40.x86_64 >>> Stop post-install scriptlet: glibc-gconv-extra-0:2.39-15.fc40.x86_64 [ 27/154] Installing zlib-ng-compat-0:2 100% | 131.6 MiB/s | 134.8 KiB | 00m00s [ 28/154] Installing xz-libs-1:5.4.6-3. 100% | 103.0 MiB/s | 210.9 KiB | 00m00s [ 29/154] Installing bzip2-libs-0:1.0.8 100% | 79.9 MiB/s | 81.8 KiB | 00m00s [ 30/154] Installing popt-0:1.19-6.fc40 100% | 35.0 MiB/s | 143.5 KiB | 00m00s [ 31/154] Installing readline-0:8.2-8.f 100% | 160.0 MiB/s | 491.4 KiB | 00m00s [ 32/154] Installing libzstd-0:1.5.6-1. 100% | 256.9 MiB/s | 789.2 KiB | 00m00s [ 33/154] Installing elfutils-libelf-0: 100% | 233.9 MiB/s | 1.2 MiB | 00m00s [ 34/154] Installing libstdc++-0:14.1.1 100% | 251.5 MiB/s | 2.8 MiB | 00m00s [ 35/154] Installing libuuid-0:2.40.1-1 100% | 37.5 MiB/s | 38.4 KiB | 00m00s [ 36/154] Installing libblkid-0:2.40.1- 100% | 126.8 MiB/s | 259.7 KiB | 00m00s [ 37/154] Installing gmp-1:6.2.1-8.fc40 100% | 259.4 MiB/s | 796.8 KiB | 00m00s [ 38/154] Installing libattr-0:2.5.2-3. 100% | 28.8 MiB/s | 29.5 KiB | 00m00s [ 39/154] Installing libacl-0:2.3.2-1.f 100% | 39.9 MiB/s | 40.8 KiB | 00m00s [ 40/154] Installing libxcrypt-0:4.4.36 100% | 129.7 MiB/s | 265.5 KiB | 00m00s [ 41/154] Installing lz4-libs-0:1.9.4-6 100% | 127.4 MiB/s | 130.5 KiB | 00m00s [ 42/154] Installing gdbm-libs-1:1.23-6 100% | 60.3 MiB/s | 123.6 KiB | 00m00s [ 43/154] Installing libeconf-0:0.6.2-2 100% | 58.3 MiB/s | 59.6 KiB | 00m00s [ 44/154] Installing mpfr-0:4.2.1-4.fc4 100% | 203.5 MiB/s | 833.7 KiB | 00m00s [ 45/154] Installing gawk-0:5.3.0-3.fc4 100% | 172.8 MiB/s | 1.7 MiB | 00m00s [ 46/154] Installing dwz-0:0.15-6.fc40. 100% | 142.7 MiB/s | 292.3 KiB | 00m00s [ 47/154] Installing unzip-0:6.0-63.fc4 100% | 125.8 MiB/s | 386.3 KiB | 00m00s [ 48/154] Installing file-libs-0:5.45-4 100% | 397.2 MiB/s | 9.9 MiB | 00m00s [ 49/154] Installing file-0:5.45-4.fc40 100% | 102.6 MiB/s | 105.0 KiB | 00m00s [ 50/154] Installing pcre2-0:10.42-2.fc 100% | 208.0 MiB/s | 639.1 KiB | 00m00s [ 51/154] Installing grep-0:3.11-7.fc40 100% | 111.5 MiB/s | 1.0 MiB | 00m00s [ 52/154] Installing xz-1:5.4.6-3.fc40. 100% | 143.0 MiB/s | 2.0 MiB | 00m00s [ 53/154] Installing libcap-ng-0:0.8.4- 100% | 73.2 MiB/s | 75.0 KiB | 00m00s [ 54/154] Installing audit-libs-0:4.0.1 100% | 160.9 MiB/s | 329.4 KiB | 00m00s [ 55/154] Installing pam-libs-0:1.6.1-3 100% | 67.1 MiB/s | 137.4 KiB | 00m00s [ 56/154] Installing libcap-0:2.69-8.fc 100% | 73.2 MiB/s | 224.8 KiB | 00m00s [ 57/154] Installing systemd-libs-0:255 100% | 241.3 MiB/s | 1.9 MiB | 00m00s [ 58/154] Installing libsepol-0:3.6-3.f 100% | 261.4 MiB/s | 803.0 KiB | 00m00s [ 59/154] Installing libselinux-0:3.6-4 100% | 85.1 MiB/s | 174.3 KiB | 00m00s [ 60/154] Installing sed-0:4.9-1.fc40.x 100% | 121.3 MiB/s | 869.7 KiB | 00m00s [ 61/154] Installing findutils-1:4.9.0- 100% | 146.6 MiB/s | 1.5 MiB | 00m00s [ 62/154] Installing libmount-0:2.40.1- 100% | 172.3 MiB/s | 352.8 KiB | 00m00s [ 63/154] Installing lua-libs-0:5.4.6-5 100% | 137.8 MiB/s | 282.3 KiB | 00m00s [ 64/154] Installing jansson-0:2.13.1-9 100% | 87.6 MiB/s | 89.7 KiB | 00m00s [ 65/154] Installing libtasn1-0:4.19.0- 100% | 86.7 MiB/s | 177.5 KiB | 00m00s [ 66/154] Installing libsmartcols-0:2.4 100% | 88.6 MiB/s | 181.5 KiB | 00m00s [ 67/154] Installing libcom_err-0:1.47. 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 68/154] Installing alternatives-0:1.2 100% | 66.4 MiB/s | 68.0 KiB | 00m00s [ 69/154] Installing libunistring-0:1.1 100% | 247.2 MiB/s | 1.7 MiB | 00m00s [ 70/154] Installing libidn2-0:2.3.7-1. 100% | 81.8 MiB/s | 335.0 KiB | 00m00s [ 71/154] Installing libpsl-0:0.21.5-3. 100% | 79.7 MiB/s | 81.6 KiB | 00m00s [ 72/154] Installing util-linux-core-0: 100% | 135.1 MiB/s | 1.5 MiB | 00m00s [ 73/154] Installing tar-2:1.35-3.fc40. 100% | 196.7 MiB/s | 3.0 MiB | 00m00s [ 74/154] Installing libsemanage-0:3.6- 100% | 72.1 MiB/s | 295.3 KiB | 00m00s [ 75/154] Installing shadow-utils-2:4.1 100% | 66.2 MiB/s | 4.2 MiB | 00m00s >>> Running pre-install scriptlet: libutempter-0:1.2.1-13.fc40.x86_64 >>> Stop pre-install scriptlet: libutempter-0:1.2.1-13.fc40.x86_64 [ 76/154] Installing libutempter-0:1.2. 100% | 29.2 MiB/s | 59.7 KiB | 00m00s [ 77/154] Installing zip-0:3.0-40.fc40. 100% | 138.1 MiB/s | 707.1 KiB | 00m00s [ 78/154] Installing gdbm-1:1.23-6.fc40 100% | 113.7 MiB/s | 465.8 KiB | 00m00s [ 79/154] Installing cyrus-sasl-lib-0:2 100% | 228.3 MiB/s | 2.3 MiB | 00m00s [ 80/154] Installing zstd-0:1.5.6-1.fc4 100% | 279.3 MiB/s | 1.7 MiB | 00m00s [ 81/154] Installing libfdisk-0:2.40.1- 100% | 177.7 MiB/s | 364.0 KiB | 00m00s [ 82/154] Installing bzip2-0:1.0.8-18.f 100% | 47.0 MiB/s | 96.2 KiB | 00m00s [ 83/154] Installing libxml2-0:2.12.8-1 100% | 214.0 MiB/s | 1.7 MiB | 00m00s [ 84/154] Installing sqlite-libs-0:3.45 100% | 280.3 MiB/s | 1.4 MiB | 00m00s [ 85/154] Installing elfutils-default-y 100% | 145.9 KiB/s | 2.0 KiB | 00m00s >>> Running post-install scriptlet: elfutils-default-yama-scope-0:0.191-4.fc40.n >>> Stop post-install scriptlet: elfutils-default-yama-scope-0:0.191-4.fc40.noar [ 86/154] Installing ed-0:1.20.2-1.fc40 100% | 72.8 MiB/s | 149.2 KiB | 00m00s [ 87/154] Installing patch-0:2.7.6-24.f 100% | 129.0 MiB/s | 264.3 KiB | 00m00s [ 88/154] Installing cpio-0:2.15-1.fc40 100% | 137.5 MiB/s | 1.1 MiB | 00m00s [ 89/154] Installing diffutils-0:3.10-5 100% | 176.2 MiB/s | 1.6 MiB | 00m00s [ 90/154] Installing libgomp-0:14.1.1-5 100% | 256.3 MiB/s | 524.9 KiB | 00m00s [ 91/154] Installing libpkgconf-0:2.1.0 100% | 73.6 MiB/s | 75.3 KiB | 00m00s [ 92/154] Installing pkgconf-0:2.1.0-1. 100% | 41.5 MiB/s | 84.9 KiB | 00m00s [ 93/154] Installing pkgconf-pkg-config 100% | 1.7 MiB/s | 1.8 KiB | 00m00s [ 94/154] Installing libffi-0:3.4.4-7.f 100% | 81.0 MiB/s | 83.0 KiB | 00m00s [ 95/154] Installing p11-kit-0:0.25.3-4 100% | 146.3 MiB/s | 2.2 MiB | 00m00s [ 96/154] Installing p11-kit-trust-0:0. 100% | 21.3 MiB/s | 393.1 KiB | 00m00s >>> Running post-install scriptlet: p11-kit-trust-0:0.25.3-4.fc40.x86_64 >>> Stop post-install scriptlet: p11-kit-trust-0:0.25.3-4.fc40.x86_64 [ 97/154] Installing keyutils-libs-0:1. 100% | 54.5 MiB/s | 55.8 KiB | 00m00s [ 98/154] Installing libverto-0:0.3.2-8 100% | 30.5 MiB/s | 31.3 KiB | 00m00s [ 99/154] Installing xxhash-libs-0:0.8. 100% | 87.8 MiB/s | 89.9 KiB | 00m00s [100/154] Installing libbrotli-0:1.1.0- 100% | 162.5 MiB/s | 831.8 KiB | 00m00s [101/154] Installing libtool-ltdl-0:2.4 100% | 65.7 MiB/s | 67.3 KiB | 00m00s [102/154] Installing libnghttp2-0:1.59. 100% | 163.3 MiB/s | 167.2 KiB | 00m00s [103/154] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [104/154] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [105/154] Installing openblas-srpm-macr 100% | 0.0 B/s | 384.0 B | 00m00s [106/154] Installing ocaml-srpm-macros- 100% | 2.1 MiB/s | 2.2 KiB | 00m00s [107/154] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [108/154] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [109/154] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 992.0 B | 00m00s [110/154] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [111/154] Installing ansible-srpm-macro 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [112/154] Installing coreutils-common-0 100% | 229.3 MiB/s | 11.5 MiB | 00m00s [113/154] Installing openssl-libs-1:3.2 100% | 299.5 MiB/s | 7.8 MiB | 00m00s [114/154] Installing coreutils-0:9.4-6. 100% | 141.8 MiB/s | 5.8 MiB | 00m00s >>> Running pre-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40.n >>> Stop pre-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40.noar [115/154] Installing ca-certificates-0: 100% | 2.2 MiB/s | 2.3 MiB | 00m01s >>> Running post-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40. >>> Stop post-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40.noa [116/154] Installing krb5-libs-0:1.21.2 100% | 176.5 MiB/s | 2.3 MiB | 00m00s [117/154] Installing libtirpc-0:1.3.4-1 100% | 99.9 MiB/s | 204.6 KiB | 00m00s [118/154] Installing gzip-0:1.13-1.fc40 100% | 95.4 MiB/s | 390.6 KiB | 00m00s [119/154] Installing authselect-libs-0: 100% | 90.4 MiB/s | 833.2 KiB | 00m00s [120/154] Installing libarchive-0:3.7.2 100% | 179.0 MiB/s | 916.6 KiB | 00m00s [121/154] Installing authselect-0:1.5.0 100% | 38.6 MiB/s | 157.9 KiB | 00m00s [122/154] Installing cracklib-0:2.9.11- 100% | 34.9 MiB/s | 250.3 KiB | 00m00s [123/154] Installing libpwquality-0:1.4 100% | 52.5 MiB/s | 430.1 KiB | 00m00s [124/154] Installing libnsl2-0:2.0.1-1. 100% | 28.8 MiB/s | 59.0 KiB | 00m00s [125/154] Installing pam-0:1.6.1-3.fc40 100% | 75.8 MiB/s | 1.8 MiB | 00m00s [126/154] Installing libssh-0:0.10.6-5. 100% | 166.5 MiB/s | 511.4 KiB | 00m00s [127/154] Installing rpm-sequoia-0:1.6. 100% | 245.6 MiB/s | 2.2 MiB | 00m00s [128/154] Installing rpm-libs-0:4.19.1. 100% | 173.7 MiB/s | 711.4 KiB | 00m00s [129/154] Installing libevent-0:2.1.12- 100% | 175.7 MiB/s | 899.4 KiB | 00m00s [130/154] Installing openldap-0:2.6.7-1 100% | 156.0 MiB/s | 638.9 KiB | 00m00s [131/154] Installing libcurl-0:8.6.0-8. 100% | 188.9 MiB/s | 773.9 KiB | 00m00s [132/154] Installing elfutils-libs-0:0. 100% | 158.2 MiB/s | 648.0 KiB | 00m00s [133/154] Installing elfutils-debuginfo 100% | 32.7 MiB/s | 66.9 KiB | 00m00s [134/154] Installing binutils-0:2.41-37 100% | 256.4 MiB/s | 26.4 MiB | 00m00s >>> Running post-install scriptlet: binutils-0:2.41-37.fc40.x86_64 >>> Stop post-install scriptlet: binutils-0:2.41-37.fc40.x86_64 [135/154] Installing binutils-gold-0:2. 100% | 96.7 MiB/s | 2.0 MiB | 00m00s >>> Running post-install scriptlet: binutils-gold-0:2.41-37.fc40.x86_64 >>> Stop post-install scriptlet: binutils-gold-0:2.41-37.fc40.x86_64 [136/154] Installing elfutils-0:0.191-4 100% | 213.1 MiB/s | 2.6 MiB | 00m00s [137/154] Installing gdb-minimal-0:14.2 100% | 295.4 MiB/s | 12.7 MiB | 00m00s [138/154] Installing debugedit-0:5.0-14 100% | 98.5 MiB/s | 201.7 KiB | 00m00s [139/154] Installing rpm-build-libs-0:4 100% | 97.3 MiB/s | 199.2 KiB | 00m00s [140/154] Installing curl-0:8.6.0-8.fc4 100% | 34.3 MiB/s | 736.9 KiB | 00m00s >>> Running pre-install scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 >>> Stop pre-install scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 [141/154] Installing rpm-0:4.19.1.1-1.f 100% | 85.6 MiB/s | 2.4 MiB | 00m00s [142/154] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.2 KiB | 00m00s [143/154] Installing lua-srpm-macros-0: 100% | 1.9 MiB/s | 1.9 KiB | 00m00s [144/154] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 KiB | 00m00s [145/154] Installing python-srpm-macros 100% | 50.1 MiB/s | 51.3 KiB | 00m00s [146/154] Installing fonts-srpm-macros- 100% | 55.1 MiB/s | 56.5 KiB | 00m00s [147/154] Installing go-srpm-macros-0:3 100% | 60.2 MiB/s | 61.6 KiB | 00m00s [148/154] Installing forge-srpm-macros- 100% | 39.4 MiB/s | 40.3 KiB | 00m00s [149/154] Installing redhat-rpm-config- 100% | 62.4 MiB/s | 191.7 KiB | 00m00s [150/154] Installing rpm-build-0:4.19.1 100% | 44.4 MiB/s | 182.0 KiB | 00m00s [151/154] Installing pyproject-srpm-mac 100% | 1.0 MiB/s | 2.1 KiB | 00m00s [152/154] Installing util-linux-0:2.40. 100% | 89.2 MiB/s | 3.7 MiB | 00m00s >>> Running post-install scriptlet: util-linux-0:2.40.1-1.fc40.x86_64 >>> Stop post-install scriptlet: util-linux-0:2.40.1-1.fc40.x86_64 [153/154] Installing which-0:2.21-41.fc 100% | 40.3 MiB/s | 82.4 KiB | 00m00s [154/154] Installing info-0:7.1-2.fc40. 100% | 277.7 KiB/s | 358.2 KiB | 00m01s >>> Running post-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64 >>> Stop post-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64 >>> Running post-transaction scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.f >>> Stop post-transaction scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40 >>> Running post-transaction scriptlet: authselect-libs-0:1.5.0-5.fc40.x86_64 >>> Stop post-transaction scriptlet: authselect-libs-0:1.5.0-5.fc40.x86_64 >>> Running post-transaction scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 >>> Stop post-transaction scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 >>> Running trigger-install scriptlet: glibc-common-0:2.39-15.fc40.x86_64 >>> Stop trigger-install scriptlet: glibc-common-0:2.39-15.fc40.x86_64 >>> Running trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 >>> Stop trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 Finish: installing minimal buildroot with dnf5 Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: alternatives-1.27-1.fc40.x86_64 ansible-srpm-macros-1-14.fc40.noarch audit-libs-4.0.1-1.fc40.x86_64 authselect-1.5.0-5.fc40.x86_64 authselect-libs-1.5.0-5.fc40.x86_64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.x86_64 binutils-2.41-37.fc40.x86_64 binutils-gold-2.41-37.fc40.x86_64 bzip2-1.0.8-18.fc40.x86_64 bzip2-libs-1.0.8-18.fc40.x86_64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.4-6.fc40.x86_64 coreutils-common-9.4-6.fc40.x86_64 cpio-2.15-1.fc40.x86_64 cracklib-2.9.11-5.fc40.x86_64 crypto-policies-20240510-1.gitd287a42.fc40.noarch curl-8.6.0-8.fc40.x86_64 cyrus-sasl-lib-2.1.28-19.fc40.x86_64 debugedit-5.0-14.fc40.x86_64 diffutils-3.10-5.fc40.x86_64 dwz-0.15-6.fc40.x86_64 ed-1.20.2-1.fc40.x86_64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.191-4.fc40.x86_64 elfutils-debuginfod-client-0.191-4.fc40.x86_64 elfutils-default-yama-scope-0.191-4.fc40.noarch elfutils-libelf-0.191-4.fc40.x86_64 elfutils-libs-0.191-4.fc40.x86_64 fedora-gpg-keys-40-2.noarch fedora-release-40-39.noarch fedora-release-common-40-39.noarch fedora-release-identity-basic-40-39.noarch fedora-repos-40-2.noarch file-5.45-4.fc40.x86_64 file-libs-5.45-4.fc40.x86_64 filesystem-3.18-8.fc40.x86_64 findutils-4.9.0-8.fc40.x86_64 fonts-srpm-macros-2.0.5-14.fc40.noarch forge-srpm-macros-0.3.1-1.fc40.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.x86_64 gdb-minimal-14.2-2.fc40.x86_64 gdbm-1.23-6.fc40.x86_64 gdbm-libs-1.23-6.fc40.x86_64 ghc-srpm-macros-1.9-1.fc40.noarch glibc-2.39-15.fc40.x86_64 glibc-common-2.39-15.fc40.x86_64 glibc-gconv-extra-2.39-15.fc40.x86_64 glibc-minimal-langpack-2.39-15.fc40.x86_64 gmp-6.2.1-8.fc40.x86_64 gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.5.0-1.fc40.noarch gpg-pubkey-a15b79cc-63d04c2c grep-3.11-7.fc40.x86_64 gzip-1.13-1.fc40.x86_64 info-7.1-2.fc40.x86_64 jansson-2.13.1-9.fc40.x86_64 kernel-srpm-macros-1.0-23.fc40.noarch keyutils-libs-1.6.3-3.fc40.x86_64 krb5-libs-1.21.2-5.fc40.x86_64 libacl-2.3.2-1.fc40.x86_64 libarchive-3.7.2-4.fc40.x86_64 libattr-2.5.2-3.fc40.x86_64 libblkid-2.40.1-1.fc40.x86_64 libbrotli-1.1.0-3.fc40.x86_64 libcap-2.69-8.fc40.x86_64 libcap-ng-0.8.4-4.fc40.x86_64 libcom_err-1.47.0-5.fc40.x86_64 libcurl-8.6.0-8.fc40.x86_64 libeconf-0.6.2-2.fc40.x86_64 libevent-2.1.12-12.fc40.x86_64 libfdisk-2.40.1-1.fc40.x86_64 libffi-3.4.4-7.fc40.x86_64 libgcc-14.1.1-5.fc40.x86_64 libgomp-14.1.1-5.fc40.x86_64 libidn2-2.3.7-1.fc40.x86_64 libmount-2.40.1-1.fc40.x86_64 libnghttp2-1.59.0-3.fc40.x86_64 libnsl2-2.0.1-1.fc40.x86_64 libpkgconf-2.1.0-1.fc40.x86_64 libpsl-0.21.5-3.fc40.x86_64 libpwquality-1.4.5-9.fc40.x86_64 libselinux-3.6-4.fc40.x86_64 libsemanage-3.6-3.fc40.x86_64 libsepol-3.6-3.fc40.x86_64 libsmartcols-2.40.1-1.fc40.x86_64 libssh-0.10.6-5.fc40.x86_64 libssh-config-0.10.6-5.fc40.noarch libstdc++-14.1.1-5.fc40.x86_64 libtasn1-4.19.0-6.fc40.x86_64 libtirpc-1.3.4-1.rc3.fc40.x86_64 libtool-ltdl-2.4.7-10.fc40.x86_64 libunistring-1.1-7.fc40.x86_64 libutempter-1.2.1-13.fc40.x86_64 libuuid-2.40.1-1.fc40.x86_64 libverto-0.3.2-8.fc40.x86_64 libxcrypt-4.4.36-5.fc40.x86_64 libxml2-2.12.8-1.fc40.x86_64 libzstd-1.5.6-1.fc40.x86_64 lua-libs-5.4.6-5.fc40.x86_64 lua-srpm-macros-1-13.fc40.noarch lz4-libs-1.9.4-6.fc40.x86_64 mpfr-4.2.1-4.fc40.x86_64 ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.x86_64 ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-16.fc40.noarch openldap-2.6.7-1.fc40.x86_64 openssl-libs-3.2.1-2.fc40.x86_64 p11-kit-0.25.3-4.fc40.x86_64 p11-kit-trust-0.25.3-4.fc40.x86_64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-3.fc40.x86_64 pam-libs-1.6.1-3.fc40.x86_64 patch-2.7.6-24.fc40.x86_64 pcre2-10.42-2.fc40.2.x86_64 pcre2-syntax-10.42-2.fc40.2.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.0-1.fc40.x86_64 pkgconf-m4-2.1.0-1.fc40.noarch pkgconf-pkg-config-2.1.0-1.fc40.x86_64 popt-1.19-6.fc40.x86_64 publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.12.0-1.fc40.noarch python-srpm-macros-3.12-7.fc40.noarch qt5-srpm-macros-5.15.14-1.fc40.noarch qt6-srpm-macros-6.7.1-1.fc40.noarch readline-8.2-8.fc40.x86_64 redhat-rpm-config-286-1.fc40.noarch rpm-4.19.1.1-1.fc40.x86_64 rpm-build-4.19.1.1-1.fc40.x86_64 rpm-build-libs-4.19.1.1-1.fc40.x86_64 rpm-libs-4.19.1.1-1.fc40.x86_64 rpm-sequoia-1.6.0-3.fc40.x86_64 rust-srpm-macros-26.3-1.fc40.noarch sed-4.9-1.fc40.x86_64 setup-2.14.5-2.fc40.noarch shadow-utils-4.15.1-3.fc40.x86_64 sqlite-libs-3.45.1-2.fc40.x86_64 systemd-libs-255.7-1.fc40.x86_64 tar-1.35-3.fc40.x86_64 unzip-6.0-63.fc40.x86_64 util-linux-2.40.1-1.fc40.x86_64 util-linux-core-2.40.1-1.fc40.x86_64 which-2.21-41.fc40.x86_64 xxhash-libs-0.8.2-2.fc40.x86_64 xz-5.4.6-3.fc40.x86_64 xz-libs-5.4.6-3.fc40.x86_64 zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.x86_64 zlib-ng-compat-2.1.6-5.fc40.x86_64 zstd-1.5.6-1.fc40.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1714608000 Wrote: /builddir/build/SRPMS/lem-2022.12.10-1.fc40.src.rpm Finish: rpmbuild -bs cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/fedora-40-x86_64-1718942220.959024/root/var/log’: No such file or directory INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-40-x86_64-1718942220.959024/root/var/log/dnf5.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-rmes5s5_/lem/lem.spec) Config(child) 1 minutes 37 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-2022.12.10-1.fc40.src.rpm) Config(fedora-40-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-40-x86_64-bootstrap-1718942220.959024/root. INFO: reusing tmpfs at /var/lib/mock/fedora-40-x86_64-bootstrap-1718942220.959024/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-40-x86_64-1718942220.959024/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.19.1.1-1.fc40.x86_64 rpm-sequoia-1.6.0-3.fc40.x86_64 python3-dnf-4.19.2-1.fc40.noarch yum-4.19.2-1.fc40.noarch dnf5-5.1.17-1.fc40.x86_64 dnf5-plugins-5.1.17-1.fc40.x86_64 Finish: chroot init Start: build phase for lem-2022.12.10-1.fc40.src.rpm Start: build setup for lem-2022.12.10-1.fc40.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1714608000 Wrote: /builddir/build/SRPMS/lem-2022.12.10-1.fc40.src.rpm Updating and loading repositories: updates 100% | 1.1 MiB/s | 27.0 KiB | 00m00s fedora 100% | 953.4 KiB/s | 28.6 KiB | 00m00s Copr repository 100% | 19.3 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: ocaml x86_64 5.1.1-4.fc40 fedora 128.9 MiB ocaml-findlib x86_64 1.9.6-11.fc40 fedora 3.2 MiB ocaml-num-devel x86_64 1.5-6.fc40 fedora 948.5 KiB ocaml-ocamlbuild x86_64 0.14.3-3.fc40 fedora 14.2 MiB ocaml-rpm-macros noarch 5.1.1-4.fc40 fedora 19.8 KiB ocaml-zarith-devel x86_64 1.13-6.fc40 fedora 880.6 KiB Installing dependencies: annobin-docs noarch 12.57-1.fc40 updates 96.2 KiB annobin-plugin-gcc x86_64 12.57-1.fc40 updates 975.7 KiB cpp x86_64 14.1.1-5.fc40 updates 35.0 MiB expat x86_64 2.6.2-1.fc40 updates 280.8 KiB gc x86_64 8.2.2-6.fc40 fedora 258.7 KiB gcc x86_64 14.1.1-5.fc40 updates 104.1 MiB gcc-plugin-annobin x86_64 14.1.1-5.fc40 updates 57.1 KiB glibc-devel x86_64 2.39-15.fc40 updates 35.8 KiB glibc-headers-x86 noarch 2.39-15.fc40 updates 2.2 MiB gmp-c++ x86_64 1:6.2.1-8.fc40 fedora 31.8 KiB gmp-devel x86_64 1:6.2.1-8.fc40 fedora 350.6 KiB guile30 x86_64 3.0.7-12.fc40 fedora 51.5 MiB kernel-headers x86_64 6.9.4-200.fc40 updates 6.3 MiB libb2 x86_64 0.98.1-11.fc40 fedora 42.2 KiB libmpc x86_64 1.3.1-5.fc40 fedora 164.7 KiB libxcrypt-devel x86_64 4.4.36-5.fc40 fedora 30.3 KiB libzstd-devel x86_64 1.5.6-1.fc40 updates 202.4 KiB make x86_64 1:4.4.1-6.fc40 fedora 1.8 MiB mpdecimal x86_64 2.5.1-9.fc40 fedora 200.9 KiB ncurses x86_64 6.4-12.20240127.fc40 fedora 621.0 KiB ocaml-num x86_64 1.5-6.fc40 fedora 540.3 KiB ocaml-runtime x86_64 5.1.1-4.fc40 fedora 5.5 MiB ocaml-zarith x86_64 1.13-6.fc40 fedora 377.7 KiB python-pip-wheel noarch 23.3.2-1.fc40 fedora 1.5 MiB python3 x86_64 3.12.3-2.fc40 updates 31.5 KiB python3-libs x86_64 3.12.3-2.fc40 updates 40.9 MiB tzdata noarch 2024a-5.fc40 updates 1.6 MiB Transaction Summary: Installing: 33 packages Total size of inbound packages is 114 MiB. Need to download 114 MiB. After this operation 403 MiB will be used (install 403 MiB, remove 0 B). [ 1/33] ocaml-num-devel-0:1.5-6.fc40.x8 100% | 852.6 KiB/s | 354.7 KiB | 00m00s [ 2/33] ocaml-findlib-0:1.9.6-11.fc40.x 100% | 2.2 MiB/s | 993.1 KiB | 00m00s [ 3/33] ocaml-rpm-macros-0:5.1.1-4.fc40 100% | 361.1 KiB/s | 14.8 KiB | 00m00s [ 4/33] ocaml-zarith-devel-0:1.13-6.fc4 100% | 4.1 MiB/s | 392.5 KiB | 00m00s [ 5/33] ocaml-ocamlbuild-0:0.14.3-3.fc4 100% | 20.4 MiB/s | 4.3 MiB | 00m00s [ 6/33] ocaml-0:5.1.1-4.fc40.x86_64 100% | 35.4 MiB/s | 31.2 MiB | 00m01s [ 7/33] ocaml-num-0:1.5-6.fc40.x86_64 100% | 955.8 KiB/s | 241.8 KiB | 00m00s [ 8/33] ncurses-0:6.4-12.20240127.fc40. 100% | 14.2 MiB/s | 421.2 KiB | 00m00s [ 9/33] ocaml-runtime-0:5.1.1-4.fc40.x8 100% | 9.7 MiB/s | 3.2 MiB | 00m00s [10/33] gmp-devel-1:6.2.1-8.fc40.x86_64 100% | 3.3 MiB/s | 173.0 KiB | 00m00s [11/33] ocaml-zarith-0:1.13-6.fc40.x86_ 100% | 3.9 MiB/s | 157.1 KiB | 00m00s [12/33] gmp-c++-1:6.2.1-8.fc40.x86_64 100% | 448.6 KiB/s | 18.4 KiB | 00m00s [13/33] libmpc-0:1.3.1-5.fc40.x86_64 100% | 2.9 MiB/s | 71.1 KiB | 00m00s [14/33] make-1:4.4.1-6.fc40.x86_64 100% | 19.8 MiB/s | 587.6 KiB | 00m00s [15/33] guile30-0:3.0.7-12.fc40.x86_64 100% | 44.3 MiB/s | 8.1 MiB | 00m00s [16/33] gc-0:8.2.2-6.fc40.x86_64 100% | 4.5 MiB/s | 110.2 KiB | 00m00s [17/33] libzstd-devel-0:1.5.6-1.fc40.x8 100% | 111.1 KiB/s | 51.8 KiB | 00m00s [18/33] gcc-plugin-annobin-0:14.1.1-5.f 100% | 183.9 KiB/s | 51.5 KiB | 00m00s [19/33] python3-0:3.12.3-2.fc40.x86_64 100% | 272.3 KiB/s | 27.2 KiB | 00m00s [20/33] cpp-0:14.1.1-5.fc40.x86_64 100% | 3.5 MiB/s | 11.9 MiB | 00m03s [21/33] libb2-0:0.98.1-11.fc40.x86_64 100% | 84.3 KiB/s | 25.5 KiB | 00m00s [22/33] mpdecimal-0:2.5.1-9.fc40.x86_64 100% | 1.2 MiB/s | 88.6 KiB | 00m00s [23/33] python-pip-wheel-0:23.3.2-1.fc4 100% | 12.1 MiB/s | 1.5 MiB | 00m00s [24/33] expat-0:2.6.2-1.fc40.x86_64 100% | 905.2 KiB/s | 113.1 KiB | 00m00s [25/33] tzdata-0:2024a-5.fc40.noarch 100% | 3.0 MiB/s | 716.1 KiB | 00m00s [26/33] annobin-plugin-gcc-0:12.57-1.fc 100% | 3.5 MiB/s | 965.9 KiB | 00m00s [27/33] annobin-docs-0:12.57-1.fc40.noa 100% | 1.0 MiB/s | 89.8 KiB | 00m00s [28/33] glibc-devel-0:2.39-15.fc40.x86_ 100% | 1.3 MiB/s | 113.2 KiB | 00m00s [29/33] glibc-headers-x86-0:2.39-15.fc4 100% | 2.4 MiB/s | 607.3 KiB | 00m00s [30/33] libxcrypt-devel-0:4.4.36-5.fc40 100% | 1.2 MiB/s | 28.6 KiB | 00m00s [31/33] kernel-headers-0:6.9.4-200.fc40 100% | 3.2 MiB/s | 1.6 MiB | 00m01s [32/33] python3-libs-0:3.12.3-2.fc40.x8 100% | 1.0 MiB/s | 9.1 MiB | 00m09s [33/33] gcc-0:14.1.1-5.fc40.x86_64 100% | 2.8 MiB/s | 37.1 MiB | 00m13s -------------------------------------------------------------------------------- [33/33] Total 100% | 8.0 MiB/s | 114.4 MiB | 00m14s Running transaction [ 1/35] Verify package files 100% | 80.0 B/s | 33.0 B | 00m00s [ 2/35] Prepare transaction 100% | 445.0 B/s | 33.0 B | 00m00s [ 3/35] Installing ocaml-runtime-0:5.1. 100% | 230.6 MiB/s | 5.5 MiB | 00m00s [ 4/35] Installing libmpc-0:1.3.1-5.fc4 100% | 81.2 MiB/s | 166.2 KiB | 00m00s [ 5/35] Installing cpp-0:14.1.1-5.fc40. 100% | 284.5 MiB/s | 35.0 MiB | 00m00s [ 6/35] Installing kernel-headers-0:6.9 100% | 106.6 MiB/s | 6.4 MiB | 00m00s [ 7/35] Installing glibc-headers-x86-0: 100% | 90.2 MiB/s | 2.3 MiB | 00m00s [ 8/35] Installing libxcrypt-devel-0:4. 100% | 15.9 MiB/s | 32.6 KiB | 00m00s [ 9/35] Installing glibc-devel-0:2.39-1 100% | 19.2 MiB/s | 39.3 KiB | 00m00s [10/35] Installing annobin-docs-0:12.57 100% | 19.0 MiB/s | 97.3 KiB | 00m00s [11/35] Installing tzdata-0:2024a-5.fc4 100% | 27.1 MiB/s | 1.9 MiB | 00m00s [12/35] Installing expat-0:2.6.2-1.fc40 100% | 138.1 MiB/s | 282.9 KiB | 00m00s [13/35] Installing python-pip-wheel-0:2 100% | 506.6 MiB/s | 1.5 MiB | 00m00s [14/35] Installing mpdecimal-0:2.5.1-9. 100% | 98.6 MiB/s | 202.0 KiB | 00m00s [15/35] Installing libb2-0:0.98.1-11.fc 100% | 7.0 MiB/s | 43.3 KiB | 00m00s [16/35] Installing python3-libs-0:3.12. 100% | 197.8 MiB/s | 41.3 MiB | 00m00s [17/35] Installing python3-0:3.12.3-2.f 100% | 32.5 MiB/s | 33.3 KiB | 00m00s [18/35] Installing libzstd-devel-0:1.5. 100% | 198.5 MiB/s | 203.2 KiB | 00m00s [19/35] Installing gc-0:8.2.2-6.fc40.x8 100% | 63.8 MiB/s | 261.2 KiB | 00m00s [20/35] Installing guile30-0:3.0.7-12.f 100% | 310.7 MiB/s | 51.6 MiB | 00m00s [21/35] Installing make-1:4.4.1-6.fc40. 100% | 163.7 MiB/s | 1.8 MiB | 00m00s [22/35] Installing gcc-0:14.1.1-5.fc40. 100% | 305.5 MiB/s | 104.2 MiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:286-1.fc40.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:286-1.fc40.noarch [23/35] Installing ocaml-0:5.1.1-4.fc40 100% | 339.5 MiB/s | 129.0 MiB | 00m00s [24/35] Installing ocaml-num-0:1.5-6.fc 100% | 132.8 MiB/s | 544.0 KiB | 00m00s [25/35] Installing ocaml-zarith-0:1.13- 100% | 124.0 MiB/s | 380.9 KiB | 00m00s [26/35] Installing gmp-c++-1:6.2.1-8.fc 100% | 31.8 MiB/s | 32.6 KiB | 00m00s [27/35] Installing gmp-devel-1:6.2.1-8. 100% | 172.1 MiB/s | 352.4 KiB | 00m00s [28/35] Installing ncurses-0:6.4-12.202 100% | 153.2 MiB/s | 627.6 KiB | 00m00s [29/35] Installing ocaml-ocamlbuild-0:0 100% | 316.2 MiB/s | 14.2 MiB | 00m00s [30/35] Installing ocaml-zarith-devel-0 100% | 173.4 MiB/s | 887.7 KiB | 00m00s [31/35] Installing ocaml-num-devel-0:1. 100% | 232.3 MiB/s | 951.7 KiB | 00m00s [32/35] Installing ocaml-findlib-0:1.9. 100% | 249.8 MiB/s | 3.2 MiB | 00m00s [33/35] Installing ocaml-rpm-macros-0:5 100% | 19.8 MiB/s | 20.3 KiB | 00m00s [34/35] Installing gcc-plugin-annobin-0 100% | 2.3 MiB/s | 58.7 KiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:286-1.fc40.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:286-1.fc40.noarch [35/35] Installing annobin-plugin-gcc-0 100% | 4.2 MiB/s | 977.3 KiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:286-1.fc40.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:286-1.fc40.noarch >>> Running trigger-install scriptlet: glibc-common-0:2.39-15.fc40.x86_64 >>> Stop trigger-install scriptlet: glibc-common-0:2.39-15.fc40.x86_64 >>> Running trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 >>> Stop trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 Finish: build setup for lem-2022.12.10-1.fc40.src.rpm Start: rpmbuild lem-2022.12.10-1.fc40.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1714608000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.NtEBrB + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf lem-2022-12-10 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/lem-2022-12-10.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd lem-2022-12-10 + rm -rf /builddir/build/BUILD/lem-2022-12-10-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/lem-2022-12-10-SPECPARTS + /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.99XrLe + umask 022 + cd /builddir/build/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 -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 -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 -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 -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-errors -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-2022-12-10 + make echo "(* Generated file -- do not edit. *)" > src/version.ml echo 'let v="2022-12-10"' >> src/version.ml echo "(* Generated file -- do not edit. *)" > src/share_directory.ml echo let d=\"/builddir/build/BUILD/lem-2022-12-10/share/lem\" >> src/share_directory.ml make -C src all make[1]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/src' 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 -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 -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 -package zarith -I ulib -o ulib/batText.cmi ulib/batText.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmi ulib/batUTF8.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/ulib.cmo ulib/ulib.ml ocamlfind ocamlc -c -g -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 -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 -package zarith -I ulib -o ulib/batUChar.cmx ulib/batUChar.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmx ulib/batReturn.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batText.cmx ulib/batText.ml ocamlfind ocamlopt -c -g -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 -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 -package zarith -I ulib -o name.cmi name.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ident.cmi ident.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o path.cmi path.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast_util.cmi ast_util.mli ocamlfind ocamlopt -c -g -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 -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 -package zarith -I ulib -o pp.cmi pp.mli ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o util.cmi util.mli ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o util.cmx util.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml + ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o name.cmx name.ml ocamlfind ocamldep -package zarith -modules path.ml > path.ml.depends ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ident.cmx ident.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml File "path.ml", lines 109-119, characters 2-20: 109 | ..match p with 110 | | Path_list -> 0 111 | | Path_bool -> 1 112 | | Path_nat -> 2 113 | | Path_numeral -> 3 ... 116 | | Path_vector -> 6 117 | | Path_char -> 7 118 | | Path_string -> 8 119 | | 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 -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 -package zarith -I ulib -o nvar.cmi nvar.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o seplist.cmi seplist.mli ocamlfind ocamlc -c -g -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 -package zarith -I ulib -o tyvar.cmi tyvar.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o types.cmi types.mli + ocamlfind ocamlc -c -g -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 -package zarith -I ulib -o typed_ast.cmi typed_ast.mli ocamlfind ocamlc -c -g -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 -package zarith -I ulib -o macro_expander.cmi macro_expander.mli ocamlfind ocamlc -c -g -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 -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 -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 -package zarith -I ulib -o seplist.cmx seplist.ml ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o nvar.cmx nvar.ml ocamlfind ocamldep -package zarith -modules tyvar.ml > tyvar.ml.depends ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o tyvar.cmx tyvar.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml + ocamlfind ocamlopt -c -g -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 1615, characters 12-28: 1615 | 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 -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 -package zarith -I ulib -o external_constants.cmo external_constants.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml File "typed_ast.ml", lines 2496-2512, characters 4-13: 2496 | ....match t.term with 2497 | | Typ_wild _ | Typ_var _ | Typ_paren _ | Typ_len _ -> t (*TODO Check that parens aren't needed *) 2498 | | Typ_fn _ -> 2499 | if ctxt = TC_fn_right then 2500 | t ... 2509 | if ctxt = TC_app then 2510 | mk_tparen Ast.Unknown None t None (Some(t.typ)) 2511 | else 2512 | 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 -package zarith -I ulib -o external_constants.cmx external_constants.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml File "typed_ast_syntax.ml", lines 968-976, characters 2-52: 968 | ..match t.term with 969 | | Typ_wild _ -> ue 970 | | Typ_var _ -> ue 971 | | Typ_len _ -> ue 972 | | Typ_fn (t1, _, t2) -> add_src_t_entities (add_src_t_entities ue t1) t2 973 | | Typ_tup sp -> Seplist.fold_left (fun t ue -> add_src_t_entities ue t) ue sp 974 | | Typ_app (id, args) -> List.fold_left add_src_t_entities (used_entities_add_type ue id.descr) args 975 | | Typ_backend (_, args) -> List.fold_left add_src_t_entities ue args 976 | | 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 -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 -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 -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 -package zarith -I ulib -o pattern_syntax.cmx pattern_syntax.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml + ocamlfind ocamlopt -c -g -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 85, characters 14-15: 85 | | P_special _ -> -1 ^ Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o share_directory.cmx share_directory.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_binding.cmx target_binding.ml ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o coq_backend_utils.cmo coq_backend_utils.ml ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml + ocamlfind ocamlc -c -g -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 -package zarith -I ulib -o backend_common.cmx backend_common.ml + ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o coq_backend_utils.cmx coq_backend_utils.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml + ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o pcombinators.cmi pcombinators.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o syntactic_tests.cmi syntactic_tests.mli ocamlfind ocamlc -c -g -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 -package zarith -I ulib -o reporting.cmi reporting.mli ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml + ocamlfind ocamlopt -c -g -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 1643-1650, characters 2-35: 1643 | ..match c_id_string with 1644 | | "AilSyntax.Plus" -> false 1645 | | "AilSyntax.Minus" -> false 1646 | | "AilSyntax.Bnot" -> false 1647 | | "AilSyntax.Address" -> false 1648 | | "AilSyntax.Indirection" -> false 1649 | | "AilSyntax.PostfixIncr" -> true 1650 | | "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 1943-1948, characters 14-17: 1943 | ..............begin 1944 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with 1945 | | (kind,(Some op_output)), true -> Ail, Some [pparg e; (concat emp op_output) ] 1946 | | (kind,(Some op_output)), false -> Ail, Some [pparg_flip_lskip (concat emp op_output) e ] 1947 | | (kind,None), true -> Ail, Some [pparg op; pparg e;] 1948 | 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 1940-1950, characters 8-11: 1940 | ........begin 1941 | match deconstruct_arg op with 1942 | | Some (c_id_string',[]) -> 1943 | begin 1944 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with ... 1947 | | (kind,None), true -> Ail, Some [pparg op; pparg e;] 1948 | end 1949 | | None -> Ail, Some [pparg op; pparg e;] 1950 | 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 2915-2954, characters 40-73: 2915 | ........................................match t.term with 2916 | | Typ_wild(sk) -> t 2917 | | Typ_var(sk,tv) -> t 2918 | | Typ_len(n) -> t 2919 | | Typ_fn(t1,sk,t2) -> ... 2951 | { t with term = Typ_backend(id, List.map (hol_strip_args_t type_names) ts) } 2952 | end 2953 | | Typ_paren(sk1,t,sk2) -> 2954 | { 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 2170, characters 9-16: 2170 | 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 3751, characters 12-69: 3751 | | 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 3762, characters 12-63: 3762 | | Val_def ((Fun_def (s1, rec_flag, targets, clauses) as def)) -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable def. ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting.cmx reporting.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pcombinators.cmx pcombinators.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml + ocamlfind ocamlopt -c -g -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 165, characters 10-70: 165 | 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 -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 -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 -package zarith -I ulib -o parser.cmi parser.mli ocamlfind ocamlc -c -g -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 -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 -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 -package zarith -I ulib -o def_trans.cmi def_trans.mli ocamlfind ocamlc -c -g -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 -package zarith -I ulib -o def_trans.cmx def_trans.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml File "def_trans.ml", line 129, characters 32-55: 129 | let remove_import_include _ env (((d,s),l,lenv) as def) = ^^^^^^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable def. ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml File "patterns.ml", line 94, characters 35-77: 94 | 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 2145, characters 6-21: 2145 | 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 2146, characters 6-21: 2146 | 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 2190, characters 6-14: 2190 | let nil_pats = ^^^^^^^^ Warning 26 [unused-var]: unused variable nil_pats. File "patterns.ml", line 2192, characters 6-15: 2192 | let cons_pats = ^^^^^^^^^ Warning 26 [unused-var]: unused variable cons_pats. File "patterns.ml", line 2346, characters 6-19: 2346 | let case_fun_else p ee = ^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable case_fun_else. File "patterns.ml", line 2348, characters 6-18: 2348 | let dest_in_else e = [] in ^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable dest_in_else. File "patterns.ml", line 2349, characters 6-20: 2349 | let restr_pat_else _ = matrix_compile_mk_pwild p_ty in ^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable restr_pat_else. File "patterns.ml", line 2351, characters 6-10: 2351 | let nall = List.length all_args in ^^^^ Warning 26 [unused-var]: unused variable nall. ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o lexer.cmx lexer.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o trans.cmx trans.ml ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o module_dependencies.cmi module_dependencies.mli ocamlfind ocamlopt -c -g -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 -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 -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 -package zarith -I ulib -o typecheck_ctxt.cmi typecheck_ctxt.mli ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml File "convert_relations.ml", lines 1494-1496, characters 6-45: 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in 1496 | (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 2014-2019, characters 6-55: 2014 | ......let ([output], equalities) = 2015 | extract_patterns env avoid [v] [true] in 2016 | let bound = Nmap.domain (pat_to_bound output) in 2017 | LET(output, u, 2018 | build_code (Nset.union bound known) indconds 2019 | 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 1870, characters 6-10: 1870 | 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 -package zarith -I ulib -o typecheck_ctxt.cmx typecheck_ctxt.ml ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o target_syntax.cmi target_syntax.mli ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml File "convert_relations.ml", lines 1494-1496, characters 6-45: 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in 1496 | (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 2014-2019, characters 6-55: 2014 | ......let ([output], equalities) = 2015 | extract_patterns env avoid [v] [true] in 2016 | let bound = Nmap.domain (pat_to_bound output) in 2017 | LET(output, u, 2018 | build_code (Nset.union bound known) indconds 2019 | 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 1870, characters 6-10: 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in ^^^^ Warning 26 [unused-var]: unused variable vars. ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o typecheck.cmi typecheck.mli ocamlfind ocamldep -package zarith -modules version.ml > version.ml.depends ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o version.cmo version.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o debug.cmx debug.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o initial_env.cmx initial_env.ml + ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_trans.cmx target_trans.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml + ocamlfind ocamlopt -c -g -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 -package zarith -I ulib -o version.cmx version.ml ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o main.cmx main.ml + ocamlfind ocamlopt -c -g -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 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 + ocamlfind ocamlopt -linkpkg 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 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). make[1]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10/src' ln -sf src/main.native lem cat lem.sh >lem chmod a+x lem mkdir -p bin cd bin && ln -sf ../src/main.native lem make -C library make[1]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/library' make -C .. build-lem make[2]: Entering directory '/builddir/build/BUILD/lem-2022-12-10' echo "(* Generated file -- do not edit. *)" > src/version.ml echo 'let v="2022-12-10"' >> src/version.ml echo "(* Generated file -- do not edit. *)" > src/share_directory.ml echo let d=\"/builddir/build/BUILD/lem-2022-12-10/share/lem\" >> src/share_directory.ml make -C src all make[3]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/src' ocamlbuild -use-ocamlfind -cflags -g main.native ocamlfind ocamlopt -linkpkg 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 + ocamlfind ocamlopt -linkpkg 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 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). make[3]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10/src' ln -sf src/main.native lem make[2]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10' ../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-2022-12-10/library' make ocaml-libs make[1]: Entering directory '/builddir/build/BUILD/lem-2022-12-10' make -C ocaml-lib all make[2]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/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-2022-12-10/ocaml-lib' make -C library ocaml-lib-tests make[2]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/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-2022-12-10/library' make[1]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.gVDF2x + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 ++ dirname /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 + 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 -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 -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 -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 -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-errors -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-2022-12-10 + mkdir -p /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem + make install INSTALLDIR=/builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml INSTALL_DIR=/builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr mkdir -p /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/bin rm -f /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/bin/lem cp src/main.native /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/bin/lem rm -rf /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem mkdir -p /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem/library cp library/*.lem /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem/library cp library/*_constants /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem/library make -C ocaml-lib install make[1]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/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 make /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/META make[2]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml lem_zarith ocamlfind: [WARNING] No such file: /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/META ocamlfind install -destdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/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/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_debug.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_debug.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_pervasives_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/bit.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/vector.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_string_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_show_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_set_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_relation.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_relation.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_sorting.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_sorting.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_pervasives.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_num_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_maybe_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_map_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_machine_word.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_list_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_function_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_word.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_word.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_either.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_either.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_map.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_map.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_set.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_set.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/pmap.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_set_helpers.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_show.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_show.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_string.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_string.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_list.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_list.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_tuple.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_tuple.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_num.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_num.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_maybe.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_maybe.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/rational.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_function.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_function.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_basic_classes.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/either.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/either.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_bool.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem_bool.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/lem.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/xstring.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/nat_big_num.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/nat_num.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/pset.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/xstring.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/xstring.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/bit.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/bit.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/vector.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/vector.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/pmap.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/pmap.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/pset.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/pset.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/rational.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/rational.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/nat_num.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/nat_num.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/nat_big_num.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/nat_big_num.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/rational_impl.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/big_int_impl.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/rational_impl.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/rational_impl.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/big_int_impl.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/big_int_impl.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/extract.a Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/extract.cmxa Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/extract.cma Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/META touch /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_zarith/META make[2]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa make /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/META make[2]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml lem_num ocamlfind: [WARNING] No such file: /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/META ocamlfind install -destdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/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/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_debug.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_debug.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_pervasives_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/bit.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/vector.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_string_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_string_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_show_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_show_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_set_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_set_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_relation.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_relation.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_sorting.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_sorting.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_pervasives.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_pervasives.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_num_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_num_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_maybe_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_map_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_map_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_machine_word.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_machine_word.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_list_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_list_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_function_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_function_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_word.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_word.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_either.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_either.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_map.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_map.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_set.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_set.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/pmap.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_set_helpers.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_set_helpers.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_show.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_show.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_string.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_string.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_assert_extra.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_assert_extra.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_list.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_list.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_tuple.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_tuple.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_num.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_num.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_maybe.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_maybe.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/rational.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_function.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_function.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_basic_classes.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_basic_classes.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/either.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/either.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_bool.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem_bool.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/lem.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/xstring.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/nat_big_num.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/nat_num.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/pset.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/xstring.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/xstring.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/bit.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/bit.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/vector.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/vector.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/pmap.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/pmap.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/pset.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/pset.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/rational.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/rational.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/nat_num.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/nat_num.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/nat_big_num.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/nat_big_num.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/rational_impl.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/big_int_impl.cmx Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/rational_impl.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/rational_impl.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/big_int_impl.cmi Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/big_int_impl.mli Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/extract.a Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/extract.cmxa Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/extract.cma Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/META touch /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem_num/META make[2]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' make /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem/META make[2]: Entering directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' Makefile:10: warning: overriding recipe for target 'clean' ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean' ocamlfind remove -destdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml lem ocamlfind: [WARNING] No such file: /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem/META ocamlfind install -destdir /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml -patch-version "" lem META Installed /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem/META touch /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/lib64/ocaml/lem/META make[2]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' make[1]: Leaving directory '/builddir/build/BUILD/lem-2022-12-10/ocaml-lib' cp -R coq-lib /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem cp -R hol-lib /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem cp -R isabelle-lib /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/lem + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 /usr/lib64/ocaml + /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 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: lem-2022.12.10-1.fc40.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.b1WNsF + umask 022 + cd /builddir/build/BUILD + cd lem-2022-12-10 + DOCDIR=/builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/doc/lem + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/doc/lem + cp -pr /builddir/build/BUILD/lem-2022-12-10/README.md /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/doc/lem + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.VAnLna + umask 022 + cd /builddir/build/BUILD + cd lem-2022-12-10 + LICENSEDIR=/builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/licenses/lem + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/licenses/lem + cp -pr /builddir/build/BUILD/lem-2022-12-10/LICENSE /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64/usr/share/licenses/lem + RPM_EC=0 ++ jobs -p + exit 0 Provides: lem = 2022.12.10-1.fc40 lem(x86-64) = 2022.12.10-1.fc40 ocaml(Big_int_impl) = 05d1b3506ea4200e6362aa3392e334f6 ocaml(Big_int_impl) = 5142e712c3b69d05fb73b91fa02a0f5f ocaml(Bit) = 558b9f5e13dd8cf91cbb1deb16cf207c ocaml(Either) = 8d12d20f4ba6b6aed8cac63faab20c40 ocaml(Lem) = 6b9a2a728bdc76a90af9e584aaf82415 ocaml(Lem) = d8a1d1b9b9662041f6158f110ef6fe16 ocaml(Lem_assert_extra) = 264d5492eb2aefbe0ee09ac27060bc65 ocaml(Lem_basic_classes) = e0ecf6e0177b0a74798869acf57c3860 ocaml(Lem_bool) = 9476e4d3835f962c2a1b7d48b143b167 ocaml(Lem_debug) = 38d5a3fc3fb2817bfefa784373ee96ac ocaml(Lem_either) = 6e70bdd3870dbf47a2b773060fe4cb2f ocaml(Lem_function) = 8f0043811faa043af273878afd27c850 ocaml(Lem_function_extra) = 11ab3b1bc9f7fbf97d0905a82f8d3f4d ocaml(Lem_list) = ee1a78cb7a0b5193b2fd1e78d6e6f4fb ocaml(Lem_list_extra) = a96beaf42d0e27e26ef416988eb74b57 ocaml(Lem_machine_word) = ed758859aad5c80fab4a955c34355938 ocaml(Lem_machine_word) = ffb51753b9f99246d731d23391d6ec95 ocaml(Lem_map) = b6e244bdbe2443d5f74ab86d608c0612 ocaml(Lem_map_extra) = 17020c6a91527f18dabd7fb1cfd9a2b4 ocaml(Lem_maybe) = 60b6566e96fd734353e3b82e5b292c7a ocaml(Lem_maybe_extra) = 47e9584e54478d3cd9c7b22afa10792c ocaml(Lem_num) = 4f2398cf4a02194d2177ba1d6332fcad ocaml(Lem_num) = e53a3762b3e03db5e6fff511f370eda2 ocaml(Lem_num_extra) = 09be56654d35204048af0263ead442dc ocaml(Lem_num_extra) = da466a096697d17f6e6bed2c1abb96b1 ocaml(Lem_pervasives) = 35d82d0da75a6bf8db6bfa567cf6d8d0 ocaml(Lem_pervasives) = b5f188ffb13705985731b28d25e9dc7e ocaml(Lem_pervasives_extra) = 1a5bb998c6c0278bbdcb9b3837345ab3 ocaml(Lem_pervasives_extra) = 1fb8ffe48fdad8c6dc1aa731209f9c36 ocaml(Lem_relation) = f6d1a69b9d5426e2c053779a4feb6cea ocaml(Lem_set) = e21bce889892672b9e8741c98f068c6a ocaml(Lem_set_extra) = 311d04ec56a15b28a2684cbb842dda2e ocaml(Lem_set_helpers) = 59db41d70866f827acc284c91c88d6a2 ocaml(Lem_show) = f768d85e6647da54ad9fac7fda6f8bbe ocaml(Lem_show_extra) = 1ee926e46361ca9143c2422aa0cf3c09 ocaml(Lem_sorting) = 7213bc658ee376257b098cefe0f1422d ocaml(Lem_string) = 2c39742410999f114b6e551a803730e1 ocaml(Lem_string_extra) = 9b1850386ddea2733bdaab9d7f5466a9 ocaml(Lem_string_extra) = d8c81bb41476e172b584976e57e15f96 ocaml(Lem_tuple) = a0453a7290521deb7bda0a9c1e9d1b55 ocaml(Lem_word) = 9e6a90e985f9e53f5d773c753350c18b ocaml(Lem_word) = feaf78cb622d4b71cda192a831bd107c ocaml(Nat_big_num) = 8caffc563d1750c84c997618b8be586d ocaml(Nat_big_num) = 998d2fca2e72b634ac93820355eee018 ocaml(Nat_num) = 3a28551c24e19df793631e4ecc5565ba ocaml(Pmap) = af24ee0911ed1768e2790bc3c444a701 ocaml(Pset) = 58c8fc460bc0a1f51c43b9ffba8bafee ocaml(Rational) = 037e3980bcbed4b7d77945c1a91ed99c ocaml(Rational) = 22e69f0dd8681780e5c605dfb31a408b ocaml(Rational_impl) = 41e460aeaa0e568d8376c350ae7b9fe3 ocaml(Rational_impl) = a6d55877c01d837b882b7e692c17069c ocaml(Vector) = 0a43bd437af0b25254b75305e163de29 ocaml(Xstring) = b456fd0ef23876218fe9207f50f94f3a Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-x86-64.so.2()(64bit) ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 ocaml(Big_int_impl) = 05d1b3506ea4200e6362aa3392e334f6 ocaml(Big_int_impl) = 5142e712c3b69d05fb73b91fa02a0f5f ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Either) = 8d12d20f4ba6b6aed8cac63faab20c40 ocaml(Lem) = 6b9a2a728bdc76a90af9e584aaf82415 ocaml(Lem) = d8a1d1b9b9662041f6158f110ef6fe16 ocaml(Lem_assert_extra) = 264d5492eb2aefbe0ee09ac27060bc65 ocaml(Lem_basic_classes) = e0ecf6e0177b0a74798869acf57c3860 ocaml(Lem_bool) = 9476e4d3835f962c2a1b7d48b143b167 ocaml(Lem_either) = 6e70bdd3870dbf47a2b773060fe4cb2f ocaml(Lem_function) = 8f0043811faa043af273878afd27c850 ocaml(Lem_function_extra) = 11ab3b1bc9f7fbf97d0905a82f8d3f4d ocaml(Lem_list) = ee1a78cb7a0b5193b2fd1e78d6e6f4fb ocaml(Lem_list_extra) = a96beaf42d0e27e26ef416988eb74b57 ocaml(Lem_machine_word) = ed758859aad5c80fab4a955c34355938 ocaml(Lem_machine_word) = ffb51753b9f99246d731d23391d6ec95 ocaml(Lem_map) = b6e244bdbe2443d5f74ab86d608c0612 ocaml(Lem_map_extra) = 17020c6a91527f18dabd7fb1cfd9a2b4 ocaml(Lem_maybe) = 60b6566e96fd734353e3b82e5b292c7a ocaml(Lem_maybe_extra) = 47e9584e54478d3cd9c7b22afa10792c ocaml(Lem_num) = 4f2398cf4a02194d2177ba1d6332fcad ocaml(Lem_num) = e53a3762b3e03db5e6fff511f370eda2 ocaml(Lem_num_extra) = 09be56654d35204048af0263ead442dc ocaml(Lem_num_extra) = da466a096697d17f6e6bed2c1abb96b1 ocaml(Lem_pervasives) = 35d82d0da75a6bf8db6bfa567cf6d8d0 ocaml(Lem_pervasives) = b5f188ffb13705985731b28d25e9dc7e ocaml(Lem_relation) = f6d1a69b9d5426e2c053779a4feb6cea ocaml(Lem_set) = e21bce889892672b9e8741c98f068c6a ocaml(Lem_set_extra) = 311d04ec56a15b28a2684cbb842dda2e ocaml(Lem_set_helpers) = 59db41d70866f827acc284c91c88d6a2 ocaml(Lem_show) = f768d85e6647da54ad9fac7fda6f8bbe ocaml(Lem_show_extra) = 1ee926e46361ca9143c2422aa0cf3c09 ocaml(Lem_sorting) = 7213bc658ee376257b098cefe0f1422d ocaml(Lem_string) = 2c39742410999f114b6e551a803730e1 ocaml(Lem_string_extra) = 9b1850386ddea2733bdaab9d7f5466a9 ocaml(Lem_string_extra) = d8c81bb41476e172b584976e57e15f96 ocaml(Lem_tuple) = a0453a7290521deb7bda0a9c1e9d1b55 ocaml(Lem_word) = 9e6a90e985f9e53f5d773c753350c18b ocaml(Lem_word) = feaf78cb622d4b71cda192a831bd107c ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Nat_big_num) = 8caffc563d1750c84c997618b8be586d ocaml(Nat_big_num) = 998d2fca2e72b634ac93820355eee018 ocaml(Nat_num) = 3a28551c24e19df793631e4ecc5565ba ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(Pmap) = af24ee0911ed1768e2790bc3c444a701 ocaml(Pset) = 58c8fc460bc0a1f51c43b9ffba8bafee ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Rational) = 037e3980bcbed4b7d77945c1a91ed99c ocaml(Rational) = 22e69f0dd8681780e5c605dfb31a408b ocaml(Rational_impl) = 41e460aeaa0e568d8376c350ae7b9fe3 ocaml(Rational_impl) = a6d55877c01d837b882b7e692c17069c ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Xstring) = b456fd0ef23876218fe9207f50f94f3a ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f rtld(GNU_HASH) Processing files: lem-devel-2022.12.10-1.fc40.x86_64 Provides: lem-devel = 2022.12.10-1.fc40 lem-devel(x86-64) = 2022.12.10-1.fc40 ocaml(Big_int_impl) = 05d1b3506ea4200e6362aa3392e334f6 ocaml(Big_int_impl) = 5142e712c3b69d05fb73b91fa02a0f5f ocaml(Bit) = 558b9f5e13dd8cf91cbb1deb16cf207c ocaml(Either) = 8d12d20f4ba6b6aed8cac63faab20c40 ocaml(Lem) = 6b9a2a728bdc76a90af9e584aaf82415 ocaml(Lem) = d8a1d1b9b9662041f6158f110ef6fe16 ocaml(Lem_assert_extra) = 264d5492eb2aefbe0ee09ac27060bc65 ocaml(Lem_basic_classes) = e0ecf6e0177b0a74798869acf57c3860 ocaml(Lem_bool) = 9476e4d3835f962c2a1b7d48b143b167 ocaml(Lem_debug) = 38d5a3fc3fb2817bfefa784373ee96ac ocaml(Lem_either) = 6e70bdd3870dbf47a2b773060fe4cb2f ocaml(Lem_function) = 8f0043811faa043af273878afd27c850 ocaml(Lem_function_extra) = 11ab3b1bc9f7fbf97d0905a82f8d3f4d ocaml(Lem_list) = ee1a78cb7a0b5193b2fd1e78d6e6f4fb ocaml(Lem_list_extra) = a96beaf42d0e27e26ef416988eb74b57 ocaml(Lem_machine_word) = ed758859aad5c80fab4a955c34355938 ocaml(Lem_machine_word) = ffb51753b9f99246d731d23391d6ec95 ocaml(Lem_map) = b6e244bdbe2443d5f74ab86d608c0612 ocaml(Lem_map_extra) = 17020c6a91527f18dabd7fb1cfd9a2b4 ocaml(Lem_maybe) = 60b6566e96fd734353e3b82e5b292c7a ocaml(Lem_maybe_extra) = 47e9584e54478d3cd9c7b22afa10792c ocaml(Lem_num) = 4f2398cf4a02194d2177ba1d6332fcad ocaml(Lem_num) = e53a3762b3e03db5e6fff511f370eda2 ocaml(Lem_num_extra) = 09be56654d35204048af0263ead442dc ocaml(Lem_num_extra) = da466a096697d17f6e6bed2c1abb96b1 ocaml(Lem_pervasives) = 35d82d0da75a6bf8db6bfa567cf6d8d0 ocaml(Lem_pervasives) = b5f188ffb13705985731b28d25e9dc7e ocaml(Lem_pervasives_extra) = 1a5bb998c6c0278bbdcb9b3837345ab3 ocaml(Lem_pervasives_extra) = 1fb8ffe48fdad8c6dc1aa731209f9c36 ocaml(Lem_relation) = f6d1a69b9d5426e2c053779a4feb6cea ocaml(Lem_set) = e21bce889892672b9e8741c98f068c6a ocaml(Lem_set_extra) = 311d04ec56a15b28a2684cbb842dda2e ocaml(Lem_set_helpers) = 59db41d70866f827acc284c91c88d6a2 ocaml(Lem_show) = f768d85e6647da54ad9fac7fda6f8bbe ocaml(Lem_show_extra) = 1ee926e46361ca9143c2422aa0cf3c09 ocaml(Lem_sorting) = 7213bc658ee376257b098cefe0f1422d ocaml(Lem_string) = 2c39742410999f114b6e551a803730e1 ocaml(Lem_string_extra) = 9b1850386ddea2733bdaab9d7f5466a9 ocaml(Lem_string_extra) = d8c81bb41476e172b584976e57e15f96 ocaml(Lem_tuple) = a0453a7290521deb7bda0a9c1e9d1b55 ocaml(Lem_word) = 9e6a90e985f9e53f5d773c753350c18b ocaml(Lem_word) = feaf78cb622d4b71cda192a831bd107c ocaml(Nat_big_num) = 8caffc563d1750c84c997618b8be586d ocaml(Nat_big_num) = 998d2fca2e72b634ac93820355eee018 ocaml(Nat_num) = 3a28551c24e19df793631e4ecc5565ba ocaml(Pmap) = af24ee0911ed1768e2790bc3c444a701 ocaml(Pset) = 58c8fc460bc0a1f51c43b9ffba8bafee ocaml(Rational) = 037e3980bcbed4b7d77945c1a91ed99c ocaml(Rational) = 22e69f0dd8681780e5c605dfb31a408b ocaml(Rational_impl) = 41e460aeaa0e568d8376c350ae7b9fe3 ocaml(Rational_impl) = a6d55877c01d837b882b7e692c17069c ocaml(Vector) = 0a43bd437af0b25254b75305e163de29 ocaml(Xstring) = b456fd0ef23876218fe9207f50f94f3a ocamlx(Big_int_impl) = 1062b2afb4c0b801bf7f1796d9f64701 ocamlx(Big_int_impl) = 7bbfe8746412391100869d5e42ef4387 ocamlx(Bit) = 2ee7ccc6e1fe3028b12d3b7fdb19fe2f ocamlx(Either) = c4f8f4572281eac77e450e81f96ded20 ocamlx(Lem) = 32c9382bcf11e10bc3868549fff1deef ocamlx(Lem) = 74424590f057a891e61da7c4767a8d8e ocamlx(Lem_assert_extra) = 0e88714da41a7cfc2c4ddac03d0bfbdb ocamlx(Lem_basic_classes) = 42bb9aec08908eead0db4a5cbbdfcfcc ocamlx(Lem_basic_classes) = fbecbb8679272d38a9a9a1432c24c0b2 ocamlx(Lem_bool) = 92a3a2ad5d9c60334d2ab2de0d3b1983 ocamlx(Lem_debug) = 0ffac618969b96605457141e47d9828e ocamlx(Lem_either) = 152d979f263ff67ed4294e5c1355dc4f ocamlx(Lem_either) = 6f04cc3da1f48cf57bc54714e69d4caf ocamlx(Lem_function) = 4e1f935134374c413138db5ca8b05c1b ocamlx(Lem_function) = 59d9a39e7b9a526194d016f10cfbb40a ocamlx(Lem_function_extra) = a64ea92cc186734d1f50c4a3eaaed496 ocamlx(Lem_function_extra) = b6842eb0927f67003ec28d9a7014855c ocamlx(Lem_list) = 0630493a60528079ffe83eb61ceb4f16 ocamlx(Lem_list) = 65aa1cb188400582c382090df657394e ocamlx(Lem_list_extra) = 0200a4f5877bdf263cba99e965bc8a95 ocamlx(Lem_list_extra) = 46c9e10ace36b0c0c321cf3533169b8c ocamlx(Lem_machine_word) = 0079cf9a588471abe338ced5dad23982 ocamlx(Lem_machine_word) = 7f1611114c01cd570ad4ebafa89fd232 ocamlx(Lem_map) = 0be2b2ee00c1070b287b86e2a64ce2d8 ocamlx(Lem_map) = 43b8918f82eda8577b0f7e06e8ec1498 ocamlx(Lem_map_extra) = a3bfd73b83f42d869931a936e9eff7ac ocamlx(Lem_map_extra) = b23be5df82df04c388d4a13a14ce0008 ocamlx(Lem_maybe) = 3a59190debb01929a8095b587659b46d ocamlx(Lem_maybe) = d72f8bccfc0219e4ad8fb985c529199f ocamlx(Lem_maybe_extra) = 077ae3a605e17da84af4e85a233f9bea ocamlx(Lem_maybe_extra) = 9243d4e0ef2b07f4c2764dc5051971ce ocamlx(Lem_num) = df87df68a3fae59707598a4d295b932d ocamlx(Lem_num) = ed080392b4eea68407fb6ad9cba4c156 ocamlx(Lem_num_extra) = 992233d97323a9489178c941ef227f99 ocamlx(Lem_num_extra) = d4a93e4d204ee0b767a0d7d1479a7b71 ocamlx(Lem_pervasives) = 149b503b7e418b914e24defc71550037 ocamlx(Lem_pervasives) = 6963067dbff3f039062eaa378edf612d ocamlx(Lem_pervasives_extra) = 568f084eec5f1b9b64aacb8b13f485f6 ocamlx(Lem_pervasives_extra) = 87ee2dfeaf318d84f6263cfe6d35ff12 ocamlx(Lem_relation) = 6457d685b3f71d5e4a9d1174612afd44 ocamlx(Lem_relation) = f9e9453995ef4576e8139ed7cdc6d3d4 ocamlx(Lem_set) = 303bbf5a6744550c0f2ba7dbd9b09a2b ocamlx(Lem_set) = 9adea621031b92861aa86bf8b1ee905f ocamlx(Lem_set_extra) = 6ffc1cda0454dd5fba020be2862c3b30 ocamlx(Lem_set_extra) = a4bac3f87fffb2cd04328ce3a48b68cb ocamlx(Lem_set_helpers) = 50c10d34f71583a01b5763d05621c646 ocamlx(Lem_set_helpers) = 92079f0281b9040728bc97c41a4c1fe7 ocamlx(Lem_show) = 3efd0014588fd51ef44d92dbe476c1c0 ocamlx(Lem_show) = 9d10caa735c325563f21ca2f5d8e0fcd ocamlx(Lem_show_extra) = 2bdf745ff3b18557796c9c5abca7c516 ocamlx(Lem_show_extra) = 8e6ee1e72dfa55dd1cb836e716391b8b ocamlx(Lem_sorting) = a0f9ed3733f0ac1d57705e0e2360d98f ocamlx(Lem_sorting) = eb9273c989369fbe35ccdb24cce84aca ocamlx(Lem_string) = 18b6ed98a86d9bfc5dbae48efe463487 ocamlx(Lem_string) = 2891a1627255ec3f66f0aaaf32868fd3 ocamlx(Lem_string_extra) = b41519c68a2c0d7b7d2b6b42d22bb732 ocamlx(Lem_string_extra) = e35233c9625565d5ec03cfe0b48c859d ocamlx(Lem_tuple) = 271b788c8199ce0057601cf7796bb452 ocamlx(Lem_tuple) = f83f0f8c2cbf004e4e46a89b2928e73c ocamlx(Lem_word) = d896ea5662749f70eaf29ae1eae3cb3f ocamlx(Lem_word) = e5a82d8607977e91493bad87f93f406c ocamlx(Nat_big_num) = 98f72fa1219266a664d3603903e3f530 ocamlx(Nat_big_num) = b695853c4ea431804db66f3d95d2b620 ocamlx(Nat_num) = 7d142e378e0edb20dd4cb8c858e5bd46 ocamlx(Pmap) = 56cb0f04c068c35457ef18bb0475c227 ocamlx(Pset) = 723e3a5b27b3025772e22a3e5924abea ocamlx(Rational) = 10ff2d3f0f59d7951a2293f7e97ebe99 ocamlx(Rational) = 1a38b81375207c3663ab1678c0670ed3 ocamlx(Rational_impl) = 83c4c38328bafa96f664ac05e6e5efcf ocamlx(Rational_impl) = ca57c8aa3d517f9eb3b6e05257d7cc6b ocamlx(Vector) = 2f8d0e4ffa53f4ce43320428ef82bed5 ocamlx(Xstring) = 9980e1e0c6494d32e494f1552b549fcc Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 ocaml(Big_int_impl) = 05d1b3506ea4200e6362aa3392e334f6 ocaml(Big_int_impl) = 5142e712c3b69d05fb73b91fa02a0f5f ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Either) = 8d12d20f4ba6b6aed8cac63faab20c40 ocaml(Lem) = 6b9a2a728bdc76a90af9e584aaf82415 ocaml(Lem) = d8a1d1b9b9662041f6158f110ef6fe16 ocaml(Lem_assert_extra) = 264d5492eb2aefbe0ee09ac27060bc65 ocaml(Lem_basic_classes) = e0ecf6e0177b0a74798869acf57c3860 ocaml(Lem_bool) = 9476e4d3835f962c2a1b7d48b143b167 ocaml(Lem_either) = 6e70bdd3870dbf47a2b773060fe4cb2f ocaml(Lem_function) = 8f0043811faa043af273878afd27c850 ocaml(Lem_function_extra) = 11ab3b1bc9f7fbf97d0905a82f8d3f4d ocaml(Lem_list) = ee1a78cb7a0b5193b2fd1e78d6e6f4fb ocaml(Lem_list_extra) = a96beaf42d0e27e26ef416988eb74b57 ocaml(Lem_machine_word) = ed758859aad5c80fab4a955c34355938 ocaml(Lem_machine_word) = ffb51753b9f99246d731d23391d6ec95 ocaml(Lem_map) = b6e244bdbe2443d5f74ab86d608c0612 ocaml(Lem_map_extra) = 17020c6a91527f18dabd7fb1cfd9a2b4 ocaml(Lem_maybe) = 60b6566e96fd734353e3b82e5b292c7a ocaml(Lem_maybe_extra) = 47e9584e54478d3cd9c7b22afa10792c ocaml(Lem_num) = 4f2398cf4a02194d2177ba1d6332fcad ocaml(Lem_num) = e53a3762b3e03db5e6fff511f370eda2 ocaml(Lem_num_extra) = 09be56654d35204048af0263ead442dc ocaml(Lem_num_extra) = da466a096697d17f6e6bed2c1abb96b1 ocaml(Lem_pervasives) = 35d82d0da75a6bf8db6bfa567cf6d8d0 ocaml(Lem_pervasives) = b5f188ffb13705985731b28d25e9dc7e ocaml(Lem_relation) = f6d1a69b9d5426e2c053779a4feb6cea ocaml(Lem_set) = e21bce889892672b9e8741c98f068c6a ocaml(Lem_set_extra) = 311d04ec56a15b28a2684cbb842dda2e ocaml(Lem_set_helpers) = 59db41d70866f827acc284c91c88d6a2 ocaml(Lem_show) = f768d85e6647da54ad9fac7fda6f8bbe ocaml(Lem_show_extra) = 1ee926e46361ca9143c2422aa0cf3c09 ocaml(Lem_sorting) = 7213bc658ee376257b098cefe0f1422d ocaml(Lem_string) = 2c39742410999f114b6e551a803730e1 ocaml(Lem_string_extra) = 9b1850386ddea2733bdaab9d7f5466a9 ocaml(Lem_string_extra) = d8c81bb41476e172b584976e57e15f96 ocaml(Lem_tuple) = a0453a7290521deb7bda0a9c1e9d1b55 ocaml(Lem_word) = 9e6a90e985f9e53f5d773c753350c18b ocaml(Lem_word) = feaf78cb622d4b71cda192a831bd107c ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0 ocaml(Nat_big_num) = 8caffc563d1750c84c997618b8be586d ocaml(Nat_big_num) = 998d2fca2e72b634ac93820355eee018 ocaml(Nat_num) = 3a28551c24e19df793631e4ecc5565ba ocaml(Num) = 5e4464e422cbdd27d1906114941ae155 ocaml(Pmap) = af24ee0911ed1768e2790bc3c444a701 ocaml(Pset) = 58c8fc460bc0a1f51c43b9ffba8bafee ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257 ocaml(Rational) = 037e3980bcbed4b7d77945c1a91ed99c ocaml(Rational) = 22e69f0dd8681780e5c605dfb31a408b ocaml(Rational_impl) = 41e460aeaa0e568d8376c350ae7b9fe3 ocaml(Rational_impl) = a6d55877c01d837b882b7e692c17069c ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Xstring) = b456fd0ef23876218fe9207f50f94f3a ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f ocamlx(Big_int) = 1444a8cff8a332b595fdae686e912362 ocamlx(Big_int_Z) = 104e74183429ba2603d1ac552a767bc2 ocamlx(Big_int_impl) = 1062b2afb4c0b801bf7f1796d9f64701 ocamlx(Big_int_impl) = 7bbfe8746412391100869d5e42ef4387 ocamlx(Either) = c4f8f4572281eac77e450e81f96ded20 ocamlx(Lem) = 32c9382bcf11e10bc3868549fff1deef ocamlx(Lem) = 74424590f057a891e61da7c4767a8d8e ocamlx(Lem_assert_extra) = 0e88714da41a7cfc2c4ddac03d0bfbdb ocamlx(Lem_basic_classes) = 42bb9aec08908eead0db4a5cbbdfcfcc ocamlx(Lem_basic_classes) = fbecbb8679272d38a9a9a1432c24c0b2 ocamlx(Lem_bool) = 92a3a2ad5d9c60334d2ab2de0d3b1983 ocamlx(Lem_either) = 152d979f263ff67ed4294e5c1355dc4f ocamlx(Lem_either) = 6f04cc3da1f48cf57bc54714e69d4caf ocamlx(Lem_function) = 4e1f935134374c413138db5ca8b05c1b ocamlx(Lem_function) = 59d9a39e7b9a526194d016f10cfbb40a ocamlx(Lem_function_extra) = a64ea92cc186734d1f50c4a3eaaed496 ocamlx(Lem_function_extra) = b6842eb0927f67003ec28d9a7014855c ocamlx(Lem_list) = 0630493a60528079ffe83eb61ceb4f16 ocamlx(Lem_list) = 65aa1cb188400582c382090df657394e ocamlx(Lem_list_extra) = 0200a4f5877bdf263cba99e965bc8a95 ocamlx(Lem_list_extra) = 46c9e10ace36b0c0c321cf3533169b8c ocamlx(Lem_machine_word) = 0079cf9a588471abe338ced5dad23982 ocamlx(Lem_machine_word) = 7f1611114c01cd570ad4ebafa89fd232 ocamlx(Lem_map) = 0be2b2ee00c1070b287b86e2a64ce2d8 ocamlx(Lem_map) = 43b8918f82eda8577b0f7e06e8ec1498 ocamlx(Lem_map_extra) = a3bfd73b83f42d869931a936e9eff7ac ocamlx(Lem_map_extra) = b23be5df82df04c388d4a13a14ce0008 ocamlx(Lem_maybe) = 3a59190debb01929a8095b587659b46d ocamlx(Lem_maybe) = d72f8bccfc0219e4ad8fb985c529199f ocamlx(Lem_maybe_extra) = 077ae3a605e17da84af4e85a233f9bea ocamlx(Lem_maybe_extra) = 9243d4e0ef2b07f4c2764dc5051971ce ocamlx(Lem_num) = df87df68a3fae59707598a4d295b932d ocamlx(Lem_num) = ed080392b4eea68407fb6ad9cba4c156 ocamlx(Lem_num_extra) = 992233d97323a9489178c941ef227f99 ocamlx(Lem_num_extra) = d4a93e4d204ee0b767a0d7d1479a7b71 ocamlx(Lem_pervasives) = 149b503b7e418b914e24defc71550037 ocamlx(Lem_pervasives) = 6963067dbff3f039062eaa378edf612d ocamlx(Lem_relation) = 6457d685b3f71d5e4a9d1174612afd44 ocamlx(Lem_relation) = f9e9453995ef4576e8139ed7cdc6d3d4 ocamlx(Lem_set) = 303bbf5a6744550c0f2ba7dbd9b09a2b ocamlx(Lem_set) = 9adea621031b92861aa86bf8b1ee905f ocamlx(Lem_set_extra) = 6ffc1cda0454dd5fba020be2862c3b30 ocamlx(Lem_set_extra) = a4bac3f87fffb2cd04328ce3a48b68cb ocamlx(Lem_set_helpers) = 50c10d34f71583a01b5763d05621c646 ocamlx(Lem_set_helpers) = 92079f0281b9040728bc97c41a4c1fe7 ocamlx(Lem_show) = 3efd0014588fd51ef44d92dbe476c1c0 ocamlx(Lem_show) = 9d10caa735c325563f21ca2f5d8e0fcd ocamlx(Lem_show_extra) = 2bdf745ff3b18557796c9c5abca7c516 ocamlx(Lem_show_extra) = 8e6ee1e72dfa55dd1cb836e716391b8b ocamlx(Lem_string) = 18b6ed98a86d9bfc5dbae48efe463487 ocamlx(Lem_string) = 2891a1627255ec3f66f0aaaf32868fd3 ocamlx(Lem_string_extra) = b41519c68a2c0d7b7d2b6b42d22bb732 ocamlx(Lem_string_extra) = e35233c9625565d5ec03cfe0b48c859d ocamlx(Lem_tuple) = 271b788c8199ce0057601cf7796bb452 ocamlx(Lem_tuple) = f83f0f8c2cbf004e4e46a89b2928e73c ocamlx(Lem_word) = d896ea5662749f70eaf29ae1eae3cb3f ocamlx(Lem_word) = e5a82d8607977e91493bad87f93f406c ocamlx(Nat) = d838ab462742b5620f8f5bd1250d0c19 ocamlx(Nat_big_num) = 98f72fa1219266a664d3603903e3f530 ocamlx(Nat_big_num) = b695853c4ea431804db66f3d95d2b620 ocamlx(Nat_num) = 7d142e378e0edb20dd4cb8c858e5bd46 ocamlx(Num) = c622b7a4cd588482185fb54f43274e52 ocamlx(Pmap) = 56cb0f04c068c35457ef18bb0475c227 ocamlx(Pset) = 723e3a5b27b3025772e22a3e5924abea ocamlx(Q) = 78161ba3c4f2272a824b5e10a5df2d43 ocamlx(Ratio) = 1d951f37c3df13f7fd31b45e92ee6850 ocamlx(Rational) = 10ff2d3f0f59d7951a2293f7e97ebe99 ocamlx(Rational) = 1a38b81375207c3663ab1678c0670ed3 ocamlx(Rational_impl) = 83c4c38328bafa96f664ac05e6e5efcf ocamlx(Rational_impl) = ca57c8aa3d517f9eb3b6e05257d7cc6b ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Array) = 49d81f1b5dc164aeb2014a617d0dd4d1 ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 ocamlx(Stdlib__Int32) = e71d46f278c2f015959fe5ff9e00b26b ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 ocamlx(Z) = 607528bb05c29a1b7da06c718062dc10 ocamlx(Zarith_version) = cbe43962c6bbc07e4612435b6c568140 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 Wrote: /builddir/build/RPMS/lem-devel-2022.12.10-1.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/lem-2022.12.10-1.fc40.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.c2lrhN + umask 022 + cd /builddir/build/BUILD + cd lem-2022-12-10 + /usr/bin/rm -rf /builddir/build/BUILDROOT/lem-2022.12.10-1.fc40.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.OJ12X7 + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/lem-2022-12-10-SPECPARTS + rm -rf lem-2022-12-10 lem-2022-12-10.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild lem-2022.12.10-1.fc40.src.rpm Finish: build phase for lem-2022.12.10-1.fc40.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-40-x86_64-1718942220.959024/root/var/log/dnf5.log INFO: Done(/var/lib/copr-rpmbuild/results/lem-2022.12.10-1.fc40.src.rpm) Config(child) 1 minutes 15 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: 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-2022.12.10-1.fc40.src.rpm INFO: Using review directory: /var/lib/copr-rpmbuild/results/lem INFO: Downloading (Source0): https://github.com/rems-project/lem/archive/2022-12-10/lem-2022-12-10.tar.gz INFO: Running checks and generating report INFO: Installing built package(s) INFO: Reading configuration from /etc/mock/site-defaults.cfg INFO: Reading configuration from /etc/mock/chroot-aliases.cfg INFO: Reading configuration from /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: WARNING: Probably non-rawhide buildroot used. Rawhide should be used for most package reviews INFO: Active plugins: C/C++, Generic, Shell-api WARNING: DNF5 command failed, retrying, attempt #2, sleeping 10s WARNING: DNF5 command failed, retrying, attempt #3, sleeping 10s ERROR: Command failed: # /usr/bin/systemd-nspawn -q -M 808903dcef864610accf673de5bb95f3 -D /var/lib/mock/fedora-40-x86_64-bootstrap/root -a --capability=cap_ipc_lock --rlimit=RLIMIT_NOFILE=10240 --capability=cap_ipc_lock --bind=/tmp/mock-resolv.mr4jdeba:/etc/resolv.conf --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/var/lib/mock/fedora-40-x86_64/root/installation-homedir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin '--setenv=PROMPT_COMMAND=printf "\033]0;\007"' '--setenv=PS1= \s-\v\$ ' --setenv=LANG=C.UTF-8 --setenv=LC_MESSAGES=C.UTF-8 --setenv=SYSTEMD_NSPAWN_TMPFS_TMP=0 --setenv=SYSTEMD_SECCOMP=0 --resolv-conf=off /usr/bin/dnf5 --installroot /var/lib/mock/fedora-40-x86_64/root/ --releasever 40 repoquery -q -C --requires --resolve lem --setopt=deltarpm=False --setopt=allow_vendor_change=yes --setopt=tsflags=nocontexts --setopt=tsflags=nocontexts --setopt=tsflags=nocontexts WARNING: DNF5 command failed, retrying, attempt #2, sleeping 10s WARNING: DNF5 command failed, retrying, attempt #3, sleeping 10s ERROR: Command failed: # /usr/bin/systemd-nspawn -q -M a1895399075645e6806ad74bde603c01 -D /var/lib/mock/fedora-40-x86_64-bootstrap/root -a --capability=cap_ipc_lock --rlimit=RLIMIT_NOFILE=10240 --capability=cap_ipc_lock --bind=/tmp/mock-resolv.x0mbklyl:/etc/resolv.conf --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/var/lib/mock/fedora-40-x86_64/root/installation-homedir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin '--setenv=PROMPT_COMMAND=printf "\033]0;\007"' '--setenv=PS1= \s-\v\$ ' --setenv=LANG=C.UTF-8 --setenv=LC_MESSAGES=C.UTF-8 --setenv=SYSTEMD_NSPAWN_TMPFS_TMP=0 --setenv=SYSTEMD_SECCOMP=0 --resolv-conf=off /usr/bin/dnf5 --installroot /var/lib/mock/fedora-40-x86_64/root/ --releasever 40 repoquery -q -C --requires --resolve lem-devel lem --setopt=deltarpm=False --setopt=allow_vendor_change=yes --setopt=tsflags=nocontexts --setopt=tsflags=nocontexts --setopt=tsflags=nocontexts INFO: ExclusiveArch dependency checking disabled, enable with EXARCH flag 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", "epoch": null, "version": "2022.12.10", "release": "1.fc40", "arch": "x86_64" }, { "name": "lem", "epoch": null, "version": "2022.12.10", "release": "1.fc40", "arch": "src" }, { "name": "lem-devel", "epoch": null, "version": "2022.12.10", "release": "1.fc40", "arch": "x86_64" } ] } RPMResults finished