Warning: Permanently added '3.82.152.151' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/8421030-fedora-rawhide-aarch64 --chroot fedora-rawhide-aarch64 Version: 1.2 PID: 24282 Logging PID: 24283 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'build_id': 8421030, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-aarch64', 'enable_net': False, 'fedora_review': False, 'git_hash': 'e3ecf23c7029c8f93356e718e2f79f6eb17dad58', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/dmalcolm/gcc-15-smoketest-3/gappalib-coq', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'gappalib-coq', 'package_version': '1.5.5-5', 'project_dirname': 'gcc-15-smoketest-3', 'project_name': 'gcc-15-smoketest-3', 'project_owner': 'dmalcolm', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/dmalcolm/gcc-15-smoketest-3/fedora-rawhide-aarch64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}, {'baseurl': 'https://fedorapeople.org/~dmalcolm/gcc/gcc-15-mass-prebuild/$basearch', 'id': 'https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch', 'name': 'Additional repo https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch'}], 'sandbox': 'dmalcolm/gcc-15-smoketest-3--dmalcolm', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'storage': 0, 'submitter': 'dmalcolm', 'tags': [], 'task_id': '8421030-fedora-rawhide-aarch64', 'timeout': 115200, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/dmalcolm/gcc-15-smoketest-3/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/dmalcolm/gcc-15-smoketest-3/gappalib-coq', '/var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq'... Running: git checkout e3ecf23c7029c8f93356e718e2f79f6eb17dad58 -- cmd: ['git', 'checkout', 'e3ecf23c7029c8f93356e718e2f79f6eb17dad58', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq rc: 0 stdout: stderr: Note: switching to 'e3ecf23c7029c8f93356e718e2f79f6eb17dad58'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at e3ecf23 automatic import of gappalib-coq Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq 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 gappalib-coq-1.5.5.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o gappalib-coq-1.5.5.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/dmalcolm/gcc-15-smoketest-3/gappalib-coq/gappalib-coq-1.5.5.tar.gz/md5/407edcd411a4d3e557f43d153bfc8649/gappalib-coq-1.5.5.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 82143 100 82143 0 0 1932k 0 --:--:-- --:--:-- --:--:-- 1956k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.5.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=115200): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734652756.569296 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734652756.569296 -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-5pc6r43u/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-aarch64) Start: clean chroot Finish: clean chroot Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1734652756.569296/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-aarch64-bootstrap-1734652756.569296/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/770366c42e135b570e56ae9fe2d604d715ef6448604027c78675351224d6a87c/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/770366c42e135b570e56ae9fe2d604d715ef6448604027c78675351224d6a87c/merged) with podman image umount INFO: Package manager dnf5 detected and used (fallback) INFO: Not updating bootstrap chroot, bootstrap_image_ready=True Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-1734652756.569296/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf5 detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.20.0-1.fc42.aarch64 rpm-sequoia-1.7.0-3.fc42.aarch64 dnf5-5.2.8.1-2.fc42.aarch64 dnf5-plugins-5.2.8.1-2.fc42.aarch64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 471.8 KiB/s | 12.3 KiB | 00m00s Copr repository 100% | 29.5 KiB/s | 1.5 KiB | 00m00s Additional repo https_fedorapeople_org 100% | 16.4 KiB/s | 1.5 KiB | 00m00s Copr repository 100% | 71.3 MiB/s | 2.4 MiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash aarch64 5.2.37-1.fc42 fedora 8.2 MiB bzip2 aarch64 1.0.8-19.fc42 copr_base 168.7 KiB coreutils aarch64 9.5-11.fc42 copr_base 7.9 MiB cpio aarch64 2.15-2.fc41 fedora 1.2 MiB diffutils aarch64 3.10-8.fc42 copr_base 1.7 MiB fedora-release-common noarch 42-0.11 fedora 19.8 KiB findutils aarch64 1:4.10.0-4.fc42 copr_base 1.9 MiB gawk aarch64 5.3.0-4.fc41 fedora 4.2 MiB glibc-minimal-langpack aarch64 2.40.9000-24.fc42 fedora 0.0 B grep aarch64 3.11-9.fc41 fedora 1.1 MiB gzip aarch64 1.13-2.fc41 fedora 488.9 KiB info aarch64 7.1.1-2.fc42 fedora 613.6 KiB patch aarch64 2.7.6-25.fc41 fedora 390.6 KiB redhat-rpm-config noarch 300-1.no_annobin.0.fc42 copr_base 186.6 KiB rpm-build aarch64 4.20.0-1.fc42 fedora 1.4 MiB sed aarch64 4.9-3.fc41 fedora 1.0 MiB shadow-utils aarch64 2:4.17.0~rc1-1.fc42 fedora 4.5 MiB tar aarch64 2:1.35-4.fc41 fedora 3.1 MiB unzip aarch64 6.0-65.fc42 fedora 2.3 MiB util-linux aarch64 2.40.2-8.fc42 fedora 16.9 MiB which aarch64 2.21-42.fc41 fedora 248.2 KiB xz aarch64 1:5.6.3-2.fc42 fedora 1.5 MiB Installing dependencies: add-determinism aarch64 0.4.3-1.fc42 fedora 2.1 MiB alternatives aarch64 1.31-1.fc42 fedora 88.7 KiB ansible-srpm-macros noarch 1-16.fc41 fedora 35.7 KiB audit-libs aarch64 4.0.2-1.fc42 copr_base 415.2 KiB authselect aarch64 1.5.0-8.fc42 copr_base 179.9 KiB authselect-libs aarch64 1.5.0-8.fc42 copr_base 865.5 KiB basesystem noarch 11-21.fc41 fedora 0.0 B binutils aarch64 2.43.50-9.fc42 copr_base 28.9 MiB build-reproducibility-srpm-macros noarch 0.4.3-1.fc42 fedora 735.0 B bzip2-libs aarch64 1.0.8-19.fc42 copr_base 135.1 KiB ca-certificates noarch 2024.2.69_v8.0.401-3.fc42 fedora 2.6 MiB coreutils-common aarch64 9.5-11.fc42 copr_base 11.2 MiB cracklib aarch64 2.9.11-6.fc42 copr_base 417.7 KiB crypto-policies noarch 20241128-1.gitbb7b0b0.fc42 fedora 137.3 KiB curl aarch64 8.11.1-2.fc42 copr_base 451.9 KiB cyrus-sasl-lib aarch64 2.1.28-27.fc41 fedora 3.1 MiB debugedit aarch64 5.1-2.fc42 copr_base 241.5 KiB dwz aarch64 0.15-8.fc42 copr_base 319.6 KiB ed aarch64 1.20.2-2.fc41 fedora 282.8 KiB efi-srpm-macros noarch 5-13.fc42 fedora 40.2 KiB elfutils aarch64 0.192-7.fc42 copr_base 3.0 MiB elfutils-debuginfod-client aarch64 0.192-7.fc42 copr_base 141.3 KiB elfutils-default-yama-scope noarch 0.192-7.fc42 copr_base 1.8 KiB elfutils-libelf aarch64 0.192-7.fc42 copr_base 1.2 MiB elfutils-libs aarch64 0.192-7.fc42 copr_base 734.9 KiB fedora-gpg-keys noarch 42-0.3 fedora 126.4 KiB fedora-release noarch 42-0.11 fedora 0.0 B fedora-release-identity-basic noarch 42-0.11 fedora 719.0 B fedora-repos noarch 42-0.3 fedora 4.9 KiB fedora-repos-rawhide noarch 42-0.3 fedora 2.2 KiB file aarch64 5.45-8.fc42 fedora 139.5 KiB file-libs aarch64 5.45-8.fc42 fedora 10.0 MiB filesystem aarch64 3.18-29.fc42 fedora 106.0 B filesystem-srpm-macros noarch 3.18-29.fc42 fedora 36.1 KiB fonts-srpm-macros noarch 1:2.0.5-17.fc41 fedora 55.8 KiB forge-srpm-macros noarch 0.4.0-1.fc42 fedora 38.9 KiB fpc-srpm-macros noarch 1.3-13.fc41 fedora 144.0 B gdb-minimal aarch64 15.2-4.fc42 fedora 12.7 MiB gdbm aarch64 1:1.23-7.fc41 fedora 928.5 KiB gdbm-libs aarch64 1:1.23-7.fc41 fedora 426.0 KiB ghc-srpm-macros noarch 1.9.2-1.fc42 fedora 779.0 B glibc aarch64 2.40.9000-24.fc42 fedora 6.2 MiB glibc-common aarch64 2.40.9000-24.fc42 fedora 1.3 MiB glibc-gconv-extra aarch64 2.40.9000-24.fc42 fedora 18.3 MiB gmp aarch64 1:6.3.0-2.fc41 fedora 722.0 KiB gnat-srpm-macros noarch 6-6.fc41 fedora 1.0 KiB go-srpm-macros noarch 3.6.0-5.fc42 fedora 60.8 KiB jansson aarch64 2.14-1.fc42 fedora 221.3 KiB json-c aarch64 0.18-1.fc42 fedora 139.2 KiB kernel-srpm-macros noarch 1.0-24.fc41 fedora 1.9 KiB keyutils-libs aarch64 1.6.3-4.fc41 fedora 226.4 KiB krb5-libs aarch64 1.21.3-3.fc42 fedora 2.6 MiB libacl aarch64 2.3.2-2.fc42 copr_base 66.3 KiB libarchive aarch64 3.7.7-1.fc42 fedora 912.2 KiB libattr aarch64 2.5.2-4.fc41 fedora 196.6 KiB libblkid aarch64 2.40.2-8.fc42 fedora 418.6 KiB libbrotli aarch64 1.1.0-5.fc42 copr_base 904.3 KiB libcap aarch64 2.71-1.fc42 fedora 509.8 KiB libcap-ng aarch64 0.8.5-3.fc41 fedora 417.2 KiB libcom_err aarch64 1.47.1-6.fc42 fedora 239.3 KiB libcurl aarch64 8.11.1-2.fc42 copr_base 845.2 KiB libeconf aarch64 0.7.5-1.fc42 fedora 78.7 KiB libevent aarch64 2.1.12-14.fc41 fedora 1.5 MiB libfdisk aarch64 2.40.2-8.fc42 fedora 482.9 KiB libffi aarch64 3.4.6-3.fc42 fedora 282.4 KiB libgcc aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 218.8 KiB libgomp aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 501.0 KiB libidn2 aarch64 2.3.7-2.fc41 fedora 457.2 KiB libmount aarch64 2.40.2-8.fc42 fedora 483.9 KiB libnghttp2 aarch64 1.64.0-1.fc42 fedora 262.2 KiB libnsl2 aarch64 2.0.1-2.fc41 fedora 222.0 KiB libpkgconf aarch64 2.3.0-1.fc42 fedora 198.1 KiB libpsl aarch64 0.21.5-4.fc41 fedora 196.6 KiB libpwquality aarch64 1.4.5-11.fc41 fedora 1.1 MiB libselinux aarch64 3.8-0.rc1.2.fc42 fedora 195.6 KiB libsemanage aarch64 3.8-0.rc1.1.fc42 fedora 353.3 KiB libsepol aarch64 3.8-0.rc1.1.fc42 fedora 809.9 KiB libsmartcols aarch64 2.40.2-8.fc42 fedora 288.5 KiB libssh aarch64 0.11.1-1.fc42 fedora 649.6 KiB libssh-config noarch 0.11.1-1.fc42 fedora 277.0 B libstdc++ aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 2.7 MiB libtasn1 aarch64 4.19.0-9.fc41 fedora 283.8 KiB libtirpc aarch64 1.3.6-1.fc42 fedora 212.9 KiB libtool-ltdl aarch64 2.5.4-1.fc42 copr_base 92.1 KiB libunistring aarch64 1.1-8.fc41 fedora 1.8 MiB libuuid aarch64 2.40.2-8.fc42 fedora 197.5 KiB libverto aarch64 0.3.2-9.fc41 fedora 197.5 KiB libxcrypt aarch64 4.4.36-11.fc42 fedora 271.5 KiB libxml2 aarch64 2.12.8-2.fc41 fedora 2.1 MiB libzstd aarch64 1.5.6-2.fc41 fedora 796.0 KiB lua-libs aarch64 5.4.7-1.fc42 fedora 393.1 KiB lua-srpm-macros noarch 1-14.fc41 fedora 1.3 KiB lz4-libs aarch64 1.10.0-1.fc41 fedora 261.6 KiB mpfr aarch64 4.2.1-5.fc41 fedora 818.9 KiB ncurses-base noarch 6.5-2.20240629.fc41 fedora 326.3 KiB ncurses-libs aarch64 6.5-2.20240629.fc41 fedora 2.2 MiB ocaml-srpm-macros noarch 10-3.fc41 fedora 1.9 KiB openblas-srpm-macros noarch 2-18.fc41 fedora 112.0 B openldap aarch64 2.6.8-6.fc42 fedora 747.0 KiB openssl-libs aarch64 1:3.2.2-8.fc42 fedora 7.2 MiB p11-kit aarch64 0.25.5-4.fc42 fedora 2.6 MiB p11-kit-trust aarch64 0.25.5-4.fc42 fedora 655.7 KiB package-notes-srpm-macros noarch 0.5-12.fc41 fedora 1.6 KiB pam aarch64 1.7.0-3.fc42 fedora 4.3 MiB pam-libs aarch64 1.7.0-3.fc42 fedora 223.4 KiB pcre2 aarch64 10.44-1.fc41.1 fedora 905.5 KiB pcre2-syntax noarch 10.44-1.fc41.1 fedora 251.6 KiB perl-srpm-macros noarch 1-56.fc41 fedora 861.0 B pkgconf aarch64 2.3.0-1.fc42 fedora 240.6 KiB pkgconf-m4 noarch 2.3.0-1.fc42 fedora 14.4 KiB pkgconf-pkg-config aarch64 2.3.0-1.fc42 fedora 990.0 B popt aarch64 1.19-7.fc41 fedora 272.9 KiB publicsuffix-list-dafsa noarch 20240107-4.fc41 fedora 67.5 KiB pyproject-srpm-macros noarch 1.16.3-1.fc42 fedora 1.9 KiB python-srpm-macros noarch 3.13-3.fc41 fedora 51.0 KiB qt5-srpm-macros noarch 5.15.15-1.fc42 fedora 500.0 B qt6-srpm-macros noarch 6.8.1-4.fc42 fedora 456.0 B readline aarch64 8.2-11.fc42 fedora 753.3 KiB rpm aarch64 4.20.0-1.fc42 fedora 3.9 MiB rpm-build-libs aarch64 4.20.0-1.fc42 fedora 262.7 KiB rpm-libs aarch64 4.20.0-1.fc42 fedora 797.9 KiB rpm-sequoia aarch64 1.7.0-3.fc42 fedora 2.2 MiB rust-srpm-macros noarch 26.3-3.fc42 fedora 4.8 KiB setup noarch 2.15.0-5.fc41 fedora 720.7 KiB sqlite-libs aarch64 3.47.2-1.fc42 fedora 1.4 MiB systemd-libs aarch64 257-1.fc42 fedora 2.4 MiB util-linux-core aarch64 2.40.2-8.fc42 fedora 6.2 MiB xxhash-libs aarch64 0.8.2-4.fc42 fedora 212.3 KiB xz-libs aarch64 1:5.6.3-2.fc42 fedora 266.4 KiB zig-srpm-macros noarch 1-3.fc41 fedora 1.1 KiB zip aarch64 3.0-42.fc42 fedora 755.7 KiB zlib-ng-compat aarch64 2.2.2-1.fc42 fedora 133.8 KiB zstd aarch64 1.5.6-2.fc41 fedora 1.7 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 155 packages Total size of inbound packages is 51 MiB. Need to download 0 B. After this operation, 234 MiB extra will be used (install 234 MiB, remove 0 B). [1/1] tar-2:1.35-4.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [1/1] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/2] rpm-build-0:4.20.0-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [2/2] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/3] unzip-0:6.0-65.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [3/3] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/4] cpio-0:2.15-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [4/4] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/5] which-0:2.21-42.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [5/5] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/6] bash-0:5.2.37-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [6/6] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/7] grep-0:3.11-9.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [7/7] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/8] patch-0:2.7.6-25.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [8/8] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/9] sed-0:4.9-3.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [9/9] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/10] shadow-utils-2:4.17.0~rc1-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [10/10] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/11] util-linux-0:2.40.2-8.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [11/11] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/12] fedora-release-common-0:42-0.11 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [12/12] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/13] gawk-0:5.3.0-4.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [13/13] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/14] glibc-minimal-langpack-0:2.40.9 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [14/14] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/15] gzip-0:1.13-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [15/15] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/16] info-0:7.1.1-2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [16/16] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/17] xz-1:5.6.3-2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [17/17] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/18] bzip2-0:1.0.8-19.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [18/18] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/19] redhat-rpm-config-0:300-1.no_an 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [19/19] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/20] coreutils-0:9.5-11.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [20/20] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/21] diffutils-0:3.10-8.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [21/21] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/22] findutils-1:4.10.0-4.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [22/22] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/23] glibc-0:2.40.9000-24.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [23/23] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/24] libselinux-0:3.8-0.rc1.2.fc42.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [24/24] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/25] file-0:5.45-8.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [25/25] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/26] libarchive-0:3.7.7-1.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [26/26] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/27] pkgconf-pkg-config-0:2.3.0-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [27/27] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/28] popt-0:1.19-7.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [28/28] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/29] readline-0:8.2-11.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [29/29] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/30] rpm-0:4.20.0-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [30/30] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/31] rpm-build-libs-0:4.20.0-1.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [31/31] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/32] rpm-libs-0:4.20.0-1.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [32/32] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/33] zstd-0:1.5.6-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [33/33] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/34] filesystem-0:3.18-29.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [34/34] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/35] ncurses-libs-0:6.5-2.20240629.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [35/35] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/36] pcre2-0:10.44-1.fc41.1.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [36/36] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/37] ed-0:1.20.2-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [37/37] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/38] libattr-0:2.5.2-4.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [38/38] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/39] libeconf-0:0.7.5-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [39/39] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/40] libsemanage-0:3.8-0.rc1.1.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [40/40] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/41] libxcrypt-0:4.4.36-11.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [41/41] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/42] pam-libs-0:1.7.0-3.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [42/42] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/43] setup-0:2.15.0-5.fc41.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [43/43] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/44] libblkid-0:2.40.2-8.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [44/44] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/45] libcap-ng-0:0.8.5-3.fc41.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [45/45] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/46] libfdisk-0:2.40.2-8.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [46/46] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/47] libmount-0:2.40.2-8.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [47/47] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/48] libsmartcols-0:2.40.2-8.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [48/48] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/49] libuuid-0:2.40.2-8.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [49/49] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/50] pam-0:1.7.0-3.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [50/50] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/51] systemd-libs-0:257-1.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [51/51] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/52] util-linux-core-0:2.40.2-8.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [52/52] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/53] zlib-ng-compat-0:2.2.2-1.fc42.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [53/53] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/54] fedora-repos-0:42-0.3.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [54/54] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/55] gmp-1:6.3.0-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [55/55] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/56] mpfr-0:4.2.1-5.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [56/56] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/57] glibc-common-0:2.40.9000-24.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [57/57] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/58] xz-libs-1:5.6.3-2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [58/58] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/59] ansible-srpm-macros-0:1-16.fc41 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [59/59] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/60] build-reproducibility-srpm-macr 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [60/60] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/61] efi-srpm-macros-0:5-13.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [61/61] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/62] filesystem-srpm-macros-0:3.18-2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [62/62] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/63] fonts-srpm-macros-1:2.0.5-17.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [63/63] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/64] forge-srpm-macros-0:0.4.0-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [64/64] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/65] fpc-srpm-macros-0:1.3-13.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [65/65] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/66] ghc-srpm-macros-0:1.9.2-1.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [66/66] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/67] gnat-srpm-macros-0:6-6.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [67/67] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/68] go-srpm-macros-0:3.6.0-5.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [68/68] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/69] kernel-srpm-macros-0:1.0-24.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [69/69] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/70] lua-srpm-macros-0:1-14.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [70/70] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/71] ocaml-srpm-macros-0:10-3.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [71/71] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/72] openblas-srpm-macros-0:2-18.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [72/72] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/73] package-notes-srpm-macros-0:0.5 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [73/73] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/74] perl-srpm-macros-0:1-56.fc41.no 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [74/74] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/75] pyproject-srpm-macros-0:1.16.3- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [75/75] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/76] python-srpm-macros-0:3.13-3.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [76/76] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/77] qt5-srpm-macros-0:5.15.15-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [77/77] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/78] qt6-srpm-macros-0:6.8.1-4.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [78/78] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/79] rust-srpm-macros-0:26.3-3.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [79/79] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/80] zig-srpm-macros-0:1-3.fc41.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [80/80] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/81] zip-0:3.0-42.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [81/81] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/82] libcap-0:2.71-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [82/82] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/83] openssl-libs-1:3.2.2-8.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [83/83] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/84] glibc-gconv-extra-0:2.40.9000-2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [84/84] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/85] basesystem-0:11-21.fc41.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [85/85] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/86] libsepol-0:3.8-0.rc1.1.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [86/86] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/87] file-libs-0:5.45-8.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [87/87] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/88] libxml2-0:2.12.8-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [88/88] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/89] libzstd-0:1.5.6-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [89/89] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/90] lz4-libs-0:1.10.0-1.fc41.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [90/90] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/91] pkgconf-0:2.3.0-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [91/91] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/92] pkgconf-m4-0:2.3.0-1.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [92/92] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/93] lua-libs-0:5.4.7-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [93/93] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/94] rpm-sequoia-0:1.7.0-3.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [94/94] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/95] sqlite-libs-0:3.47.2-1.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [95/95] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/96] ncurses-base-0:6.5-2.20240629.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [96/96] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/97] pcre2-syntax-0:10.44-1.fc41.1.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [97/97] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/98] gdbm-1:1.23-7.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [98/98] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/99] gdbm-libs-1:1.23-7.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [99/99] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/100] libnsl2-0:2.0.1-2.fc41.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [100/100] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/101] libpwquality-0:1.4.5-11.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [101/101] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/102] libtirpc-0:1.3.6-1.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [102/102] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/103] fedora-gpg-keys-0:42-0.3.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [103/103] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/104] fedora-repos-rawhide-0:42-0.3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [104/104] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/105] add-determinism-0:0.4.3-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [105/105] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/106] ca-certificates-0:2024.2.69_v 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [106/106] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/107] crypto-policies-0:20241128-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [107/107] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/108] libpkgconf-0:2.3.0-1.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [108/108] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/109] krb5-libs-0:1.21.3-3.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [109/109] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/110] libcom_err-0:1.47.1-6.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [110/110] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/111] libffi-0:3.4.6-3.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [111/111] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/112] p11-kit-0:0.25.5-4.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [112/112] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/113] p11-kit-trust-0:0.25.5-4.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [113/113] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/114] keyutils-libs-0:1.6.3-4.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [114/114] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/115] libverto-0:0.3.2-9.fc41.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [115/115] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/116] libtasn1-0:4.19.0-9.fc41.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [116/116] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/117] dwz-0:0.15-8.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [117/117] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/118] elfutils-libelf-0:0.192-7.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [118/118] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/119] coreutils-common-0:9.5-11.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [119/119] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/120] libacl-0:2.3.2-2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [120/120] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/121] bzip2-libs-0:1.0.8-19.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [121/121] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/122] libgcc-0:15.0.0-0.2.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [122/122] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/123] libstdc++-0:15.0.0-0.2.fc42.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [123/123] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/124] audit-libs-0:4.0.2-1.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [124/124] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/125] authselect-libs-0:1.5.0-8.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [125/125] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/126] elfutils-libs-0:0.192-7.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [126/126] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/127] libgomp-0:15.0.0-0.2.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [127/127] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/128] binutils-0:2.43.50-9.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [128/128] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/129] jansson-0:2.14-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [129/129] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/130] debugedit-0:5.1-2.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [130/130] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/131] elfutils-0:0.192-7.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [131/131] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/132] curl-0:8.11.1-2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [132/132] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/133] authselect-0:1.5.0-8.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [133/133] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/134] alternatives-0:1.31-1.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [134/134] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/135] cracklib-0:2.9.11-6.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [135/135] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/136] elfutils-default-yama-scope-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [136/136] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/137] elfutils-debuginfod-client-0: 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [137/137] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/138] json-c-0:0.18-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [138/138] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/139] fedora-release-0:42-0.11.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [139/139] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/140] gdb-minimal-0:15.2-4.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [140/140] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/141] xxhash-libs-0:0.8.2-4.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [141/141] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/142] fedora-release-identity-basic 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [142/142] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/143] libcurl-0:8.11.1-2.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [143/143] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/144] libidn2-0:2.3.7-2.fc41.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [144/144] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/145] libnghttp2-0:1.64.0-1.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [145/145] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/146] libpsl-0:0.21.5-4.fc41.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [146/146] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/147] libssh-0:0.11.1-1.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [147/147] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/148] openldap-0:2.6.8-6.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [148/148] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/149] libunistring-0:1.1-8.fc41.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [149/149] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/150] publicsuffix-list-dafsa-0:202 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [150/150] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/151] libssh-config-0:0.11.1-1.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [151/151] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/152] cyrus-sasl-lib-0:2.1.28-27.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [152/152] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/153] libevent-0:2.1.12-14.fc41.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [153/153] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/154] libtool-ltdl-0:2.5.4-1.fc42.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [154/154] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/155] libbrotli-0:1.1.0-5.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [155/155] Total 100% | 0.0 B/s | 0.0 B | 00m00s Running transaction Importing OpenPGP key 0x105EF944: UserID : "Fedora (42) " Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary The key was successfully imported. Importing OpenPGP key 0x105EF944: UserID : "Fedora (42) " Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary The key was successfully imported. Importing OpenPGP key 0xE99D6AD1: UserID : "Fedora (41) " Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary The key was successfully imported. Importing OpenPGP key 0x31645531: UserID : "Fedora (43) " Fingerprint: C6E7F081CF80E13146676E88829B606631645531 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-43-primary The key was successfully imported. [ 1/157] Verify package files 100% | 707.0 B/s | 155.0 B | 00m00s >>> Running pre-transaction scriptlet: filesystem-0:3.18-29.fc42.aarch64 >>> Finished pre-transaction scriptlet: filesystem-0:3.18-29.fc42.aarch64 >>> [RPM] /var/lib/mock/fedora-rawhide-aarch64-1734652756.569296/root/var/cache/ [ 2/157] Prepare transaction 100% | 2.5 KiB/s | 155.0 B | 00m00s [ 3/157] Installing libgcc-0:15.0.0-0. 100% | 107.7 MiB/s | 220.5 KiB | 00m00s [ 4/157] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 5/157] Installing publicsuffix-list- 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 6/157] Installing fedora-release-ide 100% | 953.1 KiB/s | 976.0 B | 00m00s [ 7/157] Installing fedora-gpg-keys-0: 100% | 28.0 MiB/s | 172.2 KiB | 00m00s [ 8/157] Installing fedora-repos-rawhi 100% | 0.0 B/s | 2.4 KiB | 00m00s [ 9/157] Installing fedora-repos-0:42- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 10/157] Installing fedora-release-com 100% | 23.6 MiB/s | 24.1 KiB | 00m00s [ 11/157] Installing fedora-release-0:4 100% | 0.0 B/s | 124.0 B | 00m00s [ 12/157] Installing setup-0:2.15.0-5.f 100% | 41.7 MiB/s | 726.1 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 13/157] Installing filesystem-0:3.18- 100% | 2.5 MiB/s | 212.6 KiB | 00m00s [ 14/157] Installing basesystem-0:11-21 100% | 0.0 B/s | 124.0 B | 00m00s [ 15/157] Installing coreutils-common-0 100% | 286.9 MiB/s | 11.2 MiB | 00m00s [ 16/157] Installing pcre2-syntax-0:10. 100% | 124.1 MiB/s | 254.1 KiB | 00m00s [ 17/157] Installing ncurses-base-0:6.5 100% | 49.1 MiB/s | 351.7 KiB | 00m00s [ 18/157] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 19/157] Installing ncurses-libs-0:6.5 100% | 321.2 MiB/s | 2.2 MiB | 00m00s [ 20/157] Installing glibc-0:2.40.9000- 100% | 269.6 MiB/s | 6.2 MiB | 00m00s [ 21/157] Installing bash-0:5.2.37-1.fc 100% | 329.2 MiB/s | 8.2 MiB | 00m00s [ 22/157] Installing glibc-common-0:2.4 100% | 163.8 MiB/s | 1.3 MiB | 00m00s [ 23/157] Installing glibc-gconv-extra- 100% | 361.5 MiB/s | 18.4 MiB | 00m00s [ 24/157] Installing zlib-ng-compat-0:2 100% | 131.5 MiB/s | 134.6 KiB | 00m00s [ 25/157] Installing xz-libs-1:5.6.3-2. 100% | 261.2 MiB/s | 267.5 KiB | 00m00s [ 26/157] Installing bzip2-libs-0:1.0.8 100% | 133.0 MiB/s | 136.2 KiB | 00m00s [ 27/157] Installing popt-0:1.19-7.fc41 100% | 91.0 MiB/s | 279.5 KiB | 00m00s [ 28/157] Installing readline-0:8.2-11. 100% | 245.9 MiB/s | 755.5 KiB | 00m00s [ 29/157] Installing libuuid-0:2.40.2-8 100% | 194.0 MiB/s | 198.6 KiB | 00m00s [ 30/157] Installing libblkid-0:2.40.2- 100% | 204.9 MiB/s | 419.7 KiB | 00m00s [ 31/157] Installing libattr-0:2.5.2-4. 100% | 192.9 MiB/s | 197.5 KiB | 00m00s [ 32/157] Installing libacl-0:2.3.2-2.f 100% | 65.5 MiB/s | 67.1 KiB | 00m00s [ 33/157] Installing libxcrypt-0:4.4.36 100% | 133.9 MiB/s | 274.2 KiB | 00m00s [ 34/157] Installing gmp-1:6.3.0-2.fc41 100% | 235.8 MiB/s | 724.2 KiB | 00m00s [ 35/157] Installing libzstd-0:1.5.6-2. 100% | 259.5 MiB/s | 797.3 KiB | 00m00s [ 36/157] Installing elfutils-libelf-0: 100% | 296.6 MiB/s | 1.2 MiB | 00m00s [ 37/157] Installing libstdc++-0:15.0.0 100% | 300.0 MiB/s | 2.7 MiB | 00m00s [ 38/157] Installing libeconf-0:0.7.5-1 100% | 78.5 MiB/s | 80.3 KiB | 00m00s [ 39/157] Installing gdbm-libs-1:1.23-7 100% | 417.7 MiB/s | 427.7 KiB | 00m00s [ 40/157] Installing dwz-0:0.15-8.fc42. 100% | 156.7 MiB/s | 321.0 KiB | 00m00s [ 41/157] Installing mpfr-0:4.2.1-5.fc4 100% | 267.1 MiB/s | 820.5 KiB | 00m00s [ 42/157] Installing gawk-0:5.3.0-4.fc4 100% | 387.6 MiB/s | 4.3 MiB | 00m00s [ 43/157] Installing unzip-0:6.0-65.fc4 100% | 570.7 MiB/s | 2.3 MiB | 00m00s [ 44/157] Installing file-libs-0:5.45-8 100% | 586.0 MiB/s | 10.0 MiB | 00m00s [ 45/157] Installing file-0:5.45-8.fc42 100% | 17.2 MiB/s | 141.0 KiB | 00m00s [ 46/157] Installing crypto-policies-0: 100% | 20.0 MiB/s | 163.7 KiB | 00m00s [ 47/157] Installing pcre2-0:10.44-1.fc 100% | 295.2 MiB/s | 906.9 KiB | 00m00s [ 48/157] Installing grep-0:3.11-9.fc41 100% | 156.7 MiB/s | 1.1 MiB | 00m00s [ 49/157] Installing xz-1:5.6.3-2.fc42. 100% | 188.8 MiB/s | 1.5 MiB | 00m00s [ 50/157] Installing libcap-ng-0:0.8.5- 100% | 409.3 MiB/s | 419.1 KiB | 00m00s [ 51/157] Installing audit-libs-0:4.0.2 100% | 203.8 MiB/s | 417.3 KiB | 00m00s [ 52/157] Installing pam-libs-0:1.7.0-3 100% | 220.4 MiB/s | 225.6 KiB | 00m00s [ 53/157] Installing libcap-0:2.71-1.fc 100% | 167.6 MiB/s | 514.8 KiB | 00m00s [ 54/157] Installing systemd-libs-0:257 100% | 269.1 MiB/s | 2.4 MiB | 00m00s [ 55/157] Installing libsmartcols-0:2.4 100% | 282.9 MiB/s | 289.7 KiB | 00m00s [ 56/157] Installing libsepol-0:3.8-0.r 100% | 264.0 MiB/s | 810.9 KiB | 00m00s [ 57/157] Installing libselinux-0:3.8-0 100% | 96.1 MiB/s | 196.8 KiB | 00m00s [ 58/157] Installing sed-0:4.9-3.fc41.a 100% | 164.3 MiB/s | 1.0 MiB | 00m00s [ 59/157] Installing findutils-1:4.10.0 100% | 239.2 MiB/s | 1.9 MiB | 00m00s [ 60/157] Installing libmount-0:2.40.2- 100% | 236.8 MiB/s | 485.1 KiB | 00m00s [ 61/157] Installing lz4-libs-0:1.10.0- 100% | 256.5 MiB/s | 262.7 KiB | 00m00s [ 62/157] Installing lua-libs-0:5.4.7-1 100% | 192.5 MiB/s | 394.3 KiB | 00m00s [ 63/157] Installing libcom_err-0:1.47. 100% | 234.8 MiB/s | 240.4 KiB | 00m00s [ 64/157] Installing libffi-0:3.4.6-3.f 100% | 277.2 MiB/s | 283.8 KiB | 00m00s [ 65/157] Installing libtasn1-0:4.19.0- 100% | 139.4 MiB/s | 285.6 KiB | 00m00s [ 66/157] Installing p11-kit-0:0.25.5-4 100% | 220.5 MiB/s | 2.6 MiB | 00m00s [ 67/157] Installing alternatives-0:1.3 100% | 88.2 MiB/s | 90.3 KiB | 00m00s [ 68/157] Installing libunistring-0:1.1 100% | 301.5 MiB/s | 1.8 MiB | 00m00s [ 69/157] Installing libidn2-0:2.3.7-2. 100% | 113.1 MiB/s | 463.1 KiB | 00m00s [ 70/157] Installing libpsl-0:0.21.5-4. 100% | 193.1 MiB/s | 197.7 KiB | 00m00s [ 71/157] Installing p11-kit-trust-0:0. 100% | 71.3 MiB/s | 657.4 KiB | 00m00s [ 72/157] Installing openssl-libs-1:3.2 100% | 277.3 MiB/s | 7.2 MiB | 00m00s [ 73/157] Installing coreutils-0:9.5-11 100% | 255.9 MiB/s | 7.9 MiB | 00m00s [ 74/157] Installing ca-certificates-0: 100% | 1.4 MiB/s | 2.4 MiB | 00m02s [ 75/157] Installing gzip-0:1.13-2.fc41 100% | 120.7 MiB/s | 494.4 KiB | 00m00s [ 76/157] Installing authselect-libs-0: 100% | 122.8 MiB/s | 880.5 KiB | 00m00s [ 77/157] Installing cracklib-0:2.9.11- 100% | 69.8 MiB/s | 429.0 KiB | 00m00s [ 78/157] Installing libpwquality-0:1.4 100% | 158.2 MiB/s | 1.1 MiB | 00m00s [ 79/157] Installing rpm-sequoia-0:1.7. 100% | 277.8 MiB/s | 2.2 MiB | 00m00s [ 80/157] Installing libevent-0:2.1.12- 100% | 304.7 MiB/s | 1.5 MiB | 00m00s [ 81/157] Installing zstd-0:1.5.6-2.fc4 100% | 281.8 MiB/s | 1.7 MiB | 00m00s [ 82/157] Installing util-linux-core-0: 100% | 364.9 MiB/s | 6.2 MiB | 00m00s [ 83/157] Installing tar-2:1.35-4.fc41. 100% | 278.8 MiB/s | 3.1 MiB | 00m00s [ 84/157] Installing libsemanage-0:3.8- 100% | 115.6 MiB/s | 355.0 KiB | 00m00s [ 85/157] Installing shadow-utils-2:4.1 100% | 175.5 MiB/s | 4.6 MiB | 00m00s [ 86/157] Installing zip-0:3.0-42.fc42. 100% | 185.4 MiB/s | 759.6 KiB | 00m00s [ 87/157] Installing gdbm-1:1.23-7.fc41 100% | 227.9 MiB/s | 933.4 KiB | 00m00s [ 88/157] Installing cyrus-sasl-lib-0:2 100% | 310.7 MiB/s | 3.1 MiB | 00m00s [ 89/157] Installing libfdisk-0:2.40.2- 100% | 236.3 MiB/s | 483.9 KiB | 00m00s [ 90/157] Installing bzip2-0:1.0.8-19.f 100% | 84.6 MiB/s | 173.2 KiB | 00m00s [ 91/157] Installing libxml2-0:2.12.8-2 100% | 306.0 MiB/s | 2.1 MiB | 00m00s [ 92/157] Installing libarchive-0:3.7.7 100% | 223.2 MiB/s | 914.1 KiB | 00m00s [ 93/157] Installing sqlite-libs-0:3.47 100% | 283.0 MiB/s | 1.4 MiB | 00m00s [ 94/157] Installing rpm-libs-0:4.20.0- 100% | 260.2 MiB/s | 799.4 KiB | 00m00s [ 95/157] Installing add-determinism-0: 100% | 299.6 MiB/s | 2.1 MiB | 00m00s [ 96/157] Installing build-reproducibil 100% | 0.0 B/s | 1.0 KiB | 00m00s [ 97/157] Installing ed-0:1.20.2-2.fc41 100% | 139.2 MiB/s | 285.1 KiB | 00m00s [ 98/157] Installing patch-0:2.7.6-25.f 100% | 191.5 MiB/s | 392.1 KiB | 00m00s [ 99/157] Installing filesystem-srpm-ma 100% | 35.9 MiB/s | 36.8 KiB | 00m00s [100/157] Installing elfutils-default-y 100% | 340.5 KiB/s | 2.0 KiB | 00m00s [101/157] Installing elfutils-libs-0:0. 100% | 179.8 MiB/s | 736.6 KiB | 00m00s [102/157] Installing cpio-0:2.15-2.fc41 100% | 203.4 MiB/s | 1.2 MiB | 00m00s [103/157] Installing diffutils-0:3.10-8 100% | 208.0 MiB/s | 1.7 MiB | 00m00s [104/157] Installing libpkgconf-0:2.3.0 100% | 194.6 MiB/s | 199.2 KiB | 00m00s [105/157] Installing pkgconf-0:2.3.0-1. 100% | 118.7 MiB/s | 243.1 KiB | 00m00s [106/157] Installing keyutils-libs-0:1. 100% | 222.5 MiB/s | 227.9 KiB | 00m00s [107/157] Installing libverto-0:0.3.2-9 100% | 194.7 MiB/s | 199.3 KiB | 00m00s [108/157] Installing krb5-libs-0:1.21.3 100% | 259.9 MiB/s | 2.6 MiB | 00m00s [109/157] Installing libtirpc-0:1.3.6-1 100% | 104.8 MiB/s | 214.7 KiB | 00m00s [110/157] Installing libnsl2-0:2.0.1-2. 100% | 109.0 MiB/s | 223.2 KiB | 00m00s [111/157] Installing pam-0:1.7.0-3.fc42 100% | 204.9 MiB/s | 4.3 MiB | 00m00s [112/157] Installing libssh-0:0.11.1-1. 100% | 212.1 MiB/s | 651.7 KiB | 00m00s [113/157] Installing libgomp-0:15.0.0-0 100% | 245.3 MiB/s | 502.4 KiB | 00m00s [114/157] Installing rpm-build-libs-0:4 100% | 257.4 MiB/s | 263.6 KiB | 00m00s [115/157] Installing jansson-0:2.14-1.f 100% | 217.4 MiB/s | 222.6 KiB | 00m00s [116/157] Installing json-c-0:0.18-1.fc 100% | 137.2 MiB/s | 140.5 KiB | 00m00s [117/157] Installing xxhash-libs-0:0.8. 100% | 208.7 MiB/s | 213.7 KiB | 00m00s [118/157] Installing libnghttp2-0:1.64. 100% | 257.1 MiB/s | 263.3 KiB | 00m00s [119/157] Installing libtool-ltdl-0:2.5 100% | 91.0 MiB/s | 93.2 KiB | 00m00s [120/157] Installing openldap-0:2.6.8-6 100% | 183.3 MiB/s | 750.8 KiB | 00m00s [121/157] Installing libbrotli-0:1.1.0- 100% | 221.3 MiB/s | 906.6 KiB | 00m00s [122/157] Installing libcurl-0:8.11.1-2 100% | 275.5 MiB/s | 846.3 KiB | 00m00s [123/157] Installing elfutils-debuginfo 100% | 70.1 MiB/s | 143.6 KiB | 00m00s [124/157] Installing binutils-0:2.43.50 100% | 317.5 MiB/s | 28.9 MiB | 00m00s [125/157] Installing elfutils-0:0.192-7 100% | 275.8 MiB/s | 3.0 MiB | 00m00s [126/157] Installing gdb-minimal-0:15.2 100% | 308.9 MiB/s | 12.7 MiB | 00m00s [127/157] Installing debugedit-0:5.1-2. 100% | 119.2 MiB/s | 244.2 KiB | 00m00s [128/157] Installing curl-0:8.11.1-2.fc 100% | 40.3 MiB/s | 454.4 KiB | 00m00s [129/157] Installing rpm-0:4.20.0-1.fc4 100% | 152.6 MiB/s | 3.4 MiB | 00m00s [130/157] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.2 KiB | 00m00s [131/157] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [132/157] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 KiB | 00m00s [133/157] Installing pkgconf-m4-0:2.3.0 100% | 0.0 B/s | 14.8 KiB | 00m00s [134/157] Installing pkgconf-pkg-config 100% | 0.0 B/s | 1.8 KiB | 00m00s [135/157] Installing rust-srpm-macros-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [136/157] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 732.0 B | 00m00s [137/157] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [138/157] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [139/157] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [140/157] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [141/157] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.2 KiB | 00m00s [142/157] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [143/157] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [144/157] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [145/157] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [146/157] Installing ansible-srpm-macro 100% | 0.0 B/s | 36.2 KiB | 00m00s [147/157] Installing fonts-srpm-macros- 100% | 55.7 MiB/s | 57.0 KiB | 00m00s [148/157] Installing forge-srpm-macros- 100% | 39.3 MiB/s | 40.3 KiB | 00m00s [149/157] Installing go-srpm-macros-0:3 100% | 60.5 MiB/s | 62.0 KiB | 00m00s [150/157] Installing python-srpm-macros 100% | 50.9 MiB/s | 52.2 KiB | 00m00s [151/157] Installing redhat-rpm-config- 100% | 62.9 MiB/s | 193.2 KiB | 00m00s [152/157] Installing rpm-build-0:4.20.0 100% | 279.4 MiB/s | 1.4 MiB | 00m00s [153/157] Installing pyproject-srpm-mac 100% | 1.2 MiB/s | 2.5 KiB | 00m00s [154/157] Installing util-linux-0:2.40. 100% | 319.9 MiB/s | 17.0 MiB | 00m00s [155/157] Installing authselect-0:1.5.0 100% | 60.0 MiB/s | 184.3 KiB | 00m00s [156/157] Installing which-0:2.21-42.fc 100% | 122.2 MiB/s | 250.4 KiB | 00m00s [157/157] Installing info-0:7.1.1-2.fc4 100% | 280.8 KiB/s | 614.0 KiB | 00m02s Warning: skipped OpenPGP checks for 27 packages from repositories: copr_base, https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch Complete! Finish: installing minimal buildroot with dnf5 Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: add-determinism-0.4.3-1.fc42.aarch64 alternatives-1.31-1.fc42.aarch64 ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.2-1.fc42.aarch64 authselect-1.5.0-8.fc42.aarch64 authselect-libs-1.5.0-8.fc42.aarch64 basesystem-11-21.fc41.noarch bash-5.2.37-1.fc42.aarch64 binutils-2.43.50-9.fc42.aarch64 build-reproducibility-srpm-macros-0.4.3-1.fc42.noarch bzip2-1.0.8-19.fc42.aarch64 bzip2-libs-1.0.8-19.fc42.aarch64 ca-certificates-2024.2.69_v8.0.401-3.fc42.noarch coreutils-9.5-11.fc42.aarch64 coreutils-common-9.5-11.fc42.aarch64 cpio-2.15-2.fc41.aarch64 cracklib-2.9.11-6.fc42.aarch64 crypto-policies-20241128-1.gitbb7b0b0.fc42.noarch curl-8.11.1-2.fc42.aarch64 cyrus-sasl-lib-2.1.28-27.fc41.aarch64 debugedit-5.1-2.fc42.aarch64 diffutils-3.10-8.fc42.aarch64 dwz-0.15-8.fc42.aarch64 ed-1.20.2-2.fc41.aarch64 efi-srpm-macros-5-13.fc42.noarch elfutils-0.192-7.fc42.aarch64 elfutils-debuginfod-client-0.192-7.fc42.aarch64 elfutils-default-yama-scope-0.192-7.fc42.noarch elfutils-libelf-0.192-7.fc42.aarch64 elfutils-libs-0.192-7.fc42.aarch64 fedora-gpg-keys-42-0.3.noarch fedora-release-42-0.11.noarch fedora-release-common-42-0.11.noarch fedora-release-identity-basic-42-0.11.noarch fedora-repos-42-0.3.noarch fedora-repos-rawhide-42-0.3.noarch file-5.45-8.fc42.aarch64 file-libs-5.45-8.fc42.aarch64 filesystem-3.18-29.fc42.aarch64 filesystem-srpm-macros-3.18-29.fc42.noarch findutils-4.10.0-4.fc42.aarch64 fonts-srpm-macros-2.0.5-17.fc41.noarch forge-srpm-macros-0.4.0-1.fc42.noarch fpc-srpm-macros-1.3-13.fc41.noarch gawk-5.3.0-4.fc41.aarch64 gdb-minimal-15.2-4.fc42.aarch64 gdbm-1.23-7.fc41.aarch64 gdbm-libs-1.23-7.fc41.aarch64 ghc-srpm-macros-1.9.2-1.fc42.noarch glibc-2.40.9000-24.fc42.aarch64 glibc-common-2.40.9000-24.fc42.aarch64 glibc-gconv-extra-2.40.9000-24.fc42.aarch64 glibc-minimal-langpack-2.40.9000-24.fc42.aarch64 gmp-6.3.0-2.fc41.aarch64 gnat-srpm-macros-6-6.fc41.noarch go-srpm-macros-3.6.0-5.fc42.noarch gpg-pubkey-105ef944-65ca83d1 gpg-pubkey-31645531-66b6dccf gpg-pubkey-e99d6ad1-64d2612c grep-3.11-9.fc41.aarch64 gzip-1.13-2.fc41.aarch64 info-7.1.1-2.fc42.aarch64 jansson-2.14-1.fc42.aarch64 json-c-0.18-1.fc42.aarch64 kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.aarch64 krb5-libs-1.21.3-3.fc42.aarch64 libacl-2.3.2-2.fc42.aarch64 libarchive-3.7.7-1.fc42.aarch64 libattr-2.5.2-4.fc41.aarch64 libblkid-2.40.2-8.fc42.aarch64 libbrotli-1.1.0-5.fc42.aarch64 libcap-2.71-1.fc42.aarch64 libcap-ng-0.8.5-3.fc41.aarch64 libcom_err-1.47.1-6.fc42.aarch64 libcurl-8.11.1-2.fc42.aarch64 libeconf-0.7.5-1.fc42.aarch64 libevent-2.1.12-14.fc41.aarch64 libfdisk-2.40.2-8.fc42.aarch64 libffi-3.4.6-3.fc42.aarch64 libgcc-15.0.0-0.2.fc42.aarch64 libgomp-15.0.0-0.2.fc42.aarch64 libidn2-2.3.7-2.fc41.aarch64 libmount-2.40.2-8.fc42.aarch64 libnghttp2-1.64.0-1.fc42.aarch64 libnsl2-2.0.1-2.fc41.aarch64 libpkgconf-2.3.0-1.fc42.aarch64 libpsl-0.21.5-4.fc41.aarch64 libpwquality-1.4.5-11.fc41.aarch64 libselinux-3.8-0.rc1.2.fc42.aarch64 libsemanage-3.8-0.rc1.1.fc42.aarch64 libsepol-3.8-0.rc1.1.fc42.aarch64 libsmartcols-2.40.2-8.fc42.aarch64 libssh-0.11.1-1.fc42.aarch64 libssh-config-0.11.1-1.fc42.noarch libstdc++-15.0.0-0.2.fc42.aarch64 libtasn1-4.19.0-9.fc41.aarch64 libtirpc-1.3.6-1.fc42.aarch64 libtool-ltdl-2.5.4-1.fc42.aarch64 libunistring-1.1-8.fc41.aarch64 libuuid-2.40.2-8.fc42.aarch64 libverto-0.3.2-9.fc41.aarch64 libxcrypt-4.4.36-11.fc42.aarch64 libxml2-2.12.8-2.fc41.aarch64 libzstd-1.5.6-2.fc41.aarch64 lua-libs-5.4.7-1.fc42.aarch64 lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.aarch64 mpfr-4.2.1-5.fc41.aarch64 ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.aarch64 ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.8-6.fc42.aarch64 openssl-libs-3.2.2-8.fc42.aarch64 p11-kit-0.25.5-4.fc42.aarch64 p11-kit-trust-0.25.5-4.fc42.aarch64 package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.7.0-3.fc42.aarch64 pam-libs-1.7.0-3.fc42.aarch64 patch-2.7.6-25.fc41.aarch64 pcre2-10.44-1.fc41.1.aarch64 pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.3.0-1.fc42.aarch64 pkgconf-m4-2.3.0-1.fc42.noarch pkgconf-pkg-config-2.3.0-1.fc42.aarch64 popt-1.19-7.fc41.aarch64 publicsuffix-list-dafsa-20240107-4.fc41.noarch pyproject-srpm-macros-1.16.3-1.fc42.noarch python-srpm-macros-3.13-3.fc41.noarch qt5-srpm-macros-5.15.15-1.fc42.noarch qt6-srpm-macros-6.8.1-4.fc42.noarch readline-8.2-11.fc42.aarch64 redhat-rpm-config-300-1.no_annobin.0.fc42.noarch rpm-4.20.0-1.fc42.aarch64 rpm-build-4.20.0-1.fc42.aarch64 rpm-build-libs-4.20.0-1.fc42.aarch64 rpm-libs-4.20.0-1.fc42.aarch64 rpm-sequoia-1.7.0-3.fc42.aarch64 rust-srpm-macros-26.3-3.fc42.noarch sed-4.9-3.fc41.aarch64 setup-2.15.0-5.fc41.noarch shadow-utils-4.17.0~rc1-1.fc42.aarch64 sqlite-libs-3.47.2-1.fc42.aarch64 systemd-libs-257-1.fc42.aarch64 tar-1.35-4.fc41.aarch64 unzip-6.0-65.fc42.aarch64 util-linux-2.40.2-8.fc42.aarch64 util-linux-core-2.40.2-8.fc42.aarch64 which-2.21-42.fc41.aarch64 xxhash-libs-0.8.2-4.fc42.aarch64 xz-5.6.3-2.fc42.aarch64 xz-libs-5.6.3-2.fc42.aarch64 zig-srpm-macros-1-3.fc41.noarch zip-3.0-42.fc42.aarch64 zlib-ng-compat-2.2.2-1.fc42.aarch64 zstd-1.5.6-2.fc41.aarch64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-5.fc42.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-aarch64-1734652756.569296/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-5pc6r43u/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 11 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.5-5.fc42.src.rpm) Config(fedora-rawhide-aarch64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1734652756.569296/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1734652756.569296/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-aarch64-1734652756.569296/root. INFO: calling preinit hooks INFO: enabled root cache Start: unpacking root cache Finish: unpacking root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.20.0-1.fc42.aarch64 rpm-sequoia-1.7.0-3.fc42.aarch64 dnf5-5.2.8.1-2.fc42.aarch64 dnf5-plugins-5.2.8.1-2.fc42.aarch64 Finish: chroot init Start: build phase for gappalib-coq-1.5.5-5.fc42.src.rpm Start: build setup for gappalib-coq-1.5.5-5.fc42.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-5.fc42.src.rpm Updating and loading repositories: fedora 100% | 127.8 KiB/s | 12.3 KiB | 00m00s Copr repository 100% | 109.6 KiB/s | 1.5 KiB | 00m00s Additional repo https_fedorapeople_org 100% | 21.5 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: autoconf noarch 2.72-3.fc42 copr_base 2.8 MiB coq aarch64 8.18.0-10.fc41 fedora 87.7 MiB flocq aarch64 4.2.0-2.fc42 copr_base 17.3 MiB gappa aarch64 1.4.2-4.fc41 fedora 734.4 KiB gcc-c++ aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 38.5 MiB ocaml aarch64 5.2.0-3.fc41 fedora 140.3 MiB ocaml-findlib aarch64 1.9.6-14.fc41 fedora 3.9 MiB ocaml-zarith-devel aarch64 1.14-2.fc41 fedora 903.5 KiB remake aarch64 0.16-2.fc42 fedora 148.4 KiB Installing dependencies: annobin-docs noarch 12.79-1.fc42 copr_base 98.6 KiB annobin-plugin-gcc aarch64 12.79-1.fc42 copr_base 997.2 KiB coq-core aarch64 8.18.0-10.fc41 fedora 732.9 MiB cpp aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 35.3 MiB csdp aarch64 6.2.0-29.20181018git0dcf187.fc41 fedora 584.4 KiB csdp-tools aarch64 6.2.0-29.20181018git0dcf187.fc41 fedora 983.2 KiB emacs-filesystem noarch 1:30.0-3.fc41 fedora 0.0 B expat aarch64 2.6.4-1.fc42 copr_base 343.6 KiB flexiblas aarch64 3.4.4-3.fc42 copr_base 48.5 KiB flexiblas-netlib aarch64 3.4.4-3.fc42 copr_base 9.1 MiB flexiblas-openblas-openmp aarch64 3.4.4-3.fc42 copr_base 66.3 KiB gcc aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 97.8 MiB gcc-plugin-annobin aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 67.5 KiB glibc-devel aarch64 2.40.9000-24.fc42 fedora 2.2 MiB gmp-c++ aarch64 1:6.3.0-2.fc41 fedora 195.6 KiB gmp-devel aarch64 1:6.3.0-2.fc41 fedora 358.1 KiB groff-base aarch64 1.23.0-7.fc41 fedora 5.2 MiB kernel-headers aarch64 6.13.0-0.rc3.29.fc42 fedora 6.4 MiB libasan aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 1.5 MiB libatomic aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 66.1 KiB libb2 aarch64 0.98.1-12.fc41 fedora 202.2 KiB libgfortran aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 1.7 MiB libmpc aarch64 1.3.1-6.fc41 fedora 280.8 KiB libstdc++-devel aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 15.4 MiB libubsan aarch64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 460.6 KiB libxcrypt-devel aarch64 4.4.36-11.fc42 fedora 30.5 KiB libzstd-devel aarch64 1.5.6-2.fc41 fedora 202.4 KiB m4 aarch64 1.4.19-10.fc41 fedora 668.7 KiB make aarch64 1:4.4.1-9.fc42 fedora 1.8 MiB mpdecimal aarch64 2.5.1-16.fc41 fedora 328.9 KiB ncurses aarch64 6.5-2.20240629.fc41 fedora 1.7 MiB ocaml-compiler-libs aarch64 5.2.0-3.fc41 fedora 101.0 MiB ocaml-runtime aarch64 5.2.0-3.fc41 fedora 9.3 MiB ocaml-zarith aarch64 1.14-2.fc41 fedora 543.4 KiB openblas aarch64 0.3.28-2.fc42 fedora 106.6 KiB openblas-openmp aarch64 0.3.28-2.fc42 fedora 20.6 MiB perl-AutoLoader noarch 5.74-512.fc42 fedora 20.5 KiB perl-B aarch64 1.89-512.fc42 fedora 606.1 KiB perl-Carp noarch 1.54-511.fc41 fedora 46.6 KiB perl-Class-Struct noarch 0.68-512.fc42 fedora 25.4 KiB perl-Data-Dumper aarch64 2.189-512.fc41 fedora 263.8 KiB perl-Digest noarch 1.20-511.fc41 fedora 35.3 KiB perl-Digest-MD5 aarch64 2.59-5.fc41 fedora 231.9 KiB perl-DynaLoader aarch64 1.56-512.fc42 fedora 32.1 KiB perl-Encode aarch64 4:3.21-511.fc41 fedora 5.9 MiB perl-Errno aarch64 1.38-512.fc42 fedora 8.4 KiB perl-Exporter noarch 5.78-511.fc41 fedora 54.3 KiB perl-Fcntl aarch64 1.18-512.fc42 fedora 221.1 KiB perl-File-Basename noarch 2.86-512.fc42 fedora 14.0 KiB perl-File-Compare noarch 1.100.800-512.fc42 fedora 5.6 KiB perl-File-Copy noarch 2.41-512.fc42 fedora 19.6 KiB perl-File-Find noarch 1.44-512.fc42 fedora 41.9 KiB perl-File-Path noarch 2.18-511.fc41 fedora 63.5 KiB perl-File-Temp noarch 1:0.231.100-511.fc41 fedora 162.3 KiB perl-File-stat noarch 1.14-512.fc42 fedora 12.5 KiB perl-FileHandle noarch 2.05-512.fc42 fedora 9.3 KiB perl-Getopt-Long noarch 1:2.58-2.fc41 fedora 144.5 KiB perl-Getopt-Std noarch 1.14-512.fc42 fedora 11.2 KiB perl-HTTP-Tiny noarch 0.090-1.fc42 fedora 154.4 KiB perl-IO aarch64 1.55-512.fc42 fedora 319.2 KiB perl-IO-Socket-IP noarch 0.43-1.fc42 fedora 100.3 KiB perl-IO-Socket-SSL noarch 2.089-1.fc42 fedora 703.3 KiB perl-IPC-Open3 noarch 1.22-512.fc42 fedora 22.5 KiB perl-MIME-Base32 noarch 1.303-21.fc41 fedora 30.7 KiB perl-MIME-Base64 aarch64 3.16-511.fc41 fedora 222.2 KiB perl-Net-SSLeay aarch64 1.94-7.fc41 fedora 1.4 MiB perl-POSIX aarch64 2.20-512.fc42 fedora 327.3 KiB perl-PathTools aarch64 3.91-511.fc41 fedora 352.1 KiB perl-Pod-Escapes noarch 1:1.07-511.fc41 fedora 24.9 KiB perl-Pod-Perldoc noarch 3.28.01-512.fc41 fedora 163.7 KiB perl-Pod-Simple noarch 1:3.45-511.fc41 fedora 560.9 KiB perl-Pod-Usage noarch 4:2.03-511.fc41 fedora 84.8 KiB perl-Scalar-List-Utils aarch64 5:1.68-1.fc42 fedora 281.0 KiB perl-SelectSaver noarch 1.02-512.fc42 fedora 2.2 KiB perl-Socket aarch64 4:2.038-511.fc41 fedora 272.1 KiB perl-Storable aarch64 1:3.32-511.fc41 fedora 372.5 KiB perl-Symbol noarch 1.09-512.fc42 fedora 6.8 KiB perl-Term-ANSIColor noarch 5.01-512.fc41 fedora 97.5 KiB perl-Term-Cap noarch 1.18-511.fc41 fedora 29.3 KiB perl-Text-ParseWords noarch 3.31-511.fc41 fedora 13.6 KiB perl-Text-Tabs+Wrap noarch 2024.001-511.fc41 fedora 22.6 KiB perl-Time-Local noarch 2:1.350-511.fc41 fedora 69.0 KiB perl-URI noarch 5.31-1.fc42 fedora 257.0 KiB perl-base noarch 2.27-512.fc42 fedora 12.5 KiB perl-constant noarch 1.33-512.fc41 fedora 26.2 KiB perl-if noarch 0.61.000-512.fc42 fedora 5.8 KiB perl-interpreter aarch64 4:5.40.0-512.fc42 fedora 302.3 KiB perl-libnet noarch 3.15-512.fc41 fedora 289.4 KiB perl-libs aarch64 4:5.40.0-512.fc42 fedora 10.9 MiB perl-locale noarch 1.12-512.fc42 fedora 6.5 KiB perl-mro aarch64 1.29-512.fc42 fedora 209.7 KiB perl-overload noarch 1.37-512.fc42 fedora 71.5 KiB perl-overloading noarch 0.02-512.fc42 fedora 4.8 KiB perl-parent noarch 1:0.244-1.fc42 fedora 10.3 KiB perl-podlators noarch 1:6.0.2-2.fc41 fedora 317.5 KiB perl-vars noarch 1.05-512.fc42 fedora 3.9 KiB python-pip-wheel noarch 24.3.1-1.fc42 fedora 1.2 MiB python3 aarch64 3.13.1-2.fc42 fedora 82.5 KiB python3-libs aarch64 3.13.1-2.fc42 fedora 41.7 MiB texlive-base aarch64 11:20230311-87.fc42 fedora 19.0 MiB tzdata noarch 2024b-1.fc42 fedora 1.6 MiB Transaction Summary: Installing: 110 packages Total size of inbound packages is 455 MiB. Need to download 376 MiB. After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B). [1/7] autoconf-0:2.72-3.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [2/9] gcc-c++-0:15.0.0-0.2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 3/12] texlive-base-11:20230311-87.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 4/16] gmp-devel-1:6.3.0-2.fc41.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/18] emacs-filesystem-1:30.0-3.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/19] m4-0:1.4.19-10.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/20] perl-Carp-0:1.54-511.fc41.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/21] perl-Class-Struct-0:0.68-512.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/22] perl-Data-Dumper-0:2.189-512.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [10/23] perl-Errno-0:1.38-512.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [11/24] perl-Exporter-0:5.78-511.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [12/25] perl-File-Basename-0:2.86-512.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [13/26] perl-File-Compare-0:1.100.800-5 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [14/27] perl-File-Copy-0:2.41-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [15/28] perl-File-Find-0:1.44-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [16/29] perl-File-Temp-1:0.231.100-511. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [17/30] perl-File-stat-0:1.14-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [18/31] perl-Getopt-Long-1:2.58-2.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [19/32] perl-IO-0:1.55-512.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [20/33] perl-POSIX-0:2.20-512.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [21/34] perl-PathTools-0:3.91-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [22/35] perl-Text-ParseWords-0:3.31-511 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [23/36] perl-constant-0:1.33-512.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [24/37] perl-interpreter-4:5.40.0-512.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [25/38] perl-libs-4:5.40.0-512.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [26/39] libmpc-0:1.3.1-6.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [27/40] gcc-0:15.0.0-0.2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [28/41] libstdc++-devel-0:15.0.0-0.2.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [29/44] gmp-c++-1:6.3.0-2.fc41.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [30/45] perl-B-0:1.89-512.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [31/46] perl-Scalar-List-Utils-5:1.68-1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [32/47] perl-overload-0:1.37-512.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [33/48] perl-Fcntl-0:1.18-512.fc42.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [34/49] perl-File-Path-0:2.18-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [35/50] perl-parent-1:0.244-1.fc42.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [36/51] perl-Symbol-0:1.09-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [37/52] perl-Pod-Usage-4:2.03-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [38/53] perl-base-0:2.27-512.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [39/54] perl-SelectSaver-0:1.02-512.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [40/55] perl-Socket-4:2.038-511.fc41.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [41/56] perl-locale-0:1.12-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [42/57] perl-DynaLoader-0:1.56-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [43/58] perl-Encode-4:3.21-511.fc41.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [44/59] glibc-devel-0:2.40.9000-24.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [45/60] make-1:4.4.1-9.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [46/61] cpp-0:15.0.0-0.2.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [47/63] perl-if-0:0.61.000-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [48/64] perl-overloading-0:0.02-512.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [49/65] perl-mro-0:1.29-512.fc42.aarch6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [50/66] perl-vars-0:1.05-512.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [51/67] perl-Pod-Perldoc-0:3.28.01-512. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [52/68] perl-podlators-1:6.0.2-2.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [53/69] perl-Getopt-Std-0:1.14-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [54/70] perl-MIME-Base64-0:3.16-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [55/71] perl-Storable-1:3.32-511.fc41.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [56/72] kernel-headers-0:6.13.0-0.rc3.2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [57/73] libxcrypt-devel-0:4.4.36-11.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [58/78] groff-base-0:1.23.0-7.fc41.aarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [59/79] perl-HTTP-Tiny-0:0.090-1.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [60/80] perl-IPC-Open3-0:1.22-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [61/81] perl-Pod-Simple-1:3.45-511.fc41 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [62/82] perl-Term-ANSIColor-0:5.01-512. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [63/83] perl-Term-Cap-0:1.18-511.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [64/84] perl-IO-Socket-SSL-0:2.089-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [65/85] perl-Net-SSLeay-0:1.94-7.fc41.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [66/86] perl-Time-Local-2:1.350-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [67/87] perl-Pod-Escapes-1:1.07-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [68/88] perl-Text-Tabs+Wrap-0:2024.001- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [69/89] ncurses-0:6.5-2.20240629.fc41.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [70/90] perl-IO-Socket-IP-0:0.43-1.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [71/91] perl-URI-0:5.31-1.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [72/92] perl-AutoLoader-0:5.74-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [73/93] perl-MIME-Base32-0:1.303-21.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [74/94] perl-libnet-0:3.15-512.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [75/95] perl-Digest-MD5-0:2.59-5.fc41.a 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [76/96] perl-FileHandle-0:2.05-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [77/97] perl-Digest-0:1.20-511.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [78/98] libasan-0:15.0.0-0.2.fc42.aarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [79/99] libatomic-0:15.0.0-0.2.fc42.aar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 80/100] libubsan-0:15.0.0-0.2.fc42.aa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 81/101] expat-0:2.6.4-1.fc42.aarch64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 82/108] gcc-plugin-annobin-0:15.0.0-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 83/109] annobin-plugin-gcc-0:12.79-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 84/110] annobin-docs-0:12.79-1.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 85/110] gappa-0:1.4.2-4.fc41.aarch64 100% | 7.2 MiB/s | 258.2 KiB | 00m00s [ 86/110] ocaml-findlib-0:1.9.6-14.fc41 100% | 15.9 MiB/s | 1.0 MiB | 00m00s [ 87/110] ocaml-zarith-devel-0:1.14-2.f 100% | 97.5 MiB/s | 399.2 KiB | 00m00s [ 88/110] remake-0:0.16-2.fc42.aarch64 100% | 10.2 MiB/s | 62.8 KiB | 00m00s [ 89/110] coq-0:8.18.0-10.fc41.aarch64 100% | 172.1 MiB/s | 23.9 MiB | 00m00s [ 90/110] flocq-0:4.2.0-2.fc42.aarch64 100% | 31.3 MiB/s | 3.5 MiB | 00m00s [ 91/110] ocaml-0:5.2.0-3.fc41.aarch64 100% | 125.1 MiB/s | 33.0 MiB | 00m00s [ 92/110] csdp-tools-0:6.2.0-29.2018101 100% | 743.6 KiB/s | 30.5 KiB | 00m00s [ 93/110] libzstd-devel-0:1.5.6-2.fc41. 100% | 5.1 MiB/s | 51.8 KiB | 00m00s [ 94/110] ocaml-runtime-0:5.2.0-3.fc41. 100% | 90.4 MiB/s | 5.2 MiB | 00m00s [ 95/110] ocaml-zarith-0:1.14-2.fc41.aa 100% | 16.9 MiB/s | 156.0 KiB | 00m00s [ 96/110] python3-0:3.13.1-2.fc42.aarch 100% | 6.6 MiB/s | 26.9 KiB | 00m00s [ 97/110] csdp-0:6.2.0-29.20181018git0d 100% | 36.9 MiB/s | 302.1 KiB | 00m00s [ 98/110] python3-libs-0:3.13.1-2.fc42. 100% | 220.7 MiB/s | 8.8 MiB | 00m00s [ 99/110] libb2-0:0.98.1-12.fc41.aarch6 100% | 2.7 MiB/s | 24.9 KiB | 00m00s [100/110] mpdecimal-0:2.5.1-16.fc41.aar 100% | 7.9 MiB/s | 89.1 KiB | 00m00s [101/110] python-pip-wheel-0:24.3.1-1.f 100% | 80.3 MiB/s | 1.2 MiB | 00m00s [102/110] tzdata-0:2024b-1.fc42.noarch 100% | 34.8 MiB/s | 712.7 KiB | 00m00s [103/110] flexiblas-netlib-0:3.4.4-3.fc 100% | 161.3 MiB/s | 2.7 MiB | 00m00s [104/110] flexiblas-0:3.4.4-3.fc42.aarc 100% | 25.2 MiB/s | 25.8 KiB | 00m00s [105/110] flexiblas-openblas-openmp-0:3 100% | 7.7 MiB/s | 15.8 KiB | 00m00s [106/110] openblas-openmp-0:0.3.28-2.fc 100% | 77.9 MiB/s | 4.0 MiB | 00m00s [107/110] openblas-0:0.3.28-2.fc42.aarc 100% | 4.4 MiB/s | 40.9 KiB | 00m00s [108/110] ocaml-compiler-libs-0:5.2.0-3 100% | 146.8 MiB/s | 51.4 MiB | 00m00s [109/110] libgfortran-0:15.0.0-0.2.fc42 100% | 2.0 MiB/s | 440.5 KiB | 00m00s [110/110] coq-core-0:8.18.0-10.fc41.aar 100% | 223.1 MiB/s | 238.5 MiB | 00m01s -------------------------------------------------------------------------------- [110/110] Total 100% | 282.1 MiB/s | 375.8 MiB | 00m01s Running transaction [ 1/112] Verify package files 100% | 71.0 B/s | 110.0 B | 00m02s >>> Running pre-transaction scriptlet: texlive-base-11:20230311-87.fc42.aarch64 >>> Finished pre-transaction scriptlet: texlive-base-11:20230311-87.fc42.aarch64 >>> [RPM] /var/lib/mock/fedora-rawhide-aarch64-1734652756.569296/root/var/cache/ [ 2/112] Prepare transaction 100% | 932.0 B/s | 110.0 B | 00m00s [ 3/112] Installing libmpc-0:1.3.1-6.f 100% | 137.8 MiB/s | 282.3 KiB | 00m00s [ 4/112] Installing ocaml-runtime-0:5. 100% | 403.1 MiB/s | 9.3 MiB | 00m00s [ 5/112] Installing libgfortran-0:15.0 100% | 338.2 MiB/s | 1.7 MiB | 00m00s [ 6/112] Installing cpp-0:15.0.0-0.2.f 100% | 284.7 MiB/s | 35.3 MiB | 00m00s [ 7/112] Installing annobin-docs-0:12. 100% | 97.4 MiB/s | 99.7 KiB | 00m00s [ 8/112] Installing openblas-0:0.3.28- 100% | 105.8 MiB/s | 108.3 KiB | 00m00s [ 9/112] Installing openblas-openmp-0: 100% | 403.3 MiB/s | 20.6 MiB | 00m00s [ 10/112] Installing flexiblas-0:3.4.4- 100% | 48.5 MiB/s | 49.7 KiB | 00m00s [ 11/112] Installing flexiblas-openblas 100% | 65.6 MiB/s | 67.2 KiB | 00m00s [ 12/112] Installing flexiblas-netlib-0 100% | 302.8 MiB/s | 9.1 MiB | 00m00s [ 13/112] Installing csdp-0:6.2.0-29.20 100% | 286.2 MiB/s | 586.1 KiB | 00m00s [ 14/112] Installing csdp-tools-0:6.2.0 100% | 321.1 MiB/s | 986.5 KiB | 00m00s [ 15/112] Installing expat-0:2.6.4-1.fc 100% | 168.8 MiB/s | 345.6 KiB | 00m00s [ 16/112] Installing libubsan-0:15.0.0- 100% | 225.3 MiB/s | 461.4 KiB | 00m00s [ 17/112] Installing libatomic-0:15.0.0 100% | 65.3 MiB/s | 66.9 KiB | 00m00s [ 18/112] Installing libasan-0:15.0.0-0 100% | 302.6 MiB/s | 1.5 MiB | 00m00s [ 19/112] Installing ncurses-0:6.5-2.20 100% | 129.9 MiB/s | 1.7 MiB | 00m00s [ 20/112] Installing groff-base-0:1.23. 100% | 179.3 MiB/s | 5.2 MiB | 00m00s [ 21/112] Installing perl-Digest-0:1.20 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [ 22/112] Installing perl-B-0:1.89-512. 100% | 148.8 MiB/s | 609.4 KiB | 00m00s [ 23/112] Installing perl-FileHandle-0: 100% | 9.5 MiB/s | 9.8 KiB | 00m00s [ 24/112] Installing perl-Digest-MD5-0: 100% | 228.3 MiB/s | 233.8 KiB | 00m00s [ 25/112] Installing perl-Data-Dumper-0 100% | 129.7 MiB/s | 265.7 KiB | 00m00s [ 26/112] Installing perl-MIME-Base32-0 100% | 31.4 MiB/s | 32.2 KiB | 00m00s [ 27/112] Installing perl-libnet-0:3.15 100% | 143.9 MiB/s | 294.7 KiB | 00m00s [ 28/112] Installing perl-IO-Socket-IP- 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [ 29/112] Installing perl-AutoLoader-0: 100% | 20.5 MiB/s | 20.9 KiB | 00m00s [ 30/112] Installing perl-URI-0:5.31-1. 100% | 65.8 MiB/s | 269.6 KiB | 00m00s [ 31/112] Installing perl-locale-0:1.12 100% | 0.0 B/s | 6.9 KiB | 00m00s [ 32/112] Installing perl-if-0:0.61.000 100% | 0.0 B/s | 6.2 KiB | 00m00s [ 33/112] Installing perl-File-Path-0:2 100% | 63.0 MiB/s | 64.5 KiB | 00m00s [ 34/112] Installing perl-Time-Local-2: 100% | 68.9 MiB/s | 70.6 KiB | 00m00s [ 35/112] Installing perl-Pod-Escapes-1 100% | 25.3 MiB/s | 25.9 KiB | 00m00s [ 36/112] Installing perl-Text-Tabs+Wra 100% | 23.3 MiB/s | 23.9 KiB | 00m00s [ 37/112] Installing perl-Net-SSLeay-0: 100% | 179.1 MiB/s | 1.4 MiB | 00m00s [ 38/112] Installing perl-IO-Socket-SSL 100% | 230.3 MiB/s | 707.4 KiB | 00m00s [ 39/112] Installing perl-Class-Struct- 100% | 25.3 MiB/s | 25.9 KiB | 00m00s [ 40/112] Installing perl-POSIX-0:2.20- 100% | 160.4 MiB/s | 328.5 KiB | 00m00s [ 41/112] Installing perl-File-Temp-1:0 100% | 160.2 MiB/s | 164.1 KiB | 00m00s [ 42/112] Installing perl-IPC-Open3-0:1 100% | 22.7 MiB/s | 23.3 KiB | 00m00s [ 43/112] Installing perl-Term-ANSIColo 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [ 44/112] Installing perl-Term-Cap-0:1. 100% | 29.9 MiB/s | 30.6 KiB | 00m00s [ 45/112] Installing perl-Pod-Simple-1: 100% | 185.7 MiB/s | 570.5 KiB | 00m00s [ 46/112] Installing perl-HTTP-Tiny-0:0 100% | 152.8 MiB/s | 156.4 KiB | 00m00s [ 47/112] Installing perl-Symbol-0:1.09 100% | 0.0 B/s | 7.2 KiB | 00m00s [ 48/112] Installing perl-SelectSaver-0 100% | 0.0 B/s | 2.6 KiB | 00m00s [ 49/112] Installing perl-Socket-4:2.03 100% | 133.9 MiB/s | 274.1 KiB | 00m00s [ 50/112] Installing perl-File-stat-0:1 100% | 0.0 B/s | 13.1 KiB | 00m00s [ 51/112] Installing perl-podlators-1:6 100% | 157.0 MiB/s | 321.4 KiB | 00m00s [ 52/112] Installing perl-Pod-Perldoc-0 100% | 82.6 MiB/s | 169.3 KiB | 00m00s [ 53/112] Installing perl-Text-ParseWor 100% | 14.2 MiB/s | 14.6 KiB | 00m00s [ 54/112] Installing perl-Fcntl-0:1.18- 100% | 217.0 MiB/s | 222.2 KiB | 00m00s [ 55/112] Installing perl-base-0:2.27-5 100% | 0.0 B/s | 12.9 KiB | 00m00s [ 56/112] Installing perl-overloading-0 100% | 5.4 MiB/s | 5.5 KiB | 00m00s [ 57/112] Installing perl-IO-0:1.55-512 100% | 157.9 MiB/s | 323.4 KiB | 00m00s [ 58/112] Installing perl-mro-0:1.29-51 100% | 205.9 MiB/s | 210.8 KiB | 00m00s [ 59/112] Installing perl-Pod-Usage-4:2 100% | 84.3 MiB/s | 86.3 KiB | 00m00s [ 60/112] Installing perl-Errno-0:1.38- 100% | 0.0 B/s | 8.8 KiB | 00m00s [ 61/112] Installing perl-File-Basename 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 62/112] Installing perl-constant-0:1. 100% | 26.7 MiB/s | 27.4 KiB | 00m00s [ 63/112] Installing perl-Scalar-List-U 100% | 139.0 MiB/s | 284.7 KiB | 00m00s [ 64/112] Installing perl-parent-1:0.24 100% | 10.7 MiB/s | 11.0 KiB | 00m00s [ 65/112] Installing perl-overload-0:1. 100% | 0.0 B/s | 71.9 KiB | 00m00s [ 66/112] Installing perl-vars-0:1.05-5 100% | 0.0 B/s | 4.3 KiB | 00m00s [ 67/112] Installing perl-Getopt-Std-0: 100% | 0.0 B/s | 11.7 KiB | 00m00s [ 68/112] Installing perl-MIME-Base64-0 100% | 219.2 MiB/s | 224.4 KiB | 00m00s [ 69/112] Installing perl-Storable-1:3. 100% | 182.6 MiB/s | 374.1 KiB | 00m00s [ 70/112] Installing perl-Getopt-Long-1 100% | 143.8 MiB/s | 147.2 KiB | 00m00s [ 71/112] Installing perl-Exporter-0:5. 100% | 54.3 MiB/s | 55.6 KiB | 00m00s [ 72/112] Installing perl-PathTools-0:3 100% | 174.1 MiB/s | 356.6 KiB | 00m00s [ 73/112] Installing perl-DynaLoader-0: 100% | 31.7 MiB/s | 32.5 KiB | 00m00s [ 74/112] Installing perl-Encode-4:3.21 100% | 328.1 MiB/s | 5.9 MiB | 00m00s [ 75/112] Installing perl-Carp-0:1.54-5 100% | 23.3 MiB/s | 47.7 KiB | 00m00s [ 76/112] Installing perl-libs-4:5.40.0 100% | 219.2 MiB/s | 11.0 MiB | 00m00s [ 77/112] Installing perl-interpreter-4 100% | 296.9 MiB/s | 304.0 KiB | 00m00s [ 78/112] Installing perl-File-Compare- 100% | 0.0 B/s | 6.1 KiB | 00m00s [ 79/112] Installing perl-File-Copy-0:2 100% | 0.0 B/s | 20.2 KiB | 00m00s [ 80/112] Installing perl-File-Find-0:1 100% | 10.4 MiB/s | 42.5 KiB | 00m00s [ 81/112] Installing tzdata-0:2024b-1.f 100% | 40.1 MiB/s | 1.9 MiB | 00m00s [ 82/112] Installing python-pip-wheel-0 100% | 622.1 MiB/s | 1.2 MiB | 00m00s [ 83/112] Installing mpdecimal-0:2.5.1- 100% | 161.1 MiB/s | 330.0 KiB | 00m00s [ 84/112] Installing libb2-0:0.98.1-12. 100% | 33.1 MiB/s | 203.3 KiB | 00m00s [ 85/112] Installing python3-libs-0:3.1 100% | 249.1 MiB/s | 42.1 MiB | 00m00s [ 86/112] Installing python3-0:3.13.1-2 100% | 27.4 MiB/s | 84.3 KiB | 00m00s [ 87/112] Installing kernel-headers-0:6 100% | 145.1 MiB/s | 6.5 MiB | 00m00s [ 88/112] Installing libxcrypt-devel-0: 100% | 10.7 MiB/s | 32.9 KiB | 00m00s [ 89/112] Installing glibc-devel-0:2.40 100% | 120.6 MiB/s | 2.3 MiB | 00m00s [ 90/112] Installing make-1:4.4.1-9.fc4 100% | 231.4 MiB/s | 1.9 MiB | 00m00s [ 91/112] Installing gcc-0:15.0.0-0.2.f 100% | 320.7 MiB/s | 97.8 MiB | 00m00s [ 92/112] Installing gmp-c++-1:6.3.0-2. 100% | 191.9 MiB/s | 196.5 KiB | 00m00s [ 93/112] Installing gmp-devel-1:6.3.0- 100% | 117.2 MiB/s | 359.9 KiB | 00m00s [ 94/112] Installing libstdc++-devel-0: 100% | 258.6 MiB/s | 15.5 MiB | 00m00s [ 95/112] Installing m4-0:1.4.19-10.fc4 100% | 131.8 MiB/s | 675.0 KiB | 00m00s [ 96/112] Installing emacs-filesystem-1 100% | 0.0 B/s | 544.0 B | 00m00s [ 97/112] Installing libzstd-devel-0:1. 100% | 99.2 MiB/s | 203.2 KiB | 00m00s [ 98/112] Installing ocaml-0:5.2.0-3.fc 100% | 361.8 MiB/s | 140.4 MiB | 00m00s [ 99/112] Installing ocaml-compiler-lib 100% | 360.1 MiB/s | 101.2 MiB | 00m00s [100/112] Installing ocaml-findlib-0:1. 100% | 303.8 MiB/s | 3.9 MiB | 00m00s [101/112] Installing ocaml-zarith-0:1.1 100% | 177.9 MiB/s | 546.6 KiB | 00m00s [102/112] Installing ocaml-zarith-devel 100% | 80.8 MiB/s | 910.6 KiB | 00m00s [103/112] Installing texlive-base-11:20 100% | 339.6 MiB/s | 19.0 MiB | 00m00s [104/112] Installing coq-core-0:8.18.0- 100% | 341.9 MiB/s | 733.4 MiB | 00m02s [105/112] Installing coq-0:8.18.0-10.fc 100% | 250.2 MiB/s | 88.1 MiB | 00m00s [106/112] Installing flocq-0:4.2.0-2.fc 100% | 368.6 MiB/s | 17.3 MiB | 00m00s [107/112] Installing autoconf-0:2.72-3. 100% | 311.2 MiB/s | 2.8 MiB | 00m00s [108/112] Installing gcc-c++-0:15.0.0-0 100% | 293.7 MiB/s | 38.5 MiB | 00m00s [109/112] Installing gcc-plugin-annobin 100% | 4.2 MiB/s | 69.0 KiB | 00m00s [110/112] Installing annobin-plugin-gcc 100% | 51.3 MiB/s | 998.9 KiB | 00m00s [111/112] Installing remake-0:0.16-2.fc 100% | 72.9 MiB/s | 149.4 KiB | 00m00s [112/112] Installing gappa-0:1.4.2-4.fc 100% | 3.6 MiB/s | 735.9 KiB | 00m00s Warning: skipped OpenPGP checks for 17 packages from repositories: copr_base, https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch Complete! Finish: build setup for gappalib-coq-1.5.5-5.fc42.src.rpm Start: rpmbuild gappalib-coq-1.5.5-5.fc42.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.VOqCUB + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.6KdCIH + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.5.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i 's/-rectypes/-g &/' Remakefile.in + autoconf -f configure.in:5: warning: prefer named diversions + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.K5NMFl + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + ./configure --prefix=/usr --datadir=/usr/share checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking how to run the C preprocessor... gcc -E checking for coqc >= 8.8... /usr/bin/coqc checking for coqdep... /usr/bin/coqdep checking for ocamlfind... /usr/bin/ocamlfind checking for Flocq >= 3.0... yes checking for native development files... yes checking for bytecode development files... yes checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed configure: building remake... /usr/bin/ld: /tmp/ccIQgyFB.o: in function `main': remake.cpp:(.text.startup+0xab8): warning: the use of `tempnam' is dangerous, better use `mkstemp' === Summary === Vernacular directory /usr/lib64/ocaml/coq/user-contrib Plugin directory /usr/lib64/ocaml/coq-gappa Plugin compilation native bytecode configure: creating ./config.status config.status: creating Remakefile + rm -f remake + ln -s /usr/bin/remake remake + remake -d -j4 Building src/Gappa_common.vo Building src/Gappa_decimal.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo Building src/Gappa_definitions.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo Building src/Gappa_dyadic.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo Building src/Gappa_real.vo Building src/Gappa_fixed.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo Building src/Gappa_float.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_pred_bnd.vo Building src/Gappa_round.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_round_aux.vo Building src/Gappa_round_def.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo Building src/Gappa_library.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo Building src/Gappa_pred_abs.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo Building src/Gappa_pred_nzr.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo Building src/Gappa_pred_fixflt.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo Building src/Gappa_pred_rel.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo Building src/Gappa_rewriting.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo Building src/Gappa_tree.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo Building src/Gappa_user.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo File "./src/Gappa_real.v", line 338, characters 6-14: Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 338, characters 6-14: Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Building src/Gappa_obfuscate.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo Finished src/Gappa_definitions.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_obfuscate.v Finished src/Gappa_obfuscate.vo Building src/Gappa_tactic_loader.v gcc -E -DCOQVERSION=81800 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.v Building src/Gappa_tactic.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo Finished src/Gappa_round_def.vo Building src/gappatac.ml gcc -E -DCOQVERSION=81800 src/gappatac.c -o src/gappatac.ml Finished src/gappatac.ml Building src/gappatac.cmxs /usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs Building src/gappatac.cmo /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmo Finished src/Gappa_real.vo Finished src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v Finished src/gappatac.cmxs Building src/Gappa_tactic_loader.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.vo Finished src/Gappa_common.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_rewriting.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tree.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_fixflt.v Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_abs.v File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_fixflt.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.v Finished src/Gappa_rewriting.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_tree.vo File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_abs.vo Finished src/Gappa_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_round.vo Finished src/Gappa_pred_bnd.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_user.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v Finished src/Gappa_user.vo File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_fixed.vo Finished src/Gappa_pred_rel.vo Finished src/Gappa_float.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_library.v Finished src/Gappa_library.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tactic.v Finished src/Gappa_tactic.vo Building all Finished all + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.kBcZdh + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + '[' /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT ++ dirname /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + mkdir /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + remake install Building install Finished install + cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.5.5-5.fc42 --unique-debug-suffix -1.5.5-5.fc42.aarch64 --unique-debug-src-base gappalib-coq-1.5.5-5.fc42.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.5.5-5.fc42.aarch64 cpio: atomic.ml: Cannot stat: No such file or directory cpio: big_int_Z.ml: Cannot stat: No such file or directory cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: engine/eConstr.ml: Cannot stat: No such file or directory cpio: engine/evd.ml: Cannot stat: No such file or directory cpio: engine/proofview.ml: Cannot stat: No such file or directory cpio: filename.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: interp/dumpglob.ml: Cannot stat: No such file or directory cpio: kernel/constr.ml: Cannot stat: No such file or directory cpio: kernel/context.ml: Cannot stat: No such file or directory cpio: lib/pp.ml: Cannot stat: No such file or directory cpio: lib/util.ml: Cannot stat: No such file or directory cpio: pretyping/reductionops.ml: Cannot stat: No such file or directory cpio: pretyping/tacred.ml: Cannot stat: No such file or directory cpio: printing/ppconstr.ml: Cannot stat: No such file or directory cpio: printing/printer.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory cpio: tactics/tacticals.ml: Cannot stat: No such file or directory cpio: vernac/mltop.ml: Cannot stat: No such file or directory cpio: z.ml: Cannot stat: No such file or directory find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Scanned 18 directories and 49 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.03U6uQ + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + remake check Building testsuite/check Finished testsuite/check Building check Finished check + RPM_EC=0 ++ jobs -p + exit 0 Processing files: gappalib-coq-1.5.5-5.fc42.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.nQ8Fcf + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + DOCDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/AUTHORS /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/NEWS.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/README.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.URYrHN + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + LICENSEDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/COPYING /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.5-5.fc42 gappalib-coq(aarch-64) = 1.5.5-5.fc42 ocaml(Gappatac) = 84d0983fc7f02899b3aef4118322a51c Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AcyclicGraph) = 63465440e96d81f0213d69061c985ba4 ocaml(Attributes) = 361e91b90d3804b8e3aa0b36dd543471 ocaml(Big_int_Z) = 312ffaa81870b7daca9308902c34a77d ocaml(CArray) = 72f80c4d474f3a52c10a646d481a6e6a ocaml(CAst) = 789e9622291fbd31f7d16ad9df8970e9 ocaml(CClosure) = 050a192f384c57c4798a88829fa5c408 ocaml(CDebug) = 236633a6b3538c054a449439671edc9c ocaml(CEphemeron) = 39db8247e62491f079f26da08f39e8c0 ocaml(CErrors) = 48871476ca41ae38d9cf16fafbd3ce4f ocaml(CLexer) = 25473c9aabd03f5ab2274c0b86c6cae4 ocaml(CList) = 2e0c5a2dffaa27bd8e06c509e37776d2 ocaml(CMap) = fb2e1c5ea1c619d3a3544410da29f8ae ocaml(CPrimitives) = 0118e11c0659352eaedc1bc258d8445b ocaml(CSet) = 019adb1e50f0b8182ae935de6a005db0 ocaml(CSig) = 2676c9112307572a452bec4b87098429 ocaml(CString) = f1794ea484d4244d5e8a3abf1badd216 ocaml(CUnix) = b6bf3a3ed353542a33a6937b47f54dd1 ocaml(CWarnings) = e1e370f0bdd6a607c2a8c8b788d6d91f ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(Coercionops) = 5b171589aff790d73d9d72e22a4b6a2e ocaml(Constr) = 9d3325c6b919e39f763cf62c1796ce92 ocaml(Constrexpr) = 3d93341ab637f36532dc63d46d8160ff ocaml(Constrintern) = ebb02284f654409fcb6cb415bb489e82 ocaml(Context) = b5d0d71b2e96c5b9ca5757523d995125 ocaml(Conv_oracle) = 4a2eaa9941e657698b4a5cb7fe5c3c3b ocaml(Conversion) = e66314949ab7f0e9793fa795538c54c3 ocaml(Cooking) = 6981279705feedf142a8b99dbef3f2b3 ocaml(Coqlib) = f22453fc23e1f552d81278c5221e22d3 ocaml(DAst) = 8220ec1bde5771cdd9b9e6b852a23d88 ocaml(Declarations) = f5957f321c5d9691056b244c055a70b4 ocaml(Declare) = d0285c4d3566d135568b93c78c9cf72c ocaml(Declaremods) = dca6d55b8e6597b02422fb90ca906c53 ocaml(Decls) = f5c04c625f7175c8e7a6fa1bb12eb286 ocaml(Deprecation) = 9e736bddedd1fb311b879f7f49d85bce ocaml(Dumpglob) = 8cd6b7d49deb8b701d0e79e4ad310d08 ocaml(Dyn) = dff7f98a38c88f7eb5c1e2ff5ac7e823 ocaml(EConstr) = 5a2f2a37c74697f419ffc4216f0d87ab ocaml(Entries) = b4fc0bc29e6a3af4b14883d6c7320353 ocaml(Environ) = aaa6ae8206e571adf71ff2b421fc0278 ocaml(Equality) = 7b3ec869074921c4c26954fb07d56567 ocaml(Esubst) = 799b7344bc8ade767980738240a415c2 ocaml(Evar) = fae5e9f68482fe2e68be1ff7874efd92 ocaml(Evar_kinds) = 6b77a57a83dc49f52623af3e7fe24f2c ocaml(Evardefine) = a2c5bf61b5e40e96f160abbc5dc5c599 ocaml(Evarsolve) = 03abfb4bfde553a9f473328498ccad5c ocaml(Evarutil) = 69c166f0bd4f032002c570f2bfa928a7 ocaml(Evd) = 752a038d9105c63d709b4d78523619eb ocaml(Exninfo) = 19d7f6bff61408da974e03ad8379233d ocaml(Extend) = 7c62183a656a14ff61b6275faada74e6 ocaml(Float64) = 19d975b1892ac34cf3e0631cb965a7cc ocaml(Ftactic) = 7a8f61cce8e06fedb838f0b6b492aa41 ocaml(Future) = 8deca240fe168a7138a59ef3f25a0c6f ocaml(Genarg) = d2a3d9ae176b92250d73fa8cf6475fe8 ocaml(Genintern) = ba0b75dbe4ab21897f41c7296b998bdc ocaml(Geninterp) = c868e160c2d6b74bccc80835c213f925 ocaml(Genlambda) = 48fb56ee4c71ee95afc029ce68cd6453 ocaml(Genprint) = e05d4dd08253cb5462aa56b02d4a2e89 ocaml(Genredexpr) = 1636cc9ee4a4e3b10d093c1cb4f3e3a1 ocaml(GlobEnv) = ab480750fadbd5277ff5bb312bd813f2 ocaml(Glob_term) = 6002120b8b63cbbf604eda928ffec143 ocaml(Global) = 70190aae799d4f65079aaa05bd26a6ec ocaml(Globnames) = 39beb8ade582896e0b07717bc6384b0d ocaml(Goal_select) = 7701971c94cd6b421cf573e978d23f02 ocaml(Goptions) = 154e0a54f73ee52a42dc2c17ce2ea403 ocaml(Gramlib) = 477256fc7912ac6a051940b848189f7b ocaml(Gramlib__Gramext) = 3f72a7a64e3b36febd9fdfba006f9f1a ocaml(Gramlib__Grammar) = 5613c854e560fc0f2e32fe61e1ae3deb ocaml(Gramlib__LStream) = cfae3f35ee22d04399ec05075c25f03a ocaml(Gramlib__Plexing) = 33fcd2362956cda04b0dcf9c19362310 ocaml(Gramlib__Stream) = 6bfc802a551241e770bdf0d18cba87b8 ocaml(Hashcons) = 94bdc6ac3201831c154e2be6aceecd5e ocaml(Hashset) = d8a284b1aac88561153dd0a4198abfe1 ocaml(Hints) = c807ad32d3d3e4787ae9ab898a326731 ocaml(Hook) = efb40e84b8be1d27ebdf48c1c909700a ocaml(Impargs) = ef606e11ff72979404c7fe8ebcd797eb ocaml(Ind_tables) = bdeee744d68517efc95de721bc1355db ocaml(Int) = adab7102f0ebf2afbaff4b424516fc02 ocaml(Inv) = ffa3d62b37e65ae201d4f2e785ef5e47 ocaml(Lib) = d7bcc9d7b4f8d5d46868884459b1f924 ocaml(Libnames) = 27b43291715086ccc0c0a6262f05db1a ocaml(Libobject) = 7b55f6a80894e15e9f45a6b25e09e079 ocaml(Loc) = 8ed5211fdca74b779bc6f04784e60fda ocaml(Locality) = cde9d92a5823eb4559678d6744369229 ocaml(Locus) = 287f09ea51178600d4174f56cc625959 ocaml(Logic) = a68730cd35919abea40abcdaf009c9ff ocaml(Logic_monad) = d4d8266c3aa0bc367e310e0ec54ea6ef ocaml(Ltac_plugin) = 09e1b0a836e8464912a2d162a7ec521c ocaml(Ltac_plugin__Pptactic) = d6bf940b82528b35c9129c791bf59a40 ocaml(Ltac_plugin__Tacentries) = 4e726af23a5019677030552c67d95665 ocaml(Ltac_plugin__Tacexpr) = 2a0fd17498bcf85d7caae842720ca9fb ocaml(Ltac_pretype) = 85e97c2e9bcddadf2a501e6f3bd2a1dd ocaml(Metasyntax) = 1303271d9b8bcec872a51f3b8981eb48 ocaml(Mltop) = 9a1eca5e7ff04b5844c03429924e6ade ocaml(Mod_subst) = efe7d54b8b636a8c8fad5e8f0a07af34 ocaml(Modintern) = e15824865202f9e714c9b4db57624e60 ocaml(Monad) = 94d6e7ae132ed4fe6efb4bf9d3d27411 ocaml(Namegen) = 430c35434a0cd7e03f720084e3220c1b ocaml(Names) = 1d020cc06c9adc57f47aef939db9d0b5 ocaml(Nametab) = ac5af10ed33adf528d709d45fa5ea53a ocaml(Nativecode) = c915c4f4836c31c038fddcd6817e04c0 ocaml(Nativelib) = 823ff01e053e15792b5862258228c62f ocaml(Nativevalues) = 65f99e2bf9b75a349149ec22a6002217 ocaml(NeList) = 8666e4080d41cc7de964026d8bcfe62c ocaml(Notation) = febfbcc39e7e99c0391cf9493f27623f ocaml(Notation_term) = e7c3a1c24e29a7af3de00ee41109cda8 ocaml(Notationextern) = c7986cdc169fa2de4f80c5509fde4e06 ocaml(NumTok) = b128e951849f4eb7b9b833e940184e23 ocaml(Opaqueproof) = 37a98ee47ba6c4e3742532f9ce872bfc ocaml(Parray) = eaa72022ae38ea3187bb3f561e9db4c9 ocaml(Pattern) = a940213bdce0f21975ad57af5d59ee86 ocaml(Pcoq) = 957f1b170074ab00a105904872deaba8 ocaml(Pp) = 2b296c72b89b91257cc16a104005de5b ocaml(Predicate) = d0a897998df1a40d587b43624be35a23 ocaml(Pretype_errors) = f9c030b34d826cade7c75611cd4c16f3 ocaml(Pretyping) = 6a23de4285fefa49984ead5bb80dbb11 ocaml(Primred) = 608b90f82d9c2dea9f96cf9c493c53e4 ocaml(Printer) = 76184c03158da9c1123d0c623e7c76a4 ocaml(Proof) = 604d18c8f2a7f0c0f510525675684ea7 ocaml(Proof_bullet) = 7f565e170c5b3505f210aeb1323a6f4b ocaml(Proof_using) = 9ccec7b314b63c052bc8c80885f73218 ocaml(Proofview) = 7261bb5d91d72b3f0f52a2995493c075 ocaml(Proofview_monad) = 089cbd8f570373abbeaef3f5b6d08948 ocaml(Pvernac) = 51b1d88fca817944d0f5ee0601c78684 ocaml(Range) = e156474582c707f2ac7565232ef1fbf6 ocaml(Redexpr) = 7072a65a31669f23045a74c346e8162e ocaml(Reductionops) = 4e3dac0041288a0a342cafb0bdfb57f5 ocaml(RetrieveObl) = 55d59098a6c442f0dbca2342bed7a5a7 ocaml(Retroknowledge) = e2fb92309799485e1f9541ce2c8141d5 ocaml(Rtree) = 21c1958cfe0e790b0ecf5db5273509d5 ocaml(SList) = d58563bfd13cb6e597d0c49a2c63443b ocaml(Safe_typing) = 0269fe16fe33d67fb0b204499f391aef ocaml(Section) = 8ef834b8d0b25d176b88bea911d6b0e5 ocaml(Sorts) = 4af65272c1be6ee51f20720b7ea59771 ocaml(Stateid) = cdb14ba366136f02eabf6891582e0d90 ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Digest) = 53c6b4c2a619a2a05fa4912189aff5db ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Store) = 4e72896221806a886a8a19ba0a7a024e ocaml(Summary) = a60a793bc617ad3fcc787a5d872053e8 ocaml(Tacmach) = 6700c573aa75739bd937fca3f774df1d ocaml(Tacred) = 0b6a9b7baa8058af79a9ff1d362a5b55 ocaml(Tacticals) = e8443b5d474dba5b9b94e191e815df9f ocaml(Tactics) = 8300d1e6bccc909c0bb92558db13d9b5 ocaml(Tactypes) = 86ac7b6e6e2ee2ca9389c0a0ec14479f ocaml(Term) = 3e5323b4c994751d4d583038ff26ef1e ocaml(Tok) = 800d49b6b6f77a22fe9f7c8b910876c2 ocaml(TransparentState) = 76a096e6d3e3a4d94e363a7bf724f5c5 ocaml(Type_errors) = 316b26e1a7109ebae43af10375c2a334 ocaml(Typeclasses) = c704a4cdd4301f8c2349459bd09638a5 ocaml(UGraph) = c654b62751e33fedcf6c22e72ad610e7 ocaml(UState) = 7309eb4266dfd031e8324f80103c1a29 ocaml(Uint63) = e3451df3704d221dcd5da2a42c0c4f17 ocaml(Unification) = 706272c6efc62de0340d7ee837c14ddd ocaml(Univ) = 574e46406ed62c0f634436d99818e2b8 ocaml(UnivGen) = e2a8429d96bb8c771b46e05bf18404ab ocaml(UnivNames) = 47ace49275b17080a2df4796ae01224d ocaml(UnivProblem) = 205a1efb9494ef19e5f366f23b766265 ocaml(UnivSubst) = 9dd5700ce8d910df2dc035ced7d8d937 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Util) = 8fc9d2a0e25fc1a8bef9b03c8901192b ocaml(Values) = 488e32523e8ea0c884c9771d64cb9e64 ocaml(Vars) = 3347002f2ddb8d3f50f9a8062f787d4f ocaml(Vernacexpr) = e8e7245025ba948b308eef9de4ea1fc0 ocaml(Vernacextend) = 5afeefe338a4dbda3fa95e2d82d6bf0e ocaml(Vmbytecodes) = f7f010e4b176097177b8cfa2b848c29b ocaml(Vmemitcodes) = 47a5d915cd99c8489fe7258232ba2d03 ocaml(Vmvalues) = b1ff111be517f827c60094b3394698f8 ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 rtld(GNU_HASH) Processing files: gappalib-coq-source-1.5.5-5.fc42.aarch64 Provides: gappalib-coq-source = 1.5.5-5.fc42 gappalib-coq-source(aarch-64) = 1.5.5-5.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: gappalib-coq-debugsource-1.5.5-5.fc42.aarch64 Provides: gappalib-coq-debugsource = 1.5.5-5.fc42 gappalib-coq-debugsource(aarch-64) = 1.5.5-5.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: gappalib-coq-debuginfo-1.5.5-5.fc42.aarch64 Provides: debuginfo(build-id) = ca8bc60a47daa38f2383b5783cdcb69670397497 gappalib-coq-debuginfo = 1.5.5-5.fc42 gappalib-coq-debuginfo(aarch-64) = 1.5.5-5.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: gappalib-coq-debugsource(aarch-64) = 1.5.5-5.fc42 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.5-5.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-5.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.5-5.fc42.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-5.fc42.aarch64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.1lghMW + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild gappalib-coq-1.5.5-5.fc42.src.rpm Finish: build phase for gappalib-coq-1.5.5-5.fc42.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-aarch64-1734652756.569296/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.5-5.fc42.src.rpm) Config(child) 0 minutes 41 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": "gappalib-coq-debuginfo", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "aarch64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "src" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "aarch64" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "aarch64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "aarch64" } ] } RPMResults finished