Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c1d5' (ED25519) to the list of known hosts.

You can reproduce this build on your computer by running:

  sudo dnf install copr-rpmbuild
  /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/7071746-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64


Version: 0.70
PID: 20399
Logging PID: 20400
Task:
{'appstream': False,
 'background': False,
 'build_id': 7071746,
 'buildroot_pkgs': [],
 'chroot': 'fedora-rawhide-x86_64',
 'enable_net': False,
 'fedora_review': False,
 'git_hash': '1ae28745c8cb8dde973a8723fec177e1468a36ec',
 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-pip-2ebe6bf4/gappalib-coq',
 'isolation': 'default',
 'memory_reqs': 2048,
 'package_name': 'gappalib-coq',
 'package_version': '1.5.4-4',
 'project_dirname': 'python-pip-2ebe6bf4',
 'project_name': 'python-pip-2ebe6bf4',
 'project_owner': 'thrnciar',
 'repo_priority': None,
 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/thrnciar/python-pip-2ebe6bf4/fedora-rawhide-x86_64/',
            'id': 'copr_base',
            'name': 'Copr repository',
            'priority': None}],
 'sandbox': 'thrnciar/python-pip-2ebe6bf4--thrnciar',
 'source_json': {},
 'source_type': None,
 'submitter': 'thrnciar',
 'tags': [],
 'task_id': '7071746-fedora-rawhide-x86_64',
 'timeout': 18000,
 'uses_devel_repo': False,
 'with_opts': [],
 'without_opts': []}

Running: git clone https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-pip-2ebe6bf4/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq --depth 500 --no-single-branch --recursive

cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-pip-2ebe6bf4/gappalib-coq', '/var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq'...

Running: git checkout 1ae28745c8cb8dde973a8723fec177e1468a36ec --

