Warning: Permanently added '54.221.162.237' (ED25519) to the list of known hosts.
Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-odh83ahs/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-odh83ahs/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1740610459.707992 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
INFO: mock.py version 6.0 starting (python version = 3.13.0, NVR = mock-6.0-1.fc41), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-odh83ahs/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-odh83ahs/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1740610459.707992 -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-odh83ahs/gappalib-coq/gappalib-coq.spec)  Config(fedora-41-aarch64)
Start: clean chroot
Finish: clean chroot
Mock Version: 6.0
INFO: Mock Version: 6.0
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-41-aarch64-bootstrap-1740610459.707992/root.
INFO: calling preinit hooks
INFO: enabled root cache
INFO: enabled package manager cache
Start(bootstrap): cleaning package manager metadata
Finish(bootstrap): cleaning package manager metadata
INFO: Guessed host environment type: unknown
INFO: Using container image: registry.fedoraproject.org/fedora:41
INFO: Pulling image: registry.fedoraproject.org/fedora:41
INFO: Tagging container image as mock-bootstrap-94eb136f-e53c-40b2-a17a-9fed76c1fb21
INFO: Checking that 5e7d90b997a3829cf9d86f4cfdf6d80c4874e3b960ddcea2bc861f7b304643da image matches host's architecture
INFO: Copy content of container 5e7d90b997a3829cf9d86f4cfdf6d80c4874e3b960ddcea2bc861f7b304643da to /var/lib/mock/fedora-41-aarch64-bootstrap-1740610459.707992/root
INFO: mounting 5e7d90b997a3829cf9d86f4cfdf6d80c4874e3b960ddcea2bc861f7b304643da with podman image mount
INFO: image 5e7d90b997a3829cf9d86f4cfdf6d80c4874e3b960ddcea2bc861f7b304643da as /var/lib/containers/storage/overlay/f0341d84a71ac658a7e5a839b5245d4002cd21809f041609d6dc7e504047fce0/merged
INFO: umounting image 5e7d90b997a3829cf9d86f4cfdf6d80c4874e3b960ddcea2bc861f7b304643da (/var/lib/containers/storage/overlay/f0341d84a71ac658a7e5a839b5245d4002cd21809f041609d6dc7e504047fce0/merged) with podman image umount
INFO: Removing image mock-bootstrap-94eb136f-e53c-40b2-a17a-9fed76c1fb21
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-41-aarch64-1740610459.707992/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.fc41.aarch64
  rpm-sequoia-1.7.0-5.fc41.aarch64
  dnf5-5.2.10.0-2.fc41.aarch64
  dnf5-plugins-5.2.10.0-2.fc41.aarch64
Start: installing minimal buildroot with dnf5
Updating and loading repositories:
 updates                                100% |  23.1 MiB/s |  10.5 MiB |  00m00s
 fedora                                 100% |  42.6 MiB/s |  34.2 MiB |  00m01s
 Copr repository                        100% |  17.8 MiB/s |   3.2 MiB |  00m00s
 Additional repo http_kojipkgs_fedorapr 100% | 129.6 MiB/s |  14.4 MiB |  00m00s
Repositories loaded.
Package                            Arch    Version                    Repository                                                         Size
Installing group/module packages:
 bash                              aarch64 5.2.37-3.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   8.2 MiB
 bzip2                             aarch64 1.0.8-20.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 171.3 KiB
 coreutils                         aarch64 9.6-2.fc43                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   8.1 MiB
 cpio                              aarch64 2.15-2.fc41                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.2 MiB
 diffutils                         aarch64 3.10-9.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.6 MiB
 fedora-release-common             noarch  43-0.5                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  20.1 KiB
 findutils                         aarch64 1:4.10.0-5.fc42            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.9 MiB
 gawk                              aarch64 5.3.1-1.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.4 MiB
 glibc-minimal-langpack            aarch64 2.41.9000-1.fc43           http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   0.0   B
 grep                              aarch64 3.11-10.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.0 MiB
 gzip                              aarch64 1.13-3.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 424.7 KiB
 info                              aarch64 7.2-3.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 421.6 KiB
 patch                             aarch64 2.7.6-26.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 262.4 KiB
 redhat-rpm-config                 noarch  342-2.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 186.8 KiB
 rpm-build                         aarch64 4.20.0-8.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 524.9 KiB
 sed                               aarch64 4.9-4.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 873.2 KiB
 shadow-utils                      aarch64 2:4.17.0-4.fc42            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.5 MiB
 tar                               aarch64 2:1.35-5.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   3.0 MiB
 unzip                             aarch64 6.0-66.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 470.2 KiB
 util-linux                        aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.6 MiB
 which                             aarch64 2.23-1.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 123.4 KiB
 xz                                aarch64 1:5.6.3-3.fc42             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.3 MiB
Installing dependencies:
 add-determinism                   aarch64 0.6.0-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.2 MiB
 alternatives                      aarch64 1.31-3.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  90.1 KiB
 ansible-srpm-macros               noarch  1-17.1.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  35.7 KiB
 audit-libs                        aarch64 4.0.3-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 415.2 KiB
 binutils                          aarch64 2.44-3.fc43                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  29.3 MiB
 build-reproducibility-srpm-macros noarch  0.6.0-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 735.0   B
 bzip2-libs                        aarch64 1.0.8-20.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  72.6 KiB
 ca-certificates                   noarch  2024.2.69_v8.0.401-5.fc42  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.6 MiB
 coreutils-common                  aarch64 9.6-2.fc43                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  11.1 MiB
 crypto-policies                   noarch  20250214-1.gitff7551b.fc43 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 137.2 KiB
 curl                              aarch64 8.12.1-1.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 453.2 KiB
 cyrus-sasl-lib                    aarch64 2.1.28-30.fc42             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.4 MiB
 debugedit                         aarch64 5.1-5.fc43                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 244.6 KiB
 dwz                               aarch64 0.15-9.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 322.6 KiB
 ed                                aarch64 1.21-2.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 154.5 KiB
 efi-srpm-macros                   noarch  6-2.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  40.1 KiB
 elfutils                          aarch64 0.192-9.fc41               updates                                                         3.1 MiB
 elfutils-debuginfod-client        aarch64 0.192-9.fc41               updates                                                       144.1 KiB
 elfutils-default-yama-scope       noarch  0.192-9.fc41               updates                                                         1.8 KiB
 elfutils-libelf                   aarch64 0.192-9.fc41               updates                                                         1.2 MiB
 elfutils-libs                     aarch64 0.192-9.fc41               updates                                                       746.6 KiB
 fedora-gpg-keys                   noarch  43-0.1                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 128.2 KiB
 fedora-release                    noarch  43-0.5                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   0.0   B
 fedora-release-identity-basic     noarch  43-0.5                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 719.0   B
 fedora-repos                      noarch  43-0.1                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.9 KiB
 fedora-repos-rawhide              noarch  43-0.1                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.2 KiB
 file                              aarch64 5.46-1.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 140.2 KiB
 file-libs                         aarch64 5.46-1.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  11.9 MiB
 filesystem                        aarch64 3.18-38.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112.0   B
 filesystem-srpm-macros            noarch  3.18-38.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  38.2 KiB
 fonts-srpm-macros                 noarch  1:2.0.5-21.fc42            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  55.8 KiB
 forge-srpm-macros                 noarch  0.4.0-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  38.9 KiB
 fpc-srpm-macros                   noarch  1.3-14.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 144.0   B
 gdb-minimal                       aarch64 16.2-2.fc43                copr_base                                                      13.0 MiB
 gdbm-libs                         aarch64 1:1.23-9.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 234.0 KiB
 ghc-srpm-macros                   noarch  1.9.2-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 779.0   B
 glibc                             aarch64 2.41.9000-1.fc43           http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.3 MiB
 glibc-common                      aarch64 2.41.9000-1.fc43           http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.3 MiB
 glibc-gconv-extra                 aarch64 2.41.9000-1.fc43           http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  18.6 MiB
 gmp                               aarch64 1:6.3.0-3.fc43             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 657.9 KiB
 gnat-srpm-macros                  noarch  6-7.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.0 KiB
 go-srpm-macros                    noarch  3.6.0-6.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  60.8 KiB
 jansson                           aarch64 2.14-2.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  93.2 KiB
 json-c                            aarch64 0.18-2.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 138.7 KiB
 kernel-srpm-macros                noarch  1.0-25.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.9 KiB
 keyutils-libs                     aarch64 1.6.3-5.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  98.3 KiB
 krb5-libs                         aarch64 1.21.3-5.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.5 MiB
 libacl                            aarch64 2.3.2-3.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  66.3 KiB
 libarchive                        aarch64 3.7.7-2.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 910.6 KiB
 libattr                           aarch64 2.5.2-5.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  67.1 KiB
 libblkid                          aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 290.5 KiB
 libbrotli                         aarch64 1.1.0-6.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 909.5 KiB
 libcap                            aarch64 2.73-2.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 506.8 KiB
 libcap-ng                         aarch64 0.8.5-4.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 160.9 KiB
 libcom_err                        aarch64 1.47.2-3.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 111.2 KiB
 libcurl                           aarch64 8.12.1-1.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 858.1 KiB
 libeconf                          aarch64 0.7.6-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  80.6 KiB
 libevent                          aarch64 2.1.12-15.fc42             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.1 MiB
 libfdisk                          aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 418.8 KiB
 libffi                            aarch64 3.4.6-5.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 154.4 KiB
 libgcc                            aarch64 15.0.1-0.8.fc43            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 222.2 KiB
 libgomp                           aarch64 15.0.1-0.8.fc43            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 511.3 KiB
 libidn2                           aarch64 2.3.7-3.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 329.0 KiB
 libmount                          aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 355.8 KiB
 libnghttp2                        aarch64 1.64.0-3.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 198.1 KiB
 libpkgconf                        aarch64 2.3.0-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 134.0 KiB
 libpsl                            aarch64 0.21.5-5.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 132.5 KiB
 libselinux                        aarch64 3.8-1.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 201.1 KiB
 libsemanage                       aarch64 3.8-1.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 360.0 KiB
 libsepol                          aarch64 3.8-1.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 809.9 KiB
 libsmartcols                      aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 224.4 KiB
 libssh                            aarch64 0.11.1-4.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 585.4 KiB
 libssh-config                     noarch  0.11.1-4.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 277.0   B
 libstdc++                         aarch64 15.0.1-0.8.fc43            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.8 MiB
 libtasn1                          aarch64 4.20.0-1.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 220.3 KiB
 libtool-ltdl                      aarch64 2.5.4-4.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  94.0 KiB
 libunistring                      aarch64 1.1-9.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.7 MiB
 libuuid                           aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  69.4 KiB
 libverto                          aarch64 0.3.2-10.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  69.4 KiB
 libxcrypt                         aarch64 4.4.38-6.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 272.5 KiB
 libxml2                           aarch64 2.12.9-2.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.9 MiB
 libzstd                           aarch64 1.5.7-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 667.7 KiB
 lua-libs                          aarch64 5.4.7-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 328.9 KiB
 lua-srpm-macros                   noarch  1-15.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.3 KiB
 lz4-libs                          aarch64 1.10.0-2.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 197.4 KiB
 mpfr                              aarch64 4.2.1-6.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 754.6 KiB
 ncurses-base                      noarch  6.5-5.20250125.fc42        http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 326.8 KiB
 ncurses-libs                      aarch64 6.5-5.20250125.fc42        http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.2 MiB
 ocaml-srpm-macros                 noarch  10-4.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.9 KiB
 openblas-srpm-macros              noarch  2-19.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112.0   B
 openldap                          aarch64 2.6.9-3.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 697.3 KiB
 openssl-libs                      aarch64 1:3.2.4-2.fc43             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.3 MiB
 p11-kit                           aarch64 0.25.5-5.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.4 MiB
 p11-kit-trust                     aarch64 0.25.5-5.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 463.3 KiB
 package-notes-srpm-macros         noarch  0.5-13.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.6 KiB
 pam-libs                          aarch64 1.7.0-4.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 222.9 KiB
 pcre2                             aarch64 10.45-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 713.6 KiB
 pcre2-syntax                      noarch  10.45-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 273.9 KiB
 perl-srpm-macros                  noarch  1-57.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 861.0   B
 pkgconf                           aarch64 2.3.0-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112.4 KiB
 pkgconf-m4                        noarch  2.3.0-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  14.4 KiB
 pkgconf-pkg-config                aarch64 2.3.0-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 990.0   B
 popt                              aarch64 1.19-8.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 144.8 KiB
 publicsuffix-list-dafsa           noarch  20250116-1.fc42            http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  68.5 KiB
 pyproject-srpm-macros             noarch  1.17.0-1.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.9 KiB
 python-srpm-macros                noarch  3.13-4.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  51.0 KiB
 qt5-srpm-macros                   noarch  5.15.15-1.fc42             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 500.0   B
 qt6-srpm-macros                   noarch  6.8.2-2.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 464.0   B
 readline                          aarch64 8.2-12.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 561.1 KiB
 rpm                               aarch64 4.20.0-8.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   3.3 MiB
 rpm-build-libs                    aarch64 4.20.0-8.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 198.6 KiB
 rpm-libs                          aarch64 4.20.0-8.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 733.5 KiB
 rpm-sequoia                       aarch64 1.7.0-5.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.3 MiB
 rust-srpm-macros                  noarch  26.3-4.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.8 KiB
 setup                             noarch  2.15.0-12.fc43             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 720.8 KiB
 sqlite-libs                       aarch64 3.49.0-1.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.5 MiB
 systemd-libs                      aarch64 257.3-7.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.3 MiB
 systemd-standalone-sysusers       aarch64 257.3-7.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 329.4 KiB
 tree-sitter-srpm-macros           noarch  0.1.0-8.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.5 KiB
 util-linux-core                   aarch64 2.40.4-7.fc43              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.4 MiB
 xxhash-libs                       aarch64 0.8.3-2.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  85.9 KiB
 xz-libs                           aarch64 1:5.6.3-3.fc42             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 202.3 KiB
 zig-srpm-macros                   noarch  1-4.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.1 KiB
 zip                               aarch64 3.0-43.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 762.5 KiB
 zlib-ng-compat                    aarch64 2.2.4-2.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 133.4 KiB
 zstd                              aarch64 1.5.7-1.fc43               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.5 MiB
Installing groups:
 Buildsystem building group                                                                                                                  

Transaction Summary:
 Installing:       148 packages

