Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c18c' (ED25519) to the list of known hosts. 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 1599k 0 --:--:-- --:--:-- --:--:-- 1637k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.5.tar.gz Running (timeout=115200): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-x_7tcldx/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-x_7tcldx/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734657159.388504 -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-x_7tcldx/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-x_7tcldx/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734657159.388504 -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-x_7tcldx/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-x86_64) 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-x86_64-bootstrap-1734657159.388504/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using bootstrap image: registry.fedoraproject.org/fedora:rawhide INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide INFO: Copy content of container registry.fedoraproject.org/fedora:rawhide to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1734657159.388504/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/9bb63223b0edd5117748d1887a39e0598d413c3632292df88c0e2c213cc02217/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/9bb63223b0edd5117748d1887a39e0598d413c3632292df88c0e2c213cc02217/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-x86_64-1734657159.388504/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.x86_64 rpm-sequoia-1.7.0-3.fc42.x86_64 dnf5-5.2.8.1-2.fc42.x86_64 dnf5-plugins-5.2.8.1-2.fc42.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 1.0 MiB/s | 26.2 KiB | 00m00s Copr repository 100% | 46.5 KiB/s | 1.5 KiB | 00m00s Additional repo https_fedorapeople_org 100% | 18.8 KiB/s | 1.5 KiB | 00m00s Copr repository 100% | 17.2 MiB/s | 2.4 MiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 5.2.37-1.fc42 fedora 8.2 MiB bzip2 x86_64 1.0.8-19.fc42 copr_base 96.9 KiB coreutils x86_64 9.5-11.fc42 copr_base 5.5 MiB cpio x86_64 2.15-2.fc41 fedora 1.1 MiB diffutils x86_64 3.10-8.fc42 copr_base 1.6 MiB fedora-release-common noarch 42-0.11 fedora 19.8 KiB findutils x86_64 1:4.10.0-4.fc42 copr_base 1.9 MiB gawk x86_64 5.3.0-4.fc41 fedora 1.7 MiB glibc-minimal-langpack x86_64 2.40.9000-24.fc42 fedora 0.0 B grep x86_64 3.11-9.fc41 fedora 1.0 MiB gzip x86_64 1.13-2.fc41 fedora 389.0 KiB info x86_64 7.1.1-2.fc42 fedora 361.8 KiB patch x86_64 2.7.6-25.fc41 fedora 266.7 KiB redhat-rpm-config noarch 300-1.no_annobin.0.fc42 copr_base 186.6 KiB rpm-build x86_64 4.20.0-1.fc42 fedora 194.3 KiB sed x86_64 4.9-3.fc41 fedora 861.5 KiB shadow-utils x86_64 2:4.17.0~rc1-1.fc42 fedora 4.1 MiB tar x86_64 2:1.35-4.fc41 fedora 2.9 MiB unzip x86_64 6.0-65.fc42 fedora 398.2 KiB util-linux x86_64 2.40.2-8.fc42 fedora 3.7 MiB which x86_64 2.21-42.fc41 fedora 80.2 KiB xz x86_64 1:5.6.3-2.fc42 fedora 1.2 MiB Installing dependencies: add-determinism x86_64 0.4.3-1.fc42 fedora 2.4 MiB alternatives x86_64 1.31-1.fc42 fedora 64.8 KiB ansible-srpm-macros noarch 1-16.fc41 fedora 35.7 KiB audit-libs x86_64 4.0.2-1.fc42 copr_base 331.3 KiB authselect x86_64 1.5.0-8.fc42 copr_base 156.0 KiB authselect-libs x86_64 1.5.0-8.fc42 copr_base 820.0 KiB basesystem noarch 11-21.fc41 fedora 0.0 B binutils x86_64 2.43.50-9.fc42 copr_base 25.6 MiB build-reproducibility-srpm-macros noarch 0.4.3-1.fc42 fedora 735.0 B bzip2-libs x86_64 1.0.8-19.fc42 copr_base 83.2 KiB ca-certificates noarch 2024.2.69_v8.0.401-3.fc42 fedora 2.6 MiB coreutils-common x86_64 9.5-11.fc42 copr_base 11.2 MiB cracklib x86_64 2.9.11-6.fc42 copr_base 238.1 KiB crypto-policies noarch 20241128-1.gitbb7b0b0.fc42 fedora 137.3 KiB curl x86_64 8.11.1-2.fc42 copr_base 452.0 KiB cyrus-sasl-lib x86_64 2.1.28-27.fc41 fedora 2.3 MiB debugedit x86_64 5.1-2.fc42 copr_base 197.7 KiB dwz x86_64 0.15-8.fc42 copr_base 295.7 KiB ed x86_64 1.20.2-2.fc41 fedora 146.9 KiB efi-srpm-macros noarch 5-13.fc42 fedora 40.2 KiB elfutils x86_64 0.192-7.fc42 copr_base 2.6 MiB elfutils-debuginfod-client x86_64 0.192-7.fc42 copr_base 81.4 KiB elfutils-default-yama-scope noarch 0.192-7.fc42 copr_base 1.8 KiB elfutils-libelf x86_64 0.192-7.fc42 copr_base 1.2 MiB elfutils-libs x86_64 0.192-7.fc42 copr_base 662.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 x86_64 5.45-8.fc42 fedora 103.7 KiB file-libs x86_64 5.45-8.fc42 fedora 9.9 MiB filesystem x86_64 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 x86_64 15.2-4.fc42 fedora 12.7 MiB gdbm x86_64 1:1.23-7.fc41 fedora 460.9 KiB gdbm-libs x86_64 1:1.23-7.fc41 fedora 121.9 KiB ghc-srpm-macros noarch 1.9.2-1.fc42 fedora 779.0 B glibc x86_64 2.40.9000-24.fc42 fedora 6.7 MiB glibc-common x86_64 2.40.9000-24.fc42 fedora 1.0 MiB glibc-gconv-extra x86_64 2.40.9000-24.fc42 fedora 8.0 MiB gmp x86_64 1:6.3.0-2.fc41 fedora 811.4 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 x86_64 2.14-1.fc42 fedora 93.1 KiB json-c x86_64 0.18-1.fc42 fedora 83.3 KiB kernel-srpm-macros noarch 1.0-24.fc41 fedora 1.9 KiB keyutils-libs x86_64 1.6.3-4.fc41 fedora 54.4 KiB krb5-libs x86_64 1.21.3-3.fc42 fedora 2.3 MiB libacl x86_64 2.3.2-2.fc42 copr_base 38.3 KiB libarchive x86_64 3.7.7-1.fc42 fedora 932.3 KiB libattr x86_64 2.5.2-4.fc41 fedora 28.5 KiB libblkid x86_64 2.40.2-8.fc42 fedora 262.5 KiB libbrotli x86_64 1.1.0-5.fc42 copr_base 836.4 KiB libcap x86_64 2.71-1.fc42 fedora 210.8 KiB libcap-ng x86_64 0.8.5-3.fc41 fedora 69.2 KiB libcom_err x86_64 1.47.1-6.fc42 fedora 67.2 KiB libcurl x86_64 8.11.1-2.fc42 copr_base 829.3 KiB libeconf x86_64 0.7.5-1.fc42 fedora 66.7 KiB libevent x86_64 2.1.12-14.fc41 fedora 895.7 KiB libfdisk x86_64 2.40.2-8.fc42 fedora 362.9 KiB libffi x86_64 3.4.6-3.fc42 fedora 86.4 KiB libgcc x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 266.9 KiB libgomp x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 529.3 KiB libidn2 x86_64 2.3.7-2.fc41 fedora 329.1 KiB libmount x86_64 2.40.2-8.fc42 fedora 355.8 KiB libnghttp2 x86_64 1.64.0-1.fc42 fedora 174.5 KiB libnsl2 x86_64 2.0.1-2.fc41 fedora 57.9 KiB libpkgconf x86_64 2.3.0-1.fc42 fedora 78.2 KiB libpsl x86_64 0.21.5-4.fc41 fedora 80.5 KiB libpwquality x86_64 1.4.5-11.fc41 fedora 417.8 KiB libselinux x86_64 3.8-0.rc1.2.fc42 fedora 191.6 KiB libsemanage x86_64 3.8-0.rc1.1.fc42 fedora 305.3 KiB libsepol x86_64 3.8-0.rc1.1.fc42 fedora 822.0 KiB libsmartcols x86_64 2.40.2-8.fc42 fedora 180.4 KiB libssh x86_64 0.11.1-1.fc42 fedora 569.6 KiB libssh-config noarch 0.11.1-1.fc42 fedora 277.0 B libstdc++ x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 2.7 MiB libtasn1 x86_64 4.19.0-9.fc41 fedora 175.7 KiB libtirpc x86_64 1.3.6-1.fc42 fedora 205.5 KiB libtool-ltdl x86_64 2.5.4-1.fc42 copr_base 68.1 KiB libunistring x86_64 1.1-8.fc41 fedora 1.7 MiB libuuid x86_64 2.40.2-8.fc42 fedora 41.4 KiB libverto x86_64 0.3.2-9.fc41 fedora 29.5 KiB libxcrypt x86_64 4.4.36-11.fc42 fedora 271.4 KiB libxml2 x86_64 2.12.8-2.fc41 fedora 1.7 MiB libzstd x86_64 1.5.6-2.fc41 fedora 795.9 KiB lua-libs x86_64 5.4.7-1.fc42 fedora 285.0 KiB lua-srpm-macros noarch 1-14.fc41 fedora 1.3 KiB lz4-libs x86_64 1.10.0-1.fc41 fedora 145.5 KiB mpfr x86_64 4.2.1-5.fc41 fedora 832.1 KiB ncurses-base noarch 6.5-2.20240629.fc41 fedora 326.3 KiB ncurses-libs x86_64 6.5-2.20240629.fc41 fedora 975.2 KiB ocaml-srpm-macros noarch 10-3.fc41 fedora 1.9 KiB openblas-srpm-macros noarch 2-18.fc41 fedora 112.0 B openldap x86_64 2.6.8-6.fc42 fedora 647.4 KiB openssl-libs x86_64 1:3.2.2-8.fc42 fedora 7.8 MiB p11-kit x86_64 0.25.5-4.fc42 fedora 2.2 MiB p11-kit-trust x86_64 0.25.5-4.fc42 fedora 403.8 KiB package-notes-srpm-macros noarch 0.5-12.fc41 fedora 1.6 KiB pam x86_64 1.7.0-3.fc42 fedora 1.8 MiB pam-libs x86_64 1.7.0-3.fc42 fedora 139.4 KiB pcre2 x86_64 10.44-1.fc41.1 fedora 653.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 x86_64 2.3.0-1.fc42 fedora 88.6 KiB pkgconf-m4 noarch 2.3.0-1.fc42 fedora 14.4 KiB pkgconf-pkg-config x86_64 2.3.0-1.fc42 fedora 989.0 B popt x86_64 1.19-7.fc41 fedora 136.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 x86_64 8.2-11.fc42 fedora 493.1 KiB rpm x86_64 4.20.0-1.fc42 fedora 3.1 MiB rpm-build-libs x86_64 4.20.0-1.fc42 fedora 206.7 KiB rpm-libs x86_64 4.20.0-1.fc42 fedora 726.1 KiB rpm-sequoia x86_64 1.7.0-3.fc42 fedora 2.3 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 x86_64 3.47.2-1.fc42 fedora 1.4 MiB systemd-libs x86_64 257-1.fc42 fedora 2.2 MiB util-linux-core x86_64 2.40.2-8.fc42 fedora 1.5 MiB xxhash-libs x86_64 0.8.2-4.fc42 fedora 88.4 KiB xz-libs x86_64 1:5.6.3-2.fc42 fedora 218.4 KiB zig-srpm-macros noarch 1-3.fc41 fedora 1.1 KiB zip x86_64 3.0-42.fc42 fedora 695.9 KiB zlib-ng-compat x86_64 2.2.2-1.fc42 fedora 134.0 KiB zstd x86_64 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, 179 MiB extra will be used (install 179 MiB, remove 0 B). [1/1] tar-2:1.35-4.fc41.x86_64 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.x86_64 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.x86_64 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.x86_64 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.x86_64 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.x86_64 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.x86_64 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.x86_64 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.x86_64 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] fedora-release-common-0:42-0.11 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] glibc-minimal-langpack-0:2.40.9 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] gzip-0:1.13-2.fc41.x86_64 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] info-0:7.1.1-2.fc42.x86_64 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] xz-1:5.6.3-2.fc42.x86_64 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] bzip2-0:1.0.8-19.fc42.x86_64 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] redhat-rpm-config-0:300-1.no_an 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] coreutils-0:9.5-11.fc42.x86_64 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] util-linux-0:2.40.2-8.fc42.x86_ 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] diffutils-0:3.10-8.fc42.x86_64 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] findutils-1:4.10.0-4.fc42.x86_6 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] gawk-0:5.3.0-4.fc41.x86_64 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.x86_6 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.x 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.x86_64 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.x86_6 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] popt-0:1.19-7.fc41.x86_64 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] readline-0:8.2-11.fc42.x86_64 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] rpm-0:4.20.0-1.fc42.x86_64 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-build-libs-0:4.20.0-1.fc42. 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-libs-0:4.20.0-1.fc42.x86_64 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] zstd-0:1.5.6-2.fc41.x86_64 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] filesystem-0:3.18-29.fc42.x86_6 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] ncurses-libs-0:6.5-2.20240629.f 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] pcre2-0:10.44-1.fc41.1.x86_64 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] ed-0:1.20.2-2.fc41.x86_64 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] libattr-0:2.5.2-4.fc41.x86_64 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] libeconf-0:0.7.5-1.fc42.x86_64 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] libsemanage-0:3.8-0.rc1.1.fc42. 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] libxcrypt-0:4.4.36-11.fc42.x86_ 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] pam-libs-0:1.7.0-3.fc42.x86_64 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] setup-0:2.15.0-5.fc41.noarch 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] fedora-repos-0:42-0.3.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] glibc-common-0:2.40.9000-24.fc4 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] xz-libs-1:5.6.3-2.fc42.x86_64 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] ansible-srpm-macros-0:1-16.fc41 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] build-reproducibility-srpm-macr 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] efi-srpm-macros-0:5-13.fc42.noa 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] filesystem-srpm-macros-0:3.18-2 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] fonts-srpm-macros-1:2.0.5-17.fc 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] forge-srpm-macros-0:0.4.0-1.fc4 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] fpc-srpm-macros-0:1.3-13.fc41.n 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] ghc-srpm-macros-0:1.9.2-1.fc42. 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] gnat-srpm-macros-0:6-6.fc41.noa 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] go-srpm-macros-0:3.6.0-5.fc42.n 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] kernel-srpm-macros-0:1.0-24.fc4 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] lua-srpm-macros-0:1-14.fc41.noa 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] ocaml-srpm-macros-0:10-3.fc41.n 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] openblas-srpm-macros-0:2-18.fc4 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] package-notes-srpm-macros-0:0.5 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] perl-srpm-macros-0:1-56.fc41.no 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] pyproject-srpm-macros-0:1.16.3- 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] python-srpm-macros-0:3.13-3.fc4 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] qt5-srpm-macros-0:5.15.15-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] qt6-srpm-macros-0:6.8.1-4.fc42. 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] rust-srpm-macros-0:26.3-3.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] zig-srpm-macros-0:1-3.fc41.noar 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] zip-0:3.0-42.fc42.x86_64 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] gmp-1:6.3.0-2.fc41.x86_64 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] libcap-0:2.71-1.fc42.x86_64 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] openssl-libs-1:3.2.2-8.fc42.x86 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] systemd-libs-0:257-1.fc42.x86_6 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] libblkid-0:2.40.2-8.fc42.x86_64 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] libcap-ng-0:0.8.5-3.fc41.x86_64 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] libfdisk-0:2.40.2-8.fc42.x86_64 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] libmount-0:2.40.2-8.fc42.x86_64 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] libsmartcols-0:2.40.2-8.fc42.x8 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] libuuid-0:2.40.2-8.fc42.x86_64 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] util-linux-core-0:2.40.2-8.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] zlib-ng-compat-0:2.2.2-1.fc42.x 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] mpfr-0:4.2.1-5.fc41.x86_64 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] glibc-gconv-extra-0:2.40.9000-2 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] basesystem-0:11-21.fc41.noarch 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] libsepol-0:3.8-0.rc1.1.fc42.x86 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] file-libs-0:5.45-8.fc42.x86_64 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] libxml2-0:2.12.8-2.fc41.x86_64 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] libzstd-0:1.5.6-2.fc41.x86_64 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] lz4-libs-0:1.10.0-1.fc41.x86_64 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] lua-libs-0:5.4.7-1.fc42.x86_64 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] rpm-sequoia-0:1.7.0-3.fc42.x86_ 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] sqlite-libs-0:3.47.2-1.fc42.x86 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] ncurses-base-0:6.5-2.20240629.f 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] pcre2-syntax-0:10.44-1.fc41.1.n 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] fedora-gpg-keys-0:42-0.3.noarch 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] fedora-repos-rawhide-0:42-0.3.n 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] add-determinism-0:0.4.3-1.fc42. 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] ca-certificates-0:2024.2.69_v8. 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] crypto-policies-0:20241128-1.gi 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] dwz-0:0.15-8.fc42.x86_64 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] elfutils-libelf-0:0.192-7.fc4 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] coreutils-common-0:9.5-11.fc4 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] libacl-0:2.3.2-2.fc42.x86_64 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] bzip2-libs-0:1.0.8-19.fc42.x8 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] libgcc-0:15.0.0-0.2.fc42.x86_ 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] pam-0:1.7.0-3.fc42.x86_64 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] p11-kit-trust-0:0.25.5-4.fc42 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] p11-kit-0:0.25.5-4.fc42.x86_6 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] libffi-0:3.4.6-3.fc42.x86_64 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] pkgconf-pkg-config-0:2.3.0-1. 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] gdbm-1:1.23-7.fc41.x86_64 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] gdbm-libs-1:1.23-7.fc41.x86_6 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] libnsl2-0:2.0.1-2.fc41.x86_64 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] libpwquality-0:1.4.5-11.fc41. 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] libtirpc-0:1.3.6-1.fc42.x86_6 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] libtasn1-0:4.19.0-9.fc41.x86_ 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] pkgconf-0:2.3.0-1.fc42.x86_64 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] pkgconf-m4-0:2.3.0-1.fc42.noa 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] krb5-libs-0:1.21.3-3.fc42.x86 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] libcom_err-0:1.47.1-6.fc42.x8 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] libpkgconf-0:2.3.0-1.fc42.x86 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] keyutils-libs-0:1.6.3-4.fc41. 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] libverto-0:0.3.2-9.fc41.x86_6 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.x 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.x86 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.x86 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.x86 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.x86_64 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.x86_64 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.x86_6 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.x86_64 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.x86 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.x8 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.x86_ 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.x86_64 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.x86 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.x8 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.x86_6 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.x86_64 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.x8 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.x86_64 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.x86_64 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.x86_6 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.x86 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.x86 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.x 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.x86_ 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% | 734.0 B/s | 155.0 B | 00m00s >>> Running pre-transaction scriptlet: filesystem-0:3.18-29.fc42.x86_64 >>> Finished pre-transaction scriptlet: filesystem-0:3.18-29.fc42.x86_64 >>> [RPM] /var/lib/mock/fedora-rawhide-x86_64-1734657159.388504/root/var/cache/d [ 2/157] Prepare transaction 100% | 1.8 KiB/s | 155.0 B | 00m00s [ 3/157] Installing libgcc-0:15.0.0-0. 100% | 87.4 MiB/s | 268.6 KiB | 00m00s [ 4/157] Installing libssh-config-0:0. 100% | 796.9 KiB/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% | 18.7 MiB/s | 172.2 KiB | 00m00s [ 8/157] Installing fedora-repos-rawhi 100% | 2.4 MiB/s | 2.4 KiB | 00m00s [ 9/157] Installing fedora-repos-0:42- 100% | 5.6 MiB/s | 5.7 KiB | 00m00s [ 10/157] Installing fedora-release-com 100% | 11.8 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% | 44.3 MiB/s | 726.1 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 13/157] Installing filesystem-0:3.18- 100% | 1.6 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 pkgconf-m4-0:2.3.0 100% | 14.5 MiB/s | 14.8 KiB | 00m00s [ 16/157] Installing coreutils-common-0 100% | 219.4 MiB/s | 11.2 MiB | 00m00s [ 17/157] Installing pcre2-syntax-0:10. 100% | 124.1 MiB/s | 254.1 KiB | 00m00s [ 18/157] Installing ncurses-base-0:6.5 100% | 34.3 MiB/s | 351.7 KiB | 00m00s [ 19/157] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 20/157] Installing ncurses-libs-0:6.5 100% | 137.0 MiB/s | 981.8 KiB | 00m00s [ 21/157] Installing glibc-0:2.40.9000- 100% | 215.2 MiB/s | 6.7 MiB | 00m00s [ 22/157] Installing bash-0:5.2.37-1.fc 100% | 272.3 MiB/s | 8.2 MiB | 00m00s [ 23/157] Installing glibc-common-0:2.4 100% | 115.7 MiB/s | 1.0 MiB | 00m00s [ 24/157] Installing glibc-gconv-extra- 100% | 144.2 MiB/s | 8.1 MiB | 00m00s [ 25/157] Installing zlib-ng-compat-0:2 100% | 131.7 MiB/s | 134.9 KiB | 00m00s [ 26/157] Installing xz-libs-1:5.6.3-2. 100% | 214.3 MiB/s | 219.5 KiB | 00m00s [ 27/157] Installing bzip2-libs-0:1.0.8 100% | 82.3 MiB/s | 84.3 KiB | 00m00s [ 28/157] Installing popt-0:1.19-7.fc41 100% | 28.0 MiB/s | 143.5 KiB | 00m00s [ 29/157] Installing readline-0:8.2-11. 100% | 161.2 MiB/s | 495.3 KiB | 00m00s [ 30/157] Installing libuuid-0:2.40.2-8 100% | 41.5 MiB/s | 42.5 KiB | 00m00s [ 31/157] Installing libblkid-0:2.40.2- 100% | 257.5 MiB/s | 263.6 KiB | 00m00s [ 32/157] Installing libattr-0:2.5.2-4. 100% | 28.8 MiB/s | 29.5 KiB | 00m00s [ 33/157] Installing libacl-0:2.3.2-2.f 100% | 38.2 MiB/s | 39.2 KiB | 00m00s [ 34/157] Installing libxcrypt-0:4.4.36 100% | 133.8 MiB/s | 274.1 KiB | 00m00s [ 35/157] Installing gmp-1:6.3.0-2.fc41 100% | 198.6 MiB/s | 813.7 KiB | 00m00s [ 36/157] Installing libzstd-0:1.5.6-2. 100% | 194.6 MiB/s | 797.2 KiB | 00m00s [ 37/157] Installing elfutils-libelf-0: 100% | 291.8 MiB/s | 1.2 MiB | 00m00s [ 38/157] Installing libstdc++-0:15.0.0 100% | 196.5 MiB/s | 2.8 MiB | 00m00s [ 39/157] Installing libeconf-0:0.7.5-1 100% | 66.8 MiB/s | 68.4 KiB | 00m00s [ 40/157] Installing gdbm-libs-1:1.23-7 100% | 120.7 MiB/s | 123.6 KiB | 00m00s [ 41/157] Installing dwz-0:0.15-8.fc42. 100% | 145.1 MiB/s | 297.1 KiB | 00m00s [ 42/157] Installing mpfr-0:4.2.1-5.fc4 100% | 203.5 MiB/s | 833.7 KiB | 00m00s [ 43/157] Installing gawk-0:5.3.0-4.fc4 100% | 157.5 MiB/s | 1.7 MiB | 00m00s [ 44/157] Installing unzip-0:6.0-65.fc4 100% | 130.8 MiB/s | 401.7 KiB | 00m00s [ 45/157] Installing file-libs-0:5.45-8 100% | 432.1 MiB/s | 9.9 MiB | 00m00s [ 46/157] Installing file-0:5.45-8.fc42 100% | 9.3 MiB/s | 105.2 KiB | 00m00s [ 47/157] Installing crypto-policies-0: 100% | 13.3 MiB/s | 163.7 KiB | 00m00s [ 48/157] Installing pcre2-0:10.44-1.fc 100% | 159.9 MiB/s | 654.9 KiB | 00m00s [ 49/157] Installing grep-0:3.11-9.fc41 100% | 100.3 MiB/s | 1.0 MiB | 00m00s [ 50/157] Installing xz-1:5.6.3-2.fc42. 100% | 123.7 MiB/s | 1.2 MiB | 00m00s [ 51/157] Installing libcap-ng-0:0.8.5- 100% | 69.4 MiB/s | 71.0 KiB | 00m00s [ 52/157] Installing audit-libs-0:4.0.2 100% | 162.8 MiB/s | 333.4 KiB | 00m00s [ 53/157] Installing pam-libs-0:1.7.0-3 100% | 69.2 MiB/s | 141.8 KiB | 00m00s [ 54/157] Installing libcap-0:2.71-1.fc 100% | 52.7 MiB/s | 215.8 KiB | 00m00s [ 55/157] Installing systemd-libs-0:257 100% | 222.1 MiB/s | 2.2 MiB | 00m00s [ 56/157] Installing libsmartcols-0:2.4 100% | 177.1 MiB/s | 181.4 KiB | 00m00s [ 57/157] Installing libsepol-0:3.8-0.r 100% | 267.9 MiB/s | 823.0 KiB | 00m00s [ 58/157] Installing libselinux-0:3.8-0 100% | 94.2 MiB/s | 192.9 KiB | 00m00s [ 59/157] Installing sed-0:4.9-3.fc41.x 100% | 106.2 MiB/s | 869.7 KiB | 00m00s [ 60/157] Installing findutils-1:4.10.0 100% | 186.7 MiB/s | 1.9 MiB | 00m00s [ 61/157] Installing libmount-0:2.40.2- 100% | 174.3 MiB/s | 356.9 KiB | 00m00s [ 62/157] Installing lz4-libs-0:1.10.0- 100% | 143.1 MiB/s | 146.6 KiB | 00m00s [ 63/157] Installing lua-libs-0:5.4.7-1 100% | 139.7 MiB/s | 286.2 KiB | 00m00s [ 64/157] Installing libffi-0:3.4.6-3.f 100% | 85.7 MiB/s | 87.8 KiB | 00m00s [ 65/157] Installing libtasn1-0:4.19.0- 100% | 86.7 MiB/s | 177.5 KiB | 00m00s [ 66/157] Installing p11-kit-0:0.25.5-4 100% | 138.5 MiB/s | 2.2 MiB | 00m00s [ 67/157] Installing libcom_err-0:1.47. 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 68/157] Installing alternatives-0:1.3 100% | 64.8 MiB/s | 66.4 KiB | 00m00s [ 69/157] Installing libunistring-0:1.1 100% | 247.2 MiB/s | 1.7 MiB | 00m00s [ 70/157] Installing libidn2-0:2.3.7-2. 100% | 65.4 MiB/s | 335.1 KiB | 00m00s [ 71/157] Installing libpsl-0:0.21.5-4. 100% | 79.7 MiB/s | 81.7 KiB | 00m00s [ 72/157] Installing p11-kit-trust-0:0. 100% | 28.3 MiB/s | 405.5 KiB | 00m00s [ 73/157] Installing openssl-libs-1:3.2 100% | 260.9 MiB/s | 7.8 MiB | 00m00s [ 74/157] Installing coreutils-0:9.5-11 100% | 150.2 MiB/s | 5.6 MiB | 00m00s [ 75/157] Installing ca-certificates-0: 100% | 974.0 KiB/s | 2.4 MiB | 00m02s [ 76/157] Installing gzip-0:1.13-2.fc41 100% | 96.3 MiB/s | 394.6 KiB | 00m00s [ 77/157] Installing authselect-libs-0: 100% | 81.5 MiB/s | 835.0 KiB | 00m00s [ 78/157] Installing cracklib-0:2.9.11- 100% | 34.8 MiB/s | 249.4 KiB | 00m00s [ 79/157] Installing libpwquality-0:1.4 100% | 52.5 MiB/s | 430.1 KiB | 00m00s [ 80/157] Installing rpm-sequoia-0:1.7. 100% | 258.2 MiB/s | 2.3 MiB | 00m00s [ 81/157] Installing libevent-0:2.1.12- 100% | 219.6 MiB/s | 899.5 KiB | 00m00s [ 82/157] Installing zstd-0:1.5.6-2.fc4 100% | 241.6 MiB/s | 1.7 MiB | 00m00s [ 83/157] Installing util-linux-core-0: 100% | 101.9 MiB/s | 1.5 MiB | 00m00s [ 84/157] Installing tar-2:1.35-4.fc41. 100% | 211.3 MiB/s | 3.0 MiB | 00m00s [ 85/157] Installing libsemanage-0:3.8- 100% | 100.0 MiB/s | 307.1 KiB | 00m00s [ 86/157] Installing shadow-utils-2:4.1 100% | 121.2 MiB/s | 4.1 MiB | 00m00s [ 87/157] Installing zip-0:3.0-42.fc42. 100% | 170.9 MiB/s | 699.8 KiB | 00m00s [ 88/157] Installing gdbm-1:1.23-7.fc41 100% | 113.7 MiB/s | 465.8 KiB | 00m00s [ 89/157] Installing cyrus-sasl-lib-0:2 100% | 230.6 MiB/s | 2.3 MiB | 00m00s [ 90/157] Installing libfdisk-0:2.40.2- 100% | 177.7 MiB/s | 364.0 KiB | 00m00s [ 91/157] Installing bzip2-0:1.0.8-19.f 100% | 49.5 MiB/s | 101.4 KiB | 00m00s [ 92/157] Installing libxml2-0:2.12.8-2 100% | 214.0 MiB/s | 1.7 MiB | 00m00s [ 93/157] Installing libarchive-0:3.7.7 100% | 182.5 MiB/s | 934.2 KiB | 00m00s [ 94/157] Installing sqlite-libs-0:3.47 100% | 239.0 MiB/s | 1.4 MiB | 00m00s [ 95/157] Installing rpm-libs-0:4.20.0- 100% | 177.7 MiB/s | 727.7 KiB | 00m00s [ 96/157] Installing add-determinism-0: 100% | 270.1 MiB/s | 2.4 MiB | 00m00s [ 97/157] Installing build-reproducibil 100% | 0.0 B/s | 1.0 KiB | 00m00s [ 98/157] Installing ed-0:1.20.2-2.fc41 100% | 72.8 MiB/s | 149.2 KiB | 00m00s [ 99/157] Installing patch-0:2.7.6-25.f 100% | 131.0 MiB/s | 268.2 KiB | 00m00s [100/157] Installing filesystem-srpm-ma 100% | 35.9 MiB/s | 36.8 KiB | 00m00s [101/157] Installing elfutils-default-y 100% | 185.7 KiB/s | 2.0 KiB | 00m00s [102/157] Installing elfutils-libs-0:0. 100% | 162.3 MiB/s | 664.7 KiB | 00m00s [103/157] Installing cpio-0:2.15-2.fc41 100% | 157.1 MiB/s | 1.1 MiB | 00m00s [104/157] Installing diffutils-0:3.10-8 100% | 158.3 MiB/s | 1.6 MiB | 00m00s [105/157] Installing libpkgconf-0:2.3.0 100% | 77.5 MiB/s | 79.3 KiB | 00m00s [106/157] Installing pkgconf-0:2.3.0-1. 100% | 44.5 MiB/s | 91.1 KiB | 00m00s [107/157] Installing pkgconf-pkg-config 100% | 1.7 MiB/s | 1.8 KiB | 00m00s [108/157] Installing keyutils-libs-0:1. 100% | 54.5 MiB/s | 55.8 KiB | 00m00s [109/157] Installing libverto-0:0.3.2-9 100% | 15.3 MiB/s | 31.3 KiB | 00m00s [110/157] Installing krb5-libs-0:1.21.3 100% | 177.3 MiB/s | 2.3 MiB | 00m00s [111/157] Installing libtirpc-0:1.3.6-1 100% | 101.2 MiB/s | 207.3 KiB | 00m00s [112/157] Installing libnsl2-0:2.0.1-2. 100% | 28.8 MiB/s | 59.1 KiB | 00m00s [113/157] Installing pam-0:1.7.0-3.fc42 100% | 75.7 MiB/s | 1.9 MiB | 00m00s [114/157] Installing libssh-0:0.11.1-1. 100% | 186.1 MiB/s | 571.7 KiB | 00m00s [115/157] Installing libgomp-0:15.0.0-0 100% | 172.7 MiB/s | 530.7 KiB | 00m00s [116/157] Installing rpm-build-libs-0:4 100% | 101.3 MiB/s | 207.5 KiB | 00m00s [117/157] Installing jansson-0:2.14-1.f 100% | 92.3 MiB/s | 94.5 KiB | 00m00s [118/157] Installing json-c-0:0.18-1.fc 100% | 82.6 MiB/s | 84.6 KiB | 00m00s [119/157] Installing xxhash-libs-0:0.8. 100% | 87.7 MiB/s | 89.8 KiB | 00m00s [120/157] Installing libnghttp2-0:1.64. 100% | 171.5 MiB/s | 175.6 KiB | 00m00s [121/157] Installing libtool-ltdl-0:2.5 100% | 67.6 MiB/s | 69.2 KiB | 00m00s [122/157] Installing openldap-0:2.6.8-6 100% | 159.0 MiB/s | 651.2 KiB | 00m00s [123/157] Installing libbrotli-0:1.1.0- 100% | 204.8 MiB/s | 838.7 KiB | 00m00s [124/157] Installing libcurl-0:8.11.1-2 100% | 202.7 MiB/s | 830.4 KiB | 00m00s [125/157] Installing elfutils-debuginfo 100% | 40.9 MiB/s | 83.8 KiB | 00m00s [126/157] Installing binutils-0:2.43.50 100% | 251.2 MiB/s | 25.6 MiB | 00m00s [127/157] Installing elfutils-0:0.192-7 100% | 220.1 MiB/s | 2.6 MiB | 00m00s [128/157] Installing gdb-minimal-0:15.2 100% | 289.2 MiB/s | 12.7 MiB | 00m00s [129/157] Installing debugedit-0:5.1-2. 100% | 65.2 MiB/s | 200.4 KiB | 00m00s [130/157] Installing curl-0:8.11.1-2.fc 100% | 22.2 MiB/s | 454.5 KiB | 00m00s [131/157] Installing rpm-0:4.20.0-1.fc4 100% | 89.5 MiB/s | 2.5 MiB | 00m00s [132/157] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.2 KiB | 00m00s [133/157] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [134/157] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 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% | 35.4 MiB/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% | 49.5 MiB/s | 202.9 KiB | 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% | 88.5 MiB/s | 3.7 MiB | 00m00s [155/157] Installing authselect-0:1.5.0 100% | 39.2 MiB/s | 160.4 KiB | 00m00s [156/157] Installing which-0:2.21-42.fc 100% | 40.2 MiB/s | 82.4 KiB | 00m00s [157/157] Installing info-0:7.1.1-2.fc4 100% | 130.8 KiB/s | 362.2 KiB | 00m03s 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.x86_64 alternatives-1.31-1.fc42.x86_64 ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.2-1.fc42.x86_64 authselect-1.5.0-8.fc42.x86_64 authselect-libs-1.5.0-8.fc42.x86_64 basesystem-11-21.fc41.noarch bash-5.2.37-1.fc42.x86_64 binutils-2.43.50-9.fc42.x86_64 build-reproducibility-srpm-macros-0.4.3-1.fc42.noarch bzip2-1.0.8-19.fc42.x86_64 bzip2-libs-1.0.8-19.fc42.x86_64 ca-certificates-2024.2.69_v8.0.401-3.fc42.noarch coreutils-9.5-11.fc42.x86_64 coreutils-common-9.5-11.fc42.x86_64 cpio-2.15-2.fc41.x86_64 cracklib-2.9.11-6.fc42.x86_64 crypto-policies-20241128-1.gitbb7b0b0.fc42.noarch curl-8.11.1-2.fc42.x86_64 cyrus-sasl-lib-2.1.28-27.fc41.x86_64 debugedit-5.1-2.fc42.x86_64 diffutils-3.10-8.fc42.x86_64 dwz-0.15-8.fc42.x86_64 ed-1.20.2-2.fc41.x86_64 efi-srpm-macros-5-13.fc42.noarch elfutils-0.192-7.fc42.x86_64 elfutils-debuginfod-client-0.192-7.fc42.x86_64 elfutils-default-yama-scope-0.192-7.fc42.noarch elfutils-libelf-0.192-7.fc42.x86_64 elfutils-libs-0.192-7.fc42.x86_64 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.x86_64 file-libs-5.45-8.fc42.x86_64 filesystem-3.18-29.fc42.x86_64 filesystem-srpm-macros-3.18-29.fc42.noarch findutils-4.10.0-4.fc42.x86_64 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.x86_64 gdb-minimal-15.2-4.fc42.x86_64 gdbm-1.23-7.fc41.x86_64 gdbm-libs-1.23-7.fc41.x86_64 ghc-srpm-macros-1.9.2-1.fc42.noarch glibc-2.40.9000-24.fc42.x86_64 glibc-common-2.40.9000-24.fc42.x86_64 glibc-gconv-extra-2.40.9000-24.fc42.x86_64 glibc-minimal-langpack-2.40.9000-24.fc42.x86_64 gmp-6.3.0-2.fc41.x86_64 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.x86_64 gzip-1.13-2.fc41.x86_64 info-7.1.1-2.fc42.x86_64 jansson-2.14-1.fc42.x86_64 json-c-0.18-1.fc42.x86_64 kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.x86_64 krb5-libs-1.21.3-3.fc42.x86_64 libacl-2.3.2-2.fc42.x86_64 libarchive-3.7.7-1.fc42.x86_64 libattr-2.5.2-4.fc41.x86_64 libblkid-2.40.2-8.fc42.x86_64 libbrotli-1.1.0-5.fc42.x86_64 libcap-2.71-1.fc42.x86_64 libcap-ng-0.8.5-3.fc41.x86_64 libcom_err-1.47.1-6.fc42.x86_64 libcurl-8.11.1-2.fc42.x86_64 libeconf-0.7.5-1.fc42.x86_64 libevent-2.1.12-14.fc41.x86_64 libfdisk-2.40.2-8.fc42.x86_64 libffi-3.4.6-3.fc42.x86_64 libgcc-15.0.0-0.2.fc42.x86_64 libgomp-15.0.0-0.2.fc42.x86_64 libidn2-2.3.7-2.fc41.x86_64 libmount-2.40.2-8.fc42.x86_64 libnghttp2-1.64.0-1.fc42.x86_64 libnsl2-2.0.1-2.fc41.x86_64 libpkgconf-2.3.0-1.fc42.x86_64 libpsl-0.21.5-4.fc41.x86_64 libpwquality-1.4.5-11.fc41.x86_64 libselinux-3.8-0.rc1.2.fc42.x86_64 libsemanage-3.8-0.rc1.1.fc42.x86_64 libsepol-3.8-0.rc1.1.fc42.x86_64 libsmartcols-2.40.2-8.fc42.x86_64 libssh-0.11.1-1.fc42.x86_64 libssh-config-0.11.1-1.fc42.noarch libstdc++-15.0.0-0.2.fc42.x86_64 libtasn1-4.19.0-9.fc41.x86_64 libtirpc-1.3.6-1.fc42.x86_64 libtool-ltdl-2.5.4-1.fc42.x86_64 libunistring-1.1-8.fc41.x86_64 libuuid-2.40.2-8.fc42.x86_64 libverto-0.3.2-9.fc41.x86_64 libxcrypt-4.4.36-11.fc42.x86_64 libxml2-2.12.8-2.fc41.x86_64 libzstd-1.5.6-2.fc41.x86_64 lua-libs-5.4.7-1.fc42.x86_64 lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.x86_64 mpfr-4.2.1-5.fc41.x86_64 ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.x86_64 ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.8-6.fc42.x86_64 openssl-libs-3.2.2-8.fc42.x86_64 p11-kit-0.25.5-4.fc42.x86_64 p11-kit-trust-0.25.5-4.fc42.x86_64 package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.7.0-3.fc42.x86_64 pam-libs-1.7.0-3.fc42.x86_64 patch-2.7.6-25.fc41.x86_64 pcre2-10.44-1.fc41.1.x86_64 pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.3.0-1.fc42.x86_64 pkgconf-m4-2.3.0-1.fc42.noarch pkgconf-pkg-config-2.3.0-1.fc42.x86_64 popt-1.19-7.fc41.x86_64 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.x86_64 redhat-rpm-config-300-1.no_annobin.0.fc42.noarch rpm-4.20.0-1.fc42.x86_64 rpm-build-4.20.0-1.fc42.x86_64 rpm-build-libs-4.20.0-1.fc42.x86_64 rpm-libs-4.20.0-1.fc42.x86_64 rpm-sequoia-1.7.0-3.fc42.x86_64 rust-srpm-macros-26.3-3.fc42.noarch sed-4.9-3.fc41.x86_64 setup-2.15.0-5.fc41.noarch shadow-utils-4.17.0~rc1-1.fc42.x86_64 sqlite-libs-3.47.2-1.fc42.x86_64 systemd-libs-257-1.fc42.x86_64 tar-1.35-4.fc41.x86_64 unzip-6.0-65.fc42.x86_64 util-linux-2.40.2-8.fc42.x86_64 util-linux-core-2.40.2-8.fc42.x86_64 which-2.21-42.fc41.x86_64 xxhash-libs-0.8.2-4.fc42.x86_64 xz-5.6.3-2.fc42.x86_64 xz-libs-5.6.3-2.fc42.x86_64 zig-srpm-macros-1-3.fc41.noarch zip-3.0-42.fc42.x86_64 zlib-ng-compat-2.2.2-1.fc42.x86_64 zstd-1.5.6-2.fc41.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 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-x86_64-1734657159.388504/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-x_7tcldx/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 18 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.5-5.fc42.src.rpm) Config(fedora-rawhide-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1734657159.388504/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1734657159.388504/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1734657159.388504/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.x86_64 rpm-sequoia-1.7.0-3.fc42.x86_64 dnf5-5.2.8.1-2.fc42.x86_64 dnf5-plugins-5.2.8.1-2.fc42.x86_64 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: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-5.fc42.src.rpm Updating and loading repositories: fedora 100% | 844.2 KiB/s | 26.2 KiB | 00m00s Copr repository 100% | 45.1 KiB/s | 1.5 KiB | 00m00s Additional repo https_fedorapeople_org 100% | 23.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 x86_64 8.18.0-10.fc41 fedora 87.7 MiB flocq x86_64 4.2.0-2.fc42 copr_base 17.3 MiB gappa x86_64 1.4.2-4.fc41 fedora 712.9 KiB gcc-c++ x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 40.7 MiB ocaml x86_64 5.2.0-3.fc41 fedora 136.6 MiB ocaml-findlib x86_64 1.9.6-14.fc41 fedora 3.3 MiB ocaml-zarith-devel x86_64 1.14-2.fc41 fedora 890.8 KiB remake x86_64 0.16-2.fc42 fedora 137.9 KiB Installing dependencies: annobin-docs noarch 12.79-1.fc42 copr_base 98.6 KiB annobin-plugin-gcc x86_64 12.79-1.fc42 copr_base 989.3 KiB coq-core x86_64 8.18.0-10.fc41 fedora 712.8 MiB cpp x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 37.5 MiB csdp x86_64 6.2.0-29.20181018git0dcf187.fc41 fedora 448.3 KiB csdp-tools x86_64 6.2.0-29.20181018git0dcf187.fc41 fedora 83.3 KiB emacs-filesystem noarch 1:30.0-3.fc41 fedora 0.0 B expat x86_64 2.6.4-1.fc42 copr_base 287.7 KiB flexiblas x86_64 3.4.4-3.fc42 copr_base 48.5 KiB flexiblas-netlib x86_64 3.4.4-3.fc42 copr_base 10.6 MiB flexiblas-openblas-openmp x86_64 3.4.4-3.fc42 copr_base 42.3 KiB gcc x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 109.9 MiB gcc-plugin-annobin x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 59.6 KiB glibc-devel x86_64 2.40.9000-24.fc42 fedora 2.3 MiB gmp-c++ x86_64 1:6.3.0-2.fc41 fedora 31.8 KiB gmp-devel x86_64 1:6.3.0-2.fc41 fedora 352.3 KiB groff-base x86_64 1.23.0-7.fc41 fedora 3.8 MiB kernel-headers x86_64 6.13.0-0.rc3.29.fc42 fedora 6.5 MiB libb2 x86_64 0.98.1-12.fc41 fedora 42.2 KiB libgfortran x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 3.3 MiB libmpc x86_64 1.3.1-6.fc41 fedora 164.7 KiB libquadmath x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 319.5 KiB libstdc++-devel x86_64 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 15.7 MiB libxcrypt-devel x86_64 4.4.36-11.fc42 fedora 30.5 KiB libzstd-devel x86_64 1.5.6-2.fc41 fedora 202.4 KiB m4 x86_64 1.4.19-10.fc41 fedora 592.9 KiB make x86_64 1:4.4.1-9.fc42 fedora 1.8 MiB mpdecimal x86_64 2.5.1-16.fc41 fedora 204.9 KiB ncurses x86_64 6.5-2.20240629.fc41 fedora 627.3 KiB ocaml-compiler-libs x86_64 5.2.0-3.fc41 fedora 100.2 MiB ocaml-runtime x86_64 5.2.0-3.fc41 fedora 8.1 MiB ocaml-zarith x86_64 1.14-2.fc41 fedora 371.3 KiB openblas x86_64 0.3.28-2.fc42 fedora 106.6 KiB openblas-openmp x86_64 0.3.28-2.fc42 fedora 39.3 MiB perl-AutoLoader noarch 5.74-512.fc42 fedora 20.5 KiB perl-B x86_64 1.89-512.fc42 fedora 498.0 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 x86_64 2.189-512.fc41 fedora 111.7 KiB perl-Digest noarch 1.20-511.fc41 fedora 35.3 KiB perl-Digest-MD5 x86_64 2.59-5.fc41 fedora 59.8 KiB perl-DynaLoader x86_64 1.56-512.fc42 fedora 32.1 KiB perl-Encode x86_64 4:3.21-511.fc41 fedora 4.7 MiB perl-Errno x86_64 1.38-512.fc42 fedora 8.4 KiB perl-Exporter noarch 5.78-511.fc41 fedora 54.3 KiB perl-Fcntl x86_64 1.18-512.fc42 fedora 49.0 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 x86_64 1.55-512.fc42 fedora 151.1 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 x86_64 3.16-511.fc41 fedora 46.1 KiB perl-Net-SSLeay x86_64 1.94-7.fc41 fedora 1.3 MiB perl-POSIX x86_64 2.20-512.fc42 fedora 235.1 KiB perl-PathTools x86_64 3.91-511.fc41 fedora 180.0 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 x86_64 5:1.68-1.fc42 fedora 148.9 KiB perl-SelectSaver noarch 1.02-512.fc42 fedora 2.2 KiB perl-Socket x86_64 4:2.038-511.fc41 fedora 124.0 KiB perl-Storable x86_64 1:3.32-511.fc41 fedora 232.4 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 x86_64 4:5.40.0-512.fc42 fedora 122.3 KiB perl-libnet noarch 3.15-512.fc41 fedora 289.4 KiB perl-libs x86_64 4:5.40.0-512.fc42 fedora 9.9 MiB perl-locale noarch 1.12-512.fc42 fedora 6.5 KiB perl-mro x86_64 1.29-512.fc42 fedora 45.6 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 x86_64 3.13.1-2.fc42 fedora 30.6 KiB python3-libs x86_64 3.13.1-2.fc42 fedora 39.8 MiB texlive-base x86_64 11:20230311-87.fc42 fedora 19.0 MiB tzdata noarch 2024b-1.fc42 fedora 1.6 MiB Transaction Summary: Installing: 108 packages Total size of inbound packages is 455 MiB. Need to download 360 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.x86_64 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/13] libzstd-devel-0:1.5.6-2.fc41.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/16] gmp-devel-1:6.3.0-2.fc41.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/18] emacs-filesystem-1:30.0-3.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/19] m4-0:1.4.19-10.fc41.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/20] perl-Carp-0:1.54-511.fc41.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/21] perl-Class-Struct-0:0.68-512.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [10/22] perl-Data-Dumper-0:2.189-512.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [11/23] perl-Errno-0:1.38-512.fc42.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [12/24] perl-Exporter-0:5.78-511.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [13/25] perl-File-Basename-0:2.86-512.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [14/26] perl-File-Compare-0:1.100.800-5 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [15/27] perl-File-Copy-0:2.41-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [16/28] perl-File-Find-0:1.44-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [17/29] perl-File-Temp-1:0.231.100-511. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [18/30] perl-File-stat-0:1.14-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [19/31] perl-Getopt-Long-1:2.58-2.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [20/32] perl-IO-0:1.55-512.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [21/33] perl-POSIX-0:2.20-512.fc42.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [22/34] perl-PathTools-0:3.91-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [23/35] perl-Text-ParseWords-0:3.31-511 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [24/36] perl-constant-0:1.33-512.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [25/37] perl-interpreter-4:5.40.0-512.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [26/38] libmpc-0:1.3.1-6.fc41.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [27/39] gcc-0:15.0.0-0.2.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [28/40] libstdc++-devel-0:15.0.0-0.2.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [29/42] gmp-c++-1:6.3.0-2.fc41.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [30/43] perl-B-0:1.89-512.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [31/44] perl-Scalar-List-Utils-5:1.68-1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [32/45] perl-libs-4:5.40.0-512.fc42.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [33/46] perl-overload-0:1.37-512.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [34/47] perl-Fcntl-0:1.18-512.fc42.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [35/48] perl-File-Path-0:2.18-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [36/49] perl-parent-1:0.244-1.fc42.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [37/50] perl-Symbol-0:1.09-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [38/51] perl-Pod-Usage-4:2.03-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [39/52] perl-base-0:2.27-512.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [40/53] perl-SelectSaver-0:1.02-512.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [41/54] perl-Socket-4:2.038-511.fc41.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [42/55] perl-locale-0:1.12-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [43/56] make-1:4.4.1-9.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [44/57] cpp-0:15.0.0-0.2.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [45/58] perl-if-0:0.61.000-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [46/59] perl-overloading-0:0.02-512.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [47/60] perl-DynaLoader-0:1.56-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [48/61] perl-mro-0:1.29-512.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [49/62] perl-vars-0:1.05-512.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [50/63] perl-Pod-Perldoc-0:3.28.01-512. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [51/64] perl-podlators-1:6.0.2-2.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [52/65] groff-base-0:1.23.0-7.fc41.x86_ 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [53/66] perl-HTTP-Tiny-0:0.090-1.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [54/67] perl-IPC-Open3-0:1.22-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [55/68] perl-Pod-Simple-1:3.45-511.fc41 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [56/69] perl-Term-ANSIColor-0:5.01-512. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [57/70] perl-Term-Cap-0:1.18-511.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [58/71] perl-IO-Socket-SSL-0:2.089-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [59/72] perl-MIME-Base64-0:3.16-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [60/73] perl-Net-SSLeay-0:1.94-7.fc41.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [61/74] perl-Time-Local-2:1.350-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [62/75] perl-Pod-Escapes-1:1.07-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [63/76] perl-Text-Tabs+Wrap-0:2024.001- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [64/77] ncurses-0:6.5-2.20240629.fc41.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [65/78] perl-IO-Socket-IP-0:0.43-1.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [66/79] perl-URI-0:5.31-1.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [67/80] perl-AutoLoader-0:5.74-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [68/81] perl-MIME-Base32-0:1.303-21.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [69/82] perl-libnet-0:3.15-512.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [70/83] perl-Digest-MD5-0:2.59-5.fc41.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [71/84] perl-FileHandle-0:2.05-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [72/85] perl-Digest-0:1.20-511.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [73/86] glibc-devel-0:2.40.9000-24.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [74/87] libxcrypt-devel-0:4.4.36-11.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [75/88] perl-Encode-4:3.21-511.fc41.x86 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [76/89] perl-Getopt-Std-0:1.14-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [77/90] perl-Storable-1:3.32-511.fc41.x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [78/91] kernel-headers-0:6.13.0-0.rc3.2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [79/96] python3-0:3.13.1-2.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [80/97] python3-libs-0:3.13.1-2.fc42.x8 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [81/98] libb2-0:0.98.1-12.fc41.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [82/99] mpdecimal-0:2.5.1-16.fc41.x86_6 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 83/100] python-pip-wheel-0:24.3.1-1.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 84/101] tzdata-0:2024b-1.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 85/104] expat-0:2.6.4-1.fc42.x86_64 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 86/106] gcc-plugin-annobin-0:15.0.0-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 87/107] annobin-plugin-gcc-0:12.79-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 88/108] annobin-docs-0:12.79-1.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 89/108] gappa-0:1.4.2-4.fc41.x86_64 100% | 807.4 KiB/s | 279.4 KiB | 00m00s [ 90/108] ocaml-findlib-0:1.9.6-14.fc41 100% | 4.9 MiB/s | 1.0 MiB | 00m00s [ 91/108] ocaml-zarith-devel-0:1.14-2.f 100% | 2.3 MiB/s | 398.5 KiB | 00m00s [ 92/108] remake-0:0.16-2.fc42.x86_64 100% | 589.7 KiB/s | 68.4 KiB | 00m00s [ 93/108] flocq-0:4.2.0-2.fc42.x86_64 100% | 11.7 MiB/s | 3.5 MiB | 00m00s [ 94/108] coq-0:8.18.0-10.fc41.x86_64 100% | 14.2 MiB/s | 23.9 MiB | 00m02s [ 95/108] csdp-tools-0:6.2.0-29.2018101 100% | 907.3 KiB/s | 29.9 KiB | 00m00s [ 96/108] ocaml-0:5.2.0-3.fc41.x86_64 100% | 14.2 MiB/s | 32.2 MiB | 00m02s [ 97/108] ocaml-runtime-0:5.2.0-3.fc41. 100% | 8.8 MiB/s | 5.1 MiB | 00m01s [ 98/108] ocaml-zarith-0:1.14-2.fc41.x8 100% | 1.8 MiB/s | 157.2 KiB | 00m00s [ 99/108] csdp-0:6.2.0-29.20181018git0d 100% | 2.2 MiB/s | 306.5 KiB | 00m00s [100/108] flexiblas-netlib-0:3.4.4-3.fc 100% | 13.5 MiB/s | 3.2 MiB | 00m00s [101/108] flexiblas-0:3.4.4-3.fc42.x86_ 100% | 1.3 MiB/s | 25.8 KiB | 00m00s [102/108] flexiblas-openblas-openmp-0:3 100% | 138.0 KiB/s | 16.7 KiB | 00m00s [103/108] openblas-openmp-0:0.3.28-2.fc 100% | 9.4 MiB/s | 5.0 MiB | 00m01s [104/108] libgfortran-0:15.0.0-0.2.fc42 100% | 1.4 MiB/s | 913.3 KiB | 00m01s [105/108] libquadmath-0:15.0.0-0.2.fc42 100% | 817.7 KiB/s | 176.6 KiB | 00m00s [106/108] openblas-0:0.3.28-2.fc42.x86_ 100% | 1.1 MiB/s | 41.0 KiB | 00m00s [107/108] ocaml-compiler-libs-0:5.2.0-3 100% | 22.6 MiB/s | 51.2 MiB | 00m02s [108/108] coq-core-0:8.18.0-10.fc41.x86 100% | 24.5 MiB/s | 232.8 MiB | 00m10s -------------------------------------------------------------------------------- [108/108] Total 100% | 33.4 MiB/s | 360.2 MiB | 00m11s Running transaction [ 1/110] Verify package files 100% | 74.0 B/s | 108.0 B | 00m01s >>> Running pre-transaction scriptlet: texlive-base-11:20230311-87.fc42.x86_64 >>> Finished pre-transaction scriptlet: texlive-base-11:20230311-87.fc42.x86_64 >>> [RPM] /var/lib/mock/fedora-rawhide-x86_64-1734657159.388504/root/var/cache/d [ 2/110] Prepare transaction 100% | 675.0 B/s | 108.0 B | 00m00s [ 3/110] Installing libmpc-0:1.3.1-6.f 100% | 54.1 MiB/s | 166.2 KiB | 00m00s [ 4/110] Installing ocaml-runtime-0:5. 100% | 279.1 MiB/s | 8.1 MiB | 00m00s [ 5/110] Installing libgfortran-0:15.0 100% | 327.7 MiB/s | 3.3 MiB | 00m00s [ 6/110] Installing cpp-0:15.0.0-0.2.f 100% | 302.4 MiB/s | 37.5 MiB | 00m00s [ 7/110] Installing annobin-docs-0:12. 100% | 97.4 MiB/s | 99.7 KiB | 00m00s [ 8/110] Installing openblas-0:0.3.28- 100% | 105.8 MiB/s | 108.3 KiB | 00m00s [ 9/110] Installing openblas-openmp-0: 100% | 456.8 MiB/s | 39.3 MiB | 00m00s [ 10/110] Installing expat-0:2.6.4-1.fc 100% | 141.5 MiB/s | 289.8 KiB | 00m00s [ 11/110] Installing libquadmath-0:15.0 100% | 156.6 MiB/s | 320.7 KiB | 00m00s [ 12/110] Installing flexiblas-0:3.4.4- 100% | 48.5 MiB/s | 49.7 KiB | 00m00s [ 13/110] Installing flexiblas-openblas 100% | 42.1 MiB/s | 43.1 KiB | 00m00s [ 14/110] Installing flexiblas-netlib-0 100% | 311.2 MiB/s | 10.6 MiB | 00m00s [ 15/110] Installing csdp-0:6.2.0-29.20 100% | 219.7 MiB/s | 450.0 KiB | 00m00s [ 16/110] Installing csdp-tools-0:6.2.0 100% | 14.1 MiB/s | 86.7 KiB | 00m00s [ 17/110] Installing tzdata-0:2024b-1.f 100% | 25.5 MiB/s | 1.9 MiB | 00m00s [ 18/110] Installing python-pip-wheel-0 100% | 414.7 MiB/s | 1.2 MiB | 00m00s [ 19/110] Installing mpdecimal-0:2.5.1- 100% | 100.6 MiB/s | 206.0 KiB | 00m00s [ 20/110] Installing libb2-0:0.98.1-12. 100% | 7.0 MiB/s | 43.3 KiB | 00m00s [ 21/110] Installing python3-libs-0:3.1 100% | 205.2 MiB/s | 40.2 MiB | 00m00s [ 22/110] Installing python3-0:3.13.1-2 100% | 7.9 MiB/s | 32.4 KiB | 00m00s [ 23/110] Installing kernel-headers-0:6 100% | 114.6 MiB/s | 6.6 MiB | 00m00s [ 24/110] Installing libxcrypt-devel-0: 100% | 10.7 MiB/s | 32.9 KiB | 00m00s [ 25/110] Installing glibc-devel-0:2.40 100% | 86.3 MiB/s | 2.3 MiB | 00m00s [ 26/110] Installing ncurses-0:6.5-2.20 100% | 31.0 MiB/s | 633.9 KiB | 00m00s [ 27/110] Installing groff-base-0:1.23. 100% | 101.9 MiB/s | 3.9 MiB | 00m00s [ 28/110] Installing perl-Digest-0:1.20 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [ 29/110] Installing perl-B-0:1.89-512. 100% | 163.2 MiB/s | 501.3 KiB | 00m00s [ 30/110] Installing perl-FileHandle-0: 100% | 9.5 MiB/s | 9.8 KiB | 00m00s [ 31/110] Installing perl-Digest-MD5-0: 100% | 60.2 MiB/s | 61.7 KiB | 00m00s [ 32/110] Installing perl-Data-Dumper-0 100% | 55.5 MiB/s | 113.6 KiB | 00m00s [ 33/110] Installing perl-MIME-Base32-0 100% | 31.4 MiB/s | 32.2 KiB | 00m00s [ 34/110] Installing perl-libnet-0:3.15 100% | 95.9 MiB/s | 294.7 KiB | 00m00s [ 35/110] Installing perl-IO-Socket-IP- 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [ 36/110] Installing perl-AutoLoader-0: 100% | 20.5 MiB/s | 20.9 KiB | 00m00s [ 37/110] Installing perl-URI-0:5.31-1. 100% | 43.9 MiB/s | 269.6 KiB | 00m00s [ 38/110] Installing perl-locale-0:1.12 100% | 0.0 B/s | 6.9 KiB | 00m00s [ 39/110] Installing perl-if-0:0.61.000 100% | 0.0 B/s | 6.2 KiB | 00m00s [ 40/110] Installing perl-File-Path-0:2 100% | 63.0 MiB/s | 64.5 KiB | 00m00s [ 41/110] Installing perl-Time-Local-2: 100% | 68.9 MiB/s | 70.6 KiB | 00m00s [ 42/110] Installing perl-Pod-Escapes-1 100% | 25.3 MiB/s | 25.9 KiB | 00m00s [ 43/110] Installing perl-Text-Tabs+Wra 100% | 23.3 MiB/s | 23.9 KiB | 00m00s [ 44/110] Installing perl-Net-SSLeay-0: 100% | 104.8 MiB/s | 1.4 MiB | 00m00s [ 45/110] Installing perl-IO-Socket-SSL 100% | 172.7 MiB/s | 707.4 KiB | 00m00s [ 46/110] Installing perl-Class-Struct- 100% | 25.3 MiB/s | 25.9 KiB | 00m00s [ 47/110] Installing perl-POSIX-0:2.20- 100% | 115.4 MiB/s | 236.4 KiB | 00m00s [ 48/110] Installing perl-File-Temp-1:0 100% | 160.2 MiB/s | 164.1 KiB | 00m00s [ 49/110] Installing perl-IPC-Open3-0:1 100% | 22.7 MiB/s | 23.3 KiB | 00m00s [ 50/110] Installing perl-Term-ANSIColo 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [ 51/110] Installing perl-Term-Cap-0:1. 100% | 29.9 MiB/s | 30.6 KiB | 00m00s [ 52/110] Installing perl-Pod-Simple-1: 100% | 111.4 MiB/s | 570.5 KiB | 00m00s [ 53/110] Installing perl-HTTP-Tiny-0:0 100% | 76.4 MiB/s | 156.4 KiB | 00m00s [ 54/110] Installing perl-Symbol-0:1.09 100% | 0.0 B/s | 7.2 KiB | 00m00s [ 55/110] Installing perl-SelectSaver-0 100% | 0.0 B/s | 2.6 KiB | 00m00s [ 56/110] Installing perl-Socket-4:2.03 100% | 61.6 MiB/s | 126.1 KiB | 00m00s [ 57/110] Installing perl-File-stat-0:1 100% | 12.7 MiB/s | 13.1 KiB | 00m00s [ 58/110] Installing perl-podlators-1:6 100% | 104.6 MiB/s | 321.4 KiB | 00m00s [ 59/110] Installing perl-Pod-Perldoc-0 100% | 82.6 MiB/s | 169.3 KiB | 00m00s [ 60/110] Installing perl-Text-ParseWor 100% | 14.2 MiB/s | 14.6 KiB | 00m00s [ 61/110] Installing perl-Fcntl-0:1.18- 100% | 48.9 MiB/s | 50.1 KiB | 00m00s [ 62/110] Installing perl-base-0:2.27-5 100% | 0.0 B/s | 12.9 KiB | 00m00s [ 63/110] Installing perl-overloading-0 100% | 5.4 MiB/s | 5.5 KiB | 00m00s [ 64/110] Installing perl-IO-0:1.55-512 100% | 75.8 MiB/s | 155.2 KiB | 00m00s [ 65/110] Installing perl-mro-0:1.29-51 100% | 45.6 MiB/s | 46.7 KiB | 00m00s [ 66/110] Installing perl-Pod-Usage-4:2 100% | 84.3 MiB/s | 86.3 KiB | 00m00s [ 67/110] Installing perl-Errno-0:1.38- 100% | 0.0 B/s | 8.8 KiB | 00m00s [ 68/110] Installing perl-File-Basename 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 69/110] Installing perl-constant-0:1. 100% | 26.7 MiB/s | 27.4 KiB | 00m00s [ 70/110] Installing perl-Scalar-List-U 100% | 49.7 MiB/s | 152.6 KiB | 00m00s [ 71/110] Installing perl-parent-1:0.24 100% | 10.7 MiB/s | 11.0 KiB | 00m00s [ 72/110] Installing perl-overload-0:1. 100% | 70.3 MiB/s | 71.9 KiB | 00m00s [ 73/110] Installing perl-vars-0:1.05-5 100% | 0.0 B/s | 4.3 KiB | 00m00s [ 74/110] Installing perl-MIME-Base64-0 100% | 23.6 MiB/s | 48.4 KiB | 00m00s [ 75/110] Installing perl-Getopt-Std-0: 100% | 0.0 B/s | 11.7 KiB | 00m00s [ 76/110] Installing perl-Getopt-Long-1 100% | 71.9 MiB/s | 147.2 KiB | 00m00s [ 77/110] Installing perl-Storable-1:3. 100% | 114.3 MiB/s | 234.0 KiB | 00m00s [ 78/110] Installing perl-Exporter-0:5. 100% | 54.3 MiB/s | 55.6 KiB | 00m00s [ 79/110] Installing perl-PathTools-0:3 100% | 60.1 MiB/s | 184.6 KiB | 00m00s [ 80/110] Installing perl-DynaLoader-0: 100% | 31.7 MiB/s | 32.5 KiB | 00m00s [ 81/110] Installing perl-Encode-4:3.21 100% | 235.9 MiB/s | 4.7 MiB | 00m00s [ 82/110] Installing perl-Carp-0:1.54-5 100% | 23.3 MiB/s | 47.7 KiB | 00m00s [ 83/110] Installing perl-libs-4:5.40.0 100% | 148.9 MiB/s | 10.0 MiB | 00m00s [ 84/110] Installing perl-interpreter-4 100% | 121.1 MiB/s | 124.0 KiB | 00m00s [ 85/110] Installing perl-File-Compare- 100% | 6.0 MiB/s | 6.1 KiB | 00m00s [ 86/110] Installing perl-File-Copy-0:2 100% | 19.7 MiB/s | 20.2 KiB | 00m00s [ 87/110] Installing perl-File-Find-0:1 100% | 41.5 MiB/s | 42.5 KiB | 00m00s [ 88/110] Installing make-1:4.4.1-9.fc4 100% | 180.0 MiB/s | 1.8 MiB | 00m00s [ 89/110] Installing gcc-0:15.0.0-0.2.f 100% | 318.7 MiB/s | 110.0 MiB | 00m00s [ 90/110] Installing gmp-c++-1:6.3.0-2. 100% | 31.8 MiB/s | 32.6 KiB | 00m00s [ 91/110] Installing gmp-devel-1:6.3.0- 100% | 115.3 MiB/s | 354.1 KiB | 00m00s [ 92/110] Installing libstdc++-devel-0: 100% | 208.9 MiB/s | 15.9 MiB | 00m00s [ 93/110] Installing m4-0:1.4.19-10.fc4 100% | 83.6 MiB/s | 599.2 KiB | 00m00s [ 94/110] Installing emacs-filesystem-1 100% | 0.0 B/s | 544.0 B | 00m00s [ 95/110] Installing libzstd-devel-0:1. 100% | 99.2 MiB/s | 203.2 KiB | 00m00s [ 96/110] Installing ocaml-0:5.2.0-3.fc 100% | 350.4 MiB/s | 136.7 MiB | 00m00s [ 97/110] Installing ocaml-compiler-lib 100% | 335.7 MiB/s | 100.4 MiB | 00m00s [ 98/110] Installing ocaml-findlib-0:1. 100% | 209.8 MiB/s | 3.4 MiB | 00m00s [ 99/110] Installing ocaml-zarith-0:1.1 100% | 121.9 MiB/s | 374.5 KiB | 00m00s [100/110] Installing ocaml-zarith-devel 100% | 54.8 MiB/s | 897.9 KiB | 00m00s [101/110] Installing texlive-base-11:20 100% | 322.4 MiB/s | 19.0 MiB | 00m00s [102/110] Installing coq-core-0:8.18.0- 100% | 337.4 MiB/s | 713.2 MiB | 00m02s [103/110] Installing coq-0:8.18.0-10.fc 100% | 234.9 MiB/s | 88.1 MiB | 00m00s [104/110] Installing flocq-0:4.2.0-2.fc 100% | 353.6 MiB/s | 17.3 MiB | 00m00s [105/110] Installing autoconf-0:2.72-3. 100% | 254.6 MiB/s | 2.8 MiB | 00m00s [106/110] Installing gcc-c++-0:15.0.0-0 100% | 308.7 MiB/s | 40.8 MiB | 00m00s [107/110] Installing gcc-plugin-annobin 100% | 2.7 MiB/s | 61.2 KiB | 00m00s [108/110] Installing annobin-plugin-gcc 100% | 37.2 MiB/s | 990.9 KiB | 00m00s [109/110] Installing remake-0:0.16-2.fc 100% | 67.8 MiB/s | 138.8 KiB | 00m00s [110/110] Installing gappa-0:1.4.2-4.fc 100% | 3.0 MiB/s | 714.4 KiB | 00m00s Warning: skipped OpenPGP checks for 15 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: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.wO0Mjq + 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.PgHYyo + 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.kW8ApK + 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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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/ccxgWSXm.o: in function `main': remake.cpp:(.text.startup+0xeca): 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 -j2 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_decimal.v | ./remake -r 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 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 /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/coqc -q -R src Gappa -I src src/Gappa_definitions.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v Finished src/Gappa_definitions.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v 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] Finished src/Gappa_real.vo Building src/Gappa_fixed.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_pred_bnd.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 Building src/Gappa_round.vo /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 /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_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/coqc -q -R src Gappa -I src src/Gappa_round_def.v Finished src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.v Finished src/Gappa_round_def.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.v Finished src/Gappa_common.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_round.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 Building src/Gappa_library.vo /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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_decimal.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 /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 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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_rewriting.v 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 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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tree.v Finished src/Gappa_rewriting.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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_tree.vo 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 /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 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 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. Finished src/Gappa_pred_bnd.vo 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 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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_user.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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v Finished src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v Finished src/Gappa_pred_rel.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v 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_float.vo Finished src/Gappa_fixed.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.7OBLfN + 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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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 -j2 --strict-build-id -m -i --build-id-seed 1.5.5-5.fc42 --unique-debug-suffix -1.5.5-5.fc42.x86_64 --unique-debug-src-base gappalib-coq-1.5.5-5.fc42.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -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.x86_64 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 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j2 /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.ZrWDfF + 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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-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.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.UpI3Av + 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.wpgbdq + 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(x86-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.x86_64 Provides: gappalib-coq-source = 1.5.5-5.fc42 gappalib-coq-source(x86-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.x86_64 Provides: gappalib-coq-debugsource = 1.5.5-5.fc42 gappalib-coq-debugsource(x86-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.x86_64 Provides: debuginfo(build-id) = 10e1cb3e0913ad7836333d7c6469562554f73e0a gappalib-coq-debuginfo = 1.5.5-5.fc42 gappalib-coq-debuginfo(x86-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(x86-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-source-1.5.5-5.fc42.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-5.fc42.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.5-5.fc42.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-5.fc42.x86_64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.DYXfYy + 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-x86_64-1734657159.388504/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 58 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", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "x86_64" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "x86_64" }, { "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": "x86_64" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "x86_64" } ] } RPMResults finished