cmd: ['git', 'checkout', '1ae28745c8cb8dde973a8723fec177e1468a36ec', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq
rc: 0
stdout: 
stderr: Note: switching to '1ae28745c8cb8dde973a8723fec177e1468a36ec'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at 1ae2874 automatic import of gappalib-coq

Running: copr-distgit-client sources

cmd: ['copr-distgit-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq
rc: 0
stdout: 
stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD
INFO: Reading stdout from command: git rev-parse HEAD
INFO: Reading sources specification file: sources
INFO: Downloading gappalib-coq-1.5.4.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o gappalib-coq-1.5.4.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/thrnciar/python-pip-2ebe6bf4/gappalib-coq/gappalib-coq-1.5.4.tar.gz/md5/c31bf640185fd3b34d6d1ceb583b7c4a/gappalib-coq-1.5.4.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 82052  100 82052    0     0   937k      0 --:--:-- --:--:-- --:--:--  942k
/usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated
INFO: Reading stdout from command: md5sum gappalib-coq-1.5.4.tar.gz

Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1709178743.586702 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
INFO: mock.py version 5.5 starting (python version = 3.12.1, NVR = mock-5.5-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1709178743.586702 -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-yncy9ert/gappalib-coq/gappalib-coq.spec)  Config(fedora-rawhide-x86_64)
Start: clean chroot
Finish: clean chroot
Mock Version: 5.5
INFO: Mock Version: 5.5
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1709178743.586702/root.
INFO: calling preinit hooks
INFO: enabled root cache
INFO: enabled package manager cache
Start(bootstrap): cleaning package manager metadata
Finish(bootstrap): cleaning package manager metadata
INFO: Guessed host environment type: unknown
INFO: Using bootstrap image: registry.fedoraproject.org/fedora:rawhide
INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide
INFO: Copy content of container registry.fedoraproject.org/fedora:rawhide to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1709178743.586702/root
INFO: Checking that registry.fedoraproject.org/fedora:rawhide image matches host's architecture
INFO: mounting registry.fedoraproject.org/fedora:rawhide with podman image mount
INFO: image registry.fedoraproject.org/fedora:rawhide as /var/lib/containers/storage/overlay/48a2c6fc7b98e0c1b5490ae35ea42b03452a2c2274a6c850ea9e24c5a48cfd69/merged
INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/48a2c6fc7b98e0c1b5490ae35ea42b03452a2c2274a6c850ea9e24c5a48cfd69/merged) with podman image umount
INFO: Using 'dnf' instead of 'dnf5' for bootstrap chroot
INFO: Package manager dnf detected and used (fallback)
INFO: Bootstrap image not marked ready
Start(bootstrap): installing dnf5 tooling
No matches found for the following disable plugin patterns: local, spacewalk, versionlock
Copr repository                                  15 MB/s | 3.0 MB     00:00    
fedora                                          362 kB/s |  20 MB     00:56    
Last metadata expiration check: 0:00:01 ago on Thu Feb 29 03:53:23 2024.
Dependencies resolved.
================================================================================
 Package             Architecture  Version               Repository        Size
================================================================================
Installing:
 dnf5                x86_64        5.1.13-1.fc41         fedora           605 k
 dnf5-plugins        x86_64        5.1.13-1.fc41         fedora           352 k
Installing dependencies:
 fmt                 x86_64        10.2.1-3.fc41         copr_base        126 k
 libdnf5             x86_64        5.1.13-1.fc41         fedora           990 k
 libdnf5-cli         x86_64        5.1.13-1.fc41         fedora           263 k
 sdbus-cpp           x86_64        1.5.0-1.fc41          fedora           113 k

Transaction Summary
================================================================================
Install  6 Packages

Total download size: 2.4 M
Installed size: 6.6 M
Downloading Packages:
(1/6): fmt-10.2.1-3.fc41.x86_64.rpm             1.9 MB/s | 126 kB     00:00    
(2/6): dnf5-plugins-5.1.13-1.fc41.x86_64.rpm     45 kB/s | 352 kB     00:07    
(3/6): dnf5-5.1.13-1.fc41.x86_64.rpm             44 kB/s | 605 kB     00:13    
(4/6): libdnf5-cli-5.1.13-1.fc41.x86_64.rpm      42 kB/s | 263 kB     00:06    
(5/6): libdnf5-5.1.13-1.fc41.x86_64.rpm          70 kB/s | 990 kB     00:14    
(6/6): sdbus-cpp-1.5.0-1.fc41.x86_64.rpm         39 kB/s | 113 kB     00:02    
--------------------------------------------------------------------------------
Total                                           146 kB/s | 2.4 MB     00:16     
Running transaction check
Transaction check succeeded.
Running transaction test
Transaction test succeeded.
Running transaction
  Preparing        :                                                        1/1 
  Installing       : fmt-10.2.1-3.fc41.x86_64                               1/6 
  Installing       : libdnf5-5.1.13-1.fc41.x86_64                           2/6 
  Installing       : libdnf5-cli-5.1.13-1.fc41.x86_64                       3/6 
  Installing       : dnf5-5.1.13-1.fc41.x86_64                              4/6 
  Installing       : sdbus-cpp-1.5.0-1.fc41.x86_64                          5/6 
  Installing       : dnf5-plugins-5.1.13-1.fc41.x86_64                      6/6 
  Running scriptlet: dnf5-plugins-5.1.13-1.fc41.x86_64                      6/6 

Installed:
  dnf5-5.1.13-1.fc41.x86_64              dnf5-plugins-5.1.13-1.fc41.x86_64      
  fmt-10.2.1-3.fc41.x86_64               libdnf5-5.1.13-1.fc41.x86_64           
  libdnf5-cli-5.1.13-1.fc41.x86_64       sdbus-cpp-1.5.0-1.fc41.x86_64          

Complete!
INFO: Switching package manager from dnf to the dnf5 (direct choice)
Finish(bootstrap): installing dnf5 tooling
Start(bootstrap): creating root cache
Finish(bootstrap): creating root cache
Finish(bootstrap): chroot init
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1709178743.586702/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.19.1.1-1.fc40.x86_64
  rpm-sequoia-1.6.0-2.fc40.x86_64
  python3-dnf-4.19.0-1.fc40.noarch
  yum-4.19.0-1.fc40.noarch
  dnf5-5.1.13-1.fc41.x86_64
  dnf5-plugins-5.1.13-1.fc41.x86_64
Start: installing minimal buildroot with dnf5
Updating and loading repositories:
 fedora                                 100% | 617.8 KiB/s |  17.3 KiB |  00m00s
 Copr repository                        100% |  45.2 KiB/s |   1.5 KiB |  00m00s
 Copr repository                        100% |  19.2 MiB/s |   3.0 MiB |  00m00s
Repositories loaded.
Package                           Arch   Version                    Repository      Size
Installing group/module packages:                                                       
 bash                             x86_64 5.2.26-3.fc40              fedora       8.1 MiB
 bzip2                            x86_64 1.0.8-18.fc40              fedora      91.7 KiB
 coreutils                        x86_64 9.4-6.fc40                 fedora       5.8 MiB
 cpio                             x86_64 2.15-1.fc40                fedora       1.1 MiB
 diffutils                        x86_64 3.10-5.fc40                fedora       1.6 MiB
 fedora-release-common            noarch 41-0.6                     copr_base   19.2 KiB
 findutils                        x86_64 1:4.9.0-8.fc40             fedora       1.5 MiB
 gawk                             x86_64 5.3.0-3.fc40               fedora       1.7 MiB
 glibc-minimal-langpack           x86_64 2.39.9000-3.fc41           fedora       0.0   B
 grep                             x86_64 3.11-7.fc40                fedora       1.0 MiB
 gzip                             x86_64 1.13-1.fc40                fedora     385.0 KiB
 info                             x86_64 7.1-2.fc40                 fedora     357.8 KiB
 patch                            x86_64 2.7.6-24.fc40              fedora     262.8 KiB
 redhat-rpm-config                noarch 285-1.fc41                 fedora     185.1 KiB
 rpm-build                        x86_64 4.19.1.1-1.fc40            fedora     173.7 KiB
 sed                              x86_64 4.9-1.fc40                 fedora     861.5 KiB
 shadow-utils                     x86_64 2:4.15.0rc2-1.fc41         fedora       4.1 MiB
 tar                              x86_64 2:1.35-3.fc40              fedora       2.9 MiB
 unzip                            x86_64 6.0-63.fc40                fedora     382.8 KiB
 util-linux                       x86_64 2.40-0.9.rc1.fc41          fedora       3.7 MiB
 which                            x86_64 2.21-41.fc40               fedora      80.2 KiB
 xz                               x86_64 5.4.6-1.fc40               fedora       2.0 MiB
Installing dependencies:                                                                
 alternatives                     x86_64 1.26-3.fc41                copr_base   62.3 KiB
 ansible-srpm-macros              noarch 1-14.fc40                  fedora      35.7 KiB
 audit-libs                       x86_64 4.0-8.fc41                 copr_base  311.3 KiB
 authselect                       x86_64 1.5.0-5.fc41               copr_base  153.6 KiB
 authselect-libs                  x86_64 1.5.0-5.fc41               copr_base  818.3 KiB
 basesystem                       noarch 11-20.fc40                 fedora       0.0   B
 binutils                         x86_64 2.42.50-4.fc41             copr_base   26.6 MiB
 binutils-gold                    x86_64 2.42.50-4.fc41             copr_base    2.0 MiB
 bzip2-libs                       x86_64 1.0.8-18.fc40              fedora      80.7 KiB
 ca-certificates                  noarch 2023.2.62_v7.0.401-6.fc41  copr_base    2.3 MiB
 coreutils-common                 x86_64 9.4-6.fc40                 fedora      11.4 MiB
 cracklib                         x86_64 2.9.11-5.fc40              fedora     238.9 KiB
 crypto-policies                  noarch 20240201-2.git9f501f3.fc41 copr_base  149.3 KiB
 curl                             x86_64 8.6.0-7.fc41               copr_base  734.6 KiB
 cyrus-sasl-lib                   x86_64 2.1.28-19.fc41             copr_base    2.3 MiB
 debugedit                        x86_64 5.0-14.fc40                fedora     199.0 KiB
 dwz                              x86_64 0.15-6.fc41                copr_base  290.9 KiB
 ed                               x86_64 1.20.1-1.fc41              fedora     146.5 KiB
 efi-srpm-macros                  noarch 5-11.fc40                  fedora      40.1 KiB
 elfutils                         x86_64 0.190-6.fc41               copr_base    2.5 MiB
 elfutils-debuginfod-client       x86_64 0.190-6.fc41               copr_base   64.9 KiB
 elfutils-default-yama-scope      noarch 0.190-6.fc41               copr_base    1.8 KiB
 elfutils-libelf                  x86_64 0.190-6.fc41               copr_base    1.0 MiB
 elfutils-libs                    x86_64 0.190-6.fc41               copr_base  642.1 KiB
 fedora-gpg-keys                  noarch 41-0.1                     fedora     125.0 KiB
 fedora-release                   noarch 41-0.6                     copr_base    0.0   B
 fedora-release-identity-basic    noarch 41-0.6                     copr_base  694.0   B
 fedora-repos                     noarch 41-0.1                     fedora       4.9 KiB
 fedora-repos-rawhide             noarch 41-0.1                     fedora       2.2 KiB
 file                             x86_64 5.45-5.fc41                copr_base  103.5 KiB
 file-libs                        x86_64 5.45-5.fc41                copr_base    9.9 MiB
 filesystem                       x86_64 3.18-8.fc40                fedora     106.0   B
 fonts-srpm-macros                noarch 1:2.0.5-14.fc40            fedora      55.3 KiB
 forge-srpm-macros                noarch 0.2.0-3.fc41               copr_base   37.4 KiB
 fpc-srpm-macros                  noarch 1.3-12.fc40                fedora     144.0   B
 gdb-minimal                      x86_64 14.1-8.fc40                fedora      12.3 MiB
 gdbm                             x86_64 1:1.23-6.fc40              fedora     460.9 KiB
 gdbm-libs                        x86_64 1:1.23-6.fc40              fedora     121.9 KiB
 ghc-srpm-macros                  noarch 1.6.1-5.fc40               fedora     369.0   B
 glibc                            x86_64 2.39.9000-3.fc41           fedora       6.7 MiB
 glibc-common                     x86_64 2.39.9000-3.fc41           fedora       1.0 MiB
 glibc-gconv-extra                x86_64 2.39.9000-3.fc41           fedora       7.8 MiB
 gmp                              x86_64 1:6.3.0-1.fc41             fedora     803.4 KiB
 gnat-srpm-macros                 noarch 6-5.fc40                   fedora       1.0 KiB
 go-srpm-macros                   noarch 3.4.0-2.fc40               fedora      60.6 KiB
 jansson                          x86_64 2.13.1-9.fc40              fedora      88.3 KiB
 kernel-srpm-macros               noarch 1.0-22.fc40                fedora       1.9 KiB
 keyutils-libs                    x86_64 1.6.3-3.fc40               fedora      54.4 KiB
 krb5-libs                        x86_64 1.21.2-5.fc40              fedora       2.3 MiB
 libacl                           x86_64 2.3.2-1.fc40               fedora      40.0 KiB
 libarchive                       x86_64 3.7.2-3.fc40               fedora     914.6 KiB
 libattr                          x86_64 2.5.2-3.fc40               fedora      28.5 KiB
 libblkid                         x86_64 2.40-0.9.rc1.fc41          fedora     237.0 KiB
 libbrotli                        x86_64 1.1.0-3.fc41               copr_base  829.5 KiB
 libcap                           x86_64 2.69-3.fc40                fedora     217.2 KiB
 libcap-ng                        x86_64 0.8.4-4.fc40               fedora      73.1 KiB
 libcom_err                       x86_64 1.47.0-5.fc41              copr_base   67.2 KiB
 libcurl                          x86_64 8.6.0-7.fc41               copr_base  772.8 KiB
 libeconf                         x86_64 0.5.2-3.fc40               fedora      52.0 KiB
 libevent                         x86_64 2.1.12-12.fc40             fedora     895.6 KiB
 libfdisk                         x86_64 2.40-0.9.rc1.fc41          fedora     363.3 KiB
 libffi                           x86_64 3.4.4-7.fc40               fedora      81.6 KiB
 libgcc                           x86_64 14.0.1-0.7.fc41            fedora     270.6 KiB
 libgomp                          x86_64 14.0.1-0.7.fc41            fedora     518.0 KiB
 libidn2                          x86_64 2.3.7-1.fc40               fedora     329.1 KiB
 libmount                         x86_64 2.40-0.9.rc1.fc41          fedora     352.1 KiB
 libnghttp2                       x86_64 1.59.0-2.fc40              fedora     166.1 KiB
 libnsl2                          x86_64 2.0.1-1.fc40               fedora      57.9 KiB
 libpkgconf                       x86_64 2.1.0-1.fc40               fedora      74.2 KiB
 libpsl                           x86_64 0.21.5-3.fc40              fedora      80.5 KiB
 libpwquality                     x86_64 1.4.5-9.fc40               fedora     417.8 KiB
 libselinux                       x86_64 3.6-4.fc40                 fedora     173.0 KiB
 libsemanage                      x86_64 3.6-3.fc40                 fedora     293.5 KiB
 libsepol                         x86_64 3.6-3.fc40                 fedora     802.0 KiB
 libsmartcols                     x86_64 2.40-0.9.rc1.fc41          fedora     180.7 KiB
 libssh                           x86_64 0.10.6-4.fc40              fedora     509.3 KiB
 libssh-config                    noarch 0.10.6-4.fc40              fedora     277.0   B
 libstdc++                        x86_64 14.0.1-0.7.fc41            fedora       2.8 MiB
 libtasn1                         x86_64 4.19.0-6.fc40              fedora     175.7 KiB
 libtirpc                         x86_64 1.3.4-1.rc2.fc40.2         fedora     202.8 KiB
 libtool-ltdl                     x86_64 2.4.7-10.fc40              fedora      66.2 KiB
 libunistring                     x86_64 1.1-7.fc41                 fedora       1.7 MiB
 libutempter                      x86_64 1.2.1-13.fc40              fedora      57.7 KiB
 libuuid                          x86_64 2.40-0.9.rc1.fc41          fedora      37.6 KiB
 libverto                         x86_64 0.3.2-8.fc40               fedora      29.5 KiB
 libxcrypt                        x86_64 4.4.36-5.fc40              fedora     262.8 KiB
 libxml2                          x86_64 2.12.5-1.fc40              fedora       1.7 MiB
 libzstd                          x86_64 1.5.5-5.fc40               fedora     772.0 KiB
 lua-libs                         x86_64 5.4.6-5.fc40               fedora     281.1 KiB
 lua-srpm-macros                  noarch 1-13.fc40                  fedora       1.3 KiB
 lz4-libs                         x86_64 1.9.4-6.fc40               fedora     129.4 KiB
 mpfr                             x86_64 4.2.1-3.fc40               fedora     832.0 KiB
 ncurses-base                     noarch 6.4-12.20240127.fc40       fedora     326.2 KiB
 ncurses-libs                     x86_64 6.4-12.20240127.fc40       fedora     963.2 KiB
 ocaml-srpm-macros                noarch 9-3.fc40                   fedora       1.9 KiB
 openblas-srpm-macros             noarch 2-16.fc40                  fedora     104.0   B
 openldap                         x86_64 2.6.7-1.fc40               fedora     635.1 KiB
 openssl-libs                     x86_64 1:3.2.1-2.fc40             fedora       7.8 MiB
 p11-kit                          x86_64 0.25.3-4.fc40              fedora       2.2 MiB
 p11-kit-trust                    x86_64 0.25.3-4.fc40              fedora     391.4 KiB
 package-notes-srpm-macros        noarch 0.5-11.fc40                fedora       1.6 KiB
 pam                              x86_64 1.6.0-2.fc41               fedora       1.8 MiB
 pam-libs                         x86_64 1.6.0-2.fc41               fedora     135.0 KiB
 pcre2                            x86_64 10.42-2.fc40.2             fedora     637.6 KiB
 pcre2-syntax                     noarch 10.42-2.fc40.2             fedora     235.1 KiB
 perl-srpm-macros                 noarch 1-53.fc40                  fedora     861.0   B
 pkgconf                          x86_64 2.1.0-1.fc40               fedora      82.4 KiB
 pkgconf-m4                       noarch 2.1.0-1.fc40               fedora      13.9 KiB
 pkgconf-pkg-config               x86_64 2.1.0-1.fc40               fedora     989.0   B
 popt                             x86_64 1.19-6.fc40                fedora     136.9 KiB
 publicsuffix-list-dafsa          noarch 20240107-3.fc40            fedora      67.5 KiB
 pyproject-srpm-macros            noarch 1.12.0-1.fc40              fedora       1.5 KiB
 python-srpm-macros               noarch 3.12-7.fc40                fedora      50.1 KiB
 qt5-srpm-macros                  noarch 5.15.12-3.fc40             fedora     492.0   B
 qt6-srpm-macros                  noarch 6.6.2-1.fc41               fedora     456.0   B
 readline                         x86_64 8.2-8.fc40                 fedora     489.2 KiB
 rpm                              x86_64 4.19.1.1-1.fc40            fedora       3.0 MiB
 rpm-build-libs                   x86_64 4.19.1.1-1.fc40            fedora     198.4 KiB
 rpm-libs                         x86_64 4.19.1.1-1.fc40            fedora     709.9 KiB
 rpm-sequoia                      x86_64 1.6.0-2.fc40               fedora       2.2 MiB
 rust-srpm-macros                 noarch 26.1-1.fc41                fedora       4.8 KiB
 setup                            noarch 2.14.5-2.fc40              fedora     720.4 KiB
 sqlite-libs                      x86_64 3.45.1-2.fc40              fedora       1.4 MiB
 systemd-libs                     x86_64 255.3-1.fc40               fedora       1.9 MiB
 util-linux-core                  x86_64 2.40-0.9.rc1.fc41          fedora       1.4 MiB
 xxhash-libs                      x86_64 0.8.2-2.fc40               fedora      88.5 KiB
 xz-libs                          x86_64 5.4.6-1.fc40               fedora     209.8 KiB
 zig-srpm-macros                  noarch 1-2.fc40                   fedora       1.1 KiB
 zip                              x86_64 3.0-40.fc40                fedora     703.2 KiB
 zlib-ng-compat                   x86_64 2.1.6-2.fc40               fedora     134.0 KiB
 zstd                             x86_64 1.5.5-5.fc40               fedora       1.6 MiB
Installing groups:                                                                      
 Buildsystem building group                                                             

Transaction Summary:
 Installing:      153 packages

Total size of inbound packages is 53 MiB. Need to download 0 B.
After this operation 178 MiB will be used (install 178 MiB, remove 0 B).
[  1/153] tar-2:1.35-3.fc40.x86_64      100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  2/153] bzip2-0:1.0.8-18.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  3/153] redhat-rpm-config-0:285-1.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  4/153] rpm-build-0:4.19.1.1-1.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  5/153] unzip-0:6.0-63.fc40.x86_64    100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  6/153] cpio-0:2.15-1.fc40.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  7/153] which-0:2.21-41.fc40.x86_64   100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  8/153] bash-0:5.2.26-3.fc40.x86_64   100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  9/153] coreutils-0:9.4-6.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 10/153] grep-0:3.11-7.fc40.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 11/153] patch-0:2.7.6-24.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 12/153] sed-0:4.9-1.fc40.x86_64       100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 13/153] shadow-utils-2:4.15.0rc2-1.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 14/153] diffutils-0:3.10-5.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 15/153] findutils-1:4.9.0-8.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 16/153] glibc-minimal-langpack-0:2.39 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 17/153] gzip-0:1.13-1.fc40.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 18/153] info-0:7.1-2.fc40.x86_64      100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 19/153] xz-0:5.4.6-1.fc40.x86_64      100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 20/153] util-linux-0:2.40-0.9.rc1.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 21/153] fedora-release-common-0:41-0. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 22/153] gawk-0:5.3.0-3.fc40.x86_64    100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 23/153] glibc-0:2.39.9000-3.fc41.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 24/153] libacl-0:2.3.2-1.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 25/153] libselinux-0:3.6-4.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 26/153] bzip2-libs-0:1.0.8-18.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 27/153] ansible-srpm-macros-0:1-14.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 28/153] efi-srpm-macros-0:5-11.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 29/153] fonts-srpm-macros-1:2.0.5-14. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 30/153] fpc-srpm-macros-0:1.3-12.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 31/153] ghc-srpm-macros-0:1.6.1-5.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 32/153] gnat-srpm-macros-0:6-5.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 33/153] go-srpm-macros-0:3.4.0-2.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 34/153] kernel-srpm-macros-0:1.0-22.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 35/153] lua-srpm-macros-0:1-13.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 36/153] ocaml-srpm-macros-0:9-3.fc40. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 37/153] openblas-srpm-macros-0:2-16.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 38/153] package-notes-srpm-macros-0:0 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 39/153] perl-srpm-macros-0:1-53.fc40. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 40/153] pyproject-srpm-macros-0:1.12. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 41/153] python-srpm-macros-0:3.12-7.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 42/153] qt5-srpm-macros-0:5.15.12-3.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 43/153] qt6-srpm-macros-0:6.6.2-1.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 44/153] rpm-0:4.19.1.1-1.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 45/153] rust-srpm-macros-0:26.1-1.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 46/153] zig-srpm-macros-0:1-2.fc40.no 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 47/153] zip-0:3.0-40.fc40.x86_64      100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 48/153] debugedit-0:5.0-14.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 49/153] popt-0:1.19-6.fc40.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 50/153] readline-0:8.2-8.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 51/153] rpm-build-libs-0:4.19.1.1-1.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 52/153] rpm-libs-0:4.19.1.1-1.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 53/153] zstd-0:1.5.5-5.fc40.x86_64    100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 54/153] filesystem-0:3.18-8.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 55/153] ncurses-libs-0:6.4-12.2024012 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 56/153] coreutils-common-0:9.4-6.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 57/153] gmp-1:6.3.0-1.fc41.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 58/153] libattr-0:2.5.2-3.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 59/153] libcap-0:2.69-3.fc40.x86_64   100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 60/153] openssl-libs-1:3.2.1-2.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 61/153] pcre2-0:10.42-2.fc40.2.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 62/153] ed-0:1.20.1-1.fc41.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 63/153] libeconf-0:0.5.2-3.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 64/153] libsemanage-0:3.6-3.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 65/153] libxcrypt-0:4.4.36-5.fc40.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 66/153] pam-libs-0:1.6.0-2.fc41.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 67/153] setup-0:2.14.5-2.fc40.noarch  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 68/153] glibc-common-0:2.39.9000-3.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 69/153] xz-libs-0:5.4.6-1.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 70/153] libblkid-0:2.40-0.9.rc1.fc41. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 71/153] libcap-ng-0:0.8.4-4.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 72/153] libfdisk-0:2.40-0.9.rc1.fc41. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 73/153] libmount-0:2.40-0.9.rc1.fc41. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 74/153] libsmartcols-0:2.40-0.9.rc1.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 75/153] libutempter-0:1.2.1-13.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 76/153] libuuid-0:2.40-0.9.rc1.fc41.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 77/153] systemd-libs-0:255.3-1.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 78/153] util-linux-core-0:2.40-0.9.rc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 79/153] zlib-ng-compat-0:2.1.6-2.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 80/153] fedora-repos-0:41-0.1.noarch  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 81/153] mpfr-0:4.2.1-3.fc40.x86_64    100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 82/153] glibc-gconv-extra-0:2.39.9000 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 83/153] basesystem-0:11-20.fc40.noarc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 84/153] libgcc-0:14.0.1-0.7.fc41.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 85/153] libsepol-0:3.6-3.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 86/153] libarchive-0:3.7.2-3.fc40.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 87/153] libgomp-0:14.0.1-0.7.fc41.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 88/153] lua-libs-0:5.4.6-5.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 89/153] libzstd-0:1.5.5-5.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 90/153] rpm-sequoia-0:1.6.0-2.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 91/153] sqlite-libs-0:3.45.1-2.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 92/153] libstdc++-0:14.0.1-0.7.fc41.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 93/153] lz4-libs-0:1.9.4-6.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 94/153] ncurses-base-0:6.4-12.2024012 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 95/153] pcre2-syntax-0:10.42-2.fc40.2 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 96/153] fedora-gpg-keys-0:41-0.1.noar 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 97/153] fedora-repos-rawhide-0:41-0.1 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 98/153] libxml2-0:2.12.5-1.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 99/153] audit-libs-0:4.0-8.fc41.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[100/153] pam-0:1.6.0-2.fc41.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[101/153] gdbm-libs-1:1.23-6.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[102/153] libnsl2-0:2.0.1-1.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[103/153] libpwquality-0:1.4.5-9.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[104/153] libtirpc-0:1.3.4-1.rc2.fc40.2 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[105/153] cracklib-0:2.9.11-5.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[106/153] krb5-libs-0:1.21.2-5.fc40.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[107/153] keyutils-libs-0:1.6.3-3.fc40. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[108/153] libverto-0:0.3.2-8.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[109/153] authselect-libs-0:1.5.0-5.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[110/153] authselect-0:1.5.0-5.fc41.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[111/153] elfutils-libelf-0:0.190-6.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[112/153] elfutils-libs-0:0.190-6.fc41. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[113/153] elfutils-0:0.190-6.fc41.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[114/153] file-libs-0:5.45-5.fc41.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[115/153] binutils-0:2.42.50-4.fc41.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[116/153] elfutils-debuginfod-client-0: 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[117/153] jansson-0:2.13.1-9.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[118/153] file-0:5.45-5.fc41.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[119/153] pkgconf-pkg-config-0:2.1.0-1. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[120/153] pkgconf-0:2.1.0-1.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[121/153] pkgconf-m4-0:2.1.0-1.fc40.noa 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[122/153] libpkgconf-0:2.1.0-1.fc40.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[123/153] curl-0:8.6.0-7.fc41.x86_64    100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[124/153] dwz-0:0.15-6.fc41.x86_64      100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[125/153] forge-srpm-macros-0:0.2.0-3.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[126/153] gdbm-1:1.23-6.fc40.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[127/153] ca-certificates-0:2023.2.62_v 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[128/153] crypto-policies-0:20240201-2. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[129/153] libcom_err-0:1.47.0-5.fc41.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[130/153] elfutils-default-yama-scope-0 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[131/153] p11-kit-0:0.25.3-4.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[132/153] libffi-0:3.4.4-7.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[133/153] libtasn1-0:4.19.0-6.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[134/153] p11-kit-trust-0:0.25.3-4.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[135/153] alternatives-0:1.26-3.fc41.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[136/153] binutils-gold-0:2.42.50-4.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[137/153] fedora-release-0:41-0.6.noarc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[138/153] fedora-release-identity-basic 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[139/153] libcurl-0:8.6.0-7.fc41.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[140/153] libidn2-0:2.3.7-1.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[141/153] libnghttp2-0:1.59.0-2.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[142/153] libpsl-0:0.21.5-3.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[143/153] libssh-0:0.10.6-4.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[144/153] openldap-0:2.6.7-1.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[145/153] libunistring-0:1.1-7.fc41.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[146/153] publicsuffix-list-dafsa-0:202 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[147/153] libssh-config-0:0.10.6-4.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[148/153] libevent-0:2.1.12-12.fc40.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[149/153] libtool-ltdl-0:2.4.7-10.fc40. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[150/153] gdb-minimal-0:14.1-8.fc40.x86 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[151/153] xxhash-libs-0:0.8.2-2.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[152/153] cyrus-sasl-lib-0:2.1.28-19.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[153/153] libbrotli-0:1.1.0-3.fc41.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
--------------------------------------------------------------------------------
[153/153] Total                         100% |   0.0   B/s |   0.0   B |  00m00s
Running transaction
Importing PGP 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.
Importing PGP 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.
Importing PGP key 0xA15B79CC:
 Userid     : "Fedora (40) <fedora-40-primary@fedoraproject.org>"
 Fingerprint: 115DF9AEF857853EE8445D0A0727707EA15B79CC
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary
The key was successfully imported.
[  1/155] Verify package files          100% | 579.0   B/s | 153.0   B |  00m00s
>>> Running pre-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64
>>> Stop pre-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64
[  2/155] Prepare transaction           100% |   1.8 KiB/s | 153.0   B |  00m00s
[  3/155] Installing libgcc-0:14.0.1-0. 100% |  88.6 MiB/s | 272.3 KiB |  00m00s
>>> Running post-install scriptlet: libgcc-0:14.0.1-0.7.fc41.x86_64
>>> Stop post-install scriptlet: libgcc-0:14.0.1-0.7.fc41.x86_64
[  4/155] Installing crypto-policies-0: 100% |  16.1 MiB/s | 181.7 KiB |  00m00s
>>> Running post-install scriptlet: crypto-policies-0:20240201-2.git9f501f3.fc41
>>> Stop post-install scriptlet: crypto-policies-0:20240201-2.git9f501f3.fc41.no
[  5/155] Installing fedora-release-ide 100% | 929.7 KiB/s | 952.0   B |  00m00s
[  6/155] Installing fedora-gpg-keys-0: 100% |  20.8 MiB/s | 170.1 KiB |  00m00s
[  7/155] Installing fedora-repos-rawhi 100% |   0.0   B/s |   2.4 KiB |  00m00s
[  8/155] Installing fedora-repos-0:41- 100% |   0.0   B/s |   5.7 KiB |  00m00s
[  9/155] Installing fedora-release-com 100% |  11.4 MiB/s |  23.3 KiB |  00m00s
[ 10/155] Installing fedora-release-0:4 100% |   0.0   B/s | 124.0   B |  00m00s
[ 11/155] Installing setup-0:2.14.5-2.f 100% |  41.7 MiB/s | 725.8 KiB |  00m00s
>>> Running post-install scriptlet: setup-0:2.14.5-2.fc40.noarch
>>> Stop post-install scriptlet: setup-0:2.14.5-2.fc40.noarch
[ 12/155] Installing filesystem-0:3.18- 100% |   1.6 MiB/s | 212.4 KiB |  00m00s
[ 13/155] Installing basesystem-0:11-20 100% |   0.0   B/s | 124.0   B |  00m00s
[ 14/155] Installing libssh-config-0:0. 100% |   0.0   B/s | 816.0   B |  00m00s
[ 15/155] Installing publicsuffix-list- 100% |  66.7 MiB/s |  68.3 KiB |  00m00s
[ 16/155] Installing pkgconf-m4-0:2.1.0 100% |  14.0 MiB/s |  14.3 KiB |  00m00s
[ 17/155] Installing pcre2-syntax-0:10. 100% | 116.0 MiB/s | 237.6 KiB |  00m00s
[ 18/155] Installing ncurses-base-0:6.4 100% |  34.3 MiB/s | 351.6 KiB |  00m00s
[ 19/155] Installing glibc-minimal-lang 100% |   0.0   B/s | 124.0   B |  00m00s
[ 20/155] Installing ncurses-libs-0:6.4 100% | 118.4 MiB/s | 969.7 KiB |  00m00s
>>> Running pre-install scriptlet: glibc-0:2.39.9000-3.fc41.x86_64
>>> Stop pre-install scriptlet: glibc-0:2.39.9000-3.fc41.x86_64
[ 21/155] Installing glibc-0:2.39.9000- 100% | 120.5 MiB/s |   6.7 MiB |  00m00s
>>> Running post-install scriptlet: glibc-0:2.39.9000-3.fc41.x86_64
>>> Stop post-install scriptlet: glibc-0:2.39.9000-3.fc41.x86_64
[ 22/155] Installing bash-0:5.2.26-3.fc 100% | 214.8 MiB/s |   8.2 MiB |  00m00s
>>> Running post-install scriptlet: bash-0:5.2.26-3.fc40.x86_64
>>> Stop post-install scriptlet: bash-0:5.2.26-3.fc40.x86_64
[ 23/155] Installing glibc-common-0:2.3 100% | 113.4 MiB/s |   1.0 MiB |  00m00s
[ 24/155] Installing glibc-gconv-extra- 100% | 121.0 MiB/s |   7.9 MiB |  00m00s
>>> Running post-install scriptlet: glibc-gconv-extra-0:2.39.9000-3.fc41.x86_64
>>> Stop post-install scriptlet: glibc-gconv-extra-0:2.39.9000-3.fc41.x86_64
[ 25/155] Installing zlib-ng-compat-0:2 100% |  65.8 MiB/s | 134.8 KiB |  00m00s
[ 26/155] Installing xz-libs-0:5.4.6-1. 100% | 103.0 MiB/s | 210.9 KiB |  00m00s
[ 27/155] Installing bzip2-libs-0:1.0.8 100% |  79.9 MiB/s |  81.8 KiB |  00m00s
[ 28/155] Installing popt-0:1.19-6.fc40 100% |  28.0 MiB/s | 143.5 KiB |  00m00s
[ 29/155] Installing readline-0:8.2-8.f 100% | 160.0 MiB/s | 491.4 KiB |  00m00s
[ 30/155] Installing libuuid-0:2.40-0.9 100% |  38.0 MiB/s |  38.9 KiB |  00m00s
[ 31/155] Installing libzstd-0:1.5.5-5. 100% | 188.8 MiB/s | 773.2 KiB |  00m00s
[ 32/155] Installing elfutils-libelf-0: 100% | 164.3 MiB/s |   1.0 MiB |  00m00s
[ 33/155] Installing libstdc++-0:14.0.1 100% | 212.5 MiB/s |   2.8 MiB |  00m00s
[ 34/155] Installing libblkid-0:2.40-0. 100% | 116.2 MiB/s | 238.1 KiB |  00m00s
[ 35/155] Installing gmp-1:6.3.0-1.fc41 100% | 157.3 MiB/s | 805.6 KiB |  00m00s
[ 36/155] Installing libattr-0:2.5.2-3. 100% |  28.8 MiB/s |  29.5 KiB |  00m00s
[ 37/155] Installing libacl-0:2.3.2-1.f 100% |  39.9 MiB/s |  40.8 KiB |  00m00s
[ 38/155] Installing libxcrypt-0:4.4.36 100% |  86.4 MiB/s | 265.5 KiB |  00m00s
[ 39/155] Installing libeconf-0:0.5.2-3 100% |  52.4 MiB/s |  53.7 KiB |  00m00s
[ 40/155] Installing lz4-libs-0:1.9.4-6 100% |  63.7 MiB/s | 130.5 KiB |  00m00s
[ 41/155] Installing gdbm-libs-1:1.23-6 100% |  60.3 MiB/s | 123.6 KiB |  00m00s
[ 42/155] Installing mpfr-0:4.2.1-3.fc4 100% | 203.5 MiB/s | 833.5 KiB |  00m00s
[ 43/155] Installing gawk-0:5.3.0-3.fc4 100% | 144.0 MiB/s |   1.7 MiB |  00m00s
[ 44/155] Installing dwz-0:0.15-6.fc41. 100% | 142.7 MiB/s | 292.3 KiB |  00m00s
[ 45/155] Installing unzip-0:6.0-63.fc4 100% | 125.8 MiB/s | 386.3 KiB |  00m00s
[ 46/155] Installing file-libs-0:5.45-5 100% | 381.9 MiB/s |   9.9 MiB |  00m00s
[ 47/155] Installing file-0:5.45-5.fc41 100% |  51.3 MiB/s | 105.0 KiB |  00m00s
[ 48/155] Installing pcre2-0:10.42-2.fc 100% | 208.0 MiB/s | 639.1 KiB |  00m00s
[ 49/155] Installing grep-0:3.11-7.fc40 100% | 100.3 MiB/s |   1.0 MiB |  00m00s
[ 50/155] Installing xz-0:5.4.6-1.fc40. 100% | 117.8 MiB/s |   2.0 MiB |  00m00s
[ 51/155] Installing libcap-ng-0:0.8.4- 100% |  36.6 MiB/s |  75.0 KiB |  00m00s
[ 52/155] Installing audit-libs-0:4.0-8 100% | 102.0 MiB/s | 313.4 KiB |  00m00s
[ 53/155] Installing pam-libs-0:1.6.0-2 100% |  67.0 MiB/s | 137.3 KiB |  00m00s
[ 54/155] Installing libcap-0:2.69-3.fc 100% |  54.2 MiB/s | 221.9 KiB |  00m00s
[ 55/155] Installing systemd-libs-0:255 100% | 214.5 MiB/s |   1.9 MiB |  00m00s
[ 56/155] Installing libsmartcols-0:2.4 100% |  88.8 MiB/s | 181.9 KiB |  00m00s
[ 57/155] Installing libsepol-0:3.6-3.f 100% | 196.0 MiB/s | 803.0 KiB |  00m00s
[ 58/155] Installing libselinux-0:3.6-4 100% |  85.1 MiB/s | 174.3 KiB |  00m00s
[ 59/155] Installing sed-0:4.9-1.fc40.x 100% |  94.4 MiB/s | 869.7 KiB |  00m00s
[ 60/155] Installing findutils-1:4.9.0- 100% | 133.3 MiB/s |   1.5 MiB |  00m00s
[ 61/155] Installing libmount-0:2.40-0. 100% | 115.0 MiB/s | 353.3 KiB |  00m00s
[ 62/155] Installing lua-libs-0:5.4.6-5 100% | 137.8 MiB/s | 282.3 KiB |  00m00s
[ 63/155] Installing jansson-0:2.13.1-9 100% |  87.6 MiB/s |  89.7 KiB |  00m00s
[ 64/155] Installing libcom_err-0:1.47. 100% |  66.7 MiB/s |  68.3 KiB |  00m00s
[ 65/155] Installing libtasn1-0:4.19.0- 100% |  86.7 MiB/s | 177.5 KiB |  00m00s
[ 66/155] Installing alternatives-0:1.2 100% |  31.2 MiB/s |  64.0 KiB |  00m00s
[ 67/155] Installing libunistring-0:1.1 100% | 216.3 MiB/s |   1.7 MiB |  00m00s
[ 68/155] Installing libidn2-0:2.3.7-1. 100% |  65.4 MiB/s | 335.0 KiB |  00m00s
[ 69/155] Installing libpsl-0:0.21.5-3. 100% |  39.9 MiB/s |  81.6 KiB |  00m00s
[ 70/155] Installing util-linux-core-0: 100% | 115.4 MiB/s |   1.4 MiB |  00m00s
[ 71/155] Installing tar-2:1.35-3.fc40. 100% | 184.4 MiB/s |   3.0 MiB |  00m00s
[ 72/155] Installing libsemanage-0:3.6- 100% |  72.1 MiB/s | 295.3 KiB |  00m00s
[ 73/155] Installing shadow-utils-2:4.1 100% |  77.3 MiB/s |   4.2 MiB |  00m00s
>>> Running pre-install scriptlet: libutempter-0:1.2.1-13.fc40.x86_64
>>> Stop pre-install scriptlet: libutempter-0:1.2.1-13.fc40.x86_64
[ 74/155] Installing libutempter-0:1.2. 100% |  29.2 MiB/s |  59.7 KiB |  00m00s
[ 75/155] Installing zip-0:3.0-40.fc40. 100% | 138.1 MiB/s | 707.1 KiB |  00m00s
[ 76/155] Installing gdbm-1:1.23-6.fc40 100% |  91.0 MiB/s | 465.8 KiB |  00m00s
[ 77/155] Installing cyrus-sasl-lib-0:2 100% | 190.9 MiB/s |   2.3 MiB |  00m00s
[ 78/155] Installing zstd-0:1.5.5-5.fc4 100% | 235.2 MiB/s |   1.6 MiB |  00m00s
[ 79/155] Installing libfdisk-0:2.40-0. 100% | 118.7 MiB/s | 364.6 KiB |  00m00s
[ 80/155] Installing bzip2-0:1.0.8-18.f 100% |  47.0 MiB/s |  96.2 KiB |  00m00s
[ 81/155] Installing libxml2-0:2.12.5-1 100% | 212.5 MiB/s |   1.7 MiB |  00m00s
[ 82/155] Installing sqlite-libs-0:3.45 100% | 200.2 MiB/s |   1.4 MiB |  00m00s
[ 83/155] Installing ed-0:1.20.1-1.fc41 100% |  48.4 MiB/s | 148.8 KiB |  00m00s
[ 84/155] Installing patch-0:2.7.6-24.f 100% | 129.0 MiB/s | 264.3 KiB |  00m00s
[ 85/155] Installing elfutils-default-y 100% | 227.0 KiB/s |   2.0 KiB |  00m00s
>>> Running post-install scriptlet: elfutils-default-yama-scope-0:0.190-6.fc41.n
>>> Stop post-install scriptlet: elfutils-default-yama-scope-0:0.190-6.fc41.noar
[ 86/155] Installing cpio-0:2.15-1.fc40 100% | 137.5 MiB/s |   1.1 MiB |  00m00s
[ 87/155] Installing diffutils-0:3.10-5 100% | 144.2 MiB/s |   1.6 MiB |  00m00s
[ 88/155] Installing libgomp-0:14.0.1-0 100% | 169.1 MiB/s | 519.4 KiB |  00m00s
[ 89/155] Installing keyutils-libs-0:1. 100% |  54.5 MiB/s |  55.8 KiB |  00m00s
[ 90/155] Installing libverto-0:0.3.2-8 100% |  30.5 MiB/s |  31.3 KiB |  00m00s
[ 91/155] Installing libpkgconf-0:2.1.0 100% |  73.6 MiB/s |  75.3 KiB |  00m00s
[ 92/155] Installing pkgconf-0:2.1.0-1. 100% |  41.5 MiB/s |  84.9 KiB |  00m00s
[ 93/155] Installing pkgconf-pkg-config 100% |   1.7 MiB/s |   1.8 KiB |  00m00s
[ 94/155] Installing libffi-0:3.4.4-7.f 100% |  40.5 MiB/s |  83.0 KiB |  00m00s
[ 95/155] Installing p11-kit-0:0.25.3-4 100% | 137.1 MiB/s |   2.2 MiB |  00m00s
[ 96/155] Installing p11-kit-trust-0:0. 100% |  32.0 MiB/s | 393.1 KiB |  00m00s
>>> Running post-install scriptlet: p11-kit-trust-0:0.25.3-4.fc40.x86_64
>>> Stop post-install scriptlet: p11-kit-trust-0:0.25.3-4.fc40.x86_64
[ 97/155] Installing libnghttp2-0:1.59. 100% |  81.7 MiB/s | 167.2 KiB |  00m00s
[ 98/155] Installing libtool-ltdl-0:2.4 100% |  65.7 MiB/s |  67.3 KiB |  00m00s
[ 99/155] Installing xxhash-libs-0:0.8. 100% |  87.8 MiB/s |  89.9 KiB |  00m00s
[100/155] Installing libbrotli-0:1.1.0- 100% | 162.5 MiB/s | 831.8 KiB |  00m00s
[101/155] Installing coreutils-common-0 100% | 220.5 MiB/s |  11.5 MiB |  00m00s
[102/155] Installing openssl-libs-1:3.2 100% | 278.1 MiB/s |   7.8 MiB |  00m00s
[103/155] Installing coreutils-0:9.4-6. 100% | 149.1 MiB/s |   5.8 MiB |  00m00s
>>> Running pre-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc41.n
>>> Stop pre-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc41.noar
[104/155] Installing ca-certificates-0: 100% |   2.5 MiB/s |   2.3 MiB |  00m01s
>>> Running post-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc41.
>>> Stop post-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc41.noa
[105/155] Installing krb5-libs-0:1.21.2 100% | 163.9 MiB/s |   2.3 MiB |  00m00s
[106/155] Installing libtirpc-0:1.3.4-1 100% |  99.9 MiB/s | 204.6 KiB |  00m00s
[107/155] Installing gzip-0:1.13-1.fc40 100% |  95.4 MiB/s | 390.6 KiB |  00m00s
[108/155] Installing authselect-libs-0: 100% |  81.4 MiB/s | 833.2 KiB |  00m00s
[109/155] Installing authselect-0:1.5.0 100% |  38.6 MiB/s | 157.9 KiB |  00m00s
[110/155] Installing cracklib-0:2.9.11- 100% |  30.6 MiB/s | 250.3 KiB |  00m00s
[111/155] Installing libpwquality-0:1.4 100% |  46.7 MiB/s | 430.1 KiB |  00m00s
[112/155] Installing libnsl2-0:2.0.1-1. 100% |  28.8 MiB/s |  59.0 KiB |  00m00s
[113/155] Installing pam-0:1.6.0-2.fc41 100% |  72.4 MiB/s |   1.8 MiB |  00m00s
[114/155] Installing libssh-0:0.10.6-4. 100% | 166.5 MiB/s | 511.4 KiB |  00m00s
[115/155] Installing libarchive-0:3.7.2 100% | 179.0 MiB/s | 916.6 KiB |  00m00s
[116/155] Installing rpm-sequoia-0:1.6. 100% | 202.7 MiB/s |   2.2 MiB |  00m00s
[117/155] Installing rpm-libs-0:4.19.1. 100% | 173.7 MiB/s | 711.4 KiB |  00m00s
[118/155] Installing libevent-0:2.1.12- 100% | 175.7 MiB/s | 899.4 KiB |  00m00s
[119/155] Installing openldap-0:2.6.7-1 100% | 124.8 MiB/s | 638.9 KiB |  00m00s
[120/155] Installing libcurl-0:8.6.0-7. 100% | 188.9 MiB/s | 773.9 KiB |  00m00s
[121/155] Installing elfutils-libs-0:0. 100% | 157.2 MiB/s | 644.0 KiB |  00m00s
[122/155] Installing elfutils-debuginfo 100% |  32.7 MiB/s |  66.9 KiB |  00m00s
[123/155] Installing binutils-0:2.42.50 100% | 235.9 MiB/s |  26.7 MiB |  00m00s
>>> Running post-install scriptlet: binutils-0:2.42.50-4.fc41.x86_64
>>> Stop post-install scriptlet: binutils-0:2.42.50-4.fc41.x86_64
[124/155] Installing binutils-gold-0:2. 100% | 119.4 MiB/s |   2.0 MiB |  00m00s
>>> Running post-install scriptlet: binutils-gold-0:2.42.50-4.fc41.x86_64
>>> Stop post-install scriptlet: binutils-gold-0:2.42.50-4.fc41.x86_64
[125/155] Installing elfutils-0:0.190-6 100% | 180.6 MiB/s |   2.5 MiB |  00m00s
[126/155] Installing gdb-minimal-0:14.1 100% | 245.4 MiB/s |  12.3 MiB |  00m00s
[127/155] Installing debugedit-0:5.0-14 100% |  98.5 MiB/s | 201.7 KiB |  00m00s
[128/155] Installing rpm-build-libs-0:4 100% |  97.3 MiB/s | 199.2 KiB |  00m00s
[129/155] Installing curl-0:8.6.0-7.fc4 100% |  37.9 MiB/s | 736.9 KiB |  00m00s
>>> Running pre-install scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64
>>> Stop pre-install scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64
[130/155] Installing rpm-0:4.19.1.1-1.f 100% |  79.9 MiB/s |   2.4 MiB |  00m00s
[131/155] Installing efi-srpm-macros-0: 100% |  40.2 MiB/s |  41.2 KiB |  00m00s
[132/155] Installing lua-srpm-macros-0: 100% |   1.9 MiB/s |   1.9 KiB |  00m00s
[133/155] Installing zig-srpm-macros-0: 100% |   1.6 MiB/s |   1.7 KiB |  00m00s
[134/155] Installing rust-srpm-macros-0 100% |   5.4 MiB/s |   5.5 KiB |  00m00s
[135/155] Installing qt6-srpm-macros-0: 100% |   0.0   B/s | 732.0   B |  00m00s
[136/155] Installing qt5-srpm-macros-0: 100% |   0.0   B/s | 768.0   B |  00m00s
[137/155] Installing perl-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[138/155] Installing package-notes-srpm 100% |   2.0 MiB/s |   2.0 KiB |  00m00s
[139/155] Installing openblas-srpm-macr 100% |   0.0   B/s | 384.0   B |  00m00s
[140/155] Installing ocaml-srpm-macros- 100% |   0.0   B/s |   2.2 KiB |  00m00s
[141/155] Installing kernel-srpm-macros 100% |   2.3 MiB/s |   2.3 KiB |  00m00s
[142/155] Installing gnat-srpm-macros-0 100% |   0.0   B/s |   1.3 KiB |  00m00s
[143/155] Installing ghc-srpm-macros-0: 100% |   0.0   B/s | 648.0   B |  00m00s
[144/155] Installing fpc-srpm-macros-0: 100% |   0.0   B/s | 420.0   B |  00m00s
[145/155] Installing ansible-srpm-macro 100% |  35.4 MiB/s |  36.2 KiB |  00m00s
[146/155] Installing python-srpm-macros 100% |  50.1 MiB/s |  51.3 KiB |  00m00s
[147/155] Installing fonts-srpm-macros- 100% |  55.1 MiB/s |  56.5 KiB |  00m00s
[148/155] Installing go-srpm-macros-0:3 100% |  60.2 MiB/s |  61.6 KiB |  00m00s
[149/155] Installing forge-srpm-macros- 100% |  37.7 MiB/s |  38.6 KiB |  00m00s
[150/155] Installing redhat-rpm-config- 100% |  46.7 MiB/s | 191.4 KiB |  00m00s
[151/155] Installing rpm-build-0:4.19.1 100% |  44.4 MiB/s | 182.0 KiB |  00m00s
[152/155] Installing pyproject-srpm-mac 100% |   1.0 MiB/s |   2.1 KiB |  00m00s
[153/155] Installing util-linux-0:2.40- 100% |  86.5 MiB/s |   3.7 MiB |  00m00s
>>> Running post-install scriptlet: util-linux-0:2.40-0.9.rc1.fc41.x86_64
>>> Stop post-install scriptlet: util-linux-0:2.40-0.9.rc1.fc41.x86_64
[154/155] Installing which-0:2.21-41.fc 100% |  40.3 MiB/s |  82.4 KiB |  00m00s
[155/155] Installing info-0:7.1-2.fc40. 100% | 273.0 KiB/s | 358.2 KiB |  00m01s
>>> Running post-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64
>>> Stop post-transaction scriptlet: filesystem-0:3.18-8.fc40.x86_64
>>> Running post-transaction scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.f
>>> Stop post-transaction scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc41
>>> Running post-transaction scriptlet: authselect-libs-0:1.5.0-5.fc41.x86_64
>>> Stop post-transaction scriptlet: authselect-libs-0:1.5.0-5.fc41.x86_64
>>> Running post-transaction scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64
>>> Stop post-transaction scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64
>>> Running trigger-install scriptlet: glibc-common-0:2.39.9000-3.fc41.x86_64
>>> Stop trigger-install scriptlet: glibc-common-0:2.39.9000-3.fc41.x86_64
>>> Running trigger-install scriptlet: info-0:7.1-2.fc40.x86_64
>>> Stop trigger-install scriptlet: info-0:7.1-2.fc40.x86_64
Warning: skipped PGP checks for 25 package(s).
Finish: installing minimal buildroot with dnf5
Start: creating root cache
Finish: creating root cache
Finish: chroot init
INFO: Installed packages:
INFO: alternatives-1.26-3.fc41.x86_64
ansible-srpm-macros-1-14.fc40.noarch
audit-libs-4.0-8.fc41.x86_64
authselect-1.5.0-5.fc41.x86_64
authselect-libs-1.5.0-5.fc41.x86_64
basesystem-11-20.fc40.noarch
bash-5.2.26-3.fc40.x86_64
binutils-2.42.50-4.fc41.x86_64
binutils-gold-2.42.50-4.fc41.x86_64
bzip2-1.0.8-18.fc40.x86_64
bzip2-libs-1.0.8-18.fc40.x86_64
ca-certificates-2023.2.62_v7.0.401-6.fc41.noarch
coreutils-9.4-6.fc40.x86_64
coreutils-common-9.4-6.fc40.x86_64
cpio-2.15-1.fc40.x86_64
cracklib-2.9.11-5.fc40.x86_64
crypto-policies-20240201-2.git9f501f3.fc41.noarch
curl-8.6.0-7.fc41.x86_64
cyrus-sasl-lib-2.1.28-19.fc41.x86_64
debugedit-5.0-14.fc40.x86_64
diffutils-3.10-5.fc40.x86_64
dwz-0.15-6.fc41.x86_64
ed-1.20.1-1.fc41.x86_64
efi-srpm-macros-5-11.fc40.noarch
elfutils-0.190-6.fc41.x86_64
elfutils-debuginfod-client-0.190-6.fc41.x86_64
elfutils-default-yama-scope-0.190-6.fc41.noarch
elfutils-libelf-0.190-6.fc41.x86_64
elfutils-libs-0.190-6.fc41.x86_64
fedora-gpg-keys-41-0.1.noarch
fedora-release-41-0.6.noarch
fedora-release-common-41-0.6.noarch
fedora-release-identity-basic-41-0.6.noarch
fedora-repos-41-0.1.noarch
fedora-repos-rawhide-41-0.1.noarch
file-5.45-5.fc41.x86_64
file-libs-5.45-5.fc41.x86_64
filesystem-3.18-8.fc40.x86_64
findutils-4.9.0-8.fc40.x86_64
fonts-srpm-macros-2.0.5-14.fc40.noarch
forge-srpm-macros-0.2.0-3.fc41.noarch
fpc-srpm-macros-1.3-12.fc40.noarch
gawk-5.3.0-3.fc40.x86_64
gdb-minimal-14.1-8.fc40.x86_64
gdbm-1.23-6.fc40.x86_64
gdbm-libs-1.23-6.fc40.x86_64
ghc-srpm-macros-1.6.1-5.fc40.noarch
glibc-2.39.9000-3.fc41.x86_64
glibc-common-2.39.9000-3.fc41.x86_64
glibc-gconv-extra-2.39.9000-3.fc41.x86_64
glibc-minimal-langpack-2.39.9000-3.fc41.x86_64
gmp-6.3.0-1.fc41.x86_64
gnat-srpm-macros-6-5.fc40.noarch
go-srpm-macros-3.4.0-2.fc40.noarch
gpg-pubkey-a15b79cc-63d04c2c
gpg-pubkey-e99d6ad1-64d2612c
grep-3.11-7.fc40.x86_64
gzip-1.13-1.fc40.x86_64
info-7.1-2.fc40.x86_64
jansson-2.13.1-9.fc40.x86_64
kernel-srpm-macros-1.0-22.fc40.noarch
keyutils-libs-1.6.3-3.fc40.x86_64
krb5-libs-1.21.2-5.fc40.x86_64
libacl-2.3.2-1.fc40.x86_64
libarchive-3.7.2-3.fc40.x86_64
libattr-2.5.2-3.fc40.x86_64
libblkid-2.40-0.9.rc1.fc41.x86_64
libbrotli-1.1.0-3.fc41.x86_64
libcap-2.69-3.fc40.x86_64
libcap-ng-0.8.4-4.fc40.x86_64
libcom_err-1.47.0-5.fc41.x86_64
libcurl-8.6.0-7.fc41.x86_64
libeconf-0.5.2-3.fc40.x86_64
libevent-2.1.12-12.fc40.x86_64
libfdisk-2.40-0.9.rc1.fc41.x86_64
libffi-3.4.4-7.fc40.x86_64
libgcc-14.0.1-0.7.fc41.x86_64
libgomp-14.0.1-0.7.fc41.x86_64
libidn2-2.3.7-1.fc40.x86_64
libmount-2.40-0.9.rc1.fc41.x86_64
libnghttp2-1.59.0-2.fc40.x86_64
libnsl2-2.0.1-1.fc40.x86_64
libpkgconf-2.1.0-1.fc40.x86_64
libpsl-0.21.5-3.fc40.x86_64
libpwquality-1.4.5-9.fc40.x86_64
libselinux-3.6-4.fc40.x86_64
libsemanage-3.6-3.fc40.x86_64
libsepol-3.6-3.fc40.x86_64
libsmartcols-2.40-0.9.rc1.fc41.x86_64
libssh-0.10.6-4.fc40.x86_64
libssh-config-0.10.6-4.fc40.noarch
libstdc++-14.0.1-0.7.fc41.x86_64
libtasn1-4.19.0-6.fc40.x86_64
libtirpc-1.3.4-1.rc2.fc40.2.x86_64
libtool-ltdl-2.4.7-10.fc40.x86_64
libunistring-1.1-7.fc41.x86_64
libutempter-1.2.1-13.fc40.x86_64
libuuid-2.40-0.9.rc1.fc41.x86_64
libverto-0.3.2-8.fc40.x86_64
libxcrypt-4.4.36-5.fc40.x86_64
libxml2-2.12.5-1.fc40.x86_64
libzstd-1.5.5-5.fc40.x86_64
lua-libs-5.4.6-5.fc40.x86_64
lua-srpm-macros-1-13.fc40.noarch
lz4-libs-1.9.4-6.fc40.x86_64
mpfr-4.2.1-3.fc40.x86_64
ncurses-base-6.4-12.20240127.fc40.noarch
ncurses-libs-6.4-12.20240127.fc40.x86_64
ocaml-srpm-macros-9-3.fc40.noarch
openblas-srpm-macros-2-16.fc40.noarch
openldap-2.6.7-1.fc40.x86_64
openssl-libs-3.2.1-2.fc40.x86_64
p11-kit-0.25.3-4.fc40.x86_64
p11-kit-trust-0.25.3-4.fc40.x86_64
package-notes-srpm-macros-0.5-11.fc40.noarch
pam-1.6.0-2.fc41.x86_64
pam-libs-1.6.0-2.fc41.x86_64
patch-2.7.6-24.fc40.x86_64
pcre2-10.42-2.fc40.2.x86_64
pcre2-syntax-10.42-2.fc40.2.noarch
perl-srpm-macros-1-53.fc40.noarch
pkgconf-2.1.0-1.fc40.x86_64
pkgconf-m4-2.1.0-1.fc40.noarch
pkgconf-pkg-config-2.1.0-1.fc40.x86_64
popt-1.19-6.fc40.x86_64
publicsuffix-list-dafsa-20240107-3.fc40.noarch
pyproject-srpm-macros-1.12.0-1.fc40.noarch
python-srpm-macros-3.12-7.fc40.noarch
qt5-srpm-macros-5.15.12-3.fc40.noarch
qt6-srpm-macros-6.6.2-1.fc41.noarch
readline-8.2-8.fc40.x86_64
redhat-rpm-config-285-1.fc41.noarch
rpm-4.19.1.1-1.fc40.x86_64
rpm-build-4.19.1.1-1.fc40.x86_64
rpm-build-libs-4.19.1.1-1.fc40.x86_64
rpm-libs-4.19.1.1-1.fc40.x86_64
rpm-sequoia-1.6.0-2.fc40.x86_64
rust-srpm-macros-26.1-1.fc41.noarch
sed-4.9-1.fc40.x86_64
setup-2.14.5-2.fc40.noarch
shadow-utils-4.15.0rc2-1.fc41.x86_64
sqlite-libs-3.45.1-2.fc40.x86_64
systemd-libs-255.3-1.fc40.x86_64
tar-1.35-3.fc40.x86_64
unzip-6.0-63.fc40.x86_64
util-linux-2.40-0.9.rc1.fc41.x86_64
util-linux-core-2.40-0.9.rc1.fc41.x86_64
which-2.21-41.fc40.x86_64
xxhash-libs-0.8.2-2.fc40.x86_64
xz-5.4.6-1.fc40.x86_64
xz-libs-5.4.6-1.fc40.x86_64
zig-srpm-macros-1-2.fc40.noarch
zip-3.0-40.fc40.x86_64
zlib-ng-compat-2.1.6-2.fc40.x86_64
zstd-1.5.5-5.fc40.x86_64
Start: buildsrpm
Start: rpmbuild -bs
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1706832000
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.4-4.fc41.src.rpm
Finish: rpmbuild -bs
cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1709178743.586702/root/var/log’: No such file or directory
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-rawhide-x86_64-1709178743.586702/root/var/log/dnf5.log
Finish: buildsrpm
INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-yncy9ert/gappalib-coq/gappalib-coq.spec) Config(child) 1 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
INFO: Start(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.4-4.fc41.src.rpm)  Config(fedora-rawhide-x86_64)
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1709178743.586702/root.
INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1709178743.586702/root.
INFO: calling preinit hooks
INFO: enabled root cache
INFO: enabled package manager cache
Start(bootstrap): cleaning package manager metadata
Finish(bootstrap): cleaning package manager metadata
Finish(bootstrap): chroot init
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1709178743.586702/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.19.1.1-1.fc40.x86_64
  rpm-sequoia-1.6.0-2.fc40.x86_64
  python3-dnf-4.19.0-1.fc40.noarch
  yum-4.19.0-1.fc40.noarch
  dnf5-5.1.13-1.fc41.x86_64
  dnf5-plugins-5.1.13-1.fc41.x86_64
