Warning: Permanently added '3.95.246.229' (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/10756076-fedora-43-riscv64 --chroot fedora-43-riscv64


Version: 1.8
PID: 10372
Logging PID: 10374
Task:
{'allow_user_ssh': False,
 'appstream': False,
 'background': False,
 'build_id': 10756076,
 'buildroot_pkgs': [],
 'chroot': 'fedora-43-riscv64',
 'enable_net': False,
 'fedora_review': False,
 'git_hash': 'c2a288a53363cb0914c9d0b9e1480708baea0282',
 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/beiyu/riscv64-repair-test/alt-ergo',
 'isolation': 'default',
 'memory_reqs': 2048,
 'package_name': 'alt-ergo',
 'package_version': '2.3.3-28',
 'project_dirname': 'riscv64-repair-test',
 'project_name': 'riscv64-repair-test',
 'project_owner': 'beiyu',
 'repo_priority': None,
 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/beiyu/riscv64-repair-test/fedora-43-riscv64/',
            'id': 'copr_base',
            'name': 'Copr repository',
            'priority': None}],
 'sandbox': 'beiyu/riscv64-repair-test--beiyu',
 'source_json': {},
 'source_type': None,
 'ssh_public_keys': None,
 'storage': 1,
 'submitter': 'beiyu',
 'tags': [],
 'task_id': '10756076-fedora-43-riscv64',
 'timeout': 18000,
 'uses_devel_repo': False,
 'with_opts': [],
 'without_opts': []}

Running: git clone https://copr-dist-git.fedorainfracloud.org/git/beiyu/riscv64-repair-test/alt-ergo /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo --depth 500 --no-single-branch --recursive

cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/beiyu/riscv64-repair-test/alt-ergo', '/var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo'...

Running: git checkout c2a288a53363cb0914c9d0b9e1480708baea0282 --

cmd: ['git', 'checkout', 'c2a288a53363cb0914c9d0b9e1480708baea0282', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo
rc: 0
stdout: 
stderr: Note: switching to 'c2a288a53363cb0914c9d0b9e1480708baea0282'.

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

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/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: -H 'Accept-Encoding: identity' -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/beiyu/riscv64-repair-test/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  2.34M 100  2.34M   0      0 22.39M      0                              0
INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.0.tar.gz
INFO: Downloading alt-ergo-free-2.3.3.tar.gz
INFO: Calling: curl -H Pragma: -H 'Accept-Encoding: identity' -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/beiyu/riscv64-repair-test/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 388.2k 100 388.2k   0      0  9.82M      0                              0
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: -H 'Accept-Encoding: identity' -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/beiyu/riscv64-repair-test/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
tail: /var/lib/copr-rpmbuild/main.log: file truncated
100  62276 100  62276   0      0  2.33M      0                              0
INFO: Reading stdout from command: md5sum alt-ergo-icons.tar.xz

Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1784604925.972895 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
INFO: Unable to build arch riscv64 natively on arch x86_64. Setting forcearch to use software emulation.
INFO: mock.py version 6.7 starting (python version = 3.14.5, NVR = mock-6.7-1.fc44), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1784604925.972895 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
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-3ome32xy/alt-ergo/alt-ergo.spec)  Config(fedora-43-riscv64)
Start: clean chroot
Finish: clean chroot
Mock Version: 6.7
INFO: Mock Version: 6.7
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-43-riscv64-1784604925.972895/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 (fallback)
INFO: Buildroot is handled by package management from host and used with --installroot:
  rpm-6.0.1-2.fc44.x86_64
  rpm-sequoia-1.10.2-2.fc44.x86_64
  python3-dnf-4.24.0-3.fc44.noarch
  python3-dnf-plugins-core-4.10.1-9.fc44.noarch
  dnf5-5.4.2.1-1.fc44.x86_64
  dnf5-plugins-5.4.2.1-1.fc44.x86_64
Start: installing minimal buildroot with dnf5
Updating and loading repositories:
 fedora                                 100% |  11.0 MiB/s |  14.3 MiB |  00m01s
 Copr repository                        100% |  48.4 KiB/s | 135.1 KiB |  00m03s
Repositories loaded.
Package                            Arch    Version                       Repository      Size
Installing group/module packages:
 bash                              riscv64 0:5.3.0-2.fc43                fedora       8.2 MiB
 bzip2                             riscv64 0:1.0.8-21.rvre0.fc43         fedora      86.9 KiB
 coreutils                         riscv64 0:9.7-8.fc43                  fedora       6.0 MiB
 cpio                              riscv64 0:2.15-6.fc43                 fedora       1.1 MiB
 diffutils                         riscv64 0:3.12-3.fc43                 fedora       1.6 MiB
 fedora-release-common             noarch  0:43-25                       fedora      20.6 KiB
 findutils                         riscv64 1:4.10.0-6.fc43               fedora       1.9 MiB
 gawk                              riscv64 0:5.3.2-2.fc43                fedora       1.7 MiB
 glibc-minimal-langpack            riscv64 0:2.42-10.fc43                fedora       0.0   B
 grep                              riscv64 0:3.12-2.fc43                 fedora       1.0 MiB
 gzip                              riscv64 0:1.13-4.fc43                 fedora     384.9 KiB
 info                              riscv64 0:7.2-7.fc43                  fedora     358.5 KiB
 patch                             riscv64 0:2.8-2.fc43                  fedora     227.8 KiB
 redhat-rpm-config                 noarch  0:343-15.2.riscv64.fc43       fedora     182.9 KiB
 rpm-build                         riscv64 0:6.0.1-1.fc43                fedora     269.7 KiB
 sed                               riscv64 0:4.9-5.fc43                  fedora     858.0 KiB
 shadow-utils                      riscv64 2:4.18.0-3.fc43               fedora       4.3 MiB
 tar                               riscv64 2:1.35-6.fc43                 fedora       3.0 MiB
 unzip                             riscv64 0:6.0-67.fc43                 fedora     366.6 KiB
 util-linux                        riscv64 0:2.41.3-7.fc43               fedora       5.9 MiB
 which                             riscv64 0:2.23-3.fc43                 fedora      83.4 KiB
 xz                                riscv64 1:5.8.1-4.rvre0.fc43          fedora       1.3 MiB
Installing dependencies:
 add-determinism                   riscv64 0:0.6.0-3.fc43                fedora       2.1 MiB
 alternatives                      riscv64 0:1.33-3.fc43                 fedora      58.0 KiB
 ansible-srpm-macros               noarch  0:1-18.1.fc43                 fedora      35.7 KiB
 audit-libs                        riscv64 0:4.1.3-1.fc43                fedora     370.8 KiB
 binutils                          riscv64 0:2.45.1-4.rvre0.fc43         fedora      27.1 MiB
 build-reproducibility-srpm-macros noarch  0:0.6.0-3.fc43                fedora     735.0   B
 bzip2-libs                        riscv64 0:1.0.8-21.rvre0.fc43         fedora      72.3 KiB
 ca-certificates                   noarch  0:2025.2.80_v9.0.304-1.2.fc43 fedora       2.7 MiB
 coreutils-common                  riscv64 0:9.7-8.fc43                  fedora      11.3 MiB
 crypto-policies                   noarch  0:20251125-1.git63291f8.fc43  fedora     147.1 KiB
 curl                              riscv64 0:8.15.0-5.fc43               fedora     486.2 KiB
 cyrus-sasl-lib                    riscv64 0:2.1.28-33.fc43              fedora       2.1 MiB
 debugedit                         riscv64 0:5.2-4.0.riscv64.fc43        fedora     218.3 KiB
 dwz                               riscv64 0:0.16-2.fc43                 fedora     290.5 KiB
 ed                                riscv64 0:1.22.2-1.fc43               fedora     148.4 KiB
 efi-srpm-macros                   noarch  0:6-4.fc43                    fedora      40.1 KiB
 elfutils                          riscv64 0:0.194-1.fc43                fedora       2.9 MiB
 elfutils-debuginfod-client        riscv64 0:0.194-1.fc43                fedora      71.5 KiB
 elfutils-default-yama-scope       noarch  0:0.194-1.fc43                fedora       1.8 KiB
 elfutils-libelf                   riscv64 0:0.194-1.fc43                fedora       1.1 MiB
 elfutils-libs                     riscv64 0:0.194-1.fc43                fedora     752.0 KiB
 fedora-gpg-keys                   noarch  0:43-1.0.riscv64              fedora     131.2 KiB
 fedora-release                    noarch  0:43-25                       fedora       0.0   B
 fedora-release-identity-basic     noarch  0:43-25                       fedora     631.0   B
 fedora-repos                      noarch  0:43-1.0.riscv64              fedora       6.1 KiB
 file                              riscv64 0:5.46-8.rvre0.fc43           fedora     100.0 KiB
 file-libs                         riscv64 0:5.46-8.rvre0.fc43           fedora      11.9 MiB
 filesystem                        riscv64 0:3.18-51.rvre0.fc43          fedora     113.0   B
 filesystem-srpm-macros            noarch  0:3.18-51.rvre0.fc43          fedora      38.2 KiB
 fonts-srpm-macros                 noarch  1:2.0.5-23.fc43               fedora      55.8 KiB
 forge-srpm-macros                 noarch  0:0.4.0-3.fc43                fedora      38.9 KiB
 fpc-srpm-macros                   noarch  0:1.3-15.fc43                 fedora     144.0   B
 gap-srpm-macros                   noarch  0:2-1.fc43                    fedora       2.1 KiB
 gdb-minimal                       riscv64 0:17.1-4.fc43                 fedora      14.2 MiB
 gdbm-libs                         riscv64 1:1.23-10.fc43                fedora     117.3 KiB
 ghc-srpm-macros                   noarch  0:1.9.2-3.fc43                fedora     779.0   B
 glibc                             riscv64 0:2.42-10.fc43                fedora       4.6 MiB
 glibc-common                      riscv64 0:2.42-10.fc43                fedora       1.0 MiB
 glibc-gconv-extra                 riscv64 0:2.42-10.fc43                fedora       6.0 MiB
 gmp                               riscv64 1:6.3.0-4.rvre0.fc43          fedora     585.6 KiB
 gnat-srpm-macros                  noarch  0:7-1.fc43                    fedora       1.0 KiB
 gnulib-l10n                       noarch  0:20241231-1.fc43             fedora     655.0 KiB
 gnupg2                            riscv64 0:2.4.9-5.fc43                fedora       6.5 MiB
 gnupg2-dirmngr                    riscv64 0:2.4.9-5.fc43                fedora     812.9 KiB
 gnupg2-gpg-agent                  riscv64 0:2.4.9-5.fc43                fedora     947.6 KiB
 gnupg2-gpgconf                    riscv64 0:2.4.9-5.fc43                fedora     342.4 KiB
 gnupg2-keyboxd                    riscv64 0:2.4.9-5.fc43                fedora     305.5 KiB
 gnupg2-verify                     riscv64 0:2.4.9-5.fc43                fedora     553.5 KiB
 gnutls                            riscv64 0:3.8.12-1.fc43               fedora       3.4 MiB
 go-srpm-macros                    noarch  0:3.8.0-1.fc43                fedora      61.9 KiB
 gpgverify                         noarch  0:2.2-3.fc43                  fedora       8.7 KiB
 ima-evm-utils-libs                riscv64 0:1.6.2-6.fc43                fedora      56.4 KiB
 jansson                           riscv64 0:2.14-3.fc43                 fedora      81.0 KiB
 java-srpm-macros                  noarch  0:1-7.fc43                    fedora     870.0   B
 json-c                            riscv64 0:0.18-7.fc43                 fedora      78.3 KiB
 kernel-srpm-macros                noarch  0:1.0-27.fc43                 fedora       1.9 KiB
 keyutils-libs                     riscv64 0:1.6.3-6.fc43                fedora      54.0 KiB
 krb5-libs                         riscv64 0:1.22.2-2.fc43               fedora       2.3 MiB
 libacl                            riscv64 0:2.3.2-4.fc43                fedora      35.8 KiB
 libarchive                        riscv64 0:3.8.4-1.fc43                fedora     846.9 KiB
 libassuan                         riscv64 0:2.5.7-4.fc43                fedora     159.8 KiB
 libattr                           riscv64 0:2.5.2-6.fc43                fedora      20.1 KiB
 libblkid                          riscv64 0:2.41.3-7.fc43               fedora     422.9 KiB
 libbrotli                         riscv64 0:1.2.0-1.fc43                fedora     889.0 KiB
 libcap                            riscv64 0:2.76-3.rvre0.fc43           fedora     203.1 KiB
 libcap-ng                         riscv64 0:0.9.1-1.fc43                fedora      64.4 KiB
 libcom_err                        riscv64 0:1.47.3-2.rvre0.fc43         fedora      58.8 KiB
 libcurl                           riscv64 0:8.15.0-5.fc43               fedora     843.0 KiB
 libeconf                          riscv64 0:0.7.9-2.fc43                fedora      61.1 KiB
 libevent                          riscv64 0:2.1.12-16.fc43              fedora     829.4 KiB
 libfdisk                          riscv64 0:2.41.3-7.fc43               fedora     535.1 KiB
 libffi                            riscv64 0:3.5.2-1.fc43                fedora      59.4 KiB
 libfsverity                       riscv64 0:1.6-3.fc43                  fedora      24.3 KiB
 libgcc                            riscv64 0:15.2.1-7.fc43               fedora     210.2 KiB
 libgcrypt                         riscv64 0:1.11.1-3.0.riscv64.fc43     fedora       1.2 MiB
 libgomp                           riscv64 0:15.2.1-7.fc43               fedora     460.8 KiB
 libgpg-error                      riscv64 0:1.55-2.fc43                 fedora     907.4 KiB
 libidn2                           riscv64 0:2.3.8-2.fc43                fedora     585.2 KiB
 libksba                           riscv64 0:1.6.7-4.fc43                fedora     395.0 KiB
 liblastlog2                       riscv64 0:2.41.3-7.fc43               fedora      37.3 KiB
 libmount                          riscv64 0:2.41.3-7.fc43               fedora     500.7 KiB
 libnghttp2                        riscv64 0:1.66.0-2.fc43               fedora     175.6 KiB
 libpkgconf                        riscv64 0:2.3.0-3.fc43                fedora      77.7 KiB
 libpsl                            riscv64 0:0.21.5-6.fc43               fedora      76.2 KiB
 libselinux                        riscv64 0:3.9-5.fc43                  fedora     188.9 KiB
 libsemanage                       riscv64 0:3.9-4.rvre0.fc43            fedora     301.0 KiB
 libsepol                          riscv64 0:3.9-2.rvre0.fc43            fedora     774.5 KiB
 libsmartcols                      riscv64 0:2.41.3-7.fc43               fedora     329.7 KiB
 libssh                            riscv64 0:0.11.4-1.fc43               fedora     546.0 KiB
 libssh-config                     noarch  0:0.11.4-1.fc43               fedora     277.0   B
 libstdc++                         riscv64 0:15.2.1-7.fc43               fedora       2.4 MiB
 libtasn1                          riscv64 0:4.20.0-2.fc43               fedora     172.4 KiB
 libtool-ltdl                      riscv64 0:2.5.4-8.fc43                fedora      65.6 KiB
 libunistring                      riscv64 0:1.1-10.fc43                 fedora       1.7 MiB
 libusb1                           riscv64 0:1.0.29-4.fc43               fedora     162.6 KiB
 libuuid                           riscv64 0:2.41.3-7.fc43               fedora      37.2 KiB
 libverto                          riscv64 0:0.3.2-11.fc43               fedora      29.1 KiB
 libxcrypt                         riscv64 0:4.5.2-1.rvre0.fc43          fedora     313.2 KiB
 libxml2                           riscv64 0:2.12.10-5.rvre1.fc43        fedora       1.6 MiB
 libzstd                           riscv64 0:1.5.7-2.rvre0.fc43          fedora     889.8 KiB
 lua-libs                          riscv64 0:5.4.8-4.rvre0.fc43          fedora     266.2 KiB
 lua-srpm-macros                   noarch  0:1-16.fc43                   fedora       1.3 KiB
 lz4-libs                          riscv64 0:1.10.0-3.rvre0.fc43         fedora     193.5 KiB
 mpfr                              riscv64 0:4.2.2-2.fc43                fedora     539.5 KiB
 ncurses-base                      noarch  0:6.5-7.20250614.rvre0.fc43   fedora     328.1 KiB
 ncurses-libs                      riscv64 0:6.5-7.20250614.rvre0.fc43   fedora     911.4 KiB
 nettle                            riscv64 0:3.10.1-2.fc43               fedora     748.2 KiB
 npth                              riscv64 0:1.8-3.fc43                  fedora      49.2 KiB
 ocaml-srpm-macros                 noarch  0:11-2.fc43                   fedora       1.9 KiB
 openblas-srpm-macros              noarch  0:2-20.fc43                   fedora     112.0   B
 openldap                          riscv64 0:2.6.10-4.fc43               fedora     589.1 KiB
 openssl-libs                      riscv64 1:3.5.4-2.fc43                fedora       7.0 MiB
 p11-kit                           riscv64 0:0.26.2-1.fc43               fedora       2.7 MiB
 p11-kit-trust                     riscv64 0:0.26.2-1.fc43               fedora     600.5 KiB
 package-notes-srpm-macros         noarch  0:0.5-15.fc43                 fedora       1.6 KiB
 pam-libs                          riscv64 0:1.7.1-4.fc43                fedora     114.2 KiB
 pcre2                             riscv64 0:10.47-1.rvre0.fc43          fedora     621.9 KiB
 pcre2-syntax                      noarch  0:10.47-1.rvre0.fc43          fedora     281.9 KiB
 perl-srpm-macros                  noarch  0:1-60.fc43                   fedora     861.0   B
 pkgconf                           riscv64 0:2.3.0-3.fc43                fedora      88.3 KiB
 pkgconf-m4                        noarch  0:2.3.0-3.fc43                fedora      14.4 KiB
 pkgconf-pkg-config                riscv64 0:2.3.0-3.fc43                fedora     990.0   B
 popt                              riscv64 0:1.19-9.rvre0.fc43           fedora     128.5 KiB
 publicsuffix-list-dafsa           noarch  0:20260116-1.fc43             fedora      70.4 KiB
 pyproject-srpm-macros             noarch  0:1.18.6-1.fc43               fedora       1.9 KiB
 python-srpm-macros                noarch  0:3.14-5.fc43                 fedora      51.5 KiB
 qt5-srpm-macros                   noarch  0:5.15.18-1.fc43              fedora     500.0   B
 qt6-srpm-macros                   noarch  0:6.10.2-1.fc43               fedora     472.0   B
 readline                          riscv64 0:8.3-2.rvre0.fc43            fedora     491.1 KiB
 rpm                               riscv64 0:6.0.1-1.fc43                fedora       3.1 MiB
 rpm-build-libs                    riscv64 0:6.0.1-1.fc43                fedora     227.9 KiB
 rpm-libs                          riscv64 0:6.0.1-1.fc43                fedora     887.2 KiB
 rpm-sequoia                       riscv64 0:1.10.1-1.fc43               fedora       2.3 MiB
 rpm-sign-libs                     riscv64 0:6.0.1-1.fc43                fedora      31.5 KiB
 rust-srpm-macros                  noarch  0:28.4-1.fc43                 fedora       5.5 KiB
 setup                             noarch  0:2.15.0-26.fc43              fedora     725.0 KiB
 sqlite-libs                       riscv64 0:3.50.2-2.fc43               fedora       1.3 MiB
 systemd-libs                      riscv64 0:258.7-1.fc43                fedora       8.4 MiB
 systemd-standalone-sysusers       riscv64 0:258.7-1.fc43                fedora       2.1 MiB
 tpm2-tss                          riscv64 0:4.1.3-8.fc43                fedora       1.8 MiB
 tree-sitter-srpm-macros           noarch  0:0.4.2-1.fc43                fedora       8.3 KiB
 util-linux-core                   riscv64 0:2.41.3-7.fc43               fedora       2.4 MiB
 xxhash-libs                       riscv64 0:0.8.3-3.fc43                fedora      85.7 KiB
 xz-libs                           riscv64 1:5.8.1-4.rvre0.fc43          fedora     185.5 KiB
 zig-srpm-macros                   noarch  0:1-5.fc43                    fedora       1.1 KiB
 zip                               riscv64 0:3.0-44.fc43                 fedora     792.8 KiB
 zlib-ng-compat                    riscv64 0:2.3.2-3.0.riscv64.fc43      fedora     117.2 KiB
 zstd                              riscv64 0:1.5.7-2.rvre0.fc43          fedora       2.0 MiB
Installing groups:
 Buildsystem building group                                                                  

Transaction Summary:
 Installing:       170 packages

