Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c14d' (ED25519) to the list of known hosts. cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-ytxsy168/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-5b54aca4/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 552k 0 --:--:-- --:--:-- --:--:-- 557k INFO: Reading stdout from command: md5sum psmt2-frontend-0.4.0.tar.gz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-ytxsy168/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-ytxsy168/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1700748813.833069 -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-ytxsy168/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-ytxsy168/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1700748813.833069 -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-ytxsy168/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-1700748813.833069/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-1700748813.833069/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/2867afab974f7855400f2f3efe60e26946dde0e813e737eaca38ba651d113485/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/2867afab974f7855400f2f3efe60e26946dde0e813e737eaca38ba651d113485/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 1.7 MB/s | 1.7 MB 00:01 fedora 928 kB/s | 72 MB 01:19 Last metadata expiration check: 0:00:01 ago on Thu Nov 23 14:14:57 2023. Package python3-dnf-4.18.1-2.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-11.fc40 fedora 356 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 4.4 MB/s | 302 kB 00:00 (2/7): dbus-libs-1.14.10-1.fc40.x86_64.rpm 631 kB/s | 155 kB 00:00 (3/7): python3-dateutil-2.8.2-11.fc40.noarch.rp 1.3 MB/s | 356 kB 00:00 (4/7): python3-distro-1.8.0-6.fc39.noarch.rpm 1.0 MB/s | 49 kB 00:00 (5/7): python3-dbus-1.3.2-4.fc39.x86_64.rpm 674 kB/s | 157 kB 00:00 (6/7): python3-six-1.16.0-12.fc39.noarch.rpm 1.0 MB/s | 41 kB 00:00 (7/7): python3-systemd-235-5.fc39.x86_64.rpm 1.9 MB/s | 107 kB 00:00 -------------------------------------------------------------------------------- Total 2.9 MB/s | 1.1 MB 00:00 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-11.fc40.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 Installed: dbus-libs-1:1.14.10-1.fc40.x86_64 python3-dateutil-1:2.8.2-11.fc40.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-1700748813.833069/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 40 kB/s | 1.5 kB 00:00 Copr repository 15 MB/s | 1.8 MB 00:00 fedora 586 kB/s | 23 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing group/module packages: bash x86_64 5.2.21-2.fc40 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-5.fc40 fedora 280 k diffutils x86_64 3.10-3.fc39 fedora 398 k fedora-release-common noarch 40-0.20 fedora 20 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-22.fc40 fedora 81 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.1-1.fc40 fedora 184 k patch x86_64 2.7.6-22.fc39 fedora 125 k redhat-rpm-config noarch 271-1.fc40 fedora 81 k rpm-build x86_64 4.19.0-2.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.5-1.fc40 fedora 557 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-5.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-14.fc40 fedora 6.3 M binutils-gold x86_64 2.41-14.fc40 fedora 797 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 20231113-1.gitb402e82.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-11.fc40 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.190-2.fc40 fedora 551 k elfutils-debuginfod-client x86_64 0.190-2.fc40 fedora 39 k elfutils-default-yama-scope noarch 0.190-2.fc40 fedora 14 k elfutils-libelf x86_64 0.190-2.fc40 fedora 195 k elfutils-libs x86_64 0.190-2.fc40 fedora 260 k fedora-gpg-keys noarch 40-0.2 fedora 130 k fedora-release noarch 40-0.20 fedora 9.3 k fedora-release-identity-basic noarch 40-0.20 fedora 10 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 x86_64 1:1.23-4.fc39 fedora 155 k 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-22.fc40 fedora 2.2 M glibc-common x86_64 2.38.9000-22.fc40 fedora 363 k glibc-gconv-extra x86_64 2.38.9000-22.fc40 fedora 1.7 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.3.1-1.fc40 fedora 28 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.69-1.fc40 fedora 83 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 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-5.fc40 fedora 112 k libgomp x86_64 13.2.1-5.fc40 fedora 321 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.58.0-1.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.6-0.rc1.1.fc40 fedora 87 k libsemanage x86_64 3.6-0.rc1.1.fc40 fedora 116 k libsepol x86_64 3.6-0.rc1.1.fc40 fedora 340 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-5.fc40 fedora 864 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.12.0-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.4-1.fc40 fedora 2.2 M p11-kit x86_64 0.25.3-1.fc40 fedora 522 k p11-kit-trust x86_64 0.25.3-1.fc40 fedora 142 k package-notes-srpm-macros noarch 0.5-9.fc39 fedora 11 k pam x86_64 1.5.3-8.fc40 fedora 547 k pam-libs x86_64 1.5.3-8.fc40 fedora 57 k pcre2 x86_64 10.42-2.fc40 fedora 233 k pcre2-syntax noarch 10.42-2.fc40 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.6.0-1.fc40 fedora 8.7 k readline x86_64 8.2-4.fc39 fedora 213 k rpm x86_64 4.19.0-2.fc40 fedora 538 k rpm-build-libs x86_64 4.19.0-2.fc40 fedora 96 k rpm-libs x86_64 4.19.0-2.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.44.0-1.fc40 fedora 692 k systemd-libs x86_64 255~rc3-1.fc40 fedora 702 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.5-1.fc40 fedora 108 k zip x86_64 3.0-39.fc40 fedora 266 k zlib x86_64 1.2.13-5.fc40 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 size: 52 M Installed size: 180 M Downloading Packages: [SKIPPED] jansson-2.13.1-7.fc40.x86_64.rpm: Already downloaded [SKIPPED] krb5-libs-1.21.2-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] alternatives-1.25-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-11.fc39.noarch.rpm: Already downloaded [SKIPPED] audit-libs-3.1.2-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] authselect-1.4.3-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] authselect-libs-1.4.3-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] basesystem-11-18.fc39.noarch.rpm: Already downloaded [SKIPPED] bash-5.2.21-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] binutils-2.41-14.fc40.x86_64.rpm: Already downloaded [SKIPPED] binutils-gold-2.41-14.fc40.x86_64.rpm: Already downloaded [SKIPPED] bzip2-1.0.8-16.fc39.x86_64.rpm: Already downloaded [SKIPPED] bzip2-libs-1.0.8-16.fc39.x86_64.rpm: Already downloaded [SKIPPED] ca-certificates-2023.2.62_v7.0.401-4.fc40.noarch.rpm: Already downloaded [SKIPPED] coreutils-9.4-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] coreutils-common-9.4-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] cpio-2.14-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] cracklib-2.9.11-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] crypto-policies-20231113-1.gitb402e82.fc40.noarch.rpm: Already downloaded [SKIPPED] curl-8.4.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-11.fc39.x86_64.rpm: Already downloaded [SKIPPED] debugedit-5.0-11.fc40.x86_64.rpm: Already downloaded [SKIPPED] diffutils-3.10-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] dwz-0.15-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] ed-1.19-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] efi-srpm-macros-5-9.fc39.noarch.rpm: Already downloaded [SKIPPED] elfutils-0.190-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.190-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.190-2.fc40.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.190-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] elfutils-libs-0.190-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] fedora-gpg-keys-40-0.2.noarch.rpm: Already downloaded [SKIPPED] fedora-release-40-0.20.noarch.rpm: Already downloaded [SKIPPED] fedora-release-common-40-0.20.noarch.rpm: Already downloaded [SKIPPED] fedora-release-identity-basic-40-0.20.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-40-0.2.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-rawhide-40-0.2.noarch.rpm: Already downloaded [SKIPPED] file-5.45-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] file-libs-5.45-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] filesystem-3.18-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] findutils-4.9.0-6.fc40.x86_64.rpm: Already downloaded [SKIPPED] fonts-srpm-macros-2.0.5-12.fc39.noarch.rpm: Already downloaded [SKIPPED] forge-srpm-macros-0.1.0-1.fc40.noarch.rpm: Already downloaded [SKIPPED] fpc-srpm-macros-1.3-8.fc39.noarch.rpm: Already downloaded [SKIPPED] gawk-5.2.2-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] gdb-minimal-13.2-11.fc40.x86_64.rpm: Already downloaded [SKIPPED] gdbm-1.23-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] gdbm-libs-1.23-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] ghc-srpm-macros-1.6.1-3.fc40.noarch.rpm: Already downloaded [SKIPPED] glibc-2.38.9000-22.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-common-2.38.9000-22.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.38.9000-22.fc40.x86_64.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.38.9000-22.fc40.x86_64.rpm: Already downloaded [SKIPPED] gmp-6.2.1-5.fc39.x86_64.rpm: Already downloaded [SKIPPED] gnat-srpm-macros-6-3.fc39.noarch.rpm: Already downloaded [SKIPPED] go-srpm-macros-3.3.1-1.fc40.noarch.rpm: Already downloaded [SKIPPED] grep-3.11-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] gzip-1.12-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] info-7.1-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] kernel-srpm-macros-1.0-20.fc39.noarch.rpm: Already downloaded [SKIPPED] keyutils-libs-1.6.1-7.fc39.x86_64.rpm: Already downloaded [SKIPPED] libacl-2.3.1-10.fc40.x86_64.rpm: Already downloaded [SKIPPED] libarchive-3.7.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libattr-2.5.1-9.fc40.x86_64.rpm: Already downloaded [SKIPPED] libblkid-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libbrotli-1.1.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libcap-2.69-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libcap-ng-0.8.3-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] libcom_err-1.47.0-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libcurl-8.4.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libeconf-0.5.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libevent-2.1.12-9.fc39.x86_64.rpm: Already downloaded [SKIPPED] libfdisk-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libffi-3.4.4-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] libgcc-13.2.1-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] libgomp-13.2.1-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] libidn2-2.3.4-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] libmount-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libnghttp2-1.58.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libnsl2-2.0.0-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] libpkgconf-1.9.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libpsl-0.21.2-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] libpwquality-1.4.5-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] libselinux-3.6-0.rc1.1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libsemanage-3.6-0.rc1.1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libsepol-3.6-0.rc1.1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libsigsegv-2.14-5.fc39.x86_64.rpm: Already downloaded [SKIPPED] libsmartcols-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libssh-0.10.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libssh-config-0.10.5-2.fc39.noarch.rpm: Already downloaded [SKIPPED] libstdc++-13.2.1-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] libtasn1-4.19.0-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] libtirpc-1.3.4-0.fc40.x86_64.rpm: Already downloaded [SKIPPED] libunistring-1.1-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] libutempter-1.2.1-10.fc39.x86_64.rpm: Already downloaded [SKIPPED] libuuid-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libverto-0.3.2-6.fc39.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.36-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] libxml2-2.12.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] libzstd-1.5.5-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] lua-libs-5.4.6-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] lua-srpm-macros-1-9.fc39.noarch.rpm: Already downloaded [SKIPPED] lz4-libs-1.9.4-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] mpfr-4.2.1-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] ncurses-base-6.4-8.20231001.fc40.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.4-8.20231001.fc40.x86_64.rpm: Already downloaded [SKIPPED] ocaml-srpm-macros-9-1.fc40.noarch.rpm: Already downloaded [SKIPPED] openblas-srpm-macros-2-14.fc39.noarch.rpm: Already downloaded [SKIPPED] openldap-2.6.6-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] openssl-libs-3.1.4-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-0.25.3-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.25.3-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.5-9.fc39.noarch.rpm: Already downloaded [SKIPPED] pam-1.5.3-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] pam-libs-1.5.3-8.fc40.x86_64.rpm: Already downloaded [SKIPPED] patch-2.7.6-22.fc39.x86_64.rpm: Already downloaded [SKIPPED] pcre2-10.42-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] pcre2-syntax-10.42-2.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-srpm-macros-1-51.fc39.noarch.rpm: Already downloaded [SKIPPED] pkgconf-1.9.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] pkgconf-m4-1.9.5-2.fc39.noarch.rpm: Already downloaded [SKIPPED] pkgconf-pkg-config-1.9.5-2.fc39.x86_64.rpm: Already downloaded [SKIPPED] popt-1.19-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] publicsuffix-list-dafsa-20230812-1.fc40.noarch.rpm: Already downloaded [SKIPPED] pyproject-srpm-macros-1.10.0-1.fc40.noarch.rpm: Already downloaded [SKIPPED] python-srpm-macros-3.12-4.fc40.noarch.rpm: Already downloaded [SKIPPED] qt5-srpm-macros-5.15.11-1.fc40.noarch.rpm: Already downloaded [SKIPPED] qt6-srpm-macros-6.6.0-1.fc40.noarch.rpm: Already downloaded [SKIPPED] readline-8.2-4.fc39.x86_64.rpm: Already downloaded [SKIPPED] redhat-rpm-config-271-1.fc40.noarch.rpm: Already downloaded [SKIPPED] rpm-4.19.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-4.19.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.19.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-libs-4.19.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] rpm-sequoia-1.5.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] rust-srpm-macros-25.2-2.fc40.noarch.rpm: Already downloaded [SKIPPED] sed-4.8-14.fc39.x86_64.rpm: Already downloaded [SKIPPED] setup-2.14.4-1.fc39.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.14.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] sqlite-libs-3.44.0-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] systemd-libs-255~rc3-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] tar-1.35-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] unzip-6.0-62.fc39.x86_64.rpm: Already downloaded [SKIPPED] util-linux-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] util-linux-core-2.39.2-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] which-2.21-40.fc39.x86_64.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.2-1.fc39.x86_64.rpm: Already downloaded [SKIPPED] xz-5.4.5-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] xz-libs-5.4.5-1.fc40.x86_64.rpm: Already downloaded [SKIPPED] zip-3.0-39.fc40.x86_64.rpm: Already downloaded [SKIPPED] zlib-1.2.13-5.fc40.x86_64.rpm: Already downloaded [SKIPPED] zstd-1.5.5-4.fc39.x86_64.rpm: Already downloaded 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-5.fc40.x86_64 1/152 Running scriptlet: libgcc-13.2.1-5.fc40.x86_64 1/152 Installing : crypto-policies-20231113-1.gitb402e82.fc40.noarc 2/152 Running scriptlet: crypto-policies-20231113-1.gitb402e82.fc40.noarc 2/152 Installing : fedora-release-identity-basic-40-0.20.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.20.noarch 7/152 Installing : fedora-release-40-0.20.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.6.0-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-2.fc40.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-22.fc40.x86_64 23/152 Running scriptlet: glibc-gconv-extra-2.38.9000-22.fc40.x86_64 23/152 Installing : glibc-minimal-langpack-2.38.9000-22.fc40.x86_64 24/152 Installing : glibc-common-2.38.9000-22.fc40.x86_64 25/152 Running scriptlet: glibc-2.38.9000-22.fc40.x86_64 26/152 Installing : glibc-2.38.9000-22.fc40.x86_64 26/152 Running scriptlet: glibc-2.38.9000-22.fc40.x86_64 26/152 Installing : ncurses-libs-6.4-8.20231001.fc40.x86_64 27/152 Installing : bash-5.2.21-2.fc40.x86_64 28/152 Running scriptlet: bash-5.2.21-2.fc40.x86_64 28/152 Installing : zlib-1.2.13-5.fc40.x86_64 29/152 Installing : xz-libs-5.4.5-1.fc40.x86_64 30/152 Installing : bzip2-libs-1.0.8-16.fc39.x86_64 31/152 Installing : readline-8.2-4.fc39.x86_64 32/152 Installing : libstdc++-13.2.1-5.fc40.x86_64 33/152 Installing : libuuid-2.39.2-1.fc40.x86_64 34/152 Installing : libzstd-1.5.5-4.fc39.x86_64 35/152 Installing : elfutils-libelf-0.190-2.fc40.x86_64 36/152 Installing : popt-1.19-3.fc39.x86_64 37/152 Installing : libblkid-2.39.2-1.fc40.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 : libxcrypt-4.4.36-2.fc39.x86_64 42/152 Installing : gdbm-libs-1:1.23-4.fc39.x86_64 43/152 Installing : libeconf-0.5.2-1.fc40.x86_64 44/152 Installing : lz4-libs-1.9.4-4.fc39.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-5.fc40.x86_64 54/152 Installing : pam-libs-1.5.3-8.fc40.x86_64 55/152 Installing : libcap-2.69-1.fc40.x86_64 56/152 Installing : systemd-libs-255~rc3-1.fc40.x86_64 57/152 Installing : libcom_err-1.47.0-2.fc39.x86_64 58/152 Installing : libsepol-3.6-0.rc1.1.fc40.x86_64 59/152 Installing : libsmartcols-2.39.2-1.fc40.x86_64 60/152 Installing : libtasn1-4.19.0-3.fc39.x86_64 61/152 Installing : libunistring-1.1-5.fc40.x86_64 62/152 Installing : libidn2-2.3.4-3.fc39.x86_64 63/152 Installing : lua-libs-5.4.6-3.fc39.x86_64 64/152 Installing : pcre2-10.42-2.fc40.x86_64 65/152 Installing : libselinux-3.6-0.rc1.1.fc40.x86_64 66/152 Installing : sed-4.8-14.fc39.x86_64 67/152 Installing : grep-3.11-5.fc40.x86_64 68/152 Installing : findutils-1:4.9.0-6.fc40.x86_64 69/152 Installing : xz-5.4.5-1.fc40.x86_64 70/152 Installing : libmount-2.39.2-1.fc40.x86_64 71/152 Installing : util-linux-core-2.39.2-1.fc40.x86_64 72/152 Installing : libsemanage-3.6-0.rc1.1.fc40.x86_64 73/152 Installing : shadow-utils-2:4.14.0-2.fc40.x86_64 74/152 Running scriptlet: libutempter-1.2.1-10.fc39.x86_64 75/152 Installing : libutempter-1.2.1-10.fc39.x86_64 75/152 Installing : tar-2:1.35-2.fc40.x86_64 76/152 Installing : libpsl-0.21.2-4.fc39.x86_64 77/152 Installing : zip-3.0-39.fc40.x86_64 78/152 Installing : zstd-1.5.5-4.fc39.x86_64 79/152 Installing : cyrus-sasl-lib-2.1.28-11.fc39.x86_64 80/152 Installing : gdbm-1:1.23-4.fc39.x86_64 81/152 Installing : libfdisk-2.39.2-1.fc40.x86_64 82/152 Installing : bzip2-1.0.8-16.fc39.x86_64 83/152 Installing : libxml2-2.12.0-1.fc40.x86_64 84/152 Installing : sqlite-libs-3.44.0-1.fc40.x86_64 85/152 Installing : ed-1.19-4.fc39.x86_64 86/152 Installing : patch-2.7.6-22.fc39.x86_64 87/152 Installing : elfutils-default-yama-scope-0.190-2.fc40.noarch 88/152 Running scriptlet: elfutils-default-yama-scope-0.190-2.fc40.noarch 88/152 Installing : cpio-2.14-5.fc40.x86_64 89/152 Installing : diffutils-3.10-3.fc39.x86_64 90/152 Installing : keyutils-libs-1.6.1-7.fc39.x86_64 91/152 Installing : libbrotli-1.1.0-1.fc40.x86_64 92/152 Installing : libffi-3.4.4-4.fc39.x86_64 93/152 Installing : p11-kit-0.25.3-1.fc40.x86_64 94/152 Installing : p11-kit-trust-0.25.3-1.fc40.x86_64 95/152 Running scriptlet: p11-kit-trust-0.25.3-1.fc40.x86_64 95/152 Installing : libgomp-13.2.1-5.fc40.x86_64 96/152 Installing : libnghttp2-1.58.0-1.fc40.x86_64 97/152 Installing : libpkgconf-1.9.5-2.fc39.x86_64 98/152 Installing : pkgconf-1.9.5-2.fc39.x86_64 99/152 Installing : pkgconf-pkg-config-1.9.5-2.fc39.x86_64 100/152 Installing : libsigsegv-2.14-5.fc39.x86_64 101/152 Installing : gawk-5.2.2-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.4-1.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-8.fc40.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.190-2.fc40.x86_64 128/152 Installing : elfutils-debuginfod-client-0.190-2.fc40.x86_64 129/152 Installing : binutils-2.41-14.fc40.x86_64 130/152 Running scriptlet: binutils-2.41-14.fc40.x86_64 130/152 Installing : binutils-gold-2.41-14.fc40.x86_64 131/152 Running scriptlet: binutils-gold-2.41-14.fc40.x86_64 131/152 Installing : elfutils-0.190-2.fc40.x86_64 132/152 Installing : gdb-minimal-13.2-11.fc40.x86_64 133/152 Installing : debugedit-5.0-11.fc40.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-2.fc40.x86_64 137/152 Running scriptlet: rpm-4.19.0-2.fc40.x86_64 138/152 Installing : rpm-4.19.0-2.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-2.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.3.1-1.fc40.noarch 145/152 Installing : python-srpm-macros-3.12-4.fc40.noarch 146/152 Installing : redhat-rpm-config-271-1.fc40.noarch 147/152 Installing : rpm-build-4.19.0-2.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.1-1.fc40.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-2.fc40.x86_64 152/152 Running scriptlet: info-7.1-1.fc40.x86_64 152/152 Installed: alternatives-1.25-1.fc39.x86_64 ansible-srpm-macros-1-11.fc39.noarch audit-libs-3.1.2-5.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.21-2.fc40.x86_64 binutils-2.41-14.fc40.x86_64 binutils-gold-2.41-14.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-5.fc40.x86_64 cracklib-2.9.11-2.fc39.x86_64 crypto-policies-20231113-1.gitb402e82.fc40.noarch curl-8.4.0-1.fc40.x86_64 cyrus-sasl-lib-2.1.28-11.fc39.x86_64 debugedit-5.0-11.fc40.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.190-2.fc40.x86_64 elfutils-debuginfod-client-0.190-2.fc40.x86_64 elfutils-default-yama-scope-0.190-2.fc40.noarch elfutils-libelf-0.190-2.fc40.x86_64 elfutils-libs-0.190-2.fc40.x86_64 fedora-gpg-keys-40-0.2.noarch fedora-release-40-0.20.noarch fedora-release-common-40-0.20.noarch fedora-release-identity-basic-40-0.20.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-1:1.23-4.fc39.x86_64 gdbm-libs-1:1.23-4.fc39.x86_64 ghc-srpm-macros-1.6.1-3.fc40.noarch glibc-2.38.9000-22.fc40.x86_64 glibc-common-2.38.9000-22.fc40.x86_64 glibc-gconv-extra-2.38.9000-22.fc40.x86_64 glibc-minimal-langpack-2.38.9000-22.fc40.x86_64 gmp-1:6.2.1-5.fc39.x86_64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.3.1-1.fc40.noarch grep-3.11-5.fc40.x86_64 gzip-1.12-6.fc39.x86_64 info-7.1-1.fc40.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.69-1.fc40.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 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-5.fc40.x86_64 libgomp-13.2.1-5.fc40.x86_64 libidn2-2.3.4-3.fc39.x86_64 libmount-2.39.2-1.fc40.x86_64 libnghttp2-1.58.0-1.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.6-0.rc1.1.fc40.x86_64 libsemanage-3.6-0.rc1.1.fc40.x86_64 libsepol-3.6-0.rc1.1.fc40.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-5.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.12.0-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.4-1.fc40.x86_64 p11-kit-0.25.3-1.fc40.x86_64 p11-kit-trust-0.25.3-1.fc40.x86_64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-8.fc40.x86_64 pam-libs-1.5.3-8.fc40.x86_64 patch-2.7.6-22.fc39.x86_64 pcre2-10.42-2.fc40.x86_64 pcre2-syntax-10.42-2.fc40.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.6.0-1.fc40.noarch readline-8.2-4.fc39.x86_64 redhat-rpm-config-271-1.fc40.noarch rpm-4.19.0-2.fc40.x86_64 rpm-build-4.19.0-2.fc40.x86_64 rpm-build-libs-4.19.0-2.fc40.x86_64 rpm-libs-4.19.0-2.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.44.0-1.fc40.x86_64 systemd-libs-255~rc3-1.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.5-1.fc40.x86_64 xz-libs-5.4.5-1.fc40.x86_64 zip-3.0-39.fc40.x86_64 zlib-1.2.13-5.fc40.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-5.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.21-2.fc40.x86_64 binutils-2.41-14.fc40.x86_64 binutils-gold-2.41-14.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-5.fc40.x86_64 cracklib-2.9.11-2.fc39.x86_64 crypto-policies-20231113-1.gitb402e82.fc40.noarch curl-8.4.0-1.fc40.x86_64 cyrus-sasl-lib-2.1.28-11.fc39.x86_64 debugedit-5.0-11.fc40.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.190-2.fc40.x86_64 elfutils-debuginfod-client-0.190-2.fc40.x86_64 elfutils-default-yama-scope-0.190-2.fc40.noarch elfutils-libelf-0.190-2.fc40.x86_64 elfutils-libs-0.190-2.fc40.x86_64 fedora-gpg-keys-40-0.2.noarch fedora-release-40-0.20.noarch fedora-release-common-40-0.20.noarch fedora-release-identity-basic-40-0.20.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-1.23-4.fc39.x86_64 gdbm-libs-1.23-4.fc39.x86_64 ghc-srpm-macros-1.6.1-3.fc40.noarch glibc-2.38.9000-22.fc40.x86_64 glibc-common-2.38.9000-22.fc40.x86_64 glibc-gconv-extra-2.38.9000-22.fc40.x86_64 glibc-minimal-langpack-2.38.9000-22.fc40.x86_64 gmp-6.2.1-5.fc39.x86_64 gnat-srpm-macros-6-3.fc39.noarch go-srpm-macros-3.3.1-1.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.1-1.fc40.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.69-1.fc40.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 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-5.fc40.x86_64 libgomp-13.2.1-5.fc40.x86_64 libidn2-2.3.4-3.fc39.x86_64 libmount-2.39.2-1.fc40.x86_64 libnghttp2-1.58.0-1.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.6-0.rc1.1.fc40.x86_64 libsemanage-3.6-0.rc1.1.fc40.x86_64 libsepol-3.6-0.rc1.1.fc40.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-5.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.12.0-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.4-1.fc40.x86_64 p11-kit-0.25.3-1.fc40.x86_64 p11-kit-trust-0.25.3-1.fc40.x86_64 package-notes-srpm-macros-0.5-9.fc39.noarch pam-1.5.3-8.fc40.x86_64 pam-libs-1.5.3-8.fc40.x86_64 patch-2.7.6-22.fc39.x86_64 pcre2-10.42-2.fc40.x86_64 pcre2-syntax-10.42-2.fc40.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.6.0-1.fc40.noarch readline-8.2-4.fc39.x86_64 redhat-rpm-config-271-1.fc40.noarch rpm-4.19.0-2.fc40.x86_64 rpm-build-4.19.0-2.fc40.x86_64 rpm-build-libs-4.19.0-2.fc40.x86_64 rpm-libs-4.19.0-2.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.44.0-1.fc40.x86_64 systemd-libs-255~rc3-1.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.5-1.fc40.x86_64 xz-libs-5.4.5-1.fc40.x86_64 zip-3.0-39.fc40.x86_64 zlib-1.2.13-5.fc40.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-1700748813.833069/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1700748813.833069/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1700748813.833069/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-ytxsy168/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(child) 2 minutes 2 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-1700748813.833069/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1700748813.833069/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-1700748813.833069/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-2.fc40.x86_64 rpm-sequoia-1.5.0-1.fc40.x86_64 python3-dnf-4.18.1-2.fc40.noarch python3-dnf-plugins-core-4.4.3-1.fc40.noarch yum-4.18.1-2.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 fedora 719 kB/s | 23 kB 00:00 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-5.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.2.6-3.fc40 fedora 2.6 M python3-sphinx_rtd_theme noarch 1.2.2-2.fc40 fedora 85 k Installing dependencies: annobin-docs noarch 12.31-1.fc40 fedora 92 k annobin-plugin-gcc x86_64 12.31-1.fc40 fedora 959 k cpp x86_64 13.2.1-5.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-5.fc40 fedora 34 M gcc-plugin-annobin x86_64 13.2.1-5.fc40 fedora 49 k glibc-devel x86_64 2.38.9000-22.fc40 fedora 97 k glibc-headers-x86 noarch 2.38.9000-22.fc40 fedora 581 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.7.0-0.rc2.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-5.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-5.fc40 fedora 15 k ocaml-runtime x86_64 5.1.0-5.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.13.1-1.fc40 copr_base 6.8 M python3-charset-normalizer noarch 3.3.2-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-setuptools noarch 68.2.2-1.fc40 fedora 1.5 M python3-snowballstemmer noarch 2.2.0-7.fc39 fedora 257 k python3-sphinx-theme-alabaster noarch 0.7.13-1.fc40 fedora 29 k python3-sphinxcontrib-jquery noarch 4.1-5.fc40 fedora 113 k python3-urllib3 noarch 1.26.18-1.fc40 fedora 274 k tzdata noarch 2023c-4.fc40 fedora 717 k Transaction Summary ========================================================================================= Install 51 Packages Total size: 184 M Total download size: 171 M Installed size: 602 M Downloading Packages: [SKIPPED] python3-requests-2.31.0-1.fc40.noarch.rpm: Already downloaded [SKIPPED] expat-2.5.0-3.fc39.x86_64.rpm: Already downloaded [SKIPPED] libb2-0.98.1-9.fc39.x86_64.rpm: Already downloaded [SKIPPED] mpdecimal-2.5.1-7.fc39.x86_64.rpm: Already downloaded [SKIPPED] python-pip-wheel-23.2.1-1.fc39.noarch.rpm: Already downloaded [SKIPPED] python3-3.12.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] python3-charset-normalizer-3.3.2-1.fc40.noarch.rpm: Already downloaded [SKIPPED] python3-idna-3.4-5.fc40.noarch.rpm: Already downloaded [SKIPPED] python3-libs-3.12.0-2.fc40.x86_64.rpm: Already downloaded [SKIPPED] python3-packaging-23.2-2.fc40.noarch.rpm: Already downloaded [SKIPPED] python3-setuptools-68.2.2-1.fc40.noarch.rpm: Already downloaded [SKIPPED] python3-urllib3-1.26.18-1.fc40.noarch.rpm: Already downloaded [SKIPPED] tzdata-2023c-4.fc40.noarch.rpm: Already downloaded (14/51): annobin-docs-12.31-1.fc40.noarch.rpm 839 kB/s | 92 kB 00:00 (15/51): python3-babel-2.13.1-1.fc40.noarch.rpm 49 MB/s | 6.8 MB 00:00 (16/51): fontawesome4-fonts-4.7.0-19.fc40.noarc 1.6 MB/s | 204 kB 00:00 (17/51): annobin-plugin-gcc-12.31-1.fc40.x86_64 3.3 MB/s | 959 kB 00:00 (18/51): fonts-filesystem-2.0.5-12.fc39.noarch. 381 kB/s | 8.2 kB 00:00 (19/51): gc-8.2.2-4.fc39.x86_64.rpm 3.5 MB/s | 110 kB 00:00 (20/51): gcc-plugin-annobin-13.2.1-5.fc40.x86_6 1.9 MB/s | 49 kB 00:00 (21/51): glibc-devel-2.38.9000-22.fc40.x86_64.r 3.1 MB/s | 97 kB 00:00 (22/51): glibc-headers-x86-2.38.9000-22.fc40.no 5.2 MB/s | 581 kB 00:00 (23/51): google-roboto-slab-fonts-1.100263-0.21 5.3 MB/s | 239 kB 00:00 (24/51): guile22-2.2.7-9.fc39.x86_64.rpm 13 MB/s | 6.5 MB 00:00 (25/51): cpp-13.2.1-5.fc40.x86_64.rpm 11 MB/s | 11 MB 00:00 (26/51): kernel-headers-6.7.0-0.rc2.git0.1.fc40 17 MB/s | 1.6 MB 00:00 (27/51): libmpc-1.3.1-3.fc39.x86_64.rpm 3.7 MB/s | 70 kB 00:00 (28/51): libtool-ltdl-2.4.7-8.fc40.x86_64.rpm 2.0 MB/s | 36 kB 00:00 (29/51): libxcrypt-devel-4.4.36-2.fc39.x86_64.r 1.6 MB/s | 30 kB 00:00 (30/51): lato-fonts-2.015-17.fc39.noarch.rpm 25 MB/s | 3.1 MB 00:00 (31/51): libzstd-devel-1.5.5-4.fc39.x86_64.rpm 2.8 MB/s | 51 kB 00:00 (32/51): make-4.4.1-2.fc39.x86_64.rpm 23 MB/s | 589 kB 00:00 (33/51): gcc-13.2.1-5.fc40.x86_64.rpm 20 MB/s | 34 MB 00:01 (34/51): ocaml-dune-3.11.1-1.fc40.x86_64.rpm 27 MB/s | 6.1 MB 00:00 (35/51): ocaml-5.1.0-5.fc40.x86_64.rpm 31 MB/s | 36 MB 00:01 (36/51): ocaml-compiler-libs-5.1.0-5.fc40.x86_6 40 MB/s | 49 MB 00:01 (37/51): ocaml-menhirlib-20230608-4.fc40.x86_64 81 kB/s | 182 kB 00:02 (38/51): ocaml-rpm-macros-5.1.0-5.fc40.noarch.r 826 kB/s | 15 kB 00:00 (39/51): ocaml-menhirlib-devel-20230608-4.fc40. 247 kB/s | 558 kB 00:02 (40/51): python3-docutils-0.20.1-1.fc40.noarch. 24 MB/s | 1.0 MB 00:00 (41/51): ocaml-menhir-20230608-4.fc40.x86_64.rp 1.0 MB/s | 2.4 MB 00:02 (42/51): python3-imagesize-1.4.1-5.fc40.noarch. 1.2 MB/s | 22 kB 00:00 (43/51): python3-jinja2-3.1.2-6.fc40.noarch.rpm 20 MB/s | 505 kB 00:00 (44/51): python3-markupsafe-2.1.3-2.fc39.x86_64 1.5 MB/s | 30 kB 00:00 (45/51): ocaml-runtime-5.1.0-5.fc40.x86_64.rpm 23 MB/s | 3.2 MB 00:00 (46/51): python3-snowballstemmer-2.2.0-7.fc39.n 8.2 MB/s | 257 kB 00:00 (47/51): python3-pygments-2.16.1-1.fc40.noarch. 48 MB/s | 2.4 MB 00:00 (48/51): python3-sphinx-theme-alabaster-0.7.13- 1.4 MB/s | 29 kB 00:00 (49/51): python3-sphinx_rtd_theme-1.2.2-2.fc40. 4.4 MB/s | 85 kB 00:00 (50/51): python3-sphinxcontrib-jquery-4.1-5.fc4 5.7 MB/s | 113 kB 00:00 (51/51): python3-sphinx-7.2.6-3.fc40.noarch.rpm 35 MB/s | 2.6 MB 00:00 -------------------------------------------------------------------------------- Total 35 MB/s | 171 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/51 Installing : libmpc-1.3.1-3.fc39.x86_64 2/51 Installing : cpp-13.2.1-5.fc40.x86_64 3/51 Installing : fontawesome4-fonts-1:4.7.0-19.fc40.noarch 4/51 Installing : google-roboto-slab-fonts-1.100263-0.21.20150923git 5/51 Installing : lato-fonts-2.015-17.fc39.noarch 6/51 Installing : tzdata-2023c-4.fc40.noarch 7/51 Installing : python-pip-wheel-23.2.1-1.fc39.noarch 8/51 Installing : ocaml-runtime-5.1.0-5.fc40.x86_64 9/51 Installing : mpdecimal-2.5.1-7.fc39.x86_64 10/51 Installing : libzstd-devel-1.5.5-4.fc39.x86_64 11/51 Installing : libtool-ltdl-2.4.7-8.fc40.x86_64 12/51 Installing : libb2-0.98.1-9.fc39.x86_64 13/51 Installing : kernel-headers-6.7.0-0.rc2.git0.1.fc40.x86_64 14/51 Installing : glibc-headers-x86-2.38.9000-22.fc40.noarch 15/51 Installing : libxcrypt-devel-4.4.36-2.fc39.x86_64 16/51 Installing : glibc-devel-2.38.9000-22.fc40.x86_64 17/51 Installing : gc-8.2.2-4.fc39.x86_64 18/51 Installing : guile22-2.2.7-9.fc39.x86_64 19/51 Installing : make-1:4.4.1-2.fc39.x86_64 20/51 Installing : gcc-13.2.1-5.fc40.x86_64 21/51 Running scriptlet: gcc-13.2.1-5.fc40.x86_64 21/51 Installing : ocaml-5.1.0-5.fc40.x86_64 22/51 Installing : ocaml-compiler-libs-5.1.0-5.fc40.x86_64 23/51 Installing : ocaml-menhirlib-20230608-4.fc40.x86_64 24/51 Installing : ocaml-menhirlib-devel-20230608-4.fc40.x86_64 25/51 Installing : expat-2.5.0-3.fc39.x86_64 26/51 Installing : python3-3.12.0-2.fc40.x86_64 27/51 Installing : python3-libs-3.12.0-2.fc40.x86_64 28/51 Installing : python3-docutils-0.20.1-1.fc40.noarch 29/51 Installing : python3-idna-3.4-5.fc40.noarch 30/51 Installing : python3-urllib3-1.26.18-1.fc40.noarch 31/51 Installing : ocaml-rpm-macros-5.1.0-5.fc40.noarch 32/51 Installing : python3-charset-normalizer-3.3.2-1.fc40.noarch 33/51 Installing : python3-requests-2.31.0-1.fc40.noarch 34/51 Installing : python3-imagesize-1.4.1-5.fc40.noarch 35/51 Installing : python3-markupsafe-2.1.3-2.fc39.x86_64 36/51 Installing : python3-jinja2-3.1.2-6.fc40.noarch 37/51 Installing : python3-packaging-23.2-2.fc40.noarch 38/51 Installing : python3-pygments-2.16.1-1.fc40.noarch 39/51 Installing : python3-setuptools-68.2.2-1.fc40.noarch 40/51 Installing : python3-babel-2.13.1-1.fc40.noarch 41/51 Installing : python3-snowballstemmer-2.2.0-7.fc39.noarch 42/51 Installing : python3-sphinx-theme-alabaster-0.7.13-1.fc40.noarc 43/51 Installing : python3-sphinx-1:7.2.6-3.fc40.noarch 44/51 Installing : python3-sphinxcontrib-jquery-4.1-5.fc40.noarch 45/51 Installing : annobin-docs-12.31-1.fc40.noarch 46/51 Installing : annobin-plugin-gcc-12.31-1.fc40.x86_64 47/51 Running scriptlet: annobin-plugin-gcc-12.31-1.fc40.x86_64 47/51 Installing : python3-sphinx_rtd_theme-1.2.2-2.fc40.noarch 48/51 Installing : ocaml-dune-3.11.1-1.fc40.x86_64 49/51 Installing : ocaml-menhir-20230608-4.fc40.x86_64 50/51 Installing : gcc-plugin-annobin-13.2.1-5.fc40.x86_64 51/51 Running scriptlet: gcc-plugin-annobin-13.2.1-5.fc40.x86_64 51/51 Installed: annobin-docs-12.31-1.fc40.noarch annobin-plugin-gcc-12.31-1.fc40.x86_64 cpp-13.2.1-5.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-5.fc40.x86_64 gcc-plugin-annobin-13.2.1-5.fc40.x86_64 glibc-devel-2.38.9000-22.fc40.x86_64 glibc-headers-x86-2.38.9000-22.fc40.noarch google-roboto-slab-fonts-1.100263-0.21.20150923git.fc39.noarch guile22-2.2.7-9.fc39.x86_64 kernel-headers-6.7.0-0.rc2.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-5.fc40.x86_64 ocaml-compiler-libs-5.1.0-5.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-5.fc40.noarch ocaml-runtime-5.1.0-5.fc40.x86_64 python-pip-wheel-23.2.1-1.fc39.noarch python3-3.12.0-2.fc40.x86_64 python3-babel-2.13.1-1.fc40.noarch python3-charset-normalizer-3.3.2-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-setuptools-68.2.2-1.fc40.noarch python3-snowballstemmer-2.2.0-7.fc39.noarch python3-sphinx-1:7.2.6-3.fc40.noarch python3-sphinx-theme-alabaster-0.7.13-1.fc40.noarch python3-sphinx_rtd_theme-1.2.2-2.fc40.noarch python3-sphinxcontrib-jquery-4.1-5.fc40.noarch python3-urllib3-1.26.18-1.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.A9hkyp + 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.xNf9TZ + 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/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_lexer.impl.d Running[18]: (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[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__Options.cmo -c -impl src/lib/options.ml) Running[24]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx -c -impl src/lib/options.ml) Running[25]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo -c -impl src/lib/smtlib_error.ml) Running[26]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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[27]: (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[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/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[32]: (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[33]: (cd _build/.sandbox/12825fa3e6c27d4a7c710319c677a424/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/12825fa3e6c27d4a7c710319c677a424/default/src/lib/smtlib_parser__mock.mli.inferred 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/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[37]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred) Running[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml) Output[37]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Warning: 22 end-of-stream conflicts were arbitrarily resolved. File "", line 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/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo -c -impl src/lib/smtlib_typing.ml) Running[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/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[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_typed_logic.cmx -c -impl src/lib/smtlib_typed_logic.ml) Running[45]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml) Running[46]: (cd _build/default && /usr/bin/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[47]: (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[48]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx -c -impl src/lib/smtlib_typing.ml) Running[49]: (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[50]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -a -o src/lib/psmt2Frontend.cma src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo) Running[51]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx -c -impl src/lib/smtlib_lexer.ml) Running[52]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/bin/.main.eobjs/byte -I src/bin/.main.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o src/bin/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/bin/main.ml) Running[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -a -o src/lib/psmt2Frontend.cmxa src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx) Running[54]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa) Running[55]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o src/bin/main.exe src/lib/psmt2Frontend.cmxa src/bin/.main.eobjs/native/dune__exe__Main.cmx) Promoting "_build/default/psmt2-frontend.install" to "psmt2-frontend.install" Promoting "_build/default/psmt2-frontend_bin.install" to "psmt2-frontend_bin.install" + make sphinx sphinx-build sphinx docs/sphinx Running Sphinx v7.2.6 making output directory... done building [mo]: targets for 0 po files that are out of date writing output... building [html]: targets for 4 source files that are out of date updating environment: [new config] 4 added, 0 changed, 0 removed reading sources... [100%] license looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done copying assets... copying static files... done copying extra files... done done writing output... [100%] license generating indices... genindex done writing additional pages... search done dumping search index in English (code: en)... done dumping object inventory... done build succeeded. The HTML pages are in docs/sphinx. + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.DuPcNh + 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.OOF1UU + 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.Zc2U1F + 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.hzGNcS + 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.X83ywn + 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) = 22e2ec39ce8a54744aaf33e16a162e74aecacacd debuginfo(build-id) = 2e088020d8e21755ab0c9d3bf4a9caa5ac5ea01f 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-0.4.0-12.fc40.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-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-debugsource-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.Thk2f7 + 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.tcK9BF + 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-1700748813.833069/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1700748813.833069/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1700748813.833069/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-docs", "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" }, { "name": "ocaml-psmt2-frontend-devel", "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-debuginfo", "epoch": null, "version": "0.4.0", "release": "12.fc40", "arch": "x86_64" } ] } RPMResults finished