Finish: chroot init
Start: build phase for gappalib-coq-1.5.4-4.fc41.src.rpm
Start: build setup for gappalib-coq-1.5.4-4.fc41.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1706832000
Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.4-4.fc41.src.rpm
Updating and loading repositories:
 fedora                                 100% | 443.6 KiB/s |  17.3 KiB |  00m00s
 Copr repository                        100% |  48.0 KiB/s |   1.5 KiB |  00m00s
 Copr repository                        100% |  17.9 MiB/s |   3.0 MiB |  00m00s
Repositories loaded.
Package                    Arch   Version              Repository      Size
Installing:                                                                
 autoconf                  noarch 2.72-1.fc41          copr_base    2.8 MiB
 coq                       x86_64 8.18.0-4.fc41        copr_base   87.7 MiB
 flocq                     x86_64 4.1.4-1.fc41         copr_base   17.3 MiB
 gappa                     x86_64 1.4.2-3.fc40         fedora     708.8 KiB
 gcc-c++                   x86_64 14.0.1-0.7.fc41      fedora      37.9 MiB
 ocaml                     x86_64 5.1.1-4.fc40         fedora     128.9 MiB
 ocaml-findlib             x86_64 1.9.6-11.fc40        fedora       3.2 MiB
 ocaml-zarith-devel        x86_64 1.13-6.fc40          fedora     880.6 KiB
 remake                    x86_64 0.14-10.fc40         fedora     136.2 KiB