Total size of inbound packages is 51 MiB. Need to download 51 MiB.
After this operation, 202 MiB extra will be used (install 202 MiB, remove 0 B).
[  1/148] coreutils-0:9.6-2.fc43.aarch6 100% |  44.8 MiB/s |   1.1 MiB |  00m00s
[  2/148] bzip2-0:1.0.8-20.fc42.aarch64 100% |   2.0 MiB/s |  52.0 KiB |  00m00s
[  3/148] cpio-0:2.15-2.fc41.aarch64    100% |  39.7 MiB/s | 284.8 KiB |  00m00s
[  4/148] bash-0:5.2.37-3.fc43.aarch64  100% |  53.5 MiB/s |   1.8 MiB |  00m00s
[  5/148] diffutils-0:3.10-9.fc42.aarch 100% |  54.8 MiB/s | 392.8 KiB |  00m00s
[  6/148] fedora-release-common-0:43-0. 100% |   5.0 MiB/s |  25.8 KiB |  00m00s
[  7/148] findutils-1:4.10.0-5.fc42.aar 100% |  88.8 MiB/s | 545.6 KiB |  00m00s
[  8/148] gawk-0:5.3.1-1.fc42.aarch64   100% | 130.5 MiB/s |   1.0 MiB |  00m00s
[  9/148] glibc-minimal-langpack-0:2.41 100% |  24.8 MiB/s | 126.9 KiB |  00m00s
[ 10/148] grep-0:3.11-10.fc42.aarch64   100% |  56.0 MiB/s | 286.5 KiB |  00m00s
[ 11/148] gzip-0:1.13-3.fc42.aarch64    100% |  39.5 MiB/s | 162.0 KiB |  00m00s
[ 12/148] info-0:7.2-3.fc42.aarch64     100% |  43.8 MiB/s | 179.5 KiB |  00m00s
[ 13/148] redhat-rpm-config-0:342-2.fc4 100% |  24.4 MiB/s |  74.9 KiB |  00m00s
[ 14/148] patch-0:2.7.6-26.fc42.aarch64 100% |  30.7 MiB/s | 125.7 KiB |  00m00s
[ 15/148] rpm-build-0:4.20.0-8.fc42.aar 100% |  24.6 MiB/s |  75.5 KiB |  00m00s
[ 16/148] sed-0:4.9-4.fc42.aarch64      100% |  74.8 MiB/s | 306.4 KiB |  00m00s
[ 17/148] shadow-utils-2:4.17.0-4.fc42. 100% | 138.7 MiB/s |   1.2 MiB |  00m00s
[ 18/148] unzip-0:6.0-66.fc42.aarch64   100% |  35.7 MiB/s | 183.0 KiB |  00m00s
[ 19/148] tar-2:1.35-5.fc42.aarch64     100% |  75.0 MiB/s | 844.4 KiB |  00m00s
[ 20/148] which-0:2.23-1.fc42.aarch64   100% |  10.1 MiB/s |  41.3 KiB |  00m00s
[ 21/148] util-linux-0:2.40.4-7.fc43.aa 100% | 137.0 MiB/s |   1.1 MiB |  00m00s
[ 22/148] xz-1:5.6.3-3.fc42.aarch64     100% |  75.1 MiB/s | 461.2 KiB |  00m00s
[ 23/148] fedora-repos-0:43-0.1.noarch  100% |   3.0 MiB/s |   9.3 KiB |  00m00s
[ 24/148] coreutils-common-0:9.6-2.fc43 100% | 171.6 MiB/s |   2.1 MiB |  00m00s
[ 25/148] filesystem-0:3.18-38.fc43.aar 100% |  93.9 MiB/s |   1.3 MiB |  00m00s
[ 26/148] glibc-common-0:2.41.9000-1.fc 100% |  64.5 MiB/s | 396.3 KiB |  00m00s
[ 27/148] glibc-0:2.41.9000-1.fc43.aarc 100% | 144.8 MiB/s |   1.9 MiB |  00m00s
[ 28/148] filesystem-srpm-macros-0:3.18 100% |   6.2 MiB/s |  25.5 KiB |  00m00s
[ 29/148] libblkid-0:2.40.4-7.fc43.aarc 100% |  29.4 MiB/s | 120.4 KiB |  00m00s
[ 30/148] libfdisk-0:2.40.4-7.fc43.aarc 100% |  36.9 MiB/s | 151.3 KiB |  00m00s
[ 31/148] rpm-0:4.20.0-8.fc42.aarch64   100% |  63.3 MiB/s | 518.3 KiB |  00m00s
[ 32/148] libsmartcols-0:2.40.4-7.fc43. 100% |  19.4 MiB/s |  79.4 KiB |  00m00s
[ 33/148] libmount-0:2.40.4-7.fc43.aarc 100% |  29.3 MiB/s | 149.8 KiB |  00m00s
[ 34/148] libuuid-0:2.40.4-7.fc43.aarch 100% |   8.2 MiB/s |  25.3 KiB |  00m00s
[ 35/148] fedora-gpg-keys-0:43-0.1.noar 100% |  30.6 MiB/s | 125.2 KiB |  00m00s
[ 36/148] xz-libs-1:5.6.3-3.fc42.aarch6 100% |  27.1 MiB/s | 111.0 KiB |  00m00s
[ 37/148] util-linux-core-0:2.40.4-7.fc 100% |  82.1 MiB/s | 504.2 KiB |  00m00s
[ 38/148] fedora-repos-rawhide-0:43-0.1 100% |   2.9 MiB/s |   8.8 KiB |  00m00s
[ 39/148] rpm-libs-0:4.20.0-8.fc42.aarc 100% |  59.1 MiB/s | 302.7 KiB |  00m00s
[ 40/148] glibc-gconv-extra-0:2.41.9000 100% | 189.1 MiB/s |   1.7 MiB |  00m00s
[ 41/148] rpm-build-libs-0:4.20.0-8.fc4 100% |  15.3 MiB/s |  93.8 KiB |  00m00s
[ 42/148] libxcrypt-0:4.4.38-6.fc43.aar 100% |  30.3 MiB/s | 124.3 KiB |  00m00s
[ 43/148] libselinux-0:3.8-1.fc42.aarch 100% |  31.2 MiB/s |  95.9 KiB |  00m00s
[ 44/148] libsepol-0:3.8-1.fc42.aarch64 100% |  79.1 MiB/s | 323.9 KiB |  00m00s
[ 45/148] systemd-libs-0:257.3-7.fc43.a 100% |  95.2 MiB/s | 779.7 KiB |  00m00s
[ 46/148] ncurses-libs-0:6.5-5.20250125 100% |  63.3 MiB/s | 324.2 KiB |  00m00s
[ 47/148] ncurses-base-0:6.5-5.20250125 100% |  15.5 MiB/s |  63.5 KiB |  00m00s
[ 48/148] audit-libs-0:4.0.3-2.fc42.aar 100% |  30.8 MiB/s | 126.0 KiB |  00m00s
[ 49/148] pam-libs-0:1.7.0-4.fc42.aarch 100% |  18.9 MiB/s |  58.0 KiB |  00m00s
[ 50/148] libeconf-0:0.7.6-1.fc43.aarch 100% |  11.5 MiB/s |  35.3 KiB |  00m00s
[ 51/148] zlib-ng-compat-0:2.2.4-2.fc43 100% |  21.4 MiB/s |  65.8 KiB |  00m00s
[ 52/148] libcap-ng-0:0.8.5-4.fc42.aarc 100% |  10.5 MiB/s |  32.3 KiB |  00m00s
[ 53/148] readline-0:8.2-12.fc42.aarch6 100% |  51.6 MiB/s | 211.5 KiB |  00m00s
[ 54/148] bzip2-libs-0:1.0.8-20.fc42.aa 100% |  13.4 MiB/s |  41.2 KiB |  00m00s
[ 55/148] libacl-0:2.3.2-3.fc42.aarch64 100% |   7.4 MiB/s |  22.8 KiB |  00m00s
[ 56/148] libgcc-0:15.0.1-0.8.fc43.aarc 100% |  24.7 MiB/s | 101.0 KiB |  00m00s
[ 57/148] setup-0:2.15.0-12.fc43.noarch 100% |  48.6 MiB/s | 149.4 KiB |  00m00s
[ 58/148] libcap-0:2.73-2.fc42.aarch64  100% |  20.8 MiB/s |  85.3 KiB |  00m00s
[ 59/148] libsemanage-0:3.8-1.fc42.aarc 100% |  29.0 MiB/s | 118.8 KiB |  00m00s
[ 60/148] libzstd-0:1.5.7-1.fc43.aarch6 100% |  69.2 MiB/s | 283.3 KiB |  00m00s
[ 61/148] rpm-sequoia-0:1.7.0-5.fc43.aa 100% | 121.1 MiB/s | 867.8 KiB |  00m00s
[ 62/148] lua-libs-0:5.4.7-2.fc42.aarch 100% |  31.5 MiB/s | 128.9 KiB |  00m00s
[ 63/148] sqlite-libs-0:3.49.0-1.fc43.a 100% | 103.8 MiB/s | 743.9 KiB |  00m00s
[ 64/148] popt-0:1.19-8.fc42.aarch64    100% |  19.2 MiB/s |  58.9 KiB |  00m00s
[ 65/148] elfutils-libelf-0:0.192-9.fc4 100% |  16.9 MiB/s | 207.1 KiB |  00m00s
[ 66/148] elfutils-libs-0:0.192-9.fc41. 100% |  21.4 MiB/s | 262.6 KiB |  00m00s
[ 67/148] elfutils-0:0.192-9.fc41.aarch 100% |  44.3 MiB/s | 544.2 KiB |  00m00s
[ 68/148] elfutils-debuginfod-client-0: 100% |  22.5 MiB/s |  46.2 KiB |  00m00s
[ 69/148] libgomp-0:15.0.1-0.8.fc43.aar 100% |  82.8 MiB/s | 339.3 KiB |  00m00s
[ 70/148] file-0:5.46-1.fc42.aarch64    100% |  12.0 MiB/s |  48.9 KiB |  00m00s
[ 71/148] file-libs-0:5.46-1.fc42.aarch 100% | 118.3 MiB/s | 847.6 KiB |  00m00s
[ 72/148] alternatives-0:1.31-3.fc42.aa 100% |  13.1 MiB/s |  40.2 KiB |  00m00s
[ 73/148] debugedit-0:5.1-5.fc43.aarch6 100% |  19.1 MiB/s |  78.2 KiB |  00m00s
[ 74/148] jansson-0:2.14-2.fc42.aarch64 100% |   7.6 MiB/s |  46.8 KiB |  00m00s
[ 75/148] libarchive-0:3.7.7-2.fc43.aar 100% |  66.0 MiB/s | 405.5 KiB |  00m00s
[ 76/148] zstd-0:1.5.7-1.fc43.aarch64   100% |  62.1 MiB/s | 445.5 KiB |  00m00s
[ 77/148] pkgconf-pkg-config-0:2.3.0-2. 100% |   1.9 MiB/s |   9.9 KiB |  00m00s
[ 78/148] pkgconf-0:2.3.0-2.fc42.aarch6 100% |   4.4 MiB/s |  44.7 KiB |  00m00s
[ 79/148] binutils-0:2.44-3.fc43.aarch6 100% | 175.5 MiB/s |   6.1 MiB |  00m00s
[ 80/148] libpkgconf-0:2.3.0-2.fc42.aar 100% |   4.1 MiB/s |  38.2 KiB |  00m00s
[ 81/148] pkgconf-m4-0:2.3.0-2.fc42.noa 100% | 837.4 KiB/s |  14.2 KiB |  00m00s
[ 82/148] curl-0:8.12.1-1.fc43.aarch64  100% |  53.9 MiB/s | 220.7 KiB |  00m00s
[ 83/148] build-reproducibility-srpm-ma 100% |   5.7 MiB/s |  11.7 KiB |  00m00s
[ 84/148] efi-srpm-macros-0:6-2.fc42.no 100% |   7.3 MiB/s |  22.5 KiB |  00m00s
[ 85/148] add-determinism-0:0.6.0-1.fc4 100% | 138.7 MiB/s | 852.0 KiB |  00m00s
[ 86/148] forge-srpm-macros-0:0.4.0-2.f 100% |   4.8 MiB/s |  19.9 KiB |  00m00s
[ 87/148] go-srpm-macros-0:3.6.0-6.fc42 100% |   9.0 MiB/s |  27.7 KiB |  00m00s
[ 88/148] qt6-srpm-macros-0:6.8.2-2.fc4 100% |   4.5 MiB/s |   9.3 KiB |  00m00s
[ 89/148] pyproject-srpm-macros-0:1.17. 100% |   4.6 MiB/s |  14.0 KiB |  00m00s
[ 90/148] tree-sitter-srpm-macros-0:0.1 100% |   3.7 MiB/s |  11.2 KiB |  00m00s
[ 91/148] ansible-srpm-macros-0:1-17.1. 100% |   6.6 MiB/s |  20.3 KiB |  00m00s
[ 92/148] dwz-0:0.15-9.fc42.aarch64     100% |  32.2 MiB/s | 131.7 KiB |  00m00s
[ 93/148] fpc-srpm-macros-0:1.3-14.fc42 100% |   3.9 MiB/s |   8.0 KiB |  00m00s
[ 94/148] ghc-srpm-macros-0:1.9.2-2.fc4 100% |   3.0 MiB/s |   9.2 KiB |  00m00s
[ 95/148] fonts-srpm-macros-1:2.0.5-21. 100% |   3.8 MiB/s |  27.1 KiB |  00m00s
[ 96/148] gnat-srpm-macros-0:6-7.fc42.n 100% |   2.8 MiB/s |   8.6 KiB |  00m00s
[ 97/148] kernel-srpm-macros-0:1.0-25.f 100% |   4.8 MiB/s |   9.9 KiB |  00m00s
[ 98/148] lua-srpm-macros-0:1-15.fc42.n 100% |   2.9 MiB/s |   8.9 KiB |  00m00s
[ 99/148] ocaml-srpm-macros-0:10-4.fc42 100% |   2.2 MiB/s |   9.2 KiB |  00m00s
[100/148] openblas-srpm-macros-0:2-19.f 100% |   3.8 MiB/s |   7.8 KiB |  00m00s
[101/148] package-notes-srpm-macros-0:0 100% |   3.0 MiB/s |   9.3 KiB |  00m00s
[102/148] perl-srpm-macros-0:1-57.fc42. 100% |   4.2 MiB/s |   8.5 KiB |  00m00s
[103/148] python-srpm-macros-0:3.13-4.f 100% |   7.5 MiB/s |  23.0 KiB |  00m00s
[104/148] qt5-srpm-macros-0:5.15.15-1.f 100% |   1.7 MiB/s |   8.9 KiB |  00m00s
[105/148] rust-srpm-macros-0:26.3-4.fc4 100% |   2.3 MiB/s |  11.7 KiB |  00m00s
[106/148] zig-srpm-macros-0:1-4.fc42.no 100% |   1.6 MiB/s |   8.2 KiB |  00m00s
[107/148] ed-0:1.21-2.fc42.aarch64      100% |  26.7 MiB/s |  81.9 KiB |  00m00s
[108/148] libattr-0:2.5.2-5.fc42.aarch6 100% |   5.4 MiB/s |  16.4 KiB |  00m00s
[109/148] zip-0:3.0-43.fc42.aarch64     100% |  51.0 MiB/s | 261.1 KiB |  00m00s
[110/148] pcre2-0:10.45-1.fc43.aarch64  100% |  47.4 MiB/s | 242.7 KiB |  00m00s
[111/148] pcre2-syntax-0:10.45-1.fc43.n 100% |  31.6 MiB/s | 161.7 KiB |  00m00s
[112/148] libxml2-0:2.12.9-2.fc42.aarch 100% | 110.5 MiB/s | 678.7 KiB |  00m00s
[113/148] lz4-libs-0:1.10.0-2.fc42.aarc 100% |  25.9 MiB/s |  79.6 KiB |  00m00s
[114/148] openssl-libs-1:3.2.4-2.fc43.a 100% | 181.5 MiB/s |   2.2 MiB |  00m00s
[115/148] gmp-1:6.3.0-3.fc43.aarch64    100% |  24.2 MiB/s | 272.4 KiB |  00m00s
[116/148] mpfr-0:4.2.1-6.fc42.aarch64   100% |  34.9 MiB/s | 321.9 KiB |  00m00s
[117/148] elfutils-default-yama-scope-0 100% |  12.1 MiB/s |  12.4 KiB |  00m00s
[118/148] json-c-0:0.18-2.fc42.aarch64  100% |  14.6 MiB/s |  44.9 KiB |  00m00s
[119/148] crypto-policies-0:20250214-1. 100% |  24.1 MiB/s |  74.0 KiB |  00m00s
[120/148] libstdc++-0:15.0.1-0.8.fc43.a 100% | 134.4 MiB/s | 825.7 KiB |  00m00s
[121/148] libffi-0:3.4.6-5.fc42.aarch64 100% |  12.5 MiB/s |  38.3 KiB |  00m00s
[122/148] p11-kit-0:0.25.5-5.fc42.aarch 100% |  74.6 MiB/s | 458.5 KiB |  00m00s
[123/148] ca-certificates-0:2024.2.69_v 100% | 115.4 MiB/s | 945.0 KiB |  00m00s
[124/148] p11-kit-trust-0:0.25.5-5.fc42 100% |  32.0 MiB/s | 131.1 KiB |  00m00s
[125/148] libtasn1-0:4.20.0-1.fc43.aarc 100% |  24.0 MiB/s |  73.7 KiB |  00m00s
[126/148] fedora-release-0:43-0.5.noarc 100% |   7.3 MiB/s |  14.9 KiB |  00m00s
[127/148] systemd-standalone-sysusers-0 100% |  36.8 MiB/s | 150.9 KiB |  00m00s
[128/148] fedora-release-identity-basic 100% |   5.1 MiB/s |  15.7 KiB |  00m00s
[129/148] libcurl-0:8.12.1-1.fc43.aarch 100% |  90.0 MiB/s | 368.8 KiB |  00m00s
[130/148] libnghttp2-0:1.64.0-3.fc42.aa 100% |  18.8 MiB/s |  76.9 KiB |  00m00s
[131/148] libssh-config-0:0.11.1-4.fc42 100% |   2.2 MiB/s |   9.0 KiB |  00m00s
[132/148] libssh-0:0.11.1-4.fc42.aarch6 100% |  37.5 MiB/s | 230.3 KiB |  00m00s
[133/148] xxhash-libs-0:0.8.3-2.fc42.aa 100% |  17.0 MiB/s |  34.8 KiB |  00m00s
[134/148] gdb-minimal-0:16.2-2.fc43.aar 100% | 189.9 MiB/s |   4.2 MiB |  00m00s
[135/148] krb5-libs-0:1.21.3-5.fc42.aar 100% |  73.3 MiB/s | 750.6 KiB |  00m00s
[136/148] openldap-0:2.6.9-3.fc42.aarch 100% |  30.7 MiB/s | 251.6 KiB |  00m00s
[137/148] libbrotli-0:1.1.0-6.fc42.aarc 100% |  30.2 MiB/s | 340.5 KiB |  00m00s
[138/148] libidn2-0:2.3.7-3.fc42.aarch6 100% |  10.0 MiB/s | 113.0 KiB |  00m00s
[139/148] libpsl-0:0.21.5-5.fc42.aarch6 100% |   6.3 MiB/s |  64.2 KiB |  00m00s
[140/148] keyutils-libs-0:1.6.3-5.fc42. 100% |   7.8 MiB/s |  31.8 KiB |  00m00s
[141/148] libverto-0:0.3.2-10.fc42.aarc 100% |   6.8 MiB/s |  20.8 KiB |  00m00s
[142/148] libcom_err-0:1.47.2-3.fc42.aa 100% |   6.5 MiB/s |  26.8 KiB |  00m00s
[143/148] libtool-ltdl-0:2.5.4-4.fc42.a 100% |   8.7 MiB/s |  35.4 KiB |  00m00s
[144/148] libevent-0:2.1.12-15.fc42.aar 100% |  41.5 MiB/s | 254.7 KiB |  00m00s
[145/148] cyrus-sasl-lib-0:2.1.28-30.fc 100% |  94.8 MiB/s | 776.2 KiB |  00m00s
[146/148] gdbm-libs-1:1.23-9.fc42.aarch 100% |  13.7 MiB/s |  56.2 KiB |  00m00s
[147/148] libunistring-0:1.1-9.fc42.aar 100% |  75.2 MiB/s | 539.4 KiB |  00m00s
[148/148] publicsuffix-list-dafsa-0:202 100% |   7.2 MiB/s |  58.8 KiB |  00m00s
--------------------------------------------------------------------------------
[148/148] Total                         100% | 119.0 MiB/s |  50.6 MiB |  00m00s
Running transaction
Importing OpenPGP key 0xE99D6AD1:
 UserID     : "Fedora (41) <fedora-41-primary@fedoraproject.org>"
 Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary
The key was successfully imported.
[  1/150] Verify package files          100% | 725.0   B/s | 148.0   B |  00m00s
>>> Running pre-transaction scriptlet: filesystem-0:3.18-38.fc43.aarch64        
>>> Finished pre-transaction scriptlet: filesystem-0:3.18-38.fc43.aarch64       
>>> [RPM] /var/lib/mock/fedora-41-aarch64-1740610459.707992/root/var/cache/dnf/c
[  2/150] Prepare transaction           100% |   2.6 KiB/s | 148.0   B |  00m00s
[  3/150] Installing libgcc-0:15.0.1-0. 100% | 218.6 MiB/s | 223.9 KiB |  00m00s
[  4/150] Installing publicsuffix-list- 100% |   0.0   B/s |  69.2 KiB |  00m00s
[  5/150] Installing libssh-config-0:0. 100% |   0.0   B/s | 816.0   B |  00m00s
[  6/150] Installing fedora-release-ide 100% |   0.0   B/s | 976.0   B |  00m00s
[  7/150] Installing fedora-repos-rawhi 100% |   0.0   B/s |   2.4 KiB |  00m00s
[  8/150] Installing fedora-gpg-keys-0: 100% |  28.4 MiB/s | 174.8 KiB |  00m00s
[  9/150] Installing fedora-repos-0:43- 100% |   0.0   B/s |   5.7 KiB |  00m00s
[ 10/150] Installing fedora-release-com 100% |  23.8 MiB/s |  24.4 KiB |  00m00s
[ 11/150] Installing fedora-release-0:4 100% |   0.0   B/s | 124.0   B |  00m00s
[ 12/150] Installing setup-0:2.15.0-12. 100% |  44.3 MiB/s | 726.6 KiB |  00m00s
>>> [RPM] /etc/hosts created as /etc/hosts.rpmnew                               
[ 13/150] Installing filesystem-0:3.18- 100% |   2.0 MiB/s | 212.4 KiB |  00m00s
[ 14/150] Installing pcre2-syntax-0:10. 100% | 269.9 MiB/s | 276.4 KiB |  00m00s
[ 15/150] Installing rust-srpm-macros-0 100% |   0.0   B/s |   5.6 KiB |  00m00s
[ 16/150] Installing qt5-srpm-macros-0: 100% |   0.0   B/s | 776.0   B |  00m00s
[ 17/150] Installing perl-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[ 18/150] Installing package-notes-srpm 100% |   0.0   B/s |   2.0 KiB |  00m00s
[ 19/150] Installing openblas-srpm-macr 100% |   0.0   B/s | 392.0   B |  00m00s
[ 20/150] Installing ocaml-srpm-macros- 100% |   0.0   B/s |   2.2 KiB |  00m00s
[ 21/150] Installing kernel-srpm-macros 100% |   0.0   B/s |   2.3 KiB |  00m00s
[ 22/150] Installing gnat-srpm-macros-0 100% |   0.0   B/s |   1.3 KiB |  00m00s
[ 23/150] Installing ghc-srpm-macros-0: 100% |   0.0   B/s |   1.0 KiB |  00m00s
[ 24/150] Installing fpc-srpm-macros-0: 100% |   0.0   B/s | 420.0   B |  00m00s
[ 25/150] Installing ansible-srpm-macro 100% |   0.0   B/s |  36.2 KiB |  00m00s
[ 26/150] Installing qt6-srpm-macros-0: 100% |   0.0   B/s | 740.0   B |  00m00s
[ 27/150] Installing pkgconf-m4-0:2.3.0 100% |   0.0   B/s |  14.8 KiB |  00m00s
[ 28/150] Installing ncurses-base-0:6.5 100% |  49.1 MiB/s | 352.2 KiB |  00m00s
[ 29/150] Installing glibc-minimal-lang 100% |   0.0   B/s | 124.0   B |  00m00s
[ 30/150] Installing ncurses-libs-0:6.5 100% | 207.9 MiB/s |   1.2 MiB |  00m00s
[ 31/150] Installing glibc-0:2.41.9000- 100% | 169.3 MiB/s |   6.3 MiB |  00m00s
[ 32/150] Installing bash-0:5.2.37-3.fc 100% | 215.4 MiB/s |   8.2 MiB |  00m00s
[ 33/150] Installing glibc-common-0:2.4 100% |  63.1 MiB/s |   1.3 MiB |  00m00s
[ 34/150] Installing glibc-gconv-extra- 100% | 373.3 MiB/s |  18.7 MiB |  00m00s
[ 35/150] Installing zlib-ng-compat-0:2 100% | 131.1 MiB/s | 134.2 KiB |  00m00s
[ 36/150] Installing xz-libs-1:5.6.3-3. 100% | 198.6 MiB/s | 203.4 KiB |  00m00s
[ 37/150] Installing bzip2-libs-0:1.0.8 100% |  72.0 MiB/s |  73.7 KiB |  00m00s
[ 38/150] Installing libuuid-0:2.40.4-7 100% |  68.9 MiB/s |  70.5 KiB |  00m00s
[ 39/150] Installing libblkid-0:2.40.4- 100% | 142.3 MiB/s | 291.5 KiB |  00m00s
[ 40/150] Installing libxcrypt-0:4.4.38 100% | 134.4 MiB/s | 275.2 KiB |  00m00s
[ 41/150] Installing readline-0:8.2-12. 100% | 275.0 MiB/s | 563.2 KiB |  00m00s
[ 42/150] Installing libzstd-0:1.5.7-1. 100% | 217.8 MiB/s | 669.0 KiB |  00m00s
[ 43/150] Installing elfutils-libelf-0: 100% | 297.4 MiB/s |   1.2 MiB |  00m00s
[ 44/150] Installing popt-0:1.19-8.fc42 100% |  49.3 MiB/s | 151.4 KiB |  00m00s
[ 45/150] Installing gmp-1:6.3.0-3.fc43 100% | 214.9 MiB/s | 660.1 KiB |  00m00s
[ 46/150] Installing libstdc++-0:15.0.1 100% | 307.2 MiB/s |   2.8 MiB |  00m00s
[ 47/150] Installing libattr-0:2.5.2-5. 100% |  66.5 MiB/s |  68.0 KiB |  00m00s
[ 48/150] Installing libacl-0:2.3.2-3.f 100% |   0.0   B/s |  67.1 KiB |  00m00s
[ 49/150] Installing mpfr-0:4.2.1-6.fc4 100% | 246.2 MiB/s | 756.3 KiB |  00m00s
[ 50/150] Installing gawk-0:5.3.1-1.fc4 100% | 106.7 MiB/s |   2.5 MiB |  00m00s
[ 51/150] Installing dwz-0:0.15-9.fc42. 100% |  19.8 MiB/s | 323.9 KiB |  00m00s
[ 52/150] Installing unzip-0:6.0-66.fc4 100% |  28.9 MiB/s | 473.7 KiB |  00m00s
[ 53/150] Installing file-libs-0:5.46-1 100% | 625.3 MiB/s |  11.9 MiB |  00m00s
[ 54/150] Installing file-0:5.46-1.fc42 100% |   5.5 MiB/s | 141.7 KiB |  00m00s
[ 55/150] Installing crypto-policies-0: 100% |  22.8 MiB/s | 163.5 KiB |  00m00s
[ 56/150] Installing libsmartcols-0:2.4 100% | 220.2 MiB/s | 225.4 KiB |  00m00s
[ 57/150] Installing libsepol-0:3.8-1.f 100% | 264.0 MiB/s | 810.9 KiB |  00m00s
[ 58/150] Installing libeconf-0:0.7.6-1 100% |  80.4 MiB/s |  82.3 KiB |  00m00s
[ 59/150] Installing libcap-ng-0:0.8.5- 100% | 159.0 MiB/s | 162.8 KiB |  00m00s
[ 60/150] Installing audit-libs-0:4.0.3 100% | 203.7 MiB/s | 417.2 KiB |  00m00s
[ 61/150] Installing pam-libs-0:1.7.0-4 100% | 220.0 MiB/s | 225.3 KiB |  00m00s
[ 62/150] Installing libcap-0:2.73-2.fc 100% |  27.8 MiB/s | 511.6 KiB |  00m00s
[ 63/150] Installing systemd-libs-0:257 100% | 291.9 MiB/s |   2.3 MiB |  00m00s
[ 64/150] Installing lua-libs-0:5.4.7-2 100% | 322.3 MiB/s | 330.1 KiB |  00m00s
[ 65/150] Installing alternatives-0:1.3 100% |   6.0 MiB/s |  91.7 KiB |  00m00s
[ 66/150] Installing pcre2-0:10.45-1.fc 100% | 232.7 MiB/s | 715.0 KiB |  00m00s
[ 67/150] Installing libselinux-0:3.8-1 100% | 197.6 MiB/s | 202.3 KiB |  00m00s
[ 68/150] Installing grep-0:3.11-10.fc4 100% |  51.7 MiB/s |   1.0 MiB |  00m00s
[ 69/150] Installing findutils-1:4.10.0 100% |  87.3 MiB/s |   1.9 MiB |  00m00s
[ 70/150] Installing sed-0:4.9-4.fc42.a 100% |  43.0 MiB/s | 881.4 KiB |  00m00s
[ 71/150] Installing xz-1:5.6.3-3.fc42. 100% |  60.1 MiB/s |   1.3 MiB |  00m00s
[ 72/150] Installing libmount-0:2.40.4- 100% | 174.3 MiB/s | 356.9 KiB |  00m00s
[ 73/150] Installing lz4-libs-0:1.10.0- 100% | 193.9 MiB/s | 198.5 KiB |  00m00s
[ 74/150] Installing libffi-0:3.4.6-5.f 100% | 152.1 MiB/s | 155.8 KiB |  00m00s
[ 75/150] Installing libtasn1-0:4.20.0- 100% | 217.0 MiB/s | 222.2 KiB |  00m00s
[ 76/150] Installing p11-kit-0:0.25.5-5 100% |  95.8 MiB/s |   2.4 MiB |  00m00s
[ 77/150] Installing libunistring-0:1.1 100% | 291.0 MiB/s |   1.7 MiB |  00m00s
[ 78/150] Installing libidn2-0:2.3.7-3. 100% | 109.1 MiB/s | 335.0 KiB |  00m00s
[ 79/150] Installing libpsl-0:0.21.5-5. 100% | 130.5 MiB/s | 133.6 KiB |  00m00s
[ 80/150] Installing p11-kit-trust-0:0. 100% |  17.5 MiB/s | 465.0 KiB |  00m00s
[ 81/150] Installing zstd-0:1.5.7-1.fc4 100% |  71.7 MiB/s |   1.5 MiB |  00m00s
[ 82/150] Installing util-linux-core-0: 100% |  99.4 MiB/s |   2.4 MiB |  00m00s
[ 83/150] Installing tar-2:1.35-5.fc42. 100% | 115.6 MiB/s |   3.0 MiB |  00m00s
[ 84/150] Installing libsemanage-0:3.8- 100% | 117.8 MiB/s | 361.8 KiB |  00m00s
[ 85/150] Installing shadow-utils-2:4.1 100% | 110.9 MiB/s |   4.5 MiB |  00m00s
[ 86/150] Installing systemd-standalone 100% |  20.1 MiB/s | 329.9 KiB |  00m00s
[ 87/150] Installing zip-0:3.0-43.fc42. 100% |  41.6 MiB/s | 766.4 KiB |  00m00s
[ 88/150] Installing libfdisk-0:2.40.4- 100% | 205.0 MiB/s | 419.9 KiB |  00m00s
[ 89/150] Installing bzip2-0:1.0.8-20.f 100% |  10.7 MiB/s | 175.8 KiB |  00m00s
[ 90/150] Installing libxml2-0:2.12.9-2 100% |  90.1 MiB/s |   1.9 MiB |  00m00s
[ 91/150] Installing add-determinism-0: 100% |  98.4 MiB/s |   2.2 MiB |  00m00s
[ 92/150] Installing build-reproducibil 100% |   0.0   B/s |   1.0 KiB |  00m00s
[ 93/150] Installing filesystem-srpm-ma 100% |  38.0 MiB/s |  38.9 KiB |  00m00s
[ 94/150] Installing ed-0:1.21-2.fc42.a 100% |   9.6 MiB/s | 156.8 KiB |  00m00s
[ 95/150] Installing patch-0:2.7.6-26.f 100% |  16.1 MiB/s | 263.9 KiB |  00m00s
[ 96/150] Installing elfutils-default-y 100% | 255.4 KiB/s |   2.0 KiB |  00m00s
[ 97/150] Installing elfutils-libs-0:0. 100% | 182.7 MiB/s | 748.5 KiB |  00m00s
[ 98/150] Installing cpio-0:2.15-2.fc41 100% |  55.5 MiB/s |   1.2 MiB |  00m00s
[ 99/150] Installing diffutils-0:3.10-9 100% |  73.1 MiB/s |   1.6 MiB |  00m00s
[100/150] Installing sqlite-libs-0:3.49 100% | 250.2 MiB/s |   1.5 MiB |  00m00s
[101/150] Installing libgomp-0:15.0.1-0 100% | 250.3 MiB/s | 512.6 KiB |  00m00s
[102/150] Installing jansson-0:2.14-2.f 100% |  92.3 MiB/s |  94.5 KiB |  00m00s
[103/150] Installing libpkgconf-0:2.3.0 100% | 132.0 MiB/s | 135.1 KiB |  00m00s
[104/150] Installing pkgconf-0:2.3.0-2. 100% |   7.5 MiB/s | 114.9 KiB |  00m00s
[105/150] Installing pkgconf-pkg-config 100% | 118.2 KiB/s |   1.8 KiB |  00m00s
[106/150] Installing json-c-0:0.18-2.fc 100% | 136.7 MiB/s | 139.9 KiB |  00m00s
[107/150] Installing libnghttp2-0:1.64. 100% | 194.5 MiB/s | 199.2 KiB |  00m00s
[108/150] Installing xxhash-libs-0:0.8. 100% |  85.3 MiB/s |  87.4 KiB |  00m00s
[109/150] Installing libbrotli-0:1.1.0- 100% | 222.6 MiB/s | 911.7 KiB |  00m00s
[110/150] Installing keyutils-libs-0:1. 100% |  97.4 MiB/s |  99.8 KiB |  00m00s
[111/150] Installing libcom_err-0:1.47. 100% | 109.5 MiB/s | 112.2 KiB |  00m00s
[112/150] Installing libverto-0:0.3.2-1 100% |  69.5 MiB/s |  71.2 KiB |  00m00s
[113/150] Installing libtool-ltdl-0:2.5 100% |  92.9 MiB/s |  95.1 KiB |  00m00s
[114/150] Installing gdbm-libs-1:1.23-9 100% | 230.1 MiB/s | 235.7 KiB |  00m00s
[115/150] Installing cyrus-sasl-lib-0:2 100% | 105.1 MiB/s |   2.4 MiB |  00m00s
[116/150] Installing coreutils-common-0 100% | 309.8 MiB/s |  11.2 MiB |  00m00s
[117/150] Installing openssl-libs-1:3.2 100% | 316.7 MiB/s |   6.3 MiB |  00m00s
[118/150] Installing coreutils-0:9.6-2. 100% | 173.7 MiB/s |   8.2 MiB |  00m00s
[119/150] Installing ca-certificates-0: 100% |   1.5 MiB/s |   2.4 MiB |  00m02s
[120/150] Installing libarchive-0:3.7.7 100% | 222.8 MiB/s | 912.6 KiB |  00m00s
[121/150] Installing krb5-libs-0:1.21.3 100% | 253.2 MiB/s |   2.5 MiB |  00m00s
[122/150] Installing libssh-0:0.11.1-4. 100% | 191.2 MiB/s | 587.5 KiB |  00m00s
[123/150] Installing gzip-0:1.13-3.fc42 100% |  23.3 MiB/s | 430.2 KiB |  00m00s
[124/150] Installing rpm-sequoia-0:1.7. 100% | 287.2 MiB/s |   2.3 MiB |  00m00s
[125/150] Installing rpm-libs-0:4.20.0- 100% | 239.3 MiB/s | 735.1 KiB |  00m00s
[126/150] Installing rpm-build-libs-0:4 100% | 194.8 MiB/s | 199.4 KiB |  00m00s
[127/150] Installing libevent-0:2.1.12- 100% | 271.3 MiB/s |   1.1 MiB |  00m00s
[128/150] Installing openldap-0:2.6.9-3 100% | 228.2 MiB/s | 701.1 KiB |  00m00s
[129/150] Installing libcurl-0:8.12.1-1 100% | 279.7 MiB/s | 859.2 KiB |  00m00s
[130/150] Installing elfutils-debuginfo 100% |   8.9 MiB/s | 146.5 KiB |  00m00s
[131/150] Installing elfutils-0:0.192-9 100% | 125.7 MiB/s |   3.1 MiB |  00m00s
[132/150] Installing binutils-0:2.44-3. 100% | 279.8 MiB/s |  29.4 MiB |  00m00s
[133/150] Installing gdb-minimal-0:16.2 100% | 237.2 MiB/s |  13.0 MiB |  00m00s
[134/150] Installing debugedit-0:5.1-5. 100% |  14.2 MiB/s | 247.3 KiB |  00m00s
[135/150] Installing curl-0:8.12.1-1.fc 100% |  15.9 MiB/s | 455.7 KiB |  00m00s
[136/150] Installing rpm-0:4.20.0-8.fc4 100% |  75.8 MiB/s |   2.7 MiB |  00m00s
[137/150] Installing efi-srpm-macros-0: 100% |  40.1 MiB/s |  41.1 KiB |  00m00s
[138/150] Installing tree-sitter-srpm-m 100% |   7.2 MiB/s |   7.4 KiB |  00m00s
[139/150] Installing lua-srpm-macros-0: 100% |   0.0   B/s |   1.9 KiB |  00m00s
[140/150] Installing zig-srpm-macros-0: 100% |   0.0   B/s |   1.7 KiB |  00m00s
[141/150] Installing forge-srpm-macros- 100% |  39.3 MiB/s |  40.3 KiB |  00m00s
[142/150] Installing go-srpm-macros-0:3 100% |  60.5 MiB/s |  62.0 KiB |  00m00s
[143/150] Installing fonts-srpm-macros- 100% |  55.7 MiB/s |  57.0 KiB |  00m00s
[144/150] Installing python-srpm-macros 100% |  50.9 MiB/s |  52.2 KiB |  00m00s
[145/150] Installing redhat-rpm-config- 100% |  63.0 MiB/s | 193.5 KiB |  00m00s
[146/150] Installing rpm-build-0:4.20.0 100% |  27.4 MiB/s | 533.6 KiB |  00m00s
[147/150] Installing pyproject-srpm-mac 100% |   2.4 MiB/s |   2.5 KiB |  00m00s
[148/150] Installing util-linux-0:2.40. 100% | 127.5 MiB/s |   6.6 MiB |  00m00s
[149/150] Installing which-0:2.23-1.fc4 100% |   7.2 MiB/s | 125.6 KiB |  00m00s
[150/150] Installing info-0:7.2-3.fc42. 100% | 207.8 KiB/s | 422.0 KiB |  00m02s
Warning: skipped OpenPGP checks for 143 packages from repositories: copr_base, http_kojipkgs_fedoraproject_org_repos_rawhide_latest_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.6.0-1.fc43.aarch64
alternatives-1.31-3.fc42.aarch64
ansible-srpm-macros-1-17.1.fc42.noarch
audit-libs-4.0.3-2.fc42.aarch64
bash-5.2.37-3.fc43.aarch64
binutils-2.44-3.fc43.aarch64
build-reproducibility-srpm-macros-0.6.0-1.fc43.noarch
bzip2-1.0.8-20.fc42.aarch64
bzip2-libs-1.0.8-20.fc42.aarch64
ca-certificates-2024.2.69_v8.0.401-5.fc42.noarch
coreutils-9.6-2.fc43.aarch64
coreutils-common-9.6-2.fc43.aarch64
cpio-2.15-2.fc41.aarch64
crypto-policies-20250214-1.gitff7551b.fc43.noarch
curl-8.12.1-1.fc43.aarch64
cyrus-sasl-lib-2.1.28-30.fc42.aarch64
debugedit-5.1-5.fc43.aarch64
diffutils-3.10-9.fc42.aarch64
dwz-0.15-9.fc42.aarch64
ed-1.21-2.fc42.aarch64
efi-srpm-macros-6-2.fc42.noarch
elfutils-0.192-9.fc41.aarch64
elfutils-debuginfod-client-0.192-9.fc41.aarch64
elfutils-default-yama-scope-0.192-9.fc41.noarch
elfutils-libelf-0.192-9.fc41.aarch64
elfutils-libs-0.192-9.fc41.aarch64
fedora-gpg-keys-43-0.1.noarch
fedora-release-43-0.5.noarch
fedora-release-common-43-0.5.noarch
fedora-release-identity-basic-43-0.5.noarch
fedora-repos-43-0.1.noarch
fedora-repos-rawhide-43-0.1.noarch
file-5.46-1.fc42.aarch64
file-libs-5.46-1.fc42.aarch64
filesystem-3.18-38.fc43.aarch64
filesystem-srpm-macros-3.18-38.fc43.noarch
findutils-4.10.0-5.fc42.aarch64
fonts-srpm-macros-2.0.5-21.fc42.noarch
forge-srpm-macros-0.4.0-2.fc42.noarch
fpc-srpm-macros-1.3-14.fc42.noarch
gawk-5.3.1-1.fc42.aarch64
gdb-minimal-16.2-2.fc43.aarch64
gdbm-libs-1.23-9.fc42.aarch64
ghc-srpm-macros-1.9.2-2.fc42.noarch
glibc-2.41.9000-1.fc43.aarch64
glibc-common-2.41.9000-1.fc43.aarch64
glibc-gconv-extra-2.41.9000-1.fc43.aarch64
glibc-minimal-langpack-2.41.9000-1.fc43.aarch64
gmp-6.3.0-3.fc43.aarch64
gnat-srpm-macros-6-7.fc42.noarch
go-srpm-macros-3.6.0-6.fc42.noarch
gpg-pubkey-e99d6ad1-64d2612c
grep-3.11-10.fc42.aarch64
gzip-1.13-3.fc42.aarch64
info-7.2-3.fc42.aarch64
jansson-2.14-2.fc42.aarch64
json-c-0.18-2.fc42.aarch64
kernel-srpm-macros-1.0-25.fc42.noarch
keyutils-libs-1.6.3-5.fc42.aarch64
krb5-libs-1.21.3-5.fc42.aarch64
libacl-2.3.2-3.fc42.aarch64
libarchive-3.7.7-2.fc43.aarch64
libattr-2.5.2-5.fc42.aarch64
libblkid-2.40.4-7.fc43.aarch64
libbrotli-1.1.0-6.fc42.aarch64
libcap-2.73-2.fc42.aarch64
libcap-ng-0.8.5-4.fc42.aarch64
libcom_err-1.47.2-3.fc42.aarch64
libcurl-8.12.1-1.fc43.aarch64
libeconf-0.7.6-1.fc43.aarch64
libevent-2.1.12-15.fc42.aarch64
libfdisk-2.40.4-7.fc43.aarch64
libffi-3.4.6-5.fc42.aarch64
libgcc-15.0.1-0.8.fc43.aarch64
libgomp-15.0.1-0.8.fc43.aarch64
libidn2-2.3.7-3.fc42.aarch64
libmount-2.40.4-7.fc43.aarch64
libnghttp2-1.64.0-3.fc42.aarch64
libpkgconf-2.3.0-2.fc42.aarch64
libpsl-0.21.5-5.fc42.aarch64
libselinux-3.8-1.fc42.aarch64
libsemanage-3.8-1.fc42.aarch64
libsepol-3.8-1.fc42.aarch64
libsmartcols-2.40.4-7.fc43.aarch64
libssh-0.11.1-4.fc42.aarch64
libssh-config-0.11.1-4.fc42.noarch
libstdc++-15.0.1-0.8.fc43.aarch64
libtasn1-4.20.0-1.fc43.aarch64
libtool-ltdl-2.5.4-4.fc42.aarch64
libunistring-1.1-9.fc42.aarch64
libuuid-2.40.4-7.fc43.aarch64
libverto-0.3.2-10.fc42.aarch64
libxcrypt-4.4.38-6.fc43.aarch64
libxml2-2.12.9-2.fc42.aarch64
libzstd-1.5.7-1.fc43.aarch64
lua-libs-5.4.7-2.fc42.aarch64
lua-srpm-macros-1-15.fc42.noarch
lz4-libs-1.10.0-2.fc42.aarch64
mpfr-4.2.1-6.fc42.aarch64
ncurses-base-6.5-5.20250125.fc42.noarch
ncurses-libs-6.5-5.20250125.fc42.aarch64
ocaml-srpm-macros-10-4.fc42.noarch
openblas-srpm-macros-2-19.fc42.noarch
openldap-2.6.9-3.fc42.aarch64
openssl-libs-3.2.4-2.fc43.aarch64
p11-kit-0.25.5-5.fc42.aarch64
p11-kit-trust-0.25.5-5.fc42.aarch64
package-notes-srpm-macros-0.5-13.fc42.noarch
pam-libs-1.7.0-4.fc42.aarch64
patch-2.7.6-26.fc42.aarch64
pcre2-10.45-1.fc43.aarch64
pcre2-syntax-10.45-1.fc43.noarch
perl-srpm-macros-1-57.fc42.noarch
pkgconf-2.3.0-2.fc42.aarch64
pkgconf-m4-2.3.0-2.fc42.noarch
pkgconf-pkg-config-2.3.0-2.fc42.aarch64
popt-1.19-8.fc42.aarch64
publicsuffix-list-dafsa-20250116-1.fc42.noarch
pyproject-srpm-macros-1.17.0-1.fc43.noarch
python-srpm-macros-3.13-4.fc42.noarch
qt5-srpm-macros-5.15.15-1.fc42.noarch
qt6-srpm-macros-6.8.2-2.fc43.noarch
readline-8.2-12.fc42.aarch64
redhat-rpm-config-342-2.fc42.noarch
rpm-4.20.0-8.fc42.aarch64
rpm-build-4.20.0-8.fc42.aarch64
rpm-build-libs-4.20.0-8.fc42.aarch64
rpm-libs-4.20.0-8.fc42.aarch64
rpm-sequoia-1.7.0-5.fc43.aarch64
rust-srpm-macros-26.3-4.fc42.noarch
sed-4.9-4.fc42.aarch64
setup-2.15.0-12.fc43.noarch
shadow-utils-4.17.0-4.fc42.aarch64
sqlite-libs-3.49.0-1.fc43.aarch64
systemd-libs-257.3-7.fc43.aarch64
systemd-standalone-sysusers-257.3-7.fc43.aarch64
tar-1.35-5.fc42.aarch64
tree-sitter-srpm-macros-0.1.0-8.fc42.noarch
unzip-6.0-66.fc42.aarch64
util-linux-2.40.4-7.fc43.aarch64
util-linux-core-2.40.4-7.fc43.aarch64
which-2.23-1.fc42.aarch64
xxhash-libs-0.8.3-2.fc42.aarch64
xz-5.6.3-3.fc42.aarch64
xz-libs-5.6.3-3.fc42.aarch64
zig-srpm-macros-1-4.fc42.noarch
zip-3.0-43.fc42.aarch64
zlib-ng-compat-2.2.4-2.fc43.aarch64
zstd-1.5.7-1.fc43.aarch64
Start: buildsrpm
Start: rpmbuild -bs
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1740528000
Wrote: /builddir/build/SRPMS/gappalib-coq-1.7.0-1.fc43.src.rpm
Finish: rpmbuild -bs
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-41-aarch64-1740610459.707992/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-odh83ahs/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 23 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.7.0-1.fc43.src.rpm)  Config(fedora-41-aarch64)
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-41-aarch64-bootstrap-1740610459.707992/root.
INFO: reusing tmpfs at /var/lib/mock/fedora-41-aarch64-bootstrap-1740610459.707992/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-41-aarch64-1740610459.707992/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.fc41.aarch64
  rpm-sequoia-1.7.0-5.fc41.aarch64
  dnf5-5.2.10.0-2.fc41.aarch64
  dnf5-plugins-5.2.10.0-2.fc41.aarch64
