Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c196' (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/6537807-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 Version: 0.69 PID: 5822 Logging PID: 5823 Task: {'appstream': False, 'background': False, 'build_id': 6537807, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': 'ac020716cd021b6f0e1e359307ccf1d00335d50f', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-requests-80586075/ocaml-psmt2-frontend', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'ocaml-psmt2-frontend', 'package_version': '0.4.0-12', 'project_dirname': 'python-requests-80586075', 'project_name': 'python-requests-80586075', 'project_owner': 'thrnciar', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/thrnciar/python-requests-80586075/fedora-rawhide-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': 'thrnciar/python-requests-80586075--thrnciar', 'source_json': {}, 'source_type': None, 'submitter': 'thrnciar', 'tags': [], 'task_id': '6537807-fedora-rawhide-x86_64', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-requests-80586075/ocaml-psmt2-frontend /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-requests-80586075/ocaml-psmt2-frontend', '/var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend'... Running: git checkout ac020716cd021b6f0e1e359307ccf1d00335d50f -- cmd: ['git', 'checkout', 'ac020716cd021b6f0e1e359307ccf1d00335d50f', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend rc: 0 stdout: stderr: Note: switching to 'ac020716cd021b6f0e1e359307ccf1d00335d50f'. 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 ac02071 automatic import of ocaml-psmt2-frontend Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/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/thrnciar/python-requests-80586075/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 932k 0 --:--:-- --:--:-- --:--:-- 934k INFO: Reading stdout from command: md5sum psmt2-frontend-0.4.0.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1697543517.974435 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.2 starting (python version = 3.11.3, NVR = mock-5.2-1.fc38), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1697543517.974435 -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-fmvkywf3/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(fedora-rawhide-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 5.2 INFO: Mock Version: 5.2 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1697543517.974435/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using bootstrap image: registry.fedoraproject.org/fedora:rawhide INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide INFO: Copy content of container registry.fedoraproject.org/fedora:rawhide to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1697543517.974435/root INFO: Checking that registry.fedoraproject.org/fedora:rawhide image matches host's architecture INFO: mounting registry.fedoraproject.org/fedora:rawhide with podman image mount INFO: image registry.fedoraproject.org/fedora:rawhide as /var/lib/containers/storage/overlay/efc74c25f3b7f326dc6dda95cacd11f7f14bcd52f291c2e191b36470ebb1f83f/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/efc74c25f3b7f326dc6dda95cacd11f7f14bcd52f291c2e191b36470ebb1f83f/merged) with podman image umount INFO: Package manager dnf detected and used (fallback) INFO: Bootstrap image not marked ready Start(bootstrap): installing dnf tooling No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 15 MB/s | 1.9 MB 00:00 fedora 414 kB/s | 73 MB 03:00 Last metadata expiration check: 0:00:01 ago on Tue Oct 17 11:52:42 2023. Package python3-dnf-4.17.0-6.fc40.noarch is already installed. Dependencies resolved. ================================================================================ Package Arch Version Repository Size ================================================================================ Installing: python3-dnf-plugins-core noarch 4.4.3-1.fc40 copr_base 302 k Installing dependencies: dbus-libs x86_64 1:1.14.10-1.fc40 fedora 155 k python3-dateutil noarch 1:2.8.2-10.fc39 fedora 355 k python3-dbus x86_64 1.3.2-4.fc39 fedora 157 k python3-distro noarch 1.8.0-6.fc39 fedora 49 k python3-six noarch 1.16.0-12.fc39 fedora 41 k python3-systemd x86_64 235-5.fc39 fedora 107 k Transaction Summary ================================================================================ Install 7 Packages Total download size: 1.1 M Installed size: 3.6 M Downloading Packages: (1/7): python3-dnf-plugins-core-4.4.3-1.fc40.no 5.3 MB/s | 302 kB 00:00 (2/7): dbus-libs-1.14.10-1.fc40.x86_64.rpm 785 kB/s | 155 kB 00:00 (3/7): python3-dbus-1.3.2-4.fc39.x86_64.rpm 33 kB/s | 157 kB 00:04 (4/7): python3-dateutil-2.8.2-10.fc39.noarch.rp 72 kB/s | 355 kB 00:04 (5/7): python3-distro-1.8.0-6.fc39.noarch.rpm 10 kB/s | 49 kB 00:04 (6/7): python3-systemd-235-5.fc39.x86_64.rpm 733 kB/s | 107 kB 00:00 (7/7): python3-six-1.16.0-12.fc39.noarch.rpm 4.8 kB/s | 41 kB 00:08 -------------------------------------------------------------------------------- Total 87 kB/s | 1.1 MB 00:13 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python3-systemd-235-5.fc39.x86_64 1/7 Installing : python3-six-1.16.0-12.fc39.noarch 2/7 Installing : python3-dateutil-1:2.8.2-10.fc39.noarch 3/7 Installing : python3-distro-1.8.0-6.fc39.noarch 4/7 Installing : dbus-libs-1:1.14.10-1.fc40.x86_64 5/7 Installing : python3-dbus-1.3.2-4.fc39.x86_64 6/7 Installing : python3-dnf-plugins-core-4.4.3-1.fc40.noarch 7/7 Running scriptlet: python3-dnf-plugins-core-4.4.3-1.fc40.noarch 7/7 Verifying : python3-dnf-plugins-core-4.4.3-1.fc40.noarch 1/7 Verifying : dbus-libs-1:1.14.10-1.fc40.x86_64 2/7 Verifying : python3-dateutil-1:2.8.2-10.fc39.noarch 3/7 Verifying : python3-dbus-1.3.2-4.fc39.x86_64 4/7 Verifying : python3-distro-1.8.0-6.fc39.noarch 5/7 Verifying : python3-six-1.16.0-12.fc39.noarch 6/7 Verifying : python3-systemd-235-5.fc39.x86_64 7/7 Installed: dbus-libs-1:1.14.10-1.fc40.x86_64 python3-dateutil-1:2.8.2-10.fc39.noarch python3-dbus-1.3.2-4.fc39.x86_64 python3-distro-1.8.0-6.fc39.noarch python3-dnf-plugins-core-4.4.3-1.fc40.noarch python3-six-1.16.0-12.fc39.noarch python3-systemd-235-5.fc39.x86_64 Complete! Finish(bootstrap): installing dnf tooling Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/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 dnf detected and used (direct choice) Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 12 MB/s | 2.0 MB 00:00 fedora 905 kB/s | 73 MB 01:22 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing group/module packages: bash x86_64 5.2.15-5.fc39 fedora 1.8 M bzip2 x86_64 1.0.8-16.fc39 fedora 52 k coreutils x86_64 9.4-1.fc40 fedora 1.1 M cpio x86_64 2.14-4.fc39 fedora 279 k diffutils x86_64 3.10-3.fc39 fedora 398 k fedora-release-common noarch 40-0.14 fedora 19 k findutils x86_64 1:4.9.0-6.fc40 fedora 492 k gawk x86_64 5.2.2-2.fc39 fedora 1.1 M glibc-minimal-langpack x86_64 2.38.9000-12.fc40 fedora 76 k grep x86_64 3.11-5.fc40 fedora 298 k gzip x86_64 1.12-6.fc39 fedora 166 k info x86_64 7.0.3-3.fc39 fedora 182 k patch x86_64 2.7.6-22.fc39 fedora 125 k redhat-rpm-config noarch 269-1.fc40 fedora 81 k rpm-build x86_64 4.19.0-1.fc40 fedora 79 k sed x86_64 4.8-14.fc39 fedora 306 k shadow-utils x86_64 2:4.14.0-2.fc40 fedora 1.3 M tar x86_64 2:1.35-2.fc40 fedora 864 k unzip x86_64 6.0-62.fc39 fedora 184 k util-linux x86_64 2.39.2-1.fc40 fedora 1.2 M which x86_64 2.21-40.fc39 fedora 42 k xz x86_64 5.4.4-1.fc39 fedora 556 k Installing dependencies: alternatives x86_64 1.25-1.fc39 fedora 39 k ansible-srpm-macros noarch 1-11.fc39 fedora 21 k audit-libs x86_64 3.1.2-4.fc40 fedora 117 k authselect x86_64 1.4.3-1.fc40 fedora 149 k authselect-libs x86_64 1.4.3-1.fc40 fedora 249 k basesystem noarch 11-18.fc39 fedora 7.2 k binutils x86_64 2.41-7.fc40 fedora 6.3 M binutils-gold x86_64 2.41-7.fc40 fedora 796 k bzip2-libs x86_64 1.0.8-16.fc39 fedora 41 k ca-certificates noarch 2023.2.62_v7.0.401-4.fc40 fedora 863 k coreutils-common x86_64 9.4-1.fc40 fedora 2.1 M cracklib x86_64 2.9.11-2.fc39 fedora 94 k crypto-policies noarch 20230920-1.git570ea89.fc40 fedora 99 k curl x86_64 8.4.0-1.fc40 fedora 362 k cyrus-sasl-lib x86_64 2.1.28-11.fc39 fedora 793 k debugedit x86_64 5.0-10.fc39 fedora 77 k dwz x86_64 0.15-3.fc39 fedora 134 k ed x86_64 1.19-4.fc39 fedora 79 k efi-srpm-macros noarch 5-9.fc39 fedora 22 k elfutils x86_64 0.189-6.fc40 fedora 535 k elfutils-debuginfod-client x86_64 0.189-6.fc40 fedora 38 k elfutils-default-yama-scope noarch 0.189-6.fc40 fedora 13 k elfutils-libelf x86_64 0.189-6.fc40 fedora 195 k elfutils-libs x86_64 0.189-6.fc40 fedora 258 k fedora-gpg-keys noarch 40-0.2 fedora 130 k fedora-release noarch 40-0.14 fedora 8.8 k fedora-release-identity-basic noarch 40-0.14 fedora 9.6 k fedora-repos noarch 40-0.2 fedora 9.3 k fedora-repos-rawhide noarch 40-0.2 fedora 8.9 k file x86_64 5.45-1.fc40 fedora 49 k file-libs x86_64 5.45-1.fc40 fedora 763 k filesystem x86_64 3.18-6.fc39 fedora 1.1 M fonts-srpm-macros noarch 1:2.0.5-12.fc39 fedora 26 k forge-srpm-macros noarch 0.1.0-1.fc40 fedora 18 k fpc-srpm-macros noarch 1.3-8.fc39 fedora 7.4 k gdb-minimal x86_64 13.2-11.fc40 fedora 4.2 M gdbm-libs x86_64 1:1.23-4.fc39 fedora 56 k ghc-srpm-macros noarch 1.6.1-3.fc40 fedora 8.1 k glibc x86_64 2.38.9000-12.fc40 fedora 2.2 M glibc-common x86_64 2.38.9000-12.fc40 fedora 358 k glibc-gconv-extra x86_64 2.38.9000-12.fc40 fedora 1.6 M gmp x86_64 1:6.2.1-5.fc39 fedora 313 k gnat-srpm-macros noarch 6-3.fc39 fedora 8.8 k go-srpm-macros noarch 3.2.0-7.fc40 fedora 27 k jansson x86_64 2.13.1-7.fc40 copr_base 45 k kernel-srpm-macros noarch 1.0-20.fc39 fedora 10 k keyutils-libs x86_64 1.6.1-7.fc39 fedora 31 k krb5-libs x86_64 1.21.2-2.fc40 copr_base 761 k libacl x86_64 2.3.1-10.fc40 fedora 23 k libarchive x86_64 3.7.2-1.fc40 fedora 408 k libattr x86_64 2.5.1-9.fc40 fedora 18 k libblkid x86_64 2.39.2-1.fc40 fedora 116 k libbrotli x86_64 1.1.0-1.fc40 fedora 336 k libcap x86_64 2.48-7.fc39 fedora 68 k libcap-ng x86_64 0.8.3-8.fc40 fedora 32 k libcom_err x86_64 1.47.0-2.fc39 fedora 26 k libcurl x86_64 8.4.0-1.fc40 fedora 343 k libdb x86_64 5.3.28-58.fc40 fedora 759 k libeconf x86_64 0.5.2-1.fc40 fedora 30 k libevent x86_64 2.1.12-9.fc39 fedora 258 k libfdisk x86_64 2.39.2-1.fc40 fedora 162 k libffi x86_64 3.4.4-4.fc39 fedora 40 k libgcc x86_64 13.2.1-4.fc40 fedora 111 k libgomp x86_64 13.2.1-4.fc40 fedora 320 k libidn2 x86_64 2.3.4-3.fc39 fedora 117 k libmount x86_64 2.39.2-1.fc40 fedora 154 k libnghttp2 x86_64 1.57.0-2.fc40 fedora 76 k libnsl2 x86_64 2.0.0-6.fc39 fedora 30 k libpkgconf x86_64 1.9.5-2.fc39 fedora 38 k libpsl x86_64 0.21.2-4.fc39 fedora 63 k libpwquality x86_64 1.4.5-6.fc39 fedora 120 k libselinux x86_64 3.5-5.fc39 fedora 87 k libsemanage x86_64 3.5-4.fc39 fedora 120 k libsepol x86_64 3.5-2.fc39 fedora 324 k libsigsegv x86_64 2.14-5.fc39 fedora 27 k libsmartcols x86_64 2.39.2-1.fc40 fedora 67 k libssh x86_64 0.10.5-2.fc39 fedora 211 k libssh-config noarch 0.10.5-2.fc39 fedora 9.2 k libstdc++ x86_64 13.2.1-4.fc40 fedora 862 k libtasn1 x86_64 4.19.0-3.fc39 fedora 74 k libtirpc x86_64 1.3.4-0.fc40 fedora 94 k libunistring x86_64 1.1-5.fc40 fedora 543 k libutempter x86_64 1.2.1-10.fc39 fedora 26 k libuuid x86_64 2.39.2-1.fc40 fedora 28 k libverto x86_64 0.3.2-6.fc39 fedora 20 k libxcrypt x86_64 4.4.36-2.fc39 fedora 119 k libxml2 x86_64 2.11.5-1.fc40 fedora 698 k libzstd x86_64 1.5.5-4.fc39 fedora 309 k lua-libs x86_64 5.4.6-3.fc39 fedora 133 k lua-srpm-macros noarch 1-9.fc39 fedora 8.6 k lz4-libs x86_64 1.9.4-4.fc39 fedora 67 k mpfr x86_64 4.2.1-1.fc40 fedora 343 k ncurses-base noarch 6.4-8.20231001.fc40 fedora 88 k ncurses-libs x86_64 6.4-8.20231001.fc40 fedora 338 k ocaml-srpm-macros noarch 9-1.fc40 fedora 9.0 k openblas-srpm-macros noarch 2-14.fc39 fedora 7.5 k openldap x86_64 2.6.6-1.fc39 fedora 255 k openssl-libs x86_64 1:3.1.1-4.fc40 fedora 2.2 M p11-kit x86_64 0.25.0-2.fc39 fedora 486 k p11-kit-trust x86_64 0.25.0-2.fc39 fedora 142 k package-notes-srpm-macros noarch 0.5-9.fc39 fedora 11 k pam x86_64 1.5.3-2.fc39 fedora 548 k pam-libs x86_64 1.5.3-2.fc39 fedora 58 k pcre2 x86_64 10.42-1.fc39.2 fedora 233 k pcre2-syntax noarch 10.42-1.fc39.2 fedora 143 k perl-srpm-macros noarch 1-51.fc39 fedora 8.0 k pkgconf x86_64 1.9.5-2.fc39 fedora 42 k pkgconf-m4 noarch 1.9.5-2.fc39 fedora 14 k pkgconf-pkg-config x86_64 1.9.5-2.fc39 fedora 9.6 k popt x86_64 1.19-3.fc39 fedora 66 k publicsuffix-list-dafsa noarch 20230812-1.fc40 fedora 57 k pyproject-srpm-macros noarch 1.10.0-1.fc40 fedora 14 k python-srpm-macros noarch 3.12-4.fc40 fedora 25 k qt5-srpm-macros noarch 5.15.11-1.fc40 fedora 8.3 k qt6-srpm-macros noarch 6.5.3-1.fc40 fedora 8.6 k readline x86_64 8.2-4.fc39 fedora 213 k rpm x86_64 4.19.0-1.fc40 fedora 538 k rpm-build-libs x86_64 4.19.0-1.fc40 fedora 96 k rpm-libs x86_64 4.19.0-1.fc40 fedora 312 k rpm-sequoia x86_64 1.5.0-1.fc40 fedora 883 k rust-srpm-macros noarch 25.2-2.fc40 fedora 13 k setup noarch 2.14.4-1.fc39 fedora 154 k sqlite-libs x86_64 3.43.1-1.fc40 fedora 688 k systemd-libs x86_64 254.5-2.fc40 fedora 688 k util-linux-core x86_64 2.39.2-1.fc40 fedora 493 k xxhash-libs x86_64 0.8.2-1.fc39 fedora 37 k xz-libs x86_64 5.4.4-1.fc39 fedora 108 k zip x86_64 3.0-39.fc40 fedora 266 k zlib x86_64 1.2.13-4.fc39 fedora 94 k zstd x86_64 1.5.5-4.fc39 fedora 482 k Installing Groups: Buildsystem building group Transaction Summary ================================================================================ Install 152 Packages Total download size: 53 M Installed size: 181 M Downloading Packages: (1/152): jansson-2.13.1-7.fc40.x86_64.rpm 623 kB/s | 45 kB 00:00 (2/152): krb5-libs-1.21.2-2.fc40.x86_64.rpm 7.0 MB/s | 761 kB 00:00 (3/152): alternatives-1.25-1.fc39.x86_64.rpm 174 kB/s | 39 kB 00:00 (4/152): ansible-srpm-macros-1-11.fc39.noarch.r 115 kB/s | 21 kB 00:00 (5/152): audit-libs-3.1.2-4.fc40.x86_64.rpm 328 kB/s | 117 kB 00:00 (6/152): authselect-libs-1.4.3-1.fc40.x86_64.rp 887 kB/s | 249 kB 00:00 (7/152): basesystem-11-18.fc39.noarch.rpm 60 kB/s | 7.2 kB 00:00 (8/152): authselect-1.4.3-1.fc40.x86_64.rpm 394 kB/s | 149 kB 00:00 (9/152): bash-5.2.15-5.fc39.x86_64.rpm 7.3 MB/s | 1.8 MB 00:00 (10/152): bzip2-1.0.8-16.fc39.x86_64.rpm 225 kB/s | 52 kB 00:00 (11/152): binutils-2.41-7.fc40.x86_64.rpm 13 MB/s | 6.3 MB 00:00 (12/152): bzip2-libs-1.0.8-16.fc39.x86_64.rpm 682 kB/s | 41 kB 00:00 (13/152): binutils-gold-2.41-7.fc40.x86_64.rpm 1.5 MB/s | 796 kB 00:00 (14/152): ca-certificates-2023.2.62_v7.0.401-4. 744 kB/s | 863 kB 00:01 (15/152): coreutils-common-9.4-1.fc40.x86_64.rp 1.9 MB/s | 2.1 MB 00:01 (16/152): coreutils-9.4-1.fc40.x86_64.rpm 978 kB/s | 1.1 MB 00:01 (17/152): cpio-2.14-4.fc39.x86_64.rpm 1.6 MB/s | 279 kB 00:00 (18/152): crypto-policies-20230920-1.git570ea89 281 kB/s | 99 kB 00:00 (19/152): curl-8.4.0-1.fc40.x86_64.rpm 1.5 MB/s | 362 kB 00:00 (20/152): cracklib-2.9.11-2.fc39.x86_64.rpm 76 kB/s | 94 kB 00:01 (21/152): cyrus-sasl-lib-2.1.28-11.fc39.x86_64. 875 kB/s | 793 kB 00:00 (22/152): diffutils-3.10-3.fc39.x86_64.rpm 2.1 MB/s | 398 kB 00:00 (23/152): debugedit-5.0-10.fc39.x86_64.rpm 74 kB/s | 77 kB 00:01 (24/152): dwz-0.15-3.fc39.x86_64.rpm 753 kB/s | 134 kB 00:00 (25/152): ed-1.19-4.fc39.x86_64.rpm 1.2 MB/s | 79 kB 00:00 (26/152): efi-srpm-macros-5-9.fc39.noarch.rpm 328 kB/s | 22 kB 00:00 (27/152): elfutils-0.189-6.fc40.x86_64.rpm 8.1 MB/s | 535 kB 00:00 (28/152): elfutils-default-yama-scope-0.189-6.f 16 kB/s | 13 kB 00:00 (29/152): elfutils-debuginfod-client-0.189-6.fc 44 kB/s | 38 kB 00:00 (30/152): fedora-gpg-keys-40-0.2.noarch.rpm 203 kB/s | 130 kB 00:00 (31/152): fedora-release-40-0.14.noarch.rpm 71 kB/s | 8.8 kB 00:00 (32/152): elfutils-libelf-0.189-6.fc40.x86_64.r 121 kB/s | 195 kB 00:01 (33/152): elfutils-libs-0.189-6.fc40.x86_64.rpm 312 kB/s | 258 kB 00:00 (34/152): fedora-release-common-40-0.14.noarch. 228 kB/s | 19 kB 00:00 (35/152): fedora-release-identity-basic-40-0.14 42 kB/s | 9.6 kB 00:00 (36/152): fedora-repos-rawhide-40-0.2.noarch.rp 54 kB/s | 8.9 kB 00:00 (37/152): fedora-repos-40-0.2.noarch.rpm 48 kB/s | 9.3 kB 00:00 (38/152): file-5.45-1.fc40.x86_64.rpm 24 kB/s | 49 kB 00:02 (39/152): file-libs-5.45-1.fc40.x86_64.rpm 362 kB/s | 763 kB 00:02 (40/152): filesystem-3.18-6.fc39.x86_64.rpm 526 kB/s | 1.1 MB 00:02 (41/152): fonts-srpm-macros-2.0.5-12.fc39.noarc 352 kB/s | 26 kB 00:00 (42/152): forge-srpm-macros-0.1.0-1.fc40.noarch 218 kB/s | 18 kB 00:00 (43/152): gawk-5.2.2-2.fc39.x86_64.rpm 1.7 MB/s | 1.1 MB 00:00 (44/152): fpc-srpm-macros-1.3-8.fc39.noarch.rpm 11 kB/s | 7.4 kB 00:00 (45/152): gdb-minimal-13.2-11.fc40.x86_64.rpm 9.6 MB/s | 4.2 MB 00:00 (46/152): ghc-srpm-macros-1.6.1-3.fc40.noarch.r 20 kB/s | 8.1 kB 00:00 (47/152): gdbm-libs-1.23-4.fc39.x86_64.rpm 36 kB/s | 56 kB 00:01 (48/152): findutils-4.9.0-6.fc40.x86_64.rpm 212 kB/s | 492 kB 00:02 (49/152): glibc-2.38.9000-12.fc40.x86_64.rpm 2.8 MB/s | 2.2 MB 00:00 (50/152): glibc-common-2.38.9000-12.fc40.x86_64 2.6 MB/s | 358 kB 00:00 (51/152): glibc-minimal-langpack-2.38.9000-12.f 641 kB/s | 76 kB 00:00 (52/152): gmp-6.2.1-5.fc39.x86_64.rpm 2.2 MB/s | 313 kB 00:00 (53/152): gnat-srpm-macros-6-3.fc39.noarch.rpm 82 kB/s | 8.8 kB 00:00 (54/152): glibc-gconv-extra-2.38.9000-12.fc40.x 5.9 MB/s | 1.6 MB 00:00 (55/152): grep-3.11-5.fc40.x86_64.rpm 1.1 MB/s | 298 kB 00:00 (56/152): go-srpm-macros-3.2.0-7.fc40.noarch.rp 104 kB/s | 27 kB 00:00 (57/152): gzip-1.12-6.fc39.x86_64.rpm 624 kB/s | 166 kB 00:00 (58/152): info-7.0.3-3.fc39.x86_64.rpm 1.7 MB/s | 182 kB 00:00 (59/152): kernel-srpm-macros-1.0-20.fc39.noarch 22 kB/s | 10 kB 00:00 (60/152): keyutils-libs-1.6.1-7.fc39.x86_64.rpm 69 kB/s | 31 kB 00:00 (61/152): libacl-2.3.1-10.fc40.x86_64.rpm 22 kB/s | 23 kB 00:01 (62/152): libattr-2.5.1-9.fc40.x86_64.rpm 15 kB/s | 18 kB 00:01 (63/152): libarchive-3.7.2-1.fc40.x86_64.rpm 336 kB/s | 408 kB 00:01 (64/152): libblkid-2.39.2-1.fc40.x86_64.rpm 219 kB/s | 116 kB 00:00 (65/152): libbrotli-1.1.0-1.fc40.x86_64.rpm 320 kB/s | 336 kB 00:01 (66/152): libcap-2.48-7.fc39.x86_64.rpm 63 kB/s | 68 kB 00:01 (67/152): libcap-ng-0.8.3-8.fc40.x86_64.rpm 29 kB/s | 32 kB 00:01 (68/152): libdb-5.3.28-58.fc40.x86_64.rpm 4.3 MB/s | 759 kB 00:00 (69/152): libcom_err-1.47.0-2.fc39.x86_64.rpm 114 kB/s | 26 kB 00:00 (70/152): libcurl-8.4.0-1.fc40.x86_64.rpm 1.4 MB/s | 343 kB 00:00 (71/152): libevent-2.1.12-9.fc39.x86_64.rpm 4.2 MB/s | 258 kB 00:00 (72/152): libeconf-0.5.2-1.fc40.x86_64.rpm 366 kB/s | 30 kB 00:00 (73/152): libfdisk-2.39.2-1.fc40.x86_64.rpm 383 kB/s | 162 kB 00:00 (74/152): libffi-3.4.4-4.fc39.x86_64.rpm 96 kB/s | 40 kB 00:00 (75/152): libgcc-13.2.1-4.fc40.x86_64.rpm 269 kB/s | 111 kB 00:00 (76/152): libgomp-13.2.1-4.fc40.x86_64.rpm 4.4 MB/s | 320 kB 00:00 (77/152): libidn2-2.3.4-3.fc39.x86_64.rpm 1.7 MB/s | 117 kB 00:00 (78/152): libmount-2.39.2-1.fc40.x86_64.rpm 1.4 MB/s | 154 kB 00:00 (79/152): libnghttp2-1.57.0-2.fc40.x86_64.rpm 1.1 MB/s | 76 kB 00:00 (80/152): libnsl2-2.0.0-6.fc39.x86_64.rpm 405 kB/s | 30 kB 00:00 (81/152): libpkgconf-1.9.5-2.fc39.x86_64.rpm 107 kB/s | 38 kB 00:00 (82/152): libpsl-0.21.2-4.fc39.x86_64.rpm 178 kB/s | 63 kB 00:00 (83/152): libpwquality-1.4.5-6.fc39.x86_64.rpm 339 kB/s | 120 kB 00:00 (84/152): libsemanage-3.5-4.fc39.x86_64.rpm 156 kB/s | 120 kB 00:00 (85/152): libsepol-3.5-2.fc39.x86_64.rpm 395 kB/s | 324 kB 00:00 (86/152): libsigsegv-2.14-5.fc39.x86_64.rpm 35 kB/s | 27 kB 00:00 (87/152): libselinux-3.5-5.fc39.x86_64.rpm 53 kB/s | 87 kB 00:01 (88/152): libsmartcols-2.39.2-1.fc40.x86_64.rpm 76 kB/s | 67 kB 00:00 (89/152): libssh-config-0.10.5-2.fc39.noarch.rp 58 kB/s | 9.2 kB 00:00 (90/152): libssh-0.10.5-2.fc39.x86_64.rpm 513 kB/s | 211 kB 00:00 (91/152): libstdc++-13.2.1-4.fc40.x86_64.rpm 2.6 MB/s | 862 kB 00:00 (92/152): libtasn1-4.19.0-3.fc39.x86_64.rpm 252 kB/s | 74 kB 00:00 (93/152): libtirpc-1.3.4-0.fc40.x86_64.rpm 737 kB/s | 94 kB 00:00 (94/152): libunistring-1.1-5.fc40.x86_64.rpm 5.2 MB/s | 543 kB 00:00 (95/152): libutempter-1.2.1-10.fc39.x86_64.rpm 394 kB/s | 26 kB 00:00 (96/152): libuuid-2.39.2-1.fc40.x86_64.rpm 327 kB/s | 28 kB 00:00 (97/152): libverto-0.3.2-6.fc39.x86_64.rpm 107 kB/s | 20 kB 00:00 (98/152): libxcrypt-4.4.36-2.fc39.x86_64.rpm 614 kB/s | 119 kB 00:00 (99/152): lua-libs-5.4.6-3.fc39.x86_64.rpm 2.2 MB/s | 133 kB 00:00 (100/152): lua-srpm-macros-1-9.fc39.noarch.rpm 147 kB/s | 8.6 kB 00:00 (101/152): libzstd-1.5.5-4.fc39.x86_64.rpm 2.1 MB/s | 309 kB 00:00 (102/152): lz4-libs-1.9.4-4.fc39.x86_64.rpm 1.1 MB/s | 67 kB 00:00 (103/152): mpfr-4.2.1-1.fc40.x86_64.rpm 2.5 MB/s | 343 kB 00:00 (104/152): ncurses-base-6.4-8.20231001.fc40.noa 634 kB/s | 88 kB 00:00 (105/152): ocaml-srpm-macros-9-1.fc40.noarch.rp 103 kB/s | 9.0 kB 00:00 (106/152): libxml2-2.11.5-1.fc40.x86_64.rpm 1.2 MB/s | 698 kB 00:00 (107/152): ncurses-libs-6.4-8.20231001.fc40.x86 2.2 MB/s | 338 kB 00:00 (108/152): openblas-srpm-macros-2-14.fc39.noarc 68 kB/s | 7.5 kB 00:00 (109/152): openldap-2.6.6-1.fc39.x86_64.rpm 1.6 MB/s | 255 kB 00:00 (110/152): p11-kit-0.25.0-2.fc39.x86_64.rpm 6.1 MB/s | 486 kB 00:00 (111/152): openssl-libs-3.1.1-4.fc40.x86_64.rpm 8.7 MB/s | 2.2 MB 00:00 (112/152): package-notes-srpm-macros-0.5-9.fc39 133 kB/s | 11 kB 00:00 (113/152): pam-libs-1.5.3-2.fc39.x86_64.rpm 772 kB/s | 58 kB 00:00 (114/152): pam-1.5.3-2.fc39.x86_64.rpm 5.4 MB/s | 548 kB 00:00 (115/152): p11-kit-trust-0.25.0-2.fc39.x86_64.r 699 kB/s | 142 kB 00:00 (116/152): patch-2.7.6-22.fc39.x86_64.rpm 1.8 MB/s | 125 kB 00:00 (117/152): pcre2-10.42-1.fc39.2.x86_64.rpm 3.0 MB/s | 233 kB 00:00 (118/152): pcre2-syntax-10.42-1.fc39.2.noarch.r 1.2 MB/s | 143 kB 00:00 (119/152): perl-srpm-macros-1-51.fc39.noarch.rp 48 kB/s | 8.0 kB 00:00 (120/152): pkgconf-pkg-config-1.9.5-2.fc39.x86_ 101 kB/s | 9.6 kB 00:00 (121/152): popt-1.19-3.fc39.x86_64.rpm 1.1 MB/s | 66 kB 00:00 (122/152): publicsuffix-list-dafsa-20230812-1.f 777 kB/s | 57 kB 00:00 (123/152): pyproject-srpm-macros-1.10.0-1.fc40. 76 kB/s | 14 kB 00:00 (124/152): python-srpm-macros-3.12-4.fc40.noarc 381 kB/s | 25 kB 00:00 (125/152): qt5-srpm-macros-5.15.11-1.fc40.noarc 93 kB/s | 8.3 kB 00:00 (126/152): qt6-srpm-macros-6.5.3-1.fc40.noarch. 107 kB/s | 8.6 kB 00:00 (127/152): readline-8.2-4.fc39.x86_64.rpm 773 kB/s | 213 kB 00:00 (128/152): redhat-rpm-config-269-1.fc40.noarch. 1.3 MB/s | 81 kB 00:00 (129/152): rpm-4.19.0-1.fc40.x86_64.rpm 7.2 MB/s | 538 kB 00:00 (130/152): pkgconf-1.9.5-2.fc39.x86_64.rpm 26 kB/s | 42 kB 00:01 (131/152): rpm-build-4.19.0-1.fc40.x86_64.rpm 175 kB/s | 79 kB 00:00 (132/152): pkgconf-m4-1.9.5-2.fc39.noarch.rpm 7.6 kB/s | 14 kB 00:01 (133/152): rpm-build-libs-4.19.0-1.fc40.x86_64. 258 kB/s | 96 kB 00:00 (134/152): rpm-libs-4.19.0-1.fc40.x86_64.rpm 948 kB/s | 312 kB 00:00 (135/152): sed-4.8-14.fc39.x86_64.rpm 2.6 MB/s | 306 kB 00:00 (136/152): rust-srpm-macros-25.2-2.fc40.noarch. 93 kB/s | 13 kB 00:00 (137/152): rpm-sequoia-1.5.0-1.fc40.x86_64.rpm 2.2 MB/s | 883 kB 00:00 (138/152): setup-2.14.4-1.fc39.noarch.rpm 413 kB/s | 154 kB 00:00 (139/152): shadow-utils-4.14.0-2.fc40.x86_64.rp 3.5 MB/s | 1.3 MB 00:00 (140/152): systemd-libs-254.5-2.fc40.x86_64.rpm 8.7 MB/s | 688 kB 00:00 (141/152): sqlite-libs-3.43.1-1.fc40.x86_64.rpm 1.7 MB/s | 688 kB 00:00 (142/152): unzip-6.0-62.fc39.x86_64.rpm 1.1 MB/s | 184 kB 00:00 (143/152): tar-1.35-2.fc40.x86_64.rpm 3.2 MB/s | 864 kB 00:00 (144/152): util-linux-core-2.39.2-1.fc40.x86_64 457 kB/s | 493 kB 00:01 (145/152): which-2.21-40.fc39.x86_64.rpm 40 kB/s | 42 kB 00:01 (146/152): xz-5.4.4-1.fc39.x86_64.rpm 5.5 MB/s | 556 kB 00:00 (147/152): xxhash-libs-0.8.2-1.fc39.x86_64.rpm 327 kB/s | 37 kB 00:00 (148/152): xz-libs-5.4.4-1.fc39.x86_64.rpm 1.4 MB/s | 108 kB 00:00 (149/152): util-linux-2.39.2-1.fc40.x86_64.rpm 887 kB/s | 1.2 MB 00:01 (150/152): zip-3.0-39.fc40.x86_64.rpm 1.6 MB/s | 266 kB 00:00 (151/152): zstd-1.5.5-4.fc39.x86_64.rpm 1.3 MB/s | 482 kB 00:00 (152/152): zlib-1.2.13-4.fc39.x86_64.rpm 180 kB/s | 94 kB 00:00 -------------------------------------------------------------------------------- Total 2.4 MB/s | 53 MB 00:22 fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0xA15B79CC: Userid : "Fedora (40) " Fingerprint: 115D F9AE F857 853E E844 5D0A 0727 707E A15B 79CC From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary Key imported successfully fedora 1.6 MB/s | 1.6 kB 00:00 GPG key at file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary (0xA15B79CC) is already installed fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x18B8E74C: Userid : "Fedora (39) " Fingerprint: E8F2 3996 F232 1864 0CB4 4CBE 75CF 5AC4 18B8 E74C From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-39-primary Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-6.fc39.x86_64 1/1 Preparing : 1/1 Installing : libgcc-13.2.1-4.fc40.x86_64 1/152 Running scriptlet: libgcc-13.2.1-4.fc40.x86_64 1/152 Installing : crypto-policies-20230920-1.git570ea89.fc40.noarc 2/152 Running scriptlet: crypto-policies-20230920-1.git570ea89.fc40.noarc 2/152 Installing : fedora-release-identity-basic-40-0.14.noarch 3/152 Installing : fedora-repos-rawhide-40-0.2.noarch 4/152 Installing : fedora-gpg-keys-40-0.2.noarch 5/152 Installing : fedora-repos-40-0.2.noarch 6/152 Installing : fedora-release-common-40-0.14.noarch 7/152 Installing : fedora-release-40-0.14.noarch 8/152 Installing : setup-2.14.4-1.fc39.noarch 9/152 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.4-1.fc39.noarch 9/152 Installing : filesystem-3.18-6.fc39.x86_64 10/152 Installing : basesystem-11-18.fc39.noarch 11/152 Installing : rust-srpm-macros-25.2-2.fc40.noarch 12/152 Installing : qt6-srpm-macros-6.5.3-1.fc40.noarch 13/152 Installing : qt5-srpm-macros-5.15.11-1.fc40.noarch 14/152 Installing : publicsuffix-list-dafsa-20230812-1.fc40.noarch 15/152 Installing : pkgconf-m4-1.9.5-2.fc39.noarch 16/152 Installing : perl-srpm-macros-1-51.fc39.noarch 17/152 Installing : pcre2-syntax-10.42-1.fc39.2.noarch 18/152 Installing : package-notes-srpm-macros-0.5-9.fc39.noarch 19/152 Installing : openblas-srpm-macros-2-14.fc39.noarch 20/152 Installing : ocaml-srpm-macros-9-1.fc40.noarch 21/152 Installing : ncurses-base-6.4-8.20231001.fc40.noarch 22/152 Installing : glibc-gconv-extra-2.38.9000-12.fc40.x86_64 23/152 Running scriptlet: glibc-gconv-extra-2.38.9000-12.fc40.x86_64 23/152 Installing : glibc-minimal-langpack-2.38.9000-12.fc40.x86_64 24/152 Installing : glibc-common-2.38.9000-12.fc40.x86_64 25/152 Running scriptlet: glibc-2.38.9000-12.fc40.x86_64 26/152 Installing : glibc-2.38.9000-12.fc40.x86_64 26/152 Running scriptlet: glibc-2.38.9000-12.fc40.x86_64 26/152 Installing : ncurses-libs-6.4-8.20231001.fc40.x86_64 27/152 Installing : bash-5.2.15-5.fc39.x86_64 28/152 Running scriptlet: bash-5.2.15-5.fc39.x86_64 28/152 Installing : zlib-1.2.13-4.fc39.x86_64 29/152 Installing : xz-libs-5.4.4-1.fc39.x86_64 30/152 Installing : bzip2-libs-1.0.8-16.fc39.x86_64 31/152 Installing : libstdc++-13.2.1-4.fc40.x86_64 32/152 Installing : libuuid-2.39.2-1.fc40.x86_64 33/152 Installing : libzstd-1.5.5-4.fc39.x86_64 34/152 Installing : elfutils-libelf-0.189-6.fc40.x86_64 35/152 Installing : popt-1.19-3.fc39.x86_64 36/152 Installing : libblkid-2.39.2-1.fc40.x86_64 37/152 Installing : readline-8.2-4.fc39.x86_64 38/152 Installing : gmp-1:6.2.1-5.fc39.x86_64 39/152 Installing : libattr-2.5.1-9.fc40.x86_64 40/152 Installing : libacl-2.3.1-10.fc40.x86_64 41/152 Installing : libcap-2.48-7.fc39.x86_64 42/152 Installing : libxcrypt-4.4.36-2.fc39.x86_64 43/152 Installing : lz4-libs-1.9.4-4.fc39.x86_64 44/152 Installing : systemd-libs-254.5-2.fc40.x86_64 45/152 Installing : mpfr-4.2.1-1.fc40.x86_64 46/152 Installing : dwz-0.15-3.fc39.x86_64 47/152 Installing : unzip-6.0-62.fc39.x86_64 48/152 Installing : file-libs-5.45-1.fc40.x86_64 49/152 Installing : file-5.45-1.fc40.x86_64 50/152 Installing : jansson-2.13.1-7.fc40.x86_64 51/152 Installing : alternatives-1.25-1.fc39.x86_64 52/152 Installing : libcap-ng-0.8.3-8.fc40.x86_64 53/152 Installing : audit-libs-3.1.2-4.fc40.x86_64 54/152 Installing : pam-libs-1.5.3-2.fc39.x86_64 55/152 Installing : libcom_err-1.47.0-2.fc39.x86_64 56/152 Installing : libsepol-3.5-2.fc39.x86_64 57/152 Installing : libsmartcols-2.39.2-1.fc40.x86_64 58/152 Installing : libunistring-1.1-5.fc40.x86_64 59/152 Installing : libidn2-2.3.4-3.fc39.x86_64 60/152 Installing : lua-libs-5.4.6-3.fc39.x86_64 61/152 Installing : pcre2-10.42-1.fc39.2.x86_64 62/152 Installing : libselinux-3.5-5.fc39.x86_64 63/152 Installing : sed-4.8-14.fc39.x86_64 64/152 Installing : grep-3.11-5.fc40.x86_64 65/152 Installing : findutils-1:4.9.0-6.fc40.x86_64 66/152 Installing : xz-5.4.4-1.fc39.x86_64 67/152 Installing : libmount-2.39.2-1.fc40.x86_64 68/152 Installing : util-linux-core-2.39.2-1.fc40.x86_64 69/152 Installing : libsemanage-3.5-4.fc39.x86_64 70/152 Installing : tar-2:1.35-2.fc40.x86_64 71/152 Installing : libpsl-0.21.2-4.fc39.x86_64 72/152 Installing : zip-3.0-39.fc40.x86_64 73/152 Installing : zstd-1.5.5-4.fc39.x86_64 74/152 Installing : libfdisk-2.39.2-1.fc40.x86_64 75/152 Installing : bzip2-1.0.8-16.fc39.x86_64 76/152 Installing : libxml2-2.11.5-1.fc40.x86_64 77/152 Installing : sqlite-libs-3.43.1-1.fc40.x86_64 78/152 Installing : ed-1.19-4.fc39.x86_64 79/152 Installing : patch-2.7.6-22.fc39.x86_64 80/152 Installing : elfutils-default-yama-scope-0.189-6.fc40.noarch 81/152 Running scriptlet: elfutils-default-yama-scope-0.189-6.fc40.noarch 81/152 Installing : cpio-2.14-4.fc39.x86_64 82/152 Installing : diffutils-3.10-3.fc39.x86_64 83/152 Installing : gdbm-libs-1:1.23-4.fc39.x86_64 84/152 Installing : cyrus-sasl-lib-2.1.28-11.fc39.x86_64 85/152 Installing : keyutils-libs-1.6.1-7.fc39.x86_64 86/152 Installing : libbrotli-1.1.0-1.fc40.x86_64 87/152 Installing : libdb-5.3.28-58.fc40.x86_64 88/152 Installing : libeconf-0.5.2-1.fc40.x86_64 89/152 Installing : shadow-utils-2:4.14.0-2.fc40.x86_64 90/152 Running scriptlet: libutempter-1.2.1-10.fc39.x86_64 91/152 Installing : libutempter-1.2.1-10.fc39.x86_64 91/152 Installing : libffi-3.4.4-4.fc39.x86_64 92/152 Installing : p11-kit-0.25.0-2.fc39.x86_64 93/152 Installing : libgomp-13.2.1-4.fc40.x86_64 94/152 Installing : libnghttp2-1.57.0-2.fc40.x86_64 95/152 Installing : libpkgconf-1.9.5-2.fc39.x86_64 96/152 Installing : pkgconf-1.9.5-2.fc39.x86_64 97/152 Installing : pkgconf-pkg-config-1.9.5-2.fc39.x86_64 98/152 Installing : libsigsegv-2.14-5.fc39.x86_64 99/152 Installing : gawk-5.2.2-2.fc39.x86_64 100/152 Installing : libtasn1-4.19.0-3.fc39.x86_64 101/152 Installing : p11-kit-trust-0.25.0-2.fc39.x86_64 102/152 Running scriptlet: p11-kit-trust-0.25.0-2.fc39.x86_64 102/152 Installing : libverto-0.3.2-6.fc39.x86_64 103/152 Installing : xxhash-libs-0.8.2-1.fc39.x86_64 104/152 Installing : libssh-config-0.10.5-2.fc39.noarch 105/152 Installing : kernel-srpm-macros-1.0-20.fc39.noarch 106/152 Installing : gnat-srpm-macros-6-3.fc39.noarch 107/152 Installing : ghc-srpm-macros-1.6.1-3.fc40.noarch 108/152 Installing : fpc-srpm-macros-1.3-8.fc39.noarch 109/152 Installing : coreutils-common-9.4-1.fc40.x86_64 110/152 Installing : openssl-libs-1:3.1.1-4.fc40.x86_64 111/152 Installing : coreutils-9.4-1.fc40.x86_64 112/152 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch 113/152 Installing : ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch 113/152 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch 113/152 Installing : krb5-libs-1.21.2-2.fc40.x86_64 114/152 Installing : libtirpc-1.3.4-0.fc40.x86_64 115/152 Running scriptlet: authselect-libs-1.4.3-1.fc40.x86_64 116/152 Installing : authselect-libs-1.4.3-1.fc40.x86_64 116/152 Installing : gzip-1.12-6.fc39.x86_64 117/152 Installing : cracklib-2.9.11-2.fc39.x86_64 118/152 Installing : libpwquality-1.4.5-6.fc39.x86_64 119/152 Installing : authselect-1.4.3-1.fc40.x86_64 120/152 Installing : libnsl2-2.0.0-6.fc39.x86_64 121/152 Installing : pam-1.5.3-2.fc39.x86_64 122/152 Installing : libssh-0.10.5-2.fc39.x86_64 123/152 Installing : libarchive-3.7.2-1.fc40.x86_64 124/152 Installing : libevent-2.1.12-9.fc39.x86_64 125/152 Installing : openldap-2.6.6-1.fc39.x86_64 126/152 Installing : libcurl-8.4.0-1.fc40.x86_64 127/152 Installing : elfutils-libs-0.189-6.fc40.x86_64 128/152 Installing : elfutils-debuginfod-client-0.189-6.fc40.x86_64 129/152 Installing : binutils-2.41-7.fc40.x86_64 130/152 Running scriptlet: binutils-2.41-7.fc40.x86_64 130/152 Installing : binutils-gold-2.41-7.fc40.x86_64 131/152 Running scriptlet: binutils-gold-2.41-7.fc40.x86_64 131/152 Installing : elfutils-0.189-6.fc40.x86_64 132/152 Installing : gdb-minimal-13.2-11.fc40.x86_64 133/152 Installing : debugedit-5.0-10.fc39.x86_64 134/152 Installing : curl-8.4.0-1.fc40.x86_64 135/152 Installing : rpm-sequoia-1.5.0-1.fc40.x86_64 136/152 Installing : rpm-libs-4.19.0-1.fc40.x86_64 137/152 Running scriptlet: rpm-4.19.0-1.fc40.x86_64 138/152 Installing : rpm-4.19.0-1.fc40.x86_64 138/152 Installing : efi-srpm-macros-5-9.fc39.noarch 139/152 Installing : lua-srpm-macros-1-9.fc39.noarch 140/152 Installing : rpm-build-libs-4.19.0-1.fc40.x86_64 141/152 Installing : ansible-srpm-macros-1-11.fc39.noarch 142/152 Installing : fonts-srpm-macros-1:2.0.5-12.fc39.noarch 143/152 Installing : forge-srpm-macros-0.1.0-1.fc40.noarch 144/152 Installing : go-srpm-macros-3.2.0-7.fc40.noarch 145/152 Installing : python-srpm-macros-3.12-4.fc40.noarch 146/152 Installing : redhat-rpm-config-269-1.fc40.noarch 147/152 Installing : rpm-build-4.19.0-1.fc40.x86_64 148/152 Installing : pyproject-srpm-macros-1.10.0-1.fc40.noarch 149/152 Installing : util-linux-2.39.2-1.fc40.x86_64 150/152 Installing : which-2.21-40.fc39.x86_64 151/152 Installing : info-7.0.3-3.fc39.x86_64 152/152 Running scriptlet: filesystem-3.18-6.fc39.x86_64 152/152 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch 152/152 Running scriptlet: authselect-libs-1.4.3-1.fc40.x86_64 152/152 Running scriptlet: rpm-4.19.0-1.fc40.x86_64 152/152 Running scriptlet: info-7.0.3-3.fc39.x86_64 152/152 Verifying : jansson-2.13.1-7.fc40.x86_64 1/152 Verifying : krb5-libs-1.21.2-2.fc40.x86_64 2/152 Verifying : alternatives-1.25-1.fc39.x86_64 3/152 Verifying : ansible-srpm-macros-1-11.fc39.noarch 4/152 Verifying : audit-libs-3.1.2-4.fc40.x86_64 5/152 Verifying : authselect-1.4.3-1.fc40.x86_64 6/152 Verifying : authselect-libs-1.4.3-1.fc40.x86_64 7/152 Verifying : basesystem-11-18.fc39.noarch 8/152 Verifying : bash-5.2.15-5.fc39.x86_64 9/152 Verifying : binutils-2.41-7.fc40.x86_64 10/152 Verifying : binutils-gold-2.41-7.fc40.x86_64 11/152 Verifying : bzip2-1.0.8-16.fc39.x86_64 12/152 Verifying : bzip2-libs-1.0.8-16.fc39.x86_64 13/152 Verifying : ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch 14/152 Verifying : coreutils-9.4-1.fc40.x86_64 15/152 Verifying : coreutils-common-9.4-1.fc40.x86_64 16/152 Verifying : cpio-2.14-4.fc39.x86_64 17/152 Verifying : cracklib-2.9.11-2.fc39.x86_64 18/152 Verifying : crypto-policies-20230920-1.git570ea89.fc40.noarc 19/152 Verifying : curl-8.4.0-1.fc40.x86_64 20/152 Verifying : cyrus-sasl-lib-2.1.28-11.fc39.x86_64 21/152 Verifying : debugedit-5.0-10.fc39.x86_64 22/152 Verifying : diffutils-3.10-3.fc39.x86_64 23/152 Verifying : dwz-0.15-3.fc39.x86_64 24/152 Verifying : ed-1.19-4.fc39.x86_64 25/152 Verifying : efi-srpm-macros-5-9.fc39.noarch 26/152 Verifying : elfutils-0.189-6.fc40.x86_64 27/152 Verifying : elfutils-debuginfod-client-0.189-6.fc40.x86_64 28/152 Verifying : elfutils-default-yama-scope-0.189-6.fc40.noarch 29/152 Verifying : elfutils-libelf-0.189-6.fc40.x86_64 30/152 Verifying : elfutils-libs-0.189-6.fc40.x86_64 31/152 Verifying : fedora-gpg-keys-40-0.2.noarch 32/152 Verifying : fedora-release-40-0.14.noarch 33/152 Verifying : fedora-release-common-40-0.14.noarch 34/152 Verifying : fedora-release-identity-basic-40-0.14.noarch 35/152 Verifying : fedora-repos-40-0.2.noarch 36/152 Verifying : fedora-repos-rawhide-40-0.2.noarch 37/152 Verifying : file-5.45-1.fc40.x86_64 38/152 Verifying : file-libs-5.45-1.fc40.x86_64 39/152 Verifying : filesystem-3.18-6.fc39.x86_64 40/152 Verifying : findutils-1:4.9.0-6.fc40.x86_64 41/152 Verifying : fonts-srpm-macros-1:2.0.5-12.fc39.noarch 42/152 Verifying : forge-srpm-macros-0.1.0-1.fc40.noarch 43/152 Verifying : fpc-srpm-macros-1.3-8.fc39.noarch 44/152 Verifying : gawk-5.2.2-2.fc39.x86_64 45/152 Verifying : gdb-minimal-13.2-11.fc40.x86_64 46/152 Verifying : gdbm-libs-1:1.23-4.fc39.x86_64 47/152 Verifying : ghc-srpm-macros-1.6.1-3.fc40.noarch 48/152 Verifying : glibc-2.38.9000-12.fc40.x86_64 49/152 Verifying : glibc-common-2.38.9000-12.fc40.x86_64 50/152 Verifying : glibc-gconv-extra-2.38.9000-12.fc40.x86_64 51/152 Verifying : glibc-minimal-langpack-2.38.9000-12.fc40.x86_64 52/152 Verifying : gmp-1:6.2.1-5.fc39.x86_64 53/152 Verifying : gnat-srpm-macros-6-3.fc39.noarch 54/152 Verifying : go-srpm-macros-3.2.0-7.fc40.noarch 55/152 Verifying : grep-3.11-5.fc40.x86_64 56/152 Verifying : gzip-1.12-6.fc39.x86_64 57/152 Verifying : info-7.0.3-3.fc39.x86_64 58/152 Verifying : kernel-srpm-macros-1.0-20.fc39.noarch 59/152 Verifying : keyutils-libs-1.6.1-7.fc39.x86_64 60/152 Verifying : libacl-2.3.1-10.fc40.x86_64 61/152 Verifying : libarchive-3.7.2-1.fc40.x86_64 62/152 Verifying : libattr-2.5.1-9.fc40.x86_64 63/152 Verifying : libblkid-2.39.2-1.fc40.x86_64 64/152 Verifying : libbrotli-1.1.0-1.fc40.x86_64 65/152 Verifying : libcap-2.48-7.fc39.x86_64 66/152 Verifying : libcap-ng-0.8.3-8.fc40.x86_64 67/152 Verifying : libcom_err-1.47.0-2.fc39.x86_64 68/152 Verifying : libcurl-8.4.0-1.fc40.x86_64 69/152 Verifying : libdb-5.3.28-58.fc40.x86_64 70/152 Verifying : libeconf-0.5.2-1.fc40.x86_64 71/152 Verifying : libevent-2.1.12-9.fc39.x86_64 72/152 Verifying : libfdisk-2.39.2-1.fc40.x86_64 73/152 Verifying : libffi-3.4.4-4.fc39.x86_64 74/152 Verifying : libgcc-13.2.1-4.fc40.x86_64 75/152 Verifying : libgomp-13.2.1-4.fc40.x86_64 76/152 Verifying : libidn2-2.3.4-3.fc39.x86_64 77/152 Verifying : libmount-2.39.2-1.fc40.x86_64 78/152 Verifying : libnghttp2-1.57.0-2.fc40.x86_64 79/152 Verifying : libnsl2-2.0.0-6.fc39.x86_64 80/152 Verifying : libpkgconf-1.9.5-2.fc39.x86_64 81/152 Verifying : libpsl-0.21.2-4.fc39.x86_64 82/152 Verifying : libpwquality-1.4.5-6.fc39.x86_64 83/152 Verifying : libselinux-3.5-5.fc39.x86_64 84/152 Verifying : libsemanage-3.5-4.fc39.x86_64 85/152 Verifying : libsepol-3.5-2.fc39.x86_64 86/152 Verifying : libsigsegv-2.14-5.fc39.x86_64 87/152 Verifying : libsmartcols-2.39.2-1.fc40.x86_64 88/152 Verifying : libssh-0.10.5-2.fc39.x86_64 89/152 Verifying : libssh-config-0.10.5-2.fc39.noarch 90/152 Verifying : libstdc++-13.2.1-4.fc40.x86_64 91/152 Verifying : libtasn1-4.19.0-3.fc39.x86_64 92/152 Verifying : libtirpc-1.3.4-0.fc40.x86_64 93/152 Verifying : libunistring-1.1-5.fc40.x86_64 94/152 Verifying : libutempter-1.2.1-10.fc39.x86_64 95/152 Verifying : libuuid-2.39.2-1.fc40.x86_64 96/152 Verifying : libverto-0.3.2-6.fc39.x86_64 97/152 Verifying : libxcrypt-4.4.36-2.fc39.x86_64 98/152 Verifying : libxml2-2.11.5-1.fc40.x86_64 99/152 Verifying : libzstd-1.5.5-4.fc39.x86_64 100/152 Verifying : lua-libs-5.4.6-3.fc39.x86_64 101/152 Verifying : lua-srpm-macros-1-9.fc39.noarch 102/152 Verifying : lz4-libs-1.9.4-4.fc39.x86_64 103/152 Verifying : mpfr-4.2.1-1.fc40.x86_64 104/152 Verifying : ncurses-base-6.4-8.20231001.fc40.noarch 105/152 Verifying : ncurses-libs-6.4-8.20231001.fc40.x86_64 106/152 Verifying : ocaml-srpm-macros-9-1.fc40.noarch 107/152 Verifying : openblas-srpm-macros-2-14.fc39.noarch 108/152 Verifying : openldap-2.6.6-1.fc39.x86_64 109/152 Verifying : openssl-libs-1:3.1.1-4.fc40.x86_64 110/152 Verifying : p11-kit-0.25.0-2.fc39.x86_64 111/152 Verifying : p11-kit-trust-0.25.0-2.fc39.x86_64 112/152 Verifying : package-notes-srpm-macros-0.5-9.fc39.noarch 113/152 Verifying : pam-1.5.3-2.fc39.x86_64 114/152 Verifying : pam-libs-1.5.3-2.fc39.x86_64 115/152 Verifying : patch-2.7.6-22.fc39.x86_64 116/152 Verifying : pcre2-10.42-1.fc39.2.x86_64 117/152 Verifying : pcre2-syntax-10.42-1.fc39.2.noarch 118/152 Verifying : perl-srpm-macros-1-51.fc39.noarch 119/152 Verifying : pkgconf-1.9.5-2.fc39.x86_64 120/152 Verifying : pkgconf-m4-1.9.5-2.fc39.noarch 121/152 Verifying : pkgconf-pkg-config-1.9.5-2.fc39.x86_64 122/152 Verifying : popt-1.19-3.fc39.x86_64 123/152 Verifying : publicsuffix-list-dafsa-20230812-1.fc40.noarch 124/152 Verifying : pyproject-srpm-macros-1.10.0-1.fc40.noarch 125/152 Verifying : python-srpm-macros-3.12-4.fc40.noarch 126/152 Verifying : qt5-srpm-macros-5.15.11-1.fc40.noarch 127/152 Verifying : qt6-srpm-macros-6.5.3-1.fc40.noarch 128/152 Verifying : readline-8.2-4.fc39.x86_64 129/152 Verifying : redhat-rpm-config-269-1.fc40.noarch 130/152 Verifying : rpm-4.19.0-1.fc40.x86_64 131/152 Verifying : rpm-build-4.19.0-1.fc40.x86_64 132/152 Verifying : rpm-build-libs-4.19.0-1.fc40.x86_64 133/152 Verifying : rpm-libs-4.19.0-1.fc40.x86_64 134/152 Verifying : rpm-sequoia-1.5.0-1.fc40.x86_64 135/152 Verifying : rust-srpm-macros-25.2-2.fc40.noarch 136/152 Verifying : sed-4.8-14.fc39.x86_64 137/152 Verifying : setup-2.14.4-1.fc39.noarch 138/152 Verifying : shadow-utils-2:4.14.0-2.fc40.x86_64 139/152 Verifying : sqlite-libs-3.43.1-1.fc40.x86_64 140/152 Verifying : systemd-libs-254.5-2.fc40.x86_64 141/152 Verifying : tar-2:1.35-2.fc40.x86_64 142/152 Verifying : unzip-6.0-62.fc39.x86_64 143/152 Verifying : util-linux-2.39.2-1.fc40.x86_64 144/152 Verifying : util-linux-core-2.39.2-1.fc40.x86_64 145/152 Verifying : which-2.21-40.fc39.x86_64 146/152 Verifying : xxhash-libs-0.8.2-1.fc39.x86_64 147/152 Verifying : xz-5.4.4-1.fc39.x86_64 148/152 Verifying : xz-libs-5.4.4-1.fc39.x86_64 149/152 Verifying : zip-3.0-39.fc40.x86_64 150/152 Verifying : zlib-1.2.13-4.fc39.x86_64 151/152 Verifying : zstd-1.5.5-4.fc39.x86_64 152/152 Installed: alternatives-1.25-1.fc39.x86_64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-4.fc40.x86_64 authselect-1.4.3-1.fc40.x86_64 authselect-libs-1.4.3-1.fc40.x86_64 basesystem-11-18.fc39.noarch bash-5.2.15-5.fc39.x86_64 binutils-2.41-7.fc40.x86_64 binutils-gold-2.41-7.fc40.x86_64 bzip2-1.0.8-16.fc39.x86_64 bzip2-libs-1.0.8-16.fc39.x86_64 ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch coreutils-9.4-1.fc40.x86_64 coreutils-common-9.4-1.fc40.x86_64 cpio-2.14-4.fc39.x86_64 cracklib-2.9.11-2.fc39.x86_64 crypto-policies-20230920-1.git570ea89.fc40.noarch curl-8.4.0-1.fc40.x86_64 cyrus-sasl-lib-2.1.28-11.fc39.x86_64 debugedit-5.0-10.fc39.x86_64 diffutils-3.10-3.fc39.x86_64 dwz-0.15-3.fc39.x86_64 ed-1.19-4.fc39.x86_64 efi-srpm-macros-5-9.fc39.noarch elfutils-0.189-6.fc40.x86_64 elfutils-debuginfod-client-0.189-6.fc40.x86_64 elfutils-default-yama-scope-0.189-6.fc40.noarch elfutils-libelf-0.189-6.fc40.x86_64 elfutils-libs-0.189-6.fc40.x86_64 fedora-gpg-keys-40-0.2.noarch fedora-release-40-0.14.noarch fedora-release-common-40-0.14.noarch fedora-release-identity-basic-40-0.14.noarch fedora-repos-40-0.2.noarch fedora-repos-rawhide-40-0.2.noarch file-5.45-1.fc40.x86_64 file-libs-5.45-1.fc40.x86_64 filesystem-3.18-6.fc39.x86_64 findutils-1:4.9.0-6.fc40.x86_64 fonts-srpm-macros-1:2.0.5-12.fc39.noarch forge-srpm-macros-0.1.0-1.fc40.noarch fpc-srpm-macros-1.3-8.fc39.noarch gawk-5.2.2-2.fc39.x86_64 gdb-minimal-13.2-11.fc40.x86_64 gdbm-libs-1:1.23-4.fc39.x86_64 ghc-srpm-macros-1.6.1-3.fc40.noarch glibc-2.38.9000-12.fc40.x86_64 glibc-common-2.38.9000-12.fc40.x86_64 glibc-gconv-extra-2.38.9000-12.fc40.x86_64 glibc-minimal-langpack-2.38.9000-12.fc40.x86_64 gmp-1:6.2.1-5.fc39.x86_64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.2.0-7.fc40.noarch grep-3.11-5.fc40.x86_64 gzip-1.12-6.fc39.x86_64 info-7.0.3-3.fc39.x86_64 jansson-2.13.1-7.fc40.x86_64 kernel-srpm-macros-1.0-20.fc39.noarch keyutils-libs-1.6.1-7.fc39.x86_64 krb5-libs-1.21.2-2.fc40.x86_64 libacl-2.3.1-10.fc40.x86_64 libarchive-3.7.2-1.fc40.x86_64 libattr-2.5.1-9.fc40.x86_64 libblkid-2.39.2-1.fc40.x86_64 libbrotli-1.1.0-1.fc40.x86_64 libcap-2.48-7.fc39.x86_64 libcap-ng-0.8.3-8.fc40.x86_64 libcom_err-1.47.0-2.fc39.x86_64 libcurl-8.4.0-1.fc40.x86_64 libdb-5.3.28-58.fc40.x86_64 libeconf-0.5.2-1.fc40.x86_64 libevent-2.1.12-9.fc39.x86_64 libfdisk-2.39.2-1.fc40.x86_64 libffi-3.4.4-4.fc39.x86_64 libgcc-13.2.1-4.fc40.x86_64 libgomp-13.2.1-4.fc40.x86_64 libidn2-2.3.4-3.fc39.x86_64 libmount-2.39.2-1.fc40.x86_64 libnghttp2-1.57.0-2.fc40.x86_64 libnsl2-2.0.0-6.fc39.x86_64 libpkgconf-1.9.5-2.fc39.x86_64 libpsl-0.21.2-4.fc39.x86_64 libpwquality-1.4.5-6.fc39.x86_64 libselinux-3.5-5.fc39.x86_64 libsemanage-3.5-4.fc39.x86_64 libsepol-3.5-2.fc39.x86_64 libsigsegv-2.14-5.fc39.x86_64 libsmartcols-2.39.2-1.fc40.x86_64 libssh-0.10.5-2.fc39.x86_64 libssh-config-0.10.5-2.fc39.noarch libstdc++-13.2.1-4.fc40.x86_64 libtasn1-4.19.0-3.fc39.x86_64 libtirpc-1.3.4-0.fc40.x86_64 libunistring-1.1-5.fc40.x86_64 libutempter-1.2.1-10.fc39.x86_64 libuuid-2.39.2-1.fc40.x86_64 libverto-0.3.2-6.fc39.x86_64 libxcrypt-4.4.36-2.fc39.x86_64 libxml2-2.11.5-1.fc40.x86_64 libzstd-1.5.5-4.fc39.x86_64 lua-libs-5.4.6-3.fc39.x86_64 lua-srpm-macros-1-9.fc39.noarch lz4-libs-1.9.4-4.fc39.x86_64 mpfr-4.2.1-1.fc40.x86_64 ncurses-base-6.4-8.20231001.fc40.noarch ncurses-libs-6.4-8.20231001.fc40.x86_64 ocaml-srpm-macros-9-1.fc40.noarch openblas-srpm-macros-2-14.fc39.noarch openldap-2.6.6-1.fc39.x86_64 openssl-libs-1:3.1.1-4.fc40.x86_64 p11-kit-0.25.0-2.fc39.x86_64 p11-kit-trust-0.25.0-2.fc39.x86_64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-2.fc39.x86_64 pam-libs-1.5.3-2.fc39.x86_64 patch-2.7.6-22.fc39.x86_64 pcre2-10.42-1.fc39.2.x86_64 pcre2-syntax-10.42-1.fc39.2.noarch perl-srpm-macros-1-51.fc39.noarch pkgconf-1.9.5-2.fc39.x86_64 pkgconf-m4-1.9.5-2.fc39.noarch pkgconf-pkg-config-1.9.5-2.fc39.x86_64 popt-1.19-3.fc39.x86_64 publicsuffix-list-dafsa-20230812-1.fc40.noarch pyproject-srpm-macros-1.10.0-1.fc40.noarch python-srpm-macros-3.12-4.fc40.noarch qt5-srpm-macros-5.15.11-1.fc40.noarch qt6-srpm-macros-6.5.3-1.fc40.noarch readline-8.2-4.fc39.x86_64 redhat-rpm-config-269-1.fc40.noarch rpm-4.19.0-1.fc40.x86_64 rpm-build-4.19.0-1.fc40.x86_64 rpm-build-libs-4.19.0-1.fc40.x86_64 rpm-libs-4.19.0-1.fc40.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 rust-srpm-macros-25.2-2.fc40.noarch sed-4.8-14.fc39.x86_64 setup-2.14.4-1.fc39.noarch shadow-utils-2:4.14.0-2.fc40.x86_64 sqlite-libs-3.43.1-1.fc40.x86_64 systemd-libs-254.5-2.fc40.x86_64 tar-2:1.35-2.fc40.x86_64 unzip-6.0-62.fc39.x86_64 util-linux-2.39.2-1.fc40.x86_64 util-linux-core-2.39.2-1.fc40.x86_64 which-2.21-40.fc39.x86_64 xxhash-libs-0.8.2-1.fc39.x86_64 xz-5.4.4-1.fc39.x86_64 xz-libs-5.4.4-1.fc39.x86_64 zip-3.0-39.fc40.x86_64 zlib-1.2.13-4.fc39.x86_64 zstd-1.5.5-4.fc39.x86_64 Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: alternatives-1.25-1.fc39.x86_64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-4.fc40.x86_64 authselect-1.4.3-1.fc40.x86_64 authselect-libs-1.4.3-1.fc40.x86_64 basesystem-11-18.fc39.noarch bash-5.2.15-5.fc39.x86_64 binutils-2.41-7.fc40.x86_64 binutils-gold-2.41-7.fc40.x86_64 bzip2-1.0.8-16.fc39.x86_64 bzip2-libs-1.0.8-16.fc39.x86_64 ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch coreutils-9.4-1.fc40.x86_64 coreutils-common-9.4-1.fc40.x86_64 cpio-2.14-4.fc39.x86_64 cracklib-2.9.11-2.fc39.x86_64 crypto-policies-20230920-1.git570ea89.fc40.noarch curl-8.4.0-1.fc40.x86_64 cyrus-sasl-lib-2.1.28-11.fc39.x86_64 debugedit-5.0-10.fc39.x86_64 diffutils-3.10-3.fc39.x86_64 dwz-0.15-3.fc39.x86_64 ed-1.19-4.fc39.x86_64 efi-srpm-macros-5-9.fc39.noarch elfutils-0.189-6.fc40.x86_64 elfutils-debuginfod-client-0.189-6.fc40.x86_64 elfutils-default-yama-scope-0.189-6.fc40.noarch elfutils-libelf-0.189-6.fc40.x86_64 elfutils-libs-0.189-6.fc40.x86_64 fedora-gpg-keys-40-0.2.noarch fedora-release-40-0.14.noarch fedora-release-common-40-0.14.noarch fedora-release-identity-basic-40-0.14.noarch fedora-repos-40-0.2.noarch fedora-repos-rawhide-40-0.2.noarch file-5.45-1.fc40.x86_64 file-libs-5.45-1.fc40.x86_64 filesystem-3.18-6.fc39.x86_64 findutils-4.9.0-6.fc40.x86_64 fonts-srpm-macros-2.0.5-12.fc39.noarch forge-srpm-macros-0.1.0-1.fc40.noarch fpc-srpm-macros-1.3-8.fc39.noarch gawk-5.2.2-2.fc39.x86_64 gdb-minimal-13.2-11.fc40.x86_64 gdbm-libs-1.23-4.fc39.x86_64 ghc-srpm-macros-1.6.1-3.fc40.noarch glibc-2.38.9000-12.fc40.x86_64 glibc-common-2.38.9000-12.fc40.x86_64 glibc-gconv-extra-2.38.9000-12.fc40.x86_64 glibc-minimal-langpack-2.38.9000-12.fc40.x86_64 gmp-6.2.1-5.fc39.x86_64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.2.0-7.fc40.noarch gpg-pubkey-18b8e74c-62f2920f gpg-pubkey-a15b79cc-63d04c2c grep-3.11-5.fc40.x86_64 gzip-1.12-6.fc39.x86_64 info-7.0.3-3.fc39.x86_64 jansson-2.13.1-7.fc40.x86_64 kernel-srpm-macros-1.0-20.fc39.noarch keyutils-libs-1.6.1-7.fc39.x86_64 krb5-libs-1.21.2-2.fc40.x86_64 libacl-2.3.1-10.fc40.x86_64 libarchive-3.7.2-1.fc40.x86_64 libattr-2.5.1-9.fc40.x86_64 libblkid-2.39.2-1.fc40.x86_64 libbrotli-1.1.0-1.fc40.x86_64 libcap-2.48-7.fc39.x86_64 libcap-ng-0.8.3-8.fc40.x86_64 libcom_err-1.47.0-2.fc39.x86_64 libcurl-8.4.0-1.fc40.x86_64 libdb-5.3.28-58.fc40.x86_64 libeconf-0.5.2-1.fc40.x86_64 libevent-2.1.12-9.fc39.x86_64 libfdisk-2.39.2-1.fc40.x86_64 libffi-3.4.4-4.fc39.x86_64 libgcc-13.2.1-4.fc40.x86_64 libgomp-13.2.1-4.fc40.x86_64 libidn2-2.3.4-3.fc39.x86_64 libmount-2.39.2-1.fc40.x86_64 libnghttp2-1.57.0-2.fc40.x86_64 libnsl2-2.0.0-6.fc39.x86_64 libpkgconf-1.9.5-2.fc39.x86_64 libpsl-0.21.2-4.fc39.x86_64 libpwquality-1.4.5-6.fc39.x86_64 libselinux-3.5-5.fc39.x86_64 libsemanage-3.5-4.fc39.x86_64 libsepol-3.5-2.fc39.x86_64 libsigsegv-2.14-5.fc39.x86_64 libsmartcols-2.39.2-1.fc40.x86_64 libssh-0.10.5-2.fc39.x86_64 libssh-config-0.10.5-2.fc39.noarch libstdc++-13.2.1-4.fc40.x86_64 libtasn1-4.19.0-3.fc39.x86_64 libtirpc-1.3.4-0.fc40.x86_64 libunistring-1.1-5.fc40.x86_64 libutempter-1.2.1-10.fc39.x86_64 libuuid-2.39.2-1.fc40.x86_64 libverto-0.3.2-6.fc39.x86_64 libxcrypt-4.4.36-2.fc39.x86_64 libxml2-2.11.5-1.fc40.x86_64 libzstd-1.5.5-4.fc39.x86_64 lua-libs-5.4.6-3.fc39.x86_64 lua-srpm-macros-1-9.fc39.noarch lz4-libs-1.9.4-4.fc39.x86_64 mpfr-4.2.1-1.fc40.x86_64 ncurses-base-6.4-8.20231001.fc40.noarch ncurses-libs-6.4-8.20231001.fc40.x86_64 ocaml-srpm-macros-9-1.fc40.noarch openblas-srpm-macros-2-14.fc39.noarch openldap-2.6.6-1.fc39.x86_64 openssl-libs-3.1.1-4.fc40.x86_64 p11-kit-0.25.0-2.fc39.x86_64 p11-kit-trust-0.25.0-2.fc39.x86_64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-2.fc39.x86_64 pam-libs-1.5.3-2.fc39.x86_64 patch-2.7.6-22.fc39.x86_64 pcre2-10.42-1.fc39.2.x86_64 pcre2-syntax-10.42-1.fc39.2.noarch perl-srpm-macros-1-51.fc39.noarch pkgconf-1.9.5-2.fc39.x86_64 pkgconf-m4-1.9.5-2.fc39.noarch pkgconf-pkg-config-1.9.5-2.fc39.x86_64 popt-1.19-3.fc39.x86_64 publicsuffix-list-dafsa-20230812-1.fc40.noarch pyproject-srpm-macros-1.10.0-1.fc40.noarch python-srpm-macros-3.12-4.fc40.noarch qt5-srpm-macros-5.15.11-1.fc40.noarch qt6-srpm-macros-6.5.3-1.fc40.noarch readline-8.2-4.fc39.x86_64 redhat-rpm-config-269-1.fc40.noarch rpm-4.19.0-1.fc40.x86_64 rpm-build-4.19.0-1.fc40.x86_64 rpm-build-libs-4.19.0-1.fc40.x86_64 rpm-libs-4.19.0-1.fc40.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 rust-srpm-macros-25.2-2.fc40.noarch sed-4.8-14.fc39.x86_64 setup-2.14.4-1.fc39.noarch shadow-utils-4.14.0-2.fc40.x86_64 sqlite-libs-3.43.1-1.fc40.x86_64 systemd-libs-254.5-2.fc40.x86_64 tar-1.35-2.fc40.x86_64 unzip-6.0-62.fc39.x86_64 util-linux-2.39.2-1.fc40.x86_64 util-linux-core-2.39.2-1.fc40.x86_64 which-2.21-40.fc39.x86_64 xxhash-libs-0.8.2-1.fc39.x86_64 xz-5.4.4-1.fc39.x86_64 xz-libs-5.4.4-1.fc39.x86_64 zip-3.0-39.fc40.x86_64 zlib-1.2.13-4.fc39.x86_64 zstd-1.5.5-4.fc39.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1696464000 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-fmvkywf3/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(child) 6 minutes 3 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-12.fc40.src.rpm) Config(fedora-rawhide-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1697543517.974435/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1697543517.974435/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-1697543517.974435/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 Finish: chroot init INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.19.0-1.fc40.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 python3-dnf-4.17.0-6.fc40.noarch python3-dnf-plugins-core-4.4.3-1.fc40.noarch yum-4.17.0-6.fc40.noarch Start: build phase for ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm Start: build setup for ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1696464000 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 43 kB/s | 1.5 kB 00:00 Copr repository 16 MB/s | 2.0 MB 00:00 fedora 19 kB/s | 24 kB 00:01 Dependencies resolved. ================================================================================================ Package Arch Version Repo Size ================================================================================================ Installing: make x86_64 1:4.4.1-2.fc39 fedora 589 k ocaml x86_64 5.1.0-4.fc40 fedora 36 M ocaml-dune x86_64 3.11.1-1.fc40 fedora 6.1 M ocaml-menhir x86_64 20230608-4.fc40 fedora 2.4 M python3-sphinx noarch 1:7.1.2-2.fc40 fedora 2.6 M python3-sphinx_rtd_theme noarch 1.2.2-1.fc39 fedora 84 k Installing dependencies: annobin-docs noarch 12.28-1.fc40 fedora 94 k annobin-plugin-gcc x86_64 12.28-1.fc40 fedora 959 k cpp x86_64 13.2.1-4.fc40 fedora 11 M expat x86_64 2.5.0-3.fc39 fedora 110 k fontawesome4-fonts noarch 1:4.7.0-19.fc40 fedora 204 k fonts-filesystem noarch 1:2.0.5-12.fc39 fedora 8.2 k gc x86_64 8.2.2-4.fc39 fedora 110 k gcc x86_64 13.2.1-4.fc40 fedora 34 M gcc-plugin-annobin x86_64 13.2.1-4.fc40 fedora 49 k glibc-devel x86_64 2.38.9000-12.fc40 fedora 91 k glibc-headers-x86 noarch 2.38.9000-12.fc40 fedora 576 k google-roboto-slab-fonts noarch 1.100263-0.21.20150923git.fc39 fedora 239 k guile22 x86_64 2.2.7-9.fc39 fedora 6.5 M kernel-headers x86_64 6.6.0-0.rc5.git0.1.fc40 fedora 1.6 M lato-fonts noarch 2.015-17.fc39 fedora 3.1 M libb2 x86_64 0.98.1-9.fc39 fedora 25 k libmpc x86_64 1.3.1-3.fc39 fedora 70 k libtool-ltdl x86_64 2.4.7-8.fc40 fedora 36 k libxcrypt-devel x86_64 4.4.36-2.fc39 fedora 30 k libzstd-devel x86_64 1.5.5-4.fc39 fedora 51 k mpdecimal x86_64 2.5.1-7.fc39 fedora 89 k ocaml-compiler-libs x86_64 5.1.0-4.fc40 fedora 49 M ocaml-menhirlib x86_64 20230608-4.fc40 fedora 182 k ocaml-menhirlib-devel x86_64 20230608-4.fc40 fedora 558 k ocaml-rpm-macros noarch 5.1.0-4.fc40 fedora 14 k ocaml-runtime x86_64 5.1.0-4.fc40 fedora 3.2 M python-pip-wheel noarch 23.2.1-1.fc39 fedora 1.5 M python3 x86_64 3.12.0-2.fc40 fedora 26 k python3-babel noarch 2.12.1-6.fc40 copr_base 6.8 M python3-charset-normalizer noarch 3.3.0-1.fc40 fedora 107 k python3-docutils noarch 0.20.1-1.fc40 fedora 1.0 M python3-idna noarch 3.4-5.fc40 fedora 109 k python3-imagesize noarch 1.4.1-5.fc40 fedora 22 k python3-jinja2 noarch 3.1.2-6.fc40 fedora 505 k python3-libs x86_64 3.12.0-2.fc40 fedora 9.2 M python3-markupsafe x86_64 2.1.3-2.fc39 fedora 30 k python3-packaging noarch 23.2-2.fc40 fedora 125 k python3-pygments noarch 2.16.1-1.fc40 fedora 2.4 M python3-requests noarch 2.31.0-1.fc40 copr_base 142 k python3-snowballstemmer noarch 2.2.0-7.fc39 fedora 257 k python3-sphinx-theme-alabaster noarch 0.7.12-19.fc39 fedora 29 k python3-sphinxcontrib-applehelp noarch 1.0.6-1.fc40 fedora 45 k python3-sphinxcontrib-devhelp noarch 1.0.2-14.fc39 fedora 41 k python3-sphinxcontrib-htmlhelp noarch 2.0.3-1.fc40 fedora 54 k python3-sphinxcontrib-jquery noarch 4.1-3.fc39 fedora 113 k python3-sphinxcontrib-jsmath noarch 1.0.1-22.fc39 fedora 17 k python3-sphinxcontrib-qthelp noarch 1.0.3-15.fc39 fedora 47 k python3-sphinxcontrib-serializinghtml noarch 1.1.5-10.fc39 fedora 47 k python3-urllib3 noarch 1.26.17-2.fc40 fedora 274 k tzdata noarch 2023c-4.fc40 fedora 717 k Transaction Summary ================================================================================================ Install 56 Packages Total download size: 183 M Installed size: 595 M Downloading Packages: (1/56): python3-requests-2.31.0-1.fc40.noarch.r 2.2 MB/s | 142 kB 00:00 (2/56): annobin-docs-12.28-1.fc40.noarch.rpm 647 kB/s | 94 kB 00:00 (3/56): python3-babel-2.12.1-6.fc40.noarch.rpm 40 MB/s | 6.8 MB 00:00 (4/56): expat-2.5.0-3.fc39.x86_64.rpm 1.3 MB/s | 110 kB 00:00 (5/56): annobin-plugin-gcc-12.28-1.fc40.x86_64. 4.6 MB/s | 959 kB 00:00 (6/56): fonts-filesystem-2.0.5-12.fc39.noarch.r 499 kB/s | 8.2 kB 00:00 (7/56): gc-8.2.2-4.fc39.x86_64.rpm 5.9 MB/s | 110 kB 00:00 (8/56): fontawesome4-fonts-4.7.0-19.fc40.noarch 2.4 MB/s | 204 kB 00:00 (9/56): gcc-plugin-annobin-13.2.1-4.fc40.x86_64 1.0 MB/s | 49 kB 00:00 (10/56): glibc-devel-2.38.9000-12.fc40.x86_64.r 3.0 MB/s | 91 kB 00:00 (11/56): glibc-headers-x86-2.38.9000-12.fc40.no 5.4 MB/s | 576 kB 00:00 (12/56): cpp-13.2.1-4.fc40.x86_64.rpm 28 MB/s | 11 MB 00:00 (13/56): google-roboto-slab-fonts-1.100263-0.21 2.0 MB/s | 239 kB 00:00 (14/56): guile22-2.2.7-9.fc39.x86_64.rpm 21 MB/s | 6.5 MB 00:00 (15/56): kernel-headers-6.6.0-0.rc5.git0.1.fc40 6.6 MB/s | 1.6 MB 00:00 (16/56): libb2-0.98.1-9.fc39.x86_64.rpm 269 kB/s | 25 kB 00:00 (17/56): libmpc-1.3.1-3.fc39.x86_64.rpm 1.6 MB/s | 70 kB 00:00 (18/56): libtool-ltdl-2.4.7-8.fc40.x86_64.rpm 402 kB/s | 36 kB 00:00 (19/56): lato-fonts-2.015-17.fc39.noarch.rpm 11 MB/s | 3.1 MB 00:00 (20/56): libxcrypt-devel-4.4.36-2.fc39.x86_64.r 1.3 MB/s | 30 kB 00:00 (21/56): make-4.4.1-2.fc39.x86_64.rpm 6.1 MB/s | 589 kB 00:00 (22/56): mpdecimal-2.5.1-7.fc39.x86_64.rpm 1.1 MB/s | 89 kB 00:00 (23/56): gcc-13.2.1-4.fc40.x86_64.rpm 32 MB/s | 34 MB 00:01 (24/56): libzstd-devel-1.5.5-4.fc39.x86_64.rpm 202 kB/s | 51 kB 00:00 (25/56): ocaml-dune-3.11.1-1.fc40.x86_64.rpm 8.2 MB/s | 6.1 MB 00:00 (26/56): ocaml-menhir-20230608-4.fc40.x86_64.rp 8.0 MB/s | 2.4 MB 00:00 (27/56): ocaml-menhirlib-20230608-4.fc40.x86_64 263 kB/s | 182 kB 00:00 (28/56): ocaml-5.1.0-4.fc40.x86_64.rpm 19 MB/s | 36 MB 00:01 (29/56): ocaml-compiler-libs-5.1.0-4.fc40.x86_6 24 MB/s | 49 MB 00:02 (30/56): ocaml-rpm-macros-5.1.0-4.fc40.noarch.r 39 kB/s | 14 kB 00:00 (31/56): ocaml-menhirlib-devel-20230608-4.fc40. 1.2 MB/s | 558 kB 00:00 (32/56): python-pip-wheel-23.2.1-1.fc39.noarch. 18 MB/s | 1.5 MB 00:00 (33/56): ocaml-runtime-5.1.0-4.fc40.x86_64.rpm 13 MB/s | 3.2 MB 00:00 (34/56): python3-charset-normalizer-3.3.0-1.fc4 5.4 MB/s | 107 kB 00:00 (35/56): python3-idna-3.4-5.fc40.noarch.rpm 5.3 MB/s | 109 kB 00:00 (36/56): python3-imagesize-1.4.1-5.fc40.noarch. 1.3 MB/s | 22 kB 00:00 (37/56): python3-3.12.0-2.fc40.x86_64.rpm 177 kB/s | 26 kB 00:00 (38/56): python3-docutils-0.20.1-1.fc40.noarch. 9.9 MB/s | 1.0 MB 00:00 (39/56): python3-jinja2-3.1.2-6.fc40.noarch.rpm 5.5 MB/s | 505 kB 00:00 (40/56): python3-markupsafe-2.1.3-2.fc39.x86_64 624 kB/s | 30 kB 00:00 (41/56): python3-packaging-23.2-2.fc40.noarch.r 4.0 MB/s | 125 kB 00:00 (42/56): python3-snowballstemmer-2.2.0-7.fc39.n 7.6 MB/s | 257 kB 00:00 (43/56): python3-pygments-2.16.1-1.fc40.noarch. 14 MB/s | 2.4 MB 00:00 (44/56): python3-libs-3.12.0-2.fc40.x86_64.rpm 31 MB/s | 9.2 MB 00:00 (45/56): python3-sphinx-7.1.2-2.fc40.noarch.rpm 16 MB/s | 2.6 MB 00:00 (46/56): python3-sphinx_rtd_theme-1.2.2-1.fc39. 4.4 MB/s | 84 kB 00:00 (47/56): python3-sphinxcontrib-applehelp-1.0.6- 2.5 MB/s | 45 kB 00:00 (48/56): python3-sphinxcontrib-devhelp-1.0.2-14 2.4 MB/s | 41 kB 00:00 (49/56): python3-sphinxcontrib-htmlhelp-2.0.3-1 3.0 MB/s | 54 kB 00:00 (50/56): python3-sphinxcontrib-jsmath-1.0.1-22. 812 kB/s | 17 kB 00:00 (51/56): python3-sphinxcontrib-qthelp-1.0.3-15. 2.5 MB/s | 47 kB 00:00 (52/56): python3-sphinxcontrib-jquery-4.1-3.fc3 2.1 MB/s | 113 kB 00:00 (53/56): python3-sphinxcontrib-serializinghtml- 2.5 MB/s | 47 kB 00:00 (54/56): python3-urllib3-1.26.17-2.fc40.noarch. 11 MB/s | 274 kB 00:00 (55/56): tzdata-2023c-4.fc40.noarch.rpm 14 MB/s | 717 kB 00:00 (56/56): python3-sphinx-theme-alabaster-0.7.12- 153 kB/s | 29 kB 00:00 -------------------------------------------------------------------------------- Total 43 MB/s | 183 MB 00:04 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : fonts-filesystem-1:2.0.5-12.fc39.noarch 1/56 Installing : libmpc-1.3.1-3.fc39.x86_64 2/56 Installing : cpp-13.2.1-4.fc40.x86_64 3/56 Installing : fontawesome4-fonts-1:4.7.0-19.fc40.noarch 4/56 Installing : google-roboto-slab-fonts-1.100263-0.21.20150923git 5/56 Installing : lato-fonts-2.015-17.fc39.noarch 6/56 Installing : tzdata-2023c-4.fc40.noarch 7/56 Installing : python-pip-wheel-23.2.1-1.fc39.noarch 8/56 Installing : ocaml-runtime-5.1.0-4.fc40.x86_64 9/56 Installing : mpdecimal-2.5.1-7.fc39.x86_64 10/56 Installing : libzstd-devel-1.5.5-4.fc39.x86_64 11/56 Installing : libtool-ltdl-2.4.7-8.fc40.x86_64 12/56 Installing : libb2-0.98.1-9.fc39.x86_64 13/56 Installing : kernel-headers-6.6.0-0.rc5.git0.1.fc40.x86_64 14/56 Installing : glibc-headers-x86-2.38.9000-12.fc40.noarch 15/56 Installing : libxcrypt-devel-4.4.36-2.fc39.x86_64 16/56 Installing : glibc-devel-2.38.9000-12.fc40.x86_64 17/56 Installing : gc-8.2.2-4.fc39.x86_64 18/56 Installing : guile22-2.2.7-9.fc39.x86_64 19/56 Installing : make-1:4.4.1-2.fc39.x86_64 20/56 Installing : gcc-13.2.1-4.fc40.x86_64 21/56 Running scriptlet: gcc-13.2.1-4.fc40.x86_64 21/56 Installing : ocaml-5.1.0-4.fc40.x86_64 22/56 Installing : ocaml-compiler-libs-5.1.0-4.fc40.x86_64 23/56 Installing : ocaml-menhirlib-20230608-4.fc40.x86_64 24/56 Installing : ocaml-menhirlib-devel-20230608-4.fc40.x86_64 25/56 Installing : expat-2.5.0-3.fc39.x86_64 26/56 Installing : python3-3.12.0-2.fc40.x86_64 27/56 Installing : python3-libs-3.12.0-2.fc40.x86_64 28/56 Installing : python3-docutils-0.20.1-1.fc40.noarch 29/56 Installing : python3-idna-3.4-5.fc40.noarch 30/56 Installing : python3-urllib3-1.26.17-2.fc40.noarch 31/56 Installing : python3-babel-2.12.1-6.fc40.noarch 32/56 Installing : ocaml-rpm-macros-5.1.0-4.fc40.noarch 33/56 Installing : python3-charset-normalizer-3.3.0-1.fc40.noarch 34/56 Installing : python3-requests-2.31.0-1.fc40.noarch 35/56 Installing : python3-imagesize-1.4.1-5.fc40.noarch 36/56 Installing : python3-markupsafe-2.1.3-2.fc39.x86_64 37/56 Installing : python3-jinja2-3.1.2-6.fc40.noarch 38/56 Installing : python3-packaging-23.2-2.fc40.noarch 39/56 Installing : python3-pygments-2.16.1-1.fc40.noarch 40/56 Installing : python3-snowballstemmer-2.2.0-7.fc39.noarch 41/56 Installing : python3-sphinx-theme-alabaster-0.7.12-19.fc39.noar 42/56 Installing : python3-sphinxcontrib-devhelp-1.0.2-14.fc39.noarch 43/56 Installing : python3-sphinxcontrib-jsmath-1.0.1-22.fc39.noarch 44/56 Installing : python3-sphinxcontrib-qthelp-1.0.3-15.fc39.noarch 45/56 Installing : python3-sphinxcontrib-serializinghtml-1.1.5-10.fc3 46/56 Installing : python3-sphinxcontrib-applehelp-1.0.6-1.fc40.noarc 47/56 Installing : python3-sphinxcontrib-htmlhelp-2.0.3-1.fc40.noarch 48/56 Installing : python3-sphinx-1:7.1.2-2.fc40.noarch 49/56 Installing : python3-sphinxcontrib-jquery-4.1-3.fc39.noarch 50/56 Installing : annobin-docs-12.28-1.fc40.noarch 51/56 Installing : annobin-plugin-gcc-12.28-1.fc40.x86_64 52/56 Running scriptlet: annobin-plugin-gcc-12.28-1.fc40.x86_64 52/56 Installing : python3-sphinx_rtd_theme-1.2.2-1.fc39.noarch 53/56 Installing : ocaml-dune-3.11.1-1.fc40.x86_64 54/56 Installing : ocaml-menhir-20230608-4.fc40.x86_64 55/56 Installing : gcc-plugin-annobin-13.2.1-4.fc40.x86_64 56/56 Running scriptlet: gcc-plugin-annobin-13.2.1-4.fc40.x86_64 56/56 Verifying : python3-babel-2.12.1-6.fc40.noarch 1/56 Verifying : python3-requests-2.31.0-1.fc40.noarch 2/56 Verifying : annobin-docs-12.28-1.fc40.noarch 3/56 Verifying : annobin-plugin-gcc-12.28-1.fc40.x86_64 4/56 Verifying : cpp-13.2.1-4.fc40.x86_64 5/56 Verifying : expat-2.5.0-3.fc39.x86_64 6/56 Verifying : fontawesome4-fonts-1:4.7.0-19.fc40.noarch 7/56 Verifying : fonts-filesystem-1:2.0.5-12.fc39.noarch 8/56 Verifying : gc-8.2.2-4.fc39.x86_64 9/56 Verifying : gcc-13.2.1-4.fc40.x86_64 10/56 Verifying : gcc-plugin-annobin-13.2.1-4.fc40.x86_64 11/56 Verifying : glibc-devel-2.38.9000-12.fc40.x86_64 12/56 Verifying : glibc-headers-x86-2.38.9000-12.fc40.noarch 13/56 Verifying : google-roboto-slab-fonts-1.100263-0.21.20150923git 14/56 Verifying : guile22-2.2.7-9.fc39.x86_64 15/56 Verifying : kernel-headers-6.6.0-0.rc5.git0.1.fc40.x86_64 16/56 Verifying : lato-fonts-2.015-17.fc39.noarch 17/56 Verifying : libb2-0.98.1-9.fc39.x86_64 18/56 Verifying : libmpc-1.3.1-3.fc39.x86_64 19/56 Verifying : libtool-ltdl-2.4.7-8.fc40.x86_64 20/56 Verifying : libxcrypt-devel-4.4.36-2.fc39.x86_64 21/56 Verifying : libzstd-devel-1.5.5-4.fc39.x86_64 22/56 Verifying : make-1:4.4.1-2.fc39.x86_64 23/56 Verifying : mpdecimal-2.5.1-7.fc39.x86_64 24/56 Verifying : ocaml-5.1.0-4.fc40.x86_64 25/56 Verifying : ocaml-compiler-libs-5.1.0-4.fc40.x86_64 26/56 Verifying : ocaml-dune-3.11.1-1.fc40.x86_64 27/56 Verifying : ocaml-menhir-20230608-4.fc40.x86_64 28/56 Verifying : ocaml-menhirlib-20230608-4.fc40.x86_64 29/56 Verifying : ocaml-menhirlib-devel-20230608-4.fc40.x86_64 30/56 Verifying : ocaml-rpm-macros-5.1.0-4.fc40.noarch 31/56 Verifying : ocaml-runtime-5.1.0-4.fc40.x86_64 32/56 Verifying : python-pip-wheel-23.2.1-1.fc39.noarch 33/56 Verifying : python3-3.12.0-2.fc40.x86_64 34/56 Verifying : python3-charset-normalizer-3.3.0-1.fc40.noarch 35/56 Verifying : python3-docutils-0.20.1-1.fc40.noarch 36/56 Verifying : python3-idna-3.4-5.fc40.noarch 37/56 Verifying : python3-imagesize-1.4.1-5.fc40.noarch 38/56 Verifying : python3-jinja2-3.1.2-6.fc40.noarch 39/56 Verifying : python3-libs-3.12.0-2.fc40.x86_64 40/56 Verifying : python3-markupsafe-2.1.3-2.fc39.x86_64 41/56 Verifying : python3-packaging-23.2-2.fc40.noarch 42/56 Verifying : python3-pygments-2.16.1-1.fc40.noarch 43/56 Verifying : python3-snowballstemmer-2.2.0-7.fc39.noarch 44/56 Verifying : python3-sphinx-1:7.1.2-2.fc40.noarch 45/56 Verifying : python3-sphinx-theme-alabaster-0.7.12-19.fc39.noar 46/56 Verifying : python3-sphinx_rtd_theme-1.2.2-1.fc39.noarch 47/56 Verifying : python3-sphinxcontrib-applehelp-1.0.6-1.fc40.noarc 48/56 Verifying : python3-sphinxcontrib-devhelp-1.0.2-14.fc39.noarch 49/56 Verifying : python3-sphinxcontrib-htmlhelp-2.0.3-1.fc40.noarch 50/56 Verifying : python3-sphinxcontrib-jquery-4.1-3.fc39.noarch 51/56 Verifying : python3-sphinxcontrib-jsmath-1.0.1-22.fc39.noarch 52/56 Verifying : python3-sphinxcontrib-qthelp-1.0.3-15.fc39.noarch 53/56 Verifying : python3-sphinxcontrib-serializinghtml-1.1.5-10.fc3 54/56 Verifying : python3-urllib3-1.26.17-2.fc40.noarch 55/56 Verifying : tzdata-2023c-4.fc40.noarch 56/56 Installed: annobin-docs-12.28-1.fc40.noarch annobin-plugin-gcc-12.28-1.fc40.x86_64 cpp-13.2.1-4.fc40.x86_64 expat-2.5.0-3.fc39.x86_64 fontawesome4-fonts-1:4.7.0-19.fc40.noarch fonts-filesystem-1:2.0.5-12.fc39.noarch gc-8.2.2-4.fc39.x86_64 gcc-13.2.1-4.fc40.x86_64 gcc-plugin-annobin-13.2.1-4.fc40.x86_64 glibc-devel-2.38.9000-12.fc40.x86_64 glibc-headers-x86-2.38.9000-12.fc40.noarch google-roboto-slab-fonts-1.100263-0.21.20150923git.fc39.noarch guile22-2.2.7-9.fc39.x86_64 kernel-headers-6.6.0-0.rc5.git0.1.fc40.x86_64 lato-fonts-2.015-17.fc39.noarch libb2-0.98.1-9.fc39.x86_64 libmpc-1.3.1-3.fc39.x86_64 libtool-ltdl-2.4.7-8.fc40.x86_64 libxcrypt-devel-4.4.36-2.fc39.x86_64 libzstd-devel-1.5.5-4.fc39.x86_64 make-1:4.4.1-2.fc39.x86_64 mpdecimal-2.5.1-7.fc39.x86_64 ocaml-5.1.0-4.fc40.x86_64 ocaml-compiler-libs-5.1.0-4.fc40.x86_64 ocaml-dune-3.11.1-1.fc40.x86_64 ocaml-menhir-20230608-4.fc40.x86_64 ocaml-menhirlib-20230608-4.fc40.x86_64 ocaml-menhirlib-devel-20230608-4.fc40.x86_64 ocaml-rpm-macros-5.1.0-4.fc40.noarch ocaml-runtime-5.1.0-4.fc40.x86_64 python-pip-wheel-23.2.1-1.fc39.noarch python3-3.12.0-2.fc40.x86_64 python3-babel-2.12.1-6.fc40.noarch python3-charset-normalizer-3.3.0-1.fc40.noarch python3-docutils-0.20.1-1.fc40.noarch python3-idna-3.4-5.fc40.noarch python3-imagesize-1.4.1-5.fc40.noarch python3-jinja2-3.1.2-6.fc40.noarch python3-libs-3.12.0-2.fc40.x86_64 python3-markupsafe-2.1.3-2.fc39.x86_64 python3-packaging-23.2-2.fc40.noarch python3-pygments-2.16.1-1.fc40.noarch python3-requests-2.31.0-1.fc40.noarch python3-snowballstemmer-2.2.0-7.fc39.noarch python3-sphinx-1:7.1.2-2.fc40.noarch python3-sphinx-theme-alabaster-0.7.12-19.fc39.noarch python3-sphinx_rtd_theme-1.2.2-1.fc39.noarch python3-sphinxcontrib-applehelp-1.0.6-1.fc40.noarch python3-sphinxcontrib-devhelp-1.0.2-14.fc39.noarch python3-sphinxcontrib-htmlhelp-2.0.3-1.fc40.noarch python3-sphinxcontrib-jquery-4.1-3.fc39.noarch python3-sphinxcontrib-jsmath-1.0.1-22.fc39.noarch python3-sphinxcontrib-qthelp-1.0.3-15.fc39.noarch python3-sphinxcontrib-serializinghtml-1.1.5-10.fc39.noarch python3-urllib3-1.26.17-2.fc40.noarch tzdata-2023c-4.fc40.noarch Complete! Finish: build setup for ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm Start: rpmbuild ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1696464000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.1UvEh4 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf psmt2-frontend-0.4.0 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/psmt2-frontend-0.4.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd psmt2-frontend-0.4.0 + rm -rf /builddir/build/BUILD/psmt2-frontend-0.4.0-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/psmt2-frontend-0.4.0-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-psmt2-frontend-sphinx6.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + sed -i '/^git =/d;/^branch=/d;s/^\(version = \).*/\1"0.4.0"/' sphinx/conf.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Rkj6qi + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd psmt2-frontend-0.4.0 + dune build --verbose --release -j2 Shared cache: disabled Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib" ; installed_env = map { "INSIDE_DUNE" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/default" } ; findlib_paths = [ External "/usr/lib64/ocaml"; External "/usr/lib64/ocaml" ] ; ocaml_config = { version = "5.1.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-Wl,--build-id=sha1" ; "-lzstd" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-Wl,--build-id=sha1" ; "-lzstd" ; "-lm" ; "-lpthread" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "as" ] ; asm_cfi_supported = true ; with_frame_pointers = true ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = true ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X033" ; cmi_magic_number = "Caml1999I033" ; cmo_magic_number = "Caml1999O033" ; cma_magic_number = "Caml1999A033" ; cmx_magic_number = "Caml1999y033" ; cmxa_magic_number = "Caml1999z033" ; ast_impl_magic_number = "Caml1999M033" ; ast_intf_magic_number = "Caml1999N033" ; cmxs_magic_number = "Caml1999D033" ; cmt_magic_number = "Caml1999T033" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } ; instrument_with = [] } Actual targets: - recursive alias @install Running[1]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll) Running[2]: (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) Output[2]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Running[3]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -w -49 -nopervasives -nostdlib -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo -c -impl src/lib/psmt2Frontend.ml-gen) Running[4]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.d Running[5]: (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[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 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/ocamlopt.opt -w -40 -w -49 -nopervasives -nostdlib -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml-gen -no-alias-deps -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx -c -impl src/lib/psmt2Frontend.ml-gen) Running[18]: (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[19]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo -c -impl src/lib/main.ml) Running[20]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -c -intf src/lib/options.mli) Running[21]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -c -intf src/lib/version.mli) Running[22]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx -c -impl src/lib/main.ml) Running[23]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo -c -impl src/lib/version.ml) Running[24]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx -c -impl src/lib/version.ml) Running[25]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo -c -impl src/lib/options.ml) Running[26]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx -c -impl src/lib/options.ml) Running[27]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo -c -impl src/lib/smtlib_error.ml) Running[28]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo -c -impl src/lib/smtlib_ty.ml) Running[29]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx -c -impl src/lib/smtlib_error.ml) Running[30]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo -c -impl src/lib/smtlib_syntax.ml) Running[31]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo -c -impl src/lib/smtlib_typed_env.ml) Running[32]: (cd _build/.sandbox/1b0bfd053bf570050da1c982a7ac9c7a/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/1b0bfd053bf570050da1c982a7ac9c7a/default/src/lib/smtlib_parser__mock.mli.inferred Running[33]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx -c -impl src/lib/smtlib_ty.ml) Running[34]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo -c -impl src/lib/smtlib_printer.ml) Running[35]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo -c -impl src/lib/smtlib_typed_logic.ml) Running[36]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred) Running[37]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml) Running[38]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo -c -impl src/lib/smtlib_typing.ml) Output[36]: 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 206, characters 16-16: Warning: production list(term) -> is never reduced. Warning: in total, 1 production is never reduced. Running[39]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml) Running[40]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.impl.d Running[41]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/smtlib_parser.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.intf.d Running[42]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -c -intf src/lib/smtlib_parser.mli) Running[43]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml) Running[44]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx -c -impl src/lib/smtlib_parser.ml) Running[45]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo -c -impl src/lib/smtlib_lexer.ml) Running[46]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx -c -impl src/lib/smtlib_printer.ml) Running[47]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx -c -impl src/lib/smtlib_typed_logic.ml) Running[48]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/bin/.main.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/bin/.main.eobjs/byte/dune__exe__Main.cmo -c -impl src/bin/main.ml) Running[49]: (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[50]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx -c -impl src/lib/smtlib_typing.ml) Running[51]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx -c -impl src/lib/smtlib_lexer.ml) Running[52]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/bin/.main.eobjs/byte -I src/bin/.main.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o src/bin/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/bin/main.ml) Running[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -a -o src/lib/psmt2Frontend.cmxa src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx) Running[54]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa) Promoting "_build/default/psmt2-frontend.install" to "psmt2-frontend.install" 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_bin.install" to "psmt2-frontend_bin.install" + make sphinx sphinx-build sphinx docs/sphinx Running Sphinx v7.1.2 making output directory... done building [mo]: targets for 0 po files that are out of date writing output... building [html]: targets for 4 source files that are out of date updating environment: [new config] 4 added, 0 changed, 0 removed reading sources... [100%] license looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done copying assets... copying static files... done copying extra files... done done writing output... [100%] license generating indices... genindex done writing additional pages... search done dumping search index in English (code: en)... done dumping object inventory... done build succeeded. The HTML pages are in docs/sphinx. + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.EROTmz + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 ++ dirname /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd psmt2-frontend-0.4.0 + dune install --destdir=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 --verbose --release -j2 Shared cache: disabled Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib" ; installed_env = map { "INSIDE_DUNE" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/default" } ; findlib_paths = [ External "/usr/lib64/ocaml"; External "/usr/lib64/ocaml" ] ; ocaml_config = { version = "5.1.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-Wl,--build-id=sha1" ; "-lzstd" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-Wl,--build-id=sha1" ; "-lzstd" ; "-lm" ; "-lpthread" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "as" ] ; asm_cfi_supported = true ; with_frame_pointers = true ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = true ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X033" ; cmi_magic_number = "Caml1999I033" ; cmo_magic_number = "Caml1999O033" ; cma_magic_number = "Caml1999A033" ; cmx_magic_number = "Caml1999y033" ; cmxa_magic_number = "Caml1999z033" ; ast_impl_magic_number = "Caml1999M033" ; ast_intf_magic_number = "Caml1999N033" ; cmxs_magic_number = "Caml1999D033" ; cmt_magic_number = "Caml1999T033" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } ; instrument_with = [] } Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/META Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/dune-package Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/main.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/opam Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend/CHANGES.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend/LICENSE Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend/LICENSE.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend/README.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend/odoc-pages/index.mld Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/META Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/dune-package Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/opam Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/bin/psmt2-frontend_bin Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend_bin/CHANGES.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend_bin/LICENSE Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend_bin/LICENSE.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend_bin/README.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld + '[' -d _build/default/_doc/_html ']' + rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/doc ++ find /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml -name '*.mli' + mlis='/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli' + rm -f /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 /usr/lib64/ocaml + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.4.0-12.fc40 --unique-debug-suffix -0.4.0-12.fc40.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/psmt2-frontend-0.4.0 find-debuginfo: starting Extracting debug info from 2 files DWARF-compressing 2 files sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 cpio: _build/default/: Cannot stat: No such file or directory cpio: _build/default/atomic.ml: Cannot stat: No such file or directory cpio: _build/default/bytes.ml: Cannot stat: No such file or directory cpio: _build/default/format.ml: Cannot stat: No such file or directory cpio: _build/default/lexing.ml: Cannot stat: No such file or directory cpio: _build/default/list.ml: Cannot stat: No such file or directory cpio: _build/default/map.ml: Cannot stat: No such file or directory cpio: _build/default/printf.ml: Cannot stat: No such file or directory cpio: _build/default/seq.ml: Cannot stat: No such file or directory cpio: _build/default/stack.ml: Cannot stat: No such file or directory cpio: _build/default/stdlib.ml: Cannot stat: No such file or directory cpio: _build/default/string.ml: Cannot stat: No such file or directory 1633 blocks find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.AKnM1U + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd psmt2-frontend-0.4.0 + dune runtest --verbose --release -j2 Shared cache: disabled Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib" ; installed_env = map { "INSIDE_DUNE" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/default" } ; findlib_paths = [ External "/usr/lib64/ocaml"; External "/usr/lib64/ocaml" ] ; ocaml_config = { version = "5.1.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-Wl,--build-id=sha1" ; "-lzstd" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-pthread" ; "-g" ; "-fno-omit-frame-pointer" ; "-fPIC" ; "-O2" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Werror=implicit-function-declaration" ; "-Werror=implicit-int" ; "-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" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-fno-omit-frame-pointer" ; "-mno-omit-leaf-frame-pointer" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-Wl,--build-id=sha1" ; "-lzstd" ; "-lm" ; "-lpthread" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "as" ] ; asm_cfi_supported = true ; with_frame_pointers = true ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = true ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X033" ; cmi_magic_number = "Caml1999I033" ; cmo_magic_number = "Caml1999O033" ; cma_magic_number = "Caml1999A033" ; cmx_magic_number = "Caml1999y033" ; cmxa_magic_number = "Caml1999z033" ; ast_impl_magic_number = "Caml1999M033" ; ast_intf_magic_number = "Caml1999N033" ; cmxs_magic_number = "Caml1999D033" ; cmt_magic_number = "Caml1999T033" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } ; instrument_with = [] } Running[1]: (cd _build/default/test/output-tests && /usr/bin/cat test1.expected) > _build/default/test/output-tests/test1.output Running[2]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I test/output-tests/.test2.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmo -c -impl test/output-tests/test2.ml) Running[3]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I test/output-tests/.test2.eobjs/byte -I test/output-tests/.test2.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx -c -impl test/output-tests/test2.ml) Running[4]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o test/output-tests/test2.exe src/lib/psmt2Frontend.cmxa test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx) Running[5]: (cd _build/default/test/output-tests && ./test2.exe min.smt2) > _build/default/test/output-tests/test2.output + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.dLIRpW + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/CHANGES.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/README.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.zyyCRo + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + LICENSEDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/licenses/ocaml-psmt2-frontend + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/licenses/ocaml-psmt2-frontend + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/LICENSE /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/licenses/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Main) = 0d9f29df6383ad1fb4ff1e5e3655c5ae ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58 ocaml(Psmt2Frontend__Version) = 2ebc1d4f86943710cb645be32095df8f ocaml-psmt2-frontend = 0.4.0-12.fc40 ocaml-psmt2-frontend(x86-64) = 0.4.0-12.fc40 ocaml-psmt2-frontend-doc = 0.4.0-12.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) 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) libzstd.so.1()(64bit) ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 rtld(GNU_HASH) Obsoletes: ocaml-psmt2-frontend-doc < 0.4.0-5 Processing files: ocaml-psmt2-frontend-devel-0.4.0-12.fc40.x86_64 Provides: ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Main) = 0d9f29df6383ad1fb4ff1e5e3655c5ae ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58 ocaml(Psmt2Frontend__Version) = 2ebc1d4f86943710cb645be32095df8f ocaml-psmt2-frontend-devel = 0.4.0-12.fc40 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-12.fc40 ocamlx(Psmt2Frontend) = 78ad6c30226c9c910afb2436254724fd ocamlx(Psmt2Frontend__Main) = d8bb5fca150cd99a97a69242ceec66cb ocamlx(Psmt2Frontend__Options) = d22e2f4016140b6781e840cb3d699d6a ocamlx(Psmt2Frontend__Smtlib_error) = a8abe81c2c8484c9f55df7d3c9ae1585 ocamlx(Psmt2Frontend__Smtlib_lexer) = 504ca09010de4f9ea4f39183634e6702 ocamlx(Psmt2Frontend__Smtlib_parser) = cab9f5d743856b6ad423eea9d52786bf ocamlx(Psmt2Frontend__Smtlib_printer) = 5077854e16b85c32d9ccd81e7b104754 ocamlx(Psmt2Frontend__Smtlib_syntax) = f3e1adacfc745e5c3419b36cf1644a18 ocamlx(Psmt2Frontend__Smtlib_ty) = 59fb7686d3674289a04bdd976dde9ff9 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 65aa7a1899afd176e59ccdc567134534 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ed9e09cd62f94136468a326c8ccae8f8 ocamlx(Psmt2Frontend__Smtlib_typing) = aeae8392bc1c2ca4c0f25c018c5123e9 ocamlx(Psmt2Frontend__Version) = 0bac6926961186f9dffe726fd08c13a6 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87 ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309 ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354 ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919 ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5 ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocamlx(CamlinternalFormat) = ae97d2b84e532a9a212e0e5b5779297f ocamlx(Psmt2Frontend__Options) = d22e2f4016140b6781e840cb3d699d6a ocamlx(Psmt2Frontend__Smtlib_error) = a8abe81c2c8484c9f55df7d3c9ae1585 ocamlx(Psmt2Frontend__Smtlib_printer) = 5077854e16b85c32d9ccd81e7b104754 ocamlx(Psmt2Frontend__Smtlib_ty) = 59fb7686d3674289a04bdd976dde9ff9 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 65aa7a1899afd176e59ccdc567134534 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ed9e09cd62f94136468a326c8ccae8f8 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Bytes) = 6e96cb79087dc8383da67de61ba228be ocamlx(Stdlib__Domain) = 9508b777df5086cd80599270908bfec2 ocamlx(Stdlib__Format) = f90c0bee78deceb4a6ee1637008136ec ocamlx(Stdlib__Hashtbl) = 9531514b7ee9cf989da6b9fb2410c8ea ocamlx(Stdlib__Lexing) = a3dd8098d41923179f98c8d0ab446823 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = ec4596c14facd8bd30146ba012ccf9bf ocamlx(Stdlib__Printf) = 527051c09b189b1a45f3d3fc15e54263 ocamlx(Stdlib__Random) = 755e8c0f74d6e5babf19c28b381bfd1b ocamlx(Stdlib__Stack) = 9592479bee34421d36a065b278c0fbd3 ocamlx(Stdlib__String) = 2a70f0bbdd4065b9a6f9202cfba1eaa6 Processing files: ocaml-psmt2-frontend-docs-0.4.0-12.fc40.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.5wm9KF + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs + cp -pr /builddir/build/BUILD/psmt2-frontend-0.4.0/docs/sphinx /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml-psmt2-frontend-docs = 0.4.0-12.fc40 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-12.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-psmt2-frontend-debugsource-0.4.0-12.fc40.x86_64 Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-12.fc40 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-12.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-psmt2-frontend-debuginfo-0.4.0-12.fc40.x86_64 Provides: debuginfo(build-id) = bba145f489650a37a421233820a8867176f766ac debuginfo(build-id) = ec55cc4cb153a359e62714be859c45f1d85625a2 ocaml-psmt2-frontend-debuginfo = 0.4.0-12.fc40 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-12.fc40 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-12.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-12.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-12.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-12.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-12.fc40.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.glTI8q + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-12.fc40.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.qdNqLj + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/psmt2-frontend-0.4.0-SPECPARTS + rm -rf psmt2-frontend-0.4.0 psmt2-frontend-0.4.0.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm Finish: build phase for ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1697543517.974435/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/ocaml-psmt2-frontend-0.4.0-12.fc40.src.rpm) Config(child) 0 minutes 24 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running RPMResults tool Package info: { "packages": [ { "name": "ocaml-psmt2-frontend-devel", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-docs", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend-debuginfo", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "src" }, { "name": "ocaml-psmt2-frontend-debugsource", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "x86_64" }, { "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "x86_64" } ] } RPMResults finished