Installing dependencies:                                                   
 annobin-docs              noarch 12.41-1.fc41         copr_base   95.6 KiB
 annobin-plugin-gcc        x86_64 12.41-1.fc41         copr_base  967.3 KiB
 coq-core                  x86_64 8.18.0-4.fc41        copr_base  680.0 MiB
 cpp                       x86_64 14.0.1-0.7.fc41      fedora      34.8 MiB
 csdp                      x86_64 6.2.0-18.fc40        fedora     435.1 KiB
 csdp-tools                x86_64 6.2.0-18.fc40        fedora      83.2 KiB
 emacs-filesystem          noarch 1:29.2-4.fc41        copr_base    0.0   B
 expat                     x86_64 2.6.0-1.fc41         fedora     276.9 KiB
 flexiblas                 x86_64 3.4.2-1.fc41         copr_base   46.9 KiB
 flexiblas-netlib          x86_64 3.4.2-1.fc41         copr_base   10.4 MiB
 flexiblas-openblas-openmp x86_64 3.4.2-1.fc41         copr_base   39.3 KiB
 gc                        x86_64 8.2.2-6.fc40         fedora     258.7 KiB
 gcc                       x86_64 14.0.1-0.7.fc41      fedora     103.2 MiB
 gcc-plugin-annobin        x86_64 14.0.1-0.7.fc41      fedora      57.1 KiB
 glibc-devel               x86_64 2.39.9000-3.fc41     fedora      37.1 KiB
 glibc-headers-x86         noarch 2.39.9000-3.fc41     fedora       2.2 MiB
 gmp-c++                   x86_64 1:6.3.0-1.fc41       fedora      31.8 KiB
 gmp-devel                 x86_64 1:6.3.0-1.fc41       fedora     352.3 KiB
 groff-base                x86_64 1.23.0-6.fc40        fedora       3.8 MiB
 guile30                   x86_64 3.0.7-12.fc40        fedora      51.5 MiB
 kernel-headers            x86_64 6.8.0-0.rc6.49.fc41  fedora       6.2 MiB
 libb2                     x86_64 0.98.1-11.fc40       fedora      42.2 KiB
 libgfortran               x86_64 14.0.1-0.7.fc41      fedora       2.9 MiB
 libmpc                    x86_64 1.3.1-5.fc40         fedora     164.7 KiB
 libquadmath               x86_64 14.0.1-0.7.fc41      fedora     329.9 KiB
 libstdc++-devel           x86_64 14.0.1-0.7.fc41      fedora      15.3 MiB
 libxcrypt-devel           x86_64 4.4.36-5.fc40        fedora      30.3 KiB
 libzstd-devel             x86_64 1.5.5-5.fc40         fedora     198.1 KiB
 m4                        x86_64 1.4.19-9.fc40        fedora     588.9 KiB
 make                      x86_64 1:4.4.1-6.fc40       fedora       1.8 MiB
 mpdecimal                 x86_64 2.5.1-9.fc40         fedora     200.9 KiB
 ncurses                   x86_64 6.4-12.20240127.fc40 fedora     621.0 KiB
 ocaml-runtime             x86_64 5.1.1-4.fc40         fedora       5.5 MiB
 ocaml-zarith              x86_64 1.13-6.fc40          fedora     377.7 KiB
 openblas                  x86_64 0.3.26-4.fc40        fedora      96.0 KiB
 openblas-openmp           x86_64 0.3.26-4.fc40        fedora      38.9 MiB
 perl-AutoLoader           noarch 5.74-506.fc40        fedora      20.5 KiB
 perl-B                    x86_64 1.88-506.fc40        fedora     492.4 KiB
 perl-Carp                 noarch 1.54-502.fc40        fedora      46.5 KiB
 perl-Class-Struct         noarch 0.68-506.fc40        fedora      25.4 KiB
 perl-Data-Dumper          x86_64 2.188-503.fc40       fedora     111.7 KiB
 perl-Digest               noarch 1.20-502.fc40        fedora      35.2 KiB
 perl-Digest-MD5           x86_64 2.59-3.fc40          fedora      59.7 KiB
 perl-DynaLoader           x86_64 1.54-506.fc40        fedora      32.1 KiB
 perl-Encode               x86_64 4:3.20-504.fc41      fedora       4.7 MiB
 perl-Errno                x86_64 1.37-506.fc40        fedora       8.3 KiB
 perl-Exporter             noarch 5.78-3.fc40          fedora      54.2 KiB
 perl-Fcntl                x86_64 1.15-506.fc40        fedora      24.6 KiB
 perl-File-Basename        noarch 2.86-506.fc40        fedora      14.0 KiB
 perl-File-Compare         noarch 1.100.700-506.fc40   fedora       5.5 KiB
 perl-File-Copy            noarch 2.41-506.fc40        fedora      19.6 KiB
 perl-File-Find            noarch 1.43-506.fc40        fedora      41.9 KiB
 perl-File-Path            noarch 2.18-503.fc40        fedora      63.5 KiB
 perl-File-Temp            noarch 1:0.231.100-503.fc40 fedora     162.3 KiB
 perl-File-stat            noarch 1.13-506.fc40        fedora      12.7 KiB
 perl-FileHandle           noarch 2.05-506.fc40        fedora       9.3 KiB
 perl-Getopt-Long          noarch 1:2.57-3.fc40        fedora     144.1 KiB
 perl-Getopt-Std           noarch 1.13-506.fc40        fedora      11.1 KiB
 perl-HTTP-Tiny            noarch 0.088-5.fc40         fedora     152.1 KiB
 perl-IO                   x86_64 1.52-506.fc40        fedora     151.0 KiB
 perl-IO-Socket-IP         noarch 0.42-2.fc40          fedora      98.6 KiB
 perl-IO-Socket-SSL        noarch 2.085-1.fc40         fedora     685.0 KiB
 perl-IPC-Open3            noarch 1.22-506.fc40        fedora      22.4 KiB
 perl-MIME-Base64          x86_64 3.16-503.fc40        fedora      46.1 KiB
 perl-Mozilla-CA           noarch 20231213-3.fc40      fedora       9.1 KiB
 perl-Net-SSLeay           x86_64 1.94-3.fc40          fedora       1.3 MiB
 perl-POSIX                x86_64 2.13-506.fc40        fedora     229.0 KiB
 perl-PathTools            x86_64 3.89-502.fc40        fedora     179.6 KiB
 perl-Pod-Escapes          noarch 1:1.07-503.fc40      fedora      24.9 KiB
 perl-Pod-Perldoc          noarch 3.28.01-503.fc40     fedora     163.1 KiB
 perl-Pod-Simple           noarch 1:3.45-6.fc40        fedora     559.8 KiB
 perl-Pod-Usage            noarch 4:2.03-503.fc40      fedora      84.7 KiB
 perl-Scalar-List-Utils    x86_64 5:1.63-503.fc40      fedora     145.5 KiB
 perl-SelectSaver          noarch 1.02-506.fc40        fedora       2.2 KiB
 perl-Socket               x86_64 4:2.037-5.fc40       fedora     123.6 KiB
 perl-Storable             x86_64 1:3.32-502.fc40      fedora     232.3 KiB
 perl-Symbol               noarch 1.09-506.fc40        fedora       6.8 KiB
 perl-Term-ANSIColor       noarch 5.01-504.fc40        fedora      97.5 KiB
 perl-Term-Cap             noarch 1.18-503.fc40        fedora      29.3 KiB
 perl-Text-ParseWords      noarch 3.31-502.fc40        fedora      13.5 KiB
 perl-Text-Tabs+Wrap       noarch 2023.0511-5.fc40     fedora      23.4 KiB
 perl-Time-Local           noarch 2:1.350-5.fc40       fedora      68.9 KiB
 perl-URI                  noarch 5.27-1.fc40          fedora     239.8 KiB
 perl-base                 noarch 2.27-506.fc40        fedora      12.5 KiB
 perl-constant             noarch 1.33-503.fc40        fedora      26.2 KiB
 perl-if                   noarch 0.61.000-506.fc40    fedora       5.8 KiB
 perl-interpreter          x86_64 4:5.38.2-506.fc40    fedora     119.8 KiB
 perl-libnet               noarch 3.15-503.fc40        fedora     289.0 KiB
 perl-libs                 x86_64 4:5.38.2-506.fc40    fedora       9.8 MiB
 perl-locale               noarch 1.10-506.fc40        fedora       6.2 KiB
 perl-mro                  x86_64 1.28-506.fc40        fedora      41.6 KiB
 perl-overload             noarch 1.37-506.fc40        fedora      71.5 KiB
 perl-overloading          noarch 0.02-506.fc40        fedora       4.8 KiB
 perl-parent               noarch 1:0.241-502.fc40     fedora       9.7 KiB
 perl-podlators            noarch 1:5.01-502.fc40      fedora     308.1 KiB
 perl-vars                 noarch 1.05-506.fc40        fedora       3.9 KiB
 python-pip-wheel          noarch 24.0-1.fc41          copr_base    1.5 MiB
 python3                   x86_64 3.12.2-2.fc41        fedora      31.9 KiB
 python3-libs              x86_64 3.12.2-2.fc41        fedora      41.0 MiB
 texlive-base              x86_64 11:20230311-81.fc40  fedora      19.0 MiB
 tzdata                    noarch 2024a-2.fc40         fedora       1.6 MiB

