Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c148' (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/8069406-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64


Version: 0.73
PID: 7928
Logging PID: 7929
Task:
{'allow_user_ssh': False,
 'appstream': False,
 'background': False,
 'build_id': 8069406,
 'buildroot_pkgs': [],
 'chroot': 'fedora-rawhide-x86_64',
 'enable_net': False,
 'fedora_review': False,
 'git_hash': '50d25abacf8860534f8e63612dc857e4a1fdd607',
 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/ljavorsk/zlib-ng-rebase-fedora/alt-ergo',
 'isolation': 'default',
 'memory_reqs': 2048,
 'package_name': 'alt-ergo',
 'package_version': '2.3.3-22',
 'project_dirname': 'zlib-ng-rebase-fedora',
 'project_name': 'zlib-ng-rebase-fedora',
 'project_owner': 'ljavorsk',
 'repo_priority': None,
 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/ljavorsk/zlib-ng-rebase-fedora/fedora-rawhide-x86_64/',
            'id': 'copr_base',
            'name': 'Copr repository',
            'priority': None}],
 'sandbox': 'ljavorsk/zlib-ng-rebase-fedora--ljavorsk',
 'source_json': {},
 'source_type': None,
 'ssh_public_keys': None,
 'submitter': 'ljavorsk',
 'tags': [],
 'task_id': '8069406-fedora-rawhide-x86_64',
 'timeout': 18000,
 'uses_devel_repo': False,
 'with_opts': [],
 'without_opts': []}

Running: git clone https://copr-dist-git.fedorainfracloud.org/git/ljavorsk/zlib-ng-rebase-fedora/alt-ergo /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo --depth 500 --no-single-branch --recursive

cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/ljavorsk/zlib-ng-rebase-fedora/alt-ergo', '/var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo'...

Running: git checkout 50d25abacf8860534f8e63612dc857e4a1fdd607 --