Finish: chroot init
Start: build phase for gappalib-coq-1.7.0-1.fc43.src.rpm
Start: build setup for gappalib-coq-1.7.0-1.fc43.src.rpm
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1740528000
Wrote: /builddir/build/SRPMS/gappalib-coq-1.7.0-1.fc43.src.rpm
Updating and loading repositories:
 fedora                                 100% | 469.6 KiB/s |  16.0 KiB |  00m00s
 updates                                100% |  48.9 KiB/s |  13.6 KiB |  00m00s
 Copr repository                        100% |  73.2 KiB/s |   1.5 KiB |  00m00s
 Additional repo http_kojipkgs_fedorapr 100% | 239.4 KiB/s |   3.8 KiB |  00m00s
Repositories loaded.
Package                    Arch    Version                          Repository                                                         Size
Installing:
 autoconf                  noarch  2.72-4.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.8 MiB
 coq                       aarch64 8.20.1-1.fc42                    copr_base                                                      78.7 MiB
 flocq                     aarch64 4.2.1-1.fc43                     copr_base                                                      16.6 MiB
 gappa                     aarch64 1.6.0-1.fc43                     copr_base                                                     672.8 KiB
 gcc-c++                   aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  38.7 MiB
 ocaml                     aarch64 5.3.0-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 142.7 MiB
 ocaml-findlib             aarch64 1.9.8-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   3.7 MiB
 ocaml-zarith-devel        aarch64 1.14-6.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 896.6 KiB
 remake                    aarch64 0.16-3.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 147.7 KiB