Total size of inbound packages is 62 MiB. Need to download 62 MiB.
After this operation, 207 MiB extra will be used (install 207 MiB, remove 0 B).
[  1/170] bzip2-0:1.0.8-21.rvre0.fc43.r 100% | 738.4 KiB/s |  52.4 KiB |  00m00s
[  2/170] coreutils-0:9.7-8.fc43.riscv6 100% |   9.7 MiB/s |   1.3 MiB |  00m00s
[  3/170] cpio-0:2.15-6.fc43.riscv64    100% |   2.6 MiB/s | 295.8 KiB |  00m00s
[  4/170] bash-0:5.3.0-2.fc43.riscv64   100% |   9.5 MiB/s |   1.8 MiB |  00m00s
[  5/170] diffutils-0:3.12-3.fc43.riscv 100% |   6.2 MiB/s | 396.7 KiB |  00m00s
[  6/170] fedora-release-common-0:43-25 100% |   1.6 MiB/s |  24.6 KiB |  00m00s
[  7/170] findutils-1:4.10.0-6.fc43.ris 100% |  30.4 MiB/s | 560.1 KiB |  00m00s
[  8/170] gawk-0:5.3.2-2.fc43.riscv64   100% |  51.2 MiB/s |   1.1 MiB |  00m00s
[  9/170] glibc-minimal-langpack-0:2.42 100% |   2.5 MiB/s |  41.4 KiB |  00m00s
[ 10/170] grep-0:3.12-2.fc43.riscv64    100% |  18.1 MiB/s | 296.6 KiB |  00m00s
[ 11/170] gzip-0:1.13-4.fc43.riscv64    100% |  10.2 MiB/s | 166.7 KiB |  00m00s
[ 12/170] info-0:7.2-7.fc43.riscv64     100% |  10.3 MiB/s | 189.4 KiB |  00m00s
[ 13/170] patch-0:2.8-2.fc43.riscv64    100% |   7.4 MiB/s | 121.1 KiB |  00m00s
[ 14/170] redhat-rpm-config-0:343-15.2. 100% |   4.6 MiB/s |  71.2 KiB |  00m00s
[ 15/170] rpm-build-0:6.0.1-1.fc43.risc 100% |   7.5 MiB/s | 130.4 KiB |  00m00s
[ 16/170] sed-0:4.9-5.fc43.riscv64      100% |  18.1 MiB/s | 315.1 KiB |  00m00s
[ 17/170] shadow-utils-2:4.18.0-3.fc43. 100% |  58.7 MiB/s |   1.3 MiB |  00m00s
[ 18/170] tar-2:1.35-6.fc43.riscv64     100% |  44.7 MiB/s | 870.5 KiB |  00m00s
[ 19/170] unzip-0:6.0-67.fc43.riscv64   100% |  10.5 MiB/s | 182.0 KiB |  00m00s
[ 20/170] which-0:2.23-3.fc43.riscv64   100% |   2.4 MiB/s |  42.1 KiB |  00m00s
[ 21/170] util-linux-0:2.41.3-7.fc43.ri 100% |  63.7 MiB/s |   1.5 MiB |  00m00s
[ 22/170] xz-1:5.8.1-4.rvre0.fc43.riscv 100% |  30.4 MiB/s | 559.9 KiB |  00m00s
[ 23/170] filesystem-0:3.18-51.rvre0.fc 100% |  57.3 MiB/s |   1.3 MiB |  00m00s
[ 24/170] ncurses-libs-0:6.5-7.20250614 100% |  18.1 MiB/s | 351.2 KiB |  00m00s
[ 25/170] glibc-0:2.42-10.fc43.riscv64  100% |  64.6 MiB/s |   1.8 MiB |  00m00s
[ 26/170] bzip2-libs-0:1.0.8-21.rvre0.f 100% |   2.9 MiB/s |  43.9 KiB |  00m00s
[ 27/170] gmp-1:6.3.0-4.rvre0.fc43.risc 100% |  15.1 MiB/s | 294.4 KiB |  00m00s
[ 28/170] coreutils-common-0:9.7-8.fc43 100% |  69.2 MiB/s |   2.1 MiB |  00m00s
[ 29/170] libacl-0:2.3.2-4.fc43.riscv64 100% |   1.5 MiB/s |  25.9 KiB |  00m00s
[ 30/170] libattr-0:2.5.2-6.fc43.riscv6 100% |   1.2 MiB/s |  17.9 KiB |  00m00s
[ 31/170] libselinux-0:3.9-5.fc43.riscv 100% |   6.8 MiB/s | 104.4 KiB |  00m00s
[ 32/170] libcap-0:2.76-3.rvre0.fc43.ri 100% |   5.5 MiB/s |  89.3 KiB |  00m00s
[ 33/170] fedora-repos-0:43-1.0.riscv64 100% | 577.9 KiB/s |   9.8 KiB |  00m00s
[ 34/170] openssl-libs-1:3.5.4-2.fc43.r 100% |  88.6 MiB/s |   2.4 MiB |  00m00s
[ 35/170] systemd-libs-0:258.7-1.fc43.r 100% |  72.9 MiB/s |   2.3 MiB |  00m00s
[ 36/170] mpfr-0:4.2.2-2.fc43.riscv64   100% |  17.3 MiB/s | 283.1 KiB |  00m00s
[ 37/170] readline-0:8.3-2.rvre0.fc43.r 100% |  13.2 MiB/s | 229.0 KiB |  00m00s
[ 38/170] glibc-common-0:2.42-10.fc43.r 100% |  20.2 MiB/s | 330.8 KiB |  00m00s
[ 39/170] pcre2-0:10.47-1.rvre0.fc43.ri 100% |  17.2 MiB/s | 282.0 KiB |  00m00s
[ 40/170] ed-0:1.22.2-1.fc43.riscv64    100% |   5.5 MiB/s |  85.1 KiB |  00m00s
[ 41/170] ansible-srpm-macros-0:1-18.1. 100% |   1.1 MiB/s |  19.9 KiB |  00m00s
[ 42/170] build-reproducibility-srpm-ma 100% | 844.9 KiB/s |  11.8 KiB |  00m00s
[ 43/170] dwz-0:0.16-2.fc43.riscv64     100% |   8.1 MiB/s | 149.8 KiB |  00m00s
[ 44/170] efi-srpm-macros-0:6-4.fc43.no 100% |   1.5 MiB/s |  22.4 KiB |  00m00s
[ 45/170] file-0:5.46-8.rvre0.fc43.risc 100% |   3.2 MiB/s |  48.7 KiB |  00m00s
[ 46/170] filesystem-srpm-macros-0:3.18 100% |   1.7 MiB/s |  26.5 KiB |  00m00s
[ 47/170] fonts-srpm-macros-1:2.0.5-23. 100% |   1.8 MiB/s |  27.2 KiB |  00m00s
[ 48/170] forge-srpm-macros-0:0.4.0-3.f 100% |   1.3 MiB/s |  20.1 KiB |  00m00s
[ 49/170] fpc-srpm-macros-0:1.3-15.fc43 100% | 493.2 KiB/s |   7.9 KiB |  00m00s
[ 50/170] gap-srpm-macros-0:2-1.fc43.no 100% | 527.5 KiB/s |   9.0 KiB |  00m00s
[ 51/170] ghc-srpm-macros-0:1.9.2-3.fc4 100% | 514.5 KiB/s |   8.7 KiB |  00m00s
[ 52/170] gnat-srpm-macros-0:7-1.fc43.n 100% | 535.4 KiB/s |   8.6 KiB |  00m00s
[ 53/170] go-srpm-macros-0:3.8.0-1.fc43 100% |   1.7 MiB/s |  28.3 KiB |  00m00s
[ 54/170] java-srpm-macros-0:1-7.fc43.n 100% | 496.5 KiB/s |   7.9 KiB |  00m00s
[ 55/170] kernel-srpm-macros-0:1.0-27.f 100% | 557.6 KiB/s |   8.9 KiB |  00m00s
[ 56/170] lua-srpm-macros-0:1-16.fc43.n 100% | 583.8 KiB/s |   8.8 KiB |  00m00s
[ 57/170] ocaml-srpm-macros-0:11-2.fc43 100% | 661.5 KiB/s |   9.3 KiB |  00m00s
[ 58/170] openblas-srpm-macros-0:2-20.f 100% | 506.3 KiB/s |   7.6 KiB |  00m00s
[ 59/170] package-notes-srpm-macros-0:0 100% | 600.6 KiB/s |   9.0 KiB |  00m00s
[ 60/170] perl-srpm-macros-0:1-60.fc43. 100% | 592.1 KiB/s |   8.3 KiB |  00m00s
[ 61/170] pyproject-srpm-macros-0:1.18. 100% | 892.8 KiB/s |  13.4 KiB |  00m00s
[ 62/170] qt5-srpm-macros-0:5.15.18-1.f 100% | 569.9 KiB/s |   8.5 KiB |  00m00s
[ 63/170] python-srpm-macros-0:3.14-5.f 100% |   1.5 MiB/s |  23.4 KiB |  00m00s
[ 64/170] qt6-srpm-macros-0:6.10.2-1.fc 100% | 601.7 KiB/s |   9.0 KiB |  00m00s
[ 65/170] tree-sitter-srpm-macros-0:0.4 100% | 834.4 KiB/s |  13.4 KiB |  00m00s
[ 66/170] rpm-0:6.0.1-1.fc43.riscv64    100% |  29.6 MiB/s | 545.8 KiB |  00m00s
[ 67/170] zig-srpm-macros-0:1-5.fc43.no 100% | 527.2 KiB/s |   8.4 KiB |  00m00s
[ 68/170] zip-0:3.0-44.fc43.riscv64     100% |  18.0 MiB/s | 276.6 KiB |  00m00s
[ 69/170] debugedit-0:5.2-4.0.riscv64.f 100% |   3.9 MiB/s |  94.8 KiB |  00m00s
[ 70/170] binutils-0:2.45.1-4.rvre0.fc4 100% | 123.0 MiB/s |   5.0 MiB |  00m00s
[ 71/170] elfutils-0:0.194-1.fc43.riscv 100% |  21.2 MiB/s | 587.1 KiB |  00m00s
[ 72/170] elfutils-libelf-0:0.194-1.fc4 100% |  13.7 MiB/s | 210.0 KiB |  00m00s
[ 73/170] libgcc-0:15.2.1-7.fc43.riscv6 100% |   7.7 MiB/s | 125.8 KiB |  00m00s
[ 74/170] libarchive-0:3.8.4-1.fc43.ris 100% |  23.8 MiB/s | 438.0 KiB |  00m00s
[ 75/170] libstdc++-0:15.2.1-7.fc43.ris 100% |  46.2 MiB/s | 899.3 KiB |  00m00s
[ 76/170] pkgconf-pkg-config-0:2.3.0-3. 100% | 632.7 KiB/s |   9.5 KiB |  00m00s
[ 77/170] popt-0:1.19-9.rvre0.fc43.risc 100% |   3.9 MiB/s |  59.3 KiB |  00m00s
[ 78/170] rpm-build-libs-0:6.0.1-1.fc43 100% |   6.7 MiB/s | 124.2 KiB |  00m00s
[ 79/170] rpm-libs-0:6.0.1-1.fc43.riscv 100% |  23.3 MiB/s | 405.5 KiB |  00m00s
[ 80/170] zstd-0:1.5.7-2.rvre0.fc43.ris 100% |  34.5 MiB/s | 600.6 KiB |  00m00s
[ 81/170] audit-libs-0:4.1.3-1.fc43.ris 100% |   7.4 MiB/s | 143.6 KiB |  00m00s
[ 82/170] libeconf-0:0.7.9-2.fc43.riscv 100% |   2.5 MiB/s |  37.7 KiB |  00m00s
[ 83/170] libsemanage-0:3.9-4.rvre0.fc4 100% |   8.5 MiB/s | 131.1 KiB |  00m00s
[ 84/170] pam-libs-0:1.7.1-4.fc43.riscv 100% |   3.2 MiB/s |  58.7 KiB |  00m00s
[ 85/170] libxcrypt-0:4.5.2-1.rvre0.fc4 100% |   7.7 MiB/s | 149.7 KiB |  00m00s
[ 86/170] setup-0:2.15.0-26.fc43.noarch 100% |   8.7 MiB/s | 151.2 KiB |  00m00s
[ 87/170] libcap-ng-0:0.9.1-1.fc43.risc 100% |   2.1 MiB/s |  32.5 KiB |  00m00s
[ 88/170] libblkid-0:2.41.3-7.fc43.risc 100% |  12.1 MiB/s | 210.4 KiB |  00m00s
[ 89/170] liblastlog2-0:2.41.3-7.fc43.r 100% |   1.3 MiB/s |  23.4 KiB |  00m00s
[ 90/170] libmount-0:2.41.3-7.fc43.risc 100% |  14.9 MiB/s | 244.4 KiB |  00m00s
[ 91/170] libuuid-0:2.41.3-7.fc43.riscv 100% |   1.7 MiB/s |  28.2 KiB |  00m00s
[ 92/170] libsmartcols-0:2.41.3-7.fc43. 100% |   9.7 MiB/s | 168.4 KiB |  00m00s
[ 93/170] zlib-ng-compat-0:2.3.2-3.0.ri 100% |   4.7 MiB/s |  77.0 KiB |  00m00s
[ 94/170] util-linux-core-0:2.41.3-7.fc 100% |  35.9 MiB/s | 698.2 KiB |  00m00s
[ 95/170] xz-libs-1:5.8.1-4.rvre0.fc43. 100% |   6.6 MiB/s | 114.4 KiB |  00m00s
[ 96/170] glibc-gconv-extra-0:2.42-10.f 100% |  68.9 MiB/s |   1.6 MiB |  00m00s
[ 97/170] ncurses-base-0:6.5-7.20250614 100% |   4.4 MiB/s |  63.0 KiB |  00m00s
[ 98/170] gnulib-l10n-0:20241231-1.fc43 100% |   9.3 MiB/s | 143.0 KiB |  00m00s
[ 99/170] libsepol-0:3.9-2.rvre0.fc43.r 100% |  21.0 MiB/s | 365.8 KiB |  00m00s
[100/170] ca-certificates-0:2025.2.80_v 100% |  47.6 MiB/s | 974.5 KiB |  00m00s
[101/170] crypto-policies-0:20251125-1. 100% |   4.3 MiB/s |  74.4 KiB |  00m00s
[102/170] fedora-gpg-keys-0:43-1.0.risc 100% |   7.3 MiB/s | 127.9 KiB |  00m00s
[103/170] pcre2-syntax-0:10.47-1.rvre0. 100% |  10.7 MiB/s | 164.3 KiB |  00m00s
[104/170] add-determinism-0:0.6.0-3.fc4 100% |  42.0 MiB/s | 903.4 KiB |  00m00s
[105/170] file-libs-0:5.46-8.rvre0.fc43 100% |  42.1 MiB/s | 862.9 KiB |  00m00s
[106/170] curl-0:8.15.0-5.fc43.riscv64  100% |  13.6 MiB/s | 236.0 KiB |  00m00s
[107/170] alternatives-0:1.33-3.fc43.ri 100% |   2.7 MiB/s |  41.0 KiB |  00m00s
[108/170] elfutils-debuginfod-client-0: 100% |   3.1 MiB/s |  47.0 KiB |  00m00s
[109/170] jansson-0:2.14-3.fc43.riscv64 100% |   3.0 MiB/s |  46.8 KiB |  00m00s
[110/170] elfutils-libs-0:0.194-1.fc43. 100% |  15.8 MiB/s | 307.7 KiB |  00m00s
[111/170] libzstd-0:1.5.7-2.rvre0.fc43. 100% |  21.9 MiB/s | 403.4 KiB |  00m00s
[112/170] lz4-libs-0:1.10.0-3.rvre0.fc4 100% |   6.8 MiB/s | 111.3 KiB |  00m00s
[113/170] libxml2-0:2.12.10-5.rvre1.fc4 100% |  39.4 MiB/s | 725.9 KiB |  00m00s
[114/170] pkgconf-m4-0:2.3.0-3.fc43.noa 100% | 922.5 KiB/s |  13.8 KiB |  00m00s
[115/170] pkgconf-0:2.3.0-3.fc43.riscv6 100% |   2.6 MiB/s |  45.4 KiB |  00m00s
[116/170] lua-libs-0:5.4.8-4.rvre0.fc43 100% |   8.9 MiB/s | 137.1 KiB |  00m00s
[117/170] libgomp-0:15.2.1-7.fc43.riscv 100% |  20.0 MiB/s | 367.8 KiB |  00m00s
[118/170] rpm-sign-libs-0:6.0.1-1.fc43. 100% |   1.7 MiB/s |  27.8 KiB |  00m00s
[119/170] rpm-sequoia-0:1.10.1-1.fc43.r 100% |  51.6 MiB/s | 950.3 KiB |  00m00s
[120/170] sqlite-libs-0:3.50.2-2.fc43.r 100% |  42.8 MiB/s | 788.6 KiB |  00m00s
[121/170] libffi-0:3.5.2-1.fc43.riscv64 100% |   2.1 MiB/s |  37.4 KiB |  00m00s
[122/170] p11-kit-0:0.26.2-1.fc43.riscv 100% |  31.3 MiB/s | 544.6 KiB |  00m00s
[123/170] p11-kit-trust-0:0.26.2-1.fc43 100% |   9.9 MiB/s | 151.3 KiB |  00m00s
[124/170] json-c-0:0.18-7.fc43.riscv64  100% |   2.6 MiB/s |  46.0 KiB |  00m00s
[125/170] elfutils-default-yama-scope-0 100% | 769.8 KiB/s |  12.3 KiB |  00m00s
[126/170] libpkgconf-0:2.3.0-3.fc43.ris 100% |   2.5 MiB/s |  38.5 KiB |  00m00s
[127/170] gnupg2-0:2.4.9-5.fc43.riscv64 100% |  69.2 MiB/s |   1.7 MiB |  00m00s
[128/170] ima-evm-utils-libs-0:1.6.2-6. 100% |   1.8 MiB/s |  29.9 KiB |  00m00s
[129/170] libfsverity-0:1.6-3.fc43.risc 100% |   1.1 MiB/s |  18.4 KiB |  00m00s
[130/170] libtasn1-0:4.20.0-2.fc43.risc 100% |   4.7 MiB/s |  76.6 KiB |  00m00s
[131/170] gpgverify-0:2.2-3.fc43.noarch 100% | 740.2 KiB/s |  11.1 KiB |  00m00s
[132/170] gnupg2-dirmngr-0:2.4.9-5.fc43 100% |  22.2 MiB/s | 363.9 KiB |  00m00s
[133/170] gnupg2-gpg-agent-0:2.4.9-5.fc 100% |  21.5 MiB/s | 351.9 KiB |  00m00s
[134/170] gnupg2-gpgconf-0:2.4.9-5.fc43 100% |  10.0 MiB/s | 152.8 KiB |  00m00s
[135/170] gnupg2-keyboxd-0:2.4.9-5.fc43 100% |   9.1 MiB/s | 157.8 KiB |  00m00s
[136/170] gnupg2-verify-0:2.4.9-5.fc43. 100% |  18.0 MiB/s | 294.2 KiB |  00m00s
[137/170] libassuan-0:2.5.7-4.fc43.risc 100% |   4.5 MiB/s |  69.2 KiB |  00m00s
[138/170] libgcrypt-0:1.11.1-3.0.riscv6 100% |  31.5 MiB/s | 613.5 KiB |  00m00s
[139/170] libgpg-error-0:1.55-2.fc43.ri 100% |  15.8 MiB/s | 242.0 KiB |  00m00s
[140/170] npth-0:1.8-3.fc43.riscv64     100% |   1.6 MiB/s |  24.8 KiB |  00m00s
[141/170] tpm2-tss-0:4.1.3-8.fc43.riscv 100% |  31.4 MiB/s | 545.9 KiB |  00m00s
[142/170] gnutls-0:3.8.12-1.fc43.riscv6 100% |  65.6 MiB/s |   1.4 MiB |  00m00s
[143/170] libksba-0:1.6.7-4.fc43.riscv6 100% |  10.9 MiB/s | 167.5 KiB |  00m00s
[144/170] openldap-0:2.6.10-4.fc43.risc 100% |  14.6 MiB/s | 269.3 KiB |  00m00s
[145/170] libusb1-0:1.0.29-4.fc43.riscv 100% |   4.9 MiB/s |  80.2 KiB |  00m00s
[146/170] libunistring-0:1.1-10.fc43.ri 100% |  24.7 MiB/s | 556.3 KiB |  00m00s
[147/170] nettle-0:3.10.1-2.fc43.riscv6 100% |  21.9 MiB/s | 447.9 KiB |  00m00s
[148/170] cyrus-sasl-lib-0:2.1.28-33.fc 100% |  39.6 MiB/s | 852.2 KiB |  00m00s
[149/170] libevent-0:2.1.12-16.fc43.ris 100% |  14.3 MiB/s | 264.1 KiB |  00m00s
[150/170] libtool-ltdl-0:2.5.4-8.fc43.r 100% |   1.9 MiB/s |  35.8 KiB |  00m00s
[151/170] libidn2-0:2.3.8-2.fc43.riscv6 100% |   1.7 MiB/s | 182.9 KiB |  00m00s
[152/170] gdbm-libs-1:1.23-10.fc43.risc 100% |   3.5 MiB/s |  58.0 KiB |  00m00s
[153/170] rust-srpm-macros-0:28.4-1.fc4 100% | 678.0 KiB/s |  10.8 KiB |  00m00s
[154/170] fedora-release-0:43-25.noarch 100% | 793.7 KiB/s |  13.5 KiB |  00m00s
[155/170] systemd-standalone-sysusers-0 100% |  46.8 MiB/s |   1.0 MiB |  00m00s
[156/170] xxhash-libs-0:0.8.3-3.fc43.ri 100% |   1.7 MiB/s |  53.2 KiB |  00m00s
[157/170] gdb-minimal-0:17.1-4.fc43.ris 100% | 107.1 MiB/s |   4.7 MiB |  00m00s
[158/170] fedora-release-identity-basic 100% | 750.3 KiB/s |  14.3 KiB |  00m00s
[159/170] libcurl-0:8.15.0-5.fc43.riscv 100% |  26.2 MiB/s | 429.5 KiB |  00m00s
[160/170] krb5-libs-0:1.22.2-2.fc43.ris 100% |  41.1 MiB/s | 842.2 KiB |  00m00s
[161/170] libbrotli-0:1.2.0-1.fc43.risc 100% |  23.3 MiB/s | 405.7 KiB |  00m00s
[162/170] libnghttp2-0:1.66.0-2.fc43.ri 100% |   5.5 MiB/s |  84.7 KiB |  00m00s
[163/170] libssh-0:0.11.4-1.fc43.riscv6 100% |  14.5 MiB/s | 251.8 KiB |  00m00s
[164/170] keyutils-libs-0:1.6.3-6.fc43. 100% |   2.0 MiB/s |  31.3 KiB |  00m00s
[165/170] libcom_err-0:1.47.3-2.rvre0.f 100% |   1.6 MiB/s |  26.5 KiB |  00m00s
[166/170] libverto-0:0.3.2-11.fc43.risc 100% |   1.4 MiB/s |  21.1 KiB |  00m00s
[167/170] publicsuffix-list-dafsa-0:202 100% |   3.7 MiB/s |  60.3 KiB |  00m00s
[168/170] libssh-config-0:0.11.4-1.fc43 100% | 569.3 KiB/s |   9.1 KiB |  00m00s
[169/170] libfdisk-0:2.41.3-7.fc43.risc 100% | 261.0 KiB/s | 255.8 KiB |  00m01s
[170/170] libpsl-0:0.21.5-6.fc43.riscv6 100% | 119.6 KiB/s |  65.3 KiB |  00m01s
--------------------------------------------------------------------------------
[170/170] Total                         100% |  31.7 MiB/s |  62.3 MiB |  00m02s
Running transaction
[  1/172] Verify package files          100% | 487.0   B/s | 170.0   B |  00m00s
[  2/172] Prepare transaction           100% |   4.0 KiB/s | 170.0   B |  00m00s
[  3/172] Installing libgcc-0:15.2.1-7. 100% | 207.0 MiB/s | 211.9 KiB |  00m00s
[  4/172] Installing libssh-config-0:0. 100% |   0.0   B/s | 816.0   B |  00m00s
[  5/172] Installing publicsuffix-list- 100% |   0.0   B/s |  71.1 KiB |  00m00s
[  6/172] Installing fedora-release-ide 100% |   0.0   B/s | 888.0   B |  00m00s
[  7/172] Installing fedora-gpg-keys-0: 100% |  43.7 MiB/s | 179.0 KiB |  00m00s
[  8/172] Installing fedora-repos-0:43- 100% |   0.0   B/s |   7.4 KiB |  00m00s
[  9/172] Installing fedora-release-com 100% |  24.3 MiB/s |  24.9 KiB |  00m00s
[ 10/172] Installing fedora-release-0:4 100% |  11.0 KiB/s | 124.0   B |  00m00s
>>> Running sysusers scriptlet: setup-0:2.15.0-26.fc43.noarch
>>> Finished sysusers scriptlet: setup-0:2.15.0-26.fc43.noarch
>>> Scriptlet output:
>>> Creating group 'adm' with GID 4.
>>> Creating group 'audio' with GID 63.
>>> Creating group 'cdrom' with GID 11.
>>> Creating group 'clock' with GID 103.
>>> Creating group 'dialout' with GID 18.
>>> Creating group 'disk' with GID 6.
>>> Creating group 'floppy' with GID 19.
>>> Creating group 'ftp' with GID 50.
>>> Creating group 'games' with GID 20.
>>> Creating group 'input' with GID 104.
>>> Creating group 'kmem' with GID 9.
>>> Creating group 'kvm' with GID 36.
>>> Creating group 'lock' with GID 54.
>>> Creating group 'lp' with GID 7.
>>> Creating group 'mail' with GID 12.
>>> Creating group 'man' with GID 15.
>>> Creating group 'mem' with GID 8.
>>> Creating group 'nobody' with GID 65534.
>>> Creating group 'render' with GID 105.
>>> Creating group 'root' with GID 0.
>>> Creating group 'sgx' with GID 106.
>>> Creating group 'sys' with GID 3.
>>> Creating group 'tape' with GID 33.
>>> Creating group 'tty' with GID 5.
>>> Creating group 'users' with GID 100.
>>> Creating group 'utmp' with GID 22.
>>> Creating group 'video' with GID 39.
>>> Creating group 'wheel' with GID 10.
>>> Creating user 'adm' (adm) with UID 3 and GID 4.
>>> Creating group 'bin' with GID 1.
>>> Creating user 'bin' (bin) with UID 1 and GID 1.
>>> Creating group 'daemon' with GID 2.
>>> Creating user 'daemon' (daemon) with UID 2 and GID 2.
>>> Creating user 'ftp' (FTP User) with UID 14 and GID 50.
>>> Creating user 'games' (games) with UID 12 and GID 100.
>>> Creating user 'halt' (halt) with UID 7 and GID 0.
>>> Creating user 'lp' (lp) with UID 4 and GID 7.
>>> Creating user 'mail' (mail) with UID 8 and GID 12.
>>> Creating user 'nobody' (Kernel Overflow User) with UID 65534 and GID 65534.
>>> Creating user 'operator' (operator) with UID 11 and GID 0.
>>> Creating user 'root' (Super User) with UID 0 and GID 0.
>>> Creating user 'shutdown' (shutdown) with UID 6 and GID 0.
>>> Creating user 'sync' (sync) with UID 5 and GID 0.
>>> 
[ 11/172] Installing setup-0:2.15.0-26. 100% |  54.9 MiB/s | 730.6 KiB |  00m00s
>>> [RPM] /etc/hosts created as /etc/hosts.rpmnew
[ 12/172] Installing filesystem-0:3.18- 100% |   3.0 MiB/s | 212.9 KiB |  00m00s
>>> [RPM] failed to open /usr/lib/group for id/name lookup: No such file or directory
[ 13/172] Installing rust-srpm-macros-0 100% |   0.0   B/s |   6.4 KiB |  00m00s
[ 14/172] Installing pkgconf-m4-0:2.3.0 100% |   0.0   B/s |  14.8 KiB |  00m00s
[ 15/172] Installing pcre2-syntax-0:10. 100% | 277.7 MiB/s | 284.3 KiB |  00m00s
[ 16/172] Installing gnulib-l10n-0:2024 100% | 215.5 MiB/s | 661.9 KiB |  00m00s
[ 17/172] Installing coreutils-common-0 100% | 403.3 MiB/s |  11.3 MiB |  00m00s
[ 18/172] Installing ncurses-base-0:6.5 100% |  86.3 MiB/s | 353.5 KiB |  00m00s
[ 19/172] Installing bash-0:5.3.0-2.fc4 100% | 275.3 MiB/s |   8.3 MiB |  00m00s
[ 20/172] Installing glibc-common-0:2.4 100% |  61.9 MiB/s |   1.0 MiB |  00m00s
[ 21/172] Installing glibc-gconv-extra- 100% | 266.8 MiB/s |   6.1 MiB |  00m00s
[ 22/172] Installing glibc-0:2.42-10.fc 100% |  26.6 MiB/s |   4.6 MiB |  00m00s
[ 23/172] Installing ncurses-libs-0:6.5 100% | 224.1 MiB/s | 918.0 KiB |  00m00s
[ 24/172] Installing glibc-minimal-lang 100% |   0.0   B/s | 124.0   B |  00m00s
[ 25/172] Installing zlib-ng-compat-0:2 100% | 115.2 MiB/s | 118.0 KiB |  00m00s
[ 26/172] Installing bzip2-libs-0:1.0.8 100% |  71.7 MiB/s |  73.4 KiB |  00m00s
[ 27/172] Installing libgpg-error-0:1.5 100% |  63.7 MiB/s | 913.3 KiB |  00m00s
[ 28/172] Installing libstdc++-0:15.2.1 100% | 347.1 MiB/s |   2.4 MiB |  00m00s
[ 29/172] Installing xz-libs-1:5.8.1-4. 100% | 182.2 MiB/s | 186.6 KiB |  00m00s
[ 30/172] Installing libassuan-0:2.5.7- 100% | 157.8 MiB/s | 161.6 KiB |  00m00s
[ 31/172] Installing libgcrypt-0:1.11.1 100% | 396.6 MiB/s |   1.2 MiB |  00m00s
[ 32/172] Installing readline-0:8.3-2.r 100% | 240.9 MiB/s | 493.3 KiB |  00m00s
[ 33/172] Installing gmp-1:6.3.0-4.rvre 100% | 287.0 MiB/s | 587.8 KiB |  00m00s
[ 34/172] Installing libuuid-0:2.41.3-7 100% |   0.0   B/s |  38.2 KiB |  00m00s
[ 35/172] Installing libblkid-0:2.41.3- 100% | 414.1 MiB/s | 424.0 KiB |  00m00s
[ 36/172] Installing popt-0:1.19-9.rvre 100% |  66.0 MiB/s | 135.1 KiB |  00m00s
[ 37/172] Installing libxcrypt-0:4.5.2- 100% | 308.5 MiB/s | 315.9 KiB |  00m00s
[ 38/172] Installing npth-0:1.8-3.fc43. 100% |   0.0   B/s |  50.3 KiB |  00m00s
[ 39/172] Installing libattr-0:2.5.2-6. 100% |   0.0   B/s |  21.1 KiB |  00m00s
[ 40/172] Installing libacl-0:2.3.2-4.f 100% |   0.0   B/s |  36.6 KiB |  00m00s
[ 41/172] Installing libzstd-0:1.5.7-2. 100% | 290.1 MiB/s | 891.1 KiB |  00m00s
[ 42/172] Installing elfutils-libelf-0: 100% | 375.0 MiB/s |   1.1 MiB |  00m00s
[ 43/172] Installing sqlite-libs-0:3.50 100% | 337.6 MiB/s |   1.4 MiB |  00m00s
[ 44/172] Installing gnupg2-gpgconf-0:2 100% |  28.0 MiB/s | 344.5 KiB |  00m00s
[ 45/172] Installing libtasn1-0:4.20.0- 100% | 170.1 MiB/s | 174.2 KiB |  00m00s
[ 46/172] Installing libunistring-0:1.1 100% | 340.5 MiB/s |   1.7 MiB |  00m00s
[ 47/172] Installing libidn2-0:2.3.8-2. 100% |   6.8 MiB/s | 591.3 KiB |  00m00s
[ 48/172] Installing crypto-policies-0: 100% |  42.0 MiB/s | 172.2 KiB |  00m00s
[ 49/172] Installing dwz-0:0.16-2.fc43. 100% |  21.9 MiB/s | 291.9 KiB |  00m00s
[ 50/172] Installing gnupg2-verify-0:2. 100% |  41.7 MiB/s | 554.9 KiB |  00m00s
[ 51/172] Installing mpfr-0:4.2.2-2.fc4 100% | 264.2 MiB/s | 541.1 KiB |  00m00s
[ 52/172] Installing gawk-0:5.3.2-2.fc4 100% | 100.5 MiB/s |   1.7 MiB |  00m00s
[ 53/172] Installing libksba-0:1.6.7-4. 100% | 388.2 MiB/s | 397.5 KiB |  00m00s
[ 54/172] Installing unzip-0:6.0-67.fc4 100% |  30.1 MiB/s | 370.1 KiB |  00m00s
[ 55/172] Installing file-libs-0:5.46-8 100% | 658.5 MiB/s |  11.9 MiB |  00m00s
[ 56/172] Installing file-0:5.46-8.rvre 100% |   8.3 MiB/s | 101.5 KiB |  00m00s
[ 57/172] Installing pcre2-0:10.47-1.rv 100% | 304.4 MiB/s | 623.3 KiB |  00m00s
[ 58/172] Installing grep-0:3.12-2.fc43 100% |  66.6 MiB/s |   1.0 MiB |  00m00s
[ 59/172] Installing xz-1:5.8.1-4.rvre0 100% |  78.1 MiB/s |   1.3 MiB |  00m00s
[ 60/172] Installing libeconf-0:0.7.9-2 100% |  61.3 MiB/s |  62.7 KiB |  00m00s
[ 61/172] Installing libcap-ng-0:0.9.1- 100% |  64.7 MiB/s |  66.3 KiB |  00m00s
[ 62/172] Installing audit-libs-0:4.1.3 100% | 182.2 MiB/s | 373.2 KiB |  00m00s
[ 63/172] Installing pam-libs-0:1.7.1-4 100% | 113.9 MiB/s | 116.6 KiB |  00m00s
[ 64/172] Installing libcap-0:2.76-3.rv 100% |  16.9 MiB/s | 208.3 KiB |  00m00s
[ 65/172] Installing libsmartcols-0:2.4 100% | 322.9 MiB/s | 330.7 KiB |  00m00s
[ 66/172] Installing libsepol-0:3.9-2.r 100% | 378.7 MiB/s | 775.5 KiB |  00m00s
[ 67/172] Installing libselinux-0:3.9-5 100% | 185.7 MiB/s | 190.1 KiB |  00m00s
[ 68/172] Installing findutils-1:4.10.0 100% | 111.2 MiB/s |   1.9 MiB |  00m00s
[ 69/172] Installing sed-0:4.9-5.fc43.r 100% |  56.4 MiB/s | 866.2 KiB |  00m00s
[ 70/172] Installing libmount-0:2.41.3- 100% | 245.0 MiB/s | 501.8 KiB |  00m00s
[ 71/172] Installing alternatives-0:1.3 100% |   4.8 MiB/s |  59.5 KiB |  00m00s
[ 72/172] Installing lz4-libs-0:1.10.0- 100% | 190.1 MiB/s | 194.6 KiB |  00m00s
[ 73/172] Installing lua-libs-0:5.4.8-4 100% | 261.4 MiB/s | 267.7 KiB |  00m00s
[ 74/172] Installing libffi-0:3.5.2-1.f 100% |  59.3 MiB/s |  60.8 KiB |  00m00s
[ 75/172] Installing p11-kit-0:0.26.2-1 100% | 134.7 MiB/s |   2.7 MiB |  00m00s
[ 76/172] Installing p11-kit-trust-0:0. 100% |   5.5 MiB/s | 602.2 KiB |  00m00s
[ 77/172] Installing json-c-0:0.18-7.fc 100% |  77.6 MiB/s |  79.5 KiB |  00m00s
[ 78/172] Installing openssl-libs-1:3.5 100% | 351.1 MiB/s |   7.0 MiB |  00m00s
[ 79/172] Installing systemd-libs-0:258 100% | 418.1 MiB/s |   8.4 MiB |  00m00s
[ 80/172] Installing coreutils-0:9.7-8. 100% |  64.7 MiB/s |   6.1 MiB |  00m00s
[ 81/172] Installing ca-certificates-0: 100% |  49.2 KiB/s |   2.5 MiB |  00m51s
[ 82/172] Installing gzip-0:1.13-4.fc43 100% |  27.2 MiB/s | 390.5 KiB |  00m00s
[ 83/172] Installing util-linux-core-0: 100% | 123.6 MiB/s |   2.5 MiB |  00m00s
[ 84/172] Installing libusb1-0:1.0.29-4 100% |  12.3 MiB/s | 164.3 KiB |  00m00s
>>> Running sysusers scriptlet: tpm2-tss-0:4.1.3-8.fc43.riscv64
>>> Finished sysusers scriptlet: tpm2-tss-0:4.1.3-8.fc43.riscv64
>>> Scriptlet output:
>>> Creating group 'tss' with GID 59.
>>> Creating user 'tss' (Account used for TPM access) with UID 59 and GID 59.
>>> 
[ 85/172] Installing tpm2-tss-0:4.1.3-8 100% | 295.5 MiB/s |   1.8 MiB |  00m00s
[ 86/172] Installing ima-evm-utils-libs 100% |  56.4 MiB/s |  57.7 KiB |  00m00s
[ 87/172] Installing gnupg2-gpg-agent-0 100% |  11.3 MiB/s | 951.6 KiB |  00m00s
[ 88/172] Installing rpm-sequoia-0:1.10 100% | 327.3 MiB/s |   2.3 MiB |  00m00s
[ 89/172] Installing libfsverity-0:1.6- 100% |   0.0   B/s |  25.2 KiB |  00m00s
[ 90/172] Installing libevent-0:2.1.12- 100% | 271.2 MiB/s | 833.2 KiB |  00m00s
[ 91/172] Installing systemd-standalone 100% | 119.3 MiB/s |   2.1 MiB |  00m00s
[ 92/172] Installing rpm-libs-0:6.0.1-1 100% | 289.3 MiB/s | 888.7 KiB |  00m00s
[ 93/172] Installing zstd-0:1.5.7-2.rvr 100% | 116.7 MiB/s |   2.0 MiB |  00m00s
[ 94/172] Installing tar-2:1.35-6.fc43. 100% | 148.6 MiB/s |   3.0 MiB |  00m00s
[ 95/172] Installing libsemanage-0:3.9- 100% | 295.7 MiB/s | 302.8 KiB |  00m00s
[ 96/172] Installing zip-0:3.0-44.fc43. 100% |  55.6 MiB/s | 796.7 KiB |  00m00s
[ 97/172] Installing gnupg2-keyboxd-0:2 100% |   4.5 MiB/s | 306.7 KiB |  00m00s
[ 98/172] Installing libpsl-0:0.21.5-6. 100% |  75.5 MiB/s |  77.3 KiB |  00m00s
[ 99/172] Installing liblastlog2-0:2.41 100% | 636.5 KiB/s |  39.5 KiB |  00m00s
[100/172] Installing libfdisk-0:2.41.3- 100% | 261.8 MiB/s | 536.3 KiB |  00m00s
[101/172] Installing nettle-0:3.10.1-2. 100% | 244.6 MiB/s | 751.3 KiB |  00m00s
[102/172] Installing gnutls-0:3.8.12-1. 100% | 344.8 MiB/s |   3.4 MiB |  00m00s
[103/172] Installing libxml2-0:2.12.10- 100% |  90.7 MiB/s |   1.6 MiB |  00m00s
[104/172] Installing libarchive-0:3.8.4 100% | 276.3 MiB/s | 848.8 KiB |  00m00s
[105/172] Installing bzip2-0:1.0.8-21.r 100% |   7.4 MiB/s |  91.4 KiB |  00m00s
[106/172] Installing add-determinism-0: 100% | 122.3 MiB/s |   2.1 MiB |  00m00s
[107/172] Installing build-reproducibil 100% |   0.0   B/s |   1.0 KiB |  00m00s
[108/172] Installing cpio-0:2.15-6.fc43 100% |  74.2 MiB/s |   1.1 MiB |  00m00s
[109/172] Installing diffutils-0:3.12-3 100% |  98.9 MiB/s |   1.6 MiB |  00m00s
[110/172] Installing ed-0:1.22.2-1.fc43 100% |  12.3 MiB/s | 150.7 KiB |  00m00s
[111/172] Installing patch-0:2.8-2.fc43 100% |  18.7 MiB/s | 229.3 KiB |  00m00s
[112/172] Installing jansson-0:2.14-3.f 100% |  80.4 MiB/s |  82.4 KiB |  00m00s
[113/172] Installing libgomp-0:15.2.1-7 100% | 451.3 MiB/s | 462.2 KiB |  00m00s
[114/172] Installing libpkgconf-0:2.3.0 100% |  76.9 MiB/s |  78.8 KiB |  00m00s
[115/172] Installing pkgconf-0:2.3.0-3. 100% |   7.4 MiB/s |  90.8 KiB |  00m00s
[116/172] Installing pkgconf-pkg-config 100% | 161.2 KiB/s |   1.8 KiB |  00m00s
[117/172] Installing libtool-ltdl-0:2.5 100% |   0.0   B/s |  66.8 KiB |  00m00s
[118/172] Installing gdbm-libs-1:1.23-1 100% | 116.2 MiB/s | 119.0 KiB |  00m00s
[119/172] Installing cyrus-sasl-lib-0:2 100% | 123.2 MiB/s |   2.1 MiB |  00m00s
[120/172] Installing openldap-0:2.6.10- 100% | 193.0 MiB/s | 592.9 KiB |  00m00s
[121/172] Installing gnupg2-dirmngr-0:2 100% |  10.2 MiB/s | 815.6 KiB |  00m00s
[122/172] Installing gnupg2-0:2.4.9-5.f 100% | 217.3 MiB/s |   6.5 MiB |  00m00s
[123/172] Installing rpm-sign-libs-0:6. 100% |  31.5 MiB/s |  32.3 KiB |  00m00s
[124/172] Installing gpgverify-0:2.2-3. 100% |   0.0   B/s |   9.4 KiB |  00m00s
[125/172] Installing xxhash-libs-0:0.8. 100% |  85.0 MiB/s |  87.1 KiB |  00m00s
[126/172] Installing libbrotli-0:1.2.0- 100% | 290.1 MiB/s | 891.3 KiB |  00m00s
[127/172] Installing libnghttp2-0:1.66. 100% | 172.6 MiB/s | 176.7 KiB |  00m00s
[128/172] Installing keyutils-libs-0:1. 100% |  54.1 MiB/s |  55.4 KiB |  00m00s
[129/172] Installing libcom_err-0:1.47. 100% |   0.0   B/s |  60.0 KiB |  00m00s
[130/172] Installing libverto-0:0.3.2-1 100% |  30.2 MiB/s |  31.0 KiB |  00m00s
[131/172] Installing krb5-libs-0:1.22.2 100% | 292.4 MiB/s |   2.3 MiB |  00m00s
[132/172] Installing libssh-0:0.11.4-1. 100% | 267.6 MiB/s | 548.1 KiB |  00m00s
[133/172] Installing libcurl-0:8.15.0-5 100% | 274.8 MiB/s | 844.1 KiB |  00m00s
[134/172] Installing curl-0:8.15.0-5.fc 100% |   2.5 MiB/s | 488.7 KiB |  00m00s
[135/172] Installing rpm-0:6.0.1-1.fc43 100% |  27.8 MiB/s |   2.6 MiB |  00m00s
[136/172] Installing efi-srpm-macros-0: 100% |  40.2 MiB/s |  41.1 KiB |  00m00s
[137/172] Installing java-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[138/172] Installing lua-srpm-macros-0: 100% |   0.0   B/s |   1.9 KiB |  00m00s
[139/172] Installing tree-sitter-srpm-m 100% |   0.0   B/s |   9.3 KiB |  00m00s
[140/172] Installing zig-srpm-macros-0: 100% |   0.0   B/s |   1.7 KiB |  00m00s
[141/172] Installing filesystem-srpm-ma 100% |   0.0   B/s |  38.9 KiB |  00m00s
[142/172] Installing elfutils-default-y 100% |  30.5 KiB/s |   2.0 KiB |  00m00s
[143/172] Installing elfutils-libs-0:0. 100% | 245.4 MiB/s | 753.9 KiB |  00m00s
[144/172] Installing elfutils-debuginfo 100% |   5.1 MiB/s |  73.8 KiB |  00m00s
[145/172] Installing binutils-0:2.45.1- 100% | 135.4 MiB/s |  27.1 MiB |  00m00s
[146/172] Installing elfutils-0:0.194-1 100% | 146.3 MiB/s |   2.9 MiB |  00m00s
[147/172] Installing gdb-minimal-0:17.1 100% | 303.1 MiB/s |  14.2 MiB |  00m00s
[148/172] Installing debugedit-0:5.2-4. 100% |  16.6 MiB/s | 221.6 KiB |  00m00s
[149/172] Installing rpm-build-libs-0:6 100% | 223.4 MiB/s | 228.8 KiB |  00m00s
[150/172] Installing qt6-srpm-macros-0: 100% |   0.0   B/s | 748.0   B |  00m00s
[151/172] Installing qt5-srpm-macros-0: 100% |   0.0   B/s | 776.0   B |  00m00s
[152/172] Installing perl-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[153/172] Installing package-notes-srpm 100% |   0.0   B/s |   2.0 KiB |  00m00s
[154/172] Installing openblas-srpm-macr 100% |   0.0   B/s | 392.0   B |  00m00s
[155/172] Installing ocaml-srpm-macros- 100% |   0.0   B/s |   2.1 KiB |  00m00s
[156/172] Installing kernel-srpm-macros 100% |   0.0   B/s |   2.3 KiB |  00m00s
[157/172] Installing gnat-srpm-macros-0 100% |   0.0   B/s |   1.3 KiB |  00m00s
[158/172] Installing ghc-srpm-macros-0: 100% |   0.0   B/s |   1.0 KiB |  00m00s
[159/172] Installing gap-srpm-macros-0: 100% |   0.0   B/s |   2.7 KiB |  00m00s
[160/172] Installing fpc-srpm-macros-0: 100% |   0.0   B/s | 420.0   B |  00m00s
[161/172] Installing ansible-srpm-macro 100% |   0.0   B/s |  36.2 KiB |  00m00s
[162/172] Installing rpm-build-0:6.0.1- 100% |  19.4 MiB/s | 278.7 KiB |  00m00s
[163/172] Installing pyproject-srpm-mac 100% |   0.0   B/s |   2.5 KiB |  00m00s
[164/172] Installing redhat-rpm-config- 100% |  92.4 MiB/s | 189.2 KiB |  00m00s
[165/172] Installing forge-srpm-macros- 100% |   0.0   B/s |  40.3 KiB |  00m00s
[166/172] Installing fonts-srpm-macros- 100% |   0.0   B/s |  57.0 KiB |  00m00s
[167/172] Installing go-srpm-macros-0:3 100% |   0.0   B/s |  63.0 KiB |  00m00s
[168/172] Installing python-srpm-macros 100% |  51.6 MiB/s |  52.8 KiB |  00m00s
[169/172] Installing util-linux-0:2.41. 100% |  59.6 MiB/s |   6.0 MiB |  00m00s
[170/172] Installing shadow-utils-2:4.1 100% | 145.0 MiB/s |   4.4 MiB |  00m00s
[171/172] Installing which-0:2.23-3.fc4 100% |   7.0 MiB/s |  85.6 KiB |  00m00s
[172/172] Installing info-0:7.2-7.fc43. 100% |   5.5 KiB/s | 358.9 KiB |  01m05s
Warning: skipped OpenPGP checks for 170 packages from repository: fedora
Complete!
Finish: installing minimal buildroot with dnf5
Start: creating root cache
Finish: creating root cache
Finish: chroot init
INFO: Installed packages:
INFO: add-determinism-0.6.0-3.fc43.riscv64
alternatives-1.33-3.fc43.riscv64
ansible-srpm-macros-1-18.1.fc43.noarch
audit-libs-4.1.3-1.fc43.riscv64
bash-5.3.0-2.fc43.riscv64
binutils-2.45.1-4.rvre0.fc43.riscv64
build-reproducibility-srpm-macros-0.6.0-3.fc43.noarch
bzip2-1.0.8-21.rvre0.fc43.riscv64
bzip2-libs-1.0.8-21.rvre0.fc43.riscv64
ca-certificates-2025.2.80_v9.0.304-1.2.fc43.noarch
coreutils-9.7-8.fc43.riscv64
coreutils-common-9.7-8.fc43.riscv64
cpio-2.15-6.fc43.riscv64
crypto-policies-20251125-1.git63291f8.fc43.noarch
curl-8.15.0-5.fc43.riscv64
cyrus-sasl-lib-2.1.28-33.fc43.riscv64
debugedit-5.2-4.0.riscv64.fc43.riscv64
diffutils-3.12-3.fc43.riscv64
dwz-0.16-2.fc43.riscv64
ed-1.22.2-1.fc43.riscv64
efi-srpm-macros-6-4.fc43.noarch
elfutils-0.194-1.fc43.riscv64
elfutils-debuginfod-client-0.194-1.fc43.riscv64
elfutils-default-yama-scope-0.194-1.fc43.noarch
elfutils-libelf-0.194-1.fc43.riscv64
elfutils-libs-0.194-1.fc43.riscv64
fedora-gpg-keys-43-1.0.riscv64.noarch
fedora-release-43-25.noarch
fedora-release-common-43-25.noarch
fedora-release-identity-basic-43-25.noarch
fedora-repos-43-1.0.riscv64.noarch
file-5.46-8.rvre0.fc43.riscv64
file-libs-5.46-8.rvre0.fc43.riscv64
filesystem-3.18-51.rvre0.fc43.riscv64
filesystem-srpm-macros-3.18-51.rvre0.fc43.noarch
findutils-4.10.0-6.fc43.riscv64
fonts-srpm-macros-2.0.5-23.fc43.noarch
forge-srpm-macros-0.4.0-3.fc43.noarch
fpc-srpm-macros-1.3-15.fc43.noarch
gap-srpm-macros-2-1.fc43.noarch
gawk-5.3.2-2.fc43.riscv64
gdb-minimal-17.1-4.fc43.riscv64
gdbm-libs-1.23-10.fc43.riscv64
ghc-srpm-macros-1.9.2-3.fc43.noarch
glibc-2.42-10.fc43.riscv64
glibc-common-2.42-10.fc43.riscv64
glibc-gconv-extra-2.42-10.fc43.riscv64
glibc-minimal-langpack-2.42-10.fc43.riscv64
gmp-6.3.0-4.rvre0.fc43.riscv64
gnat-srpm-macros-7-1.fc43.noarch
gnulib-l10n-20241231-1.fc43.noarch
gnupg2-2.4.9-5.fc43.riscv64
gnupg2-dirmngr-2.4.9-5.fc43.riscv64
gnupg2-gpg-agent-2.4.9-5.fc43.riscv64
gnupg2-gpgconf-2.4.9-5.fc43.riscv64
gnupg2-keyboxd-2.4.9-5.fc43.riscv64
gnupg2-verify-2.4.9-5.fc43.riscv64
gnutls-3.8.12-1.fc43.riscv64
go-srpm-macros-3.8.0-1.fc43.noarch
gpgverify-2.2-3.fc43.noarch
grep-3.12-2.fc43.riscv64
gzip-1.13-4.fc43.riscv64
ima-evm-utils-libs-1.6.2-6.fc43.riscv64
info-7.2-7.fc43.riscv64
jansson-2.14-3.fc43.riscv64
java-srpm-macros-1-7.fc43.noarch
json-c-0.18-7.fc43.riscv64
kernel-srpm-macros-1.0-27.fc43.noarch
keyutils-libs-1.6.3-6.fc43.riscv64
krb5-libs-1.22.2-2.fc43.riscv64
libacl-2.3.2-4.fc43.riscv64
libarchive-3.8.4-1.fc43.riscv64
libassuan-2.5.7-4.fc43.riscv64
libattr-2.5.2-6.fc43.riscv64
libblkid-2.41.3-7.fc43.riscv64
libbrotli-1.2.0-1.fc43.riscv64
libcap-2.76-3.rvre0.fc43.riscv64
libcap-ng-0.9.1-1.fc43.riscv64
libcom_err-1.47.3-2.rvre0.fc43.riscv64
libcurl-8.15.0-5.fc43.riscv64
libeconf-0.7.9-2.fc43.riscv64
libevent-2.1.12-16.fc43.riscv64
libfdisk-2.41.3-7.fc43.riscv64
libffi-3.5.2-1.fc43.riscv64
libfsverity-1.6-3.fc43.riscv64
libgcc-15.2.1-7.fc43.riscv64
libgcrypt-1.11.1-3.0.riscv64.fc43.riscv64
libgomp-15.2.1-7.fc43.riscv64
libgpg-error-1.55-2.fc43.riscv64
libidn2-2.3.8-2.fc43.riscv64
libksba-1.6.7-4.fc43.riscv64
liblastlog2-2.41.3-7.fc43.riscv64
libmount-2.41.3-7.fc43.riscv64
libnghttp2-1.66.0-2.fc43.riscv64
libpkgconf-2.3.0-3.fc43.riscv64
libpsl-0.21.5-6.fc43.riscv64
libselinux-3.9-5.fc43.riscv64
libsemanage-3.9-4.rvre0.fc43.riscv64
libsepol-3.9-2.rvre0.fc43.riscv64
libsmartcols-2.41.3-7.fc43.riscv64
libssh-0.11.4-1.fc43.riscv64
libssh-config-0.11.4-1.fc43.noarch
libstdc++-15.2.1-7.fc43.riscv64
libtasn1-4.20.0-2.fc43.riscv64
libtool-ltdl-2.5.4-8.fc43.riscv64
libunistring-1.1-10.fc43.riscv64
libusb1-1.0.29-4.fc43.riscv64
libuuid-2.41.3-7.fc43.riscv64
libverto-0.3.2-11.fc43.riscv64
libxcrypt-4.5.2-1.rvre0.fc43.riscv64
libxml2-2.12.10-5.rvre1.fc43.riscv64
libzstd-1.5.7-2.rvre0.fc43.riscv64
lua-libs-5.4.8-4.rvre0.fc43.riscv64
lua-srpm-macros-1-16.fc43.noarch
lz4-libs-1.10.0-3.rvre0.fc43.riscv64
mpfr-4.2.2-2.fc43.riscv64
ncurses-base-6.5-7.20250614.rvre0.fc43.noarch
ncurses-libs-6.5-7.20250614.rvre0.fc43.riscv64
nettle-3.10.1-2.fc43.riscv64
npth-1.8-3.fc43.riscv64
ocaml-srpm-macros-11-2.fc43.noarch
openblas-srpm-macros-2-20.fc43.noarch
openldap-2.6.10-4.fc43.riscv64
openssl-libs-3.5.4-2.fc43.riscv64
p11-kit-0.26.2-1.fc43.riscv64
p11-kit-trust-0.26.2-1.fc43.riscv64
package-notes-srpm-macros-0.5-15.fc43.noarch
pam-libs-1.7.1-4.fc43.riscv64
patch-2.8-2.fc43.riscv64
pcre2-10.47-1.rvre0.fc43.riscv64
pcre2-syntax-10.47-1.rvre0.fc43.noarch
perl-srpm-macros-1-60.fc43.noarch
pkgconf-2.3.0-3.fc43.riscv64
pkgconf-m4-2.3.0-3.fc43.noarch
pkgconf-pkg-config-2.3.0-3.fc43.riscv64
popt-1.19-9.rvre0.fc43.riscv64
publicsuffix-list-dafsa-20260116-1.fc43.noarch
pyproject-srpm-macros-1.18.6-1.fc43.noarch
python-srpm-macros-3.14-5.fc43.noarch
qt5-srpm-macros-5.15.18-1.fc43.noarch
qt6-srpm-macros-6.10.2-1.fc43.noarch
readline-8.3-2.rvre0.fc43.riscv64
redhat-rpm-config-343-15.2.riscv64.fc43.noarch
rpm-6.0.1-1.fc43.riscv64
rpm-build-6.0.1-1.fc43.riscv64
rpm-build-libs-6.0.1-1.fc43.riscv64
rpm-libs-6.0.1-1.fc43.riscv64
rpm-sequoia-1.10.1-1.fc43.riscv64
rpm-sign-libs-6.0.1-1.fc43.riscv64
rust-srpm-macros-28.4-1.fc43.noarch
sed-4.9-5.fc43.riscv64
setup-2.15.0-26.fc43.noarch
shadow-utils-4.18.0-3.fc43.riscv64
sqlite-libs-3.50.2-2.fc43.riscv64
systemd-libs-258.7-1.fc43.riscv64
systemd-standalone-sysusers-258.7-1.fc43.riscv64
tar-1.35-6.fc43.riscv64
tpm2-tss-4.1.3-8.fc43.riscv64
tree-sitter-srpm-macros-0.4.2-1.fc43.noarch
unzip-6.0-67.fc43.riscv64
util-linux-2.41.3-7.fc43.riscv64
util-linux-core-2.41.3-7.fc43.riscv64
which-2.23-3.fc43.riscv64
xxhash-libs-0.8.3-3.fc43.riscv64
xz-5.8.1-4.rvre0.fc43.riscv64
xz-libs-5.8.1-4.rvre0.fc43.riscv64
zig-srpm-macros-1-5.fc43.noarch
zip-3.0-44.fc43.riscv64
zlib-ng-compat-2.3.2-3.0.riscv64.fc43.riscv64
zstd-1.5.7-2.rvre0.fc43.riscv64
Start: buildsrpm
Start: rpmbuild -bs
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1757980800
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-28.fc43.src.rpm
Finish: rpmbuild -bs
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-43-riscv64-1784604925.972895/root/var/log/dnf5.log
INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz
/bin/tar: Removing leading `/' from member names
Finish: buildsrpm
INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-3ome32xy/alt-ergo/alt-ergo.spec) Config(child) 2 minutes 14 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-28.fc43.src.rpm)  Config(fedora-43-riscv64)
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-43-riscv64-1784604925.972895/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 from host and used with --installroot:
  rpm-6.0.1-2.fc44.x86_64
  rpm-sequoia-1.10.2-2.fc44.x86_64
  python3-dnf-4.24.0-3.fc44.noarch
  python3-dnf-plugins-core-4.10.1-9.fc44.noarch
  dnf5-5.4.2.1-1.fc44.x86_64
  dnf5-plugins-5.4.2.1-1.fc44.x86_64
Finish: chroot init
Start: build phase for alt-ergo-2.3.3-28.fc43.src.rpm
Start: build setup for alt-ergo-2.3.3-28.fc43.src.rpm
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1757980800
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-28.fc43.src.rpm
Updating and loading repositories:
 fedora                                 100% |  15.4 KiB/s |   3.5 KiB |  00m00s
 Copr repository                        100% |   6.8 KiB/s |   1.5 KiB |  00m00s
Repositories loaded.
Package                     Arch    Version                     Repository      Size
Installing:
 desktop-file-utils         riscv64 0:0.28-2.fc43               fedora     237.8 KiB
 gtksourceview2-devel       riscv64 0:2.11.2-45.fc43            fedora       1.4 MiB
 libappstream-glib          riscv64 0:0.8.3-4.fc43              fedora       1.3 MiB
 make                       riscv64 1:4.4.1-11.fc43             fedora       1.8 MiB
 ocaml                      riscv64 0:5.3.0-4.rvre0.fc43        fedora     282.9 MiB
 ocaml-dune                 riscv64 0:3.20.2-1.fc43             fedora      28.7 MiB
 ocaml-lablgtk-devel        riscv64 0:2.18.14-3.rvre0.fc43      fedora      31.3 MiB
 ocaml-menhir               riscv64 0:20250912-1.fc43           fedora       9.0 MiB
 ocaml-num-devel            riscv64 0:1.6-2.rvre0.fc43          fedora       1.9 MiB
 ocaml-ocplib-simplex-devel riscv64 1:0.4.1-13.rvre0.fc43       fedora       2.4 MiB
 ocaml-psmt2-frontend-devel riscv64 0:0.4.0-26.fc43             fedora       6.8 MiB
 ocaml-zarith-devel         riscv64 0:1.14-9.rvre0.fc43         fedora       2.8 MiB
 ocaml-zip-devel            riscv64 0:1.13-4.rvre0.fc43         fedora       1.0 MiB
Installing dependencies:
 abattis-cantarell-vf-fonts noarch  0:0.301-15.fc43             fedora     192.7 KiB
 annobin-docs               noarch  0:12.99-1.fc43              fedora      98.9 KiB
 annobin-plugin-gcc         riscv64 0:12.99-1.fc43              fedora       1.0 MiB
 at-spi2-core               riscv64 0:2.58.3-1.fc43             fedora       1.6 MiB
 atk                        riscv64 0:2.58.3-1.fc43             fedora     268.4 KiB
 atk-devel                  riscv64 0:2.58.3-1.fc43             fedora       5.9 MiB
 avahi-libs                 riscv64 0:0.9~rc2-6.fc43            fedora     157.4 KiB
 brotli                     riscv64 0:1.2.0-1.fc43              fedora      33.3 KiB
 brotli-devel               riscv64 0:1.2.0-1.fc43              fedora      65.9 KiB
 bubblewrap                 riscv64 0:0.11.0-2.fc43             fedora     130.9 KiB
 bzip2-devel                riscv64 0:1.0.8-21.rvre0.fc43       fedora     309.8 KiB
 cairo                      riscv64 0:1.18.4-2.fc43             fedora       1.7 MiB
 cairo-devel                riscv64 0:1.18.4-2.fc43             fedora       2.3 MiB
 cairo-gobject              riscv64 0:1.18.4-2.fc43             fedora      38.8 KiB
 cmake-filesystem           riscv64 0:3.31.10-3.0.riscv64.fc43  fedora       0.0   B
 cpp                        riscv64 0:15.2.1-7.fc43             fedora      48.9 MiB
 cups-filesystem            noarch  1:2.4.16-4.fc43             fedora       0.0   B
 cups-libs                  riscv64 1:2.4.16-4.fc43             fedora     642.2 KiB
 dbus                       riscv64 1:1.16.0-4.fc43             fedora       0.0   B
 dbus-libs                  riscv64 1:1.16.0-4.fc43             fedora     343.8 KiB
 default-fonts-core-sans    noarch  0:4.2-5.fc43                fedora      11.9 KiB
 emacs-filesystem           noarch  1:30.0-5.fc43               fedora       0.0   B
 enchant                    riscv64 1:1.6.0-40.fc43             fedora     134.7 KiB
 expat                      riscv64 0:2.7.3-2.rvre0.fc43        fedora     292.6 KiB
 fontconfig                 riscv64 0:2.17.0-3.fc43             fedora     736.3 KiB
 fontconfig-devel           riscv64 0:2.17.0-3.fc43             fedora     123.6 KiB
 fonts-filesystem           noarch  1:2.0.5-23.fc43             fedora       0.0   B
 freetype                   riscv64 0:2.13.3-3.fc43             fedora     801.7 KiB
 freetype-devel             riscv64 0:2.13.3-3.fc43             fedora       8.5 MiB
 fribidi                    riscv64 0:1.0.16-3.fc43             fedora     193.8 KiB
 fribidi-devel              riscv64 0:1.0.16-3.fc43             fedora      78.0 KiB
 gcc                        riscv64 0:15.2.1-7.fc43             fedora     130.5 MiB
 gcc-plugin-annobin         riscv64 0:15.2.1-7.fc43             fedora      48.8 KiB
 gdk-pixbuf2                riscv64 0:2.44.4-1.fc43             fedora       2.5 MiB
 gdk-pixbuf2-devel          riscv64 0:2.44.4-1.fc43             fedora       2.3 MiB
 gettext                    riscv64 0:0.25.1-2.fc43             fedora      13.0 MiB
 gettext-envsubst           riscv64 0:0.25.1-2.fc43             fedora      79.3 KiB
 gettext-libs               riscv64 0:0.25.1-2.fc43             fedora       2.2 MiB
 gettext-runtime            riscv64 0:0.25.1-2.fc43             fedora     452.5 KiB
 glib2                      riscv64 0:2.86.4-1.fc43             fedora      15.1 MiB
 glib2-devel                riscv64 0:2.86.4-1.fc43             fedora      15.7 MiB
 glibc-devel                riscv64 0:2.42-10.fc43              fedora       2.3 MiB
 glycin-devel               riscv64 0:2.0.8-1.fc43              fedora     126.1 KiB
 glycin-libs                riscv64 0:2.0.8-1.fc43              fedora       4.5 MiB
 glycin-loaders             riscv64 0:2.0.8-1.fc43              fedora      13.9 MiB
 gmp-c++                    riscv64 1:6.3.0-4.rvre0.fc43        fedora      27.1 KiB
 gmp-devel                  riscv64 1:6.3.0-4.rvre0.fc43        fedora     350.6 KiB
 google-noto-fonts-common   noarch  0:20251101-2.fc43           fedora      17.7 KiB
 google-noto-sans-vf-fonts  noarch  0:20251101-2.fc43           fedora       1.4 MiB
 graphite2                  riscv64 0:1.3.14-19.fc43            fedora     193.4 KiB
 graphite2-devel            riscv64 0:1.3.14-19.fc43            fedora      49.3 KiB
 gtk-update-icon-cache      riscv64 0:3.24.51-2.fc43            fedora      61.9 KiB
 gtk2                       riscv64 0:2.24.33-24.0.riscv64.fc43 fedora      12.1 MiB
 gtk2-devel                 riscv64 0:2.24.33-24.0.riscv64.fc43 fedora      23.8 MiB
 gtksourceview2             riscv64 0:2.11.2-45.fc43            fedora       3.4 MiB
 gtkspell                   riscv64 0:2.0.16-33.fc43            fedora      82.7 KiB
 harfbuzz                   riscv64 0:11.5.1-2.fc43             fedora       3.2 MiB
 harfbuzz-cairo             riscv64 0:11.5.1-2.fc43             fedora      48.2 KiB
 harfbuzz-devel             riscv64 0:11.5.1-2.fc43             fedora       5.3 MiB
 harfbuzz-icu               riscv64 0:11.5.1-2.fc43             fedora      15.1 KiB
 hicolor-icon-theme         noarch  0:0.18-2.fc43               fedora      72.4 KiB
 hunspell                   riscv64 0:1.7.2-10.fc43             fedora       1.3 MiB
 hunspell-en-US             noarch  0:0.20201207-12.fc43        fedora     557.4 KiB
 hunspell-filesystem        riscv64 0:1.7.2-10.fc43             fedora       0.0   B
 jbigkit-libs               riscv64 0:2.1-32.fc43               fedora     108.8 KiB
 json-glib                  riscv64 0:1.10.8-4.fc43             fedora     580.2 KiB
 kernel-headers             riscv64 0:6.19.6-200.fc43           fedora       6.7 MiB
 lcms2                      riscv64 0:2.16-6.fc43               fedora     408.4 KiB
 lcms2-devel                riscv64 0:2.16-6.fc43               fedora     135.7 KiB
 libX11                     riscv64 0:1.8.12-1.fc43             fedora       1.2 MiB
 libX11-common              noarch  0:1.8.12-1.fc43             fedora       1.2 MiB
 libX11-devel               riscv64 0:1.8.12-1.fc43             fedora       1.0 MiB
 libX11-xcb                 riscv64 0:1.8.12-1.fc43             fedora      10.5 KiB
 libXau                     riscv64 0:1.0.12-3.fc43             fedora      68.6 KiB
 libXau-devel               riscv64 0:1.0.12-3.fc43             fedora       7.5 KiB
 libXcomposite              riscv64 0:0.4.6-6.fc43              fedora      40.2 KiB
 libXcomposite-devel        riscv64 0:0.4.6-6.fc43              fedora       8.0 KiB
 libXcursor                 riscv64 0:1.2.3-3.fc43              fedora      45.2 KiB
 libXcursor-devel           riscv64 0:1.2.3-3.fc43              fedora      22.7 KiB
 libXdamage                 riscv64 0:1.1.6-6.fc43              fedora      39.4 KiB
 libXext                    riscv64 0:1.3.6-4.fc43              fedora      85.5 KiB
 libXext-devel              riscv64 0:1.3.6-4.fc43              fedora      98.9 KiB
 libXfixes                  riscv64 0:6.0.1-6.fc43              fedora      29.8 KiB
 libXfixes-devel            riscv64 0:6.0.1-6.fc43              fedora       9.2 KiB
 libXft                     riscv64 0:2.3.8-9.fc43              fedora     152.2 KiB
 libXft-devel               riscv64 0:2.3.8-9.fc43              fedora      31.7 KiB
 libXi                      riscv64 0:1.8.2-3.fc43              fedora      68.2 KiB
 libXi-devel                riscv64 0:1.8.2-3.fc43              fedora     132.5 KiB
 libXinerama                riscv64 0:1.1.5-9.fc43              fedora      14.7 KiB
 libXinerama-devel          riscv64 0:1.1.5-9.fc43              fedora       7.0 KiB
 libXrandr                  riscv64 0:1.5.4-6.fc43              fedora      47.4 KiB
 libXrandr-devel            riscv64 0:1.5.4-6.fc43              fedora      21.8 KiB
 libXrender                 riscv64 0:0.9.12-3.fc43             fedora      45.7 KiB
 libXrender-devel           riscv64 0:0.9.12-3.fc43             fedora      50.1 KiB
 libXtst                    riscv64 0:1.2.5-3.fc43              fedora      33.2 KiB
 libaom                     riscv64 0:3.13.1-1.fc43             fedora       2.7 MiB
 libart_lgpl                riscv64 0:2.3.21-36.fc43            fedora     114.6 KiB
 libasan                    riscv64 0:15.2.1-7.fc43             fedora       1.5 MiB
 libatomic                  riscv64 0:15.2.1-7.fc43             fedora      24.2 KiB
 libblkid-devel             riscv64 0:2.41.3-7.fc43             fedora      44.9 KiB
 libdatrie                  riscv64 0:0.2.13-12.fc43            fedora      62.2 KiB
 libdatrie-devel            riscv64 0:0.2.13-12.fc43            fedora     557.8 KiB
 libdav1d                   riscv64 0:1.5.3-1.fc43              fedora     529.6 KiB
 libffi-devel               riscv64 0:3.5.2-1.fc43              fedora      30.2 KiB
 libglade2                  riscv64 0:2.6.4-36.fc43             fedora     140.1 KiB
 libgnomecanvas             riscv64 0:2.30.3-32.fc43            fedora     937.8 KiB
 libheif                    riscv64 0:1.20.2-11.rvre0.fc43      fedora       1.8 MiB
 libicu                     riscv64 0:77.1-1.fc43               fedora      36.1 MiB
 libicu-devel               riscv64 0:77.1-1.fc43               fedora       5.0 MiB
 libjpeg-turbo              riscv64 0:3.1.3-1.fc43              fedora     624.0 KiB
 libjxl                     riscv64 1:0.11.1-8.rvre0.fc43       fedora       2.3 MiB
 liblerc                    riscv64 0:4.0.0-9.fc43              fedora     564.0 KiB
 libmount-devel             riscv64 0:2.41.3-7.fc43             fedora      65.5 KiB
 libmpc                     riscv64 0:1.3.1-8.fc43              fedora     144.3 KiB
 libopenjph                 riscv64 0:0.22.0-2.fc43             fedora     289.2 KiB
 libpng                     riscv64 2:1.6.55-1.fc43             fedora     210.0 KiB
 libpng-devel               riscv64 2:1.6.55-1.fc43             fedora     887.0 KiB
 librsvg2                   riscv64 0:2.61.0-5.fc43             fedora       5.2 MiB
 libseccomp                 riscv64 0:2.6.0-2.rvre0.fc43        fedora     225.3 KiB
 libseccomp-devel           riscv64 0:2.6.0-2.rvre0.fc43        fedora     114.0 KiB
 libselinux-devel           riscv64 0:3.9-5.fc43                fedora     127.3 KiB
 libsepol-devel             riscv64 0:3.9-2.rvre0.fc43          fedora     121.4 KiB
 libtextstyle               riscv64 0:0.25.1-2.fc43             fedora     353.2 KiB
 libthai                    riscv64 0:0.1.29-11.fc43            fedora     779.2 KiB
 libthai-devel              riscv64 0:0.1.29-11.fc43            fedora     644.3 KiB
 libtiff                    riscv64 0:4.7.1-1.rvre0.fc43        fedora     558.7 KiB
 libubsan                   riscv64 0:15.2.1-7.fc43             fedora     383.2 KiB
 libwebp                    riscv64 0:1.6.0-2.fc43              fedora     586.0 KiB
 libxcb                     riscv64 0:1.17.0-6.fc43             fedora       1.1 MiB
 libxcb-devel               riscv64 0:1.17.0-6.fc43             fedora       2.7 MiB
 libxcrypt-devel            riscv64 0:4.5.2-1.rvre0.fc43        fedora      31.1 KiB
 libxml2-devel              riscv64 0:2.12.10-5.rvre1.fc43      fedora       3.4 MiB
 libzstd-devel              riscv64 0:1.5.7-2.rvre0.fc43        fedora     208.0 KiB
 lzo                        riscv64 0:2.10-15.fc43              fedora     146.5 KiB
 lzo-devel                  riscv64 0:2.10-15.fc43              fedora     212.2 KiB
 lzo-minilzo                riscv64 0:2.10-15.fc43              fedora      36.5 KiB
 mpdecimal                  riscv64 0:4.0.1-2.fc43              fedora     204.9 KiB
 noopenh264                 riscv64 0:2.6.0-2.fc43              fedora      38.7 KiB
 ocaml-compiler-libs        riscv64 0:5.3.0-4.rvre0.fc43        fedora     153.5 MiB
 ocaml-lablgtk              riscv64 0:2.18.14-3.rvre0.fc43      fedora      14.5 MiB
 ocaml-menhirlib            riscv64 0:20250912-1.fc43           fedora     360.8 KiB
 ocaml-menhirlib-devel      riscv64 0:20250912-1.fc43           fedora       1.3 MiB
 ocaml-num                  riscv64 0:1.6-2.rvre0.fc43          fedora     543.7 KiB
 ocaml-ocplib-simplex       riscv64 1:0.4.1-13.rvre0.fc43       fedora     610.8 KiB
 ocaml-psmt2-frontend       riscv64 0:0.4.0-26.fc43             fedora       4.5 MiB
 ocaml-rpm-macros           noarch  0:5.3.0-4.rvre0.fc43        fedora      19.9 KiB
 ocaml-runtime              riscv64 0:5.3.0-4.rvre0.fc43        fedora       4.3 MiB
 ocaml-zarith               riscv64 0:1.14-9.rvre0.fc43         fedora     363.4 KiB
 ocaml-zip                  riscv64 0:1.13-4.rvre0.fc43         fedora     282.0 KiB
 openjpeg                   riscv64 0:2.5.4-1.fc43              fedora     391.9 KiB
 pango                      riscv64 0:1.57.0-1.fc43             fedora     972.5 KiB
 pango-devel                riscv64 0:1.57.0-1.fc43             fedora       1.5 MiB
 pcre2-devel                riscv64 0:10.47-1.rvre0.fc43        fedora       2.1 MiB
 pcre2-utf16                riscv64 0:10.47-1.rvre0.fc43        fedora     558.6 KiB
 pcre2-utf32                riscv64 0:10.47-1.rvre0.fc43        fedora     534.6 KiB
 pixman                     riscv64 0:0.46.2-2.fc43             fedora     504.0 KiB
 pixman-devel               riscv64 0:0.46.2-2.fc43             fedora      56.1 KiB
 python-pip-wheel           noarch  0:25.1.1-18.fc43            fedora       1.2 MiB
 python3                    riscv64 0:3.14.3-1.fc43             fedora      28.6 KiB
 python3-libs               riscv64 0:3.14.3-1.fc43             fedora      42.8 MiB
 python3-packaging          noarch  0:25.0-7.fc43               fedora     607.4 KiB
 rav1e-libs                 riscv64 0:0.8.1-2.fc43              fedora       1.8 MiB
 shared-mime-info           riscv64 0:2.4-2.fc43                fedora       5.2 MiB
 svt-av1-libs               riscv64 0:3.1.2-1.fc43              fedora       2.3 MiB
 sysprof-capture-devel      riscv64 0:49.0-2.rvre0.fc43         fedora       2.8 MiB
 tzdata                     noarch  0:2025c-1.fc43              fedora       1.6 MiB
 xml-common                 noarch  0:0.6.3-67.fc43             fedora      78.4 KiB
 xorg-x11-proto-devel       noarch  0:2024.1-5.fc43             fedora       1.7 MiB
 xprop                      riscv64 0:1.2.8-4.fc43              fedora      58.5 KiB
 xz-devel                   riscv64 1:5.8.1-4.rvre0.fc43        fedora     258.8 KiB
 zlib-ng                    riscv64 0:2.3.2-3.0.riscv64.fc43    fedora     133.5 KiB
 zlib-ng-compat-devel       riscv64 0:2.3.2-3.0.riscv64.fc43    fedora     107.0 KiB
 zlib-ng-devel              riscv64 0:2.3.2-3.0.riscv64.fc43    fedora     103.9 KiB

Transaction Summary:
 Installing:       186 packages

Total size of inbound packages is 269 MiB. Need to download 269 MiB.
After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B).
[  1/186] desktop-file-utils-0:0.28-2.f 100% | 932.0 KiB/s |  71.8 KiB |  00m00s
[  2/186] gtksourceview2-devel-0:2.11.2 100% |   1.3 MiB/s | 106.5 KiB |  00m00s
[  3/186] libappstream-glib-0:0.8.3-4.f 100% |   3.5 MiB/s | 394.0 KiB |  00m00s
[  4/186] make-1:4.4.1-11.fc43.riscv64  100% |   3.3 MiB/s | 580.5 KiB |  00m00s
[  5/186] ocaml-lablgtk-devel-0:2.18.14 100% |  33.3 MiB/s |   4.5 MiB |  00m00s
[  6/186] ocaml-dune-0:3.20.2-1.fc43.ri 100% |  23.4 MiB/s |   6.8 MiB |  00m00s
[  7/186] ocaml-num-devel-0:1.6-2.rvre0 100% |  13.4 MiB/s | 465.4 KiB |  00m00s
[  8/186] ocaml-menhir-0:20250912-1.fc4 100% |  44.6 MiB/s |   2.8 MiB |  00m00s
[  9/186] ocaml-ocplib-simplex-devel-1: 100% |  15.9 MiB/s | 667.1 KiB |  00m00s
[ 10/186] ocaml-psmt2-frontend-devel-0: 100% |  49.7 MiB/s |   2.5 MiB |  00m00s
[ 11/186] ocaml-zarith-devel-0:1.14-9.r 100% |  18.0 MiB/s | 606.6 KiB |  00m00s
[ 12/186] ocaml-zip-devel-0:1.13-4.rvre 100% |  14.3 MiB/s | 396.6 KiB |  00m00s
[ 13/186] emacs-filesystem-1:30.0-5.fc4 100% | 468.0 KiB/s |   7.5 KiB |  00m00s
[ 14/186] gtk2-devel-0:2.24.33-24.0.ris 100% |  40.4 MiB/s |   2.7 MiB |  00m00s
[ 15/186] glib2-0:2.86.4-1.fc43.riscv64 100% |  41.9 MiB/s |   3.2 MiB |  00m00s
[ 16/186] gtksourceview2-0:2.11.2-45.fc 100% |  20.8 MiB/s | 682.3 KiB |  00m00s
[ 17/186] ocaml-0:5.3.0-4.rvre0.fc43.ri 100% |  85.3 MiB/s |  50.8 MiB |  00m01s
[ 18/186] gdk-pixbuf2-0:2.44.4-1.fc43.r 100% |   9.2 MiB/s | 468.7 KiB |  00m00s
[ 19/186] json-glib-0:1.10.8-4.fc43.ris 100% |   9.4 MiB/s | 163.1 KiB |  00m00s
[ 20/186] libzstd-devel-0:1.5.7-2.rvre0 100% |   2.6 MiB/s |  52.9 KiB |  00m00s
[ 21/186] ocaml-runtime-0:5.3.0-4.rvre0 100% |  41.0 MiB/s |   2.2 MiB |  00m00s
[ 22/186] libxml2-devel-0:2.12.10-5.rvr 100% |   1.4 MiB/s | 494.1 KiB |  00m00s
[ 23/186] gcc-0:15.2.1-7.fc43.riscv64   100% | 128.8 MiB/s |  42.4 MiB |  00m00s
[ 24/186] ocaml-rpm-macros-0:5.3.0-4.rv 100% | 232.3 KiB/s |  13.5 KiB |  00m00s
[ 25/186] ocaml-menhirlib-devel-0:20250 100% |  19.1 MiB/s | 605.2 KiB |  00m00s
[ 26/186] ocaml-num-0:1.6-2.rvre0.fc43. 100% |   5.2 MiB/s | 248.2 KiB |  00m00s
[ 27/186] ocaml-lablgtk-0:2.18.14-3.rvr 100% |  52.8 MiB/s |   5.4 MiB |  00m00s
[ 28/186] ocaml-ocplib-simplex-1:0.4.1- 100% |  14.2 MiB/s | 364.0 KiB |  00m00s
[ 29/186] gmp-devel-1:6.3.0-4.rvre0.fc4 100% |   6.3 MiB/s | 173.3 KiB |  00m00s
[ 30/186] ocaml-psmt2-frontend-0:0.4.0- 100% |  40.3 MiB/s |   1.3 MiB |  00m00s
[ 31/186] ocaml-zarith-0:1.14-9.rvre0.f 100% |   7.5 MiB/s | 161.1 KiB |  00m00s
[ 32/186] ocaml-zip-0:1.13-4.rvre0.fc43 100% |   6.7 MiB/s | 136.9 KiB |  00m00s
[ 33/186] zlib-ng-devel-0:2.3.2-3.0.ris 100% |   2.0 MiB/s |  37.2 KiB |  00m00s
[ 34/186] atk-devel-0:2.58.3-1.fc43.ris 100% |  12.4 MiB/s | 342.4 KiB |  00m00s
[ 35/186] cairo-0:1.18.4-2.fc43.riscv64 100% |  34.7 MiB/s | 782.3 KiB |  00m00s
[ 36/186] cairo-devel-0:1.18.4-2.fc43.r 100% |   8.6 MiB/s | 175.5 KiB |  00m00s
[ 37/186] gdk-pixbuf2-devel-0:2.44.4-1. 100% |  19.1 MiB/s | 332.4 KiB |  00m00s
[ 38/186] glib2-devel-0:2.86.4-1.fc43.r 100% |  55.7 MiB/s |   1.4 MiB |  00m00s
[ 39/186] ocaml-compiler-libs-0:5.3.0-4 100% | 106.8 MiB/s |  57.3 MiB |  00m01s
[ 40/186] gtk2-0:2.24.33-24.0.riscv64.f 100% |  36.3 MiB/s |   3.3 MiB |  00m00s
[ 41/186] libX11-devel-0:1.8.12-1.fc43. 100% |  11.9 MiB/s | 911.3 KiB |  00m00s
[ 42/186] libXcomposite-devel-0:0.4.6-6 100% | 982.1 KiB/s |  15.7 KiB |  00m00s
[ 43/186] libXcursor-devel-0:1.2.3-3.fc 100% |   1.9 MiB/s |  29.1 KiB |  00m00s
[ 44/186] libXext-devel-0:1.3.6-4.fc43. 100% |   4.1 MiB/s |  72.2 KiB |  00m00s
[ 45/186] libXfixes-devel-0:6.0.1-6.fc4 100% | 776.7 KiB/s |  12.4 KiB |  00m00s
[ 46/186] libXi-devel-0:1.8.2-3.fc43.ri 100% |   6.7 MiB/s | 103.0 KiB |  00m00s
[ 47/186] libXinerama-devel-0:1.1.5-9.f 100% | 860.8 KiB/s |  12.9 KiB |  00m00s
[ 48/186] libXrandr-devel-0:1.5.4-6.fc4 100% |   1.2 MiB/s |  19.1 KiB |  00m00s
[ 49/186] pango-0:1.57.0-1.fc43.riscv64 100% |  21.1 MiB/s | 367.6 KiB |  00m00s
[ 50/186] pango-devel-0:1.57.0-1.fc43.r 100% |   8.8 MiB/s | 153.4 KiB |  00m00s
[ 51/186] python3-0:3.14.3-1.fc43.riscv 100% |   1.7 MiB/s |  28.0 KiB |  00m00s
[ 52/186] atk-0:2.58.3-1.fc43.riscv64   100% |   5.4 MiB/s |  82.9 KiB |  00m00s
[ 53/186] fontconfig-0:2.17.0-3.fc43.ri 100% |  15.3 MiB/s | 266.7 KiB |  00m00s
[ 54/186] freetype-0:2.13.3-3.fc43.risc 100% |  25.4 MiB/s | 441.4 KiB |  00m00s
[ 55/186] cmake-filesystem-0:3.31.10-3. 100% | 908.1 KiB/s |  13.6 KiB |  00m00s
[ 56/186] harfbuzz-0:11.5.1-2.fc43.risc 100% |  66.9 MiB/s |   1.3 MiB |  00m00s
[ 57/186] xz-devel-1:5.8.1-4.rvre0.fc43 100% |   4.1 MiB/s |  62.5 KiB |  00m00s
[ 58/186] zlib-ng-compat-devel-0:2.3.2- 100% |   2.3 MiB/s |  37.8 KiB |  00m00s
[ 59/186] shared-mime-info-0:2.4-2.fc43 100% |  21.5 MiB/s | 397.2 KiB |  00m00s
[ 60/186] glycin-libs-0:2.0.8-1.fc43.ri 100% |  69.1 MiB/s |   1.7 MiB |  00m00s
[ 61/186] libasan-0:15.2.1-7.fc43.riscv 100% |  19.5 MiB/s | 538.9 KiB |  00m00s
[ 62/186] glibc-devel-0:2.42-10.fc43.ri 100% |  15.3 MiB/s | 484.3 KiB |  00m00s
[ 63/186] libatomic-0:15.2.1-7.fc43.ris 100% |   3.0 MiB/s |  46.3 KiB |  00m00s
[ 64/186] libmpc-0:1.3.1-8.fc43.riscv64 100% |   4.7 MiB/s |  76.9 KiB |  00m00s
[ 65/186] libubsan-0:15.2.1-7.fc43.risc 100% |  13.7 MiB/s | 238.0 KiB |  00m00s
[ 66/186] gtkspell-0:2.0.16-33.fc43.ris 100% |   1.7 MiB/s |  42.6 KiB |  00m00s
[ 67/186] cpp-0:15.2.1-7.fc43.riscv64   100% | 152.1 MiB/s |  14.9 MiB |  00m00s
[ 68/186] libglade2-0:2.6.4-36.fc43.ris 100% |   2.2 MiB/s |  60.4 KiB |  00m00s
[ 69/186] libgnomecanvas-0:2.30.3-32.fc 100% |  12.4 MiB/s | 229.1 KiB |  00m00s
[ 70/186] ocaml-menhirlib-0:20250912-1. 100% |  10.1 MiB/s | 185.6 KiB |  00m00s
[ 71/186] gmp-c++-1:6.3.0-4.rvre0.fc43. 100% | 971.8 KiB/s |  17.5 KiB |  00m00s
[ 72/186] librsvg2-0:2.61.0-5.fc43.risc 100% |  86.8 MiB/s |   1.9 MiB |  00m00s
[ 73/186] libX11-0:1.8.12-1.fc43.riscv6 100% |  36.4 MiB/s | 670.1 KiB |  00m00s
[ 74/186] zlib-ng-0:2.3.2-3.0.riscv64.f 100% |   4.3 MiB/s |  83.4 KiB |  00m00s
[ 75/186] libXext-0:1.3.6-4.fc43.riscv6 100% |   2.5 MiB/s |  40.6 KiB |  00m00s
[ 76/186] libXrender-0:0.9.12-3.fc43.ri 100% |   1.8 MiB/s |  27.7 KiB |  00m00s
[ 77/186] libpng-2:1.6.55-1.fc43.riscv6 100% |   7.5 MiB/s | 123.4 KiB |  00m00s
[ 78/186] libxcb-0:1.17.0-6.fc43.riscv6 100% |  15.0 MiB/s | 246.4 KiB |  00m00s
[ 79/186] lzo-0:2.10-15.fc43.riscv64    100% |   4.4 MiB/s |  71.9 KiB |  00m00s
[ 80/186] pixman-0:0.46.2-2.fc43.riscv6 100% |  13.5 MiB/s | 235.9 KiB |  00m00s
[ 81/186] fontconfig-devel-0:2.17.0-3.f 100% |   7.6 MiB/s | 132.3 KiB |  00m00s
[ 82/186] libXrender-devel-0:0.9.12-3.f 100% |   1.2 MiB/s |  18.9 KiB |  00m00s
[ 83/186] libpng-devel-2:1.6.55-1.fc43. 100% |  15.2 MiB/s | 294.9 KiB |  00m00s
[ 84/186] freetype-devel-0:2.13.3-3.fc4 100% |  45.2 MiB/s |   1.0 MiB |  00m00s
[ 85/186] libxcb-devel-0:1.17.0-6.fc43. 100% |  56.5 MiB/s |   1.1 MiB |  00m00s
[ 86/186] pixman-devel-0:0.46.2-2.fc43. 100% |   1.2 MiB/s |  17.8 KiB |  00m00s
[ 87/186] glycin-devel-0:2.0.8-1.fc43.r 100% |   1.5 MiB/s |  24.3 KiB |  00m00s
[ 88/186] libffi-devel-0:3.5.2-1.fc43.r 100% |   1.7 MiB/s |  28.5 KiB |  00m00s
[ 89/186] libmount-devel-0:2.41.3-7.fc4 100% |   1.5 MiB/s |  24.5 KiB |  00m00s
[ 90/186] libselinux-devel-0:3.9-5.fc43 100% |   6.7 MiB/s | 116.5 KiB |  00m00s
[ 91/186] pcre2-devel-0:10.47-1.rvre0.f 100% |  28.1 MiB/s | 517.5 KiB |  00m00s
[ 92/186] python3-packaging-0:25.0-7.fc 100% |   8.7 MiB/s | 151.3 KiB |  00m00s
[ 93/186] sysprof-capture-devel-0:49.0- 100% |  21.8 MiB/s | 378.7 KiB |  00m00s
[ 94/186] cups-libs-1:2.4.16-4.fc43.ris 100% |  16.0 MiB/s | 279.2 KiB |  00m00s
[ 95/186] gtk-update-icon-cache-0:3.24. 100% |   2.2 MiB/s |  34.2 KiB |  00m00s
[ 96/186] hicolor-icon-theme-0:0.18-2.f 100% |   4.3 MiB/s |  65.9 KiB |  00m00s
[ 97/186] libXcomposite-0:0.4.6-6.fc43. 100% |   1.6 MiB/s |  24.2 KiB |  00m00s
[ 98/186] libXcursor-0:1.2.3-3.fc43.ris 100% |   1.8 MiB/s |  31.7 KiB |  00m00s
[ 99/186] libXdamage-0:1.1.6-6.fc43.ris 100% |   1.5 MiB/s |  23.1 KiB |  00m00s
[100/186] libXfixes-0:6.0.1-6.fc43.risc 100% |   1.2 MiB/s |  19.1 KiB |  00m00s
[101/186] libXi-0:1.8.2-3.fc43.riscv64  100% |   2.7 MiB/s |  41.7 KiB |  00m00s
[102/186] libXinerama-0:1.1.5-9.fc43.ri 100% | 883.1 KiB/s |  14.1 KiB |  00m00s
[103/186] lzo-devel-0:2.10-15.fc43.risc 100% | 243.4 KiB/s |  38.9 KiB |  00m00s
[104/186] libXrandr-0:1.5.4-6.fc43.risc 100% |   1.8 MiB/s |  27.7 KiB |  00m00s
[105/186] libtiff-0:4.7.1-1.rvre0.fc43. 100% |  13.7 MiB/s | 225.2 KiB |  00m00s
[106/186] libX11-xcb-0:1.8.12-1.fc43.ri 100% | 749.3 KiB/s |  11.2 KiB |  00m00s
[107/186] xorg-x11-proto-devel-0:2024.1 100% |  12.4 MiB/s | 265.6 KiB |  00m00s
[108/186] fribidi-0:1.0.16-3.fc43.riscv 100% |   3.1 MiB/s |  54.4 KiB |  00m00s
[109/186] libXft-0:2.3.8-9.fc43.riscv64 100% |   4.8 MiB/s |  73.5 KiB |  00m00s
[110/186] fribidi-devel-0:1.0.16-3.fc43 100% |   1.6 MiB/s |  24.9 KiB |  00m00s
[111/186] libthai-0:0.1.29-11.fc43.risc 100% |  12.8 MiB/s | 210.4 KiB |  00m00s
[112/186] harfbuzz-devel-0:11.5.1-2.fc4 100% |  24.1 MiB/s | 420.1 KiB |  00m00s
[113/186] libXft-devel-0:2.3.8-9.fc43.r 100% |   2.3 MiB/s |  36.0 KiB |  00m00s
[114/186] libthai-devel-0:0.1.29-11.fc4 100% |   7.6 MiB/s | 116.3 KiB |  00m00s
[115/186] default-fonts-core-sans-0:4.2 100% |   1.4 MiB/s |  23.8 KiB |  00m00s
[116/186] at-spi2-core-0:2.58.3-1.fc43. 100% |  17.6 MiB/s | 379.5 KiB |  00m00s
[117/186] fonts-filesystem-1:2.0.5-23.f 100% | 578.5 KiB/s |   8.7 KiB |  00m00s
[118/186] xml-common-0:0.6.3-67.fc43.no 100% |   2.0 MiB/s |  31.0 KiB |  00m00s
[119/186] graphite2-0:1.3.14-19.fc43.ri 100% |   6.5 MiB/s | 107.2 KiB |  00m00s
[120/186] python3-libs-0:3.14.3-1.fc43. 100% | 115.1 MiB/s |   9.6 MiB |  00m00s
[121/186] lcms2-0:2.16-6.fc43.riscv64   100% |   7.4 MiB/s | 196.2 KiB |  00m00s
[122/186] glycin-loaders-0:2.0.8-1.fc43 100% |  75.7 MiB/s |   3.3 MiB |  00m00s
[123/186] libseccomp-0:2.6.0-2.rvre0.fc 100% |   4.5 MiB/s |  78.8 KiB |  00m00s
[124/186] libxcrypt-devel-0:4.5.2-1.rvr 100% |   1.9 MiB/s |  29.5 KiB |  00m00s
[125/186] enchant-1:1.6.0-40.fc43.riscv 100% |   3.1 MiB/s |  61.3 KiB |  00m00s
[126/186] libart_lgpl-0:2.3.21-36.fc43. 100% |   3.9 MiB/s |  71.4 KiB |  00m00s
[127/186] cairo-gobject-0:1.18.4-2.fc43 100% |   1.1 MiB/s |  17.2 KiB |  00m00s
[128/186] libdav1d-0:1.5.3-1.fc43.riscv 100% |  18.2 MiB/s | 298.0 KiB |  00m00s
[129/186] libX11-common-0:1.8.12-1.fc43 100% |   9.4 MiB/s | 144.8 KiB |  00m00s
[130/186] libXau-0:1.0.12-3.fc43.riscv6 100% |   2.2 MiB/s |  33.3 KiB |  00m00s
[131/186] brotli-devel-0:1.2.0-1.fc43.r 100% |   2.1 MiB/s |  34.3 KiB |  00m00s
[132/186] gettext-0:0.25.1-2.fc43.riscv 100% |  68.0 MiB/s |   1.7 MiB |  00m00s
[133/186] bzip2-devel-0:1.0.8-21.rvre0. 100% |  13.0 MiB/s | 213.2 KiB |  00m00s
[134/186] libXau-devel-0:1.0.12-3.fc43. 100% | 859.8 KiB/s |  13.8 KiB |  00m00s
[135/186] kernel-headers-0:6.19.6-200.f 100% |  13.4 MiB/s |   1.5 MiB |  00m00s
[136/186] lzo-minilzo-0:2.10-15.fc43.ri 100% |   1.6 MiB/s |  23.9 KiB |  00m00s
[137/186] lcms2-devel-0:2.16-6.fc43.ris 100% |   2.1 MiB/s |  31.7 KiB |  00m00s
[138/186] libseccomp-devel-0:2.6.0-2.rv 100% |   3.2 MiB/s |  55.0 KiB |  00m00s
[139/186] libblkid-devel-0:2.41.3-7.fc4 100% |   1.5 MiB/s |  23.3 KiB |  00m00s
[140/186] libsepol-devel-0:3.9-2.rvre0. 100% |   2.6 MiB/s |  40.1 KiB |  00m00s
[141/186] pcre2-utf16-0:10.47-1.rvre0.f 100% |  14.6 MiB/s | 254.5 KiB |  00m00s
[142/186] pcre2-utf32-0:10.47-1.rvre0.f 100% |  14.7 MiB/s | 241.6 KiB |  00m00s
[143/186] avahi-libs-0:0.9~rc2-6.fc43.r 100% |   4.5 MiB/s |  69.6 KiB |  00m00s
[144/186] cups-filesystem-1:2.4.16-4.fc 100% | 865.6 KiB/s |  13.0 KiB |  00m00s
[145/186] jbigkit-libs-0:2.1-32.fc43.ri 100% |   3.3 MiB/s |  54.1 KiB |  00m00s
[146/186] libjpeg-turbo-0:3.1.3-1.fc43. 100% |  13.7 MiB/s | 224.0 KiB |  00m00s
[147/186] liblerc-0:4.0.0-9.fc43.riscv6 100% |  13.0 MiB/s | 212.2 KiB |  00m00s
[148/186] libwebp-0:1.6.0-2.fc43.riscv6 100% |  16.0 MiB/s | 261.6 KiB |  00m00s
[149/186] libdatrie-0:0.2.13-12.fc43.ri 100% |   2.2 MiB/s |  33.8 KiB |  00m00s
[150/186] graphite2-devel-0:1.3.14-19.f 100% |   1.3 MiB/s |  20.5 KiB |  00m00s
[151/186] harfbuzz-cairo-0:11.5.1-2.fc4 100% |   2.0 MiB/s |  32.6 KiB |  00m00s
[152/186] harfbuzz-icu-0:11.5.1-2.fc43. 100% |   1.0 MiB/s |  15.6 KiB |  00m00s
[153/186] libicu-devel-0:77.1-1.fc43.ri 100% |  40.9 MiB/s | 753.1 KiB |  00m00s
[154/186] libdatrie-devel-0:0.2.13-12.f 100% |   7.1 MiB/s | 130.6 KiB |  00m00s
[155/186] expat-0:2.7.3-2.rvre0.fc43.ri 100% |   7.5 MiB/s | 122.3 KiB |  00m00s
[156/186] mpdecimal-0:4.0.1-2.fc43.risc 100% |   6.8 MiB/s | 105.0 KiB |  00m00s
[157/186] tzdata-0:2025c-1.fc43.noarch  100% |  23.3 MiB/s | 429.3 KiB |  00m00s
[158/186] python-pip-wheel-0:25.1.1-18. 100% |  60.3 MiB/s |   1.2 MiB |  00m00s
[159/186] dbus-1:1.16.0-4.fc43.riscv64  100% | 490.4 KiB/s |   7.4 KiB |  00m00s
[160/186] dbus-libs-1:1.16.0-4.fc43.ris 100% |   9.9 MiB/s | 162.0 KiB |  00m00s
[161/186] libXtst-0:1.2.5-3.fc43.riscv6 100% |   1.4 MiB/s |  21.0 KiB |  00m00s
[162/186] xprop-0:1.2.8-4.fc43.riscv64  100% |   2.4 MiB/s |  36.1 KiB |  00m00s
[163/186] abattis-cantarell-vf-fonts-0: 100% |   7.3 MiB/s | 120.1 KiB |  00m00s
[164/186] google-noto-sans-vf-fonts-0:2 100% |  35.3 MiB/s | 614.5 KiB |  00m00s
[165/186] bubblewrap-0:0.11.0-2.fc43.ri 100% |   3.8 MiB/s |  66.6 KiB |  00m00s
[166/186] libheif-0:1.20.2-11.rvre0.fc4 100% |  37.7 MiB/s | 734.3 KiB |  00m00s
[167/186] libjxl-1:0.11.1-8.rvre0.fc43. 100% |  46.0 MiB/s | 989.8 KiB |  00m00s
[168/186] hunspell-0:1.7.2-10.fc43.risc 100% |  29.3 MiB/s | 509.4 KiB |  00m00s
[169/186] gettext-libs-0:0.25.1-2.fc43. 100% |  38.6 MiB/s | 789.6 KiB |  00m00s
[170/186] gettext-runtime-0:0.25.1-2.fc 100% |   6.8 MiB/s | 112.2 KiB |  00m00s
[171/186] libtextstyle-0:0.25.1-2.fc43. 100% |   8.2 MiB/s | 142.3 KiB |  00m00s
[172/186] brotli-0:1.2.0-1.fc43.riscv64 100% |   1.5 MiB/s |  23.5 KiB |  00m00s
[173/186] google-noto-fonts-common-0:20 100% | 665.9 KiB/s |  17.3 KiB |  00m00s
[174/186] libopenjph-0:0.22.0-2.fc43.ri 100% |   5.8 MiB/s | 123.7 KiB |  00m00s
[175/186] libaom-0:3.13.1-1.fc43.riscv6 100% |  31.5 MiB/s |   1.4 MiB |  00m00s
[176/186] libicu-0:77.1-1.fc43.riscv64  100% | 134.3 MiB/s |  10.7 MiB |  00m00s
[177/186] noopenh264-0:2.6.0-2.fc43.ris 100% | 881.1 KiB/s |  22.0 KiB |  00m00s
[178/186] openjpeg-0:2.5.4-1.fc43.riscv 100% |   9.5 MiB/s | 204.7 KiB |  00m00s
[179/186] hunspell-en-US-0:0.20201207-1 100% |  10.4 MiB/s | 180.3 KiB |  00m00s
[180/186] svt-av1-libs-0:3.1.2-1.fc43.r 100% |  47.7 MiB/s | 976.4 KiB |  00m00s
[181/186] rav1e-libs-0:0.8.1-2.fc43.ris 100% |  34.9 MiB/s | 785.3 KiB |  00m00s
[182/186] hunspell-filesystem-0:1.7.2-1 100% | 497.7 KiB/s |   7.5 KiB |  00m00s
[183/186] gettext-envsubst-0:0.25.1-2.f 100% |   2.9 MiB/s |  44.4 KiB |  00m00s
[184/186] annobin-plugin-gcc-0:12.99-1. 100% |  48.6 MiB/s | 995.4 KiB |  00m00s
[185/186] gcc-plugin-annobin-0:15.2.1-7 100% |   3.4 MiB/s |  59.7 KiB |  00m00s
[186/186] annobin-docs-0:12.99-1.fc43.n 100% |   5.8 MiB/s |  89.5 KiB |  00m00s
--------------------------------------------------------------------------------
[186/186] Total                         100% | 114.0 MiB/s | 268.6 MiB |  00m02s
Running transaction
[  1/188] Verify package files          100% | 132.0   B/s | 186.0   B |  00m01s
[  2/188] Prepare transaction           100% |   1.9 KiB/s | 186.0   B |  00m00s
[  3/188] Installing glib2-0:2.86.4-1.f 100% | 274.2 MiB/s |  15.1 MiB |  00m00s
[  4/188] Installing ocaml-runtime-0:5. 100% | 188.9 MiB/s |   4.3 MiB |  00m00s
[  5/188] Installing xorg-x11-proto-dev 100% | 222.8 MiB/s |   1.8 MiB |  00m00s
[  6/188] Installing shared-mime-info-0 100% |  22.2 MiB/s |   2.6 MiB |  00m00s
[  7/188] Installing libseccomp-0:2.6.0 100% | 221.8 MiB/s | 227.2 KiB |  00m00s
[  8/188] Installing fonts-filesystem-1 100% |   0.0   B/s | 788.0   B |  00m00s
[  9/188] Installing libpng-2:1.6.55-1. 100% | 206.3 MiB/s | 211.3 KiB |  00m00s
[ 10/188] Installing cmake-filesystem-0 100% |   7.4 MiB/s |   7.6 KiB |  00m00s
[ 11/188] Installing zlib-ng-compat-dev 100% | 106.0 MiB/s | 108.6 KiB |  00m00s
[ 12/188] Installing libpng-devel-2:1.6 100% |  58.0 MiB/s | 890.9 KiB |  00m00s
[ 13/188] Installing hunspell-filesyste 100% |   0.0   B/s | 388.0   B |  00m00s
[ 14/188] Installing libicu-0:77.1-1.fc 100% | 372.6 MiB/s |  36.1 MiB |  00m00s
[ 15/188] Installing libtextstyle-0:0.2 100% | 345.7 MiB/s | 353.9 KiB |  00m00s
[ 16/188] Installing gettext-libs-0:0.2 100% | 369.3 MiB/s |   2.2 MiB |  00m00s
[ 17/188] Installing dbus-libs-1:1.16.0 100% | 336.8 MiB/s | 344.9 KiB |  00m00s
[ 18/188] Installing libdatrie-0:0.2.13 100% |   0.0   B/s |  63.3 KiB |  00m00s
[ 19/188] Installing libthai-0:0.1.29-1 100% | 254.2 MiB/s | 781.0 KiB |  00m00s
[ 20/188] Installing libwebp-0:1.6.0-2. 100% | 288.1 MiB/s | 590.0 KiB |  00m00s
[ 21/188] Installing libjpeg-turbo-0:3. 100% | 305.5 MiB/s | 625.7 KiB |  00m00s
[ 22/188] Installing libXau-0:1.0.12-3. 100% |  68.5 MiB/s |  70.1 KiB |  00m00s
[ 23/188] Installing libxcb-0:1.17.0-6. 100% | 215.5 MiB/s |   1.1 MiB |  00m00s
[ 24/188] Installing libdav1d-0:1.5.3-1 100% | 259.2 MiB/s | 530.9 KiB |  00m00s
[ 25/188] Installing lcms2-0:2.16-6.fc4 100% | 200.2 MiB/s | 410.0 KiB |  00m00s
[ 26/188] Installing graphite2-0:1.3.14 100% |  14.7 MiB/s | 195.5 KiB |  00m00s
[ 27/188] Installing harfbuzz-0:11.5.1- 100% | 353.9 MiB/s |   3.2 MiB |  00m00s
[ 28/188] Installing freetype-0:2.13.3- 100% |  10.9 MiB/s | 803.4 KiB |  00m00s
[ 29/188] Installing xml-common-0:0.6.3 100% |  79.2 MiB/s |  81.1 KiB |  00m00s
[ 30/188] Installing fribidi-0:1.0.16-3 100% |  13.7 MiB/s | 196.3 KiB |  00m00s
[ 31/188] Installing pixman-0:0.46.2-2. 100% | 246.6 MiB/s | 505.1 KiB |  00m00s
[ 32/188] Installing lzo-0:2.10-15.fc43 100% | 144.6 MiB/s | 148.1 KiB |  00m00s
[ 33/188] Installing zlib-ng-0:2.3.2-3. 100% | 131.8 MiB/s | 134.9 KiB |  00m00s
[ 34/188] Installing libmpc-0:1.3.1-8.f 100% | 142.4 MiB/s | 145.8 KiB |  00m00s
[ 35/188] Installing cpp-0:15.2.1-7.fc4 100% | 373.2 MiB/s |  48.9 MiB |  00m00s
[ 36/188] Installing ocaml-zip-0:1.13-4 100% | 139.0 MiB/s | 284.7 KiB |  00m00s
[ 37/188] Installing zlib-ng-devel-0:2. 100% | 103.1 MiB/s | 105.5 KiB |  00m00s
[ 38/188] Installing pixman-devel-0:0.4 100% |   0.0   B/s |  56.9 KiB |  00m00s
[ 39/188] Installing fribidi-devel-0:1. 100% |  80.0 MiB/s |  81.9 KiB |  00m00s
[ 40/188] Installing harfbuzz-icu-0:11. 100% |   0.0   B/s |  15.9 KiB |  00m00s
[ 41/188] Installing graphite2-devel-0: 100% |   0.0   B/s |  50.8 KiB |  00m00s
[ 42/188] Installing lcms2-devel-0:2.16 100% |   0.0   B/s | 136.4 KiB |  00m00s
[ 43/188] Installing libXau-devel-0:1.0 100% |   2.3 MiB/s |   9.4 KiB |  00m00s
[ 44/188] Installing libxcb-devel-0:1.1 100% |  74.8 MiB/s |   3.1 MiB |  00m00s
[ 45/188] Installing libdatrie-devel-0: 100% |  36.8 MiB/s | 565.0 KiB |  00m00s
[ 46/188] Installing libthai-devel-0:0. 100% | 213.7 MiB/s | 656.3 KiB |  00m00s
[ 47/188] Installing avahi-libs-0:0.9~r 100% | 156.2 MiB/s | 160.0 KiB |  00m00s
[ 48/188] Installing libicu-devel-0:77. 100% | 203.5 MiB/s |   5.1 MiB |  00m00s
[ 49/188] Installing hunspell-en-US-0:0 100% | 272.5 MiB/s | 558.1 KiB |  00m00s
[ 50/188] Installing hunspell-0:1.7.2-1 100% |  75.4 MiB/s |   1.4 MiB |  00m00s
[ 51/188] Installing enchant-1:1.6.0-40 100% |  10.4 MiB/s | 137.9 KiB |  00m00s
[ 52/188] Installing abattis-cantarell- 100% | 189.9 MiB/s | 194.4 KiB |  00m00s
[ 53/188] Installing libseccomp-devel-0 100% |   9.1 MiB/s | 120.7 KiB |  00m00s
[ 54/188] Installing libjxl-1:0.11.1-8. 100% | 324.1 MiB/s |   2.3 MiB |  00m00s
[ 55/188] Installing ocaml-ocplib-simpl 100% | 299.2 MiB/s | 612.7 KiB |  00m00s
[ 56/188] Installing ocaml-psmt2-fronte 100% | 206.7 MiB/s |   4.5 MiB |  00m00s
[ 57/188] Installing ocaml-zarith-0:1.1 100% | 179.0 MiB/s | 366.6 KiB |  00m00s
[ 58/188] Installing ocaml-menhirlib-0: 100% | 353.9 MiB/s | 362.4 KiB |  00m00s
[ 59/188] Installing json-glib-0:1.10.8 100% | 144.6 MiB/s | 592.3 KiB |  00m00s
[ 60/188] Installing annobin-docs-0:12. 100% |   0.0   B/s | 100.1 KiB |  00m00s
[ 61/188] Installing gettext-envsubst-0 100% |   6.1 MiB/s |  80.7 KiB |  00m00s
[ 62/188] Installing gettext-runtime-0: 100% |  30.1 MiB/s | 461.9 KiB |  00m00s
[ 63/188] Installing gettext-0:0.25.1-2 100% | 343.2 MiB/s |  13.0 MiB |  00m00s
[ 64/188] Installing svt-av1-libs-0:3.1 100% | 376.5 MiB/s |   2.3 MiB |  00m00s
[ 65/188] Installing rav1e-libs-0:0.8.1 100% | 356.2 MiB/s |   1.8 MiB |  00m00s
[ 66/188] Installing openjpeg-0:2.5.4-1 100% | 192.3 MiB/s | 393.9 KiB |  00m00s
[ 67/188] Installing noopenh264-0:2.6.0 100% |   0.0   B/s |  40.3 KiB |  00m00s
[ 68/188] Installing libopenjph-0:0.22. 100% | 283.6 MiB/s | 290.4 KiB |  00m00s
[ 69/188] Installing libaom-0:3.13.1-1. 100% | 387.2 MiB/s |   2.7 MiB |  00m00s
[ 70/188] Installing libheif-0:1.20.2-1 100% | 355.0 MiB/s |   1.8 MiB |  00m00s
[ 71/188] Installing google-noto-fonts- 100% |   0.0   B/s |  18.5 KiB |  00m00s
[ 72/188] Installing google-noto-sans-v 100% | 347.8 MiB/s |   1.4 MiB |  00m00s
[ 73/188] Installing default-fonts-core 100% |  17.8 MiB/s |  18.2 KiB |  00m00s
[ 74/188] Installing fontconfig-0:2.17. 100% | 506.1 KiB/s | 755.6 KiB |  00m01s
[ 75/188] Installing brotli-0:1.2.0-1.f 100% |   2.6 MiB/s |  34.1 KiB |  00m00s
[ 76/188] Installing brotli-devel-0:1.2 100% |  66.8 MiB/s |  68.4 KiB |  00m00s
[ 77/188] Installing bubblewrap-0:0.11. 100% |  10.0 MiB/s | 133.1 KiB |  00m00s
[ 78/188] Installing dbus-1:1.16.0-4.fc 100% |  40.4 KiB/s | 124.0   B |  00m00s
[ 79/188] Installing tzdata-0:2025c-1.f 100% |  65.3 MiB/s |   1.9 MiB |  00m00s
[ 80/188] Installing python-pip-wheel-0 100% | 622.6 MiB/s |   1.2 MiB |  00m00s
[ 81/188] Installing mpdecimal-0:4.0.1- 100% | 201.6 MiB/s | 206.5 KiB |  00m00s
[ 82/188] Installing expat-0:2.7.3-2.rv 100% |  16.9 MiB/s | 294.6 KiB |  00m00s
[ 83/188] Installing python3-libs-0:3.1 100% | 335.1 MiB/s |  43.2 MiB |  00m00s
[ 84/188] Installing python3-0:3.14.3-1 100% |   2.3 MiB/s |  30.3 KiB |  00m00s
[ 85/188] Installing python3-packaging- 100% | 201.8 MiB/s | 619.9 KiB |  00m00s
[ 86/188] Installing liblerc-0:4.0.0-9. 100% | 276.1 MiB/s | 565.5 KiB |  00m00s
[ 87/188] Installing jbigkit-libs-0:2.1 100% | 108.2 MiB/s | 110.8 KiB |  00m00s
[ 88/188] Installing libtiff-0:4.7.1-1. 100% | 273.9 MiB/s | 561.0 KiB |  00m00s
[ 89/188] Installing cups-filesystem-1: 100% |   0.0   B/s |   1.8 KiB |  00m00s
>>> [RPM] failed to open /usr/lib/group for id/name lookup: No such file or directory
[ 90/188] Installing cups-libs-1:2.4.16 100% | 314.3 MiB/s | 643.6 KiB |  00m00s
[ 91/188] Installing pcre2-utf32-0:10.4 100% | 261.4 MiB/s | 535.4 KiB |  00m00s
[ 92/188] Installing pcre2-utf16-0:10.4 100% | 273.2 MiB/s | 559.5 KiB |  00m00s
[ 93/188] Installing pcre2-devel-0:10.4 100% | 111.5 MiB/s |   2.1 MiB |  00m00s
[ 94/188] Installing libsepol-devel-0:3 100% |  62.9 MiB/s | 128.9 KiB |  00m00s
[ 95/188] Installing libselinux-devel-0 100% |  39.6 MiB/s | 162.1 KiB |  00m00s
[ 96/188] Installing libblkid-devel-0:2 100% |   0.0   B/s |  46.0 KiB |  00m00s
[ 97/188] Installing libmount-devel-0:2 100% |   0.0   B/s |  66.5 KiB |  00m00s
[ 98/188] Installing lzo-minilzo-0:2.10 100% |   0.0   B/s |  37.7 KiB |  00m00s
[ 99/188] Installing lzo-devel-0:2.10-1 100% | 210.2 MiB/s | 215.3 KiB |  00m00s
[100/188] Installing bzip2-devel-0:1.0. 100% | 303.5 MiB/s | 310.7 KiB |  00m00s
[101/188] Installing libX11-common-0:1. 100% | 169.7 MiB/s |   1.2 MiB |  00m00s
[102/188] Installing libX11-0:1.8.12-1. 100% | 405.8 MiB/s |   1.2 MiB |  00m00s
[103/188] Installing libXext-0:1.3.6-4. 100% |   0.0   B/s |  86.7 KiB |  00m00s
[104/188] Installing libXrender-0:0.9.1 100% |   0.0   B/s |  47.0 KiB |  00m00s
[105/188] Installing cairo-0:1.18.4-2.f 100% | 336.6 MiB/s |   1.7 MiB |  00m00s
[106/188] Installing libXi-0:1.8.2-3.fc 100% |   0.0   B/s |  69.3 KiB |  00m00s
[107/188] Installing libXfixes-0:6.0.1- 100% |   0.0   B/s |  31.2 KiB |  00m00s
[108/188] Installing libXcursor-0:1.2.3 100% |   0.0   B/s |  46.8 KiB |  00m00s
[109/188] Installing cairo-gobject-0:1. 100% |   0.0   B/s |  39.7 KiB |  00m00s
[110/188] Installing libXrandr-0:1.5.4- 100% |   0.0   B/s |  48.6 KiB |  00m00s
[111/188] Installing libXft-0:2.3.8-9.f 100% | 150.1 MiB/s | 153.7 KiB |  00m00s
[112/188] Installing pango-0:1.57.0-1.f 100% |  63.7 MiB/s | 978.0 KiB |  00m00s
[113/188] Installing glycin-loaders-0:2 100% | 450.1 MiB/s |  14.0 MiB |  00m00s
[114/188] Installing glycin-libs-0:2.0. 100% | 372.3 MiB/s |   4.5 MiB |  00m00s
[115/188] Installing gdk-pixbuf2-0:2.44 100% | 119.4 MiB/s |   2.5 MiB |  00m00s
[116/188] Installing librsvg2-0:2.61.0- 100% | 397.1 MiB/s |   5.2 MiB |  00m00s
[117/188] Installing libXinerama-0:1.1. 100% |   0.0   B/s |  15.8 KiB |  00m00s
[118/188] Installing libXcomposite-0:0. 100% |   0.0   B/s |  41.7 KiB |  00m00s
[119/188] Installing gtk-update-icon-ca 100% |   5.1 MiB/s |  63.1 KiB |  00m00s
[120/188] Installing libXdamage-0:1.1.6 100% |   0.0   B/s |  40.9 KiB |  00m00s
[121/188] Installing libXtst-0:1.2.5-3. 100% |   0.0   B/s |  34.3 KiB |  00m00s
[122/188] Installing harfbuzz-cairo-0:1 100% |  47.9 MiB/s |  49.0 KiB |  00m00s
[123/188] Installing xprop-0:1.2.8-4.fc 100% |   4.5 MiB/s |  59.9 KiB |  00m00s
[124/188] Installing at-spi2-core-0:2.5 100% | 198.6 MiB/s |   1.6 MiB |  00m00s
[125/188] Installing atk-0:2.58.3-1.fc4 100% | 263.5 MiB/s | 269.8 KiB |  00m00s
[126/188] Installing libart_lgpl-0:2.3. 100% |  56.8 MiB/s | 116.3 KiB |  00m00s
[127/188] Installing kernel-headers-0:6 100% | 208.9 MiB/s |   6.9 MiB |  00m00s
[128/188] Installing glibc-devel-0:2.42 100% | 178.9 MiB/s |   2.3 MiB |  00m00s
[129/188] Installing libxcrypt-devel-0: 100% |   0.0   B/s |  33.4 KiB |  00m00s
[130/188] Installing libX11-xcb-0:1.8.1 100% |  11.1 MiB/s |  11.3 KiB |  00m00s
[131/188] Installing libX11-devel-0:1.8 100% |  80.0 MiB/s |   1.1 MiB |  00m00s
[132/188] Installing libXext-devel-0:1. 100% |  54.2 MiB/s | 110.9 KiB |  00m00s
[133/188] Installing libXrender-devel-0 100% |   0.0   B/s |  51.0 KiB |  00m00s
[134/188] Installing libXfixes-devel-0: 100% |   0.0   B/s |   9.9 KiB |  00m00s
[135/188] Installing libXcomposite-deve 100% |   0.0   B/s |  10.5 KiB |  00m00s
[136/188] Installing libXcursor-devel-0 100% |  32.0 MiB/s |  32.8 KiB |  00m00s
[137/188] Installing libXi-devel-0:1.8. 100% |  70.6 MiB/s | 144.6 KiB |  00m00s
[138/188] Installing libXrandr-devel-0: 100% |   0.0   B/s |  24.7 KiB |  00m00s
[139/188] Installing libXinerama-devel- 100% |   8.3 MiB/s |   8.5 KiB |  00m00s
[140/188] Installing hicolor-icon-theme 100% |  21.9 MiB/s | 179.7 KiB |  00m00s
[141/188] Installing gtk2-0:2.24.33-24. 100% | 257.9 MiB/s |  12.1 MiB |  00m00s
[142/188] Installing gtksourceview2-0:2 100% | 282.7 MiB/s |   3.4 MiB |  00m00s
[143/188] Installing libglade2-0:2.6.4- 100% | 139.0 MiB/s | 142.3 KiB |  00m00s
[144/188] Installing libgnomecanvas-0:2 100% | 155.4 MiB/s | 954.7 KiB |  00m00s
[145/188] Installing gtkspell-0:2.0.16- 100% |  29.6 MiB/s |  91.1 KiB |  00m00s
[146/188] Installing ocaml-lablgtk-0:2. 100% | 330.1 MiB/s |  14.5 MiB |  00m00s
[147/188] Installing sysprof-capture-de 100% | 462.5 MiB/s |   2.8 MiB |  00m00s
[148/188] Installing libffi-devel-0:3.5 100% |  30.9 MiB/s |  31.6 KiB |  00m00s
[149/188] Installing glib2-devel-0:2.86 100% | 350.8 MiB/s |  15.8 MiB |  00m00s
[150/188] Installing atk-devel-0:2.58.3 100% | 355.0 MiB/s |   6.0 MiB |  00m00s
[151/188] Installing gmp-c++-1:6.3.0-4. 100% |   0.0   B/s |  27.9 KiB |  00m00s
[152/188] Installing gmp-devel-1:6.3.0- 100% | 344.2 MiB/s | 352.4 KiB |  00m00s
[153/188] Installing libubsan-0:15.2.1- 100% | 375.0 MiB/s | 384.1 KiB |  00m00s
[154/188] Installing libatomic-0:15.2.1 100% |   0.0   B/s |  25.1 KiB |  00m00s
[155/188] Installing libasan-0:15.2.1-7 100% | 373.3 MiB/s |   1.5 MiB |  00m00s
[156/188] Installing xz-devel-1:5.8.1-4 100% | 128.2 MiB/s | 262.6 KiB |  00m00s
[157/188] Installing libxml2-devel-0:2. 100% | 136.7 MiB/s |   3.4 MiB |  00m00s
[158/188] Installing harfbuzz-devel-0:1 100% | 221.4 MiB/s |   5.3 MiB |  00m00s
[159/188] Installing freetype-devel-0:2 100% | 275.6 MiB/s |   8.5 MiB |  00m00s
[160/188] Installing fontconfig-devel-0 100% |  38.9 MiB/s | 159.4 KiB |  00m00s
[161/188] Installing cairo-devel-0:1.18 100% | 458.2 MiB/s |   2.3 MiB |  00m00s
[162/188] Installing glycin-devel-0:2.0 100% | 124.3 MiB/s | 127.3 KiB |  00m00s
[163/188] Installing gdk-pixbuf2-devel- 100% | 121.9 MiB/s |   2.3 MiB |  00m00s
[164/188] Installing libXft-devel-0:2.3 100% |  21.6 MiB/s |  44.3 KiB |  00m00s
[165/188] Installing pango-devel-0:1.57 100% | 380.9 MiB/s |   1.5 MiB |  00m00s
[166/188] Installing gtk2-devel-0:2.24. 100% | 378.4 MiB/s |  23.8 MiB |  00m00s
[167/188] Installing libzstd-devel-0:1. 100% | 203.9 MiB/s | 208.8 KiB |  00m00s
[168/188] Installing emacs-filesystem-1 100% |   0.0   B/s | 544.0   B |  00m00s
[169/188] Installing make-1:4.4.1-11.fc 100% | 104.5 MiB/s |   1.8 MiB |  00m00s
[170/188] Installing gcc-0:15.2.1-7.fc4 100% | 174.8 MiB/s | 130.6 MiB |  00m01s
[171/188] Installing ocaml-0:5.3.0-4.rv 100% | 463.9 MiB/s | 283.0 MiB |  00m01s
[172/188] Installing ocaml-compiler-lib 100% | 475.9 MiB/s | 153.7 MiB |  00m00s
[173/188] Installing ocaml-num-0:1.6-2. 100% | 178.2 MiB/s | 547.4 KiB |  00m00s
[174/188] Installing ocaml-rpm-macros-0 100% |   0.0   B/s |  20.3 KiB |  00m00s
[175/188] Installing ocaml-menhirlib-de 100% | 447.6 MiB/s |   1.3 MiB |  00m00s
[176/188] Installing ocaml-menhir-0:202 100% | 273.6 MiB/s |   9.0 MiB |  00m00s
[177/188] Installing ocaml-dune-0:3.20. 100% | 388.4 MiB/s |  28.7 MiB |  00m00s
[178/188] Installing ocaml-num-devel-0: 100% | 325.4 MiB/s |   2.0 MiB |  00m00s
[179/188] Installing ocaml-lablgtk-deve 100% | 474.6 MiB/s |  31.3 MiB |  00m00s
[180/188] Installing ocaml-ocplib-simpl 100% | 408.0 MiB/s |   2.4 MiB |  00m00s
[181/188] Installing ocaml-psmt2-fronte 100% | 484.4 MiB/s |   6.8 MiB |  00m00s
[182/188] Installing ocaml-zarith-devel 100% | 400.5 MiB/s |   2.8 MiB |  00m00s
[183/188] Installing ocaml-zip-devel-0: 100% | 345.1 MiB/s |   1.0 MiB |  00m00s
[184/188] Installing annobin-plugin-gcc 100% |   2.2 MiB/s |   1.0 MiB |  00m00s
[185/188] Installing gcc-plugin-annobin 100% |  99.1 KiB/s |  50.3 KiB |  00m01s
[186/188] Installing desktop-file-utils 100% |  15.7 MiB/s | 241.5 KiB |  00m00s
[187/188] Installing gtksourceview2-dev 100% | 353.1 MiB/s |   1.4 MiB |  00m00s
[188/188] Installing libappstream-glib- 100% | 265.0 KiB/s |   1.3 MiB |  00m05s
Warning: skipped OpenPGP checks for 186 packages from repository: fedora
Complete!
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1757980800
Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-28.fc43.src.rpm
Updating and loading repositories:
 fedora                                 100% |   2.9 KiB/s |   3.5 KiB |  00m01s
 Copr repository                        100% |   1.3 KiB/s |   1.5 KiB |  00m01s
Repositories loaded.
Package "desktop-file-utils-0.28-2.fc43.riscv64" is already installed.
Package "gtksourceview2-devel-2.11.2-45.fc43.riscv64" is already installed.
Package "libappstream-glib-0.8.3-4.fc43.riscv64" is already installed.
Package "make-1:4.4.1-11.fc43.riscv64" is already installed.
Package "ocaml-5.3.0-4.rvre0.fc43.riscv64" is already installed.
Package "ocaml-dune-3.20.2-1.fc43.riscv64" is already installed.
Package "ocaml-lablgtk-devel-2.18.14-3.rvre0.fc43.riscv64" is already installed.
Package "ocaml-menhir-20250912-1.fc43.riscv64" is already installed.
Package "ocaml-num-devel-1.6-2.rvre0.fc43.riscv64" is already installed.
Package "ocaml-ocplib-simplex-devel-1:0.4.1-13.rvre0.fc43.riscv64" is already installed.
Package "ocaml-psmt2-frontend-devel-0.4.0-26.fc43.riscv64" is already installed.
Package "ocaml-zarith-devel-1.14-9.rvre0.fc43.riscv64" is already installed.
Package "ocaml-zip-devel-1.13-4.rvre0.fc43.riscv64" is already installed.

Nothing to do.
Finish: build setup for alt-ergo-2.3.3-28.fc43.src.rpm
Start: rpmbuild alt-ergo-2.3.3-28.fc43.src.rpm
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1757980800
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.AwFcGp
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.0VhPVY
+ 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
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.cieVTB
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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
+ 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
+ ./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 !
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.UnvpXh
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -O -j4 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.XZs8CZ
+ 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  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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
+ cat
+ rm /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/META /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/altgr-ergo/META
+ ln /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo/META /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/META
+ ln /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo/META /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/altgr-ergo/META
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 2.3.3-28.fc43 --unique-debug-suffix -2.3.3-28.fc43.riscv64 --unique-debug-src-base alt-ergo-2.3.3-28.fc43.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -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 6 files
DWARF-compressing 4 files
/usr/bin/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-28.fc43.riscv64
/usr/bin/cpio: sources/_build/default/arg.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/array.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/atomic.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/big_int.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/buffer.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/bytes.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/camlinternalFormat.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/camlinternalLazy.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/camlinternalMod.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/char.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/condition.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/domain.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/filename.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/format.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gBin.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gButton.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gContainer.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gEdit.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gMenu.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gMisc.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gObj.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gPack.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gRange.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gSourceView2.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gText.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gToolbox.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gTree.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gWindow.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gaux.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gdk.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gdkEvent.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/glib.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gobject.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkBase.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkButton.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkMain.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkMenu.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkObject.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkPack.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkPackProps.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkSignal.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkStock.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/gtkThread.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/hashtbl.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/int64.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/int_misc.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/lexing.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/list.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/map.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/mutex.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/nat.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/num.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/printexc.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/printf.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/q.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/queue.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/random.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/ratio.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/scanf.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/seq.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/set.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/assertBounds.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/basic.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/lib/options.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/lib/smtlib_parser.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/lib/smtlib_ty.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/result.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/src/solveBounds.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/stack.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/stdlib.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/str.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/string.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/sys.ml.in: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/thread.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/unix.ml: Cannot stat: No such file or directory
/usr/bin/cpio: sources/_build/default/z.ml: Cannot stat: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/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 3 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.Y2PqUb
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.3.3-build
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules  '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -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 -j4
Shared cache: enabled-except-user-rules
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-28.fc43.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.k4eoSh
+ 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-28.fc43 alt-ergo(riscv-64) = 2.3.3-28.fc43 ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_lexer) = 676a2d1ff07d2e2c6d8979c7be4698f6 ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8 ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__FmSimplexIneqs) = 26d258bdcb8c4bec50c7459f67d6fcb9 ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3 ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(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.42)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libz-ng.so.2()(64bit) libz-ng.so.2(ZLIB_NG_2.0.0)(64bit) libz-ng.so.2(ZLIB_NG_2.1.0)(64bit) ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8 ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583 ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3 ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a ocaml(MenhirLib) = 63aac4ac7fe77c053142eb706b661cd4 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b rtld(GNU_HASH)
Processing files: alt-ergo-gui-2.3.3-28.fc43.riscv64
Provides: alt-ergo-gui = 2.3.3-28.fc43 alt-ergo-gui(riscv-64) = 2.3.3-28.fc43 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: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(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.42)(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.27)(64bit) libpango-1.0.so.0()(64bit) libz-ng.so.2()(64bit) libz-ng.so.2(ZLIB_NG_2.0.0)(64bit) libz-ng.so.2(ZLIB_NG_2.1.0)(64bit) rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-2.3.3-28.fc43.riscv64
Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = d18e4e1937595a85e4279b2c4872adad ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers = 2.3.3-28.fc43 ocaml-alt-ergo-parsers(riscv-64) = 2.3.3-28.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-28.fc43.riscv64
Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = d18e4e1937595a85e4279b2c4872adad ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers-devel = 2.3.3-28.fc43 ocaml-alt-ergo-parsers-devel(riscv-64) = 2.3.3-28.fc43 ocamlx(AltErgoParsers) = 2921bf32b7524e32ffa3aa1c224e84c4 ocamlx(AltErgoParsers__MyZip) = 5bd007f72d5c3e1b012cb6cb0814df7f ocamlx(AltErgoParsers__Parsers) = 756b53a77017b0cc15676ab971a63f33 ocamlx(AltErgoParsers__Parsers_loader) = 9d0c18b192457d6b6c58fd1a54d5b19d ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = 61ad44916d26c1189a919f4cef188ecd ocamlx(AltErgoParsers__Why_lexer) = 1f5b3101ae4aeda32c0d3c671e24f797 ocamlx(AltErgoParsers__Why_parser) = e123987a66ff96216b51d5fd373d30a6
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 ocamlx(Arith_flags) = bfae0c4e30a6b59a732c7bb284cda079 ocamlx(Big_int) = bc6c1a400e0bda6127f63fb0c7725c9a ocamlx(CamlinternalFormat) = 8dd3be4582e976f0a6f69a910d4a5efe ocamlx(Int_misc) = 81edfbd0285c6614bbe25cc578b08bde ocamlx(Nat) = 637bee9a82b287fcf82cfea49ed9117c ocamlx(Num) = 2170ffceeb40a77af43ffc2ddf88718c ocamlx(Psmt2Frontend__Options) = 96d0e02e77cee0829a70ca6ddc29f33c ocamlx(Psmt2Frontend__Smtlib_error) = ca70d420685fdbdd1f819f05ace38ad1 ocamlx(Psmt2Frontend__Smtlib_lexer) = c70ed85a1d6fb54355fcdc94630be47a ocamlx(Psmt2Frontend__Smtlib_parser) = aa7d3285bf62b78f5a90bc1981342cf1 ocamlx(Psmt2Frontend__Smtlib_ty) = 06342bc3f0c64466f162c338df758911 ocamlx(Psmt2Frontend__Smtlib_typed_env) = d1fdcb54fd47d015b3ba7a70b5bb7244 ocamlx(Psmt2Frontend__Smtlib_typing) = c4f641fd1b9fe025358c63a2d6c16b56 ocamlx(Ratio) = 237c1b5851b44942616c828cfe0f1f68 ocamlx(Stdlib) = 29ccdc189a615dabadac01b99d97fd28 ocamlx(Stdlib__Arg) = 828fcd06f53ec832bcf77a32cba3374d ocamlx(Stdlib__Array) = 9dd825bf507d14e6dcb3e071ea71bffb ocamlx(Stdlib__Bigarray) = aaec89e94cb90a596f5303a3981ed34f ocamlx(Stdlib__Buffer) = dd72a76d3318107b6503acda17e85537 ocamlx(Stdlib__Bytes) = 18ef580ddbffe6a1280e9aed4494c4d3 ocamlx(Stdlib__Domain) = 497fd555d896adaf3be163fec31546c9 ocamlx(Stdlib__Filename) = c8e16eadca1a7a16134b508889cd21f5 ocamlx(Stdlib__Format) = f822c9fc11de6b986a5e9169fdea8af4 ocamlx(Stdlib__Hashtbl) = d10c8d4c0b641ab242198048075a2b60 ocamlx(Stdlib__Lexing) = 97927c9b4a6378af7864dcd2e6215a41 ocamlx(Stdlib__List) = 3f29768f7527d3ab37c91af9aa0997df ocamlx(Stdlib__Parsing) = 536c9f422f7c5c3a8524fd41271eb838 ocamlx(Stdlib__Printf) = 02eeb55af45bc28bbfbc703d255ac2b0 ocamlx(Stdlib__Random) = be0ccad184326d574715215885193685 ocamlx(Stdlib__String) = 9e26947ec23b93ed6e936b8a407df85b ocamlx(Stdlib__Sys) = c4d65bea52f4370d2e6a3825f559a12e ocamlx(Zip) = 32863cd715de16463a71a25dae411b65
Processing files: ocaml-alt-ergo-lib-2.3.3-28.fc43.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.0u8mrQ
+ 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) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Frontend) = d0715d3407016d96b2ae3c1cb9323b0d ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Gc_debug) = 70979f673f006ff363b690bfa744a575 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__NumsNumbers) = dc97aadf71cac106ebbd4e58af72fcb9 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver) = 957315110c3fee44af6177602acc76dd ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typechecker) = 1873f8349ff14bd8dd89cf1a858aa195 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib = 2.3.3-28.fc43 ocaml-alt-ergo-lib(riscv-64) = 2.3.3-28.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 7130a1b8b3b987c6ffc6c2c613151f82 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Gc) = fbebf2afd3d1f8efe1dbf7a69fdc88ab ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = e9521192ee8ef808261c548f0ea7683f ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d rtld(GNU_HASH)
Processing files: ocaml-alt-ergo-lib-devel-2.3.3-28.fc43.riscv64
Provides: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Frontend) = d0715d3407016d96b2ae3c1cb9323b0d ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Gc_debug) = 70979f673f006ff363b690bfa744a575 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumsNumbers) = dc97aadf71cac106ebbd4e58af72fcb9 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver) = 957315110c3fee44af6177602acc76dd ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typechecker) = 1873f8349ff14bd8dd89cf1a858aa195 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib-devel = 2.3.3-28.fc43 ocaml-alt-ergo-lib-devel(riscv-64) = 2.3.3-28.fc43 ocamlx(AltErgoLib) = 5190d9bde75e3a2e835855a84b69c787 ocamlx(AltErgoLib__Ac) = de716e49b2ea90cf115681ae811e9174 ocamlx(AltErgoLib__Adt) = 03a5f82f545e10f647c5aab73afe7436 ocamlx(AltErgoLib__Adt_rel) = 4697a76f5f541658e271786be9165196 ocamlx(AltErgoLib__Arith) = b8b16997618176a94dd2b5b5c51abf30 ocamlx(AltErgoLib__Arrays) = dc312a6d28a881cce3f7a5b2726d27cd ocamlx(AltErgoLib__Arrays_rel) = 72012864912e9bfc8c5181b420e1516c ocamlx(AltErgoLib__Bitv) = 3f3fc19855c2d85f7ab56d8f6d355eee ocamlx(AltErgoLib__Bitv_rel) = 8ad2c2a915ce48e2bdaf1e844b260640 ocamlx(AltErgoLib__Ccx) = f6e1ef3be128c3e5b3c35e4fffa0eb8d ocamlx(AltErgoLib__Cnf) = 160eef87b50515e67413db5ecdcaf2cb ocamlx(AltErgoLib__Commands) = 9427776ee59d537254f358930a6d8dd3 ocamlx(AltErgoLib__Config) = b9a972ebc783a6166ce37adf5dacb341 ocamlx(AltErgoLib__Emap) = cd511749b63d371f34451d2fd2f26d32 ocamlx(AltErgoLib__Enum) = a91da3888d645251af315ff740567b0a ocamlx(AltErgoLib__Enum_rel) = 3aea5dd76ae565f768521e5695918cb1 ocamlx(AltErgoLib__Errors) = d3d8ada7467a54cd4f80ba8930d35ca3 ocamlx(AltErgoLib__Explanation) = 950425a6e5f1909fe198ecfee9c0ea30 ocamlx(AltErgoLib__Expr) = fd9ed375ed95ba3b5094bea7ee048ba8 ocamlx(AltErgoLib__Fpa_rounding) = 260ac0f1238328e07933553fe9648913 ocamlx(AltErgoLib__Frontend) = ddd4cdbce9c8045ffecd70e505bf3410 ocamlx(AltErgoLib__Fun_sat) = 72419b65c030136835f59e3deb382be9 ocamlx(AltErgoLib__Gc_debug) = 3c4320df5d8352189c7cd28e095f410a ocamlx(AltErgoLib__Hconsing) = a7cd6ecb4302ad7bba1d28b3aa3f9b3f ocamlx(AltErgoLib__Hstring) = e14567fa830937a42675582d19a03c95 ocamlx(AltErgoLib__Iheap) = d23a618bae8ee7fb56a4eacee3d2a90b ocamlx(AltErgoLib__Inequalities) = c132376e3fddf2f1783463d77ed0115b ocamlx(AltErgoLib__Input) = 84bc98f1673864572e465de15a0fd272 ocamlx(AltErgoLib__Instances) = 95f40356275b1abf86dceac4a0d87c7c ocamlx(AltErgoLib__IntervalCalculus) = 47406612494c3a214d47a5194f79613d ocamlx(AltErgoLib__Intervals) = c187a91814d9b8a3258f061112155683 ocamlx(AltErgoLib__Ite) = 101b57a88e14b3246cc933ac74b95406 ocamlx(AltErgoLib__Ite_rel) = ef18841a40eb58834e9adff1132d3d1d ocamlx(AltErgoLib__Lists) = e188eb63cf803915a8f9d608e2ac2a59 ocamlx(AltErgoLib__Loc) = 0772d6c16d89935fd0bbf1858d064a6a ocamlx(AltErgoLib__Matching) = 24bb166fe194348cd664a2971a3d2375 ocamlx(AltErgoLib__MyDynlink) = de1c336dd08f924e8ee4af0ce8acb684 ocamlx(AltErgoLib__MyUnix) = eee394dfc81bb200dc9a73325c33d769 ocamlx(AltErgoLib__Numbers) = 5bb1819fa3be30cda8bfe612684817cd ocamlx(AltErgoLib__NumsNumbers) = 49aeae49d2570727c97c7ff95ab3d309 ocamlx(AltErgoLib__Options) = ff596b66c2e30bf9aae13ddae3098f37 ocamlx(AltErgoLib__Parsed) = 3686fb9bd4446a393925cf905cb1eb2a ocamlx(AltErgoLib__Parsed_interface) = 3ccac2668f63a930bde733d5db3ff4ee ocamlx(AltErgoLib__Polynome) = 949cc3a40e94d61e6ee69eb17354c523 ocamlx(AltErgoLib__Profiling) = 9ea5e2ab40eb082f279ac60a1f9db34e ocamlx(AltErgoLib__Records) = a926847ea0011dab58619dc405a7a3b8 ocamlx(AltErgoLib__Records_rel) = c47e13dd2412e964796f6363262997fd ocamlx(AltErgoLib__Relation) = c729de0bbe1cd470de81ca1c7a75c5b2 ocamlx(AltErgoLib__Sat_solver) = b96ac3f9955c79a9b6cf9143d1731bdd ocamlx(AltErgoLib__Sat_solver_sig) = f6f291fb2f12d0daf2690bc50936fa0a ocamlx(AltErgoLib__Satml) = 3f6d20e5a99a44ea0405898401e8671d ocamlx(AltErgoLib__Satml_frontend) = 736044109871d237dd0a5dd40cdb5da8 ocamlx(AltErgoLib__Satml_frontend_hybrid) = fcd8af2fc6cbc8e9158096e240f7f687 ocamlx(AltErgoLib__Satml_types) = db4cf69c608b7c954a3e789d2ca8c279 ocamlx(AltErgoLib__Shostak) = cad263c276e6a4dd3a2c4cf16933216a ocamlx(AltErgoLib__Symbols) = a5a85c216c818352fb9674aca93482db ocamlx(AltErgoLib__Th_util) = 3de24d6545f119adddf3ef4ad8c370de ocamlx(AltErgoLib__Theory) = 0cdbd6e953744623d827dcf3facb3579 ocamlx(AltErgoLib__Timers) = fc20bbc61439594e4456b640eb936fe6 ocamlx(AltErgoLib__Ty) = 092b666a3c07bb4bc37a2628bbdcab1c ocamlx(AltErgoLib__Typechecker) = 633d2f2d1b8925a8214d9f729a4311bb ocamlx(AltErgoLib__Typed) = 155bdc2330ee9f3f0fc3ff85fc43f326 ocamlx(AltErgoLib__Uf) = ee4e6661007dc734f21d9bbe5464560e ocamlx(AltErgoLib__Use) = f2bd55995916d88083ef774a98271dad ocamlx(AltErgoLib__Util) = 360f27bbd8c965500627ded7978590a6 ocamlx(AltErgoLib__Var) = e725b8ffbf9cbf228d052ae47b346481 ocamlx(AltErgoLib__Vec) = 1e3ccc2e0979d8bdf3168fbac5bd36b4 ocamlx(AltErgoLib__Version) = cd3b04d10235c48c4d4cf06a0534def4 ocamlx(AltErgoLib__Xliteral) = 5f82356ee8065acf544d991530b24390 ocamlx(AltErgoLib__ZarithNumbers) = 1ff2a0a2d2444beccbb2b0a5c63d2df8
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 7130a1b8b3b987c6ffc6c2c613151f82 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Gc) = fbebf2afd3d1f8efe1dbf7a69fdc88ab ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = e9521192ee8ef808261c548f0ea7683f ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d ocamlx(Arith_flags) = bfae0c4e30a6b59a732c7bb284cda079 ocamlx(Big_int) = bc6c1a400e0bda6127f63fb0c7725c9a ocamlx(CamlinternalFormat) = 8dd3be4582e976f0a6f69a910d4a5efe ocamlx(CamlinternalFormatBasics) = 9a4b29f13d1e7f737f80587da2a10cdf ocamlx(CamlinternalLazy) = 0e6771bef2d6105214922b2a203a753d ocamlx(CamlinternalMod) = 112fb4863484ad75e3623a35e3f88e27 ocamlx(CamlinternalOO) = 3531e65d99268c316e24f5559d523cc5 ocamlx(Dynlink) = 8a6b9f8a80f44692bbf76198b96c688d ocamlx(Dynlink_types) = 01f53a6b28f941c4b8a9c1e2b501cd70 ocamlx(Nat) = 637bee9a82b287fcf82cfea49ed9117c ocamlx(Num) = 2170ffceeb40a77af43ffc2ddf88718c ocamlx(OcplibSimplex) = 3027ddab87cded658b3015c1bdf63cc8 ocamlx(Q) = 42672a16ff4413f557f78dcc1495afd4 ocamlx(Ratio) = 237c1b5851b44942616c828cfe0f1f68 ocamlx(Stdlib) = 29ccdc189a615dabadac01b99d97fd28 ocamlx(Stdlib__Arg) = 828fcd06f53ec832bcf77a32cba3374d ocamlx(Stdlib__Array) = 9dd825bf507d14e6dcb3e071ea71bffb ocamlx(Stdlib__Bigarray) = aaec89e94cb90a596f5303a3981ed34f ocamlx(Stdlib__Buffer) = dd72a76d3318107b6503acda17e85537 ocamlx(Stdlib__Bytes) = 18ef580ddbffe6a1280e9aed4494c4d3 ocamlx(Stdlib__Char) = 7e312ea379ff37deb623b0b714d14d02 ocamlx(Stdlib__Domain) = 497fd555d896adaf3be163fec31546c9 ocamlx(Stdlib__Filename) = c8e16eadca1a7a16134b508889cd21f5 ocamlx(Stdlib__Format) = f822c9fc11de6b986a5e9169fdea8af4 ocamlx(Stdlib__Gc) = 3929f6c060f5e787b0a7f63d7801d054 ocamlx(Stdlib__Hashtbl) = d10c8d4c0b641ab242198048075a2b60 ocamlx(Stdlib__Int64) = 0fde396f1e774db5fcb1c69336ff1eec ocamlx(Stdlib__Lexing) = 97927c9b4a6378af7864dcd2e6215a41 ocamlx(Stdlib__List) = 3f29768f7527d3ab37c91af9aa0997df ocamlx(Stdlib__Map) = 1d0cc843181f510c94c1b7ac7977ba84 ocamlx(Stdlib__Obj) = f5fa384356356398404dc14d79890346 ocamlx(Stdlib__Parsing) = 536c9f422f7c5c3a8524fd41271eb838 ocamlx(Stdlib__Printexc) = e39c8fabf36ce34d6a9bee8d04173ed5 ocamlx(Stdlib__Printf) = 02eeb55af45bc28bbfbc703d255ac2b0 ocamlx(Stdlib__Queue) = 11a7954fa99189d2459f223f4125e18c ocamlx(Stdlib__Random) = be0ccad184326d574715215885193685 ocamlx(Stdlib__Scanf) = daf5d42ccfbc2c6fbd3c0c25bdb35363 ocamlx(Stdlib__Set) = 77ae290463cfe2698ffda9c3825c26af ocamlx(Stdlib__Stack) = 4610e2b6df278052a237b1c2bc885a76 ocamlx(Stdlib__String) = 9e26947ec23b93ed6e936b8a407df85b ocamlx(Stdlib__Sys) = c4d65bea52f4370d2e6a3825f559a12e ocamlx(Stdlib__Weak) = 265d98a04451b7ecb8f8a84027ef3a15 ocamlx(Str) = 69b8694b1405b426d474615d56cdbfef ocamlx(Unix) = 487fd5f4c7de44679a36edc004940fcb ocamlx(Z) = 2a0fa63d580ee64db2d170f2c459a3ea
Processing files: alt-ergo-debugsource-2.3.3-28.fc43.riscv64
Provides: alt-ergo-debugsource = 2.3.3-28.fc43 alt-ergo-debugsource(riscv-64) = 2.3.3-28.fc43
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-28.fc43.riscv64
Provides: alt-ergo-debuginfo = 2.3.3-28.fc43 alt-ergo-debuginfo(riscv-64) = 2.3.3-28.fc43 debuginfo(build-id) = ed52e3194df7e50715cea5946a82aabe8e474e50
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-28.fc43
Processing files: alt-ergo-gui-debuginfo-2.3.3-28.fc43.riscv64
Provides: alt-ergo-gui-debuginfo = 2.3.3-28.fc43 alt-ergo-gui-debuginfo(riscv-64) = 2.3.3-28.fc43 debuginfo(build-id) = 776e4e6d48f572ae7225a07eb35ad980f4012035
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-28.fc43
Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-28.fc43.riscv64
Provides: debuginfo(build-id) = c97b09598e10de4b405db29b578695f0fc6c7c84 ocaml-alt-ergo-parsers-debuginfo = 2.3.3-28.fc43 ocaml-alt-ergo-parsers-debuginfo(riscv-64) = 2.3.3-28.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-28.fc43
Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-28.fc43.riscv64
Provides: debuginfo(build-id) = 44fbf18139ebac62b15c5d022b0d810d5b0283c6 ocaml-alt-ergo-lib-debuginfo = 2.3.3-28.fc43 ocaml-alt-ergo-lib-debuginfo(riscv-64) = 2.3.3-28.fc43
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.3.3-28.fc43
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-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-28.fc43.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-28.fc43.riscv64.rpm
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.Ys8Jie
+ 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-28.fc43.src.rpm
Finish: build phase for alt-ergo-2.3.3-28.fc43.src.rpm
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-43-riscv64-1784604925.972895/root/var/log/dnf5.log
INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz
/bin/tar: Removing leading `/' from member names
INFO: Done(/var/lib/copr-rpmbuild/results/alt-ergo-2.3.3-28.fc43.src.rpm) Config(child) 20 minutes 45 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",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "src"
        },
        {
            "name": "alt-ergo-gui",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "alt-ergo-debugsource",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "ocaml-alt-ergo-lib-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "alt-ergo",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "ocaml-alt-ergo-parsers",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "alt-ergo-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "ocaml-alt-ergo-parsers-devel",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "ocaml-alt-ergo-lib-devel",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "alt-ergo-gui-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "ocaml-alt-ergo-parsers-debuginfo",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        },
        {
            "name": "ocaml-alt-ergo-lib",
            "epoch": null,
            "version": "2.3.3",
            "release": "28.fc43",
            "arch": "riscv64"
        }
    ]
}
RPMResults finished