cmd: ['git', 'checkout', '50d25abacf8860534f8e63612dc857e4a1fdd607', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo
rc: 0
stdout: 
stderr: Note: switching to '50d25abacf8860534f8e63612dc857e4a1fdd607'.

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 50d25ab automatic import of alt-ergo

Running: copr-distgit-client sources

cmd: ['copr-distgit-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo
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 alt-ergo-free-2.3.0.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o alt-ergo-free-2.3.0.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/ljavorsk/zlib-ng-rebase-fedora/alt-ergo/alt-ergo-free-2.3.0.tar.gz/md5/4215e71e2d74a14570239fe424250c14/alt-ergo-free-2.3.0.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 2398k  100 2398k    0     0  23.5M      0 --:--:-- --:--:-- --:--:-- 23.6M
INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.0.tar.gz
INFO: Downloading alt-ergo-free-2.3.3.tar.gz
/usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated
INFO: Calling: curl -H Pragma: -o alt-ergo-free-2.3.3.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/ljavorsk/zlib-ng-rebase-fedora/alt-ergo/alt-ergo-free-2.3.3.tar.gz/md5/adaea0b3bc67b24df5d6eec800d249f7/alt-ergo-free-2.3.3.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100  388k  100  388k    0     0  5083k      0 --:--:-- --:--:-- --:--:-- 5042k
INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.3.tar.gz
INFO: Downloading alt-ergo-icons.tar.xz
INFO: Calling: curl -H Pragma: -o alt-ergo-icons.tar.xz --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/ljavorsk/zlib-ng-rebase-fedora/alt-ergo/alt-ergo-icons.tar.xz/md5/7f0a09b222de3abe03563126e0830856/alt-ergo-icons.tar.xz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 62276  100 62276    0     0  1202k      0 --:--:-- --:--:-- --:--:-- 1216k
INFO: Reading stdout from command: md5sum alt-ergo-icons.tar.xz

Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1727272719.696636 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
INFO: mock.py version 5.6 starting (python version = 3.12.1, NVR = mock-5.6-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1727272719.696636 -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-1obe0ld4/alt-ergo/alt-ergo.spec)  Config(fedora-rawhide-x86_64)
Start: clean chroot
Finish: clean chroot
Mock Version: 5.6
INFO: Mock Version: 5.6
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1727272719.696636/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-1727272719.696636/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/f4f5d9a7fcdfd40ccef681894024d8d186d1adc68bea7d28f55eb3985cfe2962/merged
INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/f4f5d9a7fcdfd40ccef681894024d8d186d1adc68bea7d28f55eb3985cfe2962/merged) with podman image umount
INFO: Package manager dnf5 detected and used (fallback)
INFO: Not updating bootstrap chroot, bootstrap_image_ready=True
Start(bootstrap): creating root cache
Finish(bootstrap): creating root cache
Finish(bootstrap): chroot init
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1727272719.696636/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.94-1.fc42.x86_64
  rpm-sequoia-1.7.0-2.fc41.x86_64
  dnf5-5.2.6.2-1.fc42.x86_64
  dnf5-plugins-5.2.6.2-1.fc42.x86_64
Start: installing minimal buildroot with dnf5
Updating and loading repositories:
 fedora                                 100% |   9.4 MiB/s |  21.8 MiB |  00m02s
 Copr repository                        100% |   3.7 MiB/s | 502.7 KiB |  00m00s
Repositories loaded.
Package                            Arch   Version                    Repository      Size
Installing group/module packages:
 bash                              x86_64 5.2.32-2.fc42              fedora       8.2 MiB
 bzip2                             x86_64 1.0.8-19.fc41              fedora      95.7 KiB
 coreutils                         x86_64 9.5-9.fc42                 fedora       5.7 MiB
 cpio                              x86_64 2.15-2.fc41                fedora       1.1 MiB
 diffutils                         x86_64 3.10-8.fc41                fedora       1.6 MiB
 fedora-release-common             noarch 42-0.3                     fedora      19.4 KiB
 findutils                         x86_64 1:4.10.0-4.fc41            fedora       1.8 MiB
 gawk                              x86_64 5.3.0-4.fc41               fedora       1.7 MiB
 glibc-minimal-langpack            x86_64 2.40.9000-1.fc42           fedora       0.0   B
 grep                              x86_64 3.11-9.fc41                fedora       1.0 MiB
 gzip                              x86_64 1.13-2.fc41                fedora     389.0 KiB
 info                              x86_64 7.1.1-1.fc42               fedora     361.9 KiB
 patch                             x86_64 2.7.6-25.fc41              fedora     266.7 KiB
 redhat-rpm-config                 noarch 295-1.fc42                 fedora     186.6 KiB
 rpm-build                         x86_64 4.19.94-1.fc42             fedora     194.3 KiB
 sed                               x86_64 4.9-3.fc41                 fedora     861.5 KiB
 shadow-utils                      x86_64 2:4.16.0-4.fc42            fedora       4.1 MiB
 tar                               x86_64 2:1.35-4.fc41              fedora       2.9 MiB
 unzip                             x86_64 6.0-64.fc41                fedora     386.8 KiB
 util-linux                        x86_64 2.40.2-8.fc42              fedora       3.7 MiB
 which                             x86_64 2.21-42.fc41               fedora      80.2 KiB
 xz                                x86_64 1:5.6.2-2.fc41             fedora       1.2 MiB
Installing dependencies:
 add-determinism                   x86_64 0.3.6-1.fc41               fedora       2.2 MiB
 alternatives                      x86_64 1.30-1.fc41                fedora      66.3 KiB
 ansible-srpm-macros               noarch 1-16.fc41                  fedora      35.7 KiB
 audit-libs                        x86_64 4.0.2-1.fc41               fedora     331.3 KiB
 authselect                        x86_64 1.5.0-7.fc41               fedora     153.5 KiB
 authselect-libs                   x86_64 1.5.0-7.fc41               fedora     818.3 KiB
 basesystem                        noarch 11-21.fc41                 fedora       0.0   B
 binutils                          x86_64 2.43.50-1.fc42             copr_base   27.5 MiB
 build-reproducibility-srpm-macros noarch 0.3.6-1.fc41               fedora     735.0   B
 bzip2-libs                        x86_64 1.0.8-19.fc41              fedora      80.7 KiB
 ca-certificates                   noarch 2024.2.69_v8.0.401-1.fc42  fedora       2.6 MiB
 coreutils-common                  x86_64 9.5-9.fc42                 fedora      11.2 MiB
 cracklib                          x86_64 2.9.11-6.fc41              fedora     238.9 KiB
 crypto-policies                   noarch 20240828-1.git5f66e81.fc42 fedora     136.9 KiB
 curl                              x86_64 8.10.1-1.fc42              fedora     453.3 KiB
 cyrus-sasl-lib                    x86_64 2.1.28-27.fc41             fedora       2.3 MiB
 debugedit                         x86_64 5.0-17.fc41                fedora     199.3 KiB
 dwz                               x86_64 0.15-7.fc41                fedora     290.9 KiB
 ed                                x86_64 1.20.2-2.fc41              fedora     146.9 KiB
 efi-srpm-macros                   noarch 5-12.fc41                  fedora      40.1 KiB
 elfutils                          x86_64 0.191-8.fc41               fedora       2.6 MiB
 elfutils-debuginfod-client        x86_64 0.191-8.fc41               fedora      64.9 KiB
 elfutils-default-yama-scope       noarch 0.191-8.fc41               fedora       1.8 KiB
 elfutils-libelf                   x86_64 0.191-8.fc41               fedora       1.2 MiB
 elfutils-libs                     x86_64 0.191-8.fc41               fedora     646.2 KiB
 fedora-gpg-keys                   noarch 42-0.2                     fedora     126.4 KiB
 fedora-release                    noarch 42-0.3                     fedora       0.0   B
 fedora-release-identity-basic     noarch 42-0.3                     fedora     694.0   B
 fedora-repos                      noarch 42-0.2                     fedora       4.9 KiB
 fedora-repos-rawhide              noarch 42-0.2                     fedora       2.2 KiB
 file                              x86_64 5.45-7.fc41                fedora     103.5 KiB
 file-libs                         x86_64 5.45-7.fc41                fedora       9.9 MiB
 filesystem                        x86_64 3.18-29.fc42               fedora     106.0   B
 fonts-srpm-macros                 noarch 1:2.0.5-17.fc41            fedora      55.8 KiB
 forge-srpm-macros                 noarch 0.3.2-1.fc41               fedora      39.0 KiB
 fpc-srpm-macros                   noarch 1.3-13.fc41                fedora     144.0   B
 gdb-minimal                       x86_64 15.1-2.fc42                fedora      13.0 MiB
 gdbm                              x86_64 1:1.23-7.fc41              fedora     460.9 KiB
 gdbm-libs                         x86_64 1:1.23-7.fc41              fedora     121.9 KiB
 ghc-srpm-macros                   noarch 1.9.2-1.fc42               fedora     779.0   B
 glibc                             x86_64 2.40.9000-1.fc42           fedora       6.7 MiB
 glibc-common                      x86_64 2.40.9000-1.fc42           fedora       1.0 MiB
 glibc-gconv-extra                 x86_64 2.40.9000-1.fc42           fedora       8.1 MiB
 gmp                               x86_64 1:6.3.0-2.fc41             fedora     811.4 KiB
 gnat-srpm-macros                  noarch 6-6.fc41                   fedora       1.0 KiB
 go-srpm-macros                    noarch 3.6.0-3.fc41               fedora      60.8 KiB
 jansson                           x86_64 2.13.1-10.fc41             fedora      88.3 KiB
 kernel-srpm-macros                noarch 1.0-24.fc41                fedora       1.9 KiB
 keyutils-libs                     x86_64 1.6.3-4.fc41               fedora      54.4 KiB
 krb5-libs                         x86_64 1.21.3-2.fc41              fedora       2.3 MiB
 libacl                            x86_64 2.3.2-2.fc41               fedora      40.0 KiB
 libarchive                        x86_64 3.7.4-3.fc42               fedora     926.6 KiB
 libattr                           x86_64 2.5.2-4.fc41               fedora      28.5 KiB
 libblkid                          x86_64 2.40.2-8.fc42              fedora     262.5 KiB
 libbrotli                         x86_64 1.1.0-5.fc41               fedora     837.6 KiB
 libcap                            x86_64 2.70-4.fc41                fedora     220.2 KiB
 libcap-ng                         x86_64 0.8.5-3.fc41               fedora      69.2 KiB
 libcom_err                        x86_64 1.47.1-3.fc41              fedora      67.2 KiB
 libcurl                           x86_64 8.10.1-1.fc42              fedora     838.4 KiB
 libeconf                          x86_64 0.6.2-3.fc41               fedora      58.0 KiB
 libevent                          x86_64 2.1.12-14.fc41             fedora     895.7 KiB
 libfdisk                          x86_64 2.40.2-8.fc42              fedora     362.9 KiB
 libffi                            x86_64 3.4.6-3.fc42               fedora      86.4 KiB
 libgcc                            x86_64 14.2.1-3.fc42              fedora     274.6 KiB
 libgomp                           x86_64 14.2.1-3.fc42              fedora     523.8 KiB
 libidn2                           x86_64 2.3.7-2.fc41               fedora     329.1 KiB
 libmount                          x86_64 2.40.2-8.fc42              fedora     355.8 KiB
 libnghttp2                        x86_64 1.63.0-1.fc42              fedora     170.1 KiB
 libnsl2                           x86_64 2.0.1-2.fc41               fedora      57.9 KiB
 libpkgconf                        x86_64 2.3.0-1.fc42               fedora      78.2 KiB
 libpsl                            x86_64 0.21.5-4.fc41              fedora      80.5 KiB
 libpwquality                      x86_64 1.4.5-11.fc41              fedora     417.8 KiB
 libselinux                        x86_64 3.7-6.fc42                 fedora     181.1 KiB
 libsemanage                       x86_64 3.7-3.fc42                 fedora     298.0 KiB
 libsepol                          x86_64 3.7-3.fc42                 fedora     818.0 KiB
 libsmartcols                      x86_64 2.40.2-8.fc42              fedora     180.4 KiB
 libssh                            x86_64 0.11.1-1.fc42              fedora     569.6 KiB
 libssh-config                     noarch 0.11.1-1.fc42              fedora     277.0   B
 libstdc++                         x86_64 14.2.1-3.fc42              fedora       2.8 MiB
 libtasn1                          x86_64 4.19.0-9.fc41              fedora     175.7 KiB
 libtirpc                          x86_64 1.3.5-0.fc41               fedora     202.7 KiB
 libtool-ltdl                      x86_64 2.4.7-12.fc41              fedora      66.2 KiB
 libunistring                      x86_64 1.1-8.fc41                 fedora       1.7 MiB
 libuuid                           x86_64 2.40.2-8.fc42              fedora      41.4 KiB
 libverto                          x86_64 0.3.2-9.fc41               fedora      29.5 KiB
 libxcrypt                         x86_64 4.4.36-7.fc41              fedora     266.8 KiB
 libxml2                           x86_64 2.12.8-2.fc41              fedora       1.7 MiB
 libzstd                           x86_64 1.5.6-2.fc41               fedora     795.9 KiB
 lua-libs                          x86_64 5.4.6-6.fc41               fedora     285.0 KiB
 lua-srpm-macros                   noarch 1-14.fc41                  fedora       1.3 KiB
 lz4-libs                          x86_64 1.10.0-1.fc41              fedora     145.5 KiB
 mpfr                              x86_64 4.2.1-5.fc41               fedora     832.1 KiB
 ncurses-base                      noarch 6.5-2.20240629.fc41        fedora     326.3 KiB
 ncurses-libs                      x86_64 6.5-2.20240629.fc41        fedora     975.2 KiB
 ocaml-srpm-macros                 noarch 10-3.fc41                  fedora       1.9 KiB
 openblas-srpm-macros              noarch 2-18.fc41                  fedora     112.0   B
 openldap                          x86_64 2.6.8-5.fc41               fedora     644.2 KiB
 openssl-libs                      x86_64 1:3.2.2-8.fc42             fedora       7.8 MiB
 p11-kit                           x86_64 0.25.5-3.fc41              fedora       2.2 MiB
 p11-kit-trust                     x86_64 0.25.5-3.fc41              fedora     391.4 KiB
 package-notes-srpm-macros         noarch 0.5-12.fc41                fedora       1.6 KiB
 pam                               x86_64 1.6.1-6.fc42               fedora       1.8 MiB
 pam-libs                          x86_64 1.6.1-6.fc42               fedora     139.0 KiB
 pcre2                             x86_64 10.44-1.fc41.1             fedora     653.5 KiB
 pcre2-syntax                      noarch 10.44-1.fc41.1             fedora     251.6 KiB
 perl-srpm-macros                  noarch 1-56.fc41                  fedora     861.0   B
 pkgconf                           x86_64 2.3.0-1.fc42               fedora      88.6 KiB
 pkgconf-m4                        noarch 2.3.0-1.fc42               fedora      14.4 KiB
 pkgconf-pkg-config                x86_64 2.3.0-1.fc42               fedora     989.0   B
 popt                              x86_64 1.19-7.fc41                fedora     136.9 KiB
 publicsuffix-list-dafsa           noarch 20240107-4.fc41            fedora      67.5 KiB
 pyproject-srpm-macros             noarch 1.15.0-1.fc42              fedora       1.9 KiB
 python-srpm-macros                noarch 3.13-3.fc41                fedora      51.0 KiB
 qt5-srpm-macros                   noarch 5.15.15-1.fc42             fedora     500.0   B
 qt6-srpm-macros                   noarch 6.7.2-3.fc41               fedora     456.0   B
 readline                          x86_64 8.2-11.fc42                fedora     493.1 KiB
 rpm                               x86_64 4.19.94-1.fc42             fedora       3.1 MiB
 rpm-build-libs                    x86_64 4.19.94-1.fc42             fedora     206.7 KiB
 rpm-libs                          x86_64 4.19.94-1.fc42             fedora     722.1 KiB
 rpm-sequoia                       x86_64 1.7.0-2.fc41               fedora       2.4 MiB
 rust-srpm-macros                  noarch 26.3-3.fc42                fedora       4.8 KiB
 setup                             noarch 2.15.0-5.fc41              fedora     720.7 KiB
 sqlite-libs                       x86_64 3.46.0-4.fc41              fedora       1.4 MiB
 systemd-libs                      x86_64 256.5-1.fc42               fedora       2.0 MiB
 util-linux-core                   x86_64 2.40.2-8.fc42              fedora       1.5 MiB
 xxhash-libs                       x86_64 0.8.2-3.fc41               fedora      88.5 KiB
 xz-libs                           x86_64 1:5.6.2-2.fc41             fedora     214.4 KiB
 zig-srpm-macros                   noarch 1-3.fc41                   fedora       1.1 KiB
 zip                               x86_64 3.0-41.fc41                fedora     703.2 KiB
 zlib-ng-compat                    x86_64 2.2.2-1.fc42               copr_base  137.8 KiB
 zstd                              x86_64 1.5.6-2.fc41               fedora       1.7 MiB
Installing groups:
 Buildsystem building group                                                              

Transaction Summary:
 Installing:       153 packages

Total size of inbound packages is 53 MiB. Need to download 53 MiB.
After this operation, 180 MiB extra will be used (install 180 MiB, remove 0 B).
[  1/153] bzip2-0:1.0.8-19.fc41.x86_64  100% | 142.7 KiB/s |  52.5 KiB |  00m00s
[  2/153] cpio-0:2.15-2.fc41.x86_64     100% |   2.9 MiB/s | 291.8 KiB |  00m00s
[  3/153] coreutils-0:9.5-9.fc42.x86_64 100% |   2.2 MiB/s |   1.1 MiB |  00m00s
[  4/153] bash-0:5.2.32-2.fc42.x86_64   100% |   3.6 MiB/s |   1.8 MiB |  00m01s
[  5/153] fedora-release-common-0:42-0. 100% | 821.7 KiB/s |  23.0 KiB |  00m00s
[  6/153] diffutils-0:3.10-8.fc41.x86_6 100% |   6.8 MiB/s | 405.4 KiB |  00m00s
[  7/153] findutils-1:4.10.0-4.fc41.x86 100% |  15.8 MiB/s | 548.6 KiB |  00m00s
[  8/153] glibc-minimal-langpack-0:2.40 100% |   3.8 MiB/s | 120.9 KiB |  00m00s
[  9/153] grep-0:3.11-9.fc41.x86_64     100% |   8.4 MiB/s | 299.8 KiB |  00m00s
[ 10/153] gzip-0:1.13-2.fc41.x86_64     100% |   5.5 MiB/s | 170.2 KiB |  00m00s
[ 11/153] info-0:7.1.1-1.fc42.x86_64    100% |   6.0 MiB/s | 182.8 KiB |  00m00s
[ 12/153] patch-0:2.7.6-25.fc41.x86_64  100% |   4.3 MiB/s | 131.0 KiB |  00m00s
[ 13/153] redhat-rpm-config-0:295-1.fc4 100% |   2.8 MiB/s |  82.4 KiB |  00m00s
[ 14/153] rpm-build-0:4.19.94-1.fc42.x8 100% |   2.8 MiB/s |  83.1 KiB |  00m00s
[ 15/153] sed-0:4.9-3.fc41.x86_64       100% |   8.6 MiB/s | 317.7 KiB |  00m00s
[ 16/153] shadow-utils-2:4.16.0-4.fc42. 100% |  29.3 MiB/s |   1.3 MiB |  00m00s
[ 17/153] tar-2:1.35-4.fc41.x86_64      100% |  19.5 MiB/s | 860.7 KiB |  00m00s
[ 18/153] unzip-0:6.0-64.fc41.x86_64    100% |   5.6 MiB/s | 184.9 KiB |  00m00s
[ 19/153] which-0:2.21-42.fc41.x86_64   100% |   1.4 MiB/s |  41.6 KiB |  00m00s
[ 20/153] xz-1:5.6.2-2.fc41.x86_64      100% |  12.4 MiB/s | 471.5 KiB |  00m00s
[ 21/153] util-linux-0:2.40.2-8.fc42.x8 100% |  24.2 MiB/s |   1.2 MiB |  00m00s
[ 22/153] gawk-0:5.3.0-4.fc41.x86_64    100% |  17.6 MiB/s |   1.1 MiB |  00m00s
[ 23/153] filesystem-0:3.18-29.fc42.x86 100% |  23.1 MiB/s |   1.1 MiB |  00m00s
[ 24/153] ncurses-libs-0:6.5-2.20240629 100% |   7.2 MiB/s | 334.0 KiB |  00m00s
[ 25/153] bzip2-libs-0:1.0.8-19.fc41.x8 100% |   1.4 MiB/s |  41.1 KiB |  00m00s
[ 26/153] glibc-0:2.40.9000-1.fc42.x86_ 100% |  37.4 MiB/s |   2.2 MiB |  00m00s
[ 27/153] gmp-1:6.3.0-2.fc41.x86_64     100% |   8.6 MiB/s | 318.0 KiB |  00m00s
[ 28/153] libacl-0:2.3.2-2.fc41.x86_64  100% | 816.7 KiB/s |  24.5 KiB |  00m00s
[ 29/153] coreutils-common-0:9.5-9.fc42 100% |  32.1 MiB/s |   2.1 MiB |  00m00s
[ 30/153] libattr-0:2.5.2-4.fc41.x86_64 100% | 649.0 KiB/s |  18.2 KiB |  00m00s
[ 31/153] libcap-0:2.70-4.fc41.x86_64   100% |   2.9 MiB/s |  86.7 KiB |  00m00s
[ 32/153] libselinux-0:3.7-6.fc42.x86_6 100% |   3.0 MiB/s |  88.6 KiB |  00m00s
[ 33/153] systemd-libs-0:256.5-1.fc42.x 100% |  18.3 MiB/s | 730.4 KiB |  00m00s
[ 34/153] fedora-repos-0:42-0.2.noarch  100% | 339.6 KiB/s |   9.2 KiB |  00m00s
[ 35/153] openssl-libs-1:3.2.2-8.fc42.x 100% |  35.5 MiB/s |   2.3 MiB |  00m00s
[ 36/153] ed-0:1.20.2-2.fc41.x86_64     100% |   2.3 MiB/s |  81.8 KiB |  00m00s
[ 37/153] glibc-common-0:2.40.9000-1.fc 100% |   7.1 MiB/s | 409.4 KiB |  00m00s
[ 38/153] pcre2-0:10.44-1.fc41.1.x86_64 100% |   5.2 MiB/s | 243.1 KiB |  00m00s
[ 39/153] ansible-srpm-macros-0:1-16.fc 100% | 741.9 KiB/s |  20.8 KiB |  00m00s
[ 40/153] build-reproducibility-srpm-ma 100% | 378.7 KiB/s |  10.6 KiB |  00m00s
[ 41/153] dwz-0:0.15-7.fc41.x86_64      100% |   4.5 MiB/s | 138.0 KiB |  00m00s
[ 42/153] efi-srpm-macros-0:5-12.fc41.n 100% | 799.1 KiB/s |  22.4 KiB |  00m00s
[ 43/153] file-0:5.45-7.fc41.x86_64     100% |   1.7 MiB/s |  49.1 KiB |  00m00s
[ 44/153] fonts-srpm-macros-1:2.0.5-17. 100% | 963.1 KiB/s |  27.0 KiB |  00m00s
[ 45/153] forge-srpm-macros-0:0.3.2-1.f 100% | 703.6 KiB/s |  19.7 KiB |  00m00s
[ 46/153] fpc-srpm-macros-0:1.3-13.fc41 100% | 294.9 KiB/s |   8.0 KiB |  00m00s
[ 47/153] ghc-srpm-macros-0:1.9.2-1.fc4 100% | 325.6 KiB/s |   9.1 KiB |  00m00s
[ 48/153] gnat-srpm-macros-0:6-6.fc41.n 100% | 319.7 KiB/s |   9.0 KiB |  00m00s
[ 49/153] go-srpm-macros-0:3.6.0-3.fc41 100% | 998.3 KiB/s |  28.0 KiB |  00m00s
[ 50/153] kernel-srpm-macros-0:1.0-24.f 100% | 352.4 KiB/s |   9.9 KiB |  00m00s
[ 51/153] lua-srpm-macros-0:1-14.fc41.n 100% | 317.1 KiB/s |   8.9 KiB |  00m00s
[ 52/153] ocaml-srpm-macros-0:10-3.fc41 100% | 328.5 KiB/s |   9.2 KiB |  00m00s
[ 53/153] openblas-srpm-macros-0:2-18.f 100% | 285.7 KiB/s |   7.7 KiB |  00m00s
[ 54/153] package-notes-srpm-macros-0:0 100% | 351.0 KiB/s |   9.8 KiB |  00m00s
[ 55/153] perl-srpm-macros-0:1-56.fc41. 100% | 315.3 KiB/s |   8.5 KiB |  00m00s
[ 56/153] pyproject-srpm-macros-0:1.15. 100% | 483.9 KiB/s |  13.5 KiB |  00m00s
[ 57/153] python-srpm-macros-0:3.13-3.f 100% | 847.2 KiB/s |  23.7 KiB |  00m00s
[ 58/153] qt5-srpm-macros-0:5.15.15-1.f 100% | 329.6 KiB/s |   8.9 KiB |  00m00s
[ 59/153] qt6-srpm-macros-0:6.7.2-3.fc4 100% | 338.0 KiB/s |   9.1 KiB |  00m00s
[ 60/153] rust-srpm-macros-0:26.3-3.fc4 100% | 432.1 KiB/s |  12.1 KiB |  00m00s
[ 61/153] zig-srpm-macros-0:1-3.fc41.no 100% | 290.1 KiB/s |   8.1 KiB |  00m00s
[ 62/153] rpm-0:4.19.94-1.fc42.x86_64   100% |  16.2 MiB/s | 547.8 KiB |  00m00s
[ 63/153] zip-0:3.0-41.fc41.x86_64      100% |   8.3 MiB/s | 264.8 KiB |  00m00s
[ 64/153] debugedit-0:5.0-17.fc41.x86_6 100% |   2.7 MiB/s |  80.1 KiB |  00m00s
[ 65/153] elfutils-0:0.191-8.fc41.x86_6 100% |  14.8 MiB/s | 529.4 KiB |  00m00s
[ 66/153] elfutils-libelf-0:0.191-8.fc4 100% |   6.3 MiB/s | 207.6 KiB |  00m00s
[ 67/153] libarchive-0:3.7.4-3.fc42.x86 100% |  12.1 MiB/s | 409.2 KiB |  00m00s
[ 68/153] popt-0:1.19-7.fc41.x86_64     100% |   2.3 MiB/s |  65.9 KiB |  00m00s
[ 69/153] rpm-build-libs-0:4.19.94-1.fc 100% |   3.3 MiB/s |  99.1 KiB |  00m00s
[ 70/153] readline-0:8.2-11.fc42.x86_64 100% |   6.7 MiB/s | 213.4 KiB |  00m00s
[ 71/153] rpm-libs-0:4.19.94-1.fc42.x86 100% |   9.4 MiB/s | 309.6 KiB |  00m00s
[ 72/153] audit-libs-0:4.0.2-1.fc41.x86 100% |   2.5 MiB/s | 126.2 KiB |  00m00s
[ 73/153] libeconf-0:0.6.2-3.fc41.x86_6 100% | 715.0 KiB/s |  32.2 KiB |  00m00s
[ 74/153] zstd-0:1.5.6-2.fc41.x86_64    100% |   9.0 MiB/s | 481.5 KiB |  00m00s
[ 75/153] pam-libs-0:1.6.1-6.fc42.x86_6 100% |   1.9 MiB/s |  57.2 KiB |  00m00s
[ 76/153] libsemanage-0:3.7-3.fc42.x86_ 100% |   3.8 MiB/s | 117.2 KiB |  00m00s
[ 77/153] libxcrypt-0:4.4.36-7.fc41.x86 100% |   3.7 MiB/s | 118.5 KiB |  00m00s
[ 78/153] xz-libs-1:5.6.2-2.fc41.x86_64 100% |   3.4 MiB/s | 111.8 KiB |  00m00s
[ 79/153] setup-0:2.15.0-5.fc41.noarch  100% |   4.4 MiB/s | 154.4 KiB |  00m00s
[ 80/153] mpfr-0:4.2.1-5.fc41.x86_64    100% |   9.9 MiB/s | 346.3 KiB |  00m00s
[ 81/153] libcap-ng-0:0.8.5-3.fc41.x86_ 100% |   1.1 MiB/s |  32.6 KiB |  00m00s
[ 82/153] libblkid-0:2.40.2-8.fc42.x86_ 100% |   3.9 MiB/s | 125.0 KiB |  00m00s
[ 83/153] libfdisk-0:2.40.2-8.fc42.x86_ 100% |   5.2 MiB/s | 159.6 KiB |  00m00s
[ 84/153] libuuid-0:2.40.2-8.fc42.x86_6 100% |   1.0 MiB/s |  29.0 KiB |  00m00s
[ 85/153] libmount-0:2.40.2-8.fc42.x86_ 100% |   5.1 MiB/s | 156.1 KiB |  00m00s
[ 86/153] libsmartcols-0:2.40.2-8.fc42. 100% |   2.7 MiB/s |  83.9 KiB |  00m00s
[ 87/153] basesystem-0:11-21.fc41.noarc 100% | 175.5 KiB/s |   7.4 KiB |  00m00s
[ 88/153] util-linux-core-0:2.40.2-8.fc 100% |  11.4 MiB/s | 537.3 KiB |  00m00s
[ 89/153] libgcc-0:14.2.1-3.fc42.x86_64 100% |   4.3 MiB/s | 133.3 KiB |  00m00s
[ 90/153] ncurses-base-0:6.5-2.20240629 100% |   3.0 MiB/s |  88.4 KiB |  00m00s
[ 91/153] glibc-gconv-extra-0:2.40.9000 100% |  17.3 MiB/s |   1.7 MiB |  00m00s
[ 92/153] libsepol-0:3.7-3.fc42.x86_64  100% |   9.5 MiB/s | 342.2 KiB |  00m00s
[ 93/153] ca-certificates-0:2024.2.69_v 100% |  23.6 MiB/s | 944.3 KiB |  00m00s
[ 94/153] crypto-policies-0:20240828-1. 100% |   3.2 MiB/s |  94.6 KiB |  00m00s
[ 95/153] fedora-gpg-keys-0:42-0.2.noar 100% |   4.3 MiB/s | 133.6 KiB |  00m00s
[ 96/153] fedora-repos-rawhide-0:42-0.2 100% | 323.7 KiB/s |   8.7 KiB |  00m00s
[ 97/153] pcre2-syntax-0:10.44-1.fc41.1 100% |   2.9 MiB/s | 149.9 KiB |  00m00s
[ 98/153] curl-0:8.10.1-1.fc42.x86_64   100% |   7.0 MiB/s | 221.1 KiB |  00m00s
[ 99/153] add-determinism-0:0.3.6-1.fc4 100% |  10.7 MiB/s | 851.8 KiB |  00m00s
[100/153] file-libs-0:5.45-7.fc41.x86_6 100% |   8.8 MiB/s | 762.0 KiB |  00m00s
[101/153] elfutils-debuginfod-client-0: 100% |   1.0 MiB/s |  37.2 KiB |  00m00s
[102/153] elfutils-libs-0:0.191-8.fc41. 100% |   5.5 MiB/s | 257.5 KiB |  00m00s
[103/153] libstdc++-0:14.2.1-3.fc42.x86 100% |  23.4 MiB/s | 888.0 KiB |  00m00s
[104/153] libzstd-0:1.5.6-2.fc41.x86_64 100% |   8.9 MiB/s | 310.3 KiB |  00m00s
[105/153] lz4-libs-0:1.10.0-1.fc41.x86_ 100% |   2.0 MiB/s |  70.7 KiB |  00m00s
[106/153] libxml2-0:2.12.8-2.fc41.x86_6 100% |  15.6 MiB/s | 687.3 KiB |  00m00s
[107/153] libgomp-0:14.2.1-3.fc42.x86_6 100% |  10.8 MiB/s | 355.2 KiB |  00m00s
[108/153] lua-libs-0:5.4.6-6.fc41.x86_6 100% |   4.3 MiB/s | 132.0 KiB |  00m00s
[109/153] rpm-sequoia-0:1.7.0-2.fc41.x8 100% |  23.6 MiB/s | 892.5 KiB |  00m00s
[110/153] elfutils-default-yama-scope-0 100% | 439.5 KiB/s |  12.3 KiB |  00m00s
[111/153] sqlite-libs-0:3.46.0-4.fc41.x 100% |  17.0 MiB/s | 712.4 KiB |  00m00s
[112/153] zlib-ng-compat-0:2.2.2-1.fc42 100% |   1.5 MiB/s |  77.3 KiB |  00m00s
[113/153] authselect-0:1.5.0-7.fc41.x86 100% |   4.6 MiB/s | 145.7 KiB |  00m00s
[114/153] pam-0:1.6.1-6.fc42.x86_64     100% |  15.5 MiB/s | 554.2 KiB |  00m00s
[115/153] gdbm-libs-1:1.23-7.fc41.x86_6 100% |   2.0 MiB/s |  56.3 KiB |  00m00s
[116/153] libnsl2-0:2.0.1-2.fc41.x86_64 100% |   1.0 MiB/s |  29.6 KiB |  00m00s
[117/153] libpwquality-0:1.4.5-11.fc41. 100% |   4.0 MiB/s | 119.1 KiB |  00m00s
[118/153] libtirpc-0:1.3.5-0.fc41.x86_6 100% |   3.2 MiB/s |  94.2 KiB |  00m00s
[119/153] authselect-libs-0:1.5.0-7.fc4 100% |   6.7 MiB/s | 218.1 KiB |  00m00s
[120/153] cracklib-0:2.9.11-6.fc41.x86_ 100% |   3.1 MiB/s |  92.0 KiB |  00m00s
[121/153] libcom_err-0:1.47.1-3.fc41.x8 100% | 600.3 KiB/s |  26.4 KiB |  00m00s
[122/153] keyutils-libs-0:1.6.3-4.fc41. 100% | 719.3 KiB/s |  31.6 KiB |  00m00s
[123/153] krb5-libs-0:1.21.3-2.fc41.x86 100% |  13.2 MiB/s | 757.4 KiB |  00m00s
[124/153] libverto-0:0.3.2-9.fc41.x86_6 100% | 739.0 KiB/s |  20.7 KiB |  00m00s
[125/153] alternatives-0:1.30-1.fc41.x8 100% |   1.5 MiB/s |  42.5 KiB |  00m00s
[126/153] jansson-0:2.13.1-10.fc41.x86_ 100% |   1.5 MiB/s |  44.4 KiB |  00m00s
[127/153] pkgconf-pkg-config-0:2.3.0-1. 100% | 357.5 KiB/s |  10.0 KiB |  00m00s
[128/153] pkgconf-0:2.3.0-1.fc42.x86_64 100% |   1.3 MiB/s |  45.2 KiB |  00m00s
[129/153] pkgconf-m4-0:2.3.0-1.fc42.noa 100% | 434.0 KiB/s |  14.3 KiB |  00m00s
[130/153] libpkgconf-0:2.3.0-1.fc42.x86 100% |   1.3 MiB/s |  38.5 KiB |  00m00s
[131/153] gdbm-1:1.23-7.fc41.x86_64     100% |   4.9 MiB/s | 151.8 KiB |  00m00s
[132/153] libffi-0:3.4.6-3.fc42.x86_64  100% |   1.4 MiB/s |  40.0 KiB |  00m00s
[133/153] p11-kit-0:0.25.5-3.fc41.x86_6 100% |  12.6 MiB/s | 490.9 KiB |  00m00s
[134/153] libtasn1-0:4.19.0-9.fc41.x86_ 100% |   2.4 MiB/s |  74.2 KiB |  00m00s
[135/153] p11-kit-trust-0:0.25.5-3.fc41 100% |   4.4 MiB/s | 132.1 KiB |  00m00s
[136/153] fedora-release-0:42-0.3.noarc 100% | 436.7 KiB/s |  12.2 KiB |  00m00s
[137/153] binutils-0:2.43.50-1.fc42.x86 100% |  29.5 MiB/s |   6.4 MiB |  00m00s
[138/153] fedora-release-identity-basic 100% | 464.8 KiB/s |  13.0 KiB |  00m00s
[139/153] xxhash-libs-0:0.8.2-3.fc41.x8 100% | 281.2 KiB/s |  37.1 KiB |  00m00s
[140/153] libcurl-0:8.10.1-1.fc42.x86_6 100% |   3.7 MiB/s | 371.2 KiB |  00m00s
[141/153] gdb-minimal-0:15.1-2.fc42.x86 100% |  26.5 MiB/s |   4.3 MiB |  00m00s
[142/153] libidn2-0:2.3.7-2.fc41.x86_64 100% |   2.9 MiB/s | 118.4 KiB |  00m00s
[143/153] libnghttp2-0:1.63.0-1.fc42.x8 100% |   2.4 MiB/s |  76.7 KiB |  00m00s
[144/153] libbrotli-0:1.1.0-5.fc41.x86_ 100% |   7.7 MiB/s | 340.5 KiB |  00m00s
[145/153] libpsl-0:0.21.5-4.fc41.x86_64 100% |   2.2 MiB/s |  64.1 KiB |  00m00s
[146/153] libssh-0:0.11.1-1.fc42.x86_64 100% |   7.1 MiB/s | 231.9 KiB |  00m00s
[147/153] openldap-0:2.6.8-5.fc41.x86_6 100% |   7.6 MiB/s | 255.6 KiB |  00m00s
[148/153] libunistring-0:1.1-8.fc41.x86 100% |  15.6 MiB/s | 544.8 KiB |  00m00s
[149/153] publicsuffix-list-dafsa-0:202 100% |   1.8 MiB/s |  58.3 KiB |  00m00s
[150/153] libssh-config-0:0.11.1-1.fc42 100% | 302.8 KiB/s |   9.4 KiB |  00m00s
[151/153] libtool-ltdl-0:2.4.7-12.fc41. 100% |   1.2 MiB/s |  35.6 KiB |  00m00s
[152/153] libevent-0:2.1.12-14.fc41.x86 100% |   5.8 MiB/s | 257.5 KiB |  00m00s
[153/153] cyrus-sasl-lib-0:2.1.28-27.fc 100% |  16.9 MiB/s | 794.9 KiB |  00m00s
--------------------------------------------------------------------------------
[153/153] Total                         100% |  21.1 MiB/s |  53.2 MiB |  00m03s
Running transaction
Importing PGP key 0x105EF944:
 UserID     : "Fedora (42) <fedora-42-primary@fedoraproject.org>"
 Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary
The key was successfully imported.
Importing PGP key 0x105EF944:
 UserID     : "Fedora (42) <fedora-42-primary@fedoraproject.org>"
 Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-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 0x31645531:
 UserID     : "Fedora (43) <fedora-43-primary@fedoraproject.org>"
 Fingerprint: C6E7F081CF80E13146676E88829B606631645531
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-43-primary
The key was successfully imported.
[  1/155] Verify package files          100% | 732.0   B/s | 153.0   B |  00m00s
[  2/155] Prepare transaction           100% |   1.8 KiB/s | 153.0   B |  00m00s
[  3/155] Installing libgcc-0:14.2.1-3. 100% | 134.9 MiB/s | 276.3 KiB |  00m00s
[  4/155] Installing libssh-config-0:0. 100% |   0.0   B/s | 816.0   B |  00m00s
[  5/155] Installing publicsuffix-list- 100% |  66.7 MiB/s |  68.3 KiB |  00m00s
[  6/155] Installing fedora-release-ide 100% |   0.0   B/s | 952.0   B |  00m00s
[  7/155] Installing fedora-repos-rawhi 100% | 142.2 KiB/s |   2.4 KiB |  00m00s
[  8/155] Installing fedora-gpg-keys-0: 100% |  18.7 MiB/s | 172.2 KiB |  00m00s
[  9/155] Installing fedora-repos-0:42- 100% |   5.6 MiB/s |   5.7 KiB |  00m00s
[ 10/155] Installing fedora-release-com 100% |  11.6 MiB/s |  23.7 KiB |  00m00s
[ 11/155] Installing fedora-release-0:4 100% |   0.0   B/s | 124.0   B |  00m00s
[ 12/155] Installing setup-0:2.15.0-5.f 100% |  47.3 MiB/s | 726.1 KiB |  00m00s
[ 13/155] Installing filesystem-0:3.18- 100% |   1.3 MiB/s | 212.6 KiB |  00m00s
[ 14/155] Installing basesystem-0:11-21 100% |   0.0   B/s | 124.0   B |  00m00s
[ 15/155] Installing pkgconf-m4-0:2.3.0 100% |  14.5 MiB/s |  14.8 KiB |  00m00s
[ 16/155] Installing pcre2-syntax-0:10. 100% | 124.1 MiB/s | 254.1 KiB |  00m00s
[ 17/155] Installing ncurses-base-0:6.5 100% |  34.3 MiB/s | 351.7 KiB |  00m00s
[ 18/155] Installing glibc-minimal-lang 100% |   0.0   B/s | 124.0   B |  00m00s
[ 19/155] Installing ncurses-libs-0:6.5 100% |  79.9 MiB/s | 981.8 KiB |  00m00s
warning: posix.fork(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.wait(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.exec(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.fork(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.wait(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.exec(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
[ 20/155] Installing glibc-0:2.40.9000- 100% |  76.2 MiB/s |   6.7 MiB |  00m00s
[ 21/155] Installing bash-0:5.2.32-2.fc 100% |  25.5 MiB/s |   8.2 MiB |  00m00s
[ 22/155] Installing glibc-common-0:2.4 100% | 130.9 MiB/s |   1.0 MiB |  00m00s
warning: posix.fork(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.wait(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.exec(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
[ 23/155] Installing glibc-gconv-extra- 100% |  39.7 MiB/s |   8.2 MiB |  00m00s
[ 24/155] Installing zlib-ng-compat-0:2 100% |  67.7 MiB/s | 138.7 KiB |  00m00s
[ 25/155] Installing bzip2-libs-0:1.0.8 100% |  79.9 MiB/s |  81.8 KiB |  00m00s
[ 26/155] Installing xz-libs-1:5.6.2-2. 100% |  42.1 MiB/s | 215.5 KiB |  00m00s
[ 27/155] Installing popt-0:1.19-7.fc41 100% |  35.0 MiB/s | 143.5 KiB |  00m00s
[ 28/155] Installing readline-0:8.2-11. 100% | 161.2 MiB/s | 495.3 KiB |  00m00s
[ 29/155] Installing libuuid-0:2.40.2-8 100% |  41.5 MiB/s |  42.5 KiB |  00m00s
[ 30/155] Installing libblkid-0:2.40.2- 100% | 128.7 MiB/s | 263.6 KiB |  00m00s
[ 31/155] Installing gmp-1:6.3.0-2.fc41 100% |  53.0 MiB/s | 813.7 KiB |  00m00s
[ 32/155] Installing libattr-0:2.5.2-4. 100% |  28.8 MiB/s |  29.5 KiB |  00m00s
[ 33/155] Installing libacl-0:2.3.2-2.f 100% |  39.8 MiB/s |  40.7 KiB |  00m00s
[ 34/155] Installing libxcrypt-0:4.4.36 100% | 131.6 MiB/s | 269.5 KiB |  00m00s
[ 35/155] Installing libstdc++-0:14.2.1 100% |  24.1 MiB/s |   2.8 MiB |  00m00s
[ 36/155] Installing libzstd-0:1.5.6-2. 100% | 259.5 MiB/s | 797.2 KiB |  00m00s
[ 37/155] Installing elfutils-libelf-0: 100% |  73.1 MiB/s |   1.2 MiB |  00m00s
[ 38/155] Installing libeconf-0:0.6.2-3 100% |  58.3 MiB/s |  59.7 KiB |  00m00s
[ 39/155] Installing gdbm-libs-1:1.23-7 100% | 120.7 MiB/s | 123.6 KiB |  00m00s
[ 40/155] Installing dwz-0:0.15-7.fc41. 100% | 142.7 MiB/s | 292.3 KiB |  00m00s
[ 41/155] Installing mpfr-0:4.2.1-5.fc4 100% | 101.8 MiB/s | 833.7 KiB |  00m00s
[ 42/155] Installing gawk-0:5.3.0-4.fc4 100% | 144.3 MiB/s |   1.7 MiB |  00m00s
[ 43/155] Installing unzip-0:6.0-64.fc4 100% | 127.0 MiB/s | 390.3 KiB |  00m00s
[ 44/155] Installing file-libs-0:5.45-7 100% |  61.3 MiB/s |   9.9 MiB |  00m00s
[ 45/155] Installing file-0:5.45-7.fc41 100% |   6.8 MiB/s | 105.0 KiB |  00m00s
[ 46/155] Installing crypto-policies-0: 100% |  10.0 MiB/s | 163.2 KiB |  00m00s
[ 47/155] Installing pcre2-0:10.44-1.fc 100% | 159.9 MiB/s | 654.9 KiB |  00m00s
[ 48/155] Installing grep-0:3.11-9.fc41 100% |  71.7 MiB/s |   1.0 MiB |  00m00s
[ 49/155] Installing xz-1:5.6.2-2.fc41. 100% |  46.3 MiB/s |   1.2 MiB |  00m00s
[ 50/155] Installing libcap-ng-0:0.8.5- 100% |  69.4 MiB/s |  71.0 KiB |  00m00s
[ 51/155] Installing audit-libs-0:4.0.2 100% | 108.5 MiB/s | 333.4 KiB |  00m00s
[ 52/155] Installing pam-libs-0:1.6.1-6 100% |  69.0 MiB/s | 141.3 KiB |  00m00s
[ 53/155] Installing libcap-0:2.70-4.fc 100% |  24.4 MiB/s | 225.2 KiB |  00m00s
[ 54/155] Installing systemd-libs-0:256 100% | 145.3 MiB/s |   2.0 MiB |  00m00s
[ 55/155] Installing libsmartcols-0:2.4 100% |  88.6 MiB/s | 181.4 KiB |  00m00s
[ 56/155] Installing libsepol-0:3.7-3.f 100% | 200.0 MiB/s | 819.0 KiB |  00m00s
[ 57/155] Installing libselinux-0:3.7-6 100% |   4.5 MiB/s | 182.3 KiB |  00m00s
[ 58/155] Installing sed-0:4.9-3.fc41.x 100% |  94.4 MiB/s | 869.7 KiB |  00m00s
[ 59/155] Installing findutils-1:4.10.0 100% |  71.5 MiB/s |   1.9 MiB |  00m00s
[ 60/155] Installing libmount-0:2.40.2- 100% | 174.3 MiB/s | 356.9 KiB |  00m00s
[ 61/155] Installing lz4-libs-0:1.10.0- 100% |  11.9 MiB/s | 146.6 KiB |  00m00s
[ 62/155] Installing lua-libs-0:5.4.6-6 100% | 139.8 MiB/s | 286.2 KiB |  00m00s
[ 63/155] Installing libcom_err-0:1.47. 100% |  66.7 MiB/s |  68.3 KiB |  00m00s
[ 64/155] Installing alternatives-0:1.3 100% |  66.3 MiB/s |  67.9 KiB |  00m00s
[ 65/155] Installing libffi-0:3.4.6-3.f 100% |  85.7 MiB/s |  87.8 KiB |  00m00s
[ 66/155] Installing libtasn1-0:4.19.0- 100% |  86.7 MiB/s | 177.5 KiB |  00m00s
[ 67/155] Installing p11-kit-0:0.25.5-3 100% |  58.1 MiB/s |   2.2 MiB |  00m00s
[ 68/155] Installing libunistring-0:1.1 100% | 144.2 MiB/s |   1.7 MiB |  00m00s
[ 69/155] Installing libidn2-0:2.3.7-2. 100% |  65.4 MiB/s | 335.1 KiB |  00m00s
[ 70/155] Installing libpsl-0:0.21.5-4. 100% |  79.7 MiB/s |  81.7 KiB |  00m00s
[ 71/155] Installing p11-kit-trust-0:0. 100% |  17.5 MiB/s | 393.1 KiB |  00m00s
[ 72/155] Installing zstd-0:1.5.6-2.fc4 100% | 187.9 MiB/s |   1.7 MiB |  00m00s
[ 73/155] Installing util-linux-core-0: 100% |  69.4 MiB/s |   1.5 MiB |  00m00s
[ 74/155] Installing tar-2:1.35-4.fc41. 100% | 123.3 MiB/s |   3.0 MiB |  00m00s
[ 75/155] Installing libsemanage-0:3.7- 100% |  97.6 MiB/s | 299.8 KiB |  00m00s
[ 76/155] Installing shadow-utils-2:4.1 100% |  65.8 MiB/s |   4.1 MiB |  00m00s
[ 77/155] Installing zip-0:3.0-41.fc41. 100% |  31.4 MiB/s | 707.1 KiB |  00m00s
[ 78/155] Installing gdbm-1:1.23-7.fc41 100% |  91.0 MiB/s | 465.8 KiB |  00m00s
[ 79/155] Installing cyrus-sasl-lib-0:2 100% | 153.7 MiB/s |   2.3 MiB |  00m00s
[ 80/155] Installing libfdisk-0:2.40.2- 100% |  59.2 MiB/s | 364.0 KiB |  00m00s
[ 81/155] Installing libxml2-0:2.12.8-2 100% | 190.2 MiB/s |   1.7 MiB |  00m00s
[ 82/155] Installing bzip2-0:1.0.8-19.f 100% |   9.8 MiB/s | 100.2 KiB |  00m00s
[ 83/155] Installing add-determinism-0: 100% | 160.4 MiB/s |   2.2 MiB |  00m00s
[ 84/155] Installing build-reproducibil 100% |   0.0   B/s |   1.0 KiB |  00m00s
[ 85/155] Installing sqlite-libs-0:3.46 100% | 142.9 MiB/s |   1.4 MiB |  00m00s
[ 86/155] Installing ed-0:1.20.2-2.fc41 100% |  72.8 MiB/s | 149.2 KiB |  00m00s
[ 87/155] Installing patch-0:2.7.6-25.f 100% | 131.0 MiB/s | 268.2 KiB |  00m00s
[ 88/155] Installing elfutils-default-y 100% | 157.2 KiB/s |   2.0 KiB |  00m00s
[ 89/155] Installing elfutils-libs-0:0. 100% |  37.2 MiB/s | 648.0 KiB |  00m00s
[ 90/155] Installing cpio-0:2.15-2.fc41 100% | 122.2 MiB/s |   1.1 MiB |  00m00s
[ 91/155] Installing diffutils-0:3.10-8 100% |  83.7 MiB/s |   1.6 MiB |  00m00s
[ 92/155] Installing libgomp-0:14.2.1-3 100% |  25.6 MiB/s | 525.2 KiB |  00m00s
[ 93/155] Installing keyutils-libs-0:1. 100% |  54.5 MiB/s |  55.8 KiB |  00m00s
[ 94/155] Installing libverto-0:0.3.2-9 100% |  30.5 MiB/s |  31.3 KiB |  00m00s
[ 95/155] Installing jansson-0:2.13.1-1 100% |  87.6 MiB/s |  89.7 KiB |  00m00s
[ 96/155] Installing libpkgconf-0:2.3.0 100% |  77.5 MiB/s |  79.3 KiB |  00m00s
[ 97/155] Installing pkgconf-0:2.3.0-1. 100% |  44.5 MiB/s |  91.1 KiB |  00m00s
[ 98/155] Installing pkgconf-pkg-config 100% | 354.7 KiB/s |   1.8 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% | 164.0 MiB/s | 839.9 KiB |  00m00s
[101/155] Installing libnghttp2-0:1.63. 100% |  83.6 MiB/s | 171.2 KiB |  00m00s
[102/155] Installing libtool-ltdl-0:2.4 100% |  65.7 MiB/s |  67.3 KiB |  00m00s
[103/155] Installing rust-srpm-macros-0 100% | 241.8 KiB/s |   5.6 KiB |  00m00s
[104/155] Installing qt6-srpm-macros-0: 100% |   0.0   B/s | 732.0   B |  00m00s
[105/155] Installing qt5-srpm-macros-0: 100% |   0.0   B/s | 776.0   B |  00m00s
[106/155] Installing perl-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[107/155] Installing package-notes-srpm 100% |   2.0 MiB/s |   2.0 KiB |  00m00s
[108/155] Installing openblas-srpm-macr 100% |   0.0   B/s | 392.0   B |  00m00s
[109/155] Installing ocaml-srpm-macros- 100% |   0.0   B/s |   2.2 KiB |  00m00s
[110/155] Installing kernel-srpm-macros 100% |   0.0   B/s |   2.3 KiB |  00m00s
[111/155] Installing gnat-srpm-macros-0 100% |   0.0   B/s |   1.3 KiB |  00m00s
[112/155] Installing ghc-srpm-macros-0: 100% |   0.0   B/s |   1.0 KiB |  00m00s
[113/155] Installing fpc-srpm-macros-0: 100% |   0.0   B/s | 420.0   B |  00m00s
[114/155] Installing ansible-srpm-macro 100% |  35.4 MiB/s |  36.2 KiB |  00m00s
[115/155] Installing coreutils-common-0 100% | 116.6 MiB/s |  11.2 MiB |  00m00s
[116/155] Installing openssl-libs-1:3.2 100% | 105.8 MiB/s |   7.8 MiB |  00m00s
[117/155] Installing coreutils-0:9.5-9. 100% |  85.4 MiB/s |   5.7 MiB |  00m00s
[118/155] Installing ca-certificates-0: 100% |   1.2 MiB/s |   2.4 MiB |  00m02s
[119/155] Installing krb5-libs-0:1.21.3 100% | 164.2 MiB/s |   2.3 MiB |  00m00s
[120/155] Installing libarchive-0:3.7.4 100% | 181.4 MiB/s | 928.6 KiB |  00m00s
[121/155] Installing libtirpc-0:1.3.5-0 100% |  99.8 MiB/s | 204.5 KiB |  00m00s
[122/155] Installing gzip-0:1.13-2.fc41 100% |  96.3 MiB/s | 394.6 KiB |  00m00s
[123/155] Installing authselect-libs-0: 100% |  81.4 MiB/s | 833.2 KiB |  00m00s
[124/155] Installing cracklib-0:2.9.11- 100% |  34.9 MiB/s | 250.3 KiB |  00m00s
[125/155] Installing libpwquality-0:1.4 100% |  52.5 MiB/s | 430.1 KiB |  00m00s
[126/155] Installing libnsl2-0:2.0.1-2. 100% |  28.8 MiB/s |  59.1 KiB |  00m00s
[127/155] Installing pam-0:1.6.1-6.fc42 100% |  72.2 MiB/s |   1.9 MiB |  00m00s
[128/155] Installing libssh-0:0.11.1-1. 100% | 186.1 MiB/s | 571.7 KiB |  00m00s
[129/155] Installing rpm-sequoia-0:1.7. 100% | 295.9 MiB/s |   2.4 MiB |  00m00s
[130/155] Installing rpm-libs-0:4.19.94 100% | 176.7 MiB/s | 723.6 KiB |  00m00s
[131/155] Installing rpm-build-libs-0:4 100% | 101.3 MiB/s | 207.5 KiB |  00m00s
[132/155] Installing libevent-0:2.1.12- 100% | 219.6 MiB/s | 899.5 KiB |  00m00s
[133/155] Installing openldap-0:2.6.8-5 100% | 158.2 MiB/s | 648.0 KiB |  00m00s
[134/155] Installing libcurl-0:8.10.1-1 100% | 205.0 MiB/s | 839.5 KiB |  00m00s
[135/155] Installing elfutils-debuginfo 100% |  65.3 MiB/s |  66.9 KiB |  00m00s
[136/155] Installing elfutils-0:0.191-8 100% |  94.8 MiB/s |   2.6 MiB |  00m00s
[137/155] Installing binutils-0:2.43.50 100% | 100.9 MiB/s |  27.6 MiB |  00m00s
[138/155] Installing gdb-minimal-0:15.1 100% | 152.9 MiB/s |  13.0 MiB |  00m00s
[139/155] Installing debugedit-0:5.0-17 100% |  98.6 MiB/s | 202.0 KiB |  00m00s
[140/155] Installing curl-0:8.10.1-1.fc 100% |  21.2 MiB/s | 455.7 KiB |  00m00s
[141/155] Installing rpm-0:4.19.94-1.fc 100% |  69.6 MiB/s |   2.5 MiB |  00m00s
[142/155] Installing efi-srpm-macros-0: 100% |  40.2 MiB/s |  41.2 KiB |  00m00s
[143/155] Installing lua-srpm-macros-0: 100% |   0.0   B/s |   1.9 KiB |  00m00s
[144/155] Installing zig-srpm-macros-0: 100% |   0.0   B/s |   1.7 KiB |  00m00s
[145/155] Installing fonts-srpm-macros- 100% |  55.7 MiB/s |  57.0 KiB |  00m00s
[146/155] Installing forge-srpm-macros- 100% |  39.4 MiB/s |  40.4 KiB |  00m00s
[147/155] Installing go-srpm-macros-0:3 100% |  60.5 MiB/s |  62.0 KiB |  00m00s
[148/155] Installing python-srpm-macros 100% |  50.9 MiB/s |  52.2 KiB |  00m00s
[149/155] Installing redhat-rpm-config- 100% |  62.9 MiB/s | 193.2 KiB |  00m00s
[150/155] Installing rpm-build-0:4.19.9 100% |  33.0 MiB/s | 202.9 KiB |  00m00s
[151/155] Installing pyproject-srpm-mac 100% |   1.2 MiB/s |   2.5 KiB |  00m00s
[152/155] Installing util-linux-0:2.40. 100% |  80.8 MiB/s |   3.7 MiB |  00m00s
[153/155] Installing authselect-0:1.5.0 100% |  19.3 MiB/s | 157.9 KiB |  00m00s
[154/155] Installing which-0:2.21-42.fc 100% |  40.2 MiB/s |  82.4 KiB |  00m00s
warning: posix.fork(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.wait(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.exec(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
[155/155] Installing info-0:7.1.1-1.fc4 100% | 117.4 KiB/s | 362.3 KiB |  00m03s
Warning: skipped PGP checks for 2 packages from repository: copr_base
Complete!
Finish: installing minimal buildroot with dnf5
Start: creating root cache
Finish: creating root cache
Finish: chroot init
INFO: Installed packages:
INFO: add-determinism-0.3.6-1.fc41.x86_64
alternatives-1.30-1.fc41.x86_64
ansible-srpm-macros-1-16.fc41.noarch
audit-libs-4.0.2-1.fc41.x86_64
authselect-1.5.0-7.fc41.x86_64
authselect-libs-1.5.0-7.fc41.x86_64
basesystem-11-21.fc41.noarch
bash-5.2.32-2.fc42.x86_64
binutils-2.43.50-1.fc42.x86_64
build-reproducibility-srpm-macros-0.3.6-1.fc41.noarch
bzip2-1.0.8-19.fc41.x86_64
bzip2-libs-1.0.8-19.fc41.x86_64
ca-certificates-2024.2.69_v8.0.401-1.fc42.noarch
coreutils-9.5-9.fc42.x86_64
coreutils-common-9.5-9.fc42.x86_64
cpio-2.15-2.fc41.x86_64
cracklib-2.9.11-6.fc41.x86_64
crypto-policies-20240828-1.git5f66e81.fc42.noarch
curl-8.10.1-1.fc42.x86_64
cyrus-sasl-lib-2.1.28-27.fc41.x86_64
debugedit-5.0-17.fc41.x86_64
diffutils-3.10-8.fc41.x86_64
dwz-0.15-7.fc41.x86_64
ed-1.20.2-2.fc41.x86_64
efi-srpm-macros-5-12.fc41.noarch
elfutils-0.191-8.fc41.x86_64
elfutils-debuginfod-client-0.191-8.fc41.x86_64
elfutils-default-yama-scope-0.191-8.fc41.noarch
elfutils-libelf-0.191-8.fc41.x86_64
elfutils-libs-0.191-8.fc41.x86_64
fedora-gpg-keys-42-0.2.noarch
fedora-release-42-0.3.noarch
fedora-release-common-42-0.3.noarch
fedora-release-identity-basic-42-0.3.noarch
fedora-repos-42-0.2.noarch
fedora-repos-rawhide-42-0.2.noarch
file-5.45-7.fc41.x86_64
file-libs-5.45-7.fc41.x86_64
filesystem-3.18-29.fc42.x86_64
findutils-4.10.0-4.fc41.x86_64
fonts-srpm-macros-2.0.5-17.fc41.noarch
forge-srpm-macros-0.3.2-1.fc41.noarch
fpc-srpm-macros-1.3-13.fc41.noarch
gawk-5.3.0-4.fc41.x86_64
gdb-minimal-15.1-2.fc42.x86_64
gdbm-1.23-7.fc41.x86_64
gdbm-libs-1.23-7.fc41.x86_64
ghc-srpm-macros-1.9.2-1.fc42.noarch
glibc-2.40.9000-1.fc42.x86_64
glibc-common-2.40.9000-1.fc42.x86_64
glibc-gconv-extra-2.40.9000-1.fc42.x86_64
glibc-minimal-langpack-2.40.9000-1.fc42.x86_64
gmp-6.3.0-2.fc41.x86_64
gnat-srpm-macros-6-6.fc41.noarch
go-srpm-macros-3.6.0-3.fc41.noarch
gpg-pubkey-105ef944-65ca83d1
gpg-pubkey-31645531-66b6dccf
gpg-pubkey-e99d6ad1-64d2612c
grep-3.11-9.fc41.x86_64
gzip-1.13-2.fc41.x86_64
info-7.1.1-1.fc42.x86_64
jansson-2.13.1-10.fc41.x86_64
kernel-srpm-macros-1.0-24.fc41.noarch
keyutils-libs-1.6.3-4.fc41.x86_64
krb5-libs-1.21.3-2.fc41.x86_64
libacl-2.3.2-2.fc41.x86_64
libarchive-3.7.4-3.fc42.x86_64
libattr-2.5.2-4.fc41.x86_64
libblkid-2.40.2-8.fc42.x86_64
libbrotli-1.1.0-5.fc41.x86_64
libcap-2.70-4.fc41.x86_64
libcap-ng-0.8.5-3.fc41.x86_64
libcom_err-1.47.1-3.fc41.x86_64
libcurl-8.10.1-1.fc42.x86_64
libeconf-0.6.2-3.fc41.x86_64
libevent-2.1.12-14.fc41.x86_64
libfdisk-2.40.2-8.fc42.x86_64
libffi-3.4.6-3.fc42.x86_64
libgcc-14.2.1-3.fc42.x86_64
libgomp-14.2.1-3.fc42.x86_64
libidn2-2.3.7-2.fc41.x86_64
libmount-2.40.2-8.fc42.x86_64
libnghttp2-1.63.0-1.fc42.x86_64
libnsl2-2.0.1-2.fc41.x86_64
libpkgconf-2.3.0-1.fc42.x86_64
libpsl-0.21.5-4.fc41.x86_64
libpwquality-1.4.5-11.fc41.x86_64
libselinux-3.7-6.fc42.x86_64
libsemanage-3.7-3.fc42.x86_64
libsepol-3.7-3.fc42.x86_64
libsmartcols-2.40.2-8.fc42.x86_64
libssh-0.11.1-1.fc42.x86_64
libssh-config-0.11.1-1.fc42.noarch
libstdc++-14.2.1-3.fc42.x86_64
libtasn1-4.19.0-9.fc41.x86_64
libtirpc-1.3.5-0.fc41.x86_64
libtool-ltdl-2.4.7-12.fc41.x86_64
libunistring-1.1-8.fc41.x86_64
libuuid-2.40.2-8.fc42.x86_64
libverto-0.3.2-9.fc41.x86_64
libxcrypt-4.4.36-7.fc41.x86_64
libxml2-2.12.8-2.fc41.x86_64
libzstd-1.5.6-2.fc41.x86_64
lua-libs-5.4.6-6.fc41.x86_64
lua-srpm-macros-1-14.fc41.noarch
lz4-libs-1.10.0-1.fc41.x86_64
mpfr-4.2.1-5.fc41.x86_64
ncurses-base-6.5-2.20240629.fc41.noarch
ncurses-libs-6.5-2.20240629.fc41.x86_64
ocaml-srpm-macros-10-3.fc41.noarch
openblas-srpm-macros-2-18.fc41.noarch
openldap-2.6.8-5.fc41.x86_64
openssl-libs-3.2.2-8.fc42.x86_64
p11-kit-0.25.5-3.fc41.x86_64
p11-kit-trust-0.25.5-3.fc41.x86_64
package-notes-srpm-macros-0.5-12.fc41.noarch
pam-1.6.1-6.fc42.x86_64
pam-libs-1.6.1-6.fc42.x86_64
patch-2.7.6-25.fc41.x86_64
pcre2-10.44-1.fc41.1.x86_64
pcre2-syntax-10.44-1.fc41.1.noarch
perl-srpm-macros-1-56.fc41.noarch
pkgconf-2.3.0-1.fc42.x86_64
pkgconf-m4-2.3.0-1.fc42.noarch
pkgconf-pkg-config-2.3.0-1.fc42.x86_64
popt-1.19-7.fc41.x86_64
publicsuffix-list-dafsa-20240107-4.fc41.noarch
pyproject-srpm-macros-1.15.0-1.fc42.noarch
python-srpm-macros-3.13-3.fc41.noarch
qt5-srpm-macros-5.15.15-1.fc42.noarch
qt6-srpm-macros-6.7.2-3.fc41.noarch
readline-8.2-11.fc42.x86_64
redhat-rpm-config-295-1.fc42.noarch
rpm-4.19.94-1.fc42.x86_64
rpm-build-4.19.94-1.fc42.x86_64
rpm-build-libs-4.19.94-1.fc42.x86_64
rpm-libs-4.19.94-1.fc42.x86_64
rpm-sequoia-1.7.0-2.fc41.x86_64
rust-srpm-macros-26.3-3.fc42.noarch
sed-4.9-3.fc41.x86_64
setup-2.15.0-5.fc41.noarch
shadow-utils-4.16.0-4.fc42.x86_64
sqlite-libs-3.46.0-4.fc41.x86_64
systemd-libs-256.5-1.fc42.x86_64
tar-1.35-4.fc41.x86_64
unzip-6.0-64.fc41.x86_64
util-linux-2.40.2-8.fc42.x86_64
util-linux-core-2.40.2-8.fc42.x86_64
which-2.21-42.fc41.x86_64
xxhash-libs-0.8.2-3.fc41.x86_64
xz-5.6.2-2.fc41.x86_64
xz-libs-5.6.2-2.fc41.x86_64
zig-srpm-macros-1-3.fc41.noarch
zip-3.0-41.fc41.x86_64
zlib-ng-compat-2.2.2-1.fc42.x86_64
zstd-1.5.6-2.fc41.x86_64
Start: buildsrpm
Start: rpmbuild -bs
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1722816000
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-22.fc42.src.rpm
Finish: rpmbuild -bs
cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1727272719.696636/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-1727272719.696636/root/var/log/dnf5.log
Finish: buildsrpm
INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-1obe0ld4/alt-ergo/alt-ergo.spec) Config(child) 0 minutes 39 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/alt-ergo-2.3.3-22.fc42.src.rpm)  Config(fedora-rawhide-x86_64)
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1727272719.696636/root.
INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1727272719.696636/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-1727272719.696636/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.94-1.fc42.x86_64
  rpm-sequoia-1.7.0-2.fc41.x86_64
  dnf5-5.2.6.2-1.fc42.x86_64
  dnf5-plugins-5.2.6.2-1.fc42.x86_64
Finish: chroot init
Start: build phase for alt-ergo-2.3.3-22.fc42.src.rpm
Start: build setup for alt-ergo-2.3.3-22.fc42.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1722816000
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-22.fc42.src.rpm
Updating and loading repositories:
 fedora                                 100% |   1.1 MiB/s |  26.5 KiB |  00m00s
 Copr repository                        100% |  47.9 KiB/s |   1.5 KiB |  00m00s
 fedora                                 100% | 751.2 KiB/s | 475.5 KiB |  00m01s
 Copr repository                        100% |   4.4 MiB/s | 503.8 KiB |  00m00s
Repositories loaded.
Package                     Arch   Version            Repository      Size
Installing:
 desktop-file-utils         x86_64 0.27-2.fc41        fedora     230.4 KiB
 gtksourceview2-devel       x86_64 2.11.2-43.fc41     fedora       1.4 MiB
 libappstream-glib          x86_64 0.8.3-2.fc41       fedora       1.4 MiB
 make                       x86_64 1:4.4.1-8.fc41     fedora       1.8 MiB
 ocaml                      x86_64 5.2.0-3.fc41       fedora     136.6 MiB
 ocaml-dune                 x86_64 3.16.0-3.fc41      fedora      22.5 MiB
 ocaml-lablgtk-devel        x86_64 2.18.13-14.fc41    fedora      15.1 MiB
 ocaml-menhir               x86_64 20240715-1.fc41    fedora       7.4 MiB
 ocaml-num-devel            x86_64 1.5-9.fc41         fedora     949.2 KiB
 ocaml-ocplib-simplex-devel x86_64 1:0.4.1-9.fc41     fedora       1.5 MiB
 ocaml-psmt2-frontend-devel x86_64 0.4.0-20.fc41      fedora       5.1 MiB
 ocaml-zarith-devel         x86_64 1.14-2.fc41        fedora     890.8 KiB
 ocaml-zip-devel            x86_64 1.12-1.fc41        fedora     627.3 KiB
Installing dependencies:
 abattis-cantarell-vf-fonts noarch 0.301-13.fc41      fedora     192.7 KiB
 annobin-docs               noarch 12.70-1.fc42       fedora      97.7 KiB
 annobin-plugin-gcc         x86_64 12.70-1.fc42       fedora     985.6 KiB
 at-spi2-core               x86_64 2.54.0-1.fc42      fedora       1.5 MiB
 atk                        x86_64 2.54.0-1.fc42      fedora     252.7 KiB
 atk-devel                  x86_64 2.54.0-1.fc42      fedora       5.9 MiB
 avahi-libs                 x86_64 0.8-30.fc42        copr_base  179.6 KiB
 brotli                     x86_64 1.1.0-5.fc41       fedora      31.8 KiB
 brotli-devel               x86_64 1.1.0-5.fc41       fedora      65.6 KiB
 bzip2-devel                x86_64 1.0.8-19.fc41      fedora     309.8 KiB
 cairo                      x86_64 1.18.0-4.fc42      copr_base    1.8 MiB
 cairo-devel                x86_64 1.18.0-4.fc42      copr_base    2.3 MiB
 cairo-gobject              x86_64 1.18.0-4.fc42      copr_base   35.2 KiB
 cmake-filesystem           x86_64 3.28.3-7.fc41      fedora       0.0   B
 cpp                        x86_64 14.2.1-3.fc42      fedora      35.0 MiB
 cups-libs                  x86_64 1:2.4.10-6.fc42    fedora     622.9 KiB
 dbus                       x86_64 1:1.14.10-4.fc41   fedora       0.0   B
 dbus-broker                x86_64 36-4.fc41          fedora     382.8 KiB
 dbus-common                noarch 1:1.14.10-4.fc41   fedora      11.2 KiB
 dbus-libs                  x86_64 1:1.14.10-4.fc41   fedora     368.9 KiB
 default-fonts-core-sans    noarch 4.1-3.fc42         fedora      11.9 KiB
 emacs-filesystem           noarch 1:30.0-3.fc41      fedora       0.0   B
 enchant                    x86_64 1:1.6.0-36.fc41    fedora     152.4 KiB
 expat                      x86_64 2.6.3-1.fc42       fedora     291.5 KiB
 fontconfig                 x86_64 2.15.0-8.fc41      fedora     791.9 KiB
 fontconfig-devel           x86_64 2.15.0-8.fc41      fedora     117.2 KiB
 fonts-filesystem           noarch 1:2.0.5-17.fc41    fedora       0.0   B
 freetype                   x86_64 2.13.2-6.fc41      fedora     850.6 KiB
 freetype-devel             x86_64 2.13.2-6.fc41      fedora       7.8 MiB
 fribidi                    x86_64 1.0.15-2.fc41      fedora     368.4 KiB
 fribidi-devel              x86_64 1.0.15-2.fc41      fedora      78.0 KiB
 gcc                        x86_64 14.2.1-3.fc42      fedora     104.4 MiB
 gcc-plugin-annobin         x86_64 14.2.1-3.fc42      fedora      61.1 KiB
 gdk-pixbuf2                x86_64 2.42.12-6.fc41     fedora       2.5 MiB
 gdk-pixbuf2-devel          x86_64 2.42.12-6.fc41     fedora       2.3 MiB
 gdk-pixbuf2-modules        x86_64 2.42.12-6.fc41     fedora      55.6 KiB
 gettext                    x86_64 0.22.5-6.fc41      fedora       5.2 MiB
 gettext-envsubst           x86_64 0.22.5-6.fc41      fedora      74.9 KiB
 gettext-libs               x86_64 0.22.5-6.fc41      fedora       1.7 MiB
 gettext-runtime            x86_64 0.22.5-6.fc41      fedora     481.3 KiB
 glib2                      x86_64 2.82.1-1.fc42      fedora      14.7 MiB
 glib2-devel                x86_64 2.82.1-1.fc42      fedora      15.7 MiB
 glibc-devel                x86_64 2.40.9000-1.fc42   fedora      37.8 KiB
 glibc-headers-x86          noarch 2.40.9000-1.fc42   fedora       2.2 MiB
 gmp-c++                    x86_64 1:6.3.0-2.fc41     fedora      31.8 KiB
 gmp-devel                  x86_64 1:6.3.0-2.fc41     fedora     352.3 KiB
 gnutls                     x86_64 3.8.7-4.fc42       fedora       3.2 MiB
 google-noto-fonts-common   noarch 20240901-1.fc42    fedora      17.5 KiB
 google-noto-sans-vf-fonts  noarch 20240901-1.fc42    fedora       1.2 MiB
 graphite2                  x86_64 1.3.14-16.fc41     fedora     192.0 KiB
 graphite2-devel            x86_64 1.3.14-16.fc41     fedora      49.1 KiB
 gtk-update-icon-cache      x86_64 3.24.43-2.fc41     fedora      66.3 KiB
 gtk2                       x86_64 2.24.33-19.fc41    fedora      12.8 MiB
 gtk2-devel                 x86_64 2.24.33-19.fc41    fedora      23.8 MiB
 gtksourceview2             x86_64 2.11.2-43.fc41     fedora       3.4 MiB
 gtkspell                   x86_64 2.0.16-31.fc41     fedora      83.0 KiB
 harfbuzz                   x86_64 9.0.0-3.fc42       fedora       2.6 MiB
 harfbuzz-cairo             x86_64 9.0.0-3.fc42       fedora      52.2 KiB
 harfbuzz-devel             x86_64 9.0.0-3.fc42       fedora       5.1 MiB
 harfbuzz-icu               x86_64 9.0.0-3.fc42       fedora      19.5 KiB
 hicolor-icon-theme         noarch 0.17-19.fc41       fedora      72.2 KiB
 hunspell                   x86_64 1.7.2-8.fc41       fedora       1.3 MiB
 hunspell-en-US             noarch 0.20201207-10.fc41 fedora     557.4 KiB
 hunspell-filesystem        x86_64 1.7.2-8.fc41       fedora       0.0   B
 jbigkit-libs               x86_64 2.1-30.fc41        fedora     117.6 KiB
 json-glib                  x86_64 1.10.0-1.fc42      fedora     562.2 KiB
 kernel-headers             x86_64 6.11.0-63.fc42     fedora       6.4 MiB
 libX11                     x86_64 1.8.10-2.fc42      fedora       1.3 MiB
 libX11-common              noarch 1.8.10-2.fc42      fedora       1.1 MiB
 libX11-devel               x86_64 1.8.10-2.fc42      fedora       1.0 MiB
 libX11-xcb                 x86_64 1.8.10-2.fc42      fedora      15.0 KiB
 libXau                     x86_64 1.0.11-7.fc41      fedora      66.9 KiB
 libXau-devel               x86_64 1.0.11-7.fc41      fedora       6.4 KiB
 libXcomposite              x86_64 0.4.6-4.fc41       fedora      44.5 KiB
 libXcomposite-devel        x86_64 0.4.6-4.fc41       fedora       8.0 KiB
 libXcursor                 x86_64 1.2.2-2.fc41       fedora      49.5 KiB
 libXcursor-devel           x86_64 1.2.2-2.fc41       fedora      22.5 KiB
 libXdamage                 x86_64 1.1.6-4.fc41       fedora      43.7 KiB
 libXext                    x86_64 1.3.6-2.fc41       fedora      90.1 KiB
 libXext-devel              x86_64 1.3.6-2.fc41       fedora      98.9 KiB
 libXfixes                  x86_64 6.0.1-4.fc41       fedora      30.3 KiB
 libXfixes-devel            x86_64 6.0.1-4.fc41       fedora       9.2 KiB
 libXft                     x86_64 2.3.8-7.fc41       fedora     164.5 KiB
 libXft-devel               x86_64 2.3.8-7.fc41       fedora      31.7 KiB
 libXi                      x86_64 1.8.2-1.fc42       fedora      80.7 KiB
 libXi-devel                x86_64 1.8.2-1.fc42       fedora     132.5 KiB
 libXinerama                x86_64 1.1.5-7.fc41       fedora      19.0 KiB
 libXinerama-devel          x86_64 1.1.5-7.fc41       fedora       7.0 KiB
 libXrandr                  x86_64 1.5.4-4.fc41       fedora      51.9 KiB
 libXrandr-devel            x86_64 1.5.4-4.fc41       fedora      21.8 KiB
 libXrender                 x86_64 0.9.11-7.fc41      fedora      50.1 KiB
 libXrender-devel           x86_64 0.9.11-7.fc41      fedora      50.1 KiB
 libXtst                    x86_64 1.2.5-1.fc41       fedora      33.6 KiB
 libart_lgpl                x86_64 2.3.21-33.fc41     fedora     135.1 KiB
 libb2                      x86_64 0.98.1-12.fc41     fedora      42.2 KiB
 libblkid-devel             x86_64 2.40.2-8.fc42      fedora      44.9 KiB
 libdatrie                  x86_64 0.2.13-10.fc41     fedora      57.9 KiB
 libdatrie-devel            x86_64 0.2.13-10.fc41     fedora     591.3 KiB
 libffi-devel               x86_64 3.4.6-3.fc42       fedora      33.1 KiB
 libglade2                  x86_64 2.6.4-33.fc41      fedora     156.3 KiB
 libgnomecanvas             x86_64 2.30.3-29.fc41     fedora     969.4 KiB
 libicu                     x86_64 74.2-2.fc41        fedora      34.9 MiB
 libicu-devel               x86_64 74.2-2.fc41        fedora       5.6 MiB
 libjpeg-turbo              x86_64 3.0.4-1.fc42       fedora     789.1 KiB
 libjpeg-turbo-devel        x86_64 3.0.4-1.fc42       fedora     353.1 KiB
 liblerc                    x86_64 4.0.0-7.fc41       fedora     607.5 KiB
 libmount-devel             x86_64 2.40.2-8.fc42      fedora      63.5 KiB
 libmpc                     x86_64 1.3.1-6.fc41       fedora     164.7 KiB
 libpng                     x86_64 2:1.6.44-1.fc42    fedora     245.8 KiB
 libpng-devel               x86_64 2:1.6.44-1.fc42    fedora     886.0 KiB
 librsvg2                   x86_64 2.57.1-8.fc41      fedora       4.1 MiB
 libselinux-devel           x86_64 3.7-6.fc42         fedora     126.5 KiB
 libsepol-devel             x86_64 3.7-3.fc42         fedora     120.3 KiB
 libtextstyle               x86_64 0.22.5-6.fc41      fedora     195.6 KiB
 libthai                    x86_64 0.1.29-9.fc41      fedora     783.5 KiB
 libthai-devel              x86_64 0.1.29-9.fc41      fedora     700.8 KiB
 libtiff                    x86_64 4.6.0-6.fc42       fedora     606.0 KiB
 libtiff-devel              x86_64 4.6.0-6.fc42       fedora     709.2 KiB
 libwebp                    x86_64 1.4.0-4.fc41       fedora     822.6 KiB
 libwebp-devel              x86_64 1.4.0-4.fc41       fedora     120.3 KiB
 libxcb                     x86_64 1.17.0-2.fc41      fedora       1.1 MiB
 libxcb-devel               x86_64 1.17.0-2.fc41      fedora       2.7 MiB
 libxcrypt-devel            x86_64 4.4.36-7.fc41      fedora      30.3 KiB
 libxml2-devel              x86_64 2.12.8-2.fc41      fedora       3.4 MiB
 libzstd-devel              x86_64 1.5.6-2.fc41       fedora     202.4 KiB
 mpdecimal                  x86_64 2.5.1-16.fc41      fedora     204.9 KiB
 nettle                     x86_64 3.10-3.fc41        fedora     793.0 KiB
 ocaml-compiler-libs        x86_64 5.2.0-3.fc41       fedora     100.2 MiB
 ocaml-lablgtk              x86_64 2.18.13-14.fc41    fedora      14.1 MiB
 ocaml-menhirlib            x86_64 20240715-1.fc41    fedora     349.3 KiB
 ocaml-menhirlib-devel      x86_64 20240715-1.fc41    fedora       1.0 MiB
 ocaml-num                  x86_64 1.5-9.fc41         fedora     509.5 KiB
 ocaml-ocplib-simplex       x86_64 1:0.4.1-9.fc41     fedora     590.7 KiB
 ocaml-psmt2-frontend       x86_64 0.4.0-20.fc41      fedora       4.0 MiB
 ocaml-rpm-macros           noarch 5.2.0-3.fc41       fedora      19.8 KiB
 ocaml-runtime              x86_64 5.2.0-3.fc41       fedora       8.1 MiB
 ocaml-zarith               x86_64 1.14-2.fc41        fedora     371.3 KiB
 ocaml-zip                  x86_64 1.12-1.fc41        fedora     258.2 KiB
 pango                      x86_64 1.54.0-2.fc41      fedora     996.2 KiB
 pango-devel                x86_64 1.54.0-2.fc41      fedora       1.5 MiB
 pcre2-devel                x86_64 10.44-1.fc41.1     fedora       2.0 MiB
 pcre2-utf16                x86_64 10.44-1.fc41.1     fedora     590.1 KiB
 pcre2-utf32                x86_64 10.44-1.fc41.1     fedora     562.0 KiB
 pixman                     x86_64 0.43.4-2.fc41      fedora     718.1 KiB
 pixman-devel               x86_64 0.43.4-2.fc41      fedora      49.4 KiB
 python-pip-wheel           noarch 24.2-2.fc42        fedora       1.2 MiB
 python3                    x86_64 3.13.0~rc2-3.fc42  fedora      31.8 KiB
 python3-libs               x86_64 3.13.0~rc2-3.fc42  fedora      40.3 MiB
 python3-packaging          noarch 24.1-2.fc41        fedora     422.3 KiB
 rsvg-pixbuf-loader         x86_64 2.57.1-8.fc41      fedora      15.5 KiB
 shared-mime-info           x86_64 2.3-6.fc41         fedora       5.2 MiB
 sysprof-capture-devel      x86_64 47.0-1.fc42        fedora     273.2 KiB
 tzdata                     noarch 2024a-9.fc41       fedora       1.7 MiB
 xml-common                 noarch 0.6.3-65.fc41      fedora      78.4 KiB
 xorg-x11-proto-devel       noarch 2024.1-3.fc41      fedora       1.7 MiB
 xprop                      x86_64 1.2.7-2.fc41       fedora      58.8 KiB
 xz-devel                   x86_64 1:5.6.2-2.fc41     fedora     255.6 KiB
 zlib-ng-compat-devel       x86_64 2.2.2-1.fc42       copr_base  106.8 KiB

Transaction Summary:
 Installing:       171 packages

Total size of inbound packages is 224 MiB. Need to download 224 MiB.
After this operation, 721 MiB extra will be used (install 721 MiB, remove 0 B).
[  1/171] desktop-file-utils-0:0.27-2.f 100% | 254.2 KiB/s |  68.9 KiB |  00m00s
[  2/171] make-1:4.4.1-8.fc41.x86_64    100% |   1.5 MiB/s | 586.1 KiB |  00m00s
[  3/171] ocaml-lablgtk-devel-0:2.18.13 100% |  10.3 MiB/s |   2.8 MiB |  00m00s
[  4/171] ocaml-dune-0:3.16.0-3.fc41.x8 100% |  11.4 MiB/s |   6.0 MiB |  00m01s
[  5/171] ocaml-menhir-0:20240715-1.fc4 100% |  14.6 MiB/s |   2.5 MiB |  00m00s
[  6/171] ocaml-num-devel-0:1.5-9.fc41. 100% |   5.3 MiB/s | 350.9 KiB |  00m00s
[  7/171] ocaml-ocplib-simplex-devel-1: 100% |   7.2 MiB/s | 625.4 KiB |  00m00s
[  8/171] ocaml-psmt2-frontend-devel-0: 100% |  22.3 MiB/s |   2.3 MiB |  00m00s
[  9/171] ocaml-zarith-devel-0:1.14-2.f 100% |   5.6 MiB/s | 398.5 KiB |  00m00s
[ 10/171] ocaml-zip-devel-0:1.12-1.fc41 100% |   5.7 MiB/s | 337.1 KiB |  00m00s
[ 11/171] gtksourceview2-devel-0:2.11.2 100% |   2.2 MiB/s | 115.9 KiB |  00m00s
[ 12/171] emacs-filesystem-1:30.0-3.fc4 100% | 108.2 KiB/s |   7.1 KiB |  00m00s
[ 13/171] libappstream-glib-0:0.8.3-2.f 100% |   5.0 MiB/s | 406.2 KiB |  00m00s
[ 14/171] ocaml-0:5.2.0-3.fc41.x86_64   100% |  27.4 MiB/s |  32.2 MiB |  00m01s
[ 15/171] libzstd-devel-0:1.5.6-2.fc41. 100% |   1.0 MiB/s |  51.8 KiB |  00m00s
[ 16/171] glib2-0:2.82.1-1.fc42.x86_64  100% |   8.8 MiB/s |   3.0 MiB |  00m00s
[ 17/171] ocaml-runtime-0:5.2.0-3.fc41. 100% |  19.5 MiB/s |   5.1 MiB |  00m00s
[ 18/171] ocaml-rpm-macros-0:5.2.0-3.fc 100% | 274.4 KiB/s |  14.8 KiB |  00m00s
[ 19/171] gtk2-devel-0:2.24.33-19.fc41. 100% |  26.3 MiB/s |   2.8 MiB |  00m00s
[ 20/171] ocaml-lablgtk-0:2.18.13-14.fc 100% |  30.2 MiB/s |   5.3 MiB |  00m00s
[ 21/171] ocaml-menhirlib-devel-0:20240 100% |   8.9 MiB/s | 592.2 KiB |  00m00s
[ 22/171] ocaml-num-0:1.5-9.fc41.x86_64 100% |   2.9 MiB/s | 239.6 KiB |  00m00s
[ 23/171] ocaml-ocplib-simplex-1:0.4.1- 100% |   5.4 MiB/s | 357.3 KiB |  00m00s
[ 24/171] ocaml-psmt2-frontend-0:0.4.0- 100% |   9.6 MiB/s |   1.2 MiB |  00m00s
[ 25/171] gmp-devel-1:6.3.0-2.fc41.x86_ 100% |   3.0 MiB/s | 174.4 KiB |  00m00s
[ 26/171] ocaml-zarith-0:1.14-2.fc41.x8 100% |   2.1 MiB/s | 157.2 KiB |  00m00s
[ 27/171] gcc-0:14.2.1-3.fc42.x86_64    100% |  28.1 MiB/s |  37.0 MiB |  00m01s
[ 28/171] ocaml-zip-0:1.12-1.fc41.x86_6 100% |   1.2 MiB/s | 126.5 KiB |  00m00s
[ 29/171] gdk-pixbuf2-0:2.42.12-6.fc41. 100% |   6.8 MiB/s | 489.0 KiB |  00m00s
[ 30/171] gtksourceview2-0:2.11.2-43.fc 100% |   7.7 MiB/s | 698.5 KiB |  00m00s
[ 31/171] json-glib-0:1.10.0-1.fc42.x86 100% |   2.1 MiB/s | 161.6 KiB |  00m00s
[ 32/171] gnutls-0:3.8.7-4.fc42.x86_64  100% |  12.7 MiB/s |   1.1 MiB |  00m00s
[ 33/171] libmpc-0:1.3.1-6.fc41.x86_64  100% | 826.9 KiB/s |  71.1 KiB |  00m00s
[ 34/171] gtk2-0:2.24.33-19.fc41.x86_64 100% |  12.6 MiB/s |   3.3 MiB |  00m00s
[ 35/171] cpp-0:14.2.1-3.fc42.x86_64    100% |  25.3 MiB/s |  11.9 MiB |  00m00s
[ 36/171] pango-0:1.54.0-2.fc41.x86_64  100% |   3.5 MiB/s | 347.5 KiB |  00m00s
[ 37/171] gtkspell-0:2.0.16-31.fc41.x86 100% | 816.1 KiB/s |  50.6 KiB |  00m00s
[ 38/171] libglade2-0:2.6.4-33.fc41.x86 100% | 711.7 KiB/s |  61.2 KiB |  00m00s
[ 39/171] libgnomecanvas-0:2.30.3-29.fc 100% |   2.6 MiB/s | 241.3 KiB |  00m00s
[ 40/171] ocaml-compiler-libs-0:5.2.0-3 100% |  27.7 MiB/s |  51.2 MiB |  00m02s
[ 41/171] ocaml-menhirlib-0:20240715-1. 100% |   1.7 MiB/s | 183.1 KiB |  00m00s
[ 42/171] librsvg2-0:2.57.1-8.fc41.x86_ 100% |   9.0 MiB/s |   1.5 MiB |  00m00s
[ 43/171] gmp-c++-1:6.3.0-2.fc41.x86_64 100% | 433.3 KiB/s |  18.6 KiB |  00m00s
[ 44/171] atk-0:2.54.0-1.fc42.x86_64    100% |   1.7 MiB/s |  80.0 KiB |  00m00s
[ 45/171] fontconfig-0:2.15.0-8.fc41.x8 100% |   4.9 MiB/s | 269.9 KiB |  00m00s
[ 46/171] freetype-0:2.13.2-6.fc41.x86_ 100% |   7.0 MiB/s | 410.7 KiB |  00m00s
[ 47/171] libjpeg-turbo-0:3.0.4-1.fc42. 100% |   3.8 MiB/s | 228.9 KiB |  00m00s
[ 48/171] harfbuzz-0:9.0.0-3.fc42.x86_6 100% |  13.1 MiB/s |   1.0 MiB |  00m00s
[ 49/171] libpng-2:1.6.44-1.fc42.x86_64 100% |   2.5 MiB/s | 120.7 KiB |  00m00s
[ 50/171] shared-mime-info-0:2.3-6.fc41 100% |   6.4 MiB/s | 390.6 KiB |  00m00s
[ 51/171] nettle-0:3.10-3.fc41.x86_64   100% |   6.9 MiB/s | 428.5 KiB |  00m00s
[ 52/171] cups-libs-1:2.4.10-6.fc42.x86 100% |   2.3 MiB/s | 259.8 KiB |  00m00s
[ 53/171] gdk-pixbuf2-modules-0:2.42.12 100% | 340.1 KiB/s |  27.2 KiB |  00m00s
[ 54/171] gtk-update-icon-cache-0:3.24. 100% | 467.1 KiB/s |  34.1 KiB |  00m00s
[ 55/171] libXcomposite-0:0.4.6-4.fc41. 100% | 488.0 KiB/s |  24.4 KiB |  00m00s
[ 56/171] hicolor-icon-theme-0:0.17-19. 100% |   1.2 MiB/s |  65.9 KiB |  00m00s
[ 57/171] libX11-0:1.8.10-2.fc42.x86_64 100% |   8.7 MiB/s | 649.7 KiB |  00m00s
[ 58/171] libXcursor-0:1.2.2-2.fc41.x86 100% | 542.0 KiB/s |  30.4 KiB |  00m00s
[ 59/171] libXdamage-0:1.1.6-4.fc41.x86 100% | 404.2 KiB/s |  23.4 KiB |  00m00s
[ 60/171] libXext-0:1.3.6-2.fc41.x86_64 100% | 673.8 KiB/s |  39.1 KiB |  00m00s
[ 61/171] libXfixes-0:6.0.1-4.fc41.x86_ 100% | 336.0 KiB/s |  19.2 KiB |  00m00s
[ 62/171] libXi-0:1.8.2-1.fc42.x86_64   100% | 664.2 KiB/s |  39.9 KiB |  00m00s
[ 63/171] libXinerama-0:1.1.5-7.fc41.x8 100% | 248.9 KiB/s |  14.4 KiB |  00m00s
[ 64/171] libXrandr-0:1.5.4-4.fc41.x86_ 100% | 469.5 KiB/s |  27.7 KiB |  00m00s
[ 65/171] libXrender-0:0.9.11-7.fc41.x8 100% | 450.9 KiB/s |  27.5 KiB |  00m00s
[ 66/171] fribidi-0:1.0.15-2.fc41.x86_6 100% |   1.5 MiB/s |  92.2 KiB |  00m00s
[ 67/171] libXft-0:2.3.8-7.fc41.x86_64  100% |   1.2 MiB/s |  72.3 KiB |  00m00s
[ 68/171] libthai-0:0.1.29-9.fc41.x86_6 100% |   3.1 MiB/s | 211.8 KiB |  00m00s
[ 69/171] enchant-1:1.6.0-36.fc41.x86_6 100% | 662.1 KiB/s |  60.3 KiB |  00m00s
[ 70/171] xml-common-0:0.6.3-65.fc41.no 100% | 503.8 KiB/s |  31.2 KiB |  00m00s
[ 71/171] libart_lgpl-0:2.3.21-33.fc41. 100% | 927.4 KiB/s |  72.3 KiB |  00m00s
[ 72/171] default-fonts-core-sans-0:4.1 100% | 491.8 KiB/s |  31.0 KiB |  00m00s
[ 73/171] at-spi2-core-0:2.54.0-1.fc42. 100% |   2.7 MiB/s | 376.8 KiB |  00m00s
[ 74/171] fonts-filesystem-1:2.0.5-17.f 100% |  86.6 KiB/s |   8.5 KiB |  00m00s
[ 75/171] graphite2-0:1.3.14-16.fc41.x8 100% |   1.4 MiB/s |  95.1 KiB |  00m00s
[ 76/171] libX11-common-0:1.8.10-2.fc42 100% |   2.4 MiB/s | 175.9 KiB |  00m00s
[ 77/171] libxcb-0:1.17.0-2.fc41.x86_64 100% |   3.2 MiB/s | 239.0 KiB |  00m00s
[ 78/171] libtiff-0:4.6.0-6.fc42.x86_64 100% |   2.7 MiB/s | 212.0 KiB |  00m00s
[ 79/171] libdatrie-0:0.2.13-10.fc41.x8 100% | 495.7 KiB/s |  32.2 KiB |  00m00s
[ 80/171] dbus-1:1.14.10-4.fc41.x86_64  100% |  97.7 KiB/s |   7.9 KiB |  00m00s
[ 81/171] hunspell-0:1.7.2-8.fc41.x86_6 100% |   4.8 MiB/s | 477.3 KiB |  00m00s
[ 82/171] dbus-libs-1:1.14.10-4.fc41.x8 100% |   2.2 MiB/s | 155.1 KiB |  00m00s
[ 83/171] libXtst-0:1.2.5-1.fc41.x86_64 100% | 288.5 KiB/s |  20.5 KiB |  00m00s
[ 84/171] xprop-0:1.2.7-2.fc41.x86_64   100% | 505.5 KiB/s |  34.9 KiB |  00m00s
[ 85/171] abattis-cantarell-vf-fonts-0: 100% |   1.8 MiB/s | 120.2 KiB |  00m00s
[ 86/171] jbigkit-libs-0:2.1-30.fc41.x8 100% | 701.7 KiB/s |  53.3 KiB |  00m00s
[ 87/171] google-noto-sans-vf-fonts-0:2 100% |   6.6 MiB/s | 593.9 KiB |  00m00s
[ 88/171] liblerc-0:4.0.0-7.fc41.x86_64 100% |   2.9 MiB/s | 210.3 KiB |  00m00s
[ 89/171] libXau-0:1.0.11-7.fc41.x86_64 100% | 490.6 KiB/s |  31.9 KiB |  00m00s
[ 90/171] libwebp-0:1.4.0-4.fc41.x86_64 100% |   3.8 MiB/s | 292.0 KiB |  00m00s
[ 91/171] hunspell-en-US-0:0.20201207-1 100% |   2.2 MiB/s | 180.9 KiB |  00m00s
[ 92/171] hunspell-filesystem-0:1.7.2-8 100% | 119.5 KiB/s |   8.1 KiB |  00m00s
[ 93/171] dbus-broker-0:36-4.fc41.x86_6 100% |   2.3 MiB/s | 171.7 KiB |  00m00s
[ 94/171] google-noto-fonts-common-0:20 100% | 277.7 KiB/s |  17.8 KiB |  00m00s
[ 95/171] dbus-common-1:1.14.10-4.fc41. 100% | 248.5 KiB/s |  14.7 KiB |  00m00s
[ 96/171] expat-0:2.6.3-1.fc42.x86_64   100% |   1.7 MiB/s | 114.1 KiB |  00m00s
[ 97/171] cairo-0:1.18.0-4.fc42.x86_64  100% |   8.1 MiB/s | 720.7 KiB |  00m00s
[ 98/171] cairo-gobject-0:1.18.0-4.fc42 100% | 350.2 KiB/s |  17.9 KiB |  00m00s
[ 99/171] pixman-0:0.43.4-2.fc41.x86_64 100% |   3.8 MiB/s | 294.1 KiB |  00m00s
[100/171] cairo-devel-0:1.18.0-4.fc42.x 100% |  10.1 MiB/s | 176.2 KiB |  00m00s
[101/171] rsvg-pixbuf-loader-0:2.57.1-8 100% | 227.0 KiB/s |  16.1 KiB |  00m00s
[102/171] pango-devel-0:1.54.0-2.fc41.x 100% |   1.9 MiB/s | 160.3 KiB |  00m00s
[103/171] fontconfig-devel-0:2.15.0-8.f 100% |   1.8 MiB/s | 164.8 KiB |  00m00s
[104/171] freetype-devel-0:2.13.2-6.fc4 100% |   7.8 MiB/s | 950.3 KiB |  00m00s
[105/171] harfbuzz-devel-0:9.0.0-3.fc42 100% |   4.0 MiB/s | 446.8 KiB |  00m00s
[106/171] glib2-devel-0:2.82.1-1.fc42.x 100% |   7.5 MiB/s |   1.5 MiB |  00m00s
[107/171] gettext-0:0.22.5-6.fc41.x86_6 100% |  10.8 MiB/s |   1.1 MiB |  00m00s
[108/171] python3-packaging-0:24.1-2.fc 100% |   1.7 MiB/s | 125.4 KiB |  00m00s
[109/171] harfbuzz-icu-0:9.0.0-3.fc42.x 100% | 203.6 KiB/s |  15.7 KiB |  00m00s
[110/171] gettext-libs-0:0.22.5-6.fc41. 100% |   7.7 MiB/s | 666.4 KiB |  00m00s
[111/171] gettext-runtime-0:0.22.5-6.fc 100% |   1.9 MiB/s | 121.8 KiB |  00m00s
[112/171] libtextstyle-0:0.22.5-6.fc41. 100% |   1.4 MiB/s |  88.4 KiB |  00m00s
[113/171] harfbuzz-cairo-0:9.0.0-3.fc42 100% | 149.8 KiB/s |  29.4 KiB |  00m00s
[114/171] gettext-envsubst-0:0.22.5-6.f 100% | 651.3 KiB/s |  37.8 KiB |  00m00s
[115/171] python3-0:3.13.0~rc2-3.fc42.x 100% | 135.1 KiB/s |  27.7 KiB |  00m00s
[116/171] libb2-0:0.98.1-12.fc41.x86_64 100% | 141.9 KiB/s |  25.7 KiB |  00m00s
[117/171] libicu-0:74.2-2.fc41.x86_64   100% |  18.2 MiB/s |  10.4 MiB |  00m01s
[118/171] python3-libs-0:3.13.0~rc2-3.f 100% |  17.4 MiB/s |   9.1 MiB |  00m01s
[119/171] python-pip-wheel-0:24.2-2.fc4 100% |   8.0 MiB/s |   1.2 MiB |  00m00s
[120/171] tzdata-0:2024a-9.fc41.noarch  100% |   5.5 MiB/s | 714.7 KiB |  00m00s
[121/171] mpdecimal-0:2.5.1-16.fc41.x86 100% | 254.2 KiB/s |  89.0 KiB |  00m00s
[122/171] libicu-devel-0:74.2-2.fc41.x8 100% |   9.1 MiB/s | 928.2 KiB |  00m00s
[123/171] graphite2-devel-0:1.3.14-16.f 100% | 203.8 KiB/s |  20.8 KiB |  00m00s
[124/171] cmake-filesystem-0:3.28.3-7.f 100% | 396.7 KiB/s |  18.2 KiB |  00m00s
[125/171] xz-devel-1:5.6.2-2.fc41.x86_6 100% |   1.3 MiB/s |  66.5 KiB |  00m00s
[126/171] atk-devel-0:2.54.0-1.fc42.x86 100% |   6.6 MiB/s | 443.3 KiB |  00m00s
[127/171] gdk-pixbuf2-devel-0:2.42.12-6 100% |   4.7 MiB/s | 367.3 KiB |  00m00s
[128/171] libX11-xcb-0:1.8.10-2.fc42.x8 100% | 228.3 KiB/s |  11.9 KiB |  00m00s
[129/171] libX11-devel-0:1.8.10-2.fc42. 100% |   9.2 MiB/s |   1.0 MiB |  00m00s
[130/171] xorg-x11-proto-devel-0:2024.1 100% |   3.9 MiB/s | 300.3 KiB |  00m00s
[131/171] libXcomposite-devel-0:0.4.6-4 100% | 266.1 KiB/s |  16.0 KiB |  00m00s
[132/171] libXcursor-devel-0:1.2.2-2.fc 100% | 878.7 KiB/s |  39.5 KiB |  00m00s
[133/171] libXext-devel-0:1.3.6-2.fc41. 100% |   1.9 MiB/s |  85.4 KiB |  00m00s
[134/171] libXfixes-devel-0:6.0.1-4.fc4 100% | 288.2 KiB/s |  12.7 KiB |  00m00s
[135/171] libXi-devel-0:1.8.2-1.fc42.x8 100% |   2.1 MiB/s | 115.9 KiB |  00m00s
[136/171] libXinerama-devel-0:1.1.5-7.f 100% | 300.9 KiB/s |  13.2 KiB |  00m00s
[137/171] libXrandr-devel-0:1.5.4-4.fc4 100% | 460.7 KiB/s |  19.3 KiB |  00m00s
[138/171] libffi-devel-0:3.4.6-3.fc42.x 100% | 639.2 KiB/s |  28.8 KiB |  00m00s
[139/171] libmount-devel-0:2.40.2-8.fc4 100% | 652.3 KiB/s |  27.4 KiB |  00m00s
[140/171] libselinux-devel-0:3.7-6.fc42 100% |   3.1 MiB/s | 151.2 KiB |  00m00s
[141/171] libsepol-devel-0:3.7-3.fc42.x 100% |   1.1 MiB/s |  48.1 KiB |  00m00s
[142/171] pcre2-devel-0:10.44-1.fc41.1. 100% |   8.3 MiB/s | 521.4 KiB |  00m00s
[143/171] pcre2-utf16-0:10.44-1.fc41.1. 100% |   4.0 MiB/s | 222.8 KiB |  00m00s
[144/171] pcre2-utf32-0:10.44-1.fc41.1. 100% |   4.1 MiB/s | 210.4 KiB |  00m00s
[145/171] zlib-ng-compat-devel-0:2.2.2- 100% |   4.2 MiB/s |  38.7 KiB |  00m00s
[146/171] sysprof-capture-devel-0:47.0- 100% |   1.3 MiB/s |  55.8 KiB |  00m00s
[147/171] libpng-devel-2:1.6.44-1.fc42. 100% |   4.8 MiB/s | 292.1 KiB |  00m00s
[148/171] libjpeg-turbo-devel-0:3.0.4-1 100% |   1.7 MiB/s |  97.3 KiB |  00m00s
[149/171] glibc-devel-0:2.40.9000-1.fc4 100% |   2.5 MiB/s | 135.6 KiB |  00m00s
[150/171] libtiff-devel-0:4.6.0-6.fc42. 100% |   4.3 MiB/s | 258.2 KiB |  00m00s
[151/171] libxml2-devel-0:2.12.8-2.fc41 100% | 678.2 KiB/s | 524.2 KiB |  00m01s
[152/171] libxcrypt-devel-0:4.4.36-7.fc 100% | 655.9 KiB/s |  28.9 KiB |  00m00s
[153/171] glibc-headers-x86-0:2.40.9000 100% |   8.3 MiB/s | 627.7 KiB |  00m00s
[154/171] brotli-devel-0:1.1.0-5.fc41.x 100% | 548.5 KiB/s |  34.0 KiB |  00m00s
[155/171] brotli-0:1.1.0-5.fc41.x86_64  100% | 446.2 KiB/s |  20.1 KiB |  00m00s
[156/171] avahi-libs-0:0.8-30.fc42.x86_ 100% |   4.0 MiB/s |  69.6 KiB |  00m00s
[157/171] bzip2-devel-0:1.0.8-19.fc41.x 100% |   4.3 MiB/s | 213.7 KiB |  00m00s
[158/171] libXrender-devel-0:0.9.11-7.f 100% | 335.5 KiB/s |  19.1 KiB |  00m00s
[159/171] pixman-devel-0:0.43.4-2.fc41. 100% | 305.2 KiB/s |  17.4 KiB |  00m00s
[160/171] fribidi-devel-0:1.0.15-2.fc41 100% | 507.8 KiB/s |  29.5 KiB |  00m00s
[161/171] libXft-devel-0:2.3.8-7.fc41.x 100% |   1.1 MiB/s |  49.8 KiB |  00m00s
[162/171] libthai-devel-0:0.1.29-9.fc41 100% |   2.2 MiB/s | 146.8 KiB |  00m00s
[163/171] libXau-devel-0:1.0.11-7.fc41. 100% | 260.8 KiB/s |  13.8 KiB |  00m00s
[164/171] libwebp-devel-0:1.4.0-4.fc41. 100% | 717.2 KiB/s |  39.4 KiB |  00m00s
[165/171] libdatrie-devel-0:0.2.13-10.f 100% |   2.4 MiB/s | 155.3 KiB |  00m00s
[166/171] libblkid-devel-0:2.40.2-8.fc4 100% | 601.7 KiB/s |  26.5 KiB |  00m00s
[167/171] kernel-headers-0:6.11.0-63.fc 100% |  17.9 MiB/s |   1.6 MiB |  00m00s
[168/171] annobin-plugin-gcc-0:12.70-1. 100% |  12.7 MiB/s | 971.7 KiB |  00m00s
[169/171] gcc-plugin-annobin-0:14.2.1-3 100% |   1.3 MiB/s |  55.2 KiB |  00m00s
[170/171] annobin-docs-0:12.70-1.fc42.n 100% |   2.0 MiB/s |  92.0 KiB |  00m00s
[171/171] libxcb-devel-0:1.17.0-2.fc41. 100% |   2.8 MiB/s |   1.4 MiB |  00m01s
--------------------------------------------------------------------------------
[171/171] Total                         100% |  30.9 MiB/s | 224.0 MiB |  00m07s
Running transaction
[  1/173] Verify package files          100% | 225.0   B/s | 171.0   B |  00m01s
[  2/173] Prepare transaction           100% | 982.0   B/s | 171.0   B |  00m00s
[  3/173] Installing xorg-x11-proto-dev 100% |  77.5 MiB/s |   1.8 MiB |  00m00s
[  4/173] Installing libpng-2:1.6.44-1. 100% | 120.6 MiB/s | 247.0 KiB |  00m00s
[  5/173] Installing cmake-filesystem-0 100% |   3.5 MiB/s |   7.1 KiB |  00m00s
[  6/173] Installing zlib-ng-compat-dev 100% | 105.8 MiB/s | 108.3 KiB |  00m00s
[  7/173] Installing libpng-devel-2:1.6 100% | 173.8 MiB/s | 889.9 KiB |  00m00s
[  8/173] Installing fonts-filesystem-1 100% |   0.0   B/s | 788.0   B |  00m00s
[  9/173] Installing libjpeg-turbo-0:3. 100% | 193.1 MiB/s | 790.8 KiB |  00m00s
[ 10/173] Installing ocaml-runtime-0:5. 100% |  69.8 MiB/s |   8.1 MiB |  00m00s
[ 11/173] Installing libjpeg-turbo-deve 100% |  57.9 MiB/s | 355.6 KiB |  00m00s
[ 12/173] Installing libicu-0:74.2-2.fc 100% |  55.1 MiB/s |  35.0 MiB |  00m01s
[ 13/173] Installing libtextstyle-0:0.2 100% |  48.0 MiB/s | 196.5 KiB |  00m00s
[ 14/173] Installing gettext-libs-0:0.2 100% | 152.4 MiB/s |   1.7 MiB |  00m00s
[ 15/173] Installing pixman-0:0.43.4-2. 100% | 234.1 MiB/s | 719.2 KiB |  00m00s
[ 16/173] Installing expat-0:2.6.3-1.fc 100% | 143.3 MiB/s | 293.6 KiB |  00m00s
[ 17/173] Installing hunspell-filesyste 100% |   0.0   B/s | 388.0   B |  00m00s
[ 18/173] Installing libXau-0:1.0.11-7. 100% |  66.8 MiB/s |  68.4 KiB |  00m00s
[ 19/173] Installing libxcb-0:1.17.0-2. 100% |  19.2 MiB/s |   1.1 MiB |  00m00s
[ 20/173] Installing libwebp-0:1.4.0-4. 100% |  26.9 MiB/s | 826.8 KiB |  00m00s
[ 21/173] Installing dbus-libs-1:1.14.1 100% | 120.5 MiB/s | 370.0 KiB |  00m00s
[ 22/173] Installing libdatrie-0:0.2.13 100% |  57.7 MiB/s |  59.0 KiB |  00m00s
[ 23/173] Installing libthai-0:0.1.29-9 100% |  42.6 MiB/s | 785.3 KiB |  00m00s
[ 24/173] Installing graphite2-0:1.3.14 100% |  13.5 MiB/s | 194.1 KiB |  00m00s
[ 25/173] Installing xml-common-0:0.6.3 100% |  39.6 MiB/s |  81.1 KiB |  00m00s
[ 26/173] Installing fribidi-0:1.0.15-2 100% | 120.7 MiB/s | 370.9 KiB |  00m00s
[ 27/173] Installing libmpc-0:1.3.1-6.f 100% |  16.2 MiB/s | 166.2 KiB |  00m00s
[ 28/173] Installing libzstd-devel-0:1. 100% | 198.5 MiB/s | 203.2 KiB |  00m00s
[ 29/173] Installing cpp-0:14.2.1-3.fc4 100% |  93.3 MiB/s |  35.0 MiB |  00m00s
[ 30/173] Installing fribidi-devel-0:1. 100% |   8.9 MiB/s |  81.9 KiB |  00m00s
[ 31/173] Installing graphite2-devel-0: 100% |  49.4 MiB/s |  50.6 KiB |  00m00s
[ 32/173] Installing libdatrie-devel-0: 100% |  84.2 MiB/s | 603.4 KiB |  00m00s
[ 33/173] Installing libthai-devel-0:0. 100% |  35.0 MiB/s | 717.8 KiB |  00m00s
[ 34/173] Installing avahi-libs-0:0.8-3 100% |  59.3 MiB/s | 182.2 KiB |  00m00s
[ 35/173] Installing libwebp-devel-0:1. 100% |  60.5 MiB/s | 124.0 KiB |  00m00s
[ 36/173] Installing libXau-devel-0:1.0 100% |   1.1 MiB/s |   8.2 KiB |  00m00s
[ 37/173] Installing libxcb-devel-0:1.1 100% |  11.6 MiB/s |   3.1 MiB |  00m00s
[ 38/173] Installing hunspell-en-US-0:0 100% | 181.7 MiB/s | 558.1 KiB |  00m00s
[ 39/173] Installing hunspell-0:1.7.2-8 100% |  50.2 MiB/s |   1.4 MiB |  00m00s
[ 40/173] Installing pixman-devel-0:0.4 100% |  24.5 MiB/s |  50.2 KiB |  00m00s
[ 41/173] Installing libicu-devel-0:74. 100% |  40.0 MiB/s |   5.6 MiB |  00m00s
[ 42/173] Installing abattis-cantarell- 100% |  94.9 MiB/s | 194.4 KiB |  00m00s
[ 43/173] Installing annobin-docs-0:12. 100% |  32.2 MiB/s |  98.8 KiB |  00m00s
[ 44/173] Installing kernel-headers-0:6 100% |  44.2 MiB/s |   6.5 MiB |  00m00s
[ 45/173] Installing libblkid-devel-0:2 100% |  44.9 MiB/s |  46.0 KiB |  00m00s
[ 46/173] Installing bzip2-devel-0:1.0. 100% | 151.7 MiB/s | 310.7 KiB |  00m00s
[ 47/173] Installing brotli-0:1.1.0-5.f 100% |  31.7 MiB/s |  32.5 KiB |  00m00s
[ 48/173] Installing brotli-devel-0:1.1 100% |  22.1 MiB/s |  68.0 KiB |  00m00s
[ 49/173] Installing glibc-headers-x86- 100% |  55.8 MiB/s |   2.3 MiB |  00m00s
[ 50/173] Installing libxcrypt-devel-0: 100% |  15.9 MiB/s |  32.6 KiB |  00m00s
[ 51/173] Installing glibc-devel-0:2.40 100% |  20.3 MiB/s |  41.5 KiB |  00m00s
[ 52/173] Installing sysprof-capture-de 100% |  53.9 MiB/s | 276.1 KiB |  00m00s
[ 53/173] Installing pcre2-utf32-0:10.4 100% | 183.2 MiB/s | 562.8 KiB |  00m00s
[ 54/173] Installing pcre2-utf16-0:10.4 100% | 192.4 MiB/s | 590.9 KiB |  00m00s
[ 55/173] Installing pcre2-devel-0:10.4 100% |  62.3 MiB/s |   2.0 MiB |  00m00s
[ 56/173] Installing libsepol-devel-0:3 100% |  31.2 MiB/s | 127.8 KiB |  00m00s
[ 57/173] Installing libselinux-devel-0 100% |   8.3 MiB/s | 161.3 KiB |  00m00s
[ 58/173] Installing libmount-devel-0:2 100% |  63.0 MiB/s |  64.5 KiB |  00m00s
[ 59/173] Installing libffi-devel-0:3.4 100% |  34.0 MiB/s |  34.8 KiB |  00m00s
[ 60/173] Installing libX11-xcb-0:1.8.1 100% |  15.5 MiB/s |  15.9 KiB |  00m00s
[ 61/173] Installing xz-devel-1:5.6.2-2 100% |  84.4 MiB/s | 259.4 KiB |  00m00s
[ 62/173] Installing libxml2-devel-0:2. 100% |  65.7 MiB/s |   3.4 MiB |  00m00s
[ 63/173] Installing tzdata-0:2024a-9.f 100% |  19.8 MiB/s |   1.9 MiB |  00m00s
[ 64/173] Installing python-pip-wheel-0 100% | 155.2 MiB/s |   1.2 MiB |  00m00s
[ 65/173] Installing mpdecimal-0:2.5.1- 100% | 100.6 MiB/s | 206.0 KiB |  00m00s
[ 66/173] Installing libb2-0:0.98.1-12. 100% |   7.0 MiB/s |  43.3 KiB |  00m00s
[ 67/173] Installing python3-libs-0:3.1 100% |  58.5 MiB/s |  40.7 MiB |  00m01s
[ 68/173] Installing python3-0:3.13.0~r 100% |  32.8 MiB/s |  33.6 KiB |  00m00s
[ 69/173] Installing python3-packaging- 100% |  47.0 MiB/s | 433.2 KiB |  00m00s
[ 70/173] Installing gettext-envsubst-0 100% |  74.6 MiB/s |  76.3 KiB |  00m00s
[ 71/173] Installing gettext-runtime-0: 100% |  59.9 MiB/s | 490.7 KiB |  00m00s
[ 72/173] Installing gettext-0:0.22.5-6 100% |  87.3 MiB/s |   5.2 MiB |  00m00s
[ 73/173] Installing dbus-common-1:1.14 100% | 398.6 KiB/s |  13.6 KiB |  00m00s
[ 74/173] Installing dbus-broker-0:36-4 100% |  31.4 MiB/s | 385.3 KiB |  00m00s
[ 75/173] Installing dbus-1:1.14.10-4.f 100% |   0.0   B/s | 124.0   B |  00m00s
[ 76/173] Installing google-noto-fonts- 100% |  17.8 MiB/s |  18.3 KiB |  00m00s
[ 77/173] Installing google-noto-sans-v 100% |  83.3 MiB/s |   1.2 MiB |  00m00s
[ 78/173] Installing default-fonts-core 100% |   8.9 MiB/s |  18.2 KiB |  00m00s
[ 79/173] Installing liblerc-0:4.0.0-7. 100% |  74.3 MiB/s | 609.0 KiB |  00m00s
[ 80/173] Installing jbigkit-libs-0:2.1 100% |  58.4 MiB/s | 119.6 KiB |  00m00s
[ 81/173] Installing libtiff-0:4.6.0-6. 100% | 148.5 MiB/s | 608.2 KiB |  00m00s
[ 82/173] Installing libtiff-devel-0:4. 100% |  78.1 MiB/s | 720.0 KiB |  00m00s
[ 83/173] Installing libX11-common-0:1. 100% |  51.6 MiB/s |   1.2 MiB |  00m00s
[ 84/173] Installing libX11-0:1.8.10-2. 100% | 160.7 MiB/s |   1.3 MiB |  00m00s
[ 85/173] Installing libX11-devel-0:1.8 100% |  24.3 MiB/s |   1.1 MiB |  00m00s
[ 86/173] Installing libXext-0:1.3.6-2. 100% |  17.8 MiB/s |  91.3 KiB |  00m00s
[ 87/173] Installing libXrender-0:0.9.1 100% |  50.2 MiB/s |  51.4 KiB |  00m00s
[ 88/173] Installing libXrender-devel-0 100% |  49.8 MiB/s |  51.0 KiB |  00m00s
[ 89/173] Installing libXext-devel-0:1. 100% |  27.1 MiB/s | 110.9 KiB |  00m00s
[ 90/173] Installing libXi-0:1.8.2-1.fc 100% |  79.9 MiB/s |  81.8 KiB |  00m00s
[ 91/173] Installing libXfixes-0:6.0.1- 100% |  30.9 MiB/s |  31.7 KiB |  00m00s
[ 92/173] Installing libXfixes-devel-0: 100% |   9.7 MiB/s |   9.9 KiB |  00m00s
[ 93/173] Installing libXcursor-0:1.2.2 100% | 897.4 KiB/s |  51.2 KiB |  00m00s
[ 94/173] Installing libXrandr-0:1.5.4- 100% |  51.9 MiB/s |  53.1 KiB |  00m00s
[ 95/173] Installing libXinerama-0:1.1. 100% |  19.7 MiB/s |  20.2 KiB |  00m00s
[ 96/173] Installing libXcomposite-0:0. 100% |  45.0 MiB/s |  46.1 KiB |  00m00s
[ 97/173] Installing libXcomposite-deve 100% |  10.3 MiB/s |  10.5 KiB |  00m00s
[ 98/173] Installing libXinerama-devel- 100% |   8.3 MiB/s |   8.5 KiB |  00m00s
[ 99/173] Installing libXrandr-devel-0: 100% |  24.1 MiB/s |  24.7 KiB |  00m00s
[100/173] Installing libXcursor-devel-0 100% |   7.9 MiB/s |  32.6 KiB |  00m00s
[101/173] Installing libXi-devel-0:1.8. 100% |  12.8 MiB/s | 144.6 KiB |  00m00s
[102/173] Installing libXdamage-0:1.1.6 100% |  44.2 MiB/s |  45.3 KiB |  00m00s
[103/173] Installing libXtst-0:1.2.5-1. 100% |  33.8 MiB/s |  34.7 KiB |  00m00s
[104/173] Installing xprop-0:1.2.7-2.fc 100% |  29.4 MiB/s |  60.2 KiB |  00m00s
[105/173] Installing libart_lgpl-0:2.3. 100% |  66.8 MiB/s | 136.8 KiB |  00m00s
[106/173] Installing hicolor-icon-theme 100% |   5.7 MiB/s | 179.5 KiB |  00m00s
[107/173] Installing nettle-0:3.10-3.fc 100% |  86.4 MiB/s | 796.1 KiB |  00m00s
[108/173] Installing gnutls-0:3.8.7-4.f 100% |  85.3 MiB/s |   3.2 MiB |  00m00s
[109/173] Installing glib2-0:2.82.1-1.f 100% | 108.8 MiB/s |  14.7 MiB |  00m00s
[110/173] Installing freetype-0:2.13.2- 100% | 138.7 MiB/s | 852.3 KiB |  00m00s
[111/173] Installing harfbuzz-0:9.0.0-3 100% | 120.5 MiB/s |   2.7 MiB |  00m00s
[112/173] Installing fontconfig-0:2.15. 100% | 771.0 KiB/s | 811.1 KiB |  00m01s
[113/173] Installing cairo-0:1.18.0-4.f 100% | 160.6 MiB/s |   1.8 MiB |  00m00s
[114/173] Installing glib2-devel-0:2.82 100% | 281.0 MiB/s |  15.7 MiB |  00m00s
[115/173] Installing cairo-gobject-0:1. 100% |  35.2 MiB/s |  36.0 KiB |  00m00s
[116/173] Installing libXft-0:2.3.8-7.f 100% |  81.1 MiB/s | 166.0 KiB |  00m00s
[117/173] Installing pango-0:1.54.0-2.f 100% | 139.8 MiB/s |   1.0 MiB |  00m00s
[118/173] Installing shared-mime-info-0 100% | 102.2 MiB/s |   2.6 MiB |  00m00s
[119/173] Installing gdk-pixbuf2-0:2.42 100% | 120.3 MiB/s |   2.5 MiB |  00m00s
[120/173] Installing librsvg2-0:2.57.1- 100% | 214.6 MiB/s |   4.1 MiB |  00m00s
[121/173] Installing rsvg-pixbuf-loader 100% |  16.2 MiB/s |  16.5 KiB |  00m00s
[122/173] Installing gdk-pixbuf2-module 100% |  55.5 MiB/s |  56.8 KiB |  00m00s
[123/173] Installing gtk-update-icon-ca 100% |  32.9 MiB/s |  67.5 KiB |  00m00s
[124/173] Installing gdk-pixbuf2-devel- 100% | 127.8 MiB/s |   2.3 MiB |  00m00s
[125/173] Installing harfbuzz-cairo-0:9 100% |  51.8 MiB/s |  53.1 KiB |  00m00s
[126/173] Installing harfbuzz-icu-0:9.0 100% |  19.9 MiB/s |  20.3 KiB |  00m00s
[127/173] Installing cairo-devel-0:1.18 100% | 190.9 MiB/s |   2.3 MiB |  00m00s
[128/173] Installing fontconfig-devel-0 100% |  14.8 MiB/s | 151.9 KiB |  00m00s
[129/173] Installing freetype-devel-0:2 100% | 245.5 MiB/s |   7.9 MiB |  00m00s
[130/173] Installing harfbuzz-devel-0:9 100% | 222.0 MiB/s |   5.1 MiB |  00m00s
[131/173] Installing libXft-devel-0:2.3 100% |  10.8 MiB/s |  44.3 KiB |  00m00s
[132/173] Installing pango-devel-0:1.54 100% | 250.6 MiB/s |   1.5 MiB |  00m00s
[133/173] Installing json-glib-0:1.10.0 100% |  62.3 MiB/s | 574.1 KiB |  00m00s
[134/173] Installing enchant-1:1.6.0-36 100% |  50.7 MiB/s | 155.6 KiB |  00m00s
[135/173] Installing at-spi2-core-0:2.5 100% |  95.2 MiB/s |   1.5 MiB |  00m00s
[136/173] Installing atk-0:2.54.0-1.fc4 100% |  82.7 MiB/s | 254.1 KiB |  00m00s
[137/173] Installing atk-devel-0:2.54.0 100% | 154.7 MiB/s |   6.0 MiB |  00m00s
[138/173] Installing cups-libs-1:2.4.10 100% | 122.0 MiB/s | 624.4 KiB |  00m00s
[139/173] Installing gtk2-0:2.24.33-19. 100% | 206.9 MiB/s |  12.8 MiB |  00m00s
[140/173] Installing gtk2-devel-0:2.24. 100% | 256.4 MiB/s |  23.8 MiB |  00m00s
[141/173] Installing gtksourceview2-0:2 100% | 148.8 MiB/s |   3.4 MiB |  00m00s
[142/173] Installing libglade2-0:2.6.4- 100% |  77.4 MiB/s | 158.5 KiB |  00m00s
[143/173] Installing libgnomecanvas-0:2 100% |  68.8 MiB/s | 986.4 KiB |  00m00s
[144/173] Installing gtkspell-0:2.0.16- 100% |  14.9 MiB/s |  91.3 KiB |  00m00s
[145/173] Installing gmp-c++-1:6.3.0-2. 100% |  31.8 MiB/s |  32.6 KiB |  00m00s
[146/173] Installing gmp-devel-1:6.3.0- 100% | 345.8 MiB/s | 354.1 KiB |  00m00s
[147/173] Installing emacs-filesystem-1 100% |   0.0   B/s | 544.0   B |  00m00s
[148/173] Installing make-1:4.4.1-8.fc4 100% | 163.7 MiB/s |   1.8 MiB |  00m00s
[149/173] Installing gcc-0:14.2.1-3.fc4 100% | 287.6 MiB/s | 104.4 MiB |  00m00s
[150/173] Installing ocaml-0:5.2.0-3.fc 100% | 323.1 MiB/s | 136.7 MiB |  00m00s
[151/173] Installing ocaml-compiler-lib 100% | 305.1 MiB/s | 100.4 MiB |  00m00s
[152/173] Installing ocaml-zarith-0:1.1 100% | 121.9 MiB/s | 374.5 KiB |  00m00s
[153/173] Installing ocaml-rpm-macros-0 100% |  19.8 MiB/s |  20.3 KiB |  00m00s
[154/173] Installing ocaml-lablgtk-0:2. 100% | 321.8 MiB/s |  14.2 MiB |  00m00s
[155/173] Installing ocaml-num-0:1.5-9. 100% | 167.1 MiB/s | 513.2 KiB |  00m00s
[156/173] Installing ocaml-ocplib-simpl 100% | 289.4 MiB/s | 592.6 KiB |  00m00s
[157/173] Installing ocaml-psmt2-fronte 100% | 305.1 MiB/s |   4.0 MiB |  00m00s
[158/173] Installing ocaml-zip-0:1.12-1 100% | 127.4 MiB/s | 260.9 KiB |  00m00s
[159/173] Installing ocaml-menhirlib-0: 100% | 114.2 MiB/s | 350.8 KiB |  00m00s
[160/173] Installing ocaml-menhirlib-de 100% | 339.7 MiB/s |   1.0 MiB |  00m00s
[161/173] Installing ocaml-menhir-0:202 100% | 294.7 MiB/s |   7.4 MiB |  00m00s
[162/173] Installing ocaml-zip-devel-0: 100% | 154.6 MiB/s | 633.1 KiB |  00m00s
[163/173] Installing ocaml-psmt2-fronte 100% | 321.7 MiB/s |   5.1 MiB |  00m00s
[164/173] Installing ocaml-ocplib-simpl 100% | 306.5 MiB/s |   1.5 MiB |  00m00s
[165/173] Installing ocaml-num-devel-0: 100% | 186.0 MiB/s | 952.4 KiB |  00m00s
[166/173] Installing ocaml-lablgtk-deve 100% | 260.9 MiB/s |  15.1 MiB |  00m00s
[167/173] Installing ocaml-dune-0:3.16. 100% | 312.1 MiB/s |  22.5 MiB |  00m00s
[168/173] Installing ocaml-zarith-devel 100% | 175.4 MiB/s | 897.9 KiB |  00m00s
[169/173] Installing annobin-plugin-gcc 100% |  37.1 MiB/s | 987.3 KiB |  00m00s
[170/173] Installing gcc-plugin-annobin 100% |   2.4 MiB/s |  62.7 KiB |  00m00s
[171/173] Installing desktop-file-utils 100% |  76.2 MiB/s | 234.2 KiB |  00m00s
[172/173] Installing gtksourceview2-dev 100% | 235.4 MiB/s |   1.4 MiB |  00m00s
warning: posix.fork(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.wait(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
warning: posix.exec(): .fork(), .exec(), .wait() and .redirect2null() are deprecated, use rpm.spawn() or rpm.execute() instead
[173/173] Installing libappstream-glib- 100% |   2.0 MiB/s |   1.4 MiB |  00m01s
Warning: skipped PGP checks for 5 packages from repository: copr_base
Complete!
Finish: build setup for alt-ergo-2.3.3-22.fc42.src.rpm
Start: rpmbuild alt-ergo-2.3.3-22.fc42.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1722816000
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.1SGZ0o
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ test -d /builddir/build/BUILD/alt-ergo-2.3.3-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/alt-ergo-2.3.3-build
+ /usr/bin/rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.MciC8H
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ rm -rf alt-ergo-2.3.0-free
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-free-2.3.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd alt-ergo-2.3.0-free
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-icons.tar.xz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ rm -rf sources
+ tar xf /builddir/build/SOURCES/alt-ergo-free-2.3.3.tar.gz
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-pervasives.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-psmt2-frontend.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-menhir.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-forward-compat.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-dune3.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-inline-error.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ cd sources
+ cp -p /builddir/build/SOURCES/alt-ergo.desktop com.ocamlpro.alt-ergo.desktop
+ cd examples/AB-Why3-plugin
+ unzip p4_34.why.zip
Archive:  p4_34.why.zip
  inflating: p4_34.why               
+ rm p4_34.why.zip
+ cd -
/builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.QXH0qe
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd alt-ergo-2.3.0-free
+ cd sources
+ ./configure --prefix=/usr --libdir=/usr/lib64/ocaml --sharedir=/usr/lib64/ocaml
File "_none_", line 1:
Alert ocaml_deprecated_auto_include: 
OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
automatically added to the search path, but you should add -I +unix to the
command-line to silence this alert (e.g. by adding unix to the list of
libraries in your dune file, or adding use_unix to your _tags file for
ocamlbuild, or using -package unix for ocamlfind).

File "_none_", line 1:
Alert ocaml_deprecated_auto_include: 
OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
automatically added to the search path, but you should add -I +unix to the
command-line to silence this alert (e.g. by adding unix to the list of
libraries in your dune file, or adding use_unix to your _tags file for
ocamlbuild, or using -package unix for ocamlfind).
Using provided value for 'prefix' : /usr
Using provided value for 'libdir' : /usr/lib64/ocaml
Using provided value for 'sharedir' : /usr/lib64/ocaml
Using default value for 'mandir' : /usr/man
Using default value for 'pluginsdir' : /usr/lib64/ocaml/alt-ergo/plugins
Using default value for 'preludesdir' : /usr/lib64/ocaml/alt-ergo/preludes
Generating file lib/util/config.ml...done.
Generating file Makefile.config...done.
Found dune in path.
Good to go !
+ /usr/bin/make -O -j2 V=1 VERBOSE=1
dune build  @install
ln -sf _build/install/default/bin/alt-ergo alt-ergo
ln -sf _build/install/default/bin/altgr-ergo altgr-ergo
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.RWsSyM
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ '[' /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
++ dirname /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build
+ mkdir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd alt-ergo-2.3.0-free
+ cd sources
+ /usr/bin/make install DESTDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT 'INSTALL=/usr/bin/install -p'
dune build  @install
ln -sf _build/install/default/bin/alt-ergo alt-ergo
ln -sf _build/install/default/bin/altgr-ergo altgr-ergo
dune install 		\
	--prefix /usr						\
	--libdir /usr/lib64/ocaml						\
	--mandir /usr/man
+ find /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml -name '*.ml' -delete
+ rm -fr /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1
+ cp -p doc/alt-ergo.1 /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1
+ mv /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo
+ rmdir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/gtksourceview-2.0/language-specs
+ cp -p doc/gtk-lang/alt-ergo.lang /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/gtksourceview-2.0/language-specs
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/applications
+ desktop-file-install --dir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/applications com.ocamlpro.alt-ergo.desktop
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo
+ install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
+ appstream-util validate-relax --nonet /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml
/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml: OK
+ cd -
/builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/icons
+ cp -a icons /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/icons/hicolor
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 2.3.3-22.fc42 --unique-debug-suffix -2.3.3-22.fc42.x86_64 --unique-debug-src-base alt-ergo-2.3.3-22.fc42.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free
find-debuginfo: starting
Extracting debug info from 4 files
DWARF-compressing 4 files
sepdebugcrcfix: Updated 4 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/alt-ergo-2.3.3-22.fc42.x86_64
cpio: sources/_build/default/arg.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/array.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/atomic.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/big_int.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/buffer.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/bytes.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/camlinternalFormat.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/camlinternalLazy.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/camlinternalMod.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/char.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/condition.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/domain.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/filename.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/format.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gBin.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gButton.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gContainer.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gEdit.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gMenu.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gMisc.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gObj.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gPack.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gRange.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gSourceView2.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gText.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gToolbox.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gTree.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gWindow.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gaux.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gdk.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gdkEvent.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/glib.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gobject.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkBase.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkButton.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkMain.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkMenu.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkObject.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkPack.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkPackProps.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkSignal.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkStock.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/gtkThread.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/hashtbl.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/int64.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/int_misc.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/lexing.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/list.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/map.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/mutex.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/nat.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/num.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/printexc.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/printf.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/q.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/queue.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/random.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/ratio.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/scanf.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/seq.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/set.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/assertBounds.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/basic.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/lib/options.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/lib/smtlib_parser.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/lib/smtlib_ty.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/result.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/src/solveBounds.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/stack.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/stdlib.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/str.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/string.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/sys.ml.in: Cannot stat: No such file or directory
cpio: sources/_build/default/thread.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/unix.ml: Cannot stat: No such file or directory
cpio: sources/_build/default/z.ml: Cannot stat: No such file or directory
3732 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
+ /usr/bin/add-determinism --brp -j2 /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.a: replacing with normalized version
/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.a: replacing with normalized version
Scanned 69 directories and 524 files,
               processed 2 inodes,
               2 modified (2 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/alt-ergo-2.3.3-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.jP44lt
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd alt-ergo-2.3.0-free
+ cd sources
+ dune runtest --verbose --release -j2
Shared cache: disabled
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; instrument_with = []
 }
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: alt-ergo-2.3.3-22.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.DTFTSn
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ cd alt-ergo-2.3.0-free
+ DOCDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/README.md /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/CHANGES /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/examples /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: alt-ergo = 2.3.3-22.fc42 alt-ergo(x86-64) = 2.3.3-22.fc42 ocaml(ABWhy3Plugin) = 0a4fe49be48b448806bfa8a12c5d64de ocaml(ABWhy3Plugin__Why3_lexer) = 7c5f01bacf500f864f76e4540839b187 ocaml(ABWhy3Plugin__Why3_loc) = 42766e199fdac2473b2686561b734155 ocaml(ABWhy3Plugin__Why3_parser) = c9d60c2b6164ca2f53c4838cd0106797 ocaml(ABWhy3Plugin__Why3_ptree) = 4fdb46e3301f5374a991c0f8faff9506 ocaml(FmSimplexPlugin) = ab7b14dacd8a3f7fe034d3635e4b2f3b ocaml(FmSimplexPlugin__FmSimplexIneqs) = 1dd9e8240b537694eadb9a63433cb6f6 ocaml(FmSimplexPlugin__Simplex) = bcfa16488c7a50677cb59b3d83107548 ocaml(FmSimplexPlugin__Simplex_cache) = 8df189bc0a4dcfe02d353441d8d59ec9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libz.so.1()(64bit) ocaml(ABWhy3Plugin) = 0a4fe49be48b448806bfa8a12c5d64de ocaml(ABWhy3Plugin__Why3_loc) = 42766e199fdac2473b2686561b734155 ocaml(ABWhy3Plugin__Why3_parser) = c9d60c2b6164ca2f53c4838cd0106797 ocaml(ABWhy3Plugin__Why3_ptree) = 4fdb46e3301f5374a991c0f8faff9506 ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(FmSimplexPlugin) = ab7b14dacd8a3f7fe034d3635e4b2f3b ocaml(FmSimplexPlugin__Simplex) = bcfa16488c7a50677cb59b3d83107548 ocaml(FmSimplexPlugin__Simplex_cache) = 8df189bc0a4dcfe02d353441d8d59ec9 ocaml(MenhirLib) = b1e0b61f4a3c0975b08438635c395d74 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 rtld(GNU_HASH)
Processing files: alt-ergo-gui-2.3.3-22.fc42.x86_64
Provides: alt-ergo-gui = 2.3.3-22.fc42 alt-ergo-gui(x86-64) = 2.3.3-22.fc42 application() application(com.ocamlpro.alt-ergo.desktop) metainfo() metainfo(com.ocamlpro.alt-ergo.metainfo.xml)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgmp.so.10()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libgtksourceview-2.0.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libpango-1.0.so.0()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-2.3.3-22.fc42.x86_64
Provides: ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 16ca9bde43900ed62c9365046feac17d ocaml(AltErgoParsers__Why_lexer) = 56e7bd33f2701266221c46246edf5fc9 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml-alt-ergo-parsers = 2.3.3-22.fc42 ocaml-alt-ergo-parsers(x86-64) = 2.3.3-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Zip) = 7db9db485073f225972b4c461db6b158 rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-22.fc42.x86_64
Provides: ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 16ca9bde43900ed62c9365046feac17d ocaml(AltErgoParsers__Why_lexer) = 56e7bd33f2701266221c46246edf5fc9 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml-alt-ergo-parsers-devel = 2.3.3-22.fc42 ocaml-alt-ergo-parsers-devel(x86-64) = 2.3.3-22.fc42 ocamlx(AltErgoParsers) = 2ad0e352e84dd9b492a37991c5a8d730 ocamlx(AltErgoParsers__MyZip) = c0f736782db306b90737d1b2ce7db99a ocamlx(AltErgoParsers__Parsers) = ce35e2096f646039882f3594786c463d ocamlx(AltErgoParsers__Parsers_loader) = 0be8a20f59a2e3fbab337e776f6ba915 ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = 384e0dd5393e29974a3b3a54e1f0286d ocamlx(AltErgoParsers__Why_lexer) = b274c76fedab0f257920917b456ad508 ocamlx(AltErgoParsers__Why_parser) = bc3cbbf2be6279bfdbedbc59f5146ff6
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Zip) = 7db9db485073f225972b4c461db6b158 ocamlx(Arith_flags) = 76481081a8eeb858b092116d07192ac7 ocamlx(Big_int) = 202998f00d16a975ab8b9ffc9e5fe1f0 ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028 ocamlx(Int_misc) = 5b98042a368f174b9c91a2220a9fe069 ocamlx(Nat) = 088a1060c6a30527a4a694d71b264256 ocamlx(Num) = c0d5d135c16c0f6b3a6edfb254f78193 ocamlx(Psmt2Frontend__Options) = c3eafec6b6c42c369ab043613ca9c57c ocamlx(Psmt2Frontend__Smtlib_error) = 9459a238037db9996cf2c905eaab30cc ocamlx(Psmt2Frontend__Smtlib_lexer) = 918aad13368dcd0824579d51075e00d8 ocamlx(Psmt2Frontend__Smtlib_parser) = a748086fd3f4c2db50b5c9d32f92e017 ocamlx(Psmt2Frontend__Smtlib_ty) = 364c6e5b43152a4b73107a6514f0b570 ocamlx(Psmt2Frontend__Smtlib_typed_env) = a4c7ca9973b012115e4b5d9706cc907f ocamlx(Psmt2Frontend__Smtlib_typing) = 93a1348d0a183fdc87c17954a24bf3ac ocamlx(Ratio) = 2aab8e78a8913be395d053330d444c02 ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Arg) = 5af0ac55008f2a1ec61353126f6f747c ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1 ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0 ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186 ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999 ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b ocamlx(Stdlib__Lexing) = c1a768a943b2d5bd82715a40f3ca91a5 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Parsing) = 111a2fa01bf23d64f78c47367d510918 ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557 ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992 ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0 ocamlx(Zip) = 2f581c61a90a39721da2043a6d56944d
Processing files: ocaml-alt-ergo-lib-2.3.3-22.fc42.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.hHtvld
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ cd alt-ergo-2.3.0-free
+ LICENSEDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LGPL-License.txt /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LICENSE.md /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/License.OCamlPro /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Frontend) = 0aafde0a523592ba57e983fd01d68f42 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Gc_debug) = d26ce4b33dd4752e2f64ae75728b2ed2 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Input) = eaecafa036c9b01fc73fa653b4c886f4 ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__NumsNumbers) = 9171831bc53da3d57f4904d8b5bd179d ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver) = 1b14f20db2359001f2583c93fa260b93 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typechecker) = ef32ffb357349ca4afca667cdb9d9a75 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 4cca2c10929ad29a5f8701e94e44c8c5 ocaml-alt-ergo-lib = 2.3.3-22.fc42 ocaml-alt-ergo-lib(x86-64) = 2.3.3-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 4cca2c10929ad29a5f8701e94e44c8c5 ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228 ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827 ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca ocaml(Str) = dae36249353ed938af10fa5eb52188c6 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-lib-devel-2.3.3-22.fc42.x86_64
Provides: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Frontend) = 0aafde0a523592ba57e983fd01d68f42 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Gc_debug) = d26ce4b33dd4752e2f64ae75728b2ed2 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Input) = eaecafa036c9b01fc73fa653b4c886f4 ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumsNumbers) = 9171831bc53da3d57f4904d8b5bd179d ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver) = 1b14f20db2359001f2583c93fa260b93 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typechecker) = ef32ffb357349ca4afca667cdb9d9a75 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 4cca2c10929ad29a5f8701e94e44c8c5 ocaml-alt-ergo-lib-devel = 2.3.3-22.fc42 ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-22.fc42 ocamlx(AltErgoLib) = 8ae4bab4bfd2944618a53ec6c54651fb ocamlx(AltErgoLib__Ac) = 4713cbfb909e1faad17e3ebe3a4f6af2 ocamlx(AltErgoLib__Adt) = b0b712cecb107995249b104a2b0f042b ocamlx(AltErgoLib__Adt_rel) = 677c841c58ad41581c830aba54f1279e ocamlx(AltErgoLib__Arith) = 6ece13a29155329ebf5d338b907139d6 ocamlx(AltErgoLib__Arrays) = b6a9be34034038626a2358cbd453e7e0 ocamlx(AltErgoLib__Arrays_rel) = 7e9fcabcb0ed45dc98561280634dd6b4 ocamlx(AltErgoLib__Bitv) = e89c8734903f34e804c011c2e6c1b705 ocamlx(AltErgoLib__Bitv_rel) = 1130cb1f5883ba3a1626978c331711eb ocamlx(AltErgoLib__Ccx) = 400af08665dbda413585e4951ac401c2 ocamlx(AltErgoLib__Cnf) = eb11b404bbe9a7aa006700ff9b987fc1 ocamlx(AltErgoLib__Commands) = d14f54d96ac9033ac361294ac869b4e4 ocamlx(AltErgoLib__Config) = 1363d3450271c3084b125e898e146344 ocamlx(AltErgoLib__Emap) = 667fd303ea7b2e008e23eeb4e1b52bc1 ocamlx(AltErgoLib__Enum) = af6d67cf3445dcb37f6eec7e9d080f7c ocamlx(AltErgoLib__Enum_rel) = c737dcc5ffe678860c78df49a60e823c ocamlx(AltErgoLib__Errors) = 9d31c21d1ee062e81d26237d4b13124a ocamlx(AltErgoLib__Explanation) = e63c305821afc640405dabd5b3e7490f ocamlx(AltErgoLib__Expr) = b202b58106f0f386dec52f2b3a24a748 ocamlx(AltErgoLib__Fpa_rounding) = 75bb2ab63b800fb74bd2d27b22eb5139 ocamlx(AltErgoLib__Frontend) = ea132618921c75b6ba857ba5a7150f6e ocamlx(AltErgoLib__Fun_sat) = eefde9f29fedb3353b25a0e1971de859 ocamlx(AltErgoLib__Gc_debug) = 7f21355711ff952d030dcfe25314d897 ocamlx(AltErgoLib__Hconsing) = 94678ef011df3c9a35d7abac4b7a5712 ocamlx(AltErgoLib__Hstring) = d08786f021c925d9a71346f88c8047b6 ocamlx(AltErgoLib__Iheap) = fbe1d175e62716693ee210c8eac66b8f ocamlx(AltErgoLib__Inequalities) = c22b50cc001cff91dbd985046950be39 ocamlx(AltErgoLib__Input) = 082c0d76092ea2d2cd23fcc63d52e684 ocamlx(AltErgoLib__Instances) = 32c41e236a06bdb94897362436e59d66 ocamlx(AltErgoLib__IntervalCalculus) = d33f698bd7f3b514f4b9d16ee5f077eb ocamlx(AltErgoLib__Intervals) = 131c7e0a32d0ab7455331e4c6d69de87 ocamlx(AltErgoLib__Ite) = 7a90deb52d1e76ee83362d1dfe5ab09a ocamlx(AltErgoLib__Ite_rel) = 1935e9f8755c0447bc9168eb5b66952d ocamlx(AltErgoLib__Lists) = 9f1ea5d6dcb2d8e1bf9d575985bfd166 ocamlx(AltErgoLib__Loc) = 56c3f14f368999a450d1fc38adee1e07 ocamlx(AltErgoLib__Matching) = 184b46b167fe626eba69338f1850a43f ocamlx(AltErgoLib__MyDynlink) = 6af03ed7d2902c6eeafe384f1849c5cd ocamlx(AltErgoLib__MyUnix) = d71ec02262fac79eddba3eb521e6df2a ocamlx(AltErgoLib__Numbers) = 4475595c56d3e044dcdde9b267efe80d ocamlx(AltErgoLib__NumsNumbers) = fd948f9b5ebea35b44ab48d395047927 ocamlx(AltErgoLib__Options) = e1af9089a690f36532dddc761afd543c ocamlx(AltErgoLib__Parsed) = c9eff168edd4116281f7b71e0733cff3 ocamlx(AltErgoLib__Parsed_interface) = 980c3d5ba8c49df2e27376ae4a9b6a48 ocamlx(AltErgoLib__Polynome) = 5e9c62909f43998e97532c9df4b6a4c7 ocamlx(AltErgoLib__Profiling) = 364ebfdb4360612947f256c09282e128 ocamlx(AltErgoLib__Records) = 47e0e33c2ea8c968fea4afe2722165cc ocamlx(AltErgoLib__Records_rel) = 8e9ffff372d83ab1c0286b83ce8269d3 ocamlx(AltErgoLib__Relation) = e101c87af0a7a5754307d96320e64b58 ocamlx(AltErgoLib__Sat_solver) = 0e6fef0780b1b29865befdc935b655d9 ocamlx(AltErgoLib__Sat_solver_sig) = 9b112998df916fcbac23dcc24d8c8189 ocamlx(AltErgoLib__Satml) = 07476beade867b1af6d2e10e41ef1d5c ocamlx(AltErgoLib__Satml_frontend) = 54d59eeafe09d00c09a87e3bf122e686 ocamlx(AltErgoLib__Satml_frontend_hybrid) = 1316564e6ece6261ff09a08ef757b6d5 ocamlx(AltErgoLib__Satml_types) = fd46ddd91ff99dcac7e54ccf32d5cd0d ocamlx(AltErgoLib__Shostak) = ee4abb84038c16755a18e602c6614ddb ocamlx(AltErgoLib__Symbols) = d4e52af31051aee77929ecf32242c772 ocamlx(AltErgoLib__Th_util) = fa85b14e7757c7ef423ff0e21df9123a ocamlx(AltErgoLib__Theory) = 83a15865c20f022e9ee8dc8cf64b6d29 ocamlx(AltErgoLib__Timers) = fe6839cb50e2b264f54dcf8a5f586e04 ocamlx(AltErgoLib__Ty) = 8be2527ec078d3025af7540af733c13b ocamlx(AltErgoLib__Typechecker) = 2604bb0a3818bb3cfa87bceeb1ebf7f9 ocamlx(AltErgoLib__Typed) = 7d08251ab0a6b29a34a256d58124db31 ocamlx(AltErgoLib__Uf) = 9ea9f463de142cda17d0c3eb210dc614 ocamlx(AltErgoLib__Use) = dddf2b58fb546d576a8066e71ae21c79 ocamlx(AltErgoLib__Util) = 4d764ff69d94be3f98bfeea6ef059587 ocamlx(AltErgoLib__Var) = 7a54e0a764d0809beea951f53d0c4372 ocamlx(AltErgoLib__Vec) = ef8d836514de28bc7dd9ae3c0966f168 ocamlx(AltErgoLib__Version) = 8ed7bb029defc881629f33c127edd508 ocamlx(AltErgoLib__Xliteral) = c3b2349ea76ab0e5024a92f9155f22fb ocamlx(AltErgoLib__ZarithNumbers) = 8b617e3edd89c5d79c55f344e2ea102e
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 4cca2c10929ad29a5f8701e94e44c8c5 ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228 ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827 ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca ocaml(Str) = dae36249353ed938af10fa5eb52188c6 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 ocamlx(Arith_flags) = 76481081a8eeb858b092116d07192ac7 ocamlx(Big_int) = 202998f00d16a975ab8b9ffc9e5fe1f0 ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028 ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50 ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0 ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3 ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7 ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2 ocamlx(Nat) = 088a1060c6a30527a4a694d71b264256 ocamlx(Num) = c0d5d135c16c0f6b3a6edfb254f78193 ocamlx(OcplibSimplex) = 93c55a1d8508bb3d64c7fcf906e23784 ocamlx(Q) = 1af22509096e7b7d36c73dbb98ae8ebe ocamlx(Ratio) = 2aab8e78a8913be395d053330d444c02 ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Arg) = 5af0ac55008f2a1ec61353126f6f747c ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1 ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0 ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186 ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757 ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999 ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4 ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90 ocamlx(Stdlib__Lexing) = c1a768a943b2d5bd82715a40f3ca91a5 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542 ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96 ocamlx(Stdlib__Parsing) = 111a2fa01bf23d64f78c47367d510918 ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3 ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5 ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557 ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789 ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4 ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0 ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992 ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0 ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14 ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907 ocamlx(Z) = 824b141da65e7a4a8263069b6f02d10f
Processing files: alt-ergo-debugsource-2.3.3-22.fc42.x86_64
Provides: alt-ergo-debugsource = 2.3.3-22.fc42 alt-ergo-debugsource(x86-64) = 2.3.3-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: alt-ergo-debuginfo-2.3.3-22.fc42.x86_64
Provides: alt-ergo-debuginfo = 2.3.3-22.fc42 alt-ergo-debuginfo(x86-64) = 2.3.3-22.fc42 debuginfo(build-id) = b0333dbb053f348130fa9dbd3ceedd8ede99a0b2
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-22.fc42
Processing files: alt-ergo-gui-debuginfo-2.3.3-22.fc42.x86_64
Provides: alt-ergo-gui-debuginfo = 2.3.3-22.fc42 alt-ergo-gui-debuginfo(x86-64) = 2.3.3-22.fc42 debuginfo(build-id) = 732f3eea074d894d6fc8f964ec15ada65ca0db84
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-22.fc42
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-22.fc42.x86_64
Provides: debuginfo(build-id) = ad9bbbd008a2f9166e4f07c71a464f6fa47566ca ocaml-alt-ergo-parsers-debuginfo = 2.3.3-22.fc42 ocaml-alt-ergo-parsers-debuginfo(x86-64) = 2.3.3-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-22.fc42
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-22.fc42.x86_64
Provides: debuginfo(build-id) = d4998830f045cf2f7ccdb19f20c737152cd4490c ocaml-alt-ergo-lib-debuginfo = 2.3.3-22.fc42 ocaml-alt-ergo-lib-debuginfo(x86-64) = 2.3.3-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-22.fc42
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-22.fc42.x86_64.rpm
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.VZnSY7
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ test -d /builddir/build/BUILD/alt-ergo-2.3.3-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/alt-ergo-2.3.3-build
+ rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build
+ RPM_EC=0
++ jobs -p
+ exit 0
Finish: rpmbuild alt-ergo-2.3.3-22.fc42.src.rpm
Finish: build phase for alt-ergo-2.3.3-22.fc42.src.rpm
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-rawhide-x86_64-1727272719.696636/root/var/log/dnf5.log
INFO: Done(/var/lib/copr-rpmbuild/results/alt-ergo-2.3.3-22.fc42.src.rpm) Config(child) 1 minutes 22 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": "alt-ergo-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-alt-ergo-lib-devel",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-alt-ergo-parsers-devel",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "alt-ergo-gui",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "alt-ergo-gui-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-alt-ergo-parsers-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-alt-ergo-parsers",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-alt-ergo-lib",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "alt-ergo",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "alt-ergo",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "src"
        },
        {
            "name": "ocaml-alt-ergo-lib-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "alt-ergo-debugsource",
            "epoch": null,
            "version": "2.3.3",
            "release": "22.fc42",
            "arch": "x86_64"
        }
    ]
}
RPMResults finished