Installing dependencies:
 annobin-docs              noarch  12.88-1.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  98.6 KiB
 annobin-plugin-gcc        aarch64 12.88-1.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.0 MiB
 coq-core                  aarch64 8.20.1-1.fc42                    copr_base                                                     688.2 MiB
 cpp                       aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  35.4 MiB
 csdp                      aarch64 6.2.0-31.20181018git0dcf187.fc42 copr_base                                                     456.3 KiB
 csdp-tools                aarch64 6.2.0-31.20181018git0dcf187.fc42 copr_base                                                     342.4 KiB
 emacs-filesystem          noarch  1:30.0-4.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   0.0   B
 expat                     aarch64 2.6.4-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 348.7 KiB
 flexiblas                 aarch64 3.4.5-1.fc43                     copr_base                                                      50.4 KiB
 flexiblas-netlib          aarch64 3.4.5-1.fc43                     copr_base                                                       9.3 MiB
 flexiblas-openblas-openmp aarch64 3.4.5-1.fc43                     copr_base                                                      67.3 KiB
 gcc                       aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  98.4 MiB
 gcc-plugin-annobin        aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  69.2 KiB
 glibc-devel               aarch64 2.41.9000-1.fc43                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.2 MiB
 gmp-c++                   aarch64 1:6.3.0-3.fc43                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  67.5 KiB
 gmp-devel                 aarch64 1:6.3.0-3.fc43                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 358.1 KiB
 groff-base                aarch64 1.23.0-8.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.2 MiB
 kernel-headers            aarch64 6.14.0-0.rc4.36.fc43             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.4 MiB
 libasan                   aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.5 MiB
 libatomic                 aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  68.8 KiB
 libb2                     aarch64 0.98.1-13.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  74.1 KiB
 libgfortran               aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.6 MiB
 libmpc                    aarch64 1.3.1-7.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 152.7 KiB
 libstdc++-devel           aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  15.5 MiB
 libubsan                  aarch64 15.0.1-0.8.fc43                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 475.5 KiB
 libxcrypt-devel           aarch64 4.4.38-6.fc43                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  30.8 KiB
 libzstd-devel             aarch64 1.5.7-1.fc43                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 208.0 KiB
 m4                        aarch64 1.4.19-12.fc43                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 604.4 KiB
 make                      aarch64 1:4.4.1-10.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.8 MiB
 mpdecimal                 aarch64 4.0.0-2.fc43                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 280.8 KiB
 ncurses                   aarch64 6.5-5.20250125.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 891.9 KiB
 ocaml-compiler-libs       aarch64 5.3.0-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 103.1 MiB
 ocaml-runtime             aarch64 5.3.0-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.8 MiB
 ocaml-zarith              aarch64 1.14-6.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 415.9 KiB
 openblas                  aarch64 0.3.29-1.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 111.7 KiB
 openblas-openmp           aarch64 0.3.29-1.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  20.4 MiB
 perl-AutoLoader           noarch  5.74-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  20.5 KiB
 perl-B                    aarch64 1.89-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 542.0 KiB
 perl-Carp                 noarch  1.54-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  46.6 KiB
 perl-Class-Struct         noarch  0.68-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  25.4 KiB
 perl-Data-Dumper          aarch64 2.189-513.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 135.6 KiB
 perl-Digest               noarch  1.20-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  35.3 KiB
 perl-Digest-MD5           aarch64 2.59-6.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 103.7 KiB
 perl-DynaLoader           aarch64 1.56-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  32.1 KiB
 perl-Encode               aarch64 4:3.21-512.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.8 MiB
 perl-Errno                aarch64 1.38-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   8.3 KiB
 perl-Exporter             noarch  5.78-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  54.3 KiB
 perl-Fcntl                aarch64 1.18-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  92.9 KiB
 perl-File-Basename        noarch  2.86-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  14.0 KiB
 perl-File-Compare         noarch  1.100.800-515.fc42               http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   5.6 KiB
 perl-File-Copy            noarch  2.41-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  19.6 KiB
 perl-File-Find            noarch  1.44-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  41.9 KiB
 perl-File-Path            noarch  2.18-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  63.5 KiB
 perl-File-Temp            noarch  1:0.231.100-512.fc42             http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 162.3 KiB
 perl-File-stat            noarch  1.14-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  12.5 KiB
 perl-FileHandle           noarch  2.05-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   9.3 KiB
 perl-Getopt-Long          noarch  1:2.58-3.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 144.5 KiB
 perl-Getopt-Std           noarch  1.14-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  11.2 KiB
 perl-HTTP-Tiny            noarch  0.090-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 154.4 KiB
 perl-IO                   aarch64 1.55-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 191.0 KiB
 perl-IO-Socket-IP         noarch  0.43-2.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 100.3 KiB
 perl-IO-Socket-SSL        noarch  2.089-2.fc42                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 703.3 KiB
 perl-IPC-Open3            noarch  1.22-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  22.5 KiB
 perl-MIME-Base32          noarch  1.303-23.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  30.7 KiB
 perl-MIME-Base64          aarch64 3.16-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  94.1 KiB
 perl-Net-SSLeay           aarch64 1.94-8.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.4 MiB
 perl-POSIX                aarch64 2.20-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 263.1 KiB
 perl-PathTools            aarch64 3.91-513.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 224.0 KiB
 perl-Pod-Escapes          noarch  1:1.07-512.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  24.9 KiB
 perl-Pod-Perldoc          noarch  3.28.01-513.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 163.7 KiB
 perl-Pod-Simple           noarch  1:3.45-512.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 560.8 KiB
 perl-Pod-Usage            noarch  4:2.03-512.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  84.8 KiB
 perl-Scalar-List-Utils    aarch64 5:1.68-2.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 152.8 KiB
 perl-SelectSaver          noarch  1.02-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   2.2 KiB
 perl-Socket               aarch64 4:2.038-512.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 144.0 KiB
 perl-Storable             aarch64 1:3.32-512.fc42                  http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 244.3 KiB
 perl-Symbol               noarch  1.09-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.8 KiB
 perl-Term-ANSIColor       noarch  5.01-513.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  97.5 KiB
 perl-Term-Cap             noarch  1.18-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  29.3 KiB
 perl-Text-ParseWords      noarch  3.31-512.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  13.6 KiB
 perl-Text-Tabs+Wrap       noarch  2024.001-512.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  22.6 KiB
 perl-Time-Local           noarch  2:1.350-512.fc42                 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  68.9 KiB
 perl-URI                  noarch  5.31-2.fc42                      http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 257.0 KiB
 perl-base                 noarch  2.27-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  12.5 KiB
 perl-constant             noarch  1.33-513.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  26.2 KiB
 perl-if                   noarch  0.61.000-515.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   5.8 KiB
 perl-interpreter          aarch64 4:5.40.1-515.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 174.1 KiB
 perl-libnet               noarch  3.15-513.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 289.4 KiB
 perl-libs                 aarch64 4:5.40.1-515.fc42                http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   9.9 MiB
 perl-locale               noarch  1.12-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   6.5 KiB
 perl-mro                  aarch64 1.29-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  81.5 KiB
 perl-overload             noarch  1.37-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  71.5 KiB
 perl-overloading          noarch  0.02-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   4.8 KiB
 perl-parent               noarch  1:0.244-2.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  10.3 KiB
 perl-podlators            noarch  1:6.0.2-3.fc42                   http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 317.5 KiB
 perl-vars                 noarch  1.05-515.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   3.9 KiB
 python-pip-wheel          noarch  24.3.1-2.fc42                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.2 MiB
 python3                   aarch64 3.13.2-2.fc43                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  83.6 KiB
 python3-libs              aarch64 3.13.2-2.fc43                    http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  42.0 MiB
 texlive-base              aarch64 11:20230311-89.fc42              http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch  19.0 MiB
 tzdata                    noarch  2025a-1.fc43                     http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch   1.6 MiB

Transaction Summary:
 Installing:       110 packages

