Warning: Permanently added '35.173.47.152' (ED25519) to the list of known hosts. Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-2rbqtxcq/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-2rbqtxcq/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1736340069.087051 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 6.0 starting (python version = 3.13.0, NVR = mock-6.0-1.fc41), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-2rbqtxcq/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-2rbqtxcq/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1736340069.087051 -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-2rbqtxcq/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(fedora-40-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 6.0 INFO: Mock Version: 6.0 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-40-x86_64-bootstrap-1736340069.087051/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using container image: registry.fedoraproject.org/fedora:40 INFO: Pulling image: registry.fedoraproject.org/fedora:40 INFO: Tagging container image as mock-bootstrap-5bf8fe9c-5b8e-45f4-b56b-e5b6bc5fd52c INFO: Checking that cccf8d63d11d219c285ac6fa89b3c3850e598379790f46816ab961e21d7c4722 image matches host's architecture INFO: Copy content of container cccf8d63d11d219c285ac6fa89b3c3850e598379790f46816ab961e21d7c4722 to /var/lib/mock/fedora-40-x86_64-bootstrap-1736340069.087051/root INFO: mounting cccf8d63d11d219c285ac6fa89b3c3850e598379790f46816ab961e21d7c4722 with podman image mount INFO: image cccf8d63d11d219c285ac6fa89b3c3850e598379790f46816ab961e21d7c4722 as /var/lib/containers/storage/overlay/ea6459704420479040f5ae1ac423e605b3307fe5ce36d12d2981f2a18aad83a5/merged INFO: umounting image cccf8d63d11d219c285ac6fa89b3c3850e598379790f46816ab961e21d7c4722 (/var/lib/containers/storage/overlay/ea6459704420479040f5ae1ac423e605b3307fe5ce36d12d2981f2a18aad83a5/merged) with podman image umount INFO: Removing image mock-bootstrap-5bf8fe9c-5b8e-45f4-b56b-e5b6bc5fd52c INFO: Using 'dnf4' instead of 'dnf5' for bootstrap chroot INFO: Package manager dnf4 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 54 kB/s | 1.5 kB 00:00 Additional repo http_kojipkgs_fedoraproject_org 135 MB/s | 14 MB 00:00 fedora 27 MB/s | 20 MB 00:00 updates 36 MB/s | 12 MB 00:00 Dependencies resolved. ============================================================================================================== Package Arch Version Repository Size ============================================================================================================== Installing: dnf5 x86_64 5.1.17-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 690 k dnf5-plugins x86_64 5.1.17-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 351 k Installing dependencies: fmt x86_64 10.2.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 125 k libdnf5 x86_64 5.1.17-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.0 M libdnf5-cli x86_64 5.1.17-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 231 k sdbus-cpp x86_64 1.4.0-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 110 k Transaction Summary ============================================================================================================== Install 6 Packages Total download size: 2.4 M Installed size: 6.9 M Downloading Packages: (1/6): fmt-10.2.1-5.fc40.x86_64.rpm 4.8 MB/s | 125 kB 00:00 (2/6): dnf5-plugins-5.1.17-3.fc40.x86_64.rpm 13 MB/s | 351 kB 00:00 (3/6): dnf5-5.1.17-3.fc40.x86_64.rpm 21 MB/s | 690 kB 00:00 (4/6): libdnf5-cli-5.1.17-3.fc40.x86_64.rpm 25 MB/s | 231 kB 00:00 (5/6): libdnf5-5.1.17-3.fc40.x86_64.rpm 73 MB/s | 1.0 MB 00:00 (6/6): sdbus-cpp-1.4.0-2.fc40.x86_64.rpm 16 MB/s | 110 kB 00:00 -------------------------------------------------------------------------------- Total 59 MB/s | 2.4 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : fmt-10.2.1-5.fc40.x86_64 1/6 Installing : libdnf5-5.1.17-3.fc40.x86_64 2/6 Installing : libdnf5-cli-5.1.17-3.fc40.x86_64 3/6 Installing : sdbus-cpp-1.4.0-2.fc40.x86_64 4/6 Installing : dnf5-5.1.17-3.fc40.x86_64 5/6 Installing : dnf5-plugins-5.1.17-3.fc40.x86_64 6/6 Running scriptlet: dnf5-plugins-5.1.17-3.fc40.x86_64 6/6 Installed: dnf5-5.1.17-3.fc40.x86_64 dnf5-plugins-5.1.17-3.fc40.x86_64 fmt-10.2.1-5.fc40.x86_64 libdnf5-5.1.17-3.fc40.x86_64 libdnf5-cli-5.1.17-3.fc40.x86_64 sdbus-cpp-1.4.0-2.fc40.x86_64 Complete! INFO: Switching package manager from dnf4 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-1736340069.087051/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.7.0-3.fc40.x86_64 python3-dnf-4.22.0-1.fc40.noarch yum-4.22.0-1.fc40.noarch dnf5-5.1.17-3.fc40.x86_64 dnf5-plugins-5.1.17-3.fc40.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: updates 100% | 108.8 KiB/s | 29.5 KiB | 00m00s fedora 100% | 177.9 KiB/s | 30.1 KiB | 00m00s Copr repository 100% | 137.7 KiB/s | 1.5 KiB | 00m00s Additional repo http_kojipkgs_fedorapr 100% | 225.4 KiB/s | 3.8 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 5.2.26-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 8.1 MiB bzip2 x86_64 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 91.7 KiB coreutils x86_64 9.4-9.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 5.8 MiB cpio x86_64 2.15-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.1 MiB diffutils x86_64 3.10-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.6 MiB fedora-release-common noarch 40-40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 19.2 KiB findutils x86_64 1:4.9.0-9.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.5 MiB gawk x86_64 5.3.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.7 MiB glibc-minimal-langpack x86_64 2.39-33.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 0.0 B grep x86_64 3.11-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.0 MiB gzip x86_64 1.13-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 385.0 KiB info x86_64 7.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 357.8 KiB patch x86_64 2.7.6-24.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 262.8 KiB redhat-rpm-config noarch 288-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 185.2 KiB rpm-build x86_64 4.19.1.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 173.7 KiB sed x86_64 4.9-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 861.5 KiB shadow-utils x86_64 2:4.15.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 4.1 MiB tar x86_64 2:1.35-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.9 MiB unzip x86_64 6.0-63.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 382.8 KiB util-linux x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 3.7 MiB which x86_64 2.21-41.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 80.2 KiB xz x86_64 1:5.4.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.0 MiB Installing dependencies: alternatives x86_64 1.27-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 66.3 KiB ansible-srpm-macros noarch 1-16.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 35.7 KiB audit-libs x86_64 4.0.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 327.4 KiB authselect x86_64 1.5.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 153.6 KiB authselect-libs x86_64 1.5.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 818.2 KiB basesystem noarch 11-20.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 0.0 B binutils x86_64 2.41-38.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 26.4 MiB binutils-gold x86_64 2.41-38.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.0 MiB bzip2-libs x86_64 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 80.7 KiB ca-certificates noarch 2024.2.69_v8.0.401-1.0.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.4 MiB coreutils-common x86_64 9.4-9.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 11.4 MiB cracklib x86_64 2.9.11-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 238.9 KiB crypto-policies noarch 20241011-1.git5930b9a.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 158.0 KiB curl x86_64 8.6.0-10.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 738.6 KiB cyrus-sasl-lib x86_64 2.1.28-19.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.3 MiB debugedit x86_64 5.0-18.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 199.3 KiB dwz x86_64 0.15-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 294.9 KiB ed x86_64 1.20.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 146.9 KiB efi-srpm-macros noarch 5-11.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 40.1 KiB elfutils x86_64 0.192-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.7 MiB elfutils-debuginfod-client x86_64 0.192-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 80.2 KiB elfutils-default-yama-scope noarch 0.192-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.8 KiB elfutils-libelf x86_64 0.192-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.2 MiB elfutils-libs x86_64 0.192-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 670.3 KiB fedora-gpg-keys noarch 40-2 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 124.7 KiB fedora-release noarch 40-40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 0.0 B fedora-release-identity-basic noarch 40-40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 654.0 B fedora-repos noarch 40-2 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 4.9 KiB file x86_64 5.45-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 103.5 KiB file-libs x86_64 5.45-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 9.9 MiB filesystem x86_64 3.18-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 106.0 B fonts-srpm-macros noarch 1:2.0.5-14.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 55.3 KiB forge-srpm-macros noarch 0.4.0-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 38.9 KiB fpc-srpm-macros noarch 1.3-12.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 144.0 B gdb-minimal x86_64 15.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 13.0 MiB gdbm x86_64 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 460.9 KiB gdbm-libs x86_64 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 121.9 KiB ghc-srpm-macros noarch 1.9.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 747.0 B glibc x86_64 2.39-33.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 6.6 MiB glibc-common x86_64 2.39-33.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.0 MiB glibc-gconv-extra x86_64 2.39-33.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 7.8 MiB gmp x86_64 1:6.2.1-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 794.6 KiB gnat-srpm-macros noarch 6-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.0 KiB go-srpm-macros noarch 3.5.0-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 60.6 KiB jansson x86_64 2.13.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 88.3 KiB json-c x86_64 0.17-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 82.4 KiB kernel-srpm-macros noarch 1.0-23.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.9 KiB keyutils-libs x86_64 1.6.3-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 54.4 KiB krb5-libs x86_64 1.21.3-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.3 MiB libacl x86_64 2.3.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 40.0 KiB libarchive x86_64 3.7.2-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 922.6 KiB libattr x86_64 2.5.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 28.5 KiB libblkid x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 258.6 KiB libbrotli x86_64 1.1.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 829.5 KiB libcap x86_64 2.69-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 219.8 KiB libcap-ng x86_64 0.8.4-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 73.1 KiB libcom_err x86_64 1.47.0-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 67.2 KiB libcurl x86_64 8.6.0-10.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 776.8 KiB libeconf x86_64 0.6.2-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 58.0 KiB libevent x86_64 2.1.12-12.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 895.6 KiB libfdisk x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 362.9 KiB libffi x86_64 3.4.4-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 81.6 KiB libgcc x86_64 14.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 274.6 KiB libgomp x86_64 14.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 523.6 KiB libidn2 x86_64 2.3.7-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 329.1 KiB libmount x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 355.8 KiB libnghttp2 x86_64 1.59.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 166.1 KiB libnsl2 x86_64 2.0.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 57.9 KiB libpkgconf x86_64 2.1.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 74.2 KiB libpsl x86_64 0.21.5-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 80.5 KiB libpwquality x86_64 1.4.5-9.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 417.8 KiB libselinux x86_64 3.7-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 177.0 KiB libsemanage x86_64 3.7-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 293.5 KiB libsepol x86_64 3.7-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 817.9 KiB libsmartcols x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 180.4 KiB libssh x86_64 0.10.6-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 509.3 KiB libssh-config noarch 0.10.6-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 277.0 B libstdc++ x86_64 14.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.8 MiB libtasn1 x86_64 4.19.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 175.7 KiB libtirpc x86_64 1.3.6-1.rc3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 202.7 KiB libtool-ltdl x86_64 2.4.7-10.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 66.2 KiB libunistring x86_64 1.1-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.7 MiB libutempter x86_64 1.2.1-13.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 57.7 KiB libuuid x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 37.5 KiB libverto x86_64 0.3.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 29.5 KiB libxcrypt x86_64 4.4.37-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 267.7 KiB libxml2 x86_64 2.12.9-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.7 MiB libzstd x86_64 1.5.6-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 787.9 KiB lua-libs x86_64 5.4.6-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 281.1 KiB lua-srpm-macros noarch 1-13.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.3 KiB lz4-libs x86_64 1.9.4-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 129.4 KiB mpfr x86_64 4.2.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 832.0 KiB ncurses-base noarch 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 326.2 KiB ncurses-libs x86_64 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 963.2 KiB ocaml-srpm-macros noarch 9-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.9 KiB openblas-srpm-macros noarch 2-16.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 104.0 B openldap x86_64 2.6.8-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 640.3 KiB openssl-libs x86_64 1:3.2.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 7.8 MiB p11-kit x86_64 0.25.5-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.2 MiB p11-kit-trust x86_64 0.25.5-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 391.4 KiB package-notes-srpm-macros noarch 0.5-11.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.6 KiB pam x86_64 1.6.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.8 MiB pam-libs x86_64 1.6.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 135.0 KiB pcre2 x86_64 10.44-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 653.5 KiB pcre2-syntax noarch 10.44-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 251.6 KiB perl-srpm-macros noarch 1-53.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 861.0 B pkgconf x86_64 2.1.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 82.9 KiB pkgconf-m4 noarch 2.1.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 13.9 KiB pkgconf-pkg-config x86_64 2.1.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 989.0 B popt x86_64 1.19-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 136.9 KiB publicsuffix-list-dafsa noarch 20240107-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 67.5 KiB pyproject-srpm-macros noarch 1.16.3-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.9 KiB python-srpm-macros noarch 3.12-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 50.6 KiB qt5-srpm-macros noarch 5.15.15-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 500.0 B qt6-srpm-macros noarch 6.7.2-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 456.0 B readline x86_64 8.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 489.2 KiB rpm x86_64 4.19.1.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 3.0 MiB rpm-build-libs x86_64 4.19.1.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 198.4 KiB rpm-libs x86_64 4.19.1.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 709.9 KiB rpm-sequoia x86_64 1.7.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.4 MiB rust-srpm-macros noarch 26.3-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 4.8 KiB setup noarch 2.14.5-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 720.4 KiB sqlite-libs x86_64 3.45.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.4 MiB systemd-libs x86_64 255.15-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.9 MiB util-linux-core x86_64 2.40.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.5 MiB xxhash-libs x86_64 0.8.3-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 90.2 KiB xz-libs x86_64 1:5.4.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 209.8 KiB zig-srpm-macros noarch 1-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.1 KiB zip x86_64 3.0-40.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 703.2 KiB zlib-ng-compat x86_64 2.1.7-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 134.0 KiB zstd x86_64 1.5.6-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.7 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 153 packages Total size of inbound packages is 52 MiB. Need to download 0 B. After this operation 179 MiB will be used (install 179 MiB, remove 0 B). [ 1/153] tar-2:1.35-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 2/153] bzip2-0:1.0.8-18.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 3/153] redhat-rpm-config-0:288-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 4/153] rpm-build-0:4.19.1.1-1.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/153] unzip-0:6.0-63.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/153] cpio-0:2.15-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/153] which-0:2.21-41.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/153] bash-0:5.2.26-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/153] coreutils-0:9.4-9.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 10/153] grep-0:3.11-7.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 11/153] patch-0:2.7.6-24.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 12/153] sed-0:4.9-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 13/153] shadow-utils-2:4.15.1-4.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 14/153] util-linux-0:2.40.2-1.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 15/153] diffutils-0:3.10-5.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 16/153] fedora-release-common-0:40-40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 17/153] findutils-1:4.9.0-9.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 18/153] gawk-0:5.3.0-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 19/153] glibc-minimal-langpack-0:2.39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 20/153] gzip-0:1.13-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 21/153] info-0:7.1-2.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 22/153] xz-1:5.4.6-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 23/153] glibc-0:2.39-33.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 24/153] xz-libs-1:5.4.6-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 25/153] audit-libs-0:4.0.2-1.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 26/153] authselect-libs-0:1.5.0-6.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 27/153] libblkid-0:2.40.2-1.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 28/153] libfdisk-0:2.40.2-1.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 29/153] libmount-0:2.40.2-1.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 30/153] libselinux-0:3.7-5.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 31/153] libsmartcols-0:2.40.2-1.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 32/153] libuuid-0:2.40.2-1.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 33/153] pam-0:1.6.1-5.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 34/153] pam-libs-0:1.6.1-5.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 35/153] systemd-libs-0:255.15-1.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 36/153] util-linux-core-0:2.40.2-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 37/153] zlib-ng-compat-0:2.1.7-2.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 38/153] libcap-ng-0:0.8.4-4.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 39/153] libutempter-0:1.2.1-13.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 40/153] ncurses-libs-0:6.4-12.2024012 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 41/153] readline-0:8.2-8.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 42/153] bzip2-libs-0:1.0.8-18.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 43/153] libacl-0:2.3.2-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 44/153] libcap-0:2.69-8.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 45/153] libgcc-0:14.2.1-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 46/153] libzstd-0:1.5.6-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 47/153] lz4-libs-0:1.9.4-6.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 48/153] libeconf-0:0.6.2-2.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 49/153] libsemanage-0:3.7-2.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 50/153] libxcrypt-0:4.4.37-4.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 51/153] libattr-0:2.5.2-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 52/153] setup-0:2.14.5-2.fc40.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 53/153] binutils-0:2.41-38.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 54/153] debugedit-0:5.0-18.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 55/153] elfutils-0:0.192-7.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 56/153] elfutils-libelf-0:0.192-7.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 57/153] pkgconf-pkg-config-0:2.1.1-2. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 58/153] zstd-0:1.5.6-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 59/153] file-0:5.45-4.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 60/153] popt-0:1.19-6.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 61/153] rpm-0:4.19.1.1-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 62/153] rpm-build-libs-0:4.19.1.1-1.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 63/153] rpm-libs-0:4.19.1.1-1.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 64/153] curl-0:8.6.0-10.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 65/153] libarchive-0:3.7.2-7.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 66/153] glibc-gconv-extra-0:2.39-33.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 67/153] ansible-srpm-macros-0:1-16.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 68/153] dwz-0:0.15-8.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 69/153] forge-srpm-macros-0:0.4.0-1.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 70/153] ghc-srpm-macros-0:1.9.1-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 71/153] pyproject-srpm-macros-0:1.16. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 72/153] python-srpm-macros-0:3.12-8.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 73/153] qt5-srpm-macros-0:5.15.15-1.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 74/153] qt6-srpm-macros-0:6.7.2-2.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 75/153] rust-srpm-macros-0:26.3-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 76/153] efi-srpm-macros-0:5-11.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 77/153] fonts-srpm-macros-1:2.0.5-14. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 78/153] fpc-srpm-macros-0:1.3-12.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 79/153] gnat-srpm-macros-0:6-5.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 80/153] go-srpm-macros-0:3.5.0-1.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 81/153] kernel-srpm-macros-0:1.0-23.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 82/153] lua-srpm-macros-0:1-13.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 83/153] ocaml-srpm-macros-0:9-3.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 84/153] openblas-srpm-macros-0:2-16.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 85/153] package-notes-srpm-macros-0:0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 86/153] perl-srpm-macros-0:1-53.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 87/153] zig-srpm-macros-0:1-2.fc40.no 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 88/153] zip-0:3.0-40.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 89/153] pkgconf-0:2.1.1-2.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 90/153] pkgconf-m4-0:2.1.1-2.fc40.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 91/153] libpkgconf-0:2.1.1-2.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 92/153] ed-0:1.20.2-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 93/153] authselect-0:1.5.0-6.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 94/153] libtirpc-0:1.3.6-1.rc3.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 95/153] openssl-libs-1:3.2.2-3.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 96/153] gdbm-1:1.23-6.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 97/153] gdbm-libs-1:1.23-6.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 98/153] libnsl2-0:2.0.1-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 99/153] libpwquality-0:1.4.5-9.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [100/153] ca-certificates-0:2024.2.69_v 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [101/153] crypto-policies-0:20241011-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [102/153] ncurses-base-0:6.4-12.2024012 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [103/153] krb5-libs-0:1.21.3-2.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [104/153] libcom_err-0:1.47.0-5.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [105/153] libsepol-0:3.7-2.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [106/153] pcre2-0:10.44-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [107/153] cracklib-0:2.9.11-5.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [108/153] libxml2-0:2.12.9-1.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [109/153] keyutils-libs-0:1.6.3-3.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [110/153] libverto-0:0.3.2-8.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [111/153] glibc-common-0:2.39-33.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [112/153] basesystem-0:11-20.fc40.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [113/153] mpfr-0:4.2.1-4.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [114/153] filesystem-0:3.18-8.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [115/153] gmp-1:6.2.1-8.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [116/153] file-libs-0:5.45-4.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [117/153] fedora-repos-0:40-2.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [118/153] elfutils-debuginfod-client-0: 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [119/153] elfutils-libs-0:0.192-7.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [120/153] libstdc++-0:14.2.1-3.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [121/153] coreutils-common-0:9.4-9.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [122/153] p11-kit-0:0.25.5-1.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [123/153] p11-kit-trust-0:0.25.5-1.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [124/153] libffi-0:3.4.4-7.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [125/153] alternatives-0:1.27-1.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [126/153] binutils-gold-0:2.41-38.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [127/153] jansson-0:2.13.1-9.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [128/153] rpm-sequoia-0:1.7.0-3.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [129/153] lua-libs-0:5.4.6-5.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [130/153] sqlite-libs-0:3.45.1-2.fc40.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [131/153] libgomp-0:14.2.1-3.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [132/153] pcre2-syntax-0:10.44-1.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [133/153] libtasn1-0:4.19.0-6.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [134/153] fedora-gpg-keys-0:40-2.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [135/153] elfutils-default-yama-scope-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [136/153] json-c-0:0.17-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [137/153] fedora-release-0:40-40.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [138/153] gdb-minimal-0:15.2-3.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [139/153] xxhash-libs-0:0.8.3-1.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [140/153] fedora-release-identity-basic 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [141/153] libcurl-0:8.6.0-10.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [142/153] libnghttp2-0:1.59.0-3.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [143/153] openldap-0:2.6.8-1.fc40.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [144/153] libbrotli-0:1.1.0-3.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [145/153] libidn2-0:2.3.7-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [146/153] libpsl-0:0.21.5-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [147/153] libssh-0:0.10.6-5.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [148/153] cyrus-sasl-lib-0:2.1.28-19.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [149/153] libevent-0:2.1.12-12.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [150/153] libtool-ltdl-0:2.4.7-10.fc40. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [151/153] libssh-config-0:0.10.6-5.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [152/153] libunistring-0:1.1-7.fc40.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [153/153] publicsuffix-list-dafsa-0:202 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [153/153] Total 100% | 0.0 B/s | 0.0 B | 00m00s Running transaction [ 1/155] Verify package files 100% | 993.0 B/s | 153.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/155] Prepare transaction 100% | 4.3 KiB/s | 153.0 B | 00m00s [ 3/155] Installing libgcc-0:14.2.1-3. 100% | 269.8 MiB/s | 276.3 KiB | 00m00s >>> Running post-install scriptlet: libgcc-0:14.2.1-3.fc40.x86_64 >>> Stop post-install scriptlet: libgcc-0:14.2.1-3.fc40.x86_64 [ 4/155] Installing crypto-policies-0: 100% | 46.5 MiB/s | 190.6 KiB | 00m00s >>> Running post-install scriptlet: crypto-policies-0:20241011-1.git5930b9a.fc40 >>> Stop post-install scriptlet: crypto-policies-0:20241011-1.git5930b9a.fc40.no [ 5/155] Installing fedora-release-ide 100% | 0.0 B/s | 912.0 B | 00m00s [ 6/155] Installing fedora-gpg-keys-0: 100% | 55.2 MiB/s | 169.7 KiB | 00m00s [ 7/155] Installing fedora-repos-0:40- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 8/155] Installing fedora-release-com 100% | 22.8 MiB/s | 23.4 KiB | 00m00s [ 9/155] Installing fedora-release-0:4 100% | 0.0 B/s | 124.0 B | 00m00s [ 10/155] Installing setup-0:2.14.5-2.f 100% | 70.9 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/155] Installing filesystem-0:3.18- 100% | 3.8 MiB/s | 212.4 KiB | 00m00s [ 12/155] Installing basesystem-0:11-20 100% | 0.0 B/s | 124.0 B | 00m00s [ 13/155] Installing publicsuffix-list- 100% | 0.0 B/s | 68.3 KiB | 00m00s [ 14/155] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 15/155] Installing pcre2-syntax-0:10. 100% | 248.1 MiB/s | 254.1 KiB | 00m00s [ 16/155] Installing coreutils-common-0 100% | 409.4 MiB/s | 11.5 MiB | 00m00s [ 17/155] Installing ncurses-base-0:6.4 100% | 85.8 MiB/s | 351.6 KiB | 00m00s [ 18/155] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 19/155] Installing ncurses-libs-0:6.4 100% | 236.7 MiB/s | 969.7 KiB | 00m00s >>> Running pre-install scriptlet: glibc-0:2.39-33.fc40.x86_64 >>> Stop pre-install scriptlet: glibc-0:2.39-33.fc40.x86_64 [ 20/155] Installing glibc-0:2.39-33.fc 100% | 266.0 MiB/s | 6.6 MiB | 00m00s >>> Running post-install scriptlet: glibc-0:2.39-33.fc40.x86_64 >>> Stop post-install scriptlet: glibc-0:2.39-33.fc40.x86_64 [ 21/155] Installing bash-0:5.2.26-3.fc 100% | 429.5 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 [ 22/155] Installing glibc-common-0:2.3 100% | 207.2 MiB/s | 1.0 MiB | 00m00s [ 23/155] Installing glibc-gconv-extra- 100% | 254.9 MiB/s | 7.9 MiB | 00m00s >>> Running post-install scriptlet: glibc-gconv-extra-0:2.39-33.fc40.x86_64 >>> Stop post-install scriptlet: glibc-gconv-extra-0:2.39-33.fc40.x86_64 [ 24/155] Installing zlib-ng-compat-0:2 100% | 131.6 MiB/s | 134.8 KiB | 00m00s [ 25/155] Installing xz-libs-1:5.4.6-3. 100% | 206.0 MiB/s | 210.9 KiB | 00m00s [ 26/155] Installing bzip2-libs-0:1.0.8 100% | 0.0 B/s | 81.8 KiB | 00m00s [ 27/155] Installing libuuid-0:2.40.2-1 100% | 0.0 B/s | 38.6 KiB | 00m00s [ 28/155] Installing readline-0:8.2-8.f 100% | 479.9 MiB/s | 491.4 KiB | 00m00s [ 29/155] Installing libzstd-0:1.5.6-1. 100% | 385.3 MiB/s | 789.2 KiB | 00m00s [ 30/155] Installing elfutils-libelf-0: 100% | 390.0 MiB/s | 1.2 MiB | 00m00s [ 31/155] Installing popt-0:1.19-6.fc40 100% | 70.1 MiB/s | 143.5 KiB | 00m00s [ 32/155] Installing libstdc++-0:14.2.1 100% | 395.2 MiB/s | 2.8 MiB | 00m00s [ 33/155] Installing libblkid-0:2.40.2- 100% | 253.6 MiB/s | 259.7 KiB | 00m00s [ 34/155] Installing libxcrypt-0:4.4.37 100% | 264.1 MiB/s | 270.4 KiB | 00m00s [ 35/155] Installing libattr-0:2.5.2-3. 100% | 0.0 B/s | 29.5 KiB | 00m00s [ 36/155] Installing libacl-0:2.3.2-1.f 100% | 0.0 B/s | 40.8 KiB | 00m00s [ 37/155] Installing gmp-1:6.2.1-8.fc40 100% | 389.1 MiB/s | 796.8 KiB | 00m00s [ 38/155] Installing lz4-libs-0:1.9.4-6 100% | 0.0 B/s | 130.5 KiB | 00m00s [ 39/155] Installing libeconf-0:0.6.2-2 100% | 0.0 B/s | 59.6 KiB | 00m00s [ 40/155] Installing gdbm-libs-1:1.23-6 100% | 120.7 MiB/s | 123.6 KiB | 00m00s [ 41/155] Installing mpfr-0:4.2.1-4.fc4 100% | 407.1 MiB/s | 833.7 KiB | 00m00s [ 42/155] Installing gawk-0:5.3.0-3.fc4 100% | 345.6 MiB/s | 1.7 MiB | 00m00s [ 43/155] Installing dwz-0:0.15-8.fc40. 100% | 289.4 MiB/s | 296.3 KiB | 00m00s [ 44/155] Installing unzip-0:6.0-63.fc4 100% | 377.3 MiB/s | 386.3 KiB | 00m00s [ 45/155] Installing file-libs-0:5.45-4 100% | 709.3 MiB/s | 9.9 MiB | 00m00s [ 46/155] Installing file-0:5.45-4.fc40 100% | 0.0 B/s | 105.0 KiB | 00m00s [ 47/155] Installing libsmartcols-0:2.4 100% | 177.3 MiB/s | 181.5 KiB | 00m00s [ 48/155] Installing libcap-ng-0:0.8.4- 100% | 0.0 B/s | 75.0 KiB | 00m00s [ 49/155] Installing audit-libs-0:4.0.2 100% | 321.6 MiB/s | 329.3 KiB | 00m00s [ 50/155] Installing pam-libs-0:1.6.1-5 100% | 134.2 MiB/s | 137.4 KiB | 00m00s [ 51/155] Installing libcap-0:2.69-8.fc 100% | 219.5 MiB/s | 224.8 KiB | 00m00s [ 52/155] Installing systemd-libs-0:255 100% | 387.7 MiB/s | 1.9 MiB | 00m00s [ 53/155] Installing libcom_err-0:1.47. 100% | 0.0 B/s | 68.3 KiB | 00m00s [ 54/155] Installing libsepol-0:3.7-2.f 100% | 399.8 MiB/s | 818.8 KiB | 00m00s [ 55/155] Installing pcre2-0:10.44-1.fc 100% | 319.8 MiB/s | 654.9 KiB | 00m00s [ 56/155] Installing libselinux-0:3.7-5 100% | 174.1 MiB/s | 178.3 KiB | 00m00s [ 57/155] Installing sed-0:4.9-1.fc40.x 100% | 283.1 MiB/s | 869.7 KiB | 00m00s [ 58/155] Installing grep-0:3.11-7.fc40 100% | 250.8 MiB/s | 1.0 MiB | 00m00s [ 59/155] Installing findutils-1:4.9.0- 100% | 293.2 MiB/s | 1.5 MiB | 00m00s [ 60/155] Installing xz-1:5.4.6-3.fc40. 100% | 333.8 MiB/s | 2.0 MiB | 00m00s [ 61/155] Installing libmount-0:2.40.2- 100% | 348.6 MiB/s | 356.9 KiB | 00m00s [ 62/155] Installing libffi-0:3.4.4-7.f 100% | 0.0 B/s | 83.0 KiB | 00m00s [ 63/155] Installing alternatives-0:1.2 100% | 0.0 B/s | 68.0 KiB | 00m00s [ 64/155] Installing jansson-0:2.13.1-9 100% | 0.0 B/s | 89.7 KiB | 00m00s [ 65/155] Installing lua-libs-0:5.4.6-5 100% | 275.7 MiB/s | 282.3 KiB | 00m00s [ 66/155] Installing libtasn1-0:4.19.0- 100% | 173.3 MiB/s | 177.5 KiB | 00m00s [ 67/155] Installing p11-kit-0:0.25.5-1 100% | 315.4 MiB/s | 2.2 MiB | 00m00s [ 68/155] Installing libunistring-0:1.1 100% | 432.7 MiB/s | 1.7 MiB | 00m00s [ 69/155] Installing libidn2-0:2.3.7-1. 100% | 163.6 MiB/s | 335.0 KiB | 00m00s [ 70/155] Installing libpsl-0:0.21.5-3. 100% | 0.0 B/s | 81.6 KiB | 00m00s [ 71/155] Installing p11-kit-trust-0:0. 100% | 54.8 MiB/s | 393.1 KiB | 00m00s >>> Running post-install scriptlet: p11-kit-trust-0:0.25.5-1.fc40.x86_64 >>> Stop post-install scriptlet: p11-kit-trust-0:0.25.5-1.fc40.x86_64 [ 72/155] Installing openssl-libs-1:3.2 100% | 411.8 MiB/s | 7.8 MiB | 00m00s [ 73/155] Installing coreutils-0:9.4-9. 100% | 291.3 MiB/s | 5.8 MiB | 00m00s >>> Running pre-install scriptlet: ca-certificates-0:2024.2.69_v8.0.401-1.0.fc40 >>> Stop pre-install scriptlet: ca-certificates-0:2024.2.69_v8.0.401-1.0.fc40.no [ 74/155] Installing ca-certificates-0: 100% | 4.2 MiB/s | 2.4 MiB | 00m01s >>> Running post-install scriptlet: ca-certificates-0:2024.2.69_v8.0.401-1.0.fc4 >>> Stop post-install scriptlet: ca-certificates-0:2024.2.69_v8.0.401-1.0.fc40.n [ 75/155] Installing gzip-0:1.13-1.fc40 100% | 190.7 MiB/s | 390.6 KiB | 00m00s [ 76/155] Installing authselect-libs-0: 100% | 203.4 MiB/s | 833.2 KiB | 00m00s [ 77/155] Installing authselect-0:1.5.0 100% | 154.2 MiB/s | 157.9 KiB | 00m00s [ 78/155] Installing cracklib-0:2.9.11- 100% | 81.5 MiB/s | 250.3 KiB | 00m00s [ 79/155] Installing libpwquality-0:1.4 100% | 140.0 MiB/s | 430.1 KiB | 00m00s [ 80/155] Installing rpm-sequoia-0:1.7. 100% | 399.0 MiB/s | 2.4 MiB | 00m00s [ 81/155] Installing libevent-0:2.1.12- 100% | 292.8 MiB/s | 899.4 KiB | 00m00s [ 82/155] Installing util-linux-core-0: 100% | 247.6 MiB/s | 1.5 MiB | 00m00s [ 83/155] Installing tar-2:1.35-3.fc40. 100% | 421.5 MiB/s | 3.0 MiB | 00m00s [ 84/155] Installing libsemanage-0:3.7- 100% | 144.2 MiB/s | 295.2 KiB | 00m00s [ 85/155] Installing shadow-utils-2:4.1 100% | 160.6 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 [ 86/155] Installing libutempter-0:1.2. 100% | 58.3 MiB/s | 59.7 KiB | 00m00s [ 87/155] Installing zip-0:3.0-40.fc40. 100% | 345.3 MiB/s | 707.1 KiB | 00m00s [ 88/155] Installing gdbm-1:1.23-6.fc40 100% | 227.4 MiB/s | 465.8 KiB | 00m00s [ 89/155] Installing cyrus-sasl-lib-0:2 100% | 380.5 MiB/s | 2.3 MiB | 00m00s [ 90/155] Installing zstd-0:1.5.6-1.fc4 100% | 419.0 MiB/s | 1.7 MiB | 00m00s [ 91/155] Installing libfdisk-0:2.40.2- 100% | 355.5 MiB/s | 364.0 KiB | 00m00s [ 92/155] Installing bzip2-0:1.0.8-18.f 100% | 93.9 MiB/s | 96.2 KiB | 00m00s [ 93/155] Installing libxml2-0:2.12.9-1 100% | 428.1 MiB/s | 1.7 MiB | 00m00s [ 94/155] Installing libarchive-0:3.7.2 100% | 301.0 MiB/s | 924.5 KiB | 00m00s [ 95/155] Installing sqlite-libs-0:3.45 100% | 350.3 MiB/s | 1.4 MiB | 00m00s [ 96/155] Installing rpm-libs-0:4.19.1. 100% | 347.4 MiB/s | 711.4 KiB | 00m00s [ 97/155] Installing ed-0:1.20.2-1.fc40 100% | 145.7 MiB/s | 149.2 KiB | 00m00s [ 98/155] Installing patch-0:2.7.6-24.f 100% | 258.1 MiB/s | 264.3 KiB | 00m00s [ 99/155] Installing elfutils-default-y 100% | 408.6 KiB/s | 2.0 KiB | 00m00s >>> Running post-install scriptlet: elfutils-default-yama-scope-0:0.192-7.fc40.n >>> Stop post-install scriptlet: elfutils-default-yama-scope-0:0.192-7.fc40.noar [100/155] Installing cpio-0:2.15-1.fc40 100% | 274.9 MiB/s | 1.1 MiB | 00m00s [101/155] Installing diffutils-0:3.10-5 100% | 317.2 MiB/s | 1.6 MiB | 00m00s [102/155] Installing libpkgconf-0:2.1.1 100% | 0.0 B/s | 75.3 KiB | 00m00s [103/155] Installing pkgconf-0:2.1.1-2. 100% | 83.4 MiB/s | 85.4 KiB | 00m00s [104/155] Installing keyutils-libs-0:1. 100% | 0.0 B/s | 55.8 KiB | 00m00s [105/155] Installing libverto-0:0.3.2-8 100% | 0.0 B/s | 31.3 KiB | 00m00s [106/155] Installing krb5-libs-0:1.21.3 100% | 329.6 MiB/s | 2.3 MiB | 00m00s [107/155] Installing libtirpc-0:1.3.6-1 100% | 199.7 MiB/s | 204.5 KiB | 00m00s [108/155] Installing libnsl2-0:2.0.1-1. 100% | 57.7 MiB/s | 59.0 KiB | 00m00s [109/155] Installing pam-0:1.6.1-5.fc40 100% | 181.9 MiB/s | 1.8 MiB | 00m00s [110/155] Installing libssh-0:0.10.6-5. 100% | 249.7 MiB/s | 511.4 KiB | 00m00s [111/155] Installing libgomp-0:14.2.1-3 100% | 512.7 MiB/s | 525.0 KiB | 00m00s [112/155] Installing json-c-0:0.17-3.fc 100% | 0.0 B/s | 83.6 KiB | 00m00s [113/155] Installing xxhash-libs-0:0.8. 100% | 0.0 B/s | 91.6 KiB | 00m00s [114/155] Installing libnghttp2-0:1.59. 100% | 163.3 MiB/s | 167.2 KiB | 00m00s [115/155] Installing libbrotli-0:1.1.0- 100% | 406.2 MiB/s | 831.8 KiB | 00m00s [116/155] Installing libtool-ltdl-0:2.4 100% | 0.0 B/s | 67.3 KiB | 00m00s [117/155] Installing openldap-0:2.6.8-1 100% | 314.5 MiB/s | 644.0 KiB | 00m00s [118/155] Installing libcurl-0:8.6.0-10 100% | 379.8 MiB/s | 777.9 KiB | 00m00s [119/155] Installing elfutils-debuginfo 100% | 80.4 MiB/s | 82.4 KiB | 00m00s [120/155] Installing elfutils-libs-0:0. 100% | 328.2 MiB/s | 672.2 KiB | 00m00s [121/155] Installing binutils-gold-0:2. 100% | 186.1 MiB/s | 2.0 MiB | 00m00s >>> Running post-install scriptlet: binutils-gold-0:2.41-38.fc40.x86_64 >>> Stop post-install scriptlet: binutils-gold-0:2.41-38.fc40.x86_64 [122/155] Installing binutils-0:2.41-38 100% | 395.2 MiB/s | 26.5 MiB | 00m00s >>> Running post-install scriptlet: binutils-0:2.41-38.fc40.x86_64 >>> Stop post-install scriptlet: binutils-0:2.41-38.fc40.x86_64 [123/155] Installing elfutils-0:0.192-7 100% | 380.0 MiB/s | 2.7 MiB | 00m00s [124/155] Installing gdb-minimal-0:15.2 100% | 433.0 MiB/s | 13.0 MiB | 00m00s [125/155] Installing debugedit-0:5.0-18 100% | 197.3 MiB/s | 202.0 KiB | 00m00s [126/155] Installing rpm-build-libs-0:4 100% | 194.5 MiB/s | 199.2 KiB | 00m00s [127/155] Installing curl-0:8.6.0-10.fc 100% | 72.4 MiB/s | 740.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 [128/155] Installing rpm-0:4.19.1.1-1.f 100% | 199.7 MiB/s | 2.4 MiB | 00m00s [129/155] Installing efi-srpm-macros-0: 100% | 0.0 B/s | 41.2 KiB | 00m00s [130/155] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [131/155] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 KiB | 00m00s [132/155] Installing pkgconf-m4-0:2.1.1 100% | 0.0 B/s | 14.3 KiB | 00m00s [133/155] Installing pkgconf-pkg-config 100% | 0.0 B/s | 1.8 KiB | 00m00s [134/155] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [135/155] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [136/155] Installing openblas-srpm-macr 100% | 0.0 B/s | 384.0 B | 00m00s [137/155] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.2 KiB | 00m00s [138/155] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [139/155] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [140/155] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [141/155] Installing rust-srpm-macros-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [142/155] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 732.0 B | 00m00s [143/155] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [144/155] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [145/155] Installing ansible-srpm-macro 100% | 0.0 B/s | 36.2 KiB | 00m00s [146/155] Installing forge-srpm-macros- 100% | 0.0 B/s | 40.3 KiB | 00m00s [147/155] Installing python-srpm-macros 100% | 0.0 B/s | 51.8 KiB | 00m00s [148/155] Installing fonts-srpm-macros- 100% | 0.0 B/s | 56.5 KiB | 00m00s [149/155] Installing go-srpm-macros-0:3 100% | 0.0 B/s | 61.6 KiB | 00m00s [150/155] Installing redhat-rpm-config- 100% | 93.7 MiB/s | 191.9 KiB | 00m00s [151/155] Installing rpm-build-0:4.19.1 100% | 88.8 MiB/s | 182.0 KiB | 00m00s [152/155] Installing pyproject-srpm-mac 100% | 2.4 MiB/s | 2.5 KiB | 00m00s [153/155] Installing util-linux-0:2.40. 100% | 187.4 MiB/s | 3.7 MiB | 00m00s >>> Running post-install scriptlet: util-linux-0:2.40.2-1.fc40.x86_64 >>> Stop post-install scriptlet: util-linux-0:2.40.2-1.fc40.x86_64 [154/155] Installing which-0:2.21-41.fc 100% | 80.5 MiB/s | 82.4 KiB | 00m00s [155/155] Installing info-0:7.1-2.fc40. 100% | 468.2 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:2024.2.69_v8.0.401-1.0 >>> Stop post-transaction scriptlet: ca-certificates-0:2024.2.69_v8.0.401-1.0.fc >>> Running post-transaction scriptlet: authselect-libs-0:1.5.0-6.fc40.x86_64 >>> Stop post-transaction scriptlet: authselect-libs-0:1.5.0-6.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-33.fc40.x86_64 >>> Stop trigger-install scriptlet: glibc-common-0:2.39-33.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 Warning: skipped PGP checks for 153 package(s). 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-16.fc40.noarch audit-libs-4.0.2-1.fc40.x86_64 authselect-1.5.0-6.fc40.x86_64 authselect-libs-1.5.0-6.fc40.x86_64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.x86_64 binutils-2.41-38.fc40.x86_64 binutils-gold-2.41-38.fc40.x86_64 bzip2-1.0.8-18.fc40.x86_64 bzip2-libs-1.0.8-18.fc40.x86_64 ca-certificates-2024.2.69_v8.0.401-1.0.fc40.noarch coreutils-9.4-9.fc40.x86_64 coreutils-common-9.4-9.fc40.x86_64 cpio-2.15-1.fc40.x86_64 cracklib-2.9.11-5.fc40.x86_64 crypto-policies-20241011-1.git5930b9a.fc40.noarch curl-8.6.0-10.fc40.x86_64 cyrus-sasl-lib-2.1.28-19.fc40.x86_64 debugedit-5.0-18.fc40.x86_64 diffutils-3.10-5.fc40.x86_64 dwz-0.15-8.fc40.x86_64 ed-1.20.2-1.fc40.x86_64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.192-7.fc40.x86_64 elfutils-debuginfod-client-0.192-7.fc40.x86_64 elfutils-default-yama-scope-0.192-7.fc40.noarch elfutils-libelf-0.192-7.fc40.x86_64 elfutils-libs-0.192-7.fc40.x86_64 fedora-gpg-keys-40-2.noarch fedora-release-40-40.noarch fedora-release-common-40-40.noarch fedora-release-identity-basic-40-40.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-9.fc40.x86_64 fonts-srpm-macros-2.0.5-14.fc40.noarch forge-srpm-macros-0.4.0-1.fc40.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.x86_64 gdb-minimal-15.2-3.fc40.x86_64 gdbm-1.23-6.fc40.x86_64 gdbm-libs-1.23-6.fc40.x86_64 ghc-srpm-macros-1.9.1-1.fc40.noarch glibc-2.39-33.fc40.x86_64 glibc-common-2.39-33.fc40.x86_64 glibc-gconv-extra-2.39-33.fc40.x86_64 glibc-minimal-langpack-2.39-33.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 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 json-c-0.17-3.fc40.x86_64 kernel-srpm-macros-1.0-23.fc40.noarch keyutils-libs-1.6.3-3.fc40.x86_64 krb5-libs-1.21.3-2.fc40.x86_64 libacl-2.3.2-1.fc40.x86_64 libarchive-3.7.2-7.fc40.x86_64 libattr-2.5.2-3.fc40.x86_64 libblkid-2.40.2-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-10.fc40.x86_64 libeconf-0.6.2-2.fc40.x86_64 libevent-2.1.12-12.fc40.x86_64 libfdisk-2.40.2-1.fc40.x86_64 libffi-3.4.4-7.fc40.x86_64 libgcc-14.2.1-3.fc40.x86_64 libgomp-14.2.1-3.fc40.x86_64 libidn2-2.3.7-1.fc40.x86_64 libmount-2.40.2-1.fc40.x86_64 libnghttp2-1.59.0-3.fc40.x86_64 libnsl2-2.0.1-1.fc40.x86_64 libpkgconf-2.1.1-2.fc40.x86_64 libpsl-0.21.5-3.fc40.x86_64 libpwquality-1.4.5-9.fc40.x86_64 libselinux-3.7-5.fc40.x86_64 libsemanage-3.7-2.fc40.x86_64 libsepol-3.7-2.fc40.x86_64 libsmartcols-2.40.2-1.fc40.x86_64 libssh-0.10.6-5.fc40.x86_64 libssh-config-0.10.6-5.fc40.noarch libstdc++-14.2.1-3.fc40.x86_64 libtasn1-4.19.0-6.fc40.x86_64 libtirpc-1.3.6-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.2-1.fc40.x86_64 libverto-0.3.2-8.fc40.x86_64 libxcrypt-4.4.37-4.fc40.x86_64 libxml2-2.12.9-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.8-1.fc40.x86_64 openssl-libs-3.2.2-3.fc40.x86_64 p11-kit-0.25.5-1.fc40.x86_64 p11-kit-trust-0.25.5-1.fc40.x86_64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-5.fc40.x86_64 pam-libs-1.6.1-5.fc40.x86_64 patch-2.7.6-24.fc40.x86_64 pcre2-10.44-1.fc40.x86_64 pcre2-syntax-10.44-1.fc40.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.1-2.fc40.x86_64 pkgconf-m4-2.1.1-2.fc40.noarch pkgconf-pkg-config-2.1.1-2.fc40.x86_64 popt-1.19-6.fc40.x86_64 publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.16.3-1.fc40.noarch python-srpm-macros-3.12-8.fc40.noarch qt5-srpm-macros-5.15.15-1.fc40.noarch qt6-srpm-macros-6.7.2-2.fc40.noarch readline-8.2-8.fc40.x86_64 redhat-rpm-config-288-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.7.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-4.fc40.x86_64 sqlite-libs-3.45.1-2.fc40.x86_64 systemd-libs-255.15-1.fc40.x86_64 tar-1.35-3.fc40.x86_64 unzip-6.0-63.fc40.x86_64 util-linux-2.40.2-1.fc40.x86_64 util-linux-core-2.40.2-1.fc40.x86_64 which-2.21-41.fc40.x86_64 xxhash-libs-0.8.3-1.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.7-2.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=1706140800 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-40-x86_64-1736340069.087051/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-2rbqtxcq/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(child) 0 minutes 18 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm) Config(fedora-40-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-40-x86_64-bootstrap-1736340069.087051/root. INFO: reusing tmpfs at /var/lib/mock/fedora-40-x86_64-bootstrap-1736340069.087051/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-1736340069.087051/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.7.0-3.fc40.x86_64 python3-dnf-4.22.0-1.fc40.noarch yum-4.22.0-1.fc40.noarch dnf5-5.1.17-3.fc40.x86_64 dnf5-plugins-5.1.17-3.fc40.x86_64 Finish: chroot init Start: build phase for ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Start: build setup for ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1706140800 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Updating and loading repositories: fedora 100% | 300.6 KiB/s | 30.1 KiB | 00m00s Additional repo http_kojipkgs_fedorapr 100% | 191.6 KiB/s | 3.8 KiB | 00m00s updates 100% | 106.0 KiB/s | 29.5 KiB | 00m00s Copr repository 100% | 151.5 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: make x86_64 1:4.4.1-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.8 MiB ocaml x86_64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 128.9 MiB ocaml-dune x86_64 3.15.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 22.5 MiB ocaml-menhir x86_64 20231231-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 8.2 MiB python3-sphinx noarch 1:7.2.6-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 10.8 MiB python3-sphinx_rtd_theme noarch 2.0.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 317.9 KiB Installing dependencies: annobin-docs noarch 12.60-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 96.2 KiB annobin-plugin-gcc x86_64 12.60-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 976.2 KiB cpp x86_64 14.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 35.0 MiB expat x86_64 2.6.3-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 287.5 KiB fontawesome4-fonts noarch 1:4.7.0-22.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 296.6 KiB fonts-filesystem noarch 1:2.0.5-14.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 0.0 B gc x86_64 8.2.2-6.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 258.7 KiB gcc x86_64 14.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 104.3 MiB gcc-plugin-annobin x86_64 14.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 57.1 KiB glibc-devel x86_64 2.39-33.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 2.2 MiB google-roboto-slab-fonts noarch 1.100263-0.23.20150923git.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 699.6 KiB guile30 x86_64 3.0.7-12.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 51.5 MiB kernel-headers x86_64 6.12.4-100.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 6.4 MiB lato-fonts noarch 2.015-20.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 11.3 MiB libb2 x86_64 0.98.1-11.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 42.2 KiB libmpc x86_64 1.3.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 164.7 KiB libxcrypt-devel x86_64 4.4.37-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 30.5 KiB libzstd-devel x86_64 1.5.6-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 202.4 KiB mpdecimal x86_64 2.5.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 200.9 KiB ocaml-compiler-libs x86_64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 96.3 MiB ocaml-menhirlib x86_64 20231231-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 363.6 KiB ocaml-menhirlib-devel x86_64 20231231-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.0 MiB ocaml-rpm-macros noarch 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 19.8 KiB ocaml-runtime x86_64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 5.5 MiB python-pip-wheel noarch 23.3.2-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.5 MiB python3 x86_64 3.12.8-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 31.5 KiB python3-babel noarch 2.16.0-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 28.3 MiB python3-charset-normalizer noarch 3.3.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 312.7 KiB python3-docutils noarch 0.20.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 4.8 MiB python3-idna noarch 3.7-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 594.6 KiB python3-imagesize noarch 1.4.1-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 34.7 KiB python3-jinja2 noarch 3.1.5-1.fc40 copr_base 2.9 MiB python3-libs x86_64 3.12.8-2.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 41.3 MiB python3-markupsafe x86_64 2.1.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 56.3 KiB python3-packaging noarch 23.2-4.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 421.1 KiB python3-pygments noarch 2.17.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 10.3 MiB python3-requests noarch 2.31.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 462.4 KiB python3-snowballstemmer noarch 2.2.0-10.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.7 MiB python3-sphinx-theme-alabaster noarch 0.7.16-3.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 41.9 KiB python3-sphinxcontrib-jquery noarch 4.1-7.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 381.8 KiB python3-urllib3 noarch 1.26.20-1.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 999.0 KiB tzdata noarch 2024a-5.fc40 http_kojipkgs_fedoraproject_org_repos_f40_build_latest_basearch 1.6 MiB Transaction Summary: Installing: 48 packages Total size of inbound packages is 181 MiB. Need to download 3 MiB. After this operation 585 MiB will be used (install 585 MiB, remove 0 B). [ 1/48] make-1:4.4.1-6.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 2/48] ocaml-0:5.1.1-4.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 3/48] ocaml-dune-0:3.15.2-1.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 4/48] python3-sphinx-1:7.2.6-6.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/48] python3-sphinx_rtd_theme-0:2.0. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/48] fontawesome4-fonts-1:4.7.0-22.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/48] google-roboto-slab-fonts-0:1.10 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/48] lato-fonts-0:2.015-20.fc40.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/48] python3-0:3.12.8-2.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [10/48] python3-docutils-0:0.20.1-3.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [11/48] python3-sphinxcontrib-jquery-0: 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [12/48] python3-babel-0:2.16.0-1.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [13/48] python3-imagesize-0:1.4.1-7.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [14/48] python3-jinja2-0:3.1.5-1.fc40.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [15/48] python3-packaging-0:23.2-4.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [16/48] python3-pygments-0:2.17.2-3.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [17/48] python3-requests-0:2.31.0-3.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [18/48] python3-snowballstemmer-0:2.2.0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [19/48] python3-sphinx-theme-alabaster- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [20/48] python3-charset-normalizer-0:3. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [21/48] python3-idna-0:3.7-1.fc40.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [22/48] python3-urllib3-0:1.26.20-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [23/48] python3-libs-0:3.12.8-2.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [24/48] ocaml-compiler-libs-0:5.1.1-4.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [25/48] ocaml-rpm-macros-0:5.1.1-4.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [26/48] gcc-0:14.2.1-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [27/48] libzstd-devel-0:1.5.6-1.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [28/48] ocaml-runtime-0:5.1.1-4.fc40.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [29/48] guile30-0:3.0.7-12.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [30/48] fonts-filesystem-1:2.0.5-14.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [31/48] gc-0:8.2.2-6.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [32/48] annobin-plugin-gcc-0:12.60-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [33/48] gcc-plugin-annobin-0:14.2.1-3.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [34/48] glibc-devel-0:2.39-33.fc40.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [35/48] libmpc-0:1.3.1-5.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [36/48] cpp-0:14.2.1-3.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [37/48] annobin-docs-0:12.60-1.fc40.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [38/48] python3-markupsafe-0:2.1.3-4.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [39/48] expat-0:2.6.3-1.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [40/48] libb2-0:0.98.1-11.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [41/48] mpdecimal-0:2.5.1-9.fc40.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [42/48] python-pip-wheel-0:23.3.2-2.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [43/48] tzdata-0:2024a-5.fc40.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [44/48] kernel-headers-0:6.12.4-100.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [45/48] libxcrypt-devel-0:4.4.37-4.fc40 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [46/48] ocaml-menhirlib-0:20231231-3.fc 100% | 3.6 MiB/s | 185.8 KiB | 00m00s [47/48] ocaml-menhirlib-devel-0:2023123 100% | 7.2 MiB/s | 568.6 KiB | 00m00s [48/48] ocaml-menhir-0:20231231-3.fc40. 100% | 20.9 MiB/s | 2.6 MiB | 00m00s -------------------------------------------------------------------------------- [48/48] Total 100% | 26.4 MiB/s | 3.4 MiB | 00m00s Running transaction [ 1/50] Verify package files 100% | 98.0 B/s | 48.0 B | 00m00s [ 2/50] Prepare transaction 100% | 857.0 B/s | 48.0 B | 00m00s [ 3/50] Installing fonts-filesystem-1:2 100% | 0.0 B/s | 788.0 B | 00m00s [ 4/50] Installing libmpc-0:1.3.1-5.fc4 100% | 162.3 MiB/s | 166.2 KiB | 00m00s [ 5/50] Installing cpp-0:14.2.1-3.fc40. 100% | 406.9 MiB/s | 35.0 MiB | 00m00s [ 6/50] Installing fontawesome4-fonts-1 100% | 290.8 MiB/s | 297.8 KiB | 00m00s [ 7/50] Installing google-roboto-slab-f 100% | 342.5 MiB/s | 701.4 KiB | 00m00s [ 8/50] Installing lato-fonts-0:2.015-2 100% | 404.8 MiB/s | 11.3 MiB | 00m00s [ 9/50] Installing kernel-headers-0:6.1 100% | 244.3 MiB/s | 6.6 MiB | 00m00s [10/50] Installing libxcrypt-devel-0:4. 100% | 32.1 MiB/s | 32.9 KiB | 00m00s [11/50] Installing glibc-devel-0:2.39-3 100% | 163.8 MiB/s | 2.3 MiB | 00m00s [12/50] Installing tzdata-0:2024a-5.fc4 100% | 67.9 MiB/s | 1.9 MiB | 00m00s [13/50] Installing python-pip-wheel-0:2 100% | 763.3 MiB/s | 1.5 MiB | 00m00s [14/50] Installing mpdecimal-0:2.5.1-9. 100% | 197.3 MiB/s | 202.0 KiB | 00m00s [15/50] Installing libb2-0:0.98.1-11.fc 100% | 0.0 B/s | 43.3 KiB | 00m00s [16/50] Installing expat-0:2.6.3-1.fc40 100% | 70.7 MiB/s | 289.6 KiB | 00m00s [17/50] Installing python3-libs-0:3.12. 100% | 353.2 MiB/s | 41.7 MiB | 00m00s [18/50] Installing python3-0:3.12.8-2.f 100% | 32.5 MiB/s | 33.3 KiB | 00m00s [19/50] Installing python3-docutils-0:0 100% | 271.5 MiB/s | 4.9 MiB | 00m00s [20/50] Installing python3-idna-0:3.7-1 100% | 293.4 MiB/s | 600.9 KiB | 00m00s [21/50] Installing python3-urllib3-0:1. 100% | 200.2 MiB/s | 1.0 MiB | 00m00s [22/50] Installing python3-babel-0:2.16 100% | 361.0 MiB/s | 28.5 MiB | 00m00s [23/50] Installing python3-imagesize-0: 100% | 36.9 MiB/s | 37.8 KiB | 00m00s [24/50] Installing python3-packaging-0: 100% | 140.6 MiB/s | 431.9 KiB | 00m00s [25/50] Installing python3-pygments-0:2 100% | 301.1 MiB/s | 10.5 MiB | 00m00s [26/50] Installing python3-snowballstem 100% | 340.6 MiB/s | 1.7 MiB | 00m00s [27/50] Installing python3-sphinx-theme 100% | 45.2 MiB/s | 46.3 KiB | 00m00s [28/50] Installing python3-charset-norm 100% | 157.5 MiB/s | 322.7 KiB | 00m00s [29/50] Installing python3-requests-0:2 100% | 231.7 MiB/s | 474.5 KiB | 00m00s [30/50] Installing python3-markupsafe-0 100% | 59.0 MiB/s | 60.4 KiB | 00m00s [31/50] Installing python3-jinja2-0:3.1 100% | 363.8 MiB/s | 2.9 MiB | 00m00s [32/50] Installing python3-sphinx-1:7.2 100% | 261.2 MiB/s | 11.0 MiB | 00m00s [33/50] Installing python3-sphinxcontri 100% | 375.9 MiB/s | 385.0 KiB | 00m00s [34/50] Installing annobin-docs-0:12.60 100% | 0.0 B/s | 97.4 KiB | 00m00s [35/50] Installing gc-0:8.2.2-6.fc40.x8 100% | 127.6 MiB/s | 261.2 KiB | 00m00s [36/50] Installing guile30-0:3.0.7-12.f 100% | 496.0 MiB/s | 51.6 MiB | 00m00s [37/50] Installing make-1:4.4.1-6.fc40. 100% | 300.0 MiB/s | 1.8 MiB | 00m00s [38/50] Installing gcc-0:14.2.1-3.fc40. 100% | 446.1 MiB/s | 104.4 MiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:288-1.fc40.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:288-1.fc40.noarch [39/50] Installing ocaml-runtime-0:5.1. 100% | 425.8 MiB/s | 5.5 MiB | 00m00s [40/50] Installing libzstd-devel-0:1.5. 100% | 198.5 MiB/s | 203.2 KiB | 00m00s [41/50] Installing ocaml-0:5.1.1-4.fc40 100% | 483.1 MiB/s | 129.0 MiB | 00m00s [42/50] Installing ocaml-compiler-libs- 100% | 484.8 MiB/s | 96.5 MiB | 00m00s [43/50] Installing ocaml-rpm-macros-0:5 100% | 0.0 B/s | 20.3 KiB | 00m00s [44/50] Installing ocaml-menhirlib-0:20 100% | 356.6 MiB/s | 365.2 KiB | 00m00s [45/50] Installing ocaml-menhirlib-deve 100% | 497.2 MiB/s | 1.0 MiB | 00m00s [46/50] Installing ocaml-menhir-0:20231 100% | 456.4 MiB/s | 8.2 MiB | 00m00s [47/50] Installing ocaml-dune-0:3.15.2- 100% | 478.7 MiB/s | 22.5 MiB | 00m00s [48/50] Installing annobin-plugin-gcc-0 100% | 68.2 MiB/s | 977.9 KiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:288-1.fc40.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:288-1.fc40.noarch [49/50] Installing gcc-plugin-annobin-0 100% | 4.4 MiB/s | 58.6 KiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:288-1.fc40.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:288-1.fc40.noarch [50/50] Installing python3-sphinx_rtd_t 100% | 2.8 MiB/s | 338.4 KiB | 00m00s >>> Running trigger-install scriptlet: glibc-common-0:2.39-33.fc40.x86_64 >>> Stop trigger-install scriptlet: glibc-common-0:2.39-33.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 Warning: skipped PGP checks for 48 package(s). Finish: build setup for ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Start: rpmbuild ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1706140800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.syeVr6 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf psmt2-frontend-0.4.0 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/psmt2-frontend-0.4.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd psmt2-frontend-0.4.0 + rm -rf /builddir/build/BUILD/psmt2-frontend-0.4.0-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/psmt2-frontend-0.4.0-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-psmt2-frontend-sphinx6.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + sed -i '/^git =/d;/^branch=/d;s/^\(version = \).*/\1"0.4.0"/' sphinx/conf.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.3ZMlBq + 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 -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 psmt2-frontend-0.4.0 + dune build --verbose --release -j4 Shared cache: disabled Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; instrument_with = [] } Actual targets: - recursive alias @install Running[1]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -w -49 -nopervasives -nostdlib -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo -c -impl src/lib/psmt2Frontend.ml-gen) Running[2]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -w -49 -nopervasives -nostdlib -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml-gen -no-alias-deps -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx -c -impl src/lib/psmt2Frontend.ml-gen) Running[3]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.d Running[4]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll) Running[5]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-write-query src/lib/smtlib_parser__mock.ml.mock) Running[6]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Main.impl.d Running[7]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.impl.d Running[8]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_error.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_error.impl.d Running[9]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_printer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_printer.impl.d Output[5]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Running[10]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_syntax.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_syntax.impl.d Running[11]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_ty.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_ty.impl.d Running[12]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_env.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_env.impl.d Running[13]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_logic.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_logic.impl.d Running[14]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typing.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typing.impl.d Running[15]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.intf.d Running[16]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/version.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.intf.d Running[17]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo -c -impl src/lib/main.ml) Running[18]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser__mock.ml.mock) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser__mock.impl.d Running[19]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -c -intf src/lib/options.mli) Running[20]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -c -intf src/lib/version.mli) Running[21]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx -c -impl src/lib/main.ml) Running[22]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_lexer.impl.d Running[23]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx -c -impl src/lib/options.ml) Running[24]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo -c -impl src/lib/options.ml) Running[25]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo -c -impl src/lib/smtlib_error.ml) Running[26]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx -c -impl src/lib/version.ml) Running[27]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo -c -impl src/lib/version.ml) Running[28]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo -c -impl src/lib/smtlib_ty.ml) Running[29]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx -c -impl src/lib/smtlib_error.ml) Running[30]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo -c -impl src/lib/smtlib_syntax.ml) Running[31]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo -c -impl src/lib/smtlib_typed_env.ml) Running[32]: (cd _build/.sandbox/c283de1d72304844a76857437eb9ee86/default && /usr/bin/ocamlc.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -open Psmt2Frontend -short-paths -i -impl src/lib/smtlib_parser__mock.ml.mock) > _build/.sandbox/c283de1d72304844a76857437eb9ee86/default/src/lib/smtlib_parser__mock.mli.inferred Running[33]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx -c -impl src/lib/smtlib_ty.ml) Running[34]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo -c -impl src/lib/smtlib_printer.ml) Running[35]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo -c -impl src/lib/smtlib_typed_logic.ml) Running[36]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo -c -impl src/lib/smtlib_typing.ml) Running[37]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred) Running[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml) Running[39]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml) Output[37]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Warning: 22 end-of-stream conflicts were arbitrarily resolved. File "", line 214, characters 16-16: Warning: production list(term) -> is never reduced. Warning: in total, 1 production is never reduced. Running[40]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.impl.d Running[41]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/smtlib_parser.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.intf.d Running[42]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -c -intf src/lib/smtlib_parser.mli) Running[43]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo -c -impl src/lib/smtlib_lexer.ml) Running[44]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx -c -impl src/lib/smtlib_parser.ml) Running[45]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml) Running[46]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/bin/.main.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/bin/.main.eobjs/byte/dune__exe__Main.cmo -c -impl src/bin/main.ml) Running[47]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx -c -impl src/lib/smtlib_printer.ml) Running[48]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx -c -impl src/lib/smtlib_typed_logic.ml) Running[49]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx -c -impl src/lib/smtlib_typing.ml) Running[50]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -a -o src/lib/psmt2Frontend.cma src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo) Running[51]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx -c -impl src/lib/smtlib_lexer.ml) Running[52]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/bin/.main.eobjs/byte -I src/bin/.main.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o src/bin/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/bin/main.ml) Running[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -a -o src/lib/psmt2Frontend.cmxa src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx) Running[54]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa) Running[55]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o src/bin/main.exe src/lib/psmt2Frontend.cmxa src/bin/.main.eobjs/native/dune__exe__Main.cmx) Promoting "_build/default/psmt2-frontend.install" to "psmt2-frontend.install" Promoting "_build/default/psmt2-frontend_bin.install" to "psmt2-frontend_bin.install" + make sphinx sphinx-build sphinx docs/sphinx Running Sphinx v7.2.6 making output directory... done building [mo]: targets for 0 po files that are out of date writing output... building [html]: targets for 4 source files that are out of date updating environment: [new config] 4 added, 0 changed, 0 removed reading sources... [100%] license looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done copying assets... copying static files... done copying extra files... done done writing output... [100%] license generating indices... genindex done writing additional pages... search done dumping search index in English (code: en)... done dumping object inventory... done build succeeded. The HTML pages are in docs/sphinx. + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.z7EwBv + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 ++ dirname /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.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 -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 psmt2-frontend-0.4.0 + dune install --destdir=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 --verbose --release -j4 Shared cache: disabled Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; instrument_with = [] } Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/META Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/dune-package Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/main.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/opam Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend/CHANGES.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend/LICENSE Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend/LICENSE.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend/README.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend/odoc-pages/index.mld Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/META Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/dune-package Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/opam Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/bin/psmt2-frontend_bin Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend_bin/CHANGES.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend_bin/LICENSE Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend_bin/LICENSE.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend_bin/README.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld + '[' -d _build/default/_doc/_html ']' + rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/doc ++ find /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml -name '*.mli' + mlis='/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli' + rm -f /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 /usr/lib64/ocaml + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.4.0-16.fc40 --unique-debug-suffix -0.4.0-16.fc40.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/psmt2-frontend-0.4.0 find-debuginfo: starting Extracting debug info from 2 files DWARF-compressing 2 files sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 cpio: _build/default/: Cannot stat: No such file or directory cpio: _build/default/atomic.ml: Cannot stat: No such file or directory cpio: _build/default/bytes.ml: Cannot stat: No such file or directory cpio: _build/default/format.ml: Cannot stat: No such file or directory cpio: _build/default/lexing.ml: Cannot stat: No such file or directory cpio: _build/default/list.ml: Cannot stat: No such file or directory cpio: _build/default/map.ml: Cannot stat: No such file or directory cpio: _build/default/printf.ml: Cannot stat: No such file or directory cpio: _build/default/seq.ml: Cannot stat: No such file or directory cpio: _build/default/stack.ml: Cannot stat: No such file or directory cpio: _build/default/stdlib.ml: Cannot stat: No such file or directory cpio: _build/default/string.ml: Cannot stat: No such file or directory 1633 blocks find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.ykT6Qb + 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 -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 psmt2-frontend-0.4.0 + dune runtest --verbose --release -j4 Shared cache: disabled Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; instrument_with = [] } Running[1]: (cd _build/default/test/output-tests && /usr/bin/cat test1.expected) > _build/default/test/output-tests/test1.output Running[2]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I test/output-tests/.test2.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmo -c -impl test/output-tests/test2.ml) Running[3]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I test/output-tests/.test2.eobjs/byte -I test/output-tests/.test2.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx -c -impl test/output-tests/test2.ml) Running[4]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o test/output-tests/test2.exe src/lib/psmt2Frontend.cmxa test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx) Running[5]: (cd _build/default/test/output-tests && ./test2.exe min.smt2) > _build/default/test/output-tests/test2.output + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.H6OMuP + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/CHANGES.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/README.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.z3u26i + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + LICENSEDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/licenses/ocaml-psmt2-frontend + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/licenses/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/LICENSE /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/licenses/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Main) = 0d9f29df6383ad1fb4ff1e5e3655c5ae ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58 ocaml(Psmt2Frontend__Version) = 2ebc1d4f86943710cb645be32095df8f ocaml-psmt2-frontend = 0.4.0-16.fc40 ocaml-psmt2-frontend(x86-64) = 0.4.0-16.fc40 ocaml-psmt2-frontend-doc = 0.4.0-16.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) 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(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 rtld(GNU_HASH) Obsoletes: ocaml-psmt2-frontend-doc < 0.4.0-5 Processing files: ocaml-psmt2-frontend-devel-0.4.0-16.fc40.x86_64 Provides: ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Main) = 0d9f29df6383ad1fb4ff1e5e3655c5ae ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58 ocaml(Psmt2Frontend__Version) = 2ebc1d4f86943710cb645be32095df8f ocaml-psmt2-frontend-devel = 0.4.0-16.fc40 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-16.fc40 ocamlx(Psmt2Frontend) = 78ad6c30226c9c910afb2436254724fd ocamlx(Psmt2Frontend__Main) = bf35efada4a46b5e368c2aa712fe7720 ocamlx(Psmt2Frontend__Options) = 1b068a429c240f4eb80d756499fd530b ocamlx(Psmt2Frontend__Smtlib_error) = 36885ba8ec470cf1333b928ade8aab3c ocamlx(Psmt2Frontend__Smtlib_lexer) = d2707713e4219e7890b135e98d358bf0 ocamlx(Psmt2Frontend__Smtlib_parser) = f7c47a8529da9da0fa86eddd6e93dd79 ocamlx(Psmt2Frontend__Smtlib_printer) = 3fc7f77eeb35497d338860c1f75cea75 ocamlx(Psmt2Frontend__Smtlib_syntax) = f3e1adacfc745e5c3419b36cf1644a18 ocamlx(Psmt2Frontend__Smtlib_ty) = aa3554c5bc62588fba00bd327d8ad03e ocamlx(Psmt2Frontend__Smtlib_typed_env) = 5c87f7bae66cf4a4b0e25d5f9df99b80 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = bf8d1c7e7a8de2c413ced68a82eb67a8 ocamlx(Psmt2Frontend__Smtlib_typing) = aa43cc69f66b83824fb194d62876a0a3 ocamlx(Psmt2Frontend__Version) = 0bac6926961186f9dffe726fd08c13a6 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocamlx(CamlinternalFormat) = 9d470f991601949a380e04431d7ee398 ocamlx(Psmt2Frontend__Options) = 1b068a429c240f4eb80d756499fd530b ocamlx(Psmt2Frontend__Smtlib_error) = 36885ba8ec470cf1333b928ade8aab3c ocamlx(Psmt2Frontend__Smtlib_printer) = 3fc7f77eeb35497d338860c1f75cea75 ocamlx(Psmt2Frontend__Smtlib_ty) = aa3554c5bc62588fba00bd327d8ad03e ocamlx(Psmt2Frontend__Smtlib_typed_env) = 5c87f7bae66cf4a4b0e25d5f9df99b80 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = bf8d1c7e7a8de2c413ced68a82eb67a8 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Bytes) = 8a20487ede72fa541d2dea62a11db1db ocamlx(Stdlib__Domain) = 7a0abbcd27898319a82074908fc1d331 ocamlx(Stdlib__Format) = e7982b22ebdf0d5591e0c84f5ff83ef7 ocamlx(Stdlib__Hashtbl) = 31148fabfc311be22cdd56e13064662f ocamlx(Stdlib__Lexing) = 205a58326f15a36b4e1f758ba16830f3 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = 6a432a9badf64b8d816560c375e03ca5 ocamlx(Stdlib__Printf) = 89dce70eca8780b2d11481e9442428bd ocamlx(Stdlib__Random) = 1787cbab60c5a2a5d1b5c104c91d1d9c ocamlx(Stdlib__Stack) = 3d1e79dff1f7315240aaba59414923ef ocamlx(Stdlib__String) = 57e865fd3d05e7b92624adc49c6e89c1 Processing files: ocaml-psmt2-frontend-docs-0.4.0-16.fc40.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.V9Iz1O + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/docs/sphinx /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml-psmt2-frontend-docs = 0.4.0-16.fc40 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-16.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-psmt2-frontend-debugsource-0.4.0-16.fc40.x86_64 Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-16.fc40 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-16.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-psmt2-frontend-debuginfo-0.4.0-16.fc40.x86_64 Provides: debuginfo(build-id) = 06173fb22c74beb3ba080bd9a7085acf76fdaba7 debuginfo(build-id) = d8f0464f0f791e0ae0274cf9372cf1bf0dbda6a2 ocaml-psmt2-frontend-debuginfo = 0.4.0-16.fc40 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-16.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-16.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-16.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-16.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-16.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-16.fc40.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.hUJlU7 + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-16.fc40.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.7F9pYz + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/psmt2-frontend-0.4.0-SPECPARTS + rm -rf psmt2-frontend-0.4.0 psmt2-frontend-0.4.0.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm Finish: build phase for ocaml-psmt2-frontend-0.4.0-16.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-1736340069.087051/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names INFO: Done(/var/lib/copr-rpmbuild/results/ocaml-psmt2-frontend-0.4.0-16.fc40.src.rpm) Config(child) 0 minutes 11 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 RPMResults tool Package info: { "packages": [ { "name": "ocaml-psmt2-frontend-devel", "epoch": null, "version": "0.4.0", "release": "16.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "16.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-debugsource", "epoch": null, "version": "0.4.0", "release": "16.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-docs", "epoch": null, "version": "0.4.0", "release": "16.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-debuginfo", "epoch": null, "version": "0.4.0", "release": "16.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "16.fc40", "arch": "src" } ] } RPMResults finished