Warning: Permanently added '54.90.240.249' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/10003177-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 Version: 1.6 PID: 12561 Logging PID: 12563 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'build_id': 10003177, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': 'dd3672d8a609aff0668bad14a0e61e27396122f5', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/@python/python-sphinx_rtd_theme_rawhide/ocaml-psmt2-frontend', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'ocaml-psmt2-frontend', 'package_version': '0.4.0-27', 'project_dirname': 'python-sphinx_rtd_theme_rawhide', 'project_name': 'python-sphinx_rtd_theme_rawhide', 'project_owner': '@python', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/@python/python-sphinx_rtd_theme_rawhide/fedora-rawhide-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': '@python/python-sphinx_rtd_theme_rawhide--lbalhar', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'storage': 0, 'submitter': 'lbalhar', 'tags': [], 'task_id': '10003177-fedora-rawhide-x86_64', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/@python/python-sphinx_rtd_theme_rawhide/ocaml-psmt2-frontend /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/@python/python-sphinx_rtd_theme_rawhide/ocaml-psmt2-frontend', '/var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend'... Running: git checkout dd3672d8a609aff0668bad14a0e61e27396122f5 -- cmd: ['git', 'checkout', 'dd3672d8a609aff0668bad14a0e61e27396122f5', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend rc: 0 stdout: stderr: Note: switching to 'dd3672d8a609aff0668bad14a0e61e27396122f5'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at dd3672d automatic import of ocaml-psmt2-frontend Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading psmt2-frontend-0.4.0.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o psmt2-frontend-0.4.0.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/@python/python-sphinx_rtd_theme_rawhide/ocaml-psmt2-frontend/psmt2-frontend-0.4.0.tar.gz/md5/4fc9f9a68343b4614f120c1556bee644/psmt2-frontend-0.4.0.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 70801 100 70801 0 0 4365k 0 --:--:-- --:--:-- --:--:-- 4609k INFO: Reading stdout from command: md5sum psmt2-frontend-0.4.0.tar.gz tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1768296611.724995 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 6.6 starting (python version = 3.13.7, NVR = mock-6.6-1.fc42), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-i4v8iv6g/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1768296611.724995 -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-i4v8iv6g/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(fedora-rawhide-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 6.6 INFO: Mock Version: 6.6 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1768296611.724995/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:rawhide INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide INFO: Tagging container image as mock-bootstrap-2435de24-3d67-4944-8f93-52499a7b786d INFO: Checking that 496629bfd5bf6fb22d05b86e2a6c22e2b324e0cf9f8e611ba81407bce5e992c0 image matches host's architecture INFO: Copy content of container 496629bfd5bf6fb22d05b86e2a6c22e2b324e0cf9f8e611ba81407bce5e992c0 to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1768296611.724995/root INFO: mounting 496629bfd5bf6fb22d05b86e2a6c22e2b324e0cf9f8e611ba81407bce5e992c0 with podman image mount INFO: image 496629bfd5bf6fb22d05b86e2a6c22e2b324e0cf9f8e611ba81407bce5e992c0 as /var/lib/containers/storage/overlay/9074c528a7423d21f8ec79f114e1a45ede490c331df834d9b596d3256fdbf246/merged INFO: umounting image 496629bfd5bf6fb22d05b86e2a6c22e2b324e0cf9f8e611ba81407bce5e992c0 (/var/lib/containers/storage/overlay/9074c528a7423d21f8ec79f114e1a45ede490c331df834d9b596d3256fdbf246/merged) with podman image umount INFO: Removing image mock-bootstrap-2435de24-3d67-4944-8f93-52499a7b786d INFO: Package manager dnf5 detected and used (fallback) INFO: Not updating bootstrap chroot, bootstrap_image_ready=True Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1768296611.724995/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-6.0.1-1.fc44.x86_64 rpm-sequoia-1.10.0-1.fc44.x86_64 dnf5-5.3.0.0-4.fc44.x86_64 dnf5-plugins-5.3.0.0-4.fc44.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: Copr repository 100% | 52.5 KiB/s | 1.5 KiB | 00m00s fedora 100% | 230.0 KiB/s | 26.2 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 0:5.3.9-1.fc44 fedora 8.4 MiB bzip2 x86_64 0:1.0.8-21.fc43 fedora 95.3 KiB coreutils x86_64 0:9.9-1.fc44 fedora 5.4 MiB cpio x86_64 0:2.15-6.fc43 fedora 1.1 MiB diffutils x86_64 0:3.12-3.fc43 fedora 1.6 MiB fedora-release-common noarch 0:44-0.10 fedora 20.6 KiB findutils x86_64 1:4.10.0-6.fc43 fedora 1.8 MiB gawk x86_64 0:5.3.2-2.fc43 fedora 1.8 MiB glibc-minimal-langpack x86_64 0:2.42.9000-21.fc44 fedora 0.0 B grep x86_64 0:3.12-2.fc43 fedora 1.0 MiB gzip x86_64 0:1.14-1.fc44 fedora 397.8 KiB info x86_64 0:7.2-7.fc44 fedora 357.9 KiB patch x86_64 0:2.8-3.fc44 fedora 226.6 KiB redhat-rpm-config noarch 0:343-19.fc44 fedora 183.6 KiB rpm-build x86_64 0:6.0.1-1.fc44 fedora 287.5 KiB sed x86_64 0:4.9-6.fc44 fedora 857.3 KiB shadow-utils x86_64 2:4.18.0-7.fc44 fedora 3.9 MiB tar x86_64 2:1.35-6.fc43 fedora 2.9 MiB unzip x86_64 0:6.0-68.fc44 fedora 390.3 KiB util-linux x86_64 0:2.41.3-11.fc44 fedora 3.5 MiB which x86_64 0:2.23-3.fc43 fedora 83.5 KiB xz x86_64 1:5.8.2-1.fc44 fedora 1.3 MiB Installing dependencies: R-srpm-macros noarch 0:1.3.4-1.fc44 fedora 3.4 KiB add-determinism x86_64 0:0.7.2-2.fc44 fedora 2.3 MiB alternatives x86_64 0:1.33-3.fc44 fedora 62.2 KiB ansible-srpm-macros noarch 0:1-18.1.fc43 fedora 35.7 KiB audit-libs x86_64 0:4.1.2-2.fc44 fedora 378.8 KiB binutils x86_64 0:2.45.50-9.fc44 fedora 27.0 MiB build-reproducibility-srpm-macros noarch 0:0.7.2-2.fc44 fedora 1.2 KiB bzip2-libs x86_64 0:1.0.8-21.fc43 fedora 80.6 KiB ca-certificates noarch 0:2025.2.80_v9.0.304-2.fc44 fedora 2.7 MiB cmake-srpm-macros noarch 0:3.31.10-3.fc44 fedora 524.0 B coreutils-common x86_64 0:9.9-1.fc44 fedora 11.2 MiB crypto-policies noarch 0:20251128-1.git19878fe.fc44 fedora 132.6 KiB curl x86_64 0:8.18.0-1.fc44 fedora 480.0 KiB cyrus-sasl-lib x86_64 0:2.1.28-33.fc44 fedora 2.3 MiB debugedit x86_64 0:5.2-3.fc44 fedora 214.0 KiB dwz x86_64 0:0.16-2.fc43 fedora 287.1 KiB ed x86_64 0:1.22.4-1.fc44 fedora 149.2 KiB efi-srpm-macros noarch 0:6-5.fc44 fedora 40.2 KiB elfutils x86_64 0:0.194-2.fc44 fedora 2.9 MiB elfutils-debuginfod-client x86_64 0:0.194-2.fc44 fedora 84.0 KiB elfutils-default-yama-scope noarch 0:0.194-2.fc44 fedora 1.8 KiB elfutils-libelf x86_64 0:0.194-2.fc44 fedora 1.1 MiB elfutils-libs x86_64 0:0.194-2.fc44 fedora 687.5 KiB fedora-gpg-keys noarch 0:44-0.1 fedora 131.2 KiB fedora-release noarch 0:44-0.10 fedora 0.0 B fedora-release-identity-basic noarch 0:44-0.10 fedora 664.0 B fedora-repos noarch 0:44-0.1 fedora 4.9 KiB fedora-repos-rawhide noarch 0:44-0.1 fedora 2.2 KiB file x86_64 0:5.46-8.fc44 fedora 100.2 KiB file-libs x86_64 0:5.46-8.fc44 fedora 11.9 MiB filesystem x86_64 0:3.18-50.fc43 fedora 112.0 B filesystem-srpm-macros noarch 0:3.18-50.fc43 fedora 38.2 KiB fonts-srpm-macros noarch 1:5.0.0-1.fc44 fedora 55.8 KiB forge-srpm-macros noarch 0:0.4.0-3.fc43 fedora 38.9 KiB fpc-srpm-macros noarch 0:1.3-15.fc43 fedora 144.0 B gap-srpm-macros noarch 0:2-1.fc44 fedora 2.1 KiB gdb-minimal x86_64 0:17.1-1.fc44 fedora 14.3 MiB gdbm-libs x86_64 1:1.23-10.fc43 fedora 129.9 KiB ghc-srpm-macros noarch 0:1.9.2-3.fc43 fedora 779.0 B glibc x86_64 0:2.42.9000-21.fc44 fedora 6.9 MiB glibc-common x86_64 0:2.42.9000-21.fc44 fedora 1.0 MiB glibc-gconv-extra x86_64 0:2.42.9000-21.fc44 fedora 7.4 MiB gmp x86_64 1:6.3.0-4.fc44 fedora 815.3 KiB gnat-srpm-macros noarch 0:7-1.fc44 fedora 1.0 KiB gnulib-l10n noarch 0:20241231-1.fc44 fedora 655.0 KiB gnupg2 x86_64 0:2.4.9-1.fc44 fedora 6.5 MiB gnupg2-dirmngr x86_64 0:2.4.9-1.fc44 fedora 618.0 KiB gnupg2-gpg-agent x86_64 0:2.4.9-1.fc44 fedora 670.7 KiB gnupg2-gpgconf x86_64 0:2.4.9-1.fc44 fedora 249.7 KiB gnupg2-keyboxd x86_64 0:2.4.9-1.fc44 fedora 201.2 KiB gnupg2-verify x86_64 0:2.4.9-1.fc44 fedora 348.3 KiB gnutls x86_64 0:3.8.11-6.fc44 fedora 3.6 MiB go-srpm-macros noarch 0:3.8.0-1.fc44 fedora 61.9 KiB gpgverify noarch 0:2.2-3.fc43 fedora 8.7 KiB ima-evm-utils-libs x86_64 0:1.6.2-7.fc44 fedora 60.7 KiB jansson x86_64 0:2.14-3.fc43 fedora 89.1 KiB java-srpm-macros noarch 0:1-7.fc43 fedora 870.0 B json-c x86_64 0:0.18-7.fc43 fedora 82.7 KiB kernel-srpm-macros noarch 0:1.0-27.fc43 fedora 1.9 KiB keyutils-libs x86_64 0:1.6.3-6.fc43 fedora 54.3 KiB krb5-libs x86_64 0:1.21.3-11.fc44 fedora 2.3 MiB libacl x86_64 0:2.3.2-4.fc43 fedora 35.9 KiB libarchive x86_64 0:3.8.4-1.fc44 fedora 955.3 KiB libassuan x86_64 0:2.5.7-4.fc43 fedora 163.8 KiB libatomic x86_64 0:16.0.0-0.4.fc44 fedora 45.2 KiB libattr x86_64 0:2.5.2-6.fc43 fedora 24.4 KiB libblkid x86_64 0:2.41.3-11.fc44 fedora 274.3 KiB libbrotli x86_64 0:1.2.0-1.fc44 fedora 865.4 KiB libcap x86_64 0:2.77-1.fc44 fedora 209.1 KiB libcap-ng x86_64 0:0.9-2.fc44 fedora 68.7 KiB libcom_err x86_64 0:1.47.3-3.fc44 fedora 63.1 KiB libcurl x86_64 0:8.18.0-1.fc44 fedora 1.0 MiB libeconf x86_64 0:0.7.9-2.fc43 fedora 64.9 KiB libevent x86_64 0:2.1.12-16.fc43 fedora 883.1 KiB libfdisk x86_64 0:2.41.3-11.fc44 fedora 388.3 KiB libffi x86_64 0:3.5.2-1.fc44 fedora 83.8 KiB libfsverity x86_64 0:1.6-3.fc43 fedora 28.5 KiB libgcc x86_64 0:16.0.0-0.4.fc44 fedora 270.7 KiB libgcrypt x86_64 0:1.11.2-1.fc44 fedora 1.6 MiB libgomp x86_64 0:16.0.0-0.4.fc44 fedora 571.0 KiB libgpg-error x86_64 0:1.58-1.fc44 fedora 941.6 KiB libidn2 x86_64 0:2.3.8-2.fc43 fedora 552.5 KiB libksba x86_64 0:1.6.7-4.fc43 fedora 398.5 KiB liblastlog2 x86_64 0:2.41.3-11.fc44 fedora 37.6 KiB libmount x86_64 0:2.41.3-11.fc44 fedora 388.6 KiB libnghttp2 x86_64 0:1.68.0-2.fc44 fedora 162.2 KiB libnghttp3 x86_64 0:1.14.0-1.fc44 fedora 155.2 KiB libpkgconf x86_64 0:2.3.0-3.fc43 fedora 78.1 KiB libpsl x86_64 0:0.21.5-6.fc43 fedora 76.4 KiB libselinux x86_64 0:3.9-6.fc44 fedora 201.0 KiB libselinux-utils x86_64 0:3.9-6.fc44 fedora 305.7 KiB libsemanage x86_64 0:3.9-4.fc44 fedora 308.5 KiB libsepol x86_64 0:3.9-2.fc43 fedora 822.0 KiB libsmartcols x86_64 0:2.41.3-11.fc44 fedora 188.3 KiB libssh x86_64 0:0.11.3-1.fc44 fedora 567.1 KiB libssh-config noarch 0:0.11.3-1.fc44 fedora 277.0 B libstdc++ x86_64 0:16.0.0-0.4.fc44 fedora 2.9 MiB libtasn1 x86_64 0:4.20.0-2.fc43 fedora 176.3 KiB libtool-ltdl x86_64 0:2.5.4-9.fc44 fedora 70.0 KiB libunistring x86_64 0:1.1-10.fc43 fedora 1.7 MiB libusb1 x86_64 0:1.0.29-4.fc44 fedora 171.3 KiB libuuid x86_64 0:2.41.3-11.fc44 fedora 37.2 KiB libverto x86_64 0:0.3.2-11.fc43 fedora 25.4 KiB libxcrypt x86_64 0:4.5.2-2.fc44 fedora 285.3 KiB libxml2 x86_64 0:2.12.10-5.fc44 fedora 1.7 MiB libzstd x86_64 0:1.5.7-3.fc44 fedora 940.3 KiB linkdupes x86_64 0:0.7.2-2.fc44 fedora 838.7 KiB lua-libs x86_64 0:5.4.8-4.fc44 fedora 281.9 KiB lua-srpm-macros noarch 0:1-16.fc43 fedora 1.3 KiB lz4-libs x86_64 0:1.10.0-3.fc43 fedora 161.4 KiB mpfr x86_64 0:4.2.2-2.fc43 fedora 832.8 KiB ncurses-base noarch 0:6.5-8.20250614.fc44 fedora 328.1 KiB ncurses-libs x86_64 0:6.5-8.20250614.fc44 fedora 946.4 KiB nettle x86_64 0:3.10.1-2.fc43 fedora 790.6 KiB ngtcp2 x86_64 0:1.19.0-1.fc44 fedora 330.2 KiB ngtcp2-crypto-ossl x86_64 0:1.19.0-1.fc44 fedora 51.6 KiB npth x86_64 0:1.8-3.fc43 fedora 49.6 KiB ocaml-srpm-macros noarch 0:11-2.fc43 fedora 1.9 KiB openblas-srpm-macros noarch 0:2-20.fc43 fedora 112.0 B openldap x86_64 0:2.6.10-5.fc44 fedora 671.5 KiB openssl-libs x86_64 1:3.5.4-1.fc44 fedora 8.9 MiB p11-kit x86_64 0:0.25.8-1.fc44 fedora 2.3 MiB p11-kit-trust x86_64 0:0.25.8-1.fc44 fedora 446.5 KiB package-notes-srpm-macros noarch 0:0.5-14.fc43 fedora 1.6 KiB pam-libs x86_64 0:1.7.1-4.fc44 fedora 130.5 KiB pcre2 x86_64 0:10.47-1.fc44 fedora 702.6 KiB pcre2-syntax noarch 0:10.47-1.fc44 fedora 281.9 KiB perl-srpm-macros noarch 0:1-60.fc43 fedora 861.0 B pkgconf x86_64 0:2.3.0-3.fc43 fedora 88.5 KiB pkgconf-m4 noarch 0:2.3.0-3.fc43 fedora 14.4 KiB pkgconf-pkg-config x86_64 0:2.3.0-3.fc43 fedora 989.0 B policycoreutils x86_64 0:3.9-5.fc44 fedora 683.5 KiB popt x86_64 0:1.19-9.fc43 fedora 132.8 KiB publicsuffix-list-dafsa noarch 0:20250616-2.fc43 fedora 69.1 KiB pyproject-srpm-macros noarch 0:1.18.6-1.fc44 fedora 1.9 KiB python-srpm-macros noarch 0:3.14-9.fc44 fedora 51.6 KiB qt5-srpm-macros noarch 0:5.15.18-1.fc44 fedora 500.0 B qt6-srpm-macros noarch 0:6.10.1-1.fc44 fedora 464.0 B readline x86_64 0:8.3-3.fc44 fedora 511.5 KiB rpm x86_64 0:6.0.1-1.fc44 fedora 3.1 MiB rpm-build-libs x86_64 0:6.0.1-1.fc44 fedora 264.4 KiB rpm-libs x86_64 0:6.0.1-1.fc44 fedora 933.8 KiB rpm-plugin-selinux x86_64 0:6.0.1-1.fc44 fedora 12.0 KiB rpm-sequoia x86_64 0:1.10.0-1.fc44 fedora 2.5 MiB rpm-sign-libs x86_64 0:6.0.1-1.fc44 fedora 39.7 KiB rust-srpm-macros noarch 0:28.4-1.fc44 fedora 5.5 KiB selinux-policy noarch 0:42.21-1.fc44 fedora 32.0 KiB selinux-policy-targeted noarch 0:42.21-1.fc44 fedora 18.4 MiB setup noarch 0:2.15.0-27.fc44 fedora 724.9 KiB sqlite-libs x86_64 0:3.51.0-1.fc44 fedora 1.5 MiB systemd-libs x86_64 0:259-1.fc44 fedora 2.3 MiB systemd-standalone-sysusers x86_64 0:259-1.fc44 fedora 293.5 KiB tpm2-tss x86_64 0:4.1.3-8.fc43 fedora 1.6 MiB tree-sitter-srpm-macros noarch 0:0.4.2-1.fc43 fedora 8.3 KiB util-linux-core x86_64 0:2.41.3-11.fc44 fedora 1.5 MiB xxhash-libs x86_64 0:0.8.3-3.fc43 fedora 90.2 KiB xz-libs x86_64 1:5.8.2-1.fc44 fedora 217.7 KiB zig-srpm-macros noarch 0:1-7.fc44 fedora 1.3 KiB zip x86_64 0:3.0-44.fc43 fedora 694.5 KiB zlib-ng-compat x86_64 0:2.3.2-2.fc44 fedora 161.5 KiB zstd x86_64 0:1.5.7-3.fc44 fedora 506.2 KiB Installing groups: Buildsystem building group Transaction Summary: Installing: 183 packages Total size of inbound packages is 68 MiB. Need to download 0 B. After this operation, 221 MiB extra will be used (install 221 MiB, remove 0 B). [ 1/183] tar-2:1.35-6.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 2/183] bzip2-0:1.0.8-21.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 3/183] redhat-rpm-config-0:343-19.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 4/183] rpm-build-0:6.0.1-1.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/183] unzip-0:6.0-68.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/183] cpio-0:2.15-6.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/183] which-0:2.23-3.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/183] bash-0:5.3.9-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/183] coreutils-0:9.9-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 10/183] grep-0:3.12-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 11/183] patch-0:2.8-3.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 12/183] sed-0:4.9-6.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 13/183] shadow-utils-2:4.18.0-7.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 14/183] diffutils-0:3.12-3.fc43.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 15/183] fedora-release-common-0:44-0. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 16/183] findutils-1:4.10.0-6.fc43.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 17/183] glibc-minimal-langpack-0:2.42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 18/183] gzip-0:1.14-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 19/183] info-0:7.2-7.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 20/183] xz-1:5.8.2-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 21/183] util-linux-0:2.41.3-11.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 22/183] gawk-0:5.3.2-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 23/183] glibc-0:2.42.9000-21.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 24/183] libacl-0:2.3.2-4.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 25/183] libselinux-0:3.9-6.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 26/183] bzip2-libs-0:1.0.8-21.fc43.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 27/183] R-srpm-macros-0:1.3.4-1.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 28/183] ansible-srpm-macros-0:1-18.1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 29/183] build-reproducibility-srpm-ma 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 30/183] cmake-srpm-macros-0:3.31.10-3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 31/183] dwz-0:0.16-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 32/183] efi-srpm-macros-0:6-5.fc44.no 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 33/183] file-0:5.46-8.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 34/183] filesystem-srpm-macros-0:3.18 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 35/183] fonts-srpm-macros-1:5.0.0-1.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 36/183] forge-srpm-macros-0:0.4.0-3.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 37/183] fpc-srpm-macros-0:1.3-15.fc43 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 38/183] gap-srpm-macros-0:2-1.fc44.no 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 39/183] ghc-srpm-macros-0:1.9.2-3.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 40/183] gnat-srpm-macros-0:7-1.fc44.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 41/183] go-srpm-macros-0:3.8.0-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 42/183] java-srpm-macros-0:1-7.fc43.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 43/183] kernel-srpm-macros-0:1.0-27.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 44/183] lua-srpm-macros-0:1-16.fc43.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 45/183] ocaml-srpm-macros-0:11-2.fc43 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 46/183] openblas-srpm-macros-0:2-20.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 47/183] package-notes-srpm-macros-0:0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 48/183] perl-srpm-macros-0:1-60.fc43. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 49/183] pyproject-srpm-macros-0:1.18. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 50/183] python-srpm-macros-0:3.14-9.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 51/183] qt5-srpm-macros-0:5.15.18-1.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 52/183] qt6-srpm-macros-0:6.10.1-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 53/183] rpm-0:6.0.1-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 54/183] rust-srpm-macros-0:28.4-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 55/183] tree-sitter-srpm-macros-0:0.4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 56/183] zig-srpm-macros-0:1-7.fc44.no 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 57/183] zip-0:3.0-44.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 58/183] debugedit-0:5.2-3.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 59/183] elfutils-0:0.194-2.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 60/183] elfutils-libelf-0:0.194-2.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 61/183] libarchive-0:3.8.4-1.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 62/183] libgcc-0:16.0.0-0.4.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 63/183] libstdc++-0:16.0.0-0.4.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 64/183] popt-0:1.19-9.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 65/183] readline-0:8.3-3.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 66/183] rpm-build-libs-0:6.0.1-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 67/183] rpm-libs-0:6.0.1-1.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 68/183] zstd-0:1.5.7-3.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 69/183] filesystem-0:3.18-50.fc43.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 70/183] ncurses-libs-0:6.5-8.20250614 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 71/183] coreutils-common-0:9.9-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 72/183] gmp-1:6.3.0-4.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 73/183] libattr-0:2.5.2-6.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 74/183] libcap-0:2.77-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 75/183] openssl-libs-1:3.5.4-1.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 76/183] systemd-libs-0:259-1.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 77/183] pcre2-0:10.47-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 78/183] ed-0:1.22.4-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 79/183] audit-libs-0:4.1.2-2.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 80/183] libeconf-0:0.7.9-2.fc43.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 81/183] libsemanage-0:3.9-4.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 82/183] libxcrypt-0:4.5.2-2.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 83/183] pam-libs-0:1.7.1-4.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 84/183] setup-0:2.15.0-27.fc44.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 85/183] fedora-repos-0:44-0.1.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 86/183] glibc-common-0:2.42.9000-21.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 87/183] xz-libs-1:5.8.2-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 88/183] libblkid-0:2.41.3-11.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 89/183] libcap-ng-0:0.9-2.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 90/183] libfdisk-0:2.41.3-11.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 91/183] liblastlog2-0:2.41.3-11.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 92/183] libmount-0:2.41.3-11.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 93/183] libsmartcols-0:2.41.3-11.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 94/183] libuuid-0:2.41.3-11.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 95/183] util-linux-core-0:2.41.3-11.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 96/183] zlib-ng-compat-0:2.3.2-2.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 97/183] mpfr-0:4.2.2-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 98/183] glibc-gconv-extra-0:2.42.9000 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 99/183] libsepol-0:3.9-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [100/183] add-determinism-0:0.7.2-2.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [101/183] linkdupes-0:0.7.2-2.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [102/183] file-libs-0:5.46-8.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [103/183] curl-0:8.18.0-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [104/183] elfutils-libs-0:0.194-2.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [105/183] elfutils-debuginfod-client-0: 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [106/183] libzstd-0:1.5.7-3.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [107/183] libxml2-0:2.12.10-5.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [108/183] lz4-libs-0:1.10.0-3.fc43.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [109/183] libatomic-0:16.0.0-0.4.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [110/183] libgomp-0:16.0.0-0.4.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [111/183] lua-libs-0:5.4.8-4.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [112/183] rpm-sign-libs-0:6.0.1-1.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [113/183] rpm-sequoia-0:1.10.0-1.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [114/183] sqlite-libs-0:3.51.0-1.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [115/183] ncurses-base-0:6.5-8.20250614 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [116/183] gnulib-l10n-0:20241231-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [117/183] ca-certificates-0:2025.2.80_v 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [118/183] crypto-policies-0:20251128-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [119/183] pcre2-syntax-0:10.47-1.fc44.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [120/183] fedora-gpg-keys-0:44-0.1.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [121/183] fedora-repos-rawhide-0:44-0.1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [122/183] elfutils-default-yama-scope-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [123/183] json-c-0:0.18-7.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [124/183] gnupg2-0:2.4.9-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [125/183] ima-evm-utils-libs-0:1.6.2-7. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [126/183] libfsverity-0:1.6-3.fc43.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [127/183] gpgverify-0:2.2-3.fc43.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [128/183] gnupg2-dirmngr-0:2.4.9-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [129/183] gnupg2-gpg-agent-0:2.4.9-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [130/183] gnupg2-gpgconf-0:2.4.9-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [131/183] gnupg2-keyboxd-0:2.4.9-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [132/183] gnupg2-verify-0:2.4.9-1.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [133/183] libassuan-0:2.5.7-4.fc43.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [134/183] libgcrypt-0:1.11.2-1.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [135/183] libgpg-error-0:1.58-1.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [136/183] npth-0:1.8-3.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [137/183] tpm2-tss-0:4.1.3-8.fc43.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [138/183] gnutls-0:3.8.11-6.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [139/183] libksba-0:1.6.7-4.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [140/183] openldap-0:2.6.10-5.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [141/183] libusb1-0:1.0.29-4.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [142/183] libidn2-0:2.3.8-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [143/183] libtasn1-0:4.20.0-2.fc43.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [144/183] libunistring-0:1.1-10.fc43.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [145/183] nettle-0:3.10.1-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [146/183] p11-kit-0:0.25.8-1.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [147/183] cyrus-sasl-lib-0:2.1.28-33.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [148/183] libevent-0:2.1.12-16.fc43.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [149/183] libtool-ltdl-0:2.5.4-9.fc44.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [150/183] libffi-0:3.5.2-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [151/183] gdbm-libs-1:1.23-10.fc43.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [152/183] binutils-0:2.45.50-9.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [153/183] alternatives-0:1.33-3.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [154/183] jansson-0:2.14-3.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [155/183] pkgconf-pkg-config-0:2.3.0-3. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [156/183] pkgconf-0:2.3.0-3.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [157/183] pkgconf-m4-0:2.3.0-3.fc43.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [158/183] libpkgconf-0:2.3.0-3.fc43.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [159/183] p11-kit-trust-0:0.25.8-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [160/183] fedora-release-0:44-0.10.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [161/183] systemd-standalone-sysusers-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [162/183] gdb-minimal-0:17.1-1.fc44.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [163/183] xxhash-libs-0:0.8.3-3.fc43.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [164/183] fedora-release-identity-basic 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [165/183] libcurl-0:8.18.0-1.fc44.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [166/183] krb5-libs-0:1.21.3-11.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [167/183] libbrotli-0:1.2.0-1.fc44.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [168/183] libnghttp2-0:1.68.0-2.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [169/183] libnghttp3-0:1.14.0-1.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [170/183] libpsl-0:0.21.5-6.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [171/183] libssh-0:0.11.3-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [172/183] ngtcp2-0:1.19.0-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [173/183] ngtcp2-crypto-ossl-0:1.19.0-1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [174/183] keyutils-libs-0:1.6.3-6.fc43. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [175/183] libcom_err-0:1.47.3-3.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [176/183] libverto-0:0.3.2-11.fc43.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [177/183] publicsuffix-list-dafsa-0:202 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [178/183] libssh-config-0:0.11.3-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [179/183] selinux-policy-targeted-0:42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [180/183] policycoreutils-0:3.9-5.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [181/183] selinux-policy-0:42.21-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [182/183] libselinux-utils-0:3.9-6.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [183/183] rpm-plugin-selinux-0:6.0.1-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [183/183] Total 100% | 0.0 B/s | 0.0 B | 00m00s Running transaction Importing OpenPGP key 0x6D9F90A6: UserID : "Fedora (44) " Fingerprint: 36F612DCF27F7D1A48A835E4DBFCF71C6D9F90A6 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-44-primary The key was successfully imported. Importing OpenPGP key 0x6D9F90A6: UserID : "Fedora (44) " Fingerprint: 36F612DCF27F7D1A48A835E4DBFCF71C6D9F90A6 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-44-primary The key was successfully imported. Importing OpenPGP key 0x31645531: UserID : "Fedora (43) " Fingerprint: C6E7F081CF80E13146676E88829B606631645531 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-43-primary The key was successfully imported. Importing OpenPGP key 0xF577861E: UserID : "Fedora (45) " Fingerprint: 4F50A6114CD5C6976A7F1179655A4B02F577861E From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-45-primary The key was successfully imported. [ 1/185] Verify package files 100% | 775.0 B/s | 183.0 B | 00m00s [ 2/185] Prepare transaction 100% | 3.8 KiB/s | 183.0 B | 00m00s [ 3/185] Installing libgcc-0:16.0.0-0. 100% | 266.0 MiB/s | 272.4 KiB | 00m00s [ 4/185] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 5/185] Installing publicsuffix-list- 100% | 0.0 B/s | 69.8 KiB | 00m00s [ 6/185] Installing fedora-release-ide 100% | 0.0 B/s | 920.0 B | 00m00s [ 7/185] Installing fedora-repos-rawhi 100% | 0.0 B/s | 2.4 KiB | 00m00s [ 8/185] Installing fedora-gpg-keys-0: 100% | 58.3 MiB/s | 179.0 KiB | 00m00s [ 9/185] Installing fedora-repos-0:44- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 10/185] Installing fedora-release-com 100% | 24.3 MiB/s | 24.9 KiB | 00m00s [ 11/185] Installing fedora-release-0:4 100% | 24.2 KiB/s | 124.0 B | 00m00s >>> Running sysusers scriptlet: setup-0:2.15.0-27.fc44.noarch >>> Finished sysusers scriptlet: setup-0:2.15.0-27.fc44.noarch >>> Scriptlet output: >>> Creating group 'adm' with GID 4. >>> Creating group 'audio' with GID 63. >>> Creating group 'cdrom' with GID 11. >>> Creating group 'clock' with GID 103. >>> Creating group 'dialout' with GID 18. >>> Creating group 'disk' with GID 6. >>> Creating group 'floppy' with GID 19. >>> Creating group 'ftp' with GID 50. >>> Creating group 'games' with GID 20. >>> Creating group 'input' with GID 104. >>> Creating group 'kmem' with GID 9. >>> Creating group 'kvm' with GID 36. >>> Creating group 'lock' with GID 54. >>> Creating group 'lp' with GID 7. >>> Creating group 'mail' with GID 12. >>> Creating group 'man' with GID 15. >>> Creating group 'mem' with GID 8. >>> Creating group 'nobody' with GID 65534. >>> Creating group 'render' with GID 105. >>> Creating group 'root' with GID 0. >>> Creating group 'sgx' with GID 106. >>> Creating group 'sys' with GID 3. >>> Creating group 'tape' with GID 33. >>> Creating group 'tty' with GID 5. >>> Creating group 'users' with GID 100. >>> Creating group 'utmp' with GID 22. >>> Creating group 'video' with GID 39. >>> Creating group 'wheel' with GID 10. >>> Creating user 'adm' (adm) with UID 3 and GID 4. >>> Creating group 'bin' with GID 1. >>> Creating user 'bin' (bin) with UID 1 and GID 1. >>> Creating group 'daemon' with GID 2. >>> Creating user 'daemon' (daemon) with UID 2 and GID 2. >>> Creating user 'ftp' (FTP User) with UID 14 and GID 50. >>> Creating user 'games' (games) with UID 12 and GID 100. >>> Creating user 'halt' (halt) with UID 7 and GID 0. >>> Creating user 'lp' (lp) with UID 4 and GID 7. >>> Creating user 'mail' (mail) with UID 8 and GID 12. >>> Creating user 'nobody' (Kernel Overflow User) with UID 65534 and GID 65534. >>> Creating user 'operator' (operator) with UID 11 and GID 0. >>> Creating user 'root' (Super User) with UID 0 and GID 0. >>> Creating user 'shutdown' (shutdown) with UID 6 and GID 0. >>> Creating user 'sync' (sync) with UID 5 and GID 0. >>> [ 12/185] Installing setup-0:2.15.0-27. 100% | 54.9 MiB/s | 730.6 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 13/185] Installing filesystem-0:3.18- 100% | 3.1 MiB/s | 212.8 KiB | 00m00s [ 14/185] Installing pkgconf-m4-0:2.3.0 100% | 0.0 B/s | 14.8 KiB | 00m00s [ 15/185] Installing pcre2-syntax-0:10. 100% | 277.7 MiB/s | 284.3 KiB | 00m00s [ 16/185] Installing gnulib-l10n-0:2024 100% | 215.5 MiB/s | 661.9 KiB | 00m00s [ 17/185] Installing coreutils-common-0 100% | 431.9 MiB/s | 11.2 MiB | 00m00s [ 18/185] Installing ncurses-base-0:6.5 100% | 86.3 MiB/s | 353.5 KiB | 00m00s [ 19/185] Installing bash-0:5.3.9-1.fc4 100% | 312.5 MiB/s | 8.4 MiB | 00m00s [ 20/185] Installing glibc-common-0:2.4 100% | 68.3 MiB/s | 1.0 MiB | 00m00s [ 21/185] Installing glibc-gconv-extra- 100% | 324.7 MiB/s | 7.5 MiB | 00m00s [ 22/185] Installing glibc-0:2.42.9000- 100% | 217.1 MiB/s | 6.9 MiB | 00m00s [ 23/185] Installing ncurses-libs-0:6.5 100% | 310.2 MiB/s | 953.0 KiB | 00m00s [ 24/185] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 25/185] Installing zlib-ng-compat-0:2 100% | 158.6 MiB/s | 162.4 KiB | 00m00s [ 26/185] Installing bzip2-libs-0:1.0.8 100% | 0.0 B/s | 81.7 KiB | 00m00s [ 27/185] Installing libgpg-error-0:1.5 100% | 71.2 MiB/s | 947.5 KiB | 00m00s [ 28/185] Installing libassuan-0:2.5.7- 100% | 161.7 MiB/s | 165.6 KiB | 00m00s [ 29/185] Installing libgcrypt-0:1.11.2 100% | 394.0 MiB/s | 1.6 MiB | 00m00s [ 30/185] Installing readline-0:8.3-3.f 100% | 250.8 MiB/s | 513.6 KiB | 00m00s [ 31/185] Installing gmp-1:6.3.0-4.fc44 100% | 399.2 MiB/s | 817.5 KiB | 00m00s [ 32/185] Installing xz-libs-1:5.8.2-1. 100% | 213.7 MiB/s | 218.8 KiB | 00m00s [ 33/185] Installing libuuid-0:2.41.3-1 100% | 0.0 B/s | 38.2 KiB | 00m00s [ 34/185] Installing popt-0:1.19-9.fc43 100% | 68.1 MiB/s | 139.4 KiB | 00m00s [ 35/185] Installing libzstd-0:1.5.7-3. 100% | 459.7 MiB/s | 941.6 KiB | 00m00s [ 36/185] Installing elfutils-libelf-0: 100% | 560.5 MiB/s | 1.1 MiB | 00m00s [ 37/185] Installing npth-0:1.8-3.fc43. 100% | 0.0 B/s | 50.7 KiB | 00m00s [ 38/185] Installing libblkid-0:2.41.3- 100% | 269.0 MiB/s | 275.4 KiB | 00m00s [ 39/185] Installing systemd-libs-0:259 100% | 390.0 MiB/s | 2.3 MiB | 00m00s [ 40/185] Installing libxcrypt-0:4.5.2- 100% | 281.3 MiB/s | 288.0 KiB | 00m00s [ 41/185] Installing libsepol-0:3.9-2.f 100% | 401.8 MiB/s | 822.9 KiB | 00m00s [ 42/185] Installing sqlite-libs-0:3.51 100% | 383.0 MiB/s | 1.5 MiB | 00m00s [ 43/185] Installing gnupg2-gpgconf-0:2 100% | 22.4 MiB/s | 251.8 KiB | 00m00s [ 44/185] Installing libattr-0:2.5.2-6. 100% | 0.0 B/s | 25.4 KiB | 00m00s [ 45/185] Installing libacl-0:2.3.2-4.f 100% | 0.0 B/s | 36.8 KiB | 00m00s [ 46/185] Installing pcre2-0:10.47-1.fc 100% | 343.8 MiB/s | 704.1 KiB | 00m00s [ 47/185] Installing libselinux-0:3.9-6 100% | 197.6 MiB/s | 202.3 KiB | 00m00s [ 48/185] Installing grep-0:3.12-2.fc43 100% | 71.6 MiB/s | 1.0 MiB | 00m00s [ 49/185] Installing sed-0:4.9-6.fc44.x 100% | 65.0 MiB/s | 865.5 KiB | 00m00s [ 50/185] Installing findutils-1:4.10.0 100% | 123.9 MiB/s | 1.9 MiB | 00m00s [ 51/185] Installing libtasn1-0:4.20.0- 100% | 173.9 MiB/s | 178.1 KiB | 00m00s [ 52/185] Installing libunistring-0:1.1 100% | 431.7 MiB/s | 1.7 MiB | 00m00s [ 53/185] Installing libidn2-0:2.3.8-2. 100% | 68.2 MiB/s | 558.7 KiB | 00m00s [ 54/185] Installing crypto-policies-0: 100% | 38.5 MiB/s | 157.7 KiB | 00m00s [ 55/185] Installing xz-1:5.8.2-1.fc44. 100% | 85.3 MiB/s | 1.4 MiB | 00m00s [ 56/185] Installing libmount-0:2.41.3- 100% | 380.4 MiB/s | 389.6 KiB | 00m00s [ 57/185] Installing gnupg2-verify-0:2. 100% | 31.0 MiB/s | 349.7 KiB | 00m00s [ 58/185] Installing dwz-0:0.16-2.fc43. 100% | 25.6 MiB/s | 288.5 KiB | 00m00s [ 59/185] Installing mpfr-0:4.2.2-2.fc4 100% | 407.4 MiB/s | 834.4 KiB | 00m00s [ 60/185] Installing gawk-0:5.3.2-2.fc4 100% | 113.5 MiB/s | 1.8 MiB | 00m00s [ 61/185] Installing libksba-0:1.6.7-4. 100% | 391.7 MiB/s | 401.1 KiB | 00m00s [ 62/185] Installing unzip-0:6.0-68.fc4 100% | 32.1 MiB/s | 393.8 KiB | 00m00s [ 63/185] Installing file-libs-0:5.46-8 100% | 741.1 MiB/s | 11.9 MiB | 00m00s [ 64/185] Installing file-0:5.46-8.fc44 100% | 9.0 MiB/s | 101.7 KiB | 00m00s [ 65/185] Installing diffutils-0:3.12-3 100% | 111.5 MiB/s | 1.6 MiB | 00m00s [ 66/185] Installing libeconf-0:0.7.9-2 100% | 65.0 MiB/s | 66.5 KiB | 00m00s [ 67/185] Installing libcap-ng-0:0.9-2. 100% | 0.0 B/s | 70.5 KiB | 00m00s [ 68/185] Installing audit-libs-0:4.1.2 100% | 372.6 MiB/s | 381.5 KiB | 00m00s [ 69/185] Installing pam-libs-0:1.7.1-4 100% | 129.4 MiB/s | 132.5 KiB | 00m00s [ 70/185] Installing libcap-0:2.77-1.fc 100% | 17.4 MiB/s | 214.3 KiB | 00m00s [ 71/185] Installing libsemanage-0:3.9- 100% | 303.0 MiB/s | 310.2 KiB | 00m00s [ 72/185] Installing libsmartcols-0:2.4 100% | 185.0 MiB/s | 189.5 KiB | 00m00s [ 73/185] Installing lua-libs-0:5.4.8-4 100% | 276.7 MiB/s | 283.3 KiB | 00m00s [ 74/185] Installing json-c-0:0.18-7.fc 100% | 82.0 MiB/s | 84.0 KiB | 00m00s [ 75/185] Installing libffi-0:3.5.2-1.f 100% | 83.2 MiB/s | 85.2 KiB | 00m00s [ 76/185] Installing p11-kit-0:0.25.8-1 100% | 134.7 MiB/s | 2.3 MiB | 00m00s [ 77/185] Installing alternatives-0:1.3 100% | 5.7 MiB/s | 63.8 KiB | 00m00s [ 78/185] Installing p11-kit-trust-0:0. 100% | 24.3 MiB/s | 448.3 KiB | 00m00s [ 79/185] Installing ngtcp2-0:1.19.0-1. 100% | 323.9 MiB/s | 331.7 KiB | 00m00s [ 80/185] Installing openssl-libs-1:3.5 100% | 424.3 MiB/s | 8.9 MiB | 00m00s [ 81/185] Installing coreutils-0:9.9-1. 100% | 189.2 MiB/s | 5.5 MiB | 00m00s [ 82/185] Installing ca-certificates-0: 100% | 2.3 MiB/s | 2.5 MiB | 00m01s [ 83/185] Installing gzip-0:1.14-1.fc44 100% | 30.3 MiB/s | 403.3 KiB | 00m00s [ 84/185] Installing rpm-sequoia-0:1.10 100% | 411.0 MiB/s | 2.5 MiB | 00m00s [ 85/185] Installing libfsverity-0:1.6- 100% | 0.0 B/s | 29.5 KiB | 00m00s [ 86/185] Installing libevent-0:2.1.12- 100% | 433.0 MiB/s | 886.8 KiB | 00m00s [ 87/185] Installing ngtcp2-crypto-ossl 100% | 51.2 MiB/s | 52.5 KiB | 00m00s [ 88/185] Installing util-linux-core-0: 100% | 92.7 MiB/s | 1.5 MiB | 00m00s [ 89/185] Installing zip-0:3.0-44.fc43. 100% | 56.8 MiB/s | 698.4 KiB | 00m00s [ 90/185] Installing gnupg2-keyboxd-0:2 100% | 39.6 MiB/s | 202.5 KiB | 00m00s [ 91/185] Installing libpsl-0:0.21.5-6. 100% | 75.7 MiB/s | 77.5 KiB | 00m00s [ 92/185] Installing tar-2:1.35-6.fc43. 100% | 164.3 MiB/s | 3.0 MiB | 00m00s [ 93/185] Installing linkdupes-0:0.7.2- 100% | 63.1 MiB/s | 840.1 KiB | 00m00s [ 94/185] Installing libselinux-utils-0 100% | 26.0 MiB/s | 320.1 KiB | 00m00s [ 95/185] Installing liblastlog2-0:2.41 100% | 9.7 MiB/s | 39.7 KiB | 00m00s [ 96/185] Installing systemd-standalone 100% | 23.9 MiB/s | 294.2 KiB | 00m00s [ 97/185] Installing libusb1-0:1.0.29-4 100% | 28.1 MiB/s | 172.9 KiB | 00m00s >>> Running sysusers scriptlet: tpm2-tss-0:4.1.3-8.fc43.x86_64 >>> Finished sysusers scriptlet: tpm2-tss-0:4.1.3-8.fc43.x86_64 >>> Scriptlet output: >>> Creating group 'tss' with GID 59. >>> Creating user 'tss' (Account used for TPM access) with UID 59 and GID 59. >>> [ 98/185] Installing tpm2-tss-0:4.1.3-8 100% | 314.4 MiB/s | 1.6 MiB | 00m00s [ 99/185] Installing ima-evm-utils-libs 100% | 60.5 MiB/s | 62.0 KiB | 00m00s [100/185] Installing gnupg2-gpg-agent-0 100% | 38.8 MiB/s | 674.6 KiB | 00m00s [101/185] Installing libfdisk-0:2.41.3- 100% | 190.1 MiB/s | 389.3 KiB | 00m00s [102/185] Installing util-linux-0:2.41. 100% | 119.3 MiB/s | 3.6 MiB | 00m00s [103/185] Installing policycoreutils-0: 100% | 33.1 MiB/s | 711.8 KiB | 00m00s [104/185] Installing selinux-policy-0:4 100% | 2.2 MiB/s | 33.6 KiB | 00m00s [105/185] Installing selinux-policy-tar 100% | 213.3 MiB/s | 14.7 MiB | 00m00s [106/185] Installing libxml2-0:2.12.10- 100% | 100.3 MiB/s | 1.7 MiB | 00m00s [107/185] Installing nettle-0:3.10.1-2. 100% | 387.5 MiB/s | 793.7 KiB | 00m00s [108/185] Installing gnutls-0:3.8.11-6. 100% | 405.4 MiB/s | 3.6 MiB | 00m00s [109/185] Installing bzip2-0:1.0.8-21.f 100% | 8.9 MiB/s | 99.8 KiB | 00m00s [110/185] Installing add-determinism-0: 100% | 144.1 MiB/s | 2.3 MiB | 00m00s [111/185] Installing build-reproducibil 100% | 0.0 B/s | 1.5 KiB | 00m00s [112/185] Installing cpio-0:2.15-6.fc43 100% | 78.5 MiB/s | 1.1 MiB | 00m00s [113/185] Installing ed-0:1.22.4-1.fc44 100% | 13.4 MiB/s | 151.4 KiB | 00m00s [114/185] Installing patch-0:2.8-3.fc44 100% | 20.3 MiB/s | 228.2 KiB | 00m00s [115/185] Installing lz4-libs-0:1.10.0- 100% | 158.6 MiB/s | 162.5 KiB | 00m00s [116/185] Installing libarchive-0:3.8.4 100% | 311.6 MiB/s | 957.2 KiB | 00m00s [117/185] Installing libatomic-0:16.0.0 100% | 0.0 B/s | 46.2 KiB | 00m00s [118/185] Installing libstdc++-0:16.0.0 100% | 416.9 MiB/s | 2.9 MiB | 00m00s [119/185] Installing rpm-libs-0:6.0.1-1 100% | 304.5 MiB/s | 935.3 KiB | 00m00s [120/185] Installing zstd-0:1.5.7-3.fc4 100% | 41.5 MiB/s | 509.8 KiB | 00m00s [121/185] Installing libgomp-0:16.0.0-0 100% | 559.0 MiB/s | 572.4 KiB | 00m00s [122/185] Installing libtool-ltdl-0:2.5 100% | 0.0 B/s | 71.1 KiB | 00m00s [123/185] Installing gdbm-libs-1:1.23-1 100% | 128.5 MiB/s | 131.6 KiB | 00m00s [124/185] Installing cyrus-sasl-lib-0:2 100% | 143.7 MiB/s | 2.3 MiB | 00m00s [125/185] Installing openldap-0:2.6.10- 100% | 329.7 MiB/s | 675.3 KiB | 00m00s [126/185] Installing gnupg2-dirmngr-0:2 100% | 33.7 MiB/s | 620.7 KiB | 00m00s [127/185] Installing gnupg2-0:2.4.9-1.f 100% | 249.3 MiB/s | 6.5 MiB | 00m00s [128/185] Installing rpm-sign-libs-0:6. 100% | 0.0 B/s | 40.6 KiB | 00m00s [129/185] Installing gpgverify-0:2.2-3. 100% | 0.0 B/s | 9.4 KiB | 00m00s [130/185] Installing jansson-0:2.14-3.f 100% | 88.3 MiB/s | 90.5 KiB | 00m00s [131/185] Installing libpkgconf-0:2.3.0 100% | 0.0 B/s | 79.2 KiB | 00m00s [132/185] Installing pkgconf-0:2.3.0-3. 100% | 8.1 MiB/s | 91.0 KiB | 00m00s [133/185] Installing pkgconf-pkg-config 100% | 177.3 KiB/s | 1.8 KiB | 00m00s [134/185] Installing xxhash-libs-0:0.8. 100% | 89.4 MiB/s | 91.6 KiB | 00m00s [135/185] Installing libbrotli-0:1.2.0- 100% | 282.4 MiB/s | 867.7 KiB | 00m00s [136/185] Installing libnghttp2-0:1.68. 100% | 159.5 MiB/s | 163.4 KiB | 00m00s [137/185] Installing libnghttp3-0:1.14. 100% | 152.9 MiB/s | 156.6 KiB | 00m00s [138/185] Installing keyutils-libs-0:1. 100% | 54.4 MiB/s | 55.7 KiB | 00m00s [139/185] Installing libcom_err-0:1.47. 100% | 0.0 B/s | 64.2 KiB | 00m00s [140/185] Installing libverto-0:0.3.2-1 100% | 26.6 MiB/s | 27.2 KiB | 00m00s [141/185] Installing krb5-libs-0:1.21.3 100% | 383.1 MiB/s | 2.3 MiB | 00m00s [142/185] Installing libssh-0:0.11.3-1. 100% | 277.9 MiB/s | 569.2 KiB | 00m00s [143/185] Installing libcurl-0:8.18.0-1 100% | 331.4 MiB/s | 1.0 MiB | 00m00s [144/185] Installing curl-0:8.18.0-1.fc 100% | 24.8 MiB/s | 482.6 KiB | 00m00s [145/185] Installing rpm-0:6.0.1-1.fc44 100% | 91.1 MiB/s | 2.6 MiB | 00m00s [146/185] Installing cmake-srpm-macros- 100% | 0.0 B/s | 804.0 B | 00m00s [147/185] Installing efi-srpm-macros-0: 100% | 0.0 B/s | 41.2 KiB | 00m00s [148/185] Installing java-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [149/185] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [150/185] Installing tree-sitter-srpm-m 100% | 0.0 B/s | 9.3 KiB | 00m00s [151/185] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [152/185] Installing filesystem-srpm-ma 100% | 0.0 B/s | 38.9 KiB | 00m00s [153/185] Installing elfutils-default-y 100% | 681.0 KiB/s | 2.0 KiB | 00m00s [154/185] Installing elfutils-libs-0:0. 100% | 224.4 MiB/s | 689.3 KiB | 00m00s [155/185] Installing elfutils-debuginfo 100% | 7.0 MiB/s | 86.3 KiB | 00m00s [156/185] Installing elfutils-0:0.194-2 100% | 162.8 MiB/s | 2.9 MiB | 00m00s [157/185] Installing binutils-0:2.45.50 100% | 375.9 MiB/s | 27.1 MiB | 00m00s [158/185] Installing gdb-minimal-0:17.1 100% | 325.7 MiB/s | 14.3 MiB | 00m00s [159/185] Installing debugedit-0:5.2-3. 100% | 17.7 MiB/s | 217.3 KiB | 00m00s [160/185] Installing rpm-build-libs-0:6 100% | 259.0 MiB/s | 265.2 KiB | 00m00s [161/185] Installing rust-srpm-macros-0 100% | 0.0 B/s | 6.4 KiB | 00m00s [162/185] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 740.0 B | 00m00s [163/185] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [164/185] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [165/185] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [166/185] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [167/185] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.1 KiB | 00m00s [168/185] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [169/185] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [170/185] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [171/185] Installing gap-srpm-macros-0: 100% | 0.0 B/s | 2.7 KiB | 00m00s [172/185] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [173/185] Installing ansible-srpm-macro 100% | 0.0 B/s | 36.2 KiB | 00m00s [174/185] Installing rpm-build-0:6.0.1- 100% | 22.3 MiB/s | 296.6 KiB | 00m00s [175/185] Installing pyproject-srpm-mac 100% | 623.0 KiB/s | 2.5 KiB | 00m00s [176/185] Installing redhat-rpm-config- 100% | 185.4 MiB/s | 189.9 KiB | 00m00s [177/185] Installing forge-srpm-macros- 100% | 0.0 B/s | 40.3 KiB | 00m00s [178/185] Installing fonts-srpm-macros- 100% | 0.0 B/s | 57.0 KiB | 00m00s [179/185] Installing go-srpm-macros-0:3 100% | 0.0 B/s | 63.0 KiB | 00m00s [180/185] Installing R-srpm-macros-0:1. 100% | 0.0 B/s | 4.2 KiB | 00m00s [181/185] Installing python-srpm-macros 100% | 0.0 B/s | 52.9 KiB | 00m00s [182/185] Installing rpm-plugin-selinux 100% | 0.0 B/s | 13.0 KiB | 00m00s [183/185] Installing which-0:2.23-3.fc4 100% | 7.0 MiB/s | 85.7 KiB | 00m00s [184/185] Installing shadow-utils-2:4.1 100% | 158.9 MiB/s | 4.0 MiB | 00m00s [185/185] Installing info-0:7.2-7.fc44. 100% | 59.6 KiB/s | 358.3 KiB | 00m06s Complete! Finish: installing minimal buildroot with dnf5 Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: R-srpm-macros-1.3.4-1.fc44.noarch add-determinism-0.7.2-2.fc44.x86_64 alternatives-1.33-3.fc44.x86_64 ansible-srpm-macros-1-18.1.fc43.noarch audit-libs-4.1.2-2.fc44.x86_64 bash-5.3.9-1.fc44.x86_64 binutils-2.45.50-9.fc44.x86_64 build-reproducibility-srpm-macros-0.7.2-2.fc44.noarch bzip2-1.0.8-21.fc43.x86_64 bzip2-libs-1.0.8-21.fc43.x86_64 ca-certificates-2025.2.80_v9.0.304-2.fc44.noarch cmake-srpm-macros-3.31.10-3.fc44.noarch coreutils-9.9-1.fc44.x86_64 coreutils-common-9.9-1.fc44.x86_64 cpio-2.15-6.fc43.x86_64 crypto-policies-20251128-1.git19878fe.fc44.noarch curl-8.18.0-1.fc44.x86_64 cyrus-sasl-lib-2.1.28-33.fc44.x86_64 debugedit-5.2-3.fc44.x86_64 diffutils-3.12-3.fc43.x86_64 dwz-0.16-2.fc43.x86_64 ed-1.22.4-1.fc44.x86_64 efi-srpm-macros-6-5.fc44.noarch elfutils-0.194-2.fc44.x86_64 elfutils-debuginfod-client-0.194-2.fc44.x86_64 elfutils-default-yama-scope-0.194-2.fc44.noarch elfutils-libelf-0.194-2.fc44.x86_64 elfutils-libs-0.194-2.fc44.x86_64 fedora-gpg-keys-44-0.1.noarch fedora-release-44-0.10.noarch fedora-release-common-44-0.10.noarch fedora-release-identity-basic-44-0.10.noarch fedora-repos-44-0.1.noarch fedora-repos-rawhide-44-0.1.noarch file-5.46-8.fc44.x86_64 file-libs-5.46-8.fc44.x86_64 filesystem-3.18-50.fc43.x86_64 filesystem-srpm-macros-3.18-50.fc43.noarch findutils-4.10.0-6.fc43.x86_64 fonts-srpm-macros-5.0.0-1.fc44.noarch forge-srpm-macros-0.4.0-3.fc43.noarch fpc-srpm-macros-1.3-15.fc43.noarch gap-srpm-macros-2-1.fc44.noarch gawk-5.3.2-2.fc43.x86_64 gdb-minimal-17.1-1.fc44.x86_64 gdbm-libs-1.23-10.fc43.x86_64 ghc-srpm-macros-1.9.2-3.fc43.noarch glibc-2.42.9000-21.fc44.x86_64 glibc-common-2.42.9000-21.fc44.x86_64 glibc-gconv-extra-2.42.9000-21.fc44.x86_64 glibc-minimal-langpack-2.42.9000-21.fc44.x86_64 gmp-6.3.0-4.fc44.x86_64 gnat-srpm-macros-7-1.fc44.noarch gnulib-l10n-20241231-1.fc44.noarch gnupg2-2.4.9-1.fc44.x86_64 gnupg2-dirmngr-2.4.9-1.fc44.x86_64 gnupg2-gpg-agent-2.4.9-1.fc44.x86_64 gnupg2-gpgconf-2.4.9-1.fc44.x86_64 gnupg2-keyboxd-2.4.9-1.fc44.x86_64 gnupg2-verify-2.4.9-1.fc44.x86_64 gnutls-3.8.11-6.fc44.x86_64 go-srpm-macros-3.8.0-1.fc44.noarch gpg-pubkey-36f612dcf27f7d1a48a835e4dbfcf71c6d9f90a6-6786af3b gpg-pubkey-4f50a6114cd5c6976a7f1179655a4b02f577861e-6888bc98 gpg-pubkey-c6e7f081cf80e13146676e88829b606631645531-66b6dccf gpgverify-2.2-3.fc43.noarch grep-3.12-2.fc43.x86_64 gzip-1.14-1.fc44.x86_64 ima-evm-utils-libs-1.6.2-7.fc44.x86_64 info-7.2-7.fc44.x86_64 jansson-2.14-3.fc43.x86_64 java-srpm-macros-1-7.fc43.noarch json-c-0.18-7.fc43.x86_64 kernel-srpm-macros-1.0-27.fc43.noarch keyutils-libs-1.6.3-6.fc43.x86_64 krb5-libs-1.21.3-11.fc44.x86_64 libacl-2.3.2-4.fc43.x86_64 libarchive-3.8.4-1.fc44.x86_64 libassuan-2.5.7-4.fc43.x86_64 libatomic-16.0.0-0.4.fc44.x86_64 libattr-2.5.2-6.fc43.x86_64 libblkid-2.41.3-11.fc44.x86_64 libbrotli-1.2.0-1.fc44.x86_64 libcap-2.77-1.fc44.x86_64 libcap-ng-0.9-2.fc44.x86_64 libcom_err-1.47.3-3.fc44.x86_64 libcurl-8.18.0-1.fc44.x86_64 libeconf-0.7.9-2.fc43.x86_64 libevent-2.1.12-16.fc43.x86_64 libfdisk-2.41.3-11.fc44.x86_64 libffi-3.5.2-1.fc44.x86_64 libfsverity-1.6-3.fc43.x86_64 libgcc-16.0.0-0.4.fc44.x86_64 libgcrypt-1.11.2-1.fc44.x86_64 libgomp-16.0.0-0.4.fc44.x86_64 libgpg-error-1.58-1.fc44.x86_64 libidn2-2.3.8-2.fc43.x86_64 libksba-1.6.7-4.fc43.x86_64 liblastlog2-2.41.3-11.fc44.x86_64 libmount-2.41.3-11.fc44.x86_64 libnghttp2-1.68.0-2.fc44.x86_64 libnghttp3-1.14.0-1.fc44.x86_64 libpkgconf-2.3.0-3.fc43.x86_64 libpsl-0.21.5-6.fc43.x86_64 libselinux-3.9-6.fc44.x86_64 libselinux-utils-3.9-6.fc44.x86_64 libsemanage-3.9-4.fc44.x86_64 libsepol-3.9-2.fc43.x86_64 libsmartcols-2.41.3-11.fc44.x86_64 libssh-0.11.3-1.fc44.x86_64 libssh-config-0.11.3-1.fc44.noarch libstdc++-16.0.0-0.4.fc44.x86_64 libtasn1-4.20.0-2.fc43.x86_64 libtool-ltdl-2.5.4-9.fc44.x86_64 libunistring-1.1-10.fc43.x86_64 libusb1-1.0.29-4.fc44.x86_64 libuuid-2.41.3-11.fc44.x86_64 libverto-0.3.2-11.fc43.x86_64 libxcrypt-4.5.2-2.fc44.x86_64 libxml2-2.12.10-5.fc44.x86_64 libzstd-1.5.7-3.fc44.x86_64 linkdupes-0.7.2-2.fc44.x86_64 lua-libs-5.4.8-4.fc44.x86_64 lua-srpm-macros-1-16.fc43.noarch lz4-libs-1.10.0-3.fc43.x86_64 mpfr-4.2.2-2.fc43.x86_64 ncurses-base-6.5-8.20250614.fc44.noarch ncurses-libs-6.5-8.20250614.fc44.x86_64 nettle-3.10.1-2.fc43.x86_64 ngtcp2-1.19.0-1.fc44.x86_64 ngtcp2-crypto-ossl-1.19.0-1.fc44.x86_64 npth-1.8-3.fc43.x86_64 ocaml-srpm-macros-11-2.fc43.noarch openblas-srpm-macros-2-20.fc43.noarch openldap-2.6.10-5.fc44.x86_64 openssl-libs-3.5.4-1.fc44.x86_64 p11-kit-0.25.8-1.fc44.x86_64 p11-kit-trust-0.25.8-1.fc44.x86_64 package-notes-srpm-macros-0.5-14.fc43.noarch pam-libs-1.7.1-4.fc44.x86_64 patch-2.8-3.fc44.x86_64 pcre2-10.47-1.fc44.x86_64 pcre2-syntax-10.47-1.fc44.noarch perl-srpm-macros-1-60.fc43.noarch pkgconf-2.3.0-3.fc43.x86_64 pkgconf-m4-2.3.0-3.fc43.noarch pkgconf-pkg-config-2.3.0-3.fc43.x86_64 policycoreutils-3.9-5.fc44.x86_64 popt-1.19-9.fc43.x86_64 publicsuffix-list-dafsa-20250616-2.fc43.noarch pyproject-srpm-macros-1.18.6-1.fc44.noarch python-srpm-macros-3.14-9.fc44.noarch qt5-srpm-macros-5.15.18-1.fc44.noarch qt6-srpm-macros-6.10.1-1.fc44.noarch readline-8.3-3.fc44.x86_64 redhat-rpm-config-343-19.fc44.noarch rpm-6.0.1-1.fc44.x86_64 rpm-build-6.0.1-1.fc44.x86_64 rpm-build-libs-6.0.1-1.fc44.x86_64 rpm-libs-6.0.1-1.fc44.x86_64 rpm-plugin-selinux-6.0.1-1.fc44.x86_64 rpm-sequoia-1.10.0-1.fc44.x86_64 rpm-sign-libs-6.0.1-1.fc44.x86_64 rust-srpm-macros-28.4-1.fc44.noarch sed-4.9-6.fc44.x86_64 selinux-policy-42.21-1.fc44.noarch selinux-policy-targeted-42.21-1.fc44.noarch setup-2.15.0-27.fc44.noarch shadow-utils-4.18.0-7.fc44.x86_64 sqlite-libs-3.51.0-1.fc44.x86_64 systemd-libs-259-1.fc44.x86_64 systemd-standalone-sysusers-259-1.fc44.x86_64 tar-1.35-6.fc43.x86_64 tpm2-tss-4.1.3-8.fc43.x86_64 tree-sitter-srpm-macros-0.4.2-1.fc43.noarch unzip-6.0-68.fc44.x86_64 util-linux-2.41.3-11.fc44.x86_64 util-linux-core-2.41.3-11.fc44.x86_64 which-2.23-3.fc43.x86_64 xxhash-libs-0.8.3-3.fc43.x86_64 xz-5.8.2-1.fc44.x86_64 xz-libs-5.8.2-1.fc44.x86_64 zig-srpm-macros-1-7.fc44.noarch zip-3.0-44.fc43.x86_64 zlib-ng-compat-2.3.2-2.fc44.x86_64 zstd-1.5.7-3.fc44.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1760400000 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1768296611.724995/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-i4v8iv6g/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(child) 0 minutes 14 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-27.fc44.src.rpm) Config(fedora-rawhide-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1768296611.724995/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1768296611.724995/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-rawhide-x86_64-1768296611.724995/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-6.0.1-1.fc44.x86_64 rpm-sequoia-1.10.0-1.fc44.x86_64 dnf5-5.3.0.0-4.fc44.x86_64 dnf5-plugins-5.3.0.0-4.fc44.x86_64 Finish: chroot init Start: build phase for ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Start: build setup for ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1760400000 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Updating and loading repositories: Copr repository 100% | 138.5 KiB/s | 1.5 KiB | 00m00s fedora 100% | 161.9 KiB/s | 26.2 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: make x86_64 1:4.4.1-11.fc43 fedora 1.8 MiB ocaml x86_64 0:5.4.0-1.fc44 fedora 174.3 MiB ocaml-dune x86_64 0:3.20.2-2.fc44 fedora 23.2 MiB ocaml-menhir x86_64 0:20250912-2.fc44 fedora 7.5 MiB python3-sphinx noarch 1:8.2.3-17.fc44 fedora 12.3 MiB python3-sphinx_rtd_theme noarch 0:3.1.0-1.fc44 copr_base 327.5 KiB Installing dependencies: annobin-docs noarch 0:13.04-3.fc44 fedora 99.2 KiB annobin-plugin-gcc x86_64 0:13.04-3.fc44 fedora 695.6 KiB cmake-filesystem x86_64 0:3.31.10-3.fc44 fedora 0.0 B cpp x86_64 0:16.0.0-0.4.fc44 fedora 43.7 MiB expat x86_64 0:2.7.3-1.fc44 fedora 301.1 KiB fontawesome4-fonts noarch 1:4.7.0-25.fc43 fedora 296.6 KiB fonts-filesystem noarch 1:5.0.0-1.fc44 fedora 0.0 B gcc x86_64 0:16.0.0-0.4.fc44 fedora 126.3 MiB gcc-plugin-annobin x86_64 0:16.0.0-0.4.fc44 fedora 57.2 KiB glibc-devel x86_64 0:2.42.9000-21.fc44 fedora 2.3 MiB google-roboto-slab-fonts noarch 0:1.100263-0.27.20150923git.fc44 fedora 699.6 KiB kernel-headers x86_64 0:6.19.0-0.rc5.38.fc44 fedora 6.9 MiB lato-fonts noarch 0:2.015-24.fc43 fedora 11.3 MiB libmpc x86_64 0:1.3.1-8.fc43 fedora 160.6 KiB libxcrypt-devel x86_64 0:4.5.2-2.fc44 fedora 31.0 KiB libzstd-devel x86_64 0:1.5.7-3.fc44 fedora 217.6 KiB mpdecimal x86_64 0:4.0.1-2.fc43 fedora 217.2 KiB ocaml-compiler-libs x86_64 0:5.4.0-1.fc44 fedora 114.5 MiB ocaml-menhirlib x86_64 0:20250912-2.fc44 fedora 345.2 KiB ocaml-menhirlib-devel x86_64 0:20250912-2.fc44 fedora 1.0 MiB ocaml-rpm-macros noarch 0:5.4.0-1.fc44 fedora 19.9 KiB ocaml-runtime x86_64 0:5.4.0-1.fc44 fedora 4.5 MiB python-pip-wheel noarch 0:25.3-1.fc44 fedora 1.2 MiB python3 x86_64 0:3.14.2-1.fc44 fedora 28.9 KiB python3-babel noarch 0:2.17.0-6.fc44 fedora 30.3 MiB python3-charset-normalizer noarch 0:3.4.4-1.fc44 fedora 356.2 KiB python3-docutils noarch 0:0.22.3-1.fc44 fedora 5.5 MiB python3-idna noarch 0:3.11-1.fc44 fedora 738.4 KiB python3-imagesize noarch 0:1.4.1-14.fc44 fedora 36.0 KiB python3-jinja2 noarch 0:3.1.6-6.fc44 fedora 3.1 MiB python3-libs x86_64 0:3.14.2-1.fc44 fedora 43.1 MiB python3-markupsafe x86_64 0:3.0.2-6.fc44 fedora 61.5 KiB python3-packaging noarch 0:25.0-7.fc44 fedora 607.4 KiB python3-pygments noarch 0:2.19.1-7.fc44 fedora 11.3 MiB python3-requests noarch 0:2.32.5-2.fc44 fedora 476.9 KiB python3-roman-numerals-py noarch 0:3.1.0-5.fc44 fedora 40.4 KiB python3-snowballstemmer noarch 0:3.0.1-8.fc44 fedora 1.8 MiB python3-sphinx-theme-alabaster noarch 0:0.7.16-11.fc44 fedora 42.0 KiB python3-sphinxcontrib-jquery noarch 0:4.1-14.fc44 fedora 382.5 KiB python3-urllib3 noarch 0:2.6.3-1.fc44 fedora 1.1 MiB tzdata noarch 0:2025c-1.fc44 fedora 1.2 MiB Transaction Summary: Installing: 47 packages Total size of inbound packages is 200 MiB. Need to download 169 MiB. After this operation, 634 MiB extra will be used (install 634 MiB, remove 0 B). [ 1/47] make-1:4.4.1-11.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 2/47] python3-sphinx-1:8.2.3-17.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 3/47] python3-sphinx_rtd_theme-0:3.1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 4/47] python3-babel-0:2.17.0-6.fc44.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/47] python3-docutils-0:0.22.3-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/47] python3-imagesize-0:1.4.1-14.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/47] python3-jinja2-0:3.1.6-6.fc44.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/47] python3-packaging-0:25.0-7.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/47] python3-pygments-0:2.19.1-7.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [10/47] python3-requests-0:2.32.5-2.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [11/47] python3-roman-numerals-py-0:3.1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [12/47] python3-snowballstemmer-0:3.0.1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [13/47] python3-sphinx-theme-alabaster- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [14/47] fontawesome4-fonts-1:4.7.0-25.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [15/47] google-roboto-slab-fonts-0:1.10 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [16/47] lato-fonts-0:2.015-24.fc43.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [17/47] python3-sphinxcontrib-jquery-0: 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [18/47] python3-markupsafe-0:3.0.2-6.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [19/47] python3-charset-normalizer-0:3. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [20/47] python3-idna-0:3.11-1.fc44.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [21/47] python3-urllib3-0:2.6.3-1.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [22/47] fonts-filesystem-1:5.0.0-1.fc44 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [23/47] python3-0:3.14.2-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [24/47] python3-libs-0:3.14.2-1.fc44.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [25/47] expat-0:2.7.3-1.fc44.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [26/47] mpdecimal-0:4.0.1-2.fc43.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [27/47] python-pip-wheel-0:25.3-1.fc44. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [28/47] tzdata-0:2025c-1.fc44.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [29/47] ocaml-menhir-0:20250912-2.fc44. 100% | 16.1 MiB/s | 2.6 MiB | 00m00s [30/47] ocaml-dune-0:3.20.2-2.fc44.x86_ 100% | 36.7 MiB/s | 6.2 MiB | 00m00s [31/47] libzstd-devel-0:1.5.7-3.fc44.x8 100% | 7.8 MiB/s | 56.1 KiB | 00m00s [32/47] ocaml-runtime-0:5.4.0-1.fc44.x8 100% | 121.5 MiB/s | 2.3 MiB | 00m00s [33/47] ocaml-0:5.4.0-1.fc44.x86_64 100% | 92.1 MiB/s | 38.4 MiB | 00m00s [34/47] gcc-0:16.0.0-0.4.fc44.x86_64 100% | 149.9 MiB/s | 43.8 MiB | 00m00s [35/47] ocaml-rpm-macros-0:5.4.0-1.fc44 100% | 218.0 KiB/s | 13.9 KiB | 00m00s [36/47] ocaml-compiler-libs-0:5.4.0-1.f 100% | 167.8 MiB/s | 56.9 MiB | 00m00s [37/47] cpp-0:16.0.0-0.4.fc44.x86_64 100% | 174.5 MiB/s | 14.7 MiB | 00m00s [38/47] ocaml-menhirlib-devel-0:2025091 100% | 5.2 MiB/s | 589.2 KiB | 00m00s [39/47] libmpc-0:1.3.1-8.fc43.x86_64 100% | 2.2 MiB/s | 70.4 KiB | 00m00s [40/47] cmake-filesystem-0:3.31.10-3.fc 100% | 4.5 MiB/s | 13.9 KiB | 00m00s [41/47] glibc-devel-0:2.42.9000-21.fc44 100% | 149.1 MiB/s | 610.7 KiB | 00m00s [42/47] libxcrypt-devel-0:4.5.2-2.fc44. 100% | 7.3 MiB/s | 30.1 KiB | 00m00s [43/47] annobin-plugin-gcc-0:13.04-3.fc 100% | 111.2 MiB/s | 683.3 KiB | 00m00s [44/47] kernel-headers-0:6.19.0-0.rc5.3 100% | 157.3 MiB/s | 1.7 MiB | 00m00s [45/47] gcc-plugin-annobin-0:16.0.0-0.4 100% | 11.3 MiB/s | 34.7 KiB | 00m00s [46/47] annobin-docs-0:13.04-3.fc44.noa 100% | 29.0 MiB/s | 89.2 KiB | 00m00s [47/47] ocaml-menhirlib-0:20250912-2.fc 100% | 1.9 MiB/s | 182.9 KiB | 00m00s -------------------------------------------------------------------------------- [47/47] Total 100% | 245.8 MiB/s | 168.8 MiB | 00m01s Running transaction [ 1/49] Verify package files 100% | 72.0 B/s | 47.0 B | 00m01s [ 2/49] Prepare transaction 100% | 783.0 B/s | 47.0 B | 00m00s [ 3/49] Installing ocaml-runtime-0:5.4. 100% | 190.2 MiB/s | 4.6 MiB | 00m00s [ 4/49] Installing fonts-filesystem-1:5 100% | 0.0 B/s | 788.0 B | 00m00s [ 5/49] Installing libmpc-0:1.3.1-8.fc4 100% | 158.3 MiB/s | 162.1 KiB | 00m00s [ 6/49] Installing cpp-0:16.0.0-0.4.fc4 100% | 386.7 MiB/s | 43.7 MiB | 00m00s [ 7/49] Installing fontawesome4-fonts-1 100% | 290.8 MiB/s | 297.8 KiB | 00m00s [ 8/49] Installing google-roboto-slab-f 100% | 342.5 MiB/s | 701.4 KiB | 00m00s [ 9/49] Installing lato-fonts-0:2.015-2 100% | 436.0 MiB/s | 11.3 MiB | 00m00s [10/49] Installing ocaml-menhirlib-0:20 100% | 338.6 MiB/s | 346.7 KiB | 00m00s [11/49] Installing annobin-docs-0:13.04 100% | 49.0 MiB/s | 100.3 KiB | 00m00s [12/49] Installing kernel-headers-0:6.1 100% | 242.3 MiB/s | 7.0 MiB | 00m00s [13/49] Installing glibc-devel-0:2.42.9 100% | 199.2 MiB/s | 2.4 MiB | 00m00s [14/49] Installing libxcrypt-devel-0:4. 100% | 8.1 MiB/s | 33.3 KiB | 00m00s [15/49] Installing tzdata-0:2025c-1.fc4 100% | 54.0 MiB/s | 1.5 MiB | 00m00s [16/49] Installing python-pip-wheel-0:2 100% | 602.0 MiB/s | 1.2 MiB | 00m00s [17/49] Installing mpdecimal-0:4.0.1-2. 100% | 213.7 MiB/s | 218.8 KiB | 00m00s [18/49] Installing expat-0:2.7.3-1.fc44 100% | 18.5 MiB/s | 303.2 KiB | 00m00s [19/49] Installing python3-libs-0:3.14. 100% | 384.8 MiB/s | 43.5 MiB | 00m00s [20/49] Installing python3-0:3.14.2-1.f 100% | 2.3 MiB/s | 30.6 KiB | 00m00s [21/49] Installing python3-docutils-0:0 100% | 192.5 MiB/s | 5.6 MiB | 00m00s [22/49] Installing python3-idna-0:3.11- 100% | 242.5 MiB/s | 744.9 KiB | 00m00s [23/49] Installing python3-urllib3-0:2. 100% | 162.5 MiB/s | 1.1 MiB | 00m00s [24/49] Installing python3-babel-0:2.17 100% | 376.6 MiB/s | 30.5 MiB | 00m00s [25/49] Installing python3-imagesize-0: 100% | 38.2 MiB/s | 39.1 KiB | 00m00s [26/49] Installing python3-packaging-0: 100% | 121.1 MiB/s | 619.9 KiB | 00m00s [27/49] Installing python3-pygments-0:2 100% | 249.7 MiB/s | 11.5 MiB | 00m00s [28/49] Installing python3-roman-numera 100% | 42.4 MiB/s | 43.4 KiB | 00m00s [29/49] Installing python3-snowballstem 100% | 371.9 MiB/s | 1.9 MiB | 00m00s [30/49] Installing python3-sphinx-theme 100% | 45.5 MiB/s | 46.6 KiB | 00m00s [31/49] Installing python3-markupsafe-0 100% | 64.2 MiB/s | 65.8 KiB | 00m00s [32/49] Installing python3-jinja2-0:3.1 100% | 441.7 MiB/s | 3.1 MiB | 00m00s [33/49] Installing python3-charset-norm 100% | 27.5 MiB/s | 366.4 KiB | 00m00s [34/49] Installing python3-requests-0:2 100% | 119.4 MiB/s | 488.9 KiB | 00m00s [35/49] Installing python3-sphinx-1:8.2 100% | 226.6 MiB/s | 12.5 MiB | 00m00s [36/49] Installing python3-sphinxcontri 100% | 377.0 MiB/s | 386.1 KiB | 00m00s [37/49] Installing cmake-filesystem-0:3 100% | 7.4 MiB/s | 7.6 KiB | 00m00s [38/49] Installing libzstd-devel-0:1.5. 100% | 214.0 MiB/s | 219.1 KiB | 00m00s [39/49] Installing make-1:4.4.1-11.fc43 100% | 105.9 MiB/s | 1.8 MiB | 00m00s [40/49] Installing gcc-0:16.0.0-0.4.fc4 100% | 445.0 MiB/s | 126.4 MiB | 00m00s [41/49] Installing ocaml-0:5.4.0-1.fc44 100% | 492.5 MiB/s | 174.3 MiB | 00m00s [42/49] Installing ocaml-compiler-libs- 100% | 521.3 MiB/s | 114.7 MiB | 00m00s [43/49] Installing ocaml-rpm-macros-0:5 100% | 0.0 B/s | 20.3 KiB | 00m00s [44/49] Installing ocaml-menhirlib-deve 100% | 521.6 MiB/s | 1.0 MiB | 00m00s [45/49] Installing ocaml-menhir-0:20250 100% | 278.2 MiB/s | 7.5 MiB | 00m00s [46/49] Installing ocaml-dune-0:3.20.2- 100% | 406.8 MiB/s | 23.2 MiB | 00m00s [47/49] Installing annobin-plugin-gcc-0 100% | 56.7 MiB/s | 697.2 KiB | 00m00s [48/49] Installing gcc-plugin-annobin-0 100% | 4.8 MiB/s | 58.6 KiB | 00m00s [49/49] Installing python3-sphinx_rtd_t 100% | 3.4 MiB/s | 348.4 KiB | 00m00s Warning: skipped OpenPGP checks for 1 package from repository: copr_base Complete! Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1760400000 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Updating and loading repositories: Copr repository 100% | 138.5 KiB/s | 1.5 KiB | 00m00s fedora 100% | 168.1 KiB/s | 26.2 KiB | 00m00s Repositories loaded. Nothing to do. Package "make-1:4.4.1-11.fc43.x86_64" is already installed. Package "ocaml-5.4.0-1.fc44.x86_64" is already installed. Package "ocaml-dune-3.20.2-2.fc44.x86_64" is already installed. Package "ocaml-menhir-20250912-2.fc44.x86_64" is already installed. Package "python3-sphinx-1:8.2.3-17.fc44.noarch" is already installed. Package "python3-sphinx_rtd_theme-3.1.0-1.fc44.noarch" is already installed. Finish: build setup for ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Start: rpmbuild ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1760400000 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.jQrjql Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.iv9jyV + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 + /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 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.W2ekHG + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 + 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.TEk9tG + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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: enabled-except-user-rules Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 = [] } File "dune-project", line 15, characters 3-31: 15 | (psmt2-frontend (= version)) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning: Possible typo in constraint for dependency "psmt2-frontend": '(= version)' might be a mistake. Hint: Did you mean to use the `:version` variable instead? Example: (depends (psmt2-frontend (= :version))) Actual targets: - recursive alias @install Running[1]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -w -49 -nopervasives -nostdlib -g -bin-annot -bin-annot-occurrences -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/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.d Running[3]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll) Running[4]: (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[5]: (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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmi -no-alias-deps -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx -c -impl src/lib/psmt2Frontend.ml-gen) 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 -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.intf.d Running[8]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.impl.d Output[4]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Running[9]: (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[10]: (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 Running[11]: (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[12]: (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[13]: (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[14]: (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[15]: (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[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 -bin-annot-occurrences -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 -bin-annot-occurrences -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 -bin-annot-occurrences -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/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_lexer.impl.d Running[22]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx -c -impl src/lib/main.ml) Running[23]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo -c -impl src/lib/options.ml) Running[24]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx -c -impl src/lib/options.ml) Running[25]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -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/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo -c -impl src/lib/version.ml) Running[27]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx -c -impl src/lib/version.ml) Running[28]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmi -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 -bin-annot-occurrences -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 -bin-annot-occurrences -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/014bed9603cafac8e5e1ae1436bc3810/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/014bed9603cafac8e5e1ae1436bc3810/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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmi -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 -bin-annot-occurrences -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 -bin-annot-occurrences -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 -bin-annot-occurrences -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/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml) Running[38]: (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[39]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmi -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[38]: 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 -bin-annot-occurrences -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 -bin-annot-occurrences -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/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml) Running[45]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx -c -impl src/lib/smtlib_parser.ml) Running[46]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmi -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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmi -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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmi -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 -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmi -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 -cmi-file src/bin/.main.eobjs/byte/dune__exe__Main.cmi -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 v8.2.3 loading translations [en]... done making output directory... done Converting `source_suffix = ['.rst', '.md']` to `source_suffix = {'.rst': 'restructuredtext', '.md': 'restructuredtext'}`. 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... [ 25%] about reading sources... [ 50%] index reading sources... [ 75%] install 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... Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/language_data.js Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/documentation_options.js Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/basic.css Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/js/versions.js copying static files: done copying extra files... copying extra files: done copying assets: done writing output... [ 25%] about writing output... [ 50%] index writing output... [ 75%] install 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.B3ghIe + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + '[' /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT ++ dirname /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT + mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + mkdir /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT --verbose --release -j4 Shared cache: enabled-except-user-rules Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0 File "dune-project", line 15, characters 3-31: 15 | (psmt2-frontend (= version)) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning: Possible typo in constraint for dependency "psmt2-frontend": '(= version)' might be a mistake. Hint: Did you mean to use the `:version` variable instead? Example: (depends (psmt2-frontend (= :version))) 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/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/META Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/dune-package Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/main.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/opam Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/CHANGES.md Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE.md Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/README.md Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/odoc-pages/index.mld Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/META Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/dune-package Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/opam Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/bin/psmt2-frontend_bin Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/CHANGES.md Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE.md Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/README.md Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld + '[' -d _build/default/_doc/_html ']' + rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc ++ find /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml -name '*.mli' + mlis=$'/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli\n/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli\n/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli' + rm -f /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT /usr/lib64/ocaml + cat + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.4.0-27.fc44 --unique-debug-suffix -0.4.0-27.fc44.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-27.fc44.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0 find-debuginfo: starting Extracting debug info from 3 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-27.fc44.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 find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + COMPRESS='gzip -9 -n' + COMPRESS_EXT=.gz + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-det --brp -j4 /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a: replacing with normalized version Scanned 23 directories and 82 files, processed 1 inodes, 1 modified (1 replaced + 0 rewritten), 0 unsupported format, 0 errors + /usr/bin/linkdupes --brp /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr Scanned 22 directories and 82 files, considered 82 files, read 18 files, linked 8 files, 0 errors sum of sizes of linked files: 453214 bytes Reading /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.Kjppje + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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: enabled-except-user-rules Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 = [] } File "dune-project", line 15, characters 3-31: 15 | (psmt2-frontend (= version)) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning: Possible typo in constraint for dependency "psmt2-frontend": '(= version)' might be a mistake. Hint: Did you mean to use the `:version` variable instead? Example: (depends (psmt2-frontend (= :version))) 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 -bin-annot-occurrences -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 -cmi-file test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmi -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-27.fc44.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.rJXN8p + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/CHANGES.md /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/README.md /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.fZcOOC + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + cd psmt2-frontend-0.4.0 + LICENSEDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/LICENSE /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Psmt2Frontend) = cd907785564241544ec92ad8e0e0e844 ocaml(Psmt2Frontend__Main) = aa608d13221bce8b7cddc05ccc29157a ocaml(Psmt2Frontend__Options) = f9e01a073210b30f6db2e58e2c197a2e ocaml(Psmt2Frontend__Smtlib_error) = c19802673d983cdff871595857536f12 ocaml(Psmt2Frontend__Smtlib_lexer) = 33e226799a371d4168db247f0d7bab39 ocaml(Psmt2Frontend__Smtlib_parser) = ea747a03bd7c51e9c203846cba995153 ocaml(Psmt2Frontend__Smtlib_printer) = ab8574c213d1cf3bb9332adcc3a75318 ocaml(Psmt2Frontend__Smtlib_syntax) = a6f446aa9e42a36309e2203c2bceb7a8 ocaml(Psmt2Frontend__Smtlib_ty) = 01826ce51b5aaf6977acb31f5a5a5f9b ocaml(Psmt2Frontend__Smtlib_typed_env) = 7175d019889196c26441d2e47c85bcac ocaml(Psmt2Frontend__Smtlib_typed_logic) = 79bfd3f7c47098ad79b43551170b4b0f ocaml(Psmt2Frontend__Smtlib_typing) = 7ae6abb63654b776967cef714c6b0933 ocaml(Psmt2Frontend__Version) = 92ddaa9a7c69724c5613018603e13f31 ocaml-psmt2-frontend = 0.4.0-27.fc44 ocaml-psmt2-frontend(x86-64) = 0.4.0-27.fc44 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) 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) = bb23651112c1e05c61498d902472830d ocaml(Psmt2Frontend) = cd907785564241544ec92ad8e0e0e844 ocaml(Psmt2Frontend__Options) = f9e01a073210b30f6db2e58e2c197a2e ocaml(Psmt2Frontend__Smtlib_error) = c19802673d983cdff871595857536f12 ocaml(Psmt2Frontend__Smtlib_parser) = ea747a03bd7c51e9c203846cba995153 ocaml(Psmt2Frontend__Smtlib_printer) = ab8574c213d1cf3bb9332adcc3a75318 ocaml(Psmt2Frontend__Smtlib_syntax) = a6f446aa9e42a36309e2203c2bceb7a8 ocaml(Psmt2Frontend__Smtlib_ty) = 01826ce51b5aaf6977acb31f5a5a5f9b ocaml(Psmt2Frontend__Smtlib_typed_env) = 7175d019889196c26441d2e47c85bcac ocaml(Psmt2Frontend__Smtlib_typed_logic) = 79bfd3f7c47098ad79b43551170b4b0f ocaml(Stdlib) = 7ff659a4a6b8ca32adc85623b24921e4 ocaml(Stdlib__Buffer) = 199531813c148c733aa4841901f61885 ocaml(Stdlib__Domain) = f4f911af3a887deb4246da1952f3bbde ocaml(Stdlib__Either) = d0d544d8ad6cd8d3916ef604e87e8b79 ocaml(Stdlib__Format) = 59fa71efaaaea19dea6b27602dcaaaa2 ocaml(Stdlib__Hashtbl) = 962e9d183e8a207a666ca7506cf46032 ocaml(Stdlib__Lexing) = 070822eb5537492e7ac0d885f1627b82 ocaml(Stdlib__List) = 1f65c7c74ac3633417a8002cc6dd0e53 ocaml(Stdlib__Map) = 2d8ea4e0be35a4403643e7043fc81316 ocaml(Stdlib__Printf) = 689694603948509ee3d0b39b9ac66005 ocaml(Stdlib__Seq) = 1d1c31e02b77070ff0e51eaaab2af0cc ocaml(Stdlib__Stack) = 8beb90704d5de14f0323d6421c8095d6 ocaml(Stdlib__String) = 64f1c33cae78f3dd80ca58dbba3deaf9 ocaml(Stdlib__Uchar) = f6a44dd0c2e2c80b44deed7eb3c121ef rtld(GNU_HASH) Processing files: ocaml-psmt2-frontend-devel-0.4.0-27.fc44.x86_64 Provides: ocaml(Psmt2Frontend) = cd907785564241544ec92ad8e0e0e844 ocaml(Psmt2Frontend__Main) = aa608d13221bce8b7cddc05ccc29157a ocaml(Psmt2Frontend__Options) = f9e01a073210b30f6db2e58e2c197a2e ocaml(Psmt2Frontend__Smtlib_error) = c19802673d983cdff871595857536f12 ocaml(Psmt2Frontend__Smtlib_lexer) = 33e226799a371d4168db247f0d7bab39 ocaml(Psmt2Frontend__Smtlib_parser) = ea747a03bd7c51e9c203846cba995153 ocaml(Psmt2Frontend__Smtlib_printer) = ab8574c213d1cf3bb9332adcc3a75318 ocaml(Psmt2Frontend__Smtlib_syntax) = a6f446aa9e42a36309e2203c2bceb7a8 ocaml(Psmt2Frontend__Smtlib_ty) = 01826ce51b5aaf6977acb31f5a5a5f9b ocaml(Psmt2Frontend__Smtlib_typed_env) = 7175d019889196c26441d2e47c85bcac ocaml(Psmt2Frontend__Smtlib_typed_logic) = 79bfd3f7c47098ad79b43551170b4b0f ocaml(Psmt2Frontend__Smtlib_typing) = 7ae6abb63654b776967cef714c6b0933 ocaml(Psmt2Frontend__Version) = 92ddaa9a7c69724c5613018603e13f31 ocaml-psmt2-frontend-devel = 0.4.0-27.fc44 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-27.fc44 ocamlx(Psmt2Frontend) = f05c399477207ded4e133cdf3411d513 ocamlx(Psmt2Frontend__Main) = 4ec4d2298828f0d3550d3f50b7eedbcc ocamlx(Psmt2Frontend__Options) = 326fbab5fa1aad49098f558a81fb5f9a ocamlx(Psmt2Frontend__Smtlib_error) = c339c3aad48fc20a2b93554a77935f2a ocamlx(Psmt2Frontend__Smtlib_lexer) = 6ac3800d4925da89897b926a6bac2fae ocamlx(Psmt2Frontend__Smtlib_parser) = 9a86573875ab6f6b15f5522981abb2db ocamlx(Psmt2Frontend__Smtlib_printer) = 5fa5db4cf83f7d59258f341cc7956125 ocamlx(Psmt2Frontend__Smtlib_syntax) = 4062c4c204ca29e85a1be19fcb9b3ed8 ocamlx(Psmt2Frontend__Smtlib_ty) = f17374bd40b47b3bee0e7fe591629cef ocamlx(Psmt2Frontend__Smtlib_typed_env) = 909587c721409380d37e029c06598b73 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ac8f67e3cc88c23db70fc833f512394a ocamlx(Psmt2Frontend__Smtlib_typing) = a191037c6df4e6fcbe6850abd9849cba ocamlx(Psmt2Frontend__Version) = 7631c9b09f1889c70e70d88dcdb51e7c Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = bb23651112c1e05c61498d902472830d ocaml(Psmt2Frontend) = cd907785564241544ec92ad8e0e0e844 ocaml(Psmt2Frontend__Options) = f9e01a073210b30f6db2e58e2c197a2e ocaml(Psmt2Frontend__Smtlib_error) = c19802673d983cdff871595857536f12 ocaml(Psmt2Frontend__Smtlib_parser) = ea747a03bd7c51e9c203846cba995153 ocaml(Psmt2Frontend__Smtlib_printer) = ab8574c213d1cf3bb9332adcc3a75318 ocaml(Psmt2Frontend__Smtlib_syntax) = a6f446aa9e42a36309e2203c2bceb7a8 ocaml(Psmt2Frontend__Smtlib_ty) = 01826ce51b5aaf6977acb31f5a5a5f9b ocaml(Psmt2Frontend__Smtlib_typed_env) = 7175d019889196c26441d2e47c85bcac ocaml(Psmt2Frontend__Smtlib_typed_logic) = 79bfd3f7c47098ad79b43551170b4b0f ocaml(Stdlib) = 7ff659a4a6b8ca32adc85623b24921e4 ocaml(Stdlib__Buffer) = 199531813c148c733aa4841901f61885 ocaml(Stdlib__Domain) = f4f911af3a887deb4246da1952f3bbde ocaml(Stdlib__Either) = d0d544d8ad6cd8d3916ef604e87e8b79 ocaml(Stdlib__Format) = 59fa71efaaaea19dea6b27602dcaaaa2 ocaml(Stdlib__Hashtbl) = 962e9d183e8a207a666ca7506cf46032 ocaml(Stdlib__Lexing) = 070822eb5537492e7ac0d885f1627b82 ocaml(Stdlib__List) = 1f65c7c74ac3633417a8002cc6dd0e53 ocaml(Stdlib__Map) = 2d8ea4e0be35a4403643e7043fc81316 ocaml(Stdlib__Printf) = 689694603948509ee3d0b39b9ac66005 ocaml(Stdlib__Seq) = 1d1c31e02b77070ff0e51eaaab2af0cc ocaml(Stdlib__Stack) = 8beb90704d5de14f0323d6421c8095d6 ocaml(Stdlib__String) = 64f1c33cae78f3dd80ca58dbba3deaf9 ocaml(Stdlib__Uchar) = f6a44dd0c2e2c80b44deed7eb3c121ef ocamlx(CamlinternalFormat) = b9ffd4182990e4a408cb4e48ee60ef89 ocamlx(Psmt2Frontend__Options) = 326fbab5fa1aad49098f558a81fb5f9a ocamlx(Psmt2Frontend__Smtlib_error) = c339c3aad48fc20a2b93554a77935f2a ocamlx(Psmt2Frontend__Smtlib_printer) = 5fa5db4cf83f7d59258f341cc7956125 ocamlx(Psmt2Frontend__Smtlib_ty) = f17374bd40b47b3bee0e7fe591629cef ocamlx(Psmt2Frontend__Smtlib_typed_env) = 909587c721409380d37e029c06598b73 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ac8f67e3cc88c23db70fc833f512394a ocamlx(Stdlib) = 76dd3023c6299e95a9c4e17ef27cb63c ocamlx(Stdlib__Atomic) = 86f5eb729cef248820c93b51c6e474de ocamlx(Stdlib__Bytes) = 561fb0c655ecbb544178fab36d26ab3c ocamlx(Stdlib__Domain) = 966e046bfc8a99ddc55f3245920fefeb ocamlx(Stdlib__Format) = d2ddf03794969b83081b9dc053d72192 ocamlx(Stdlib__Hashtbl) = 54ae6b9ac320518da41c690d7e280802 ocamlx(Stdlib__Lexing) = 14b58bf47ced1f291debca48e9b9665b ocamlx(Stdlib__List) = d370abca0fe053b8254f274f648dc837 ocamlx(Stdlib__Map) = 150e0c482d6fbc6e7efdadd514c76c0e ocamlx(Stdlib__Printf) = ee9cf2eebbcce6eb1563cf9b47ade8fc ocamlx(Stdlib__Random) = 0cbcb4292ff9de07c92eeaa1ef997a73 ocamlx(Stdlib__Stack) = 01a40c409e165d1fe14d42762dc50070 ocamlx(Stdlib__String) = 5ffe392d4ea6a5bed67d88a3a340c478 Processing files: ocaml-psmt2-frontend-docs-0.4.0-27.fc44.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.IIp2ej + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs + cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml-psmt2-frontend-docs = 0.4.0-27.fc44 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-27.fc44 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-27.fc44.x86_64 Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-27.fc44 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-27.fc44 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-27.fc44.x86_64 Provides: debuginfo(build-id) = 3a7bb1d3ffc537e05ba95bba3af1892b8405bc63 debuginfo(build-id) = fca21cef1f33711c2aa7d1ac67134d7c5fccd86a ocaml-psmt2-frontend-debuginfo = 0.4.0-27.fc44 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-27.fc44 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-27.fc44 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-27.fc44.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-27.fc44.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-27.fc44.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-27.fc44.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-27.fc44.x86_64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.ElCsim + umask 022 + cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + test -d /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm Finish: build phase for ocaml-psmt2-frontend-0.4.0-27.fc44.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1768296611.724995/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-27.fc44.src.rpm) Config(child) 0 minutes 13 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", "epoch": null, "version": "0.4.0", "release": "27.fc44", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-docs", "epoch": null, "version": "0.4.0", "release": "27.fc44", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-devel", "epoch": null, "version": "0.4.0", "release": "27.fc44", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "27.fc44", "arch": "src" }, { "name": "ocaml-psmt2-frontend-debuginfo", "epoch": null, "version": "0.4.0", "release": "27.fc44", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-debugsource", "epoch": null, "version": "0.4.0", "release": "27.fc44", "arch": "x86_64" } ] } RPMResults finished