Total size of inbound packages is 445 MiB. Need to download 445 MiB.
After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B).
[  1/110] autoconf-0:2.72-4.fc42.noarch 100% |  28.5 MiB/s | 817.3 KiB |  00m00s
[  2/110] gappa-0:1.6.0-1.fc43.aarch64  100% |   3.8 MiB/s | 258.0 KiB |  00m00s
[  3/110] gcc-c++-0:15.0.1-0.8.fc43.aar 100% | 228.5 MiB/s |  13.9 MiB |  00m00s
[  4/110] flocq-0:4.2.1-1.fc43.aarch64  100% |  22.1 MiB/s |   3.7 MiB |  00m00s
[  5/110] ocaml-findlib-0:1.9.8-2.fc42. 100% |  12.8 MiB/s |   1.1 MiB |  00m00s
[  6/110] ocaml-0:5.3.0-2.fc42.aarch64  100% | 269.6 MiB/s |  33.7 MiB |  00m00s
[  7/110] remake-0:0.16-3.fc42.aarch64  100% |  10.3 MiB/s |  63.0 KiB |  00m00s
[  8/110] ocaml-zarith-devel-0:1.14-6.f 100% |   8.6 MiB/s | 385.4 KiB |  00m00s
[  9/110] libstdc++-devel-0:15.0.1-0.8. 100% |  99.0 MiB/s |   2.7 MiB |  00m00s
[ 10/110] coq-0:8.20.1-1.fc42.aarch64   100% |  69.4 MiB/s |  24.1 MiB |  00m00s
[ 11/110] ocaml-runtime-0:5.3.0-2.fc42. 100% |  47.4 MiB/s |   2.2 MiB |  00m00s
[ 12/110] ocaml-zarith-0:1.14-6.fc42.aa 100% |   2.9 MiB/s | 156.8 KiB |  00m00s
[ 13/110] gmp-devel-1:6.3.0-3.fc43.aarc 100% |  24.5 MiB/s | 175.3 KiB |  00m00s
[ 14/110] gmp-c++-1:6.3.0-3.fc43.aarch6 100% |   3.6 MiB/s |  18.4 KiB |  00m00s
[ 15/110] gcc-0:15.0.1-0.8.fc43.aarch64 100% | 217.5 MiB/s |  35.7 MiB |  00m00s
[ 16/110] libzstd-devel-0:1.5.7-1.fc43. 100% |   1.3 MiB/s |  53.1 KiB |  00m00s
[ 17/110] libmpc-0:1.3.1-7.fc42.aarch64 100% |   8.7 MiB/s |  71.3 KiB |  00m00s
[ 18/110] glibc-devel-0:2.41.9000-1.fc4 100% |  61.6 MiB/s | 567.4 KiB |  00m00s
[ 19/110] cpp-0:15.0.1-0.8.fc43.aarch64 100% | 105.3 MiB/s |  11.7 MiB |  00m00s
[ 20/110] libatomic-0:15.0.1-0.8.fc43.a 100% |   1.6 MiB/s |  29.1 KiB |  00m00s
[ 21/110] libasan-0:15.0.1-0.8.fc43.aar 100% |  23.8 MiB/s | 486.8 KiB |  00m00s
[ 22/110] emacs-filesystem-1:30.0-4.fc4 100% |   3.6 MiB/s |   7.4 KiB |  00m00s
[ 23/110] libubsan-0:15.0.1-0.8.fc43.aa 100% |  34.1 MiB/s | 209.2 KiB |  00m00s
[ 24/110] m4-0:1.4.19-12.fc43.aarch64   100% |  57.4 MiB/s | 294.1 KiB |  00m00s
[ 25/110] make-1:4.4.1-10.fc42.aarch64  100% |  62.7 MiB/s | 577.6 KiB |  00m00s
[ 26/110] perl-Carp-0:1.54-512.fc42.noa 100% |   7.0 MiB/s |  28.9 KiB |  00m00s
[ 27/110] perl-Class-Struct-0:0.68-515. 100% |   7.2 MiB/s |  22.1 KiB |  00m00s
[ 28/110] perl-Errno-0:1.38-515.fc42.aa 100% |   4.9 MiB/s |  14.9 KiB |  00m00s
[ 29/110] perl-Data-Dumper-0:2.189-513. 100% |   9.0 MiB/s |  55.0 KiB |  00m00s
[ 30/110] perl-interpreter-4:5.40.1-515 100% |  23.5 MiB/s |  72.2 KiB |  00m00s
[ 31/110] perl-Exporter-0:5.78-512.fc42 100% |   7.6 MiB/s |  31.0 KiB |  00m00s
[ 32/110] perl-File-Basename-0:2.86-515 100% |   4.2 MiB/s |  17.2 KiB |  00m00s
[ 33/110] perl-libs-4:5.40.1-515.fc42.a 100% | 145.6 MiB/s |   2.2 MiB |  00m00s
[ 34/110] perl-File-Copy-0:2.41-515.fc4 100% |   3.9 MiB/s |  20.1 KiB |  00m00s
[ 35/110] perl-File-Compare-0:1.100.800 100% |   2.2 MiB/s |  13.3 KiB |  00m00s
[ 36/110] perl-File-Find-0:1.44-515.fc4 100% |   8.3 MiB/s |  25.4 KiB |  00m00s
[ 37/110] perl-File-Temp-1:0.231.100-51 100% |  19.3 MiB/s |  59.2 KiB |  00m00s
[ 38/110] perl-File-stat-0:1.14-515.fc4 100% |   5.6 MiB/s |  17.1 KiB |  00m00s
[ 39/110] perl-Getopt-Long-1:2.58-3.fc4 100% |  20.7 MiB/s |  63.7 KiB |  00m00s
[ 40/110] perl-POSIX-0:2.20-515.fc42.aa 100% |  19.1 MiB/s |  97.8 KiB |  00m00s
[ 41/110] perl-IO-0:1.55-515.fc42.aarch 100% |  10.8 MiB/s |  77.7 KiB |  00m00s
[ 42/110] perl-PathTools-0:3.91-513.fc4 100% |  16.2 MiB/s |  83.2 KiB |  00m00s
[ 43/110] perl-Text-ParseWords-0:3.31-5 100% |   5.4 MiB/s |  16.5 KiB |  00m00s
[ 44/110] perl-constant-0:1.33-513.fc42 100% |   7.5 MiB/s |  23.0 KiB |  00m00s
[ 45/110] csdp-tools-0:6.2.0-31.2018101 100% | 556.9 KiB/s |  30.1 KiB |  00m00s
[ 46/110] texlive-base-11:20230311-89.f 100% |  29.9 MiB/s |   2.6 MiB |  00m00s
[ 47/110] perl-DynaLoader-0:1.56-515.fc 100% |   8.5 MiB/s |  26.0 KiB |  00m00s
[ 48/110] perl-Encode-4:3.21-512.fc42.a 100% | 129.1 MiB/s |   1.0 MiB |  00m00s
[ 49/110] perl-Scalar-List-Utils-5:1.68 100% |  23.8 MiB/s |  73.0 KiB |  00m00s
[ 50/110] perl-Fcntl-0:1.18-515.fc42.aa 100% |   9.7 MiB/s |  29.8 KiB |  00m00s
[ 51/110] perl-locale-0:1.12-515.fc42.n 100% |   4.4 MiB/s |  13.6 KiB |  00m00s
[ 52/110] perl-SelectSaver-0:1.02-515.f 100% |   5.7 MiB/s |  11.7 KiB |  00m00s
[ 53/110] perl-Socket-4:2.038-512.fc42. 100% |  13.5 MiB/s |  55.1 KiB |  00m00s
[ 54/110] perl-Symbol-0:1.09-515.fc42.n 100% |   3.5 MiB/s |  14.2 KiB |  00m00s
[ 55/110] perl-Pod-Usage-4:2.03-512.fc4 100% |  13.0 MiB/s |  40.0 KiB |  00m00s
[ 56/110] perl-base-0:2.27-515.fc42.noa 100% |   2.0 MiB/s |  16.2 KiB |  00m00s
[ 57/110] perl-overload-0:1.37-515.fc42 100% |   5.6 MiB/s |  45.5 KiB |  00m00s
[ 58/110] perl-File-Path-0:2.18-512.fc4 100% |  17.2 MiB/s |  35.2 KiB |  00m00s
[ 59/110] perl-parent-1:0.244-2.fc42.no 100% |   5.0 MiB/s |  15.2 KiB |  00m00s
[ 60/110] perl-vars-0:1.05-515.fc42.noa 100% |   3.2 MiB/s |  13.0 KiB |  00m00s
[ 61/110] perl-Getopt-Std-0:1.14-515.fc 100% |   5.1 MiB/s |  15.7 KiB |  00m00s
[ 62/110] perl-MIME-Base64-0:3.16-512.f 100% |   5.9 MiB/s |  30.1 KiB |  00m00s
[ 63/110] perl-Storable-1:3.32-512.fc42 100% |  31.3 MiB/s |  96.1 KiB |  00m00s
[ 64/110] perl-B-0:1.89-515.fc42.aarch6 100% |  43.2 MiB/s | 177.1 KiB |  00m00s
[ 65/110] perl-if-0:0.61.000-515.fc42.n 100% |   4.6 MiB/s |  14.0 KiB |  00m00s
[ 66/110] perl-overloading-0:0.02-515.f 100% |   4.2 MiB/s |  12.9 KiB |  00m00s
[ 67/110] kernel-headers-0:6.14.0-0.rc4 100% | 147.1 MiB/s |   1.5 MiB |  00m00s
[ 68/110] libxcrypt-devel-0:4.4.38-6.fc 100% |   9.5 MiB/s |  29.2 KiB |  00m00s
[ 69/110] csdp-0:6.2.0-31.20181018git0d 100% |   5.9 MiB/s | 301.7 KiB |  00m00s
[ 70/110] flexiblas-netlib-0:3.4.5-1.fc 100% | 284.3 MiB/s |   2.8 MiB |  00m00s
[ 71/110] python3-0:3.13.2-2.fc43.aarch 100% |   7.0 MiB/s |  28.5 KiB |  00m00s
[ 72/110] python3-libs-0:3.13.2-2.fc43. 100% | 223.0 MiB/s |   8.7 MiB |  00m00s
[ 73/110] mpdecimal-0:4.0.0-2.fc43.aarc 100% |  31.1 MiB/s |  95.7 KiB |  00m00s
[ 74/110] expat-0:2.6.4-2.fc42.aarch64  100% |  36.1 MiB/s | 110.9 KiB |  00m00s
[ 75/110] libb2-0:0.98.1-13.fc42.aarch6 100% |   8.5 MiB/s |  26.0 KiB |  00m00s
[ 76/110] python-pip-wheel-0:24.3.1-2.f 100% | 133.8 MiB/s |   1.2 MiB |  00m00s
[ 77/110] tzdata-0:2025a-1.fc43.noarch  100% |  83.8 MiB/s | 429.1 KiB |  00m00s
[ 78/110] perl-mro-0:1.29-515.fc42.aarc 100% |   9.5 MiB/s |  29.2 KiB |  00m00s
[ 79/110] perl-Pod-Perldoc-0:3.28.01-51 100% |  11.2 MiB/s |  80.2 KiB |  00m00s
[ 80/110] perl-podlators-1:6.0.2-3.fc42 100% |  30.4 MiB/s | 124.6 KiB |  00m00s
[ 81/110] groff-base-0:1.23.0-8.fc42.aa 100% | 149.2 MiB/s |   1.0 MiB |  00m00s
[ 82/110] perl-HTTP-Tiny-0:0.090-2.fc42 100% |  13.8 MiB/s |  56.5 KiB |  00m00s
[ 83/110] perl-IPC-Open3-0:1.22-515.fc4 100% |   7.1 MiB/s |  21.8 KiB |  00m00s
[ 84/110] perl-Pod-Simple-1:3.45-512.fc 100% |  51.2 MiB/s | 209.6 KiB |  00m00s
[ 85/110] perl-IO-Socket-SSL-0:2.089-2. 100% |  37.5 MiB/s | 230.2 KiB |  00m00s
[ 86/110] perl-Net-SSLeay-0:1.94-8.fc42 100% |  70.4 MiB/s | 360.4 KiB |  00m00s
[ 87/110] perl-Time-Local-2:1.350-512.f 100% |   4.8 MiB/s |  34.5 KiB |  00m00s
[ 88/110] libgfortran-0:15.0.1-0.8.fc43 100% |  36.6 MiB/s | 450.2 KiB |  00m00s
[ 89/110] flexiblas-0:3.4.5-1.fc43.aarc 100% |  13.0 MiB/s |  26.7 KiB |  00m00s
[ 90/110] flexiblas-openblas-openmp-0:3 100% |   8.3 MiB/s |  17.0 KiB |  00m00s
[ 91/110] perl-Term-ANSIColor-0:5.01-51 100% |  11.6 MiB/s |  47.7 KiB |  00m00s
[ 92/110] perl-Term-Cap-0:1.18-512.fc42 100% |   4.3 MiB/s |  22.2 KiB |  00m00s
[ 93/110] ncurses-0:6.5-5.20250125.fc42 100% |  40.8 MiB/s | 417.3 KiB |  00m00s
[ 94/110] perl-Pod-Escapes-1:1.07-512.f 100% |   4.8 MiB/s |  19.8 KiB |  00m00s
[ 95/110] perl-Text-Tabs+Wrap-0:2024.00 100% |   7.1 MiB/s |  21.8 KiB |  00m00s
[ 96/110] perl-AutoLoader-0:5.74-515.fc 100% |   6.9 MiB/s |  21.2 KiB |  00m00s
[ 97/110] perl-IO-Socket-IP-0:0.43-2.fc 100% |  13.8 MiB/s |  42.4 KiB |  00m00s
[ 98/110] perl-URI-0:5.31-2.fc42.noarch 100% |  31.0 MiB/s | 127.1 KiB |  00m00s
[ 99/110] openblas-openmp-0:0.3.29-1.fc 100% | 142.9 MiB/s |   3.9 MiB |  00m00s
[100/110] openblas-0:0.3.29-1.fc42.aarc 100% |   5.2 MiB/s |  42.3 KiB |  00m00s
[101/110] perl-MIME-Base32-0:1.303-23.f 100% |   4.0 MiB/s |  20.5 KiB |  00m00s
[102/110] perl-libnet-0:3.15-513.fc42.n 100% |  30.0 MiB/s | 122.9 KiB |  00m00s
[103/110] perl-Digest-MD5-0:2.59-6.fc42 100% |  11.7 MiB/s |  35.9 KiB |  00m00s
[104/110] perl-FileHandle-0:2.05-515.fc 100% |   5.0 MiB/s |  15.5 KiB |  00m00s
[105/110] perl-Digest-0:1.20-512.fc42.n 100% |   6.1 MiB/s |  24.9 KiB |  00m00s
[106/110] gcc-plugin-annobin-0:15.0.1-0 100% |  10.1 MiB/s |  41.4 KiB |  00m00s
[107/110] annobin-plugin-gcc-0:12.88-1. 100% |  87.1 MiB/s | 981.1 KiB |  00m00s
[108/110] annobin-docs-0:12.88-1.fc42.n 100% |  29.8 MiB/s |  91.7 KiB |  00m00s
[109/110] ocaml-compiler-libs-0:5.3.0-2 100% |  95.0 MiB/s |  52.0 MiB |  00m01s
[110/110] coq-core-0:8.20.1-1.fc42.aarc 100% |  69.4 MiB/s | 229.7 MiB |  00m03s
--------------------------------------------------------------------------------
[110/110] Total                         100% | 116.0 MiB/s | 445.4 MiB |  00m04s
Running transaction
[  1/112] Verify package files          100% |  65.0   B/s | 110.0   B |  00m02s
>>> Running pre-transaction scriptlet: texlive-base-11:20230311-89.fc42.aarch64 
>>> Finished pre-transaction scriptlet: texlive-base-11:20230311-89.fc42.aarch64
>>> [RPM] /var/lib/mock/fedora-41-aarch64-1740610459.707992/root/var/cache/dnf/c
[  2/112] Prepare transaction           100% | 940.0   B/s | 110.0   B |  00m00s
[  3/112] Installing libmpc-0:1.3.1-7.f 100% |  75.3 MiB/s | 154.2 KiB |  00m00s
[  4/112] Installing ocaml-runtime-0:5. 100% | 162.1 MiB/s |   4.9 MiB |  00m00s
[  5/112] Installing libgfortran-0:15.0 100% | 329.8 MiB/s |   1.6 MiB |  00m00s
[  6/112] Installing cpp-0:15.0.1-0.8.f 100% | 292.4 MiB/s |  35.4 MiB |  00m00s
[  7/112] Installing annobin-docs-0:12. 100% |  97.4 MiB/s |  99.8 KiB |  00m00s
[  8/112] Installing openblas-0:0.3.29- 100% | 110.8 MiB/s | 113.5 KiB |  00m00s
[  9/112] Installing openblas-openmp-0: 100% | 443.3 MiB/s |  20.4 MiB |  00m00s
[ 10/112] Installing flexiblas-0:3.4.5- 100% |  50.4 MiB/s |  51.6 KiB |  00m00s
[ 11/112] Installing flexiblas-openblas 100% |  66.6 MiB/s |  68.2 KiB |  00m00s
[ 12/112] Installing flexiblas-netlib-0 100% | 220.9 MiB/s |   9.3 MiB |  00m00s
[ 13/112] Installing csdp-0:6.2.0-31.20 100% | 223.6 MiB/s | 457.9 KiB |  00m00s
[ 14/112] Installing csdp-tools-0:6.2.0 100% |  21.1 MiB/s | 345.8 KiB |  00m00s
[ 15/112] Installing ncurses-0:6.5-5.20 100% |  32.5 MiB/s | 898.4 KiB |  00m00s
[ 16/112] Installing groff-base-0:1.23. 100% |  95.4 MiB/s |   4.2 MiB |  00m00s
[ 17/112] Installing perl-Digest-0:1.20 100% |  36.2 MiB/s |  37.1 KiB |  00m00s
[ 18/112] Installing perl-B-0:1.89-515. 100% | 177.5 MiB/s | 545.3 KiB |  00m00s
[ 19/112] Installing perl-FileHandle-0: 100% |   0.0   B/s |   9.8 KiB |  00m00s
[ 20/112] Installing perl-Digest-MD5-0: 100% | 103.1 MiB/s | 105.6 KiB |  00m00s
[ 21/112] Installing perl-Data-Dumper-0 100% | 134.3 MiB/s | 137.5 KiB |  00m00s
[ 22/112] Installing perl-MIME-Base32-0 100% |  31.4 MiB/s |  32.2 KiB |  00m00s
[ 23/112] Installing perl-libnet-0:3.15 100% | 143.9 MiB/s | 294.7 KiB |  00m00s
[ 24/112] Installing perl-AutoLoader-0: 100% |   0.0   B/s |  20.9 KiB |  00m00s
[ 25/112] Installing perl-IO-Socket-IP- 100% |  99.8 MiB/s | 102.2 KiB |  00m00s
[ 26/112] Installing perl-URI-0:5.31-2. 100% |  65.8 MiB/s | 269.6 KiB |  00m00s
[ 27/112] Installing perl-locale-0:1.12 100% |   0.0   B/s |   6.9 KiB |  00m00s
[ 28/112] Installing perl-File-Path-0:2 100% |  63.0 MiB/s |  64.5 KiB |  00m00s
[ 29/112] Installing perl-if-0:0.61.000 100% |   0.0   B/s |   6.2 KiB |  00m00s
[ 30/112] Installing perl-Time-Local-2: 100% |  68.9 MiB/s |  70.6 KiB |  00m00s
[ 31/112] Installing perl-Pod-Escapes-1 100% |   0.0   B/s |  25.9 KiB |  00m00s
[ 32/112] Installing perl-Text-Tabs+Wra 100% |  23.3 MiB/s |  23.9 KiB |  00m00s
[ 33/112] Installing perl-Net-SSLeay-0: 100% | 204.7 MiB/s |   1.4 MiB |  00m00s
[ 34/112] Installing perl-IO-Socket-SSL 100% | 230.3 MiB/s | 707.4 KiB |  00m00s
[ 35/112] Installing perl-Class-Struct- 100% |   0.0   B/s |  25.9 KiB |  00m00s
[ 36/112] Installing perl-POSIX-0:2.20- 100% | 258.2 MiB/s | 264.4 KiB |  00m00s
[ 37/112] Installing perl-File-Temp-1:0 100% | 160.2 MiB/s | 164.1 KiB |  00m00s
[ 38/112] Installing perl-IPC-Open3-0:1 100% |  22.7 MiB/s |  23.3 KiB |  00m00s
[ 39/112] Installing perl-Term-ANSIColo 100% |  96.9 MiB/s |  99.2 KiB |  00m00s
[ 40/112] Installing perl-Term-Cap-0:1. 100% |  29.9 MiB/s |  30.6 KiB |  00m00s
[ 41/112] Installing perl-Pod-Simple-1: 100% | 185.7 MiB/s | 570.4 KiB |  00m00s
[ 42/112] Installing perl-HTTP-Tiny-0:0 100% | 152.8 MiB/s | 156.4 KiB |  00m00s
[ 43/112] Installing perl-Socket-4:2.03 100% | 142.6 MiB/s | 146.0 KiB |  00m00s
[ 44/112] Installing perl-SelectSaver-0 100% |   0.0   B/s |   2.6 KiB |  00m00s
[ 45/112] Installing perl-Symbol-0:1.09 100% |   0.0   B/s |   7.2 KiB |  00m00s
[ 46/112] Installing perl-File-stat-0:1 100% |   0.0   B/s |  13.1 KiB |  00m00s
[ 47/112] Installing perl-podlators-1:6 100% |  18.5 MiB/s | 321.4 KiB |  00m00s
[ 48/112] Installing perl-Pod-Perldoc-0 100% |   9.7 MiB/s | 169.2 KiB |  00m00s
[ 49/112] Installing perl-Text-ParseWor 100% |  14.2 MiB/s |  14.6 KiB |  00m00s
[ 50/112] Installing perl-Fcntl-0:1.18- 100% |  91.9 MiB/s |  94.1 KiB |  00m00s
[ 51/112] Installing perl-base-0:2.27-5 100% |   0.0   B/s |  12.9 KiB |  00m00s
[ 52/112] Installing perl-overloading-0 100% |   0.0   B/s |   5.5 KiB |  00m00s
[ 53/112] Installing perl-IO-0:1.55-515 100% |  95.4 MiB/s | 195.3 KiB |  00m00s
[ 54/112] Installing perl-mro-0:1.29-51 100% |  80.7 MiB/s |  82.7 KiB |  00m00s
[ 55/112] Installing perl-Pod-Usage-4:2 100% |   5.3 MiB/s |  86.3 KiB |  00m00s
[ 56/112] Installing perl-Errno-0:1.38- 100% |   0.0   B/s |   8.7 KiB |  00m00s
[ 57/112] Installing perl-File-Basename 100% |   0.0   B/s |  14.6 KiB |  00m00s
[ 58/112] Installing perl-constant-0:1. 100% |  26.7 MiB/s |  27.4 KiB |  00m00s
[ 59/112] Installing perl-Scalar-List-U 100% |  76.4 MiB/s | 156.6 KiB |  00m00s
[ 60/112] Installing perl-parent-1:0.24 100% |   0.0   B/s |  11.0 KiB |  00m00s
[ 61/112] Installing perl-vars-0:1.05-5 100% |   0.0   B/s |   4.3 KiB |  00m00s
[ 62/112] Installing perl-Getopt-Std-0: 100% |   0.0   B/s |  11.7 KiB |  00m00s
[ 63/112] Installing perl-MIME-Base64-0 100% |  94.0 MiB/s |  96.3 KiB |  00m00s
[ 64/112] Installing perl-Storable-1:3. 100% | 120.1 MiB/s | 245.9 KiB |  00m00s
[ 65/112] Installing perl-overload-0:1. 100% |   0.0   B/s |  71.9 KiB |  00m00s
[ 66/112] Installing perl-Getopt-Long-1 100% | 143.8 MiB/s | 147.2 KiB |  00m00s
[ 67/112] Installing perl-Exporter-0:5. 100% |  54.3 MiB/s |  55.6 KiB |  00m00s
[ 68/112] Installing perl-PathTools-0:3 100% | 111.6 MiB/s | 228.6 KiB |  00m00s
[ 69/112] Installing perl-DynaLoader-0: 100% |   0.0   B/s |  32.5 KiB |  00m00s
[ 70/112] Installing perl-Encode-4:3.21 100% | 161.4 MiB/s |   4.8 MiB |  00m00s
[ 71/112] Installing perl-Carp-0:1.54-5 100% |  23.3 MiB/s |  47.7 KiB |  00m00s
[ 72/112] Installing perl-libs-4:5.40.1 100% | 208.7 MiB/s |  10.0 MiB |  00m00s
[ 73/112] Installing perl-interpreter-4 100% |  10.7 MiB/s | 175.8 KiB |  00m00s
[ 74/112] Installing perl-File-Compare- 100% |   0.0   B/s |   6.1 KiB |  00m00s
[ 75/112] Installing perl-File-Copy-0:2 100% |   0.0   B/s |  20.2 KiB |  00m00s
[ 76/112] Installing perl-File-Find-0:1 100% |  13.8 MiB/s |  42.5 KiB |  00m00s
[ 77/112] Installing tzdata-0:2025a-1.f 100% |  40.1 MiB/s |   1.9 MiB |  00m00s
[ 78/112] Installing python-pip-wheel-0 100% | 622.1 MiB/s |   1.2 MiB |  00m00s
[ 79/112] Installing libb2-0:0.98.1-13. 100% |  73.4 MiB/s |  75.2 KiB |  00m00s
[ 80/112] Installing expat-0:2.6.4-2.fc 100% |  20.2 MiB/s | 350.8 KiB |  00m00s
[ 81/112] Installing mpdecimal-0:4.0.0- 100% |  55.1 MiB/s | 282.3 KiB |  00m00s
[ 82/112] Installing python3-libs-0:3.1 100% | 273.3 MiB/s |  42.4 MiB |  00m00s
[ 83/112] Installing python3-0:3.13.2-2 100% |   4.6 MiB/s |  85.4 KiB |  00m00s
[ 84/112] Installing kernel-headers-0:6 100% | 152.6 MiB/s |   6.6 MiB |  00m00s
[ 85/112] Installing libxcrypt-devel-0: 100% |  16.2 MiB/s |  33.1 KiB |  00m00s
[ 86/112] Installing glibc-devel-0:2.41 100% |  85.0 MiB/s |   2.3 MiB |  00m00s
[ 87/112] Installing texlive-base-11:20 100% | 463.9 MiB/s |  19.0 MiB |  00m00s
[ 88/112] Installing m4-0:1.4.19-12.fc4 100% |  29.8 MiB/s | 610.7 KiB |  00m00s
[ 89/112] Installing emacs-filesystem-1 100% |   0.0   B/s | 544.0   B |  00m00s
[ 90/112] Installing make-1:4.4.1-10.fc 100% |  84.1 MiB/s |   1.9 MiB |  00m00s
[ 91/112] Installing libubsan-0:15.0.1- 100% | 232.6 MiB/s | 476.3 KiB |  00m00s
[ 92/112] Installing libatomic-0:15.0.1 100% |  67.8 MiB/s |  69.5 KiB |  00m00s
[ 93/112] Installing libasan-0:15.0.1-0 100% | 308.1 MiB/s |   1.5 MiB |  00m00s
[ 94/112] Installing gcc-0:15.0.1-0.8.f 100% | 347.9 MiB/s |  98.5 MiB |  00m00s
[ 95/112] Installing libzstd-devel-0:1. 100% | 102.0 MiB/s | 208.8 KiB |  00m00s
[ 96/112] Installing ocaml-0:5.3.0-2.fc 100% | 381.7 MiB/s | 142.7 MiB |  00m00s
[ 97/112] Installing ocaml-findlib-0:1. 100% | 137.0 MiB/s |   3.7 MiB |  00m00s
[ 98/112] Installing ocaml-zarith-0:1.1 100% |  81.8 MiB/s | 419.1 KiB |  00m00s
[ 99/112] Installing ocaml-compiler-lib 100% | 394.4 MiB/s | 103.3 MiB |  00m00s
[100/112] Installing gmp-c++-1:6.3.0-3. 100% |  66.7 MiB/s |  68.3 KiB |  00m00s
[101/112] Installing gmp-devel-1:6.3.0- 100% | 351.5 MiB/s | 359.9 KiB |  00m00s
[102/112] Installing ocaml-zarith-devel 100% |  73.5 MiB/s | 903.7 KiB |  00m00s
[103/112] Installing coq-core-0:8.20.1- 100% | 377.0 MiB/s | 688.7 MiB |  00m02s
[104/112] Installing coq-0:8.20.1-1.fc4 100% | 247.9 MiB/s |  79.1 MiB |  00m00s
[105/112] Installing libstdc++-devel-0: 100% | 279.7 MiB/s |  15.7 MiB |  00m00s
[106/112] Installing gcc-c++-0:15.0.1-0 100% | 299.7 MiB/s |  38.7 MiB |  00m00s
[107/112] Installing flocq-0:4.2.1-1.fc 100% | 385.8 MiB/s |  16.6 MiB |  00m00s
[108/112] Installing gcc-plugin-annobin 100% |   4.6 MiB/s |  70.8 KiB |  00m00s
[109/112] Installing annobin-plugin-gcc 100% |  49.1 MiB/s |   1.0 MiB |  00m00s
[110/112] Installing autoconf-0:2.72-4. 100% | 107.7 MiB/s |   2.8 MiB |  00m00s
[111/112] Installing remake-0:0.16-3.fc 100% |   8.5 MiB/s | 148.6 KiB |  00m00s
[112/112] Installing gappa-0:1.6.0-1.fc 100% |   3.2 MiB/s | 674.4 KiB |  00m00s
Warning: skipped OpenPGP checks for 110 packages from repositories: copr_base, http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch
Complete!
Finish: build setup for gappalib-coq-1.7.0-1.fc43.src.rpm
Start: rpmbuild gappalib-coq-1.7.0-1.fc43.src.rpm
Building target platforms: aarch64
Building for target aarch64
setting SOURCE_DATE_EPOCH=1740528000
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.LWXoE3
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ test -d /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ /usr/bin/rm -rf /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.7.0-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.op5eZb
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ rm -rf coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.7.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.MqIVLZ
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ 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.s1bG9R
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ ./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.16... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for ocamlfind... /usr/bin/ocamlfind
checking for Flocq >= 4.1... 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/ccz3g7PP.o: in function `main':
remake.cpp:(.text.startup+0xaa0): warning: the use of `tempnam' is dangerous, better use `mkstemp'