Transaction Summary:
 Installing:      110 packages

Total size of inbound packages is 398 MiB. Need to download 314 MiB.
After this operation 1 GiB will be used (install 1 GiB, remove 0 B).
[  1/110] autoconf-0:2.72-1.fc41.noarch 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  2/110] gcc-0:14.0.1-0.7.fc41.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  3/110] gmp-devel-1:6.3.0-1.fc41.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  4/110] m4-0:1.4.19-9.fc40.x86_64     100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  5/110] perl-Carp-0:1.54-502.fc40.noa 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  6/110] perl-Class-Struct-0:0.68-506. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  7/110] perl-Data-Dumper-0:2.188-503. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  8/110] perl-Errno-0:1.37-506.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[  9/110] perl-Exporter-0:5.78-3.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 10/110] perl-File-Basename-0:2.86-506 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 11/110] perl-File-Compare-0:1.100.700 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 12/110] perl-File-Copy-0:2.41-506.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 13/110] perl-File-Find-0:1.43-506.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 14/110] perl-File-Temp-1:0.231.100-50 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 15/110] perl-File-stat-0:1.13-506.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 16/110] perl-Getopt-Long-1:2.57-3.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 17/110] perl-IO-0:1.52-506.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 18/110] perl-POSIX-0:2.13-506.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 19/110] perl-PathTools-0:3.89-502.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 20/110] perl-Text-ParseWords-0:3.31-5 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 21/110] perl-constant-0:1.33-503.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 22/110] perl-interpreter-4:5.38.2-506 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 23/110] texlive-base-11:20230311-81.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 24/110] libmpc-0:1.3.1-5.fc40.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 25/110] cpp-0:14.0.1-0.7.fc41.x86_64  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 26/110] make-1:4.4.1-6.fc40.x86_64    100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 27/110] gmp-c++-1:6.3.0-1.fc41.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 28/110] perl-B-0:1.88-506.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 29/110] perl-Scalar-List-Utils-5:1.63 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 30/110] perl-libs-4:5.38.2-506.fc40.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 31/110] perl-overload-0:1.37-506.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 32/110] perl-Fcntl-0:1.15-506.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 33/110] perl-File-Path-0:2.18-503.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 34/110] perl-parent-1:0.241-502.fc40. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 35/110] perl-Symbol-0:1.09-506.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 36/110] perl-base-0:2.27-506.fc40.noa 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 37/110] perl-SelectSaver-0:1.02-506.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 38/110] perl-Socket-4:2.037-5.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 39/110] perl-locale-0:1.10-506.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 40/110] guile30-0:3.0.7-12.fc40.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 41/110] perl-if-0:0.61.000-506.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 42/110] perl-overloading-0:0.02-506.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 43/110] perl-DynaLoader-0:1.54-506.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 44/110] perl-mro-0:1.28-506.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 45/110] perl-vars-0:1.05-506.fc40.noa 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 46/110] gc-0:8.2.2-6.fc40.x86_64      100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 47/110] python3-0:3.12.2-2.fc41.x86_6 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 48/110] python3-libs-0:3.12.2-2.fc41. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 49/110] expat-0:2.6.0-1.fc41.x86_64   100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 50/110] libb2-0:0.98.1-11.fc40.x86_64 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 51/110] mpdecimal-0:2.5.1-9.fc40.x86_ 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 52/110] tzdata-0:2024a-2.fc40.noarch  100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 53/110] gcc-plugin-annobin-0:14.0.1-0 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 54/110] emacs-filesystem-1:29.2-4.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 55/110] python-pip-wheel-0:24.0-1.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 56/110] perl-Encode-4:3.20-504.fc41.x 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 57/110] perl-Getopt-Std-0:1.13-506.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 58/110] perl-MIME-Base64-0:3.16-503.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 59/110] perl-Storable-1:3.32-502.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 60/110] annobin-plugin-gcc-0:12.41-1. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 61/110] annobin-docs-0:12.41-1.fc41.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 62/110] glibc-devel-0:2.39.9000-3.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 63/110] glibc-headers-x86-0:2.39.9000 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 64/110] libxcrypt-devel-0:4.4.36-5.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 65/110] kernel-headers-0:6.8.0-0.rc6. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 66/110] perl-Pod-Usage-4:2.03-503.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 67/110] perl-Pod-Perldoc-0:3.28.01-50 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 68/110] perl-podlators-1:5.01-502.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 69/110] groff-base-0:1.23.0-6.fc40.x8 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 70/110] perl-HTTP-Tiny-0:0.088-5.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 71/110] perl-IPC-Open3-0:1.22-506.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 72/110] perl-Pod-Simple-1:3.45-6.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 73/110] perl-Term-ANSIColor-0:5.01-50 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 74/110] perl-Term-Cap-0:1.18-503.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 75/110] perl-IO-Socket-SSL-0:2.085-1. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 76/110] perl-Mozilla-CA-0:20231213-3. 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 77/110] perl-Net-SSLeay-0:1.94-3.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 78/110] perl-Time-Local-2:1.350-5.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 79/110] perl-Pod-Escapes-1:1.07-503.f 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 80/110] perl-Text-Tabs+Wrap-0:2023.05 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 81/110] ncurses-0:6.4-12.20240127.fc4 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 82/110] perl-IO-Socket-IP-0:0.42-2.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 83/110] perl-URI-0:5.27-1.fc40.noarch 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 84/110] perl-AutoLoader-0:5.74-506.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 85/110] perl-libnet-0:3.15-503.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 86/110] perl-Digest-MD5-0:2.59-3.fc40 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 87/110] perl-FileHandle-0:2.05-506.fc 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 88/110] perl-Digest-0:1.20-502.fc40.n 100% |   0.0   B/s |   0.0   B |  00m00s
>>> Already downloaded
[ 89/110] gappa-0:1.4.2-3.fc40.x86_64   100% |   1.4 MiB/s | 279.2 KiB |  00m00s
[ 90/110] ocaml-findlib-0:1.9.6-11.fc40 100% |   4.5 MiB/s | 993.1 KiB |  00m00s
[ 91/110] ocaml-zarith-devel-0:1.13-6.f 100% |   5.8 MiB/s | 392.5 KiB |  00m00s
[ 92/110] remake-0:0.14-10.fc40.x86_64  100% |   1.3 MiB/s |  68.3 KiB |  00m00s
[ 93/110] flocq-0:4.1.4-1.fc41.x86_64   100% |  16.1 MiB/s |   3.6 MiB |  00m00s
[ 94/110] ocaml-0:5.1.1-4.fc40.x86_64   100% |  34.0 MiB/s |  31.2 MiB |  00m01s
[ 95/110] gcc-c++-0:14.0.1-0.7.fc41.x86 100% |  32.1 MiB/s |  14.1 MiB |  00m00s
[ 96/110] libzstd-devel-0:1.5.5-5.fc40. 100% |   2.2 MiB/s |  50.7 KiB |  00m00s
[ 97/110] ocaml-zarith-0:1.13-6.fc40.x8 100% |   3.6 MiB/s | 157.1 KiB |  00m00s
[ 98/110] csdp-tools-0:6.2.0-18.fc40.x8 100% | 598.1 KiB/s |  29.3 KiB |  00m00s
[ 99/110] ocaml-runtime-0:5.1.1-4.fc40. 100% |  27.6 MiB/s |   3.2 MiB |  00m00s
[100/110] csdp-0:6.2.0-18.fc40.x86_64   100% |   5.9 MiB/s | 300.9 KiB |  00m00s
[101/110] libstdc++-devel-0:14.0.1-0.7. 100% |  18.8 MiB/s |   2.7 MiB |  00m00s
[102/110] coq-0:8.18.0-4.fc41.x86_64    100% |  21.4 MiB/s |  23.6 MiB |  00m01s
[103/110] libgfortran-0:14.0.1-0.7.fc41 100% |   9.3 MiB/s | 930.5 KiB |  00m00s
[104/110] libquadmath-0:14.0.1-0.7.fc41 100% |   6.3 MiB/s | 187.9 KiB |  00m00s
[105/110] flexiblas-netlib-0:3.4.2-1.fc 100% |  12.4 MiB/s |   3.2 MiB |  00m00s
[106/110] flexiblas-0:3.4.2-1.fc41.x86_ 100% | 312.2 KiB/s |  25.6 KiB |  00m00s
[107/110] flexiblas-openblas-openmp-0:3 100% | 215.9 KiB/s |  18.1 KiB |  00m00s
[108/110] openblas-openmp-0:0.3.26-4.fc 100% |  24.8 MiB/s |   5.1 MiB |  00m00s
[109/110] openblas-0:0.3.26-4.fc40.x86_ 100% | 157.7 KiB/s |  38.6 KiB |  00m00s
[110/110] coq-core-0:8.18.0-4.fc41.x86_ 100% |  51.1 MiB/s | 224.0 MiB |  00m04s
--------------------------------------------------------------------------------
[110/110] Total                         100% |  57.5 MiB/s | 314.0 MiB |  00m05s
Running transaction
[  1/112] Verify package files          100% |  70.0   B/s | 110.0   B |  00m02s
>>> Running pre-transaction scriptlet: texlive-base-11:20230311-81.fc40.x86_64
>>> Stop pre-transaction scriptlet: texlive-base-11:20230311-81.fc40.x86_64
[  2/112] Prepare transaction           100% | 674.0   B/s | 110.0   B |  00m00s
[  3/112] Installing libmpc-0:1.3.1-5.f 100% |  54.1 MiB/s | 166.2 KiB |  00m00s
[  4/112] Installing ocaml-runtime-0:5. 100% | 141.9 MiB/s |   5.5 MiB |  00m00s
[  5/112] Installing libgfortran-0:14.0 100% | 294.3 MiB/s |   2.9 MiB |  00m00s
[  6/112] Installing cpp-0:14.0.1-0.7.f 100% | 214.6 MiB/s |  34.8 MiB |  00m00s
[  7/112] Installing ncurses-0:6.4-12.2 100% |  26.6 MiB/s | 627.6 KiB |  00m00s
>>> Running pre-install scriptlet: groff-base-0:1.23.0-6.fc40.x86_64
>>> Stop pre-install scriptlet: groff-base-0:1.23.0-6.fc40.x86_64
[  8/112] Installing groff-base-0:1.23. 100% |  82.1 MiB/s |   3.9 MiB |  00m00s
>>> Running post-install scriptlet: groff-base-0:1.23.0-6.fc40.x86_64
>>> Stop post-install scriptlet: groff-base-0:1.23.0-6.fc40.x86_64
[  9/112] Installing perl-Digest-0:1.20 100% |  36.1 MiB/s |  37.0 KiB |  00m00s
[ 10/112] Installing perl-B-0:1.88-506. 100% |  96.8 MiB/s | 495.7 KiB |  00m00s
[ 11/112] Installing perl-FileHandle-0: 100% |   9.5 MiB/s |   9.8 KiB |  00m00s
[ 12/112] Installing perl-Digest-MD5-0: 100% |  30.1 MiB/s |  61.6 KiB |  00m00s
[ 13/112] Installing perl-Data-Dumper-0 100% |  55.4 MiB/s | 113.6 KiB |  00m00s
[ 14/112] Installing perl-libnet-0:3.15 100% |  71.9 MiB/s | 294.3 KiB |  00m00s
[ 15/112] Installing perl-AutoLoader-0: 100% |  20.5 MiB/s |  20.9 KiB |  00m00s
[ 16/112] Installing perl-URI-0:5.27-1. 100% |  35.1 MiB/s | 251.4 KiB |  00m00s
[ 17/112] Installing perl-locale-0:1.10 100% |   6.5 MiB/s |   6.6 KiB |  00m00s
[ 18/112] Installing perl-if-0:0.61.000 100% |   6.1 MiB/s |   6.2 KiB |  00m00s
[ 19/112] Installing perl-File-Path-0:2 100% |  63.0 MiB/s |  64.5 KiB |  00m00s
[ 20/112] Installing perl-Mozilla-CA-0: 100% |   9.9 MiB/s |  10.2 KiB |  00m00s
[ 21/112] Installing perl-Time-Local-2: 100% |  34.4 MiB/s |  70.5 KiB |  00m00s
[ 22/112] Installing perl-Pod-Escapes-1 100% |  25.3 MiB/s |  25.9 KiB |  00m00s
[ 23/112] Installing perl-Text-Tabs+Wra 100% |  24.1 MiB/s |  24.7 KiB |  00m00s
[ 24/112] Installing perl-IO-Socket-IP- 100% |  49.0 MiB/s | 100.4 KiB |  00m00s
[ 25/112] Installing perl-Net-SSLeay-0: 100% | 113.5 MiB/s |   1.4 MiB |  00m00s
[ 26/112] Installing perl-IO-Socket-SSL 100% | 134.6 MiB/s | 689.0 KiB |  00m00s
[ 27/112] Installing perl-Class-Struct- 100% |  25.3 MiB/s |  25.9 KiB |  00m00s
[ 28/112] Installing perl-POSIX-0:2.13- 100% |  75.0 MiB/s | 230.3 KiB |  00m00s
[ 29/112] Installing perl-File-Temp-1:0 100% |  80.1 MiB/s | 164.0 KiB |  00m00s
[ 30/112] Installing perl-IPC-Open3-0:1 100% |  22.7 MiB/s |  23.3 KiB |  00m00s
[ 31/112] Installing perl-Term-ANSIColo 100% |  48.4 MiB/s |  99.1 KiB |  00m00s
[ 32/112] Installing perl-Term-Cap-0:1. 100% |  14.9 MiB/s |  30.5 KiB |  00m00s
[ 33/112] Installing perl-Pod-Simple-1: 100% |  92.7 MiB/s | 569.4 KiB |  00m00s
[ 34/112] Installing perl-HTTP-Tiny-0:0 100% |  50.2 MiB/s | 154.2 KiB |  00m00s
[ 35/112] Installing perl-Symbol-0:1.09 100% |   7.0 MiB/s |   7.2 KiB |  00m00s
[ 36/112] Installing perl-SelectSaver-0 100% |   2.5 MiB/s |   2.6 KiB |  00m00s
[ 37/112] Installing perl-Socket-4:2.03 100% |  40.9 MiB/s | 125.6 KiB |  00m00s
[ 38/112] Installing perl-File-stat-0:1 100% |  12.9 MiB/s |  13.2 KiB |  00m00s
[ 39/112] Installing perl-podlators-1:5 100% |  76.2 MiB/s | 312.1 KiB |  00m00s
[ 40/112] Installing perl-Pod-Perldoc-0 100% |  41.2 MiB/s | 168.6 KiB |  00m00s
[ 41/112] Installing perl-Text-ParseWor 100% |  14.2 MiB/s |  14.5 KiB |  00m00s
[ 42/112] Installing perl-Fcntl-0:1.15- 100% |  25.1 MiB/s |  25.8 KiB |  00m00s
[ 43/112] Installing perl-base-0:2.27-5 100% |  12.6 MiB/s |  12.9 KiB |  00m00s
[ 44/112] Installing perl-overloading-0 100% |   5.4 MiB/s |   5.5 KiB |  00m00s
[ 45/112] Installing perl-IO-0:1.52-506 100% |  50.6 MiB/s | 155.3 KiB |  00m00s
[ 46/112] Installing perl-mro-0:1.28-50 100% |  41.7 MiB/s |  42.7 KiB |  00m00s
[ 47/112] Installing perl-Pod-Usage-4:2 100% |  42.1 MiB/s |  86.3 KiB |  00m00s
[ 48/112] Installing perl-Errno-0:1.37- 100% |   8.5 MiB/s |   8.8 KiB |  00m00s
[ 49/112] Installing perl-File-Basename 100% |  14.2 MiB/s |  14.6 KiB |  00m00s
[ 50/112] Installing perl-constant-0:1. 100% |  26.7 MiB/s |  27.4 KiB |  00m00s
[ 51/112] Installing perl-Scalar-List-U 100% |  48.4 MiB/s | 148.7 KiB |  00m00s
[ 52/112] Installing perl-parent-1:0.24 100% |  10.2 MiB/s |  10.4 KiB |  00m00s
[ 53/112] Installing perl-overload-0:1. 100% |  70.3 MiB/s |  71.9 KiB |  00m00s
[ 54/112] Installing perl-vars-0:1.05-5 100% |   4.2 MiB/s |   4.3 KiB |  00m00s
[ 55/112] Installing perl-Getopt-Std-0: 100% |  11.4 MiB/s |  11.6 KiB |  00m00s
[ 56/112] Installing perl-MIME-Base64-0 100% |  15.7 MiB/s |  48.3 KiB |  00m00s
[ 57/112] Installing perl-Storable-1:3. 100% | 114.2 MiB/s | 233.9 KiB |  00m00s
[ 58/112] Installing perl-Getopt-Long-1 100% |  71.6 MiB/s | 146.7 KiB |  00m00s
[ 59/112] Installing perl-Exporter-0:5. 100% |  54.2 MiB/s |  55.5 KiB |  00m00s
[ 60/112] Installing perl-PathTools-0:3 100% |  45.0 MiB/s | 184.2 KiB |  00m00s
[ 61/112] Installing perl-DynaLoader-0: 100% |  31.7 MiB/s |  32.5 KiB |  00m00s
[ 62/112] Installing perl-Encode-4:3.20 100% | 188.7 MiB/s |   4.7 MiB |  00m00s
[ 63/112] Installing perl-Carp-0:1.54-5 100% |  15.5 MiB/s |  47.7 KiB |  00m00s
[ 64/112] Installing perl-libs-4:5.38.2 100% | 118.4 MiB/s |   9.9 MiB |  00m00s
[ 65/112] Installing perl-interpreter-4 100% |  59.3 MiB/s | 121.4 KiB |  00m00s
[ 66/112] Installing perl-File-Compare- 100% |   5.9 MiB/s |   6.0 KiB |  00m00s
[ 67/112] Installing perl-File-Copy-0:2 100% |  19.7 MiB/s |  20.2 KiB |  00m00s
[ 68/112] Installing perl-File-Find-0:1 100% |  13.8 MiB/s |  42.4 KiB |  00m00s
[ 69/112] Installing kernel-headers-0:6 100% |  92.5 MiB/s |   6.4 MiB |  00m00s
[ 70/112] Installing openblas-0:0.3.26- 100% |  95.5 MiB/s |  97.8 KiB |  00m00s
[ 71/112] Installing openblas-openmp-0: 100% | 301.6 MiB/s |  38.9 MiB |  00m00s
[ 72/112] Installing libquadmath-0:14.0 100% | 161.7 MiB/s | 331.1 KiB |  00m00s
[ 73/112] Installing flexiblas-0:3.4.2- 100% |  47.0 MiB/s |  48.1 KiB |  00m00s
[ 74/112] Installing flexiblas-openblas 100% |  39.2 MiB/s |  40.1 KiB |  00m00s
[ 75/112] Installing flexiblas-netlib-0 100% | 204.0 MiB/s |  10.4 MiB |  00m00s
[ 76/112] Installing csdp-0:6.2.0-18.fc 100% | 106.6 MiB/s | 436.8 KiB |  00m00s
[ 77/112] Installing csdp-tools-0:6.2.0 100% |  21.1 MiB/s |  86.6 KiB |  00m00s
[ 78/112] Installing glibc-headers-x86- 100% |  56.4 MiB/s |   2.3 MiB |  00m00s
[ 79/112] Installing libxcrypt-devel-0: 100% |  15.9 MiB/s |  32.6 KiB |  00m00s
[ 80/112] Installing glibc-devel-0:2.39 100% |  13.3 MiB/s |  40.8 KiB |  00m00s
[ 81/112] Installing annobin-docs-0:12. 100% |  23.6 MiB/s |  96.6 KiB |  00m00s
[ 82/112] Installing libstdc++-devel-0: 100% | 154.6 MiB/s |  15.5 MiB |  00m00s
[ 83/112] Installing python-pip-wheel-0 100% | 382.0 MiB/s |   1.5 MiB |  00m00s
[ 84/112] Installing emacs-filesystem-1 100% | 132.8 KiB/s | 544.0   B |  00m00s
[ 85/112] Installing tzdata-0:2024a-2.f 100% |  23.5 MiB/s |   1.9 MiB |  00m00s
[ 86/112] Installing mpdecimal-0:2.5.1- 100% |  98.6 MiB/s | 202.0 KiB |  00m00s
[ 87/112] Installing libb2-0:0.98.1-11. 100% |  42.3 MiB/s |  43.3 KiB |  00m00s
[ 88/112] Installing expat-0:2.6.0-1.fc 100% |  34.1 MiB/s | 278.9 KiB |  00m00s
[ 89/112] Installing python3-libs-0:3.1 100% | 156.8 MiB/s |  41.4 MiB |  00m00s
[ 90/112] Installing python3-0:3.12.2-2 100% |  32.8 MiB/s |  33.6 KiB |  00m00s
[ 91/112] Installing gc-0:8.2.2-6.fc40. 100% |  42.5 MiB/s | 261.2 KiB |  00m00s
[ 92/112] Installing guile30-0:3.0.7-12 100% | 224.3 MiB/s |  51.6 MiB |  00m00s
[ 93/112] Installing make-1:4.4.1-6.fc4 100% | 150.0 MiB/s |   1.8 MiB |  00m00s
[ 94/112] Installing gcc-0:14.0.1-0.7.f 100% | 236.3 MiB/s | 103.3 MiB |  00m00s
>>> Running trigger-install scriptlet: redhat-rpm-config-0:285-1.fc41.noarch
>>> Stop trigger-install scriptlet: redhat-rpm-config-0:285-1.fc41.noarch
[ 95/112] Installing gmp-c++-1:6.3.0-1. 100% |  31.8 MiB/s |  32.6 KiB |  00m00s
[ 96/112] Installing gmp-devel-1:6.3.0- 100% |  23.1 MiB/s | 354.1 KiB |  00m00s
>>> Running pre-install scriptlet: texlive-base-11:20230311-81.fc40.x86_64
>>> Stop pre-install scriptlet: texlive-base-11:20230311-81.fc40.x86_64
[ 97/112] Installing texlive-base-11:20 100% | 257.0 MiB/s |  19.0 MiB |  00m00s
[ 98/112] Installing m4-0:1.4.19-9.fc40 100% |  64.6 MiB/s | 595.2 KiB |  00m00s
[ 99/112] Installing libzstd-devel-0:1. 100% |  97.1 MiB/s | 198.9 KiB |  00m00s
[100/112] Installing ocaml-0:5.1.1-4.fc 100% | 231.2 MiB/s | 129.0 MiB |  00m01s
[101/112] Installing ocaml-findlib-0:1. 100% | 216.5 MiB/s |   3.2 MiB |  00m00s
[102/112] Installing ocaml-zarith-0:1.1 100% |  93.0 MiB/s | 380.9 KiB |  00m00s
[103/112] Installing ocaml-zarith-devel 100% |  96.3 MiB/s | 887.7 KiB |  00m00s
[104/112] Installing coq-0:8.18.0-4.fc4 100% | 194.4 MiB/s |  88.1 MiB |  00m00s
[105/112] Installing coq-core-0:8.18.0- 100% | 225.5 MiB/s | 680.5 MiB |  00m03s
[106/112] Installing flocq-0:4.1.4-1.fc 100% | 339.3 MiB/s |  17.3 MiB |  00m00s
[107/112] Installing autoconf-0:2.72-1. 100% | 233.1 MiB/s |   2.8 MiB |  00m00s
[108/112] Installing gcc-c++-0:14.0.1-0 100% | 300.9 MiB/s |  37.9 MiB |  00m00s
[109/112] Installing gcc-plugin-annobin 100% |   2.9 MiB/s |  58.7 KiB |  00m00s
>>> Running trigger-install scriptlet: redhat-rpm-config-0:285-1.fc41.noarch
>>> Stop trigger-install scriptlet: redhat-rpm-config-0:285-1.fc41.noarch
[110/112] Installing annobin-plugin-gcc 100% |  39.4 MiB/s | 968.8 KiB |  00m00s
>>> Running trigger-install scriptlet: redhat-rpm-config-0:285-1.fc41.noarch
>>> Stop trigger-install scriptlet: redhat-rpm-config-0:285-1.fc41.noarch
[111/112] Installing remake-0:0.14-10.f 100% |  67.0 MiB/s | 137.2 KiB |  00m00s
[112/112] Installing gappa-0:1.4.2-3.fc 100% |   2.8 MiB/s | 710.3 KiB |  00m00s
>>> Running post-transaction scriptlet: texlive-base-11:20230311-81.fc40.x86_64
>>> Stop post-transaction scriptlet: texlive-base-11:20230311-81.fc40.x86_64
>>> Running trigger-install scriptlet: glibc-common-0:2.39.9000-3.fc41.x86_64
>>> Stop trigger-install scriptlet: glibc-common-0:2.39.9000-3.fc41.x86_64
>>> Running trigger-install scriptlet: info-0:7.1-2.fc40.x86_64
>>> Stop trigger-install scriptlet: info-0:7.1-2.fc40.x86_64
Warning: skipped PGP checks for 11 package(s).
Finish: build setup for gappalib-coq-1.5.4-4.fc41.src.rpm
Start: rpmbuild gappalib-coq-1.5.4-4.fc41.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1706832000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.q1OgFo
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.4.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3-SPECPARTS
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/-rectypes/-g &/' Remakefile.in
+ autoconf -f
configure.in:5: warning: prefer named diversions
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.6Ze891
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -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'
+ 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-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ ./configure --prefix=/usr --datadir=/usr/share
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking how to run the C preprocessor... gcc -E
checking for coqc >= 8.8... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for ocamlfind... /usr/bin/ocamlfind
checking for Flocq >= 3.0... yes
checking for native development files... yes
checking for bytecode development files... yes
checking whether the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
configure: building remake...
/usr/bin/ld: /tmp/cctSTdDG.o: in function `main':
remake.cpp:(.text.startup+0xe3a): warning: the use of `tempnam' is dangerous, better use `mkstemp'

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