=== Summary ===
Vernacular directory    /usr/lib64/ocaml/coq/user-contrib
Plugin directory        /usr/lib64/ocaml/coq-gappa
Plugin compilation      native bytecode

configure: creating ./config.status
config.status: creating Remakefile
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j4
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
Building src/Gappa_definitions.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
Building src/Gappa_dyadic.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
Building src/Gappa_fixed.vo
Building src/Gappa_real.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_definitions.v
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo
Building src/Gappa_float.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
Building src/Gappa_pred_bnd.vo
Building src/Gappa_round.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_real.v
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
Building src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
Building src/Gappa_library.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_def.v
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_pred_abs.vo
/usr/bin/coqdep  -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  -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
Building src/Gappa_pred_fixflt.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_lin.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_pred_lin.v | ./remake -r src/Gappa_pred_lin.vo
Building src/Gappa_pred_rel.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo

Finished src/Gappa_definitions.vo
Building src/Gappa_rewriting.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
Building src/Gappa_tree.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
Building src/Gappa_user.vo
/usr/bin/coqdep  -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_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]
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep  -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_round_def.vo
Building src/Gappa_tactic_loader.v
gcc -E -DCOQVERSION=82001 -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=82001 src/gappatac.c -o src/gappatac.ml

Finished src/Gappa_obfuscate.vo

Finished src/gappatac.ml
Building src/gappatac.cmxs
Building src/gappatac.cmo
/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
/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 81, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref
File "src/gappatac.c", line 81, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref

File "src/gappatac.c", line 783, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output

File "src/gappatac.c", line 786, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output

File "src/gappatac.c", line 783, characters 6-23:
Alert deprecated: Dumpglob.continue
Use pop_output

File "src/gappatac.c", line 786, characters 2-19:
Alert deprecated: Dumpglob.continue
Use pop_output

File "src/gappatac.c", line 818, characters 14-27:
Alert deprecated: EConstr.decompose_lam
Use [decompose_lambda] instead.

File "src/gappatac.c", line 841, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.

File "src/gappatac.c", line 844, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.

File "src/gappatac.c", line 818, characters 14-27:
Alert deprecated: EConstr.decompose_lam
Use [decompose_lambda] instead.

File "src/gappatac.c", line 841, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.

File "src/gappatac.c", line 844, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.

Finished src/gappatac.cmo

Finished src/Gappa_real.vo

Finished src/Gappa_dyadic.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_aux.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_common.v

Finished src/gappatac.cmxs
Building src/Gappa_tactic_loader.vo
/usr/bin/coqdep  -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo
*** Error: in file src/Gappa_tactic_loader.v, could not find META.coq-gappa.
/usr/bin/coqc   -q -R src Gappa -I src src/Gappa_tactic_loader.v

Finished src/Gappa_tactic_loader.vo

Finished src/Gappa_common.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_tree.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_rewriting.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_nzr.v

Finished src/Gappa_round_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_fixflt.v

Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_abs.v
File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28:
Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28:
Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28:
Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 359, 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 359, characters 11-18:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_pred_fixflt.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round.v
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_tree.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_decimal.v

Finished src/Gappa_pred_abs.vo

Finished src/Gappa_rewriting.vo

Finished src/Gappa_decimal.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_bnd.v

Finished src/Gappa_round.vo

Finished src/Gappa_pred_bnd.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_rel.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_user.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_lin.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_float.v

Finished src/Gappa_user.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]
Finished src/Gappa_pred_lin.vo
File "./src/Gappa_float.v", line 352, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 352, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_fixed.vo

Finished src/Gappa_float.vo

Finished src/Gappa_pred_rel.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.IJcwBW
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ '[' /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT
++ dirname /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ mkdir /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ mkdir -p /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILD/gappalib-coq-1.7.0-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_lin.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.7.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.7.0-1.fc43 --unique-debug-suffix -1.7.0-1.fc43.aarch64 --unique-debug-src-base gappalib-coq-1.7.0-1.fc43.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.7.0-build/coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
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.7.0-1.fc43.aarch64
cpio: atomic.ml: Cannot stat: No such file or directory
cpio: big_int_Z.ml: Cannot stat: No such file or directory
cpio: buffer.ml: Cannot stat: No such file or directory
cpio: bytes.ml: Cannot stat: No such file or directory
cpio: engine/eConstr.ml: Cannot stat: No such file or directory
cpio: engine/evd.ml: Cannot stat: No such file or directory
cpio: engine/proofview.ml: Cannot stat: No such file or directory
cpio: filename.ml: Cannot stat: No such file or directory
cpio: format.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: interp/dumpglob.ml: Cannot stat: No such file or directory
cpio: kernel/constr.ml: Cannot stat: No such file or directory
cpio: kernel/context.ml: Cannot stat: No such file or directory
cpio: lib/pp.ml: Cannot stat: No such file or directory
cpio: pretyping/reductionops.ml: Cannot stat: No such file or directory
cpio: printing/ppconstr.ml: Cannot stat: No such file or directory
cpio: printing/printer.ml: Cannot stat: No such file or directory
cpio: stdlib.ml: Cannot stat: No such file or directory
cpio: string.ml: Cannot stat: No such file or directory
cpio: tactics/tacticals.ml: Cannot stat: No such file or directory
cpio: vernac/mltop.ml: Cannot stat: No such file or directory
cpio: z.ml: Cannot stat: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT
Scanned 18 directories and 51 files,
               processed 0 inodes,
               0 modified (0 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/gappalib-coq-1.7.0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.zl6jYx
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ remake check
Building testsuite/check
Finished testsuite/check
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappalib-coq-1.7.0-1.fc43.aarch64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.mSKLAB
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ DOCDIR=/builddir/build/BUILD/gappalib-coq-1.7.0-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.7.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.7.0-build/coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec/AUTHORS /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.7.0-build/coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec/NEWS.md /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.7.0-build/coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec/README.md /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.uQaHsa
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ cd coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec
+ LICENSEDIR=/builddir/build/BUILD/gappalib-coq-1.7.0-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.7.0-build/BUILDROOT/usr/share/licenses/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.7.0-build/coq-gappalib-coq-1.7.0-7b828a0674e600cf14d79733c3c19b048ac9beec/COPYING /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.7.0-1.fc43 gappalib-coq(aarch-64) = 1.7.0-1.fc43 ocaml(Gappatac) = ebcbbf43c290df3ca91b8973625e6e9e
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = 5b6162665b6770444ff15619f33a071e ocaml(Attributes) = c3fa9d9f0a5421abd96fda2108855b0b ocaml(Big_int_Z) = f7619514b131a39933cc9ce06f741304 ocaml(CArray) = 20ac17dc016f839cb39615a047ff6b91 ocaml(CAst) = 6fa624f0b0c2a6ba704ffb9c89d7b033 ocaml(CClosure) = 97b257731d00ef378e346b8fd4cae368 ocaml(CDebug) = 0fb90e2b6aa21c2e475f8766a70741e8 ocaml(CEphemeron) = e90cf7269b8d34c27884e550bef7c36a ocaml(CErrors) = 93e96dad50558b9ff3d496671d0d7d8b ocaml(CLexer) = 2b196fb19608f4037cbf977d114a6bca ocaml(CList) = c46eef275e72d0d97ac097e6159cdf50 ocaml(CMap) = 8d2506e7f7f0d60de33fdc52ad81e44b ocaml(CPrimitives) = c51959be0881d4b25323caca60a257b7 ocaml(CSet) = c13a40ef51d41a723343eea390a5975e ocaml(CSig) = 479346196fd79eb1c4d45d24d048a7f2 ocaml(CString) = 46d2ad546ea954adcb36675b763d4c52 ocaml(CUnix) = 9c276f69283fc14199d356296d980904 ocaml(CWarnings) = b794d947377113477b0279d03bf68b8c ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(Coercionops) = c5396960098f5dd6c842db6a9f7e680d ocaml(Constr) = d6eda38ba76f7328e2b0411ecd2bf8bc ocaml(Constrexpr) = d4a68c0d9cd3f64a80975d2a45609e45 ocaml(Constrintern) = 72a24df44f30b32c8c5c3ee74659be96 ocaml(Context) = bf672005d568f3596332a534a8a3724b ocaml(Conv_oracle) = 8e945e43f41f5850b8717643a0c28427 ocaml(Conversion) = cf33e127d6666ca68057c7254fb34d9f ocaml(Cooking) = 69d3d4c4c43e0d5a5e661f4419db0a74 ocaml(Coqlib) = a73605b66af5ce5e60a5daa46e02b121 ocaml(DAst) = 149db4c7b3bd813006916ab95ca186aa ocaml(Declarations) = 8afdd0933a816747880f8a650eb1b958 ocaml(Declare) = 6d01072b9e0d9b6dcc3756e3e3ed68c0 ocaml(Declaremods) = fa443957e0c61a84da5a7e596d1ac496 ocaml(Decls) = 6b58098f509f26d4e45a91e1ab85e8f4 ocaml(Deprecation) = 94f109954ef08bb53f1f6a79d161ffae ocaml(Dumpglob) = 217adf75a21639f2eaad472e356461cb ocaml(Dyn) = c9862cfd4faa268471cdea6849a4ad1b ocaml(EConstr) = 43132a89584d0c739e6e2901123d6858 ocaml(Entries) = 01e1e1b25801ed793db950a64391ceb9 ocaml(Environ) = a46a838559f3f3e1af6a4a7cb3229b48 ocaml(Equality) = 9e62b5e136ef858a1cd91d4a0f07340c ocaml(Esubst) = c5c1c080fb1905eee2ad25af124a6730 ocaml(Evaluable) = 39697ba2c4c9458440e97344f4dd52ab ocaml(Evar) = e709af720aa0e970f9baca654c18153e ocaml(Evar_kinds) = 79ae33f2e7db527cc49432d9848d5493 ocaml(Evardefine) = 48811f42a4508fd770bece5a61139888 ocaml(Evarsolve) = 88c3270f03394c99203899f48109e263 ocaml(Evarutil) = 204e6e43b4537d5165a3a3bdcd814c19 ocaml(Evd) = d91ab9a16ec36da1368f0baa17b316f4 ocaml(Exninfo) = 7fe9503d1122956e200720c29a35a93f ocaml(Extend) = bd8e026f9042cf8d0167060078bf32d8 ocaml(Float64) = 5b5dfb7165f171598e5d47e44efd5176 ocaml(Ftactic) = b0716b0e836fb2b18fd7f5fef5731ade ocaml(Future) = 377ff13c8e35c155136b11b45c2b4353 ocaml(Genarg) = e33d876a5678dc16926aa69149c41266 ocaml(Generalize) = eb3410960ddf4038e21b6d38d79ab43e ocaml(Genintern) = f29c3297b42a786bf859a7934feb52f5 ocaml(Geninterp) = 8583c8b50d446e374692cb60934dfa81 ocaml(Genlambda) = 7802ba1b267af533bc7e5849b7d117e5 ocaml(Genprint) = 583b4790089ca79a565ef2cf29b76722 ocaml(Genredexpr) = 827b402f8674168885a67b63c434bd7e ocaml(Gensubst) = d5118265c901f58cdba5cf2892edc2d0 ocaml(GlobEnv) = 4ef8b6e5096e7e927de56c019d1e706b ocaml(Glob_term) = 2f51bf2c2b779d6e3289f7b570ce3653 ocaml(Global) = 10ff8c365a50a388d3249f6468e2b83a ocaml(Globnames) = ee0e44a35061e0e24f8a2748d1fb0db8 ocaml(Goal_select) = 77d4d88928268ef2b6648b4988b43519 ocaml(Goptions) = 4b4aa0c8d8ede2c6317692d240dab139 ocaml(Gramlib) = 5e8866c45d7eabe9c58a765dff70dc74 ocaml(Gramlib__Gramext) = e4258f5a39266937c5f78e745c8665a7 ocaml(Gramlib__Grammar) = f6da34f8b8c36b4263070a69952fc032 ocaml(Gramlib__LStream) = 59292f5d076a798c5b5c94e956799dfd ocaml(Gramlib__Plexing) = b415921d31d6c88d74dea576a7acff87 ocaml(Gramlib__Stream) = 73d854b98b0e7be9330f742c5831a932 ocaml(Hashcons) = c0f32ac191ef63cfd7b6277561b4c7e6 ocaml(Hashset) = fdfee9d55cd6d12cfc4c4d99a20ccd26 ocaml(Hints) = 436a5d55d5c6440e93fbca33d5b02460 ocaml(Hook) = b82cd7540660fc834afb41353ffd2447 ocaml(Impargs) = 143a57eead4f13fc7cc25b07e93fc131 ocaml(Ind_tables) = 6800e19729059d80f4a9e81383d673c5 ocaml(Inductive) = a030847598b2fd7c857d759a6e6f9322 ocaml(Int) = db1be3efef30e32c52e46c1d74d9662e ocaml(Inv) = 78775c0446a65262bee3f06d97108c8d ocaml(Lib) = 303839349aeaf83f6116ca312ade40df ocaml(Libnames) = ce6491cef67fb867761679be50cf7f01 ocaml(Libobject) = afd6cab07b3ec1b985ab2fea037674e7 ocaml(Library_info) = d7ee2891538c5a5be16f2033efb9a778 ocaml(Loc) = 4182b80fe772365dc58a5e141bf3c080 ocaml(Locality) = a1b61e58fffdf38f0aea7979d3cd2d93 ocaml(Locus) = 8d0ca15bd81d7fd61e91b5a389f7ab28 ocaml(Logic) = 9ccad7bfc6f1a2e3d1ce55f619b362ef ocaml(Logic_monad) = 698f0d0633112cf36574e51516345e7c ocaml(Ltac_plugin) = 56deda90094087d03489a21116b3ea26 ocaml(Ltac_plugin__Pptactic) = 5af380d6906d66999d0eff7590053aa1 ocaml(Ltac_plugin__Tacentries) = 679d74697eb116c55198344a763bdefb ocaml(Ltac_plugin__Tacexpr) = 7db83fd27c07d92ac374dd348b218494 ocaml(Ltac_pretype) = 8aa9c663a5afe185d4ba92f0c18cd069 ocaml(Metasyntax) = 2cf2e1b858f7a6d3f3c56dd38a47405f ocaml(Mltop) = 638a9969f171d530fe649d87f35c2a74 ocaml(Mod_subst) = 187e7f85f7ef09dbc4787d96a820c54c ocaml(Modintern) = 4b9eb8294e5859d1f490109cc2838f9b ocaml(Monad) = 43000a3b17354ffe6d767f62fa6d1576 ocaml(Namegen) = 47e2bec25115c063f812da504f1a8fc6 ocaml(Nameops) = 97e8331b4bda71b40f38020d352b086f ocaml(Names) = 1a8e47b57ed957add8c10658be5125a5 ocaml(Nametab) = d67b91ccb8d735148efe2cf4f9e19b48 ocaml(Nativecode) = 783cccfe509ccafede8c0a7d8a1a2c5e ocaml(Nativelib) = 27e82e4a3ff31d58072965c4e6c073d6 ocaml(Nativevalues) = aa9af1442f2f8989e1cc058733874f28 ocaml(NeList) = bcc03f8abdefe9bed85d0b51ff3292c4 ocaml(Notation) = 51883dabac92a6e8d0f72d35f595f8c3 ocaml(Notation_term) = 20254ceca22205ac8f6472340322c509 ocaml(Notationextern) = 4ed8d2a7b42439174d8c8392cc0f6f36 ocaml(NumTok) = 872aca850fd32193fd60e0890f930816 ocaml(ObjFile) = 490e715090485c2f7b942e981ef5ea14 ocaml(Opaqueproof) = e70d845e080fa0b5435c6e0ce32c0871 ocaml(Opaques) = 0762ec2cbda39e7e6b7cbb0ca11f97bb ocaml(Parray) = c0d50213c47a2c6d9aef6d1e8503f493 ocaml(Partial_subst) = c91d210a7bf4ed4d9b6aae6f9b231d81 ocaml(Pattern) = f0a44ce967c6feab8f21dbed56875c77 ocaml(Pcoq) = 759ab4871b85f74c590f75a98d46127d ocaml(Pp) = cb19ac72d9188bf01d0db95fb01a4506 ocaml(Predicate) = 7f40f26b4b4821ae99ca34e9081ca78a ocaml(Pretype_errors) = 19ce824e5440992294e151d1cc0fc064 ocaml(Pretyping) = 4294436c305dcefb01590a3690bfb13c ocaml(Primred) = 2d65c4aac4f45ade7deba1c812b98b82 ocaml(Printer) = d3cb22c67cdef00034d875780e1c556d ocaml(Proof) = e269a11e12ba0295293a9735c0acc011 ocaml(Proof_bullet) = 68537e67fcaeada662402950c2deef87 ocaml(Proofview) = e782b98d515b8c9c26ca0a45cdd41415 ocaml(Proofview_monad) = 827be21d38cb11f669c467de903e70ed ocaml(Pstring) = 57cfb77263e539d2652749da1689d5ac ocaml(Pvernac) = e5b40066b35a5f0b849cd8335297b80b ocaml(Range) = e0afb205e6acb47b2285e331ae1218ef ocaml(RedFlags) = a2871b09bd7d3d8ff64d6eb5ff2587f0 ocaml(Redexpr) = 2d628f7e1d0adeb4af63df2f84855f19 ocaml(Reductionops) = ef09b58aadbd953b4345952c42eaf54b ocaml(RetrieveObl) = 21232d1870e5e26cd3b5afec9109f7ee ocaml(Retroknowledge) = e384d0cef1fdedec170bae9d755b6f90 ocaml(Rewrite) = 2535f94ec063915ee2ef0b35e40c5e82 ocaml(Rtree) = a1cf3be85844b6bed514e0186b121790 ocaml(SList) = c9318dfa9fba54497783369c2ce3cbde ocaml(Safe_typing) = a92c48c3f39bd1b3721b5766b19006eb ocaml(Section) = 3fd69ff7de1c496e4353075801d6f60c ocaml(Sorts) = 5efd6d0be21b73a66bf9cb2d3b288869 ocaml(Stateid) = aa8ca127a02a2a32952144eeba8fe2bf ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Digest) = 79b5d577ed7cbf094b2a76c06479bd89 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Result) = 6920dcf20eda193a914bab41ae83ca87 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Store) = 5cbd2711c758f76ab762c29560da2aef ocaml(Summary) = 7ae134614f91457b7310e8fb1d7609d6 ocaml(Tacmach) = 4fe5f61598dac8d7cff13cc9325b8b07 ocaml(Tacred) = 5356574be223d93a60b68941de8882b6 ocaml(Tacticals) = ea76a61c0341b3e1dd7c6dc67cecf0ed ocaml(Tactics) = 11012f821964d4d602e25e6976aee3bb ocaml(Tactypes) = 463fe302b0d932a7b18216a8984d1904 ocaml(Term) = de7f1dd45cd1c20f5772b18278089704 ocaml(Tok) = a2cc5faf114da628e623d963a8d8e820 ocaml(TransparentState) = 8cfdf48fb21813ef6fe142075f460b84 ocaml(Type_errors) = 10675e980aacdc41ec1da43969d4baea ocaml(Typeclasses) = 3f4e47231ada2a446c93f35a04c0c1e7 ocaml(UGraph) = e6872e4f3eb60c3f7d1b3894938d6ec4 ocaml(UState) = bf1805b730ee0cf6dcbecfa7013332a3 ocaml(UVars) = 0a5fa50d21b0f6f5bdc54193e949d2a0 ocaml(Uint63) = 7ab8a2a08870ba8e922cf414e93a32a3 ocaml(Unification) = eab525d147651298311c18fcfd57152d ocaml(Univ) = 32f263716573cac3af37f3b01e0b2d5c ocaml(UnivFlex) = 68c929064b74e5ef677f8027420bc9a7 ocaml(UnivGen) = 5db239f187b8d6b2659987d39a97c4b2 ocaml(UnivNames) = dcd5d9919aeade172892a4247c0f1dda ocaml(UnivProblem) = 26da851c256aeb11754821426302f718 ocaml(UnivSubst) = 6241181b2bea65d44129b2ed18b32db8 ocaml(Unix) = 868346220c1cf1283db920a0b40698e5 ocaml(UserWarn) = 96e27fde0fc1a3e843be3048edd15dd8 ocaml(Util) = 856b910a5158827691cfde876269bf7b ocaml(Values) = bca8b87a03f8fb20a7346bbb331321f8 ocaml(Vars) = b313257c639fb123a733d892595e4343 ocaml(Vernacexpr) = 8aab53b0a78747f70cc48483eb60eb52 ocaml(Vernacextend) = 5c1cc0e13b39494e51df606557fae445 ocaml(Vernacstate) = b3820de49ec5b1066a91c52c6786f401 ocaml(Vernactypes) = d6f2549534bc85630fac698d64a59cf4 ocaml(Vmbytecodes) = 120de1872ffc1ad4a7fb554282177980 ocaml(Vmemitcodes) = cfd0d4b22ae0cfe8c37beb2f5fa1a23d ocaml(Vmlibrary) = 407dd49d6430f77772d5d04e5ec2b440 ocaml(Vmvalues) = 16c53c235356e18df60ddf1fbd08d40c ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.7.0-1.fc43.aarch64
Provides: gappalib-coq-source = 1.7.0-1.fc43 gappalib-coq-source(aarch-64) = 1.7.0-1.fc43
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.7.0-1.fc43.aarch64
Provides: gappalib-coq-debugsource = 1.7.0-1.fc43 gappalib-coq-debugsource(aarch-64) = 1.7.0-1.fc43
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.7.0-1.fc43.aarch64
Provides: debuginfo(build-id) = 3a47bb057ed9701ce227268a9527bdd903271d43 gappalib-coq-debuginfo = 1.7.0-1.fc43 gappalib-coq-debuginfo(aarch-64) = 1.7.0-1.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(aarch-64) = 1.7.0-1.fc43
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappalib-coq-1.7.0-build/BUILDROOT
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.7.0-1.fc43.aarch64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.7.0-1.fc43.aarch64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.7.0-1.fc43.aarch64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.7.0-1.fc43.aarch64.rpm
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.OydTlp
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ test -d /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ rm -rf /builddir/build/BUILD/gappalib-coq-1.7.0-build
+ RPM_EC=0
++ jobs -p
+ exit 0
Finish: rpmbuild gappalib-coq-1.7.0-1.fc43.src.rpm
Finish: build phase for gappalib-coq-1.7.0-1.fc43.src.rpm
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-41-aarch64-1740610459.707992/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.7.0-1.fc43.src.rpm) Config(child) 0 minutes 38 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-debugsource",
            "epoch": null,
            "version": "1.7.0",
            "release": "1.fc43",
            "arch": "aarch64"
        },
        {
            "name": "gappalib-coq",
            "epoch": null,
            "version": "1.7.0",
            "release": "1.fc43",
            "arch": "src"
        },
        {
            "name": "gappalib-coq-debuginfo",
            "epoch": null,
            "version": "1.7.0",
            "release": "1.fc43",
            "arch": "aarch64"
        },
        {
            "name": "gappalib-coq-source",
            "epoch": null,
            "version": "1.7.0",
            "release": "1.fc43",
            "arch": "aarch64"
        },
        {
            "name": "gappalib-coq",
            "epoch": null,
            "version": "1.7.0",
            "release": "1.fc43",
            "arch": "aarch64"
        }
    ]
}
RPMResults finished