configure: creating ./config.status
config.status: creating Remakefile
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j2
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_definitions.v
Building src/Gappa_real.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_real.v

Finished src/Gappa_definitions.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_dyadic.v
File "./src/Gappa_real.v", line 338, characters 6-14:
Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 338, characters 6-14:
Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 349, characters 15-31:
Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_real.vo
Building src/Gappa_fixed.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
Building src/Gappa_pred_bnd.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo
Building src/Gappa_round.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo
Building src/Gappa_round_aux.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_def.v

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

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

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

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

Finished src/Gappa_round.vo
Building src/Gappa_float.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo
Building src/Gappa_library.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_pred_abs.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo

Finished src/Gappa_decimal.vo
Building src/Gappa_pred_fixflt.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_nzr.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_fixflt.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_nzr.v
File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_abs.v

Finished src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_rel.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo
Building src/Gappa_rewriting.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_rewriting.v
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_abs.v", line 269, characters 8-17:
Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
[deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_pred_abs.vo
Building src/Gappa_tree.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_tree.v

Finished src/Gappa_rewriting.vo
Building src/Gappa_user.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_bnd.v

Finished src/Gappa_tree.vo
Building src/Gappa_obfuscate.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_obfuscate.v

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

Finished src/Gappa_obfuscate.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_rel.v

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

Finished src/Gappa_pred_rel.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_fixed.v
File "./src/Gappa_float.v", line 304, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 304, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 352, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 352, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_fixed.vo
Building src/Gappa_tactic_loader.v
gcc -E -DCOQVERSION=81800 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v

Finished src/Gappa_tactic_loader.v
Building src/Gappa_tactic.vo
/usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo

Finished src/Gappa_float.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_library.v
Building src/gappatac.ml
gcc -E -DCOQVERSION=81800 src/gappatac.c -o src/gappatac.ml

Finished src/gappatac.ml
Building src/gappatac.cmxs
/usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs
File "src/gappatac.c", line 135, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref

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

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

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

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

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

Finished src/gappatac.cmxs
Building src/gappatac.cmo
/usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo

Finished src/Gappa_library.vo
File "src/gappatac.c", line 135, characters 37-61:
Alert deprecated: Coqlib.gen_reference_in_modules
Please use Coqlib.lib_ref

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

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

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

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

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

Finished src/gappatac.cmo
Building src/Gappa_tactic_loader.vo
/usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo
/usr/bin/coqc   -q -R src Gappa -I src src/Gappa_tactic_loader.v

Finished src/Gappa_tactic_loader.vo
/usr/bin/coqc   -q -R src Gappa -I src src/Gappa_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.aqrHEq
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64
++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -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'
+ 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-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64
+ remake install
Building install
Finished install
+ cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.4-4.fc41 --unique-debug-suffix -1.5.4-4.fc41.x86_64 --unique-debug-src-base gappalib-coq-1.5.4-4.fc41.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
find-debuginfo: starting
Extracting debug info from 1 files
DWARF-compressing 1 files
sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.5.4-4.fc41.x86_64
cpio: atomic.ml: Cannot stat: No such file or directory
cpio: big_int_Z.ml: Cannot stat: No such file or directory
cpio: buffer.ml: Cannot stat: No such file or directory
cpio: bytes.ml: Cannot stat: No such file or directory
cpio: engine/eConstr.ml: Cannot stat: No such file or directory
cpio: engine/evd.ml: Cannot stat: No such file or directory
cpio: engine/proofview.ml: Cannot stat: No such file or directory
cpio: filename.ml: Cannot stat: No such file or directory
cpio: format.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: interp/dumpglob.ml: Cannot stat: No such file or directory
cpio: kernel/constr.ml: Cannot stat: No such file or directory
cpio: kernel/context.ml: Cannot stat: No such file or directory
cpio: lib/pp.ml: Cannot stat: No such file or directory
cpio: lib/util.ml: Cannot stat: No such file or directory
cpio: pretyping/reductionops.ml: Cannot stat: No such file or directory
cpio: pretyping/tacred.ml: Cannot stat: No such file or directory
cpio: printing/ppconstr.ml: Cannot stat: No such file or directory
cpio: printing/printer.ml: Cannot stat: No such file or directory
cpio: stdlib.ml: Cannot stat: No such file or directory
cpio: string.ml: Cannot stat: No such file or directory
cpio: tactics/tacticals.ml: Cannot stat: No such file or directory
cpio: vernac/mltop.ml: Cannot stat: No such file or directory
cpio: z.ml: Cannot stat: No such file or directory
62 blocks
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j2
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.iNxgv0
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -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'
+ 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-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ remake check
Building testsuite/check
Finished testsuite/check
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappalib-coq-1.5.4-4.fc41.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.3J7DDs
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/doc/gappalib-coq
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.EU2eqP
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/licenses/gappalib-coq
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/licenses/gappalib-coq
+ cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.5.4-4.fc41 gappalib-coq(x86-64) = 1.5.4-4.fc41 ocaml(Gappatac) = e64924bbfa018e84761dfd7e017f1b18
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = cdfee4e5829f040abf5ec1cb4d0fec46 ocaml(Attributes) = d6359250e0a3423187e8cc5344815e8d ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 ocaml(CArray) = d0b8e142800441f2986abc6a10b17d96 ocaml(CAst) = 71b4519533385925ca69635a553e0698 ocaml(CClosure) = a70816f1562d0dfd0802006a5ddf258e ocaml(CDebug) = 5e34d27037ef21338a8ad53fef60fa9d ocaml(CEphemeron) = cc49b32dce287834ade5fa01506b4897 ocaml(CErrors) = bf0d4fa7b58ca1ee217d37e29d8b97e0 ocaml(CLexer) = 9e9bf29f256743ed0bc49effa3d9ef47 ocaml(CList) = 410a49e74c519628da742b743c5d1505 ocaml(CMap) = fb01a8a4b3e562cc65968b1a64e3a886 ocaml(CPrimitives) = 0781761bf480e3b408e0819e32edafb6 ocaml(CSet) = 93611ef3700d6a8f15a80498b188afc1 ocaml(CSig) = a79321778c76160b752610c73719a509 ocaml(CString) = f37e3443177ea99478cea5cfc3b151b8 ocaml(CUnix) = 8c5a6c99a70b4a0f057c7468f74f5475 ocaml(CWarnings) = 84dc96e3d7ef74d984dc274a58bcf663 ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(Coercionops) = eef0dcbfc9084d617a769fe3ec3f933e ocaml(Constr) = 71385776dccfc85584fc72bfd346d3d6 ocaml(Constrexpr) = 702772f5b863684cb7f922d55dae31ed ocaml(Constrintern) = dd1f69f8dad4a12f555141938638474d ocaml(Context) = f520fe433a2e42ab83cf427af998339a ocaml(Conv_oracle) = 95d6fce63a260f91954d793cb98df0ba ocaml(Conversion) = 9e9626c34d09767f7c1d9e52524bd341 ocaml(Cooking) = 13dab310193784c2e27c500f952c2eb5 ocaml(Coqlib) = 27e2a48f81dd9ee0f7f7a0be7eabbfc6 ocaml(DAst) = e02fc82907b86e6986088bccf10577d4 ocaml(Declarations) = ef896e131e7724b6a67a5e7b08cea3af ocaml(Declare) = 0a64688bb4b9f5be85f07f41be62c517 ocaml(Declaremods) = 13647ca83c90ef6f11def84b5e9dc6b3 ocaml(Decls) = 8c437b248e3fd799b4ba683b998bbb81 ocaml(Deprecation) = e23a92f5be3bc039fe40f761daf486bd ocaml(Dumpglob) = cd2c601512b598965e058ef3d417fd3b ocaml(Dyn) = 837a60cd76e63607781b264b2e3f3ba9 ocaml(EConstr) = c961579c9d3b4e04c956d0064ca6d329 ocaml(Entries) = acc9c6dd41701b5f7bae8d4315223b70 ocaml(Environ) = ab629d39e53c035a93494ce158feb6cc ocaml(Equality) = 4d9dc7525d3d143b1d7340d2b23979a3 ocaml(Esubst) = e4717fd1e0707d98d442c61e0a5b8297 ocaml(Evar) = d3dc6bccd89a24c2ac00f677d10960df ocaml(Evar_kinds) = 174cba84da7dfeddb9c6dcc868037b15 ocaml(Evardefine) = b2a752c79ef20159d73c9714ce99e313 ocaml(Evarsolve) = 0026e4107d6ac709e5ad7f18dbc7b8b2 ocaml(Evarutil) = 05af8465a44fdf73766920fce88a1689 ocaml(Evd) = d3cd70c1d8817206ef6f4e8e6172c4af ocaml(Exninfo) = ea79c74e37f7cacfcd3199d63fc1b297 ocaml(Extend) = b3262157a35606f512a81501e073a8ea ocaml(Float64) = db0513c3d78747b402371a1a1ec6a5c1 ocaml(Ftactic) = 4baccd80f1a2a0c9ca9c316fb44cce3a ocaml(Future) = 9e621cbecb105580c34f8cf9f081fc73 ocaml(Genarg) = 8f340f0198c405739c88c3b9f7083309 ocaml(Genintern) = 984163133d6eebc58de054a2c0946567 ocaml(Geninterp) = 325397bfbd9f04bc3be064c77c55041c ocaml(Genlambda) = aa7d18f18dde8853a9dbdd3269864b49 ocaml(Genprint) = 8f70360eff9f2bd3bbecdc48ed83abdc ocaml(Genredexpr) = 727acc8f0760566749c350a8734fc60c ocaml(GlobEnv) = 2898136f6b0652b7c19189853cab05e7 ocaml(Glob_term) = a53d61e3a0992e155f24e8d154ec994f ocaml(Global) = 3f239c3db046a571bdd1a0649b80a266 ocaml(Globnames) = 5704ac54d6b548dce8a04c53570682e2 ocaml(Goal_select) = eb24af1774b2c22e49766c7a05d3ad0a ocaml(Goptions) = 693e52743db76799be90eb75f8f72a65 ocaml(Gramlib) = 9a8fd2651569f6b0e0c2dcd907918b41 ocaml(Gramlib__Gramext) = 42ab6f41acd4bb3eafe9519122b0544d ocaml(Gramlib__Grammar) = 7a7555b2729fea4e430f5f684b54f097 ocaml(Gramlib__LStream) = 428f949440104dc0779bdfbddae00204 ocaml(Gramlib__Plexing) = 1cc86a0347c6b7b866f39461140ba0ab ocaml(Gramlib__Stream) = f85c48cd5f3736fd8892c81fa5153d74 ocaml(Hashcons) = 22f4795de199b84d2df6ec0af1bbef10 ocaml(Hashset) = 6b079efe00409f0ddfefcacb46fb2dcc ocaml(Hints) = 07825d485c742883007dcd894894faa6 ocaml(Hook) = b7c2df039ba9272cbbf0613b45088b36 ocaml(Impargs) = 15c5c7323e0d6db98d22694859858a2f ocaml(Ind_tables) = 9e367875834387b0def2b2721f442cc4 ocaml(Int) = 0f78938e5328ce3abc227dd05cce0e0a ocaml(Inv) = f9a05f0c0a31ca43ccab18112419e28a ocaml(Lib) = 381215d214882495a43d0702da1a5258 ocaml(Libnames) = 66701935a7a2d19989a1a923f6c103c6 ocaml(Libobject) = 847d74e2686cd54cd2aca770630c7e81 ocaml(Loc) = 1aa3693c0002eb1a9e83bbb3131e3061 ocaml(Locality) = cc8672e3eb2710c5d772d285f2e25525 ocaml(Locus) = 5f020357f6b5e1f255668be2b0aec049 ocaml(Logic) = d6eaeadf0ec593a59e662e24a3a4f55a ocaml(Logic_monad) = 829da051a3765189b8e032d18018dc69 ocaml(Ltac_plugin) = 9535c9941946ac241050beb63162342d ocaml(Ltac_plugin__Pptactic) = 1dcdcaaa8c336599c5f72de39afd315b ocaml(Ltac_plugin__Tacentries) = 6f14d98c08d086c480967aec57599320 ocaml(Ltac_plugin__Tacexpr) = 6c4dbcf45353423c8ba0465ff07c805b ocaml(Ltac_pretype) = e022a712693a55ac3ebc80240dfc1454 ocaml(Metasyntax) = b144930a3f698bc1ee20121e295cf45c ocaml(Mltop) = 3e22ef583bcd1d3024cf3257848d8d9d ocaml(Mod_subst) = 4fafe132554487dd9a55a12fe796ec0a ocaml(Modintern) = 46de56f6528f7b0af0043b3b3b0b1adf ocaml(Monad) = f4ab549dc270bba095c37b84de14fd94 ocaml(Namegen) = bbdee054ff14b4382dd42aa483b19d78 ocaml(Names) = 50f6f1b8efe16612d33d2cb49ced8446 ocaml(Nametab) = 3112a3fee1d9381944491b3151c6868c ocaml(Nativecode) = beb9ff066d0cd2a38a527af7983833b7 ocaml(Nativelib) = 56efcd593193453a2cb0c4487994337c ocaml(Nativevalues) = 383a071965e2632c01ab92236cd2ab98 ocaml(NeList) = 24834dafc4f5a1cf810c3f9eaf8aa0f7 ocaml(Notation) = f3db292cdca076e60924f6bcfcac9893 ocaml(Notation_term) = 350211d962c16e633eefefedf41fad3f ocaml(Notationextern) = 001662356074865dc0663483bbc098a0 ocaml(NumTok) = 7664175efbf442a691279cc42d301ba9 ocaml(Opaqueproof) = 5201a243c8b273864fcc3e51de258251 ocaml(Parray) = 27786cb5f50c7da3da038db7f56fec6e ocaml(Pattern) = c3438c57623d16ded0e35e4b0314d758 ocaml(Pcoq) = e79edf4dbc025f4a9af0b0021670f39a ocaml(Pp) = c495dd6f22a2ed429fa0d09a47c82de4 ocaml(Predicate) = 61a5246feac0f5e76d6437e94009b3cb ocaml(Pretype_errors) = 9be5c9b0a3eacb437fe38dae6ac7c848 ocaml(Pretyping) = 97a0bf95954666c3ab67bd9c0da66ebd ocaml(Primred) = 9e47c0b6e0c4902aae795f45a50c8943 ocaml(Printer) = b5b9924caa7ee12c6f9a5897115ade05 ocaml(Proof) = f91ec867f8a46f260953840d546cad36 ocaml(Proof_bullet) = f9b33dfd67d395d409d95f30b3c56bb3 ocaml(Proof_using) = 0fa2161f5998d0e73b0f8c3ba3b1fbc4 ocaml(Proofview) = f58c551becc7c726f29cc75947fa7441 ocaml(Proofview_monad) = dac4bd5393d881dde7e076e44f182aef ocaml(Pvernac) = 1e7a100249e9c3d91a5043359328bafc ocaml(Range) = da820172ed0d90aba4156c9bc48f7367 ocaml(Redexpr) = b5fa6f860701f22b249529cce2221830 ocaml(Reductionops) = b31750da9255680e4953c4431f717e23 ocaml(RetrieveObl) = b5281635d67a182364f62e4d0f2e69d2 ocaml(Retroknowledge) = af103488193ab7d811d1b0dabc521717 ocaml(Rtree) = edbcc00d1123e2a43e2b54c8f7f1a916 ocaml(SList) = 9ddb9252f133868c2025b4ea84ee6ad4 ocaml(Safe_typing) = 29fa3fa49184f17fba98682b9122ed6c ocaml(Section) = f5cf08158e763d9b2377f67d22346206 ocaml(Sorts) = c8c151ca2e00be7dae00401ea367cae6 ocaml(Stateid) = b7a5f7a67e05112eb3662eb26eff2889 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Store) = 2f6454fc91b37071d87bb5cebe4b2b55 ocaml(Summary) = 944787e2184c33f6151c5592a460fdfa ocaml(Tacmach) = 9ad0d947d33202ad6213639e9c06bffe ocaml(Tacred) = 85648f83307a1eede8020119938cd73a ocaml(Tacticals) = 21a7aea970e9ad0daf283e1ac263402f ocaml(Tactics) = 379a3f75a9f1be52f5bb991447451dd7 ocaml(Tactypes) = 8f45872ac3979048974d0b2824119fcb ocaml(Term) = 2fbd6c63bfcbbd4e5ded45d2cad45f4a ocaml(Tok) = a2c4b487db0eb8a53bcf19d7b067bce1 ocaml(TransparentState) = 831b7b89c303278f6f19f6b48b5f3b91 ocaml(Type_errors) = 379da22dd64dcec4e4bf057686b19086 ocaml(Typeclasses) = 4b4f813778c0d2e701b6346c87c0a07c ocaml(UGraph) = 9c4aea680459b33e4d89c02081bf4a2c ocaml(UState) = 5344cbd77c880afbefd094d7430aa705 ocaml(Uint63) = ccf4e2651d53bc5f2ea1ee89888aecc0 ocaml(Unification) = 111b9d3dffbf344c14d5689a2edb05aa ocaml(Univ) = 631d6eb7573e8a3ee3a594284a544ae3 ocaml(UnivGen) = eda2aebf2aa2f3121853f11ba01b0043 ocaml(UnivNames) = 25975fd1252b4a4d246e01e8c26eb24e ocaml(UnivProblem) = 3627a112b5012efd008d6136abac379b ocaml(UnivSubst) = be71751f6d6382b503475d8422db6d29 ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Util) = 74bcae9f40763d8877bc3099e822ff48 ocaml(Values) = d7ad0b27a83baaf5bb6b915f0623f0b6 ocaml(Vars) = 4c5da64b5ab4e204f1baa3a65d97fafe ocaml(Vernacexpr) = 4c757c671c186ac100eaafd126d35d89 ocaml(Vernacextend) = 490815a74fd2a6befd19122f9919d904 ocaml(Vmbytecodes) = 1915978944789557ec2b5b8f66d0a010 ocaml(Vmemitcodes) = 7743648aa59e4444f16748ec2ed2c5f7 ocaml(Vmvalues) = 2c38ece8d1f5259988edd040477dc511 ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.5.4-4.fc41.x86_64
Provides: gappalib-coq-source = 1.5.4-4.fc41 gappalib-coq-source(x86-64) = 1.5.4-4.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debugsource-1.5.4-4.fc41.x86_64
Provides: gappalib-coq-debugsource = 1.5.4-4.fc41 gappalib-coq-debugsource(x86-64) = 1.5.4-4.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debuginfo-1.5.4-4.fc41.x86_64
Provides: debuginfo(build-id) = cc7fd7b053502279d69d41080a6404e9616de097 gappalib-coq-debuginfo = 1.5.4-4.fc41 gappalib-coq-debuginfo(x86-64) = 1.5.4-4.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(x86-64) = 1.5.4-4.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.4-4.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.4-4.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.4-4.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.5.4-4.fc41.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.1GhNTk
+ umask 022
+ cd /builddir/build/BUILD
+ cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc41.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.v55kii
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3-SPECPARTS
+ rm -rf coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Finish: rpmbuild gappalib-coq-1.5.4-4.fc41.src.rpm
Finish: build phase for gappalib-coq-1.5.4-4.fc41.src.rpm
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-rawhide-x86_64-1709178743.586702/root/var/log/dnf5.log
INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.4-4.fc41.src.rpm) Config(child) 0 minutes 58 seconds
INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results
INFO: Cleaning up build root ('cleanup_on_success=True')
Start: clean chroot
INFO: unmounting tmpfs.
Finish: clean chroot
Finish: run
Running RPMResults tool
Package info:
{
    "packages": [
        {
            "name": "gappalib-coq-source",
            "epoch": null,
            "version": "1.5.4",
            "release": "4.fc41",
            "arch": "x86_64"
        },
        {
            "name": "gappalib-coq",
            "epoch": null,
            "version": "1.5.4",
            "release": "4.fc41",
            "arch": "src"
        },
        {
            "name": "gappalib-coq-debuginfo",
            "epoch": null,
            "version": "1.5.4",
            "release": "4.fc41",
            "arch": "x86_64"
        },
        {
            "name": "gappalib-coq-debugsource",
            "epoch": null,
            "version": "1.5.4",
            "release": "4.fc41",
            "arch": "x86_64"
        },
        {
            "name": "gappalib-coq",
            "epoch": null,
            "version": "1.5.4",
            "release": "4.fc41",
            "arch": "x86_64"
        }
    ]
}
RPMResults finished