Warning: Permanently added '54.157.54.245' (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/8528938-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64


Version: 1.2
PID: 9005
Logging PID: 9006
Task:
{'allow_user_ssh': False,
 'appstream': False,
 'background': True,
 'build_id': 8528938,
 'buildroot_pkgs': [],
 'chroot': 'fedora-rawhide-x86_64',
 'enable_net': False,
 'fedora_review': False,
 'git_hash': '2f348d133558664953d707bb186b5ad84545df48',
 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-sphinx/ocaml-psmt2-frontend',
 'isolation': 'default',
 'memory_reqs': 2048,
 'package_name': 'ocaml-psmt2-frontend',
 'package_version': '0.4.0-22',
 'project_dirname': 'python-sphinx',
 'project_name': 'python-sphinx',
 'project_owner': 'thrnciar',
 'repo_priority': None,
 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/thrnciar/python-sphinx/fedora-rawhide-x86_64/',
            'id': 'copr_base',
            'name': 'Copr repository',
            'priority': None}],
 'sandbox': 'thrnciar/python-sphinx--https://src.fedoraproject.org/user/releng',
 'source_json': {},
 'source_type': None,
 'ssh_public_keys': None,
 'storage': 0,
 'submitter': 'https://src.fedoraproject.org/user/releng',
 'tags': [],
 'task_id': '8528938-fedora-rawhide-x86_64',
 'timeout': 18000,
 'uses_devel_repo': False,
 'with_opts': [],
 'without_opts': []}

Running: git clone https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-sphinx/ocaml-psmt2-frontend /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend --depth 500 --no-single-branch --recursive

cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/python-sphinx/ocaml-psmt2-frontend', '/var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend', '--depth', '500', '--no-single-branch', '--recursive']
cwd: .
rc: 0
stdout: 
stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend'...

Running: git checkout 2f348d133558664953d707bb186b5ad84545df48 --

cmd: ['git', 'checkout', '2f348d133558664953d707bb186b5ad84545df48', '--']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend
rc: 0
stdout: 
stderr: Note: switching to '2f348d133558664953d707bb186b5ad84545df48'.

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 2f348d1 automatic import of ocaml-psmt2-frontend

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend
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 psmt2-frontend-0.4.0.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -o psmt2-frontend-0.4.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/thrnciar/python-sphinx/ocaml-psmt2-frontend/psmt2-frontend-0.4.0.tar.gz/md5/4fc9f9a68343b4614f120c1556bee644/psmt2-frontend-0.4.0.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 70801  100 70801    0     0  2805k      0 --:--:-- --:--:-- --:--:-- 2880k
INFO: Reading stdout from command: md5sum psmt2-frontend-0.4.0.tar.gz

/usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated
Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1737147967.093887 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
INFO: mock.py version 6.0 starting (python version = 3.13.0, NVR = mock-6.0-1.fc41), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1737147967.093887 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
Start(bootstrap): init plugins
INFO: tmpfs initialized
INFO: selinux enabled
INFO: chroot_scan: initialized
INFO: compress_logs: initialized
Finish(bootstrap): init plugins
Start: init plugins
INFO: tmpfs initialized
INFO: selinux enabled
INFO: chroot_scan: initialized
INFO: compress_logs: initialized
Finish: init plugins
INFO: Signal handler active
Start: run
INFO: Start(/var/lib/copr-rpmbuild/workspace/workdir-669b89d6/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec)  Config(fedora-rawhide-x86_64)
Start: clean chroot
Finish: clean chroot
Mock Version: 6.0
INFO: Mock Version: 6.0
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1737147967.093887/root.
INFO: calling preinit hooks
INFO: enabled root cache
INFO: enabled package manager cache
Start(bootstrap): cleaning package manager metadata
Finish(bootstrap): cleaning package manager metadata
INFO: Guessed host environment type: unknown
INFO: Using container image: registry.fedoraproject.org/fedora:rawhide
INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide
INFO: Tagging container image as mock-bootstrap-d9bde862-44e2-4560-908a-2c3f21f172e0
INFO: Checking that 3b26c95bbe87cc88f475ce9c0ba4b394bf23541b10bebe9a634c9c8e61f73b10 image matches host's architecture
INFO: Copy content of container 3b26c95bbe87cc88f475ce9c0ba4b394bf23541b10bebe9a634c9c8e61f73b10 to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1737147967.093887/root
INFO: mounting 3b26c95bbe87cc88f475ce9c0ba4b394bf23541b10bebe9a634c9c8e61f73b10 with podman image mount
INFO: image 3b26c95bbe87cc88f475ce9c0ba4b394bf23541b10bebe9a634c9c8e61f73b10 as /var/lib/containers/storage/overlay/d3212d8beae72a97d426f4f4cbc9926037985c9d492b381ad2608549e5b9deb3/merged
INFO: umounting image 3b26c95bbe87cc88f475ce9c0ba4b394bf23541b10bebe9a634c9c8e61f73b10 (/var/lib/containers/storage/overlay/d3212d8beae72a97d426f4f4cbc9926037985c9d492b381ad2608549e5b9deb3/merged) with podman image umount
INFO: Removing image mock-bootstrap-d9bde862-44e2-4560-908a-2c3f21f172e0
INFO: Package manager dnf5 detected and used (fallback)
INFO: Not updating bootstrap chroot, bootstrap_image_ready=True
Start(bootstrap): creating root cache
Finish(bootstrap): creating root cache
Finish(bootstrap): chroot init
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1737147967.093887/root.
INFO: calling preinit hooks
INFO: enabled root cache
INFO: enabled package manager cache
Start: cleaning package manager metadata
Finish: cleaning package manager metadata
INFO: enabled HW Info plugin
INFO: Package manager dnf5 detected and used (direct choice)
INFO: Buildroot is handled by package management downloaded with a bootstrap image:
  rpm-4.20.0-1.fc42.x86_64
  rpm-sequoia-1.7.0-3.fc42.x86_64
  dnf5-5.2.8.1-2.fc42.x86_64
  dnf5-plugins-5.2.8.1-2.fc42.x86_64
Start: installing minimal buildroot with dnf5
Updating and loading repositories:
 fedora                                 100% |  43.5 MiB/s |  21.7 MiB |  00m00s
 Copr repository                        100% |  19.2 MiB/s |   1.3 MiB |  00m00s
Repositories loaded.
Package                            Arch   Version                    Repository      Size
Installing group/module packages:
 bash                              x86_64 5.2.37-1.fc42              fedora       8.2 MiB
 bzip2                             x86_64 1.0.8-19.fc41              fedora      95.7 KiB
 coreutils                         x86_64 9.5-12.fc42                fedora       5.5 MiB
 cpio                              x86_64 2.15-2.fc41                fedora       1.1 MiB
 diffutils                         x86_64 3.10-8.fc41                fedora       1.6 MiB
 fedora-release-common             noarch 42-0.13                    fedora      19.8 KiB
 findutils                         x86_64 1:4.10.0-4.fc41            fedora       1.8 MiB
 gawk                              x86_64 5.3.0-4.fc41               fedora       1.7 MiB
 glibc-minimal-langpack            x86_64 2.40.9000-28.fc42          fedora       0.0   B
 grep                              x86_64 3.11-9.fc41                fedora       1.0 MiB
 gzip                              x86_64 1.13-2.fc41                fedora     389.0 KiB
 info                              x86_64 7.2-1.fc42                 fedora     355.1 KiB
 patch                             x86_64 2.7.6-25.fc41              fedora     266.7 KiB
 redhat-rpm-config                 noarch 300-1.fc42                 fedora     186.8 KiB
 rpm-build                         x86_64 4.20.0-6.fc42              fedora     185.8 KiB
 sed                               x86_64 4.9-3.fc41                 fedora     861.5 KiB
 shadow-utils                      x86_64 2:4.17.0-3.fc42            fedora       4.0 MiB
 tar                               x86_64 2:1.35-4.fc41              fedora       2.9 MiB
 unzip                             x86_64 6.0-65.fc42                fedora     398.2 KiB
 util-linux                        x86_64 2.40.4-1.fc42              fedora       3.5 MiB
 which                             x86_64 2.21-42.fc41               fedora      80.2 KiB
 xz                                x86_64 1:5.6.3-2.fc42             fedora       1.2 MiB
Installing dependencies:
 add-determinism                   x86_64 0.5.0-1.fc42               fedora       2.4 MiB
 alternatives                      x86_64 1.31-2.fc42                fedora      64.8 KiB
 ansible-srpm-macros               noarch 1-16.fc41                  fedora      35.7 KiB
 audit-libs                        x86_64 4.0.3-1.fc42               fedora     351.3 KiB
 authselect                        x86_64 1.5.0-8.fc42               fedora     157.5 KiB
 authselect-libs                   x86_64 1.5.0-8.fc42               fedora     822.2 KiB
 basesystem                        noarch 11-21.fc41                 fedora       0.0   B
 binutils                          x86_64 2.43.50-9.fc42             fedora      25.8 MiB
 build-reproducibility-srpm-macros noarch 0.5.0-1.fc42               fedora     735.0   B
 bzip2-libs                        x86_64 1.0.8-19.fc41              fedora      80.7 KiB
 ca-certificates                   noarch 2024.2.69_v8.0.401-4.fc42  fedora       2.6 MiB
 coreutils-common                  x86_64 9.5-12.fc42                fedora      11.2 MiB
 cracklib                          x86_64 2.9.11-6.fc41              fedora     238.9 KiB
 crypto-policies                   noarch 20241128-1.gitbb7b0b0.fc42 fedora     137.3 KiB
 curl                              x86_64 8.11.1-2.fc42              fedora     452.0 KiB
 cyrus-sasl-lib                    x86_64 2.1.28-28.fc42             fedora       2.3 MiB
 debugedit                         x86_64 5.1-4.fc42                 fedora     200.4 KiB
 dwz                               x86_64 0.15-8.fc42                fedora     299.2 KiB
 ed                                x86_64 1.21-1.fc42                fedora     144.8 KiB
 efi-srpm-macros                   noarch 5-13.fc42                  fedora      40.2 KiB
 elfutils                          x86_64 0.192-7.fc42               fedora       2.6 MiB
 elfutils-debuginfod-client        x86_64 0.192-7.fc42               fedora      81.4 KiB
 elfutils-default-yama-scope       noarch 0.192-7.fc42               fedora       1.8 KiB
 elfutils-libelf                   x86_64 0.192-7.fc42               fedora       1.2 MiB
 elfutils-libs                     x86_64 0.192-7.fc42               fedora     662.9 KiB
 fedora-gpg-keys                   noarch 42-0.4                     fedora     128.2 KiB
 fedora-release                    noarch 42-0.13                    fedora       0.0   B
 fedora-release-identity-basic     noarch 42-0.13                    fedora     719.0   B
 fedora-repos                      noarch 42-0.4                     fedora       4.9 KiB
 fedora-repos-rawhide              noarch 42-0.4                     fedora       2.2 KiB
 file                              x86_64 5.45-8.fc42                fedora     103.7 KiB
 file-libs                         x86_64 5.45-8.fc42                fedora       9.9 MiB
 filesystem                        x86_64 3.18-34.fc42               fedora     112.0   B
 filesystem-srpm-macros            noarch 3.18-34.fc42               fedora      38.2 KiB
 fonts-srpm-macros                 noarch 1:2.0.5-19.fc42            fedora      55.8 KiB
 forge-srpm-macros                 noarch 0.4.0-1.fc42               fedora      38.9 KiB
 fpc-srpm-macros                   noarch 1.3-13.fc41                fedora     144.0   B
 gdb-minimal                       x86_64 15.2-4.fc42                fedora      12.7 MiB
 gdbm                              x86_64 1:1.23-7.fc41              fedora     460.9 KiB
 gdbm-libs                         x86_64 1:1.23-7.fc41              fedora     121.9 KiB
 ghc-srpm-macros                   noarch 1.9.2-1.fc42               fedora     779.0   B
 glibc                             x86_64 2.40.9000-28.fc42          fedora       6.7 MiB
 glibc-common                      x86_64 2.40.9000-28.fc42          fedora       1.0 MiB
 glibc-gconv-extra                 x86_64 2.40.9000-28.fc42          fedora       8.0 MiB
 gmp                               x86_64 1:6.3.0-2.fc41             fedora     811.4 KiB
 gnat-srpm-macros                  noarch 6-6.fc41                   fedora       1.0 KiB
 go-srpm-macros                    noarch 3.6.0-5.fc42               fedora      60.8 KiB
 jansson                           x86_64 2.14-2.fc42                copr_base   90.8 KiB
 json-c                            x86_64 0.18-1.fc42                fedora      83.3 KiB
 kernel-srpm-macros                noarch 1.0-24.fc41                fedora       1.9 KiB
 keyutils-libs                     x86_64 1.6.3-4.fc41               fedora      54.4 KiB
 krb5-libs                         x86_64 1.21.3-4.fc42              copr_base    2.3 MiB
 libacl                            x86_64 2.3.2-2.fc41               fedora      40.0 KiB
 libarchive                        x86_64 3.7.7-1.fc42               fedora     932.3 KiB
 libattr                           x86_64 2.5.2-4.fc41               fedora      28.5 KiB
 libblkid                          x86_64 2.40.4-1.fc42              fedora     257.2 KiB
 libbrotli                         x86_64 1.1.0-5.fc41               fedora     837.6 KiB
 libcap                            x86_64 2.71-2.fc42                fedora     223.4 KiB
 libcap-ng                         x86_64 0.8.5-3.fc41               fedora      69.2 KiB
 libcom_err                        x86_64 1.47.2-2.fc42              fedora      65.9 KiB
 libcurl                           x86_64 8.11.1-2.fc42              fedora     817.3 KiB
 libeconf                          x86_64 0.7.5-1.fc42               fedora      66.7 KiB
 libevent                          x86_64 2.1.12-14.fc41             fedora     895.7 KiB
 libfdisk                          x86_64 2.40.4-1.fc42              fedora     368.4 KiB
 libffi                            x86_64 3.4.6-3.fc42               fedora      86.4 KiB
 libgcc                            x86_64 15.0.1-0.3.fc42            fedora     266.9 KiB
 libgomp                           x86_64 15.0.1-0.3.fc42            fedora     529.6 KiB
 libidn2                           x86_64 2.3.7-2.fc41               fedora     329.1 KiB
 libmount                          x86_64 2.40.4-1.fc42              fedora     352.8 KiB
 libnghttp2                        x86_64 1.64.0-1.fc42              fedora     174.5 KiB
 libnsl2                           x86_64 2.0.1-2.fc41               fedora      57.9 KiB
 libpkgconf                        x86_64 2.3.0-1.fc42               fedora      78.2 KiB
 libpsl                            x86_64 0.21.5-4.fc41              fedora      80.5 KiB
 libpwquality                      x86_64 1.4.5-11.fc41              fedora     417.8 KiB
 libselinux                        x86_64 3.8-0.rc3.1.fc42.2         fedora     191.6 KiB
 libsemanage                       x86_64 3.8-0.rc3.1.fc42           fedora     305.3 KiB
 libsepol                          x86_64 3.8-0.rc3.1.fc42           fedora     812.3 KiB
 libsmartcols                      x86_64 2.40.4-1.fc42              fedora     176.2 KiB
 libssh                            x86_64 0.11.1-1.fc42              fedora     569.6 KiB
 libssh-config                     noarch 0.11.1-1.fc42              fedora     277.0   B
 libstdc++                         x86_64 15.0.1-0.3.fc42            fedora       2.8 MiB
 libtasn1                          x86_64 4.19.0-9.fc41              fedora     175.7 KiB
 libtirpc                          x86_64 1.3.6-1.rc3.fc42           fedora     197.6 KiB
 libtool-ltdl                      x86_64 2.5.4-3.fc42               fedora      68.1 KiB
 libunistring                      x86_64 1.1-8.fc41                 fedora       1.7 MiB
 libuuid                           x86_64 2.40.4-1.fc42              fedora      39.9 KiB
 libverto                          x86_64 0.3.2-9.fc41               fedora      29.5 KiB
 libxcrypt                         x86_64 4.4.38-3.fc42              fedora     272.0 KiB
 libxml2                           x86_64 2.12.9-1.fc42              fedora       1.7 MiB
 libzstd                           x86_64 1.5.6-2.fc41               fedora     795.9 KiB
 lua-libs                          x86_64 5.4.7-1.fc42               fedora     285.0 KiB
 lua-srpm-macros                   noarch 1-14.fc41                  fedora       1.3 KiB
 lz4-libs                          x86_64 1.10.0-1.fc41              fedora     145.5 KiB
 mpfr                              x86_64 4.2.1-5.fc41               fedora     832.1 KiB
 ncurses-base                      noarch 6.5-2.20240629.fc41        fedora     326.3 KiB
 ncurses-libs                      x86_64 6.5-2.20240629.fc41        fedora     975.2 KiB
 ocaml-srpm-macros                 noarch 10-3.fc41                  fedora       1.9 KiB
 openblas-srpm-macros              noarch 2-18.fc41                  fedora     112.0   B
 openldap                          x86_64 2.6.9-2.fc42               fedora     663.1 KiB
 openssl-libs                      x86_64 1:3.2.2-11.fc42            fedora       7.7 MiB
 p11-kit                           x86_64 0.25.5-4.fc42              fedora       2.2 MiB
 p11-kit-trust                     x86_64 0.25.5-4.fc42              fedora     403.8 KiB
 package-notes-srpm-macros         noarch 0.5-12.fc41                fedora       1.6 KiB
 pam                               x86_64 1.7.0-3.fc42               fedora       1.8 MiB
 pam-libs                          x86_64 1.7.0-3.fc42               fedora     139.4 KiB
 pcre2                             x86_64 10.44-1.fc41.1             fedora     653.5 KiB
 pcre2-syntax                      noarch 10.44-1.fc41.1             fedora     251.6 KiB
 perl-srpm-macros                  noarch 1-56.fc41                  fedora     861.0   B
 pkgconf                           x86_64 2.3.0-1.fc42               fedora      88.6 KiB
 pkgconf-m4                        noarch 2.3.0-1.fc42               fedora      14.4 KiB
 pkgconf-pkg-config                x86_64 2.3.0-1.fc42               fedora     989.0   B
 popt                              x86_64 1.19-7.fc41                fedora     136.9 KiB
 publicsuffix-list-dafsa           noarch 20240107-4.fc41            fedora      67.5 KiB
 pyproject-srpm-macros             noarch 1.16.4-1.fc42              fedora       1.9 KiB
 python-srpm-macros                noarch 3.13-3.fc41                fedora      51.0 KiB
 qt5-srpm-macros                   noarch 5.15.15-1.fc42             fedora     500.0   B
 qt6-srpm-macros                   noarch 6.8.1-4.fc42               fedora     456.0   B
 readline                          x86_64 8.2-11.fc42                fedora     493.1 KiB
 rpm                               x86_64 4.20.0-6.fc42              fedora       3.1 MiB
 rpm-build-libs                    x86_64 4.20.0-6.fc42              fedora     204.1 KiB
 rpm-libs                          x86_64 4.20.0-6.fc42              fedora     710.4 KiB
 rpm-sequoia                       x86_64 1.7.0-3.fc42               fedora       2.3 MiB
 rust-srpm-macros                  noarch 26.3-3.fc42                fedora       4.8 KiB
 setup                             noarch 2.15.0-9.fc42              fedora     720.7 KiB
 sqlite-libs                       x86_64 3.47.2-2.fc42              fedora       1.5 MiB
 systemd-libs                      x86_64 257.2-7.fc42               fedora       2.2 MiB
 util-linux-core                   x86_64 2.40.4-1.fc42              fedora       1.5 MiB
 xxhash-libs                       x86_64 0.8.3-1.fc42               fedora      88.5 KiB
 xz-libs                           x86_64 1:5.6.3-2.fc42             fedora     218.4 KiB
 zig-srpm-macros                   noarch 1-3.fc41                   fedora       1.1 KiB
 zip                               x86_64 3.0-42.fc42                fedora     695.9 KiB
 zlib-ng-compat                    x86_64 2.2.3-1.fc42               fedora     138.5 KiB
 zstd                              x86_64 1.5.6-2.fc41               fedora       1.7 MiB
Installing groups:
 Buildsystem building group                                                              

Transaction Summary:
 Installing:       155 packages

Total size of inbound packages is 52 MiB. Need to download 52 MiB.
After this operation, 178 MiB extra will be used (install 178 MiB, remove 0 B).
[  1/155] bzip2-0:1.0.8-19.fc41.x86_64  100% |   5.1 MiB/s |  52.5 KiB |  00m00s
[  2/155] cpio-0:2.15-2.fc41.x86_64     100% |  71.2 MiB/s | 291.8 KiB |  00m00s
[  3/155] coreutils-0:9.5-12.fc42.x86_6 100% |  52.7 MiB/s | 970.8 KiB |  00m00s
[  4/155] bash-0:5.2.37-1.fc42.x86_64   100% |  90.4 MiB/s |   1.8 MiB |  00m00s
[  5/155] diffutils-0:3.10-8.fc41.x86_6 100% |  66.0 MiB/s | 405.4 KiB |  00m00s
[  6/155] fedora-release-common-0:42-0. 100% |  11.7 MiB/s |  24.0 KiB |  00m00s
[  7/155] findutils-1:4.10.0-4.fc41.x86 100% | 133.9 MiB/s | 548.6 KiB |  00m00s
[  8/155] glibc-minimal-langpack-0:2.40 100% |  40.5 MiB/s | 124.3 KiB |  00m00s
[  9/155] grep-0:3.11-9.fc41.x86_64     100% |  73.2 MiB/s | 299.8 KiB |  00m00s
[ 10/155] gzip-0:1.13-2.fc41.x86_64     100% |  83.1 MiB/s | 170.2 KiB |  00m00s
[ 11/155] info-0:7.2-1.fc42.x86_64      100% |  86.1 MiB/s | 176.3 KiB |  00m00s
[ 12/155] patch-0:2.7.6-25.fc41.x86_64  100% |  42.6 MiB/s | 131.0 KiB |  00m00s
[ 13/155] redhat-rpm-config-0:300-1.fc4 100% |  40.4 MiB/s |  82.8 KiB |  00m00s
[ 14/155] rpm-build-0:4.20.0-6.fc42.x86 100% |  24.5 MiB/s |  75.3 KiB |  00m00s
[ 15/155] sed-0:4.9-3.fc41.x86_64       100% |  77.6 MiB/s | 317.7 KiB |  00m00s
[ 16/155] shadow-utils-2:4.17.0-3.fc42. 100% | 141.4 MiB/s |   1.3 MiB |  00m00s
[ 17/155] tar-2:1.35-4.fc41.x86_64      100% |  93.4 MiB/s | 860.7 KiB |  00m00s
[ 18/155] unzip-0:6.0-65.fc42.x86_64    100% |  22.5 MiB/s | 184.5 KiB |  00m00s
[ 19/155] which-0:2.21-42.fc41.x86_64   100% |  10.1 MiB/s |  41.6 KiB |  00m00s
[ 20/155] xz-1:5.6.3-2.fc42.x86_64      100% | 116.1 MiB/s | 475.4 KiB |  00m00s
[ 21/155] gawk-0:5.3.0-4.fc41.x86_64    100% | 133.9 MiB/s |   1.1 MiB |  00m00s
[ 22/155] util-linux-0:2.40.4-1.fc42.x8 100% | 131.5 MiB/s |   1.1 MiB |  00m00s
[ 23/155] filesystem-0:3.18-34.fc42.x86 100% | 121.0 MiB/s |   1.3 MiB |  00m00s
[ 24/155] ncurses-libs-0:6.5-2.20240629 100% |  65.2 MiB/s | 334.0 KiB |  00m00s
[ 25/155] glibc-0:2.40.9000-28.fc42.x86 100% | 169.4 MiB/s |   2.2 MiB |  00m00s
[ 26/155] bzip2-libs-0:1.0.8-19.fc41.x8 100% |   6.7 MiB/s |  41.1 KiB |  00m00s
[ 27/155] libacl-0:2.3.2-2.fc41.x86_64  100% |   8.0 MiB/s |  24.5 KiB |  00m00s
[ 28/155] gmp-1:6.3.0-2.fc41.x86_64     100% |  77.6 MiB/s | 318.0 KiB |  00m00s
[ 29/155] coreutils-common-0:9.5-12.fc4 100% | 151.4 MiB/s |   2.1 MiB |  00m00s
[ 30/155] libattr-0:2.5.2-4.fc41.x86_64 100% |   3.0 MiB/s |  18.2 KiB |  00m00s
[ 31/155] libcap-0:2.71-2.fc42.x86_64   100% |  10.9 MiB/s |  78.1 KiB |  00m00s
[ 32/155] libselinux-0:3.8-0.rc3.1.fc42 100% |  22.3 MiB/s |  91.2 KiB |  00m00s
[ 33/155] fedora-repos-0:42-0.4.noarch  100% |   3.0 MiB/s |   9.3 KiB |  00m00s
[ 34/155] systemd-libs-0:257.2-7.fc42.x 100% |  83.7 MiB/s | 771.5 KiB |  00m00s
[ 35/155] openssl-libs-1:3.2.2-11.fc42. 100% | 166.9 MiB/s |   2.2 MiB |  00m00s
[ 36/155] glibc-common-0:2.40.9000-28.f 100% |  55.5 MiB/s | 397.9 KiB |  00m00s
[ 37/155] pcre2-0:10.44-1.fc41.1.x86_64 100% |  79.1 MiB/s | 243.1 KiB |  00m00s
[ 38/155] ansible-srpm-macros-0:1-16.fc 100% |  20.3 MiB/s |  20.8 KiB |  00m00s
[ 39/155] ed-0:1.21-1.fc42.x86_64       100% |  26.1 MiB/s |  80.2 KiB |  00m00s
[ 40/155] build-reproducibility-srpm-ma 100% |   5.6 MiB/s |  11.5 KiB |  00m00s
[ 41/155] efi-srpm-macros-0:5-13.fc42.n 100% |  11.0 MiB/s |  22.5 KiB |  00m00s
[ 42/155] file-0:5.45-8.fc42.x86_64     100% |  23.7 MiB/s |  48.6 KiB |  00m00s
[ 43/155] dwz-0:0.15-8.fc42.x86_64      100% |  34.0 MiB/s | 139.1 KiB |  00m00s
[ 44/155] filesystem-srpm-macros-0:3.18 100% |  24.7 MiB/s |  25.3 KiB |  00m00s
[ 45/155] fonts-srpm-macros-1:2.0.5-19. 100% |  26.5 MiB/s |  27.1 KiB |  00m00s
[ 46/155] forge-srpm-macros-0:0.4.0-1.f 100% |  19.3 MiB/s |  19.8 KiB |  00m00s
[ 47/155] fpc-srpm-macros-0:1.3-13.fc41 100% |   3.9 MiB/s |   8.0 KiB |  00m00s
[ 48/155] ghc-srpm-macros-0:1.9.2-1.fc4 100% |   4.5 MiB/s |   9.1 KiB |  00m00s
[ 49/155] gnat-srpm-macros-0:6-6.fc41.n 100% |   4.4 MiB/s |   9.0 KiB |  00m00s
[ 50/155] kernel-srpm-macros-0:1.0-24.f 100% |   3.2 MiB/s |   9.9 KiB |  00m00s
[ 51/155] go-srpm-macros-0:3.6.0-5.fc42 100% |   9.1 MiB/s |  28.0 KiB |  00m00s
[ 52/155] lua-srpm-macros-0:1-14.fc41.n 100% |   4.3 MiB/s |   8.9 KiB |  00m00s
[ 53/155] ocaml-srpm-macros-0:10-3.fc41 100% |   9.0 MiB/s |   9.2 KiB |  00m00s
[ 54/155] openblas-srpm-macros-0:2-18.f 100% |   7.5 MiB/s |   7.7 KiB |  00m00s
[ 55/155] package-notes-srpm-macros-0:0 100% |   9.6 MiB/s |   9.8 KiB |  00m00s
[ 56/155] perl-srpm-macros-0:1-56.fc41. 100% |   8.3 MiB/s |   8.5 KiB |  00m00s
[ 57/155] pyproject-srpm-macros-0:1.16. 100% |  13.7 MiB/s |  14.1 KiB |  00m00s
[ 58/155] python-srpm-macros-0:3.13-3.f 100% |  11.6 MiB/s |  23.7 KiB |  00m00s
[ 59/155] qt5-srpm-macros-0:5.15.15-1.f 100% |   8.7 MiB/s |   8.9 KiB |  00m00s
[ 60/155] qt6-srpm-macros-0:6.8.1-4.fc4 100% |   9.1 MiB/s |   9.3 KiB |  00m00s
[ 61/155] rust-srpm-macros-0:26.3-3.fc4 100% |   5.9 MiB/s |  12.1 KiB |  00m00s
[ 62/155] zig-srpm-macros-0:1-3.fc41.no 100% |   4.0 MiB/s |   8.1 KiB |  00m00s
[ 63/155] rpm-0:4.20.0-6.fc42.x86_64    100% | 132.3 MiB/s | 541.9 KiB |  00m00s
[ 64/155] debugedit-0:5.1-4.fc42.x86_64 100% |  77.0 MiB/s |  78.9 KiB |  00m00s
[ 65/155] zip-0:3.0-42.fc42.x86_64      100% |  83.6 MiB/s | 256.7 KiB |  00m00s
[ 66/155] elfutils-libelf-0:0.192-7.fc4 100% |  99.9 MiB/s | 204.6 KiB |  00m00s
[ 67/155] elfutils-0:0.192-7.fc42.x86_6 100% | 123.2 MiB/s | 504.7 KiB |  00m00s
[ 68/155] libarchive-0:3.7.7-1.fc42.x86 100% | 134.7 MiB/s | 413.9 KiB |  00m00s
[ 69/155] popt-0:1.19-7.fc41.x86_64     100% |  21.5 MiB/s |  65.9 KiB |  00m00s
[ 70/155] readline-0:8.2-11.fc42.x86_64 100% |  69.5 MiB/s | 213.4 KiB |  00m00s
[ 71/155] rpm-build-libs-0:4.20.0-6.fc4 100% |  47.0 MiB/s |  96.3 KiB |  00m00s
[ 72/155] rpm-libs-0:4.20.0-6.fc42.x86_ 100% |  72.8 MiB/s | 298.3 KiB |  00m00s
[ 73/155] zstd-0:1.5.6-2.fc41.x86_64    100% |  94.0 MiB/s | 481.5 KiB |  00m00s
[ 74/155] audit-libs-0:4.0.3-1.fc42.x86 100% |  24.4 MiB/s | 124.9 KiB |  00m00s
[ 75/155] libeconf-0:0.7.5-1.fc42.x86_6 100% |  16.1 MiB/s |  33.1 KiB |  00m00s
[ 76/155] libsemanage-0:3.8-0.rc3.1.fc4 100% |  56.7 MiB/s | 116.1 KiB |  00m00s
[ 77/155] pam-libs-0:1.7.0-3.fc42.x86_6 100% |  56.6 MiB/s |  58.0 KiB |  00m00s
[ 78/155] libxcrypt-0:4.4.38-3.fc42.x86 100% |  58.2 MiB/s | 119.2 KiB |  00m00s
[ 79/155] setup-0:2.15.0-9.fc42.noarch  100% |  76.1 MiB/s | 155.9 KiB |  00m00s
[ 80/155] xz-libs-1:5.6.3-2.fc42.x86_64 100% |  54.6 MiB/s | 111.9 KiB |  00m00s
[ 81/155] mpfr-0:4.2.1-5.fc41.x86_64    100% | 112.7 MiB/s | 346.3 KiB |  00m00s
[ 82/155] libblkid-0:2.40.4-1.fc42.x86_ 100% |  58.5 MiB/s | 119.8 KiB |  00m00s
[ 83/155] libcap-ng-0:0.8.5-3.fc41.x86_ 100% |  31.8 MiB/s |  32.6 KiB |  00m00s
[ 84/155] libfdisk-0:2.40.4-1.fc42.x86_ 100% |  74.9 MiB/s | 153.4 KiB |  00m00s
[ 85/155] libmount-0:2.40.4-1.fc42.x86_ 100% |  73.1 MiB/s | 149.7 KiB |  00m00s
[ 86/155] libsmartcols-0:2.40.4-1.fc42. 100% |  39.1 MiB/s |  80.1 KiB |  00m00s
[ 87/155] libuuid-0:2.40.4-1.fc42.x86_6 100% |  26.8 MiB/s |  27.5 KiB |  00m00s
[ 88/155] zlib-ng-compat-0:2.2.3-1.fc42 100% |  73.8 MiB/s |  75.6 KiB |  00m00s
[ 89/155] util-linux-core-0:2.40.4-1.fc 100% | 161.0 MiB/s | 494.6 KiB |  00m00s
[ 90/155] basesystem-0:11-21.fc41.noarc 100% |   2.4 MiB/s |   7.4 KiB |  00m00s
[ 91/155] glibc-gconv-extra-0:2.40.9000 100% | 189.3 MiB/s |   1.5 MiB |  00m00s
[ 92/155] libgcc-0:15.0.1-0.3.fc42.x86_ 100% |  20.7 MiB/s | 106.0 KiB |  00m00s
[ 93/155] ncurses-base-0:6.5-2.20240629 100% |  21.6 MiB/s |  88.4 KiB |  00m00s
[ 94/155] libsepol-0:3.8-0.rc3.1.fc42.x 100% | 108.3 MiB/s | 332.6 KiB |  00m00s
[ 95/155] crypto-policies-0:20241128-1. 100% |  32.0 MiB/s |  98.4 KiB |  00m00s
[ 96/155] ca-certificates-0:2024.2.69_v 100% | 154.4 MiB/s | 948.9 KiB |  00m00s
[ 97/155] fedora-repos-rawhide-0:42-0.4 100% |   4.3 MiB/s |   8.9 KiB |  00m00s
[ 98/155] fedora-gpg-keys-0:42-0.4.noar 100% |  44.1 MiB/s | 135.6 KiB |  00m00s
[ 99/155] pcre2-syntax-0:10.44-1.fc41.1 100% |  73.2 MiB/s | 149.9 KiB |  00m00s
[100/155] add-determinism-0:0.5.0-1.fc4 100% | 207.2 MiB/s | 848.7 KiB |  00m00s
[101/155] file-libs-0:5.45-8.fc42.x86_6 100% | 149.1 MiB/s | 763.6 KiB |  00m00s
[102/155] curl-0:8.11.1-2.fc42.x86_64   100% |  53.7 MiB/s | 220.2 KiB |  00m00s
[103/155] elfutils-libs-0:0.192-7.fc42. 100% | 123.0 MiB/s | 251.9 KiB |  00m00s
[104/155] elfutils-debuginfod-client-0: 100% |  21.4 MiB/s |  43.9 KiB |  00m00s
[105/155] libzstd-0:1.5.6-2.fc41.x86_64 100% | 101.0 MiB/s | 310.3 KiB |  00m00s
[106/155] libstdc++-0:15.0.1-0.3.fc42.x 100% | 159.5 MiB/s | 816.6 KiB |  00m00s
[107/155] libxml2-0:2.12.9-1.fc42.x86_6 100% | 160.4 MiB/s | 657.1 KiB |  00m00s
[108/155] lz4-libs-0:1.10.0-1.fc41.x86_ 100% |  34.5 MiB/s |  70.7 KiB |  00m00s
[109/155] libgomp-0:15.0.1-0.3.fc42.x86 100% | 108.5 MiB/s | 333.4 KiB |  00m00s
[110/155] lua-libs-0:5.4.7-1.fc42.x86_6 100% |  64.5 MiB/s | 132.1 KiB |  00m00s
[111/155] elfutils-default-yama-scope-0 100% |  12.2 MiB/s |  12.5 KiB |  00m00s
[112/155] rpm-sequoia-0:1.7.0-3.fc42.x8 100% | 161.3 MiB/s | 826.0 KiB |  00m00s
[113/155] sqlite-libs-0:3.47.2-2.fc42.x 100% | 143.5 MiB/s | 734.8 KiB |  00m00s
[114/155] json-c-0:0.18-1.fc42.x86_64   100% |  21.7 MiB/s |  44.4 KiB |  00m00s
[115/155] authselect-0:1.5.0-8.fc42.x86 100% |  71.2 MiB/s | 145.8 KiB |  00m00s
[116/155] authselect-libs-0:1.5.0-8.fc4 100% |  53.2 MiB/s | 218.0 KiB |  00m00s
[117/155] pam-0:1.7.0-3.fc42.x86_64     100% | 135.3 MiB/s | 554.3 KiB |  00m00s
[118/155] libnsl2-0:2.0.1-2.fc41.x86_64 100% |  28.9 MiB/s |  29.6 KiB |  00m00s
[119/155] gdbm-libs-1:1.23-7.fc41.x86_6 100% |  18.3 MiB/s |  56.3 KiB |  00m00s
[120/155] libpwquality-0:1.4.5-11.fc41. 100% |  58.1 MiB/s | 119.1 KiB |  00m00s
[121/155] libtirpc-0:1.3.6-1.rc3.fc42.x 100% |  43.8 MiB/s |  89.7 KiB |  00m00s
[122/155] cracklib-0:2.9.11-6.fc41.x86_ 100% |  44.9 MiB/s |  92.0 KiB |  00m00s
[123/155] libcom_err-0:1.47.2-2.fc42.x8 100% |  25.0 MiB/s |  25.6 KiB |  00m00s
[124/155] pkgconf-pkg-config-0:2.3.0-1. 100% |   0.0   B/s |  10.0 KiB |  00m00s
[125/155] alternatives-0:1.31-2.fc42.x8 100% |  38.7 MiB/s |  39.6 KiB |  00m00s
[126/155] pkgconf-0:2.3.0-1.fc42.x86_64 100% |  44.1 MiB/s |  45.2 KiB |  00m00s
[127/155] pkgconf-m4-0:2.3.0-1.fc42.noa 100% |  14.0 MiB/s |  14.3 KiB |  00m00s
[128/155] libpkgconf-0:2.3.0-1.fc42.x86 100% |   9.4 MiB/s |  38.5 KiB |  00m00s
[129/155] gdbm-1:1.23-7.fc41.x86_64     100% |  37.1 MiB/s | 151.8 KiB |  00m00s
[130/155] keyutils-libs-0:1.6.3-4.fc41. 100% |  15.5 MiB/s |  31.6 KiB |  00m00s
[131/155] libverto-0:0.3.2-9.fc41.x86_6 100% |   6.7 MiB/s |  20.7 KiB |  00m00s
[132/155] libffi-0:3.4.6-3.fc42.x86_64  100% |  13.0 MiB/s |  40.0 KiB |  00m00s
[133/155] krb5-libs-0:1.21.3-4.fc42.x86 100% |  64.2 MiB/s | 723.5 KiB |  00m00s
[134/155] binutils-0:2.43.50-9.fc42.x86 100% | 222.4 MiB/s |   5.8 MiB |  00m00s
[135/155] p11-kit-0:0.25.5-4.fc42.x86_6 100% |  53.4 MiB/s | 492.0 KiB |  00m00s
[136/155] libtasn1-0:4.19.0-9.fc41.x86_ 100% |  10.4 MiB/s |  74.2 KiB |  00m00s
[137/155] p11-kit-trust-0:0.25.5-4.fc42 100% |  43.4 MiB/s | 133.2 KiB |  00m00s
[138/155] fedora-release-0:42-0.13.noar 100% |   6.4 MiB/s |  13.1 KiB |  00m00s
[139/155] jansson-0:2.14-2.fc42.x86_64  100% |  14.3 MiB/s |  43.9 KiB |  00m00s
[140/155] xxhash-libs-0:0.8.3-1.fc42.x8 100% |  35.1 MiB/s |  35.9 KiB |  00m00s
[141/155] fedora-release-identity-basic 100% |  13.6 MiB/s |  13.9 KiB |  00m00s
[142/155] libcurl-0:8.11.1-2.fc42.x86_6 100% | 116.1 MiB/s | 356.7 KiB |  00m00s
[143/155] libbrotli-0:1.1.0-5.fc41.x86_ 100% | 110.8 MiB/s | 340.5 KiB |  00m00s
[144/155] libidn2-0:2.3.7-2.fc41.x86_64 100% |  28.9 MiB/s | 118.4 KiB |  00m00s
[145/155] libnghttp2-0:1.64.0-1.fc42.x8 100% |  25.2 MiB/s |  77.4 KiB |  00m00s
[146/155] libpsl-0:0.21.5-4.fc41.x86_64 100% |  31.3 MiB/s |  64.1 KiB |  00m00s
[147/155] gdb-minimal-0:15.2-4.fc42.x86 100% | 237.7 MiB/s |   4.0 MiB |  00m00s
[148/155] libssh-0:0.11.1-1.fc42.x86_64 100% |  37.7 MiB/s | 231.9 KiB |  00m00s
[149/155] openldap-0:2.6.9-2.fc42.x86_6 100% |  50.7 MiB/s | 259.5 KiB |  00m00s
[150/155] publicsuffix-list-dafsa-0:202 100% |  56.9 MiB/s |  58.3 KiB |  00m00s
[151/155] libssh-config-0:0.11.1-1.fc42 100% |   9.2 MiB/s |   9.4 KiB |  00m00s
[152/155] libunistring-0:1.1-8.fc41.x86 100% | 133.0 MiB/s | 544.8 KiB |  00m00s
[153/155] libevent-0:2.1.12-14.fc41.x86 100% |  83.8 MiB/s | 257.5 KiB |  00m00s
[154/155] libtool-ltdl-0:2.5.4-3.fc42.x 100% |  11.1 MiB/s |  34.2 KiB |  00m00s
[155/155] cyrus-sasl-lib-0:2.1.28-28.fc 100% | 124.1 MiB/s | 762.7 KiB |  00m00s
--------------------------------------------------------------------------------
[155/155] Total                         100% | 174.6 MiB/s |  51.5 MiB |  00m00s
Running transaction
Importing OpenPGP key 0x105EF944:
 UserID     : "Fedora (42) <fedora-42-primary@fedoraproject.org>"
 Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary
The key was successfully imported.
Importing OpenPGP key 0x105EF944:
 UserID     : "Fedora (42) <fedora-42-primary@fedoraproject.org>"
 Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary
The key was successfully imported.
Importing OpenPGP key 0xE99D6AD1:
 UserID     : "Fedora (41) <fedora-41-primary@fedoraproject.org>"
 Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary
The key was successfully imported.
Importing OpenPGP key 0x31645531:
 UserID     : "Fedora (43) <fedora-43-primary@fedoraproject.org>"
 Fingerprint: C6E7F081CF80E13146676E88829B606631645531
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-43-primary
The key was successfully imported.
[  1/157] Verify package files          100% | 870.0   B/s | 155.0   B |  00m00s
>>> Running pre-transaction scriptlet: filesystem-0:3.18-34.fc42.x86_64
>>> Finished pre-transaction scriptlet: filesystem-0:3.18-34.fc42.x86_64
>>> [RPM] /var/lib/mock/fedora-rawhide-x86_64-1737147967.093887/root/var/cache/d
[  2/157] Prepare transaction           100% |   3.8 KiB/s | 155.0   B |  00m00s
[  3/157] Installing libgcc-0:15.0.1-0. 100% | 262.3 MiB/s | 268.6 KiB |  00m00s
[  4/157] Installing libssh-config-0:0. 100% |   0.0   B/s | 816.0   B |  00m00s
[  5/157] Installing publicsuffix-list- 100% |   0.0   B/s |  68.3 KiB |  00m00s
[  6/157] Installing fedora-release-ide 100% |   0.0   B/s | 976.0   B |  00m00s
[  7/157] Installing fedora-repos-rawhi 100% |   0.0   B/s |   2.4 KiB |  00m00s
[  8/157] Installing fedora-gpg-keys-0: 100% |  42.7 MiB/s | 174.8 KiB |  00m00s
[  9/157] Installing fedora-repos-0:42- 100% |   0.0   B/s |   5.7 KiB |  00m00s
[ 10/157] Installing fedora-release-com 100% |  23.6 MiB/s |  24.1 KiB |  00m00s
[ 11/157] Installing fedora-release-0:4 100% |   0.0   B/s | 124.0   B |  00m00s
[ 12/157] Installing setup-0:2.15.0-9.f 100% |  50.7 MiB/s | 726.5 KiB |  00m00s
>>> [RPM] /etc/hosts created as /etc/hosts.rpmnew
[ 13/157] Installing filesystem-0:3.18- 100% |   2.6 MiB/s | 212.4 KiB |  00m00s
[ 14/157] Installing basesystem-0:11-21 100% |   0.0   B/s | 124.0   B |  00m00s
[ 15/157] Installing pkgconf-m4-0:2.3.0 100% |   0.0   B/s |  14.8 KiB |  00m00s
[ 16/157] Installing pcre2-syntax-0:10. 100% | 248.1 MiB/s | 254.1 KiB |  00m00s
[ 17/157] Installing ncurses-base-0:6.5 100% |  85.9 MiB/s | 351.7 KiB |  00m00s
[ 18/157] Installing glibc-minimal-lang 100% |   0.0   B/s | 124.0   B |  00m00s
[ 19/157] Installing ncurses-libs-0:6.5 100% | 239.7 MiB/s | 981.8 KiB |  00m00s
[ 20/157] Installing glibc-0:2.40.9000- 100% | 180.8 MiB/s |   6.7 MiB |  00m00s
[ 21/157] Installing bash-0:5.2.37-1.fc 100% | 247.6 MiB/s |   8.2 MiB |  00m00s
[ 22/157] Installing glibc-common-0:2.4 100% |  57.9 MiB/s |   1.0 MiB |  00m00s
[ 23/157] Installing glibc-gconv-extra- 100% | 269.2 MiB/s |   8.1 MiB |  00m00s
[ 24/157] Installing zlib-ng-compat-0:2 100% | 136.1 MiB/s | 139.3 KiB |  00m00s
[ 25/157] Installing bzip2-libs-0:1.0.8 100% |   0.0   B/s |  81.8 KiB |  00m00s
[ 26/157] Installing xz-libs-1:5.6.3-2. 100% | 214.3 MiB/s | 219.5 KiB |  00m00s
[ 27/157] Installing popt-0:1.19-7.fc41 100% |  70.1 MiB/s | 143.5 KiB |  00m00s
[ 28/157] Installing readline-0:8.2-11. 100% | 241.8 MiB/s | 495.3 KiB |  00m00s
[ 29/157] Installing libuuid-0:2.40.4-1 100% |   0.0   B/s |  40.9 KiB |  00m00s
[ 30/157] Installing libblkid-0:2.40.4- 100% | 252.1 MiB/s | 258.2 KiB |  00m00s
[ 31/157] Installing gmp-1:6.3.0-2.fc41 100% | 397.3 MiB/s | 813.7 KiB |  00m00s
[ 32/157] Installing libattr-0:2.5.2-4. 100% |   0.0   B/s |  29.5 KiB |  00m00s
[ 33/157] Installing libacl-0:2.3.2-2.f 100% |   0.0   B/s |  40.7 KiB |  00m00s
[ 34/157] Installing libxcrypt-0:4.4.38 100% | 268.2 MiB/s | 274.7 KiB |  00m00s
[ 35/157] Installing libstdc++-0:15.0.1 100% | 393.7 MiB/s |   2.8 MiB |  00m00s
[ 36/157] Installing libzstd-0:1.5.6-2. 100% | 389.3 MiB/s | 797.2 KiB |  00m00s
[ 37/157] Installing elfutils-libelf-0: 100% | 389.0 MiB/s |   1.2 MiB |  00m00s
[ 38/157] Installing libeconf-0:0.7.5-1 100% |  66.8 MiB/s |  68.4 KiB |  00m00s
[ 39/157] Installing gdbm-libs-1:1.23-7 100% | 120.7 MiB/s | 123.6 KiB |  00m00s
[ 40/157] Installing dwz-0:0.15-8.fc42. 100% |  21.0 MiB/s | 300.6 KiB |  00m00s
[ 41/157] Installing mpfr-0:4.2.1-5.fc4 100% | 271.4 MiB/s | 833.7 KiB |  00m00s
[ 42/157] Installing gawk-0:5.3.0-4.fc4 100% |  91.2 MiB/s |   1.7 MiB |  00m00s
[ 43/157] Installing unzip-0:6.0-65.fc4 100% |  28.0 MiB/s | 401.7 KiB |  00m00s
[ 44/157] Installing file-libs-0:5.45-8 100% | 662.6 MiB/s |   9.9 MiB |  00m00s
[ 45/157] Installing file-0:5.45-8.fc42 100% |   5.1 MiB/s | 105.2 KiB |  00m00s
[ 46/157] Installing crypto-policies-0: 100% |  32.0 MiB/s | 163.7 KiB |  00m00s
[ 47/157] Installing pcre2-0:10.44-1.fc 100% | 319.8 MiB/s | 654.9 KiB |  00m00s
[ 48/157] Installing grep-0:3.11-9.fc41 100% |  52.8 MiB/s |   1.0 MiB |  00m00s
[ 49/157] Installing xz-1:5.6.3-2.fc42. 100% |  68.7 MiB/s |   1.2 MiB |  00m00s
[ 50/157] Installing libcap-ng-0:0.8.5- 100% |  69.4 MiB/s |  71.0 KiB |  00m00s
[ 51/157] Installing audit-libs-0:4.0.3 100% | 172.6 MiB/s | 353.4 KiB |  00m00s
[ 52/157] Installing pam-libs-0:1.7.0-3 100% | 138.5 MiB/s | 141.8 KiB |  00m00s
[ 53/157] Installing libcap-0:2.71-2.fc 100% |  15.9 MiB/s | 228.3 KiB |  00m00s
[ 54/157] Installing systemd-libs-0:257 100% | 317.2 MiB/s |   2.2 MiB |  00m00s
[ 55/157] Installing libsmartcols-0:2.4 100% | 173.2 MiB/s | 177.4 KiB |  00m00s
[ 56/157] Installing libsepol-0:3.8-0.r 100% | 397.1 MiB/s | 813.3 KiB |  00m00s
[ 57/157] Installing libselinux-0:3.8-0 100% | 188.4 MiB/s | 192.9 KiB |  00m00s
[ 58/157] Installing sed-0:4.9-3.fc41.x 100% |  53.1 MiB/s | 869.7 KiB |  00m00s
[ 59/157] Installing findutils-1:4.10.0 100% |  97.8 MiB/s |   1.9 MiB |  00m00s
[ 60/157] Installing libmount-0:2.40.4- 100% | 345.7 MiB/s | 354.0 KiB |  00m00s
[ 61/157] Installing lz4-libs-0:1.10.0- 100% | 143.1 MiB/s | 146.6 KiB |  00m00s
[ 62/157] Installing lua-libs-0:5.4.7-1 100% | 279.5 MiB/s | 286.2 KiB |  00m00s
[ 63/157] Installing libcom_err-0:1.47. 100% |  65.5 MiB/s |  67.1 KiB |  00m00s
[ 64/157] Installing alternatives-0:1.3 100% |   5.0 MiB/s |  66.4 KiB |  00m00s
[ 65/157] Installing libffi-0:3.4.6-3.f 100% |  85.7 MiB/s |  87.8 KiB |  00m00s
[ 66/157] Installing libtasn1-0:4.19.0- 100% | 173.3 MiB/s | 177.5 KiB |  00m00s
[ 67/157] Installing p11-kit-0:0.25.5-4 100% | 105.5 MiB/s |   2.2 MiB |  00m00s
[ 68/157] Installing libunistring-0:1.1 100% | 346.1 MiB/s |   1.7 MiB |  00m00s
[ 69/157] Installing libidn2-0:2.3.7-2. 100% | 163.6 MiB/s | 335.1 KiB |  00m00s
[ 70/157] Installing libpsl-0:0.21.5-4. 100% |  79.7 MiB/s |  81.7 KiB |  00m00s
[ 71/157] Installing p11-kit-trust-0:0. 100% |  18.9 MiB/s | 405.5 KiB |  00m00s
[ 72/157] Installing zstd-0:1.5.6-2.fc4 100% |  89.0 MiB/s |   1.7 MiB |  00m00s
[ 73/157] Installing util-linux-core-0: 100% |  78.0 MiB/s |   1.5 MiB |  00m00s
[ 74/157] Installing tar-2:1.35-4.fc41. 100% | 140.9 MiB/s |   3.0 MiB |  00m00s
[ 75/157] Installing libsemanage-0:3.8- 100% | 149.9 MiB/s | 307.1 KiB |  00m00s
[ 76/157] Installing shadow-utils-2:4.1 100% | 130.6 MiB/s |   4.0 MiB |  00m00s
[ 77/157] Installing zip-0:3.0-42.fc42. 100% |  45.6 MiB/s | 699.8 KiB |  00m00s
[ 78/157] Installing gdbm-1:1.23-7.fc41 100% |  30.3 MiB/s | 465.8 KiB |  00m00s
[ 79/157] Installing cyrus-sasl-lib-0:2 100% | 120.5 MiB/s |   2.3 MiB |  00m00s
[ 80/157] Installing libfdisk-0:2.40.4- 100% | 180.4 MiB/s | 369.4 KiB |  00m00s
[ 81/157] Installing libxml2-0:2.12.9-1 100% |  99.2 MiB/s |   1.7 MiB |  00m00s
[ 82/157] Installing bzip2-0:1.0.8-19.f 100% |   7.0 MiB/s | 100.2 KiB |  00m00s
[ 83/157] Installing add-determinism-0: 100% | 124.7 MiB/s |   2.4 MiB |  00m00s
[ 84/157] Installing build-reproducibil 100% |   0.0   B/s |   1.0 KiB |  00m00s
[ 85/157] Installing sqlite-libs-0:3.47 100% | 376.1 MiB/s |   1.5 MiB |  00m00s
[ 86/157] Installing ed-0:1.21-1.fc42.x 100% |  11.1 MiB/s | 147.1 KiB |  00m00s
[ 87/157] Installing patch-0:2.7.6-25.f 100% |  18.7 MiB/s | 268.2 KiB |  00m00s
[ 88/157] Installing filesystem-srpm-ma 100% |   0.0   B/s |  38.9 KiB |  00m00s
[ 89/157] Installing elfutils-default-y 100% | 408.6 KiB/s |   2.0 KiB |  00m00s
[ 90/157] Installing elfutils-libs-0:0. 100% | 216.4 MiB/s | 664.7 KiB |  00m00s
[ 91/157] Installing cpio-0:2.15-2.fc41 100% |  61.1 MiB/s |   1.1 MiB |  00m00s
[ 92/157] Installing diffutils-0:3.10-8 100% |  88.3 MiB/s |   1.6 MiB |  00m00s
[ 93/157] Installing libgomp-0:15.0.1-0 100% | 259.3 MiB/s | 531.0 KiB |  00m00s
[ 94/157] Installing json-c-0:0.18-1.fc 100% |  82.6 MiB/s |  84.6 KiB |  00m00s
[ 95/157] Installing libpkgconf-0:2.3.0 100% |  77.5 MiB/s |  79.3 KiB |  00m00s
[ 96/157] Installing pkgconf-0:2.3.0-1. 100% |   6.8 MiB/s |  91.1 KiB |  00m00s
[ 97/157] Installing pkgconf-pkg-config 100% | 136.4 KiB/s |   1.8 KiB |  00m00s
[ 98/157] Installing keyutils-libs-0:1. 100% |  54.5 MiB/s |  55.8 KiB |  00m00s
[ 99/157] Installing libverto-0:0.3.2-9 100% |  30.5 MiB/s |  31.3 KiB |  00m00s
[100/157] Installing jansson-0:2.14-2.f 100% |  90.0 MiB/s |  92.2 KiB |  00m00s
[101/157] Installing xxhash-libs-0:0.8. 100% |  87.8 MiB/s |  89.9 KiB |  00m00s
[102/157] Installing libbrotli-0:1.1.0- 100% | 273.4 MiB/s | 839.9 KiB |  00m00s
[103/157] Installing libnghttp2-0:1.64. 100% | 171.5 MiB/s | 175.6 KiB |  00m00s
[104/157] Installing libtool-ltdl-0:2.5 100% |   0.0   B/s |  69.2 KiB |  00m00s
[105/157] Installing rust-srpm-macros-0 100% |   0.0   B/s |   5.6 KiB |  00m00s
[106/157] Installing qt6-srpm-macros-0: 100% |   0.0   B/s | 732.0   B |  00m00s
[107/157] Installing qt5-srpm-macros-0: 100% |   0.0   B/s | 776.0   B |  00m00s
[108/157] Installing perl-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[109/157] Installing package-notes-srpm 100% |   0.0   B/s |   2.0 KiB |  00m00s
[110/157] Installing openblas-srpm-macr 100% |   0.0   B/s | 392.0   B |  00m00s
[111/157] Installing ocaml-srpm-macros- 100% |   0.0   B/s |   2.2 KiB |  00m00s
[112/157] Installing kernel-srpm-macros 100% |   0.0   B/s |   2.3 KiB |  00m00s
[113/157] Installing gnat-srpm-macros-0 100% |   0.0   B/s |   1.3 KiB |  00m00s
[114/157] Installing ghc-srpm-macros-0: 100% |   0.0   B/s |   1.0 KiB |  00m00s
[115/157] Installing fpc-srpm-macros-0: 100% |   0.0   B/s | 420.0   B |  00m00s
[116/157] Installing ansible-srpm-macro 100% |  35.4 MiB/s |  36.2 KiB |  00m00s
[117/157] Installing coreutils-common-0 100% | 385.9 MiB/s |  11.2 MiB |  00m00s
[118/157] Installing openssl-libs-1:3.2 100% | 404.7 MiB/s |   7.7 MiB |  00m00s
[119/157] Installing coreutils-0:9.5-12 100% | 158.7 MiB/s |   5.6 MiB |  00m00s
[120/157] Installing ca-certificates-0: 100% |   2.0 MiB/s |   2.4 MiB |  00m01s
[121/157] Installing krb5-libs-0:1.21.3 100% | 286.4 MiB/s |   2.3 MiB |  00m00s
[122/157] Installing libarchive-0:3.7.7 100% | 304.1 MiB/s | 934.2 KiB |  00m00s
[123/157] Installing libtirpc-0:1.3.6-1 100% | 194.7 MiB/s | 199.4 KiB |  00m00s
[124/157] Installing gzip-0:1.13-2.fc41 100% |  24.1 MiB/s | 394.6 KiB |  00m00s
[125/157] Installing authselect-libs-0: 100% | 163.5 MiB/s | 837.2 KiB |  00m00s
[126/157] Installing cracklib-0:2.9.11- 100% |  34.9 MiB/s | 250.3 KiB |  00m00s
[127/157] Installing libpwquality-0:1.4 100% |  26.3 MiB/s | 430.1 KiB |  00m00s
[128/157] Installing libnsl2-0:2.0.1-2. 100% |  57.7 MiB/s |  59.1 KiB |  00m00s
[129/157] Installing pam-0:1.7.0-3.fc42 100% | 118.3 MiB/s |   1.9 MiB |  00m00s
[130/157] Installing libssh-0:0.11.1-1. 100% | 279.2 MiB/s | 571.7 KiB |  00m00s
[131/157] Installing rpm-sequoia-0:1.7. 100% | 387.3 MiB/s |   2.3 MiB |  00m00s
[132/157] Installing rpm-libs-0:4.20.0- 100% | 231.7 MiB/s | 711.9 KiB |  00m00s
[133/157] Installing rpm-build-libs-0:4 100% | 200.1 MiB/s | 204.9 KiB |  00m00s
[134/157] Installing libevent-0:2.1.12- 100% | 292.8 MiB/s | 899.5 KiB |  00m00s
[135/157] Installing openldap-0:2.6.9-2 100% | 217.1 MiB/s | 666.9 KiB |  00m00s
[136/157] Installing libcurl-0:8.11.1-2 100% | 266.4 MiB/s | 818.4 KiB |  00m00s
[137/157] Installing elfutils-debuginfo 100% |   5.5 MiB/s |  83.8 KiB |  00m00s
[138/157] Installing elfutils-0:0.192-7 100% | 132.2 MiB/s |   2.6 MiB |  00m00s
[139/157] Installing binutils-0:2.43.50 100% | 310.9 MiB/s |  25.8 MiB |  00m00s
[140/157] Installing gdb-minimal-0:15.2 100% | 265.1 MiB/s |  12.7 MiB |  00m00s
[141/157] Installing debugedit-0:5.1-4. 100% |  14.2 MiB/s | 203.1 KiB |  00m00s
[142/157] Installing curl-0:8.11.1-2.fc 100% |  20.2 MiB/s | 454.5 KiB |  00m00s
[143/157] Installing rpm-0:4.20.0-6.fc4 100% |  89.4 MiB/s |   2.5 MiB |  00m00s
[144/157] Installing efi-srpm-macros-0: 100% |  40.2 MiB/s |  41.2 KiB |  00m00s
[145/157] Installing lua-srpm-macros-0: 100% |   0.0   B/s |   1.9 KiB |  00m00s
[146/157] Installing zig-srpm-macros-0: 100% |   0.0   B/s |   1.7 KiB |  00m00s
[147/157] Installing fonts-srpm-macros- 100% |  55.7 MiB/s |  57.0 KiB |  00m00s
[148/157] Installing forge-srpm-macros- 100% |   0.0   B/s |  40.3 KiB |  00m00s
[149/157] Installing go-srpm-macros-0:3 100% |  60.5 MiB/s |  62.0 KiB |  00m00s
[150/157] Installing python-srpm-macros 100% |  50.9 MiB/s |  52.2 KiB |  00m00s
[151/157] Installing redhat-rpm-config- 100% |  94.5 MiB/s | 193.5 KiB |  00m00s
[152/157] Installing rpm-build-0:4.20.0 100% |  12.7 MiB/s | 194.5 KiB |  00m00s
[153/157] Installing pyproject-srpm-mac 100% |   1.2 MiB/s |   2.5 KiB |  00m00s
[154/157] Installing util-linux-0:2.40. 100% |  99.9 MiB/s |   3.6 MiB |  00m00s
[155/157] Installing authselect-0:1.5.0 100% |  10.5 MiB/s | 161.9 KiB |  00m00s
[156/157] Installing which-0:2.21-42.fc 100% |   5.7 MiB/s |  82.4 KiB |  00m00s
[157/157] Installing info-0:7.2-1.fc42. 100% | 217.9 KiB/s | 355.6 KiB |  00m02s
Warning: skipped OpenPGP checks for 2 packages from repository: copr_base
Complete!
Finish: installing minimal buildroot with dnf5
Start: creating root cache
Finish: creating root cache
Finish: chroot init
INFO: Installed packages:
INFO: add-determinism-0.5.0-1.fc42.x86_64
alternatives-1.31-2.fc42.x86_64
ansible-srpm-macros-1-16.fc41.noarch
audit-libs-4.0.3-1.fc42.x86_64
authselect-1.5.0-8.fc42.x86_64
authselect-libs-1.5.0-8.fc42.x86_64
basesystem-11-21.fc41.noarch
bash-5.2.37-1.fc42.x86_64
binutils-2.43.50-9.fc42.x86_64
build-reproducibility-srpm-macros-0.5.0-1.fc42.noarch
bzip2-1.0.8-19.fc41.x86_64
bzip2-libs-1.0.8-19.fc41.x86_64
ca-certificates-2024.2.69_v8.0.401-4.fc42.noarch
coreutils-9.5-12.fc42.x86_64
coreutils-common-9.5-12.fc42.x86_64
cpio-2.15-2.fc41.x86_64
cracklib-2.9.11-6.fc41.x86_64
crypto-policies-20241128-1.gitbb7b0b0.fc42.noarch
curl-8.11.1-2.fc42.x86_64
cyrus-sasl-lib-2.1.28-28.fc42.x86_64
debugedit-5.1-4.fc42.x86_64
diffutils-3.10-8.fc41.x86_64
dwz-0.15-8.fc42.x86_64
ed-1.21-1.fc42.x86_64
efi-srpm-macros-5-13.fc42.noarch
elfutils-0.192-7.fc42.x86_64
elfutils-debuginfod-client-0.192-7.fc42.x86_64
elfutils-default-yama-scope-0.192-7.fc42.noarch
elfutils-libelf-0.192-7.fc42.x86_64
elfutils-libs-0.192-7.fc42.x86_64
fedora-gpg-keys-42-0.4.noarch
fedora-release-42-0.13.noarch
fedora-release-common-42-0.13.noarch
fedora-release-identity-basic-42-0.13.noarch
fedora-repos-42-0.4.noarch
fedora-repos-rawhide-42-0.4.noarch
file-5.45-8.fc42.x86_64
file-libs-5.45-8.fc42.x86_64
filesystem-3.18-34.fc42.x86_64
filesystem-srpm-macros-3.18-34.fc42.noarch
findutils-4.10.0-4.fc41.x86_64
fonts-srpm-macros-2.0.5-19.fc42.noarch
forge-srpm-macros-0.4.0-1.fc42.noarch
fpc-srpm-macros-1.3-13.fc41.noarch
gawk-5.3.0-4.fc41.x86_64
gdb-minimal-15.2-4.fc42.x86_64
gdbm-1.23-7.fc41.x86_64
gdbm-libs-1.23-7.fc41.x86_64
ghc-srpm-macros-1.9.2-1.fc42.noarch
glibc-2.40.9000-28.fc42.x86_64
glibc-common-2.40.9000-28.fc42.x86_64
glibc-gconv-extra-2.40.9000-28.fc42.x86_64
glibc-minimal-langpack-2.40.9000-28.fc42.x86_64
gmp-6.3.0-2.fc41.x86_64
gnat-srpm-macros-6-6.fc41.noarch
go-srpm-macros-3.6.0-5.fc42.noarch
gpg-pubkey-105ef944-65ca83d1
gpg-pubkey-31645531-66b6dccf
gpg-pubkey-e99d6ad1-64d2612c
grep-3.11-9.fc41.x86_64
gzip-1.13-2.fc41.x86_64
info-7.2-1.fc42.x86_64
jansson-2.14-2.fc42.x86_64
json-c-0.18-1.fc42.x86_64
kernel-srpm-macros-1.0-24.fc41.noarch
keyutils-libs-1.6.3-4.fc41.x86_64
krb5-libs-1.21.3-4.fc42.x86_64
libacl-2.3.2-2.fc41.x86_64
libarchive-3.7.7-1.fc42.x86_64
libattr-2.5.2-4.fc41.x86_64
libblkid-2.40.4-1.fc42.x86_64
libbrotli-1.1.0-5.fc41.x86_64
libcap-2.71-2.fc42.x86_64
libcap-ng-0.8.5-3.fc41.x86_64
libcom_err-1.47.2-2.fc42.x86_64
libcurl-8.11.1-2.fc42.x86_64
libeconf-0.7.5-1.fc42.x86_64
libevent-2.1.12-14.fc41.x86_64
libfdisk-2.40.4-1.fc42.x86_64
libffi-3.4.6-3.fc42.x86_64
libgcc-15.0.1-0.3.fc42.x86_64
libgomp-15.0.1-0.3.fc42.x86_64
libidn2-2.3.7-2.fc41.x86_64
libmount-2.40.4-1.fc42.x86_64
libnghttp2-1.64.0-1.fc42.x86_64
libnsl2-2.0.1-2.fc41.x86_64
libpkgconf-2.3.0-1.fc42.x86_64
libpsl-0.21.5-4.fc41.x86_64
libpwquality-1.4.5-11.fc41.x86_64
libselinux-3.8-0.rc3.1.fc42.2.x86_64
libsemanage-3.8-0.rc3.1.fc42.x86_64
libsepol-3.8-0.rc3.1.fc42.x86_64
libsmartcols-2.40.4-1.fc42.x86_64
libssh-0.11.1-1.fc42.x86_64
libssh-config-0.11.1-1.fc42.noarch
libstdc++-15.0.1-0.3.fc42.x86_64
libtasn1-4.19.0-9.fc41.x86_64
libtirpc-1.3.6-1.rc3.fc42.x86_64
libtool-ltdl-2.5.4-3.fc42.x86_64
libunistring-1.1-8.fc41.x86_64
libuuid-2.40.4-1.fc42.x86_64
libverto-0.3.2-9.fc41.x86_64
libxcrypt-4.4.38-3.fc42.x86_64
libxml2-2.12.9-1.fc42.x86_64
libzstd-1.5.6-2.fc41.x86_64
lua-libs-5.4.7-1.fc42.x86_64
lua-srpm-macros-1-14.fc41.noarch
lz4-libs-1.10.0-1.fc41.x86_64
mpfr-4.2.1-5.fc41.x86_64
ncurses-base-6.5-2.20240629.fc41.noarch
ncurses-libs-6.5-2.20240629.fc41.x86_64
ocaml-srpm-macros-10-3.fc41.noarch
openblas-srpm-macros-2-18.fc41.noarch
openldap-2.6.9-2.fc42.x86_64
openssl-libs-3.2.2-11.fc42.x86_64
p11-kit-0.25.5-4.fc42.x86_64
p11-kit-trust-0.25.5-4.fc42.x86_64
package-notes-srpm-macros-0.5-12.fc41.noarch
pam-1.7.0-3.fc42.x86_64
pam-libs-1.7.0-3.fc42.x86_64
patch-2.7.6-25.fc41.x86_64
pcre2-10.44-1.fc41.1.x86_64
pcre2-syntax-10.44-1.fc41.1.noarch
perl-srpm-macros-1-56.fc41.noarch
pkgconf-2.3.0-1.fc42.x86_64
pkgconf-m4-2.3.0-1.fc42.noarch
pkgconf-pkg-config-2.3.0-1.fc42.x86_64
popt-1.19-7.fc41.x86_64
publicsuffix-list-dafsa-20240107-4.fc41.noarch
pyproject-srpm-macros-1.16.4-1.fc42.noarch
python-srpm-macros-3.13-3.fc41.noarch
qt5-srpm-macros-5.15.15-1.fc42.noarch
qt6-srpm-macros-6.8.1-4.fc42.noarch
readline-8.2-11.fc42.x86_64
redhat-rpm-config-300-1.fc42.noarch
rpm-4.20.0-6.fc42.x86_64
rpm-build-4.20.0-6.fc42.x86_64
rpm-build-libs-4.20.0-6.fc42.x86_64
rpm-libs-4.20.0-6.fc42.x86_64
rpm-sequoia-1.7.0-3.fc42.x86_64
rust-srpm-macros-26.3-3.fc42.noarch
sed-4.9-3.fc41.x86_64
setup-2.15.0-9.fc42.noarch
shadow-utils-4.17.0-3.fc42.x86_64
sqlite-libs-3.47.2-2.fc42.x86_64
systemd-libs-257.2-7.fc42.x86_64
tar-1.35-4.fc41.x86_64
unzip-6.0-65.fc42.x86_64
util-linux-2.40.4-1.fc42.x86_64
util-linux-core-2.40.4-1.fc42.x86_64
which-2.21-42.fc41.x86_64
xxhash-libs-0.8.3-1.fc42.x86_64
xz-5.6.3-2.fc42.x86_64
xz-libs-5.6.3-2.fc42.x86_64
zig-srpm-macros-1-3.fc41.noarch
zip-3.0-42.fc42.x86_64
zlib-ng-compat-2.2.3-1.fc42.x86_64
zstd-1.5.6-2.fc41.x86_64
Start: buildsrpm
Start: rpmbuild -bs
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1737072000
Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Finish: rpmbuild -bs
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-rawhide-x86_64-1737147967.093887/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-669b89d6/ocaml-psmt2-frontend/ocaml-psmt2-frontend.spec) Config(child) 0 minutes 17 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/ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm)  Config(fedora-rawhide-x86_64)
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1737147967.093887/root.
INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1737147967.093887/root.
INFO: calling preinit hooks
INFO: enabled root cache
INFO: enabled package manager cache
Start(bootstrap): cleaning package manager metadata
Finish(bootstrap): cleaning package manager metadata
Finish(bootstrap): chroot init
Start: chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1737147967.093887/root.
INFO: calling preinit hooks
INFO: enabled root cache
Start: unpacking root cache
Finish: unpacking root cache
INFO: enabled package manager cache
Start: cleaning package manager metadata
Finish: cleaning package manager metadata
INFO: enabled HW Info plugin
INFO: Buildroot is handled by package management downloaded with a bootstrap image:
  rpm-4.20.0-1.fc42.x86_64
  rpm-sequoia-1.7.0-3.fc42.x86_64
  dnf5-5.2.8.1-2.fc42.x86_64
  dnf5-plugins-5.2.8.1-2.fc42.x86_64
Finish: chroot init
Start: build phase for ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Start: build setup for ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1737072000
Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Updating and loading repositories:
 fedora                                 100% | 452.9 KiB/s |  24.9 KiB |  00m00s
 Copr repository                        100% | 102.3 KiB/s |   1.5 KiB |  00m00s
Repositories loaded.
Package                         Arch   Version                        Repository      Size
Installing:
 make                           x86_64 1:4.4.1-9.fc42                 fedora       1.8 MiB
 ocaml                          x86_64 5.3.0-1.fc42                   fedora     139.7 MiB
 ocaml-dune                     x86_64 3.17.1-2.fc42                  copr_base   22.6 MiB
 ocaml-menhir                   x86_64 20240715-2.fc42                fedora       7.4 MiB
 python3-sphinx                 noarch 1:8.1.3-1.fc42                 copr_base   11.1 MiB
 python3-sphinx_rtd_theme       noarch 3.0.2-1.fc42                   copr_base  327.3 KiB
Installing dependencies:
 annobin-docs                   noarch 12.81-1.fc42                   fedora      98.6 KiB
 annobin-plugin-gcc             x86_64 12.81-1.fc42                   fedora     993.7 KiB
 cpp                            x86_64 15.0.1-0.3.fc42                fedora      37.6 MiB
 expat                          x86_64 2.6.4-1.fc42                   fedora     285.5 KiB
 fontawesome4-fonts             noarch 1:4.7.0-23.fc41                fedora     296.6 KiB
 fonts-filesystem               noarch 1:2.0.5-19.fc42                fedora       0.0   B
 gcc                            x86_64 15.0.1-0.3.fc42                fedora     110.1 MiB
 gcc-plugin-annobin             x86_64 15.0.1-0.3.fc42                fedora      59.6 KiB
 glibc-devel                    x86_64 2.40.9000-28.fc42              fedora       2.3 MiB
 google-roboto-slab-fonts       noarch 1.100263-0.24.20150923git.fc41 fedora     699.6 KiB
 kernel-headers                 x86_64 6.13.0-0.rc7.55.fc42           fedora       6.5 MiB
 lato-fonts                     noarch 2.015-22.fc41                  fedora      11.3 MiB
 libb2                          x86_64 0.98.1-12.fc41                 fedora      42.2 KiB
 libmpc                         x86_64 1.3.1-6.fc41                   fedora     164.7 KiB
 libxcrypt-devel                x86_64 4.4.38-3.fc42                  fedora      30.8 KiB
 libzstd-devel                  x86_64 1.5.6-2.fc41                   fedora     202.4 KiB
 mpdecimal                      x86_64 2.5.1-16.fc41                  fedora     204.9 KiB
 ocaml-compiler-libs            x86_64 5.3.0-1.fc42                   fedora     102.8 MiB
 ocaml-menhirlib                x86_64 20240715-2.fc42                fedora     348.3 KiB
 ocaml-menhirlib-devel          x86_64 20240715-2.fc42                fedora       1.0 MiB
 ocaml-rpm-macros               noarch 5.3.0-1.fc42                   fedora      19.8 KiB
 ocaml-runtime                  x86_64 5.3.0-1.fc42                   fedora       4.4 MiB
 python-pip-wheel               noarch 24.3.1-1.fc42                  copr_base    1.2 MiB
 python3                        x86_64 3.13.1-2.fc42                  fedora      30.6 KiB
 python3-babel                  noarch 2.16.0-2.fc42                  copr_base   28.3 MiB
 python3-charset-normalizer     noarch 3.4.1-1.fc42                   fedora     319.6 KiB
 python3-docutils               noarch 0.21.2-1.fc42                  fedora       4.9 MiB
 python3-idna                   noarch 3.10-1.fc42                    fedora     628.0 KiB
 python3-imagesize              noarch 1.4.1-9.fc41                   fedora      35.3 KiB
 python3-jinja2                 noarch 3.1.5-1.fc42                   copr_base    2.9 MiB
 python3-libs                   x86_64 3.13.1-2.fc42                  fedora      39.8 MiB
 python3-markupsafe             x86_64 3.0.2-1.fc42                   fedora      56.1 KiB
 python3-packaging              noarch 24.2-2.fc42                    fedora     555.7 KiB
 python3-pygments               noarch 2.18.0-3.fc42                  copr_base   10.6 MiB
 python3-requests               noarch 2.32.3-3.fc41                  fedora     485.9 KiB
 python3-snowballstemmer        noarch 2.2.0-13.fc41                  fedora       1.7 MiB
 python3-sphinx-theme-alabaster noarch 0.7.16-6.fc41                  fedora      41.9 KiB
 python3-sphinxcontrib-jquery   noarch 4.1-9.fc42                     copr_base  381.8 KiB
 python3-urllib3                noarch 2.3.0-1.fc42                   fedora       1.0 MiB
 tzdata                         noarch 2024b-1.fc42                   fedora       1.6 MiB

Transaction Summary:
 Installing:        46 packages

Total size of inbound packages is 180 MiB. Need to download 180 MiB.
After this operation, 557 MiB extra will be used (install 557 MiB, remove 0 B).
[ 1/46] make-1:4.4.1-9.fc42.x86_64      100% |  44.0 MiB/s | 586.3 KiB |  00m00s
[ 2/46] ocaml-menhir-0:20240715-2.fc42. 100% | 115.9 MiB/s |   2.5 MiB |  00m00s
[ 3/46] python3-sphinx-1:8.1.3-1.fc42.n 100% | 257.6 MiB/s |   2.6 MiB |  00m00s
[ 4/46] python3-sphinx_rtd_theme-0:3.0. 100% |  14.9 MiB/s |  76.1 KiB |  00m00s
[ 5/46] ocaml-dune-0:3.17.1-2.fc42.x86_ 100% |  83.2 MiB/s |   6.0 MiB |  00m00s
[ 6/46] libzstd-devel-0:1.5.6-2.fc41.x8 100% |   7.2 MiB/s |  51.8 KiB |  00m00s
[ 7/46] ocaml-0:5.3.0-1.fc42.x86_64     100% | 254.3 MiB/s |  32.8 MiB |  00m00s
[ 8/46] ocaml-runtime-0:5.3.0-1.fc42.x8 100% |  46.1 MiB/s |   2.2 MiB |  00m00s
[ 9/46] ocaml-menhirlib-devel-0:2024071 100% |  26.7 MiB/s | 573.7 KiB |  00m00s
[10/46] ocaml-rpm-macros-0:5.3.0-1.fc42 100% |   2.1 MiB/s |  14.7 KiB |  00m00s
[11/46] gcc-0:15.0.1-0.3.fc42.x86_64    100% | 245.0 MiB/s |  38.2 MiB |  00m00s
[12/46] python3-imagesize-0:1.4.1-9.fc4 100% |   1.4 MiB/s |  22.2 KiB |  00m00s
[13/46] python3-docutils-0:0.21.2-1.fc4 100% |  19.8 MiB/s |   1.1 MiB |  00m00s
[14/46] python3-packaging-0:24.2-2.fc42 100% |   9.4 MiB/s | 153.8 KiB |  00m00s
[15/46] python3-requests-0:2.32.3-3.fc4 100% |   7.8 MiB/s | 159.4 KiB |  00m00s
[16/46] python3-snowballstemmer-0:2.2.0 100% |  19.4 MiB/s | 258.4 KiB |  00m00s
[17/46] python3-sphinx-theme-alabaster- 100% |   2.6 MiB/s |  24.3 KiB |  00m00s
[18/46] fontawesome4-fonts-1:4.7.0-23.f 100% |  16.6 MiB/s | 204.5 KiB |  00m00s
[19/46] google-roboto-slab-fonts-0:1.10 100% |  18.0 MiB/s | 239.0 KiB |  00m00s
[20/46] lato-fonts-0:2.015-22.fc41.noar 100% | 134.9 MiB/s |   3.1 MiB |  00m00s
[21/46] libmpc-0:1.3.1-6.fc41.x86_64    100% |  17.4 MiB/s |  71.1 KiB |  00m00s
[22/46] ocaml-menhirlib-0:20240715-2.fc 100% |  44.4 MiB/s | 182.0 KiB |  00m00s
[23/46] python3-charset-normalizer-0:3. 100% |  21.1 MiB/s | 108.1 KiB |  00m00s
[24/46] python3-idna-0:3.10-1.fc42.noar 100% |  19.1 MiB/s | 117.2 KiB |  00m00s
[25/46] python3-urllib3-0:2.3.0-1.fc42. 100% |  69.2 MiB/s | 283.3 KiB |  00m00s
[26/46] fonts-filesystem-1:2.0.5-19.fc4 100% |   2.1 MiB/s |   8.6 KiB |  00m00s
[27/46] python3-0:3.13.1-2.fc42.x86_64  100% |   6.6 MiB/s |  26.9 KiB |  00m00s
[28/46] cpp-0:15.0.1-0.3.fc42.x86_64    100% | 181.0 MiB/s |  12.5 MiB |  00m00s
[29/46] expat-0:2.6.4-1.fc42.x86_64     100% |   7.5 MiB/s | 114.5 KiB |  00m00s
[30/46] libb2-0:0.98.1-12.fc41.x86_64   100% |   3.1 MiB/s |  25.7 KiB |  00m00s
[31/46] mpdecimal-0:2.5.1-16.fc41.x86_6 100% |  21.7 MiB/s |  89.0 KiB |  00m00s
[32/46] python3-libs-0:3.13.1-2.fc42.x8 100% | 162.6 MiB/s |   8.9 MiB |  00m00s
[33/46] tzdata-0:2024b-1.fc42.noarch    100% |  49.7 MiB/s | 712.7 KiB |  00m00s
[34/46] ocaml-compiler-libs-0:5.3.0-1.f 100% | 188.4 MiB/s |  52.4 MiB |  00m00s
[35/46] python3-sphinxcontrib-jquery-0: 100% |   2.2 MiB/s | 114.5 KiB |  00m00s
[36/46] python3-markupsafe-0:3.0.2-1.fc 100% |  29.3 MiB/s |  30.0 KiB |  00m00s
[37/46] python3-jinja2-0:3.1.5-1.fc42.n 100% |  58.0 MiB/s | 475.4 KiB |  00m00s
[38/46] python-pip-wheel-0:24.3.1-1.fc4 100% |  92.7 MiB/s |   1.2 MiB |  00m00s
[39/46] python3-pygments-0:2.18.0-3.fc4 100% | 103.0 MiB/s |   2.4 MiB |  00m00s
[40/46] glibc-devel-0:2.40.9000-28.fc42 100% | 105.7 MiB/s | 649.6 KiB |  00m00s
[41/46] libxcrypt-devel-0:4.4.38-3.fc42 100% |   9.5 MiB/s |  29.1 KiB |  00m00s
[42/46] python3-babel-0:2.16.0-2.fc42.n 100% |  75.5 MiB/s |   6.3 MiB |  00m00s
[43/46] kernel-headers-0:6.13.0-0.rc7.5 100% | 137.1 MiB/s |   1.6 MiB |  00m00s
[44/46] gcc-plugin-annobin-0:15.0.1-0.3 100% |   7.9 MiB/s |  32.3 KiB |  00m00s
[45/46] annobin-plugin-gcc-0:12.81-1.fc 100% |  79.7 MiB/s | 979.2 KiB |  00m00s
[46/46] annobin-docs-0:12.81-1.fc42.noa 100% |  44.7 MiB/s |  91.6 KiB |  00m00s
--------------------------------------------------------------------------------
[46/46] Total                           100% | 364.8 MiB/s | 180.2 MiB |  00m00s
Running transaction
[ 1/48] Verify package files            100% |  84.0   B/s |  46.0   B |  00m01s
[ 2/48] Prepare transaction             100% | 754.0   B/s |  46.0   B |  00m00s
[ 3/48] Installing fonts-filesystem-1:2 100% |   0.0   B/s | 788.0   B |  00m00s
[ 4/48] Installing libmpc-0:1.3.1-6.fc4 100% | 162.3 MiB/s | 166.2 KiB |  00m00s
[ 5/48] Installing cpp-0:15.0.1-0.3.fc4 100% | 321.2 MiB/s |  37.6 MiB |  00m00s
[ 6/48] Installing fontawesome4-fonts-1 100% | 290.8 MiB/s | 297.8 KiB |  00m00s
[ 7/48] Installing google-roboto-slab-f 100% | 342.5 MiB/s | 701.4 KiB |  00m00s
[ 8/48] Installing lato-fonts-0:2.015-2 100% | 365.6 MiB/s |  11.3 MiB |  00m00s
[ 9/48] Installing annobin-docs-0:12.81 100% |  32.5 MiB/s |  99.8 KiB |  00m00s
[10/48] Installing kernel-headers-0:6.1 100% | 207.7 MiB/s |   6.6 MiB |  00m00s
[11/48] Installing libxcrypt-devel-0:4. 100% |  16.2 MiB/s |  33.1 KiB |  00m00s
[12/48] Installing glibc-devel-0:2.40.9 100% | 179.4 MiB/s |   2.3 MiB |  00m00s
[13/48] Installing python-pip-wheel-0:2 100% | 207.4 MiB/s |   1.2 MiB |  00m00s
[14/48] Installing tzdata-0:2024b-1.fc4 100% |  60.8 MiB/s |   1.9 MiB |  00m00s
[15/48] Installing mpdecimal-0:2.5.1-16 100% | 201.2 MiB/s | 206.0 KiB |  00m00s
[16/48] Installing libb2-0:0.98.1-12.fc 100% |   0.0   B/s |  43.3 KiB |  00m00s
[17/48] Installing expat-0:2.6.4-1.fc42 100% |  14.8 MiB/s | 287.6 KiB |  00m00s
[18/48] Installing python3-libs-0:3.13. 100% | 319.2 MiB/s |  40.2 MiB |  00m00s
[19/48] Installing python3-0:3.13.1-2.f 100% |   2.3 MiB/s |  32.4 KiB |  00m00s
[20/48] Installing python3-docutils-0:0 100% | 157.7 MiB/s |   5.0 MiB |  00m00s
[21/48] Installing python3-idna-0:3.10- 100% | 206.5 MiB/s | 634.3 KiB |  00m00s
[22/48] Installing python3-urllib3-0:2. 100% | 203.6 MiB/s |   1.0 MiB |  00m00s
[23/48] Installing python3-imagesize-0: 100% |  37.4 MiB/s |  38.3 KiB |  00m00s
[24/48] Installing python3-packaging-0: 100% | 184.9 MiB/s | 568.0 KiB |  00m00s
[25/48] Installing python3-snowballstem 100% | 348.9 MiB/s |   1.7 MiB |  00m00s
[26/48] Installing python3-sphinx-theme 100% |  45.3 MiB/s |  46.4 KiB |  00m00s
[27/48] Installing python3-charset-norm 100% |  21.5 MiB/s | 329.5 KiB |  00m00s
[28/48] Installing python3-requests-0:2 100% | 121.6 MiB/s | 498.0 KiB |  00m00s
[29/48] Installing python3-babel-0:2.16 100% | 331.3 MiB/s |  28.5 MiB |  00m00s
[30/48] Installing python3-markupsafe-0 100% |  58.8 MiB/s |  60.2 KiB |  00m00s
[31/48] Installing python3-jinja2-0:3.1 100% | 323.6 MiB/s |   2.9 MiB |  00m00s
[32/48] Installing python3-pygments-0:2 100% | 204.2 MiB/s |  10.8 MiB |  00m00s
[33/48] Installing python3-sphinx-1:8.1 100% | 185.7 MiB/s |  11.3 MiB |  00m00s
[34/48] Installing python3-sphinxcontri 100% | 188.0 MiB/s | 385.0 KiB |  00m00s
[35/48] Installing ocaml-runtime-0:5.3. 100% | 182.6 MiB/s |   4.4 MiB |  00m00s
[36/48] Installing libzstd-devel-0:1.5. 100% | 198.5 MiB/s | 203.2 KiB |  00m00s
[37/48] Installing make-1:4.4.1-9.fc42. 100% |  94.7 MiB/s |   1.8 MiB |  00m00s
[38/48] Installing gcc-0:15.0.1-0.3.fc4 100% | 381.1 MiB/s | 110.1 MiB |  00m00s
[39/48] Installing ocaml-0:5.3.0-1.fc42 100% | 418.3 MiB/s | 139.7 MiB |  00m00s
[40/48] Installing ocaml-compiler-libs- 100% | 440.2 MiB/s | 103.0 MiB |  00m00s
[41/48] Installing ocaml-rpm-macros-0:5 100% |   0.0   B/s |  20.3 KiB |  00m00s
[42/48] Installing ocaml-menhirlib-0:20 100% | 341.6 MiB/s | 349.8 KiB |  00m00s
[43/48] Installing ocaml-menhirlib-deve 100% | 500.5 MiB/s |   1.0 MiB |  00m00s
[44/48] Installing ocaml-menhir-0:20240 100% | 238.7 MiB/s |   7.4 MiB |  00m00s
[45/48] Installing ocaml-dune-0:3.17.1- 100% | 348.3 MiB/s |  22.6 MiB |  00m00s
[46/48] Installing annobin-plugin-gcc-0 100% |  69.4 MiB/s | 995.3 KiB |  00m00s
[47/48] Installing gcc-plugin-annobin-0 100% |   4.6 MiB/s |  61.2 KiB |  00m00s
[48/48] Installing python3-sphinx_rtd_t 100% |   2.7 MiB/s | 348.0 KiB |  00m00s
Warning: skipped OpenPGP checks for 8 packages from repository: copr_base
Complete!
Finish: build setup for ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Start: rpmbuild ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1737072000
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.IKu7JN
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ test -d /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.On4Ysm
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ rm -rf psmt2-frontend-0.4.0
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/psmt2-frontend-0.4.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd psmt2-frontend-0.4.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-psmt2-frontend-sphinx6.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.ptZMCl
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ sed -i '/^git =/d;/^branch=/d;s/^\(version = \).*/\1"0.4.0"/' sphinx/conf.py
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ZUV72z
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ dune build --verbose --release -j4
Shared cache: enabled-except-user-rules
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; instrument_with = []
 }
Actual targets:
- recursive alias @install
Running[1]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -w -49 -nopervasives -nostdlib -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo -c -impl src/lib/psmt2Frontend.ml-gen)
Running[2]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -w -49 -nopervasives -nostdlib -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml-gen -no-alias-deps -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx -c -impl src/lib/psmt2Frontend.ml-gen)
Running[3]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.d
Running[4]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll)
Running[5]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-write-query src/lib/smtlib_parser__mock.ml.mock)
Running[6]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Main.impl.d
Running[7]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.impl.d
Running[8]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_error.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_error.impl.d
Running[9]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_printer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_printer.impl.d
Output[5]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
Running[10]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_syntax.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_syntax.impl.d
Running[11]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_ty.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_ty.impl.d
Running[12]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_env.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_env.impl.d
Running[13]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_logic.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_logic.impl.d
Running[14]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typing.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typing.impl.d
Running[15]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.intf.d
Running[16]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/version.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.intf.d
Running[17]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo -c -impl src/lib/main.ml)
Running[18]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser__mock.ml.mock) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser__mock.impl.d
Running[19]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -c -intf src/lib/options.mli)
Running[20]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -c -intf src/lib/version.mli)
Running[21]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx -c -impl src/lib/main.ml)
Running[22]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_lexer.impl.d
Running[23]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx -c -impl src/lib/options.ml)
Running[24]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo -c -impl src/lib/options.ml)
Running[25]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo -c -impl src/lib/smtlib_error.ml)
Running[26]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx -c -impl src/lib/version.ml)
Running[27]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo -c -impl src/lib/version.ml)
Running[28]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo -c -impl src/lib/smtlib_ty.ml)
Running[29]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx -c -impl src/lib/smtlib_error.ml)
Running[30]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo -c -impl src/lib/smtlib_syntax.ml)
Running[31]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo -c -impl src/lib/smtlib_typed_env.ml)
Running[32]: (cd _build/.sandbox/b2c6578a3520cc3ed90424764977d259/default && /usr/bin/ocamlc.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -open Psmt2Frontend -short-paths -i -impl src/lib/smtlib_parser__mock.ml.mock) > _build/.sandbox/b2c6578a3520cc3ed90424764977d259/default/src/lib/smtlib_parser__mock.mli.inferred
Running[33]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx -c -impl src/lib/smtlib_ty.ml)
Running[34]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo -c -impl src/lib/smtlib_printer.ml)
Running[35]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo -c -impl src/lib/smtlib_typed_logic.ml)
Running[36]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo -c -impl src/lib/smtlib_typing.ml)
Running[37]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml)
Running[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml)
Running[39]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred)
Output[39]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
Warning: 22 end-of-stream conflicts were arbitrarily resolved.
File "<standard.mly>", line 214, characters 16-16:
Warning: production list(term) -> is never reduced.
Warning: in total, 1 production is never reduced.
Running[40]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.impl.d
Running[41]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/smtlib_parser.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.intf.d
Running[42]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -c -intf src/lib/smtlib_parser.mli)
Running[43]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo -c -impl src/lib/smtlib_lexer.ml)
Running[44]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx -c -impl src/lib/smtlib_parser.ml)
Running[45]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml)
Running[46]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/bin/.main.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/bin/.main.eobjs/byte/dune__exe__Main.cmo -c -impl src/bin/main.ml)
Running[47]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx -c -impl src/lib/smtlib_printer.ml)
Running[48]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx -c -impl src/lib/smtlib_typed_logic.ml)
Running[49]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx -c -impl src/lib/smtlib_typing.ml)
Running[50]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -a -o src/lib/psmt2Frontend.cma src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo)
Running[51]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx -c -impl src/lib/smtlib_lexer.ml)
Running[52]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/bin/.main.eobjs/byte -I src/bin/.main.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o src/bin/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/bin/main.ml)
Running[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -a -o src/lib/psmt2Frontend.cmxa src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx)
Running[54]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa)
Running[55]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o src/bin/main.exe src/lib/psmt2Frontend.cmxa src/bin/.main.eobjs/native/dune__exe__Main.cmx)
Promoting "_build/default/psmt2-frontend.install" to "psmt2-frontend.install"
Promoting "_build/default/psmt2-frontend_bin.install" to
"psmt2-frontend_bin.install"
+ make sphinx
sphinx-build sphinx docs/sphinx
Running Sphinx v8.1.3
loading translations [en]... done
making output directory... done
Converting `source_suffix = ['.rst', '.md']` to `source_suffix = {'.rst': 'restructuredtext', '.md': 'restructuredtext'}`.
building [mo]: targets for 0 po files that are out of date
writing output... 
building [html]: targets for 4 source files that are out of date
updating environment: [new config] 4 added, 0 changed, 0 removed
reading sources... [ 25%] about
reading sources... [ 50%] index
reading sources... [ 75%] install
reading sources... [100%] license

looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
copying assets... 
copying static files... 
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/basic.css
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/documentation_options.js
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/language_data.js
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/js/versions.js
copying static files: done
copying extra files... 
copying extra files: done
copying assets: done
writing output... [ 25%] about
writing output... [ 50%] index
writing output... [ 75%] install
writing output... [100%] license

generating indices... genindex done
writing additional pages... search done
dumping search index in English (code: en)... done
dumping object inventory... done
build succeeded.

The HTML pages are in docs/sphinx.
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.KFL9Uo
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ '[' /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
++ dirname /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ mkdir /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ dune install --destdir=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT --verbose --release -j4
Shared cache: enabled-except-user-rules
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; instrument_with = []
 }
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/META
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/dune-package
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/main.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/opam
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/CHANGES.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/README.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/odoc-pages/index.mld
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/META
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/opam
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/bin/psmt2-frontend_bin
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/CHANGES.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/README.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld
+ '[' -d _build/default/_doc/_html ']'
+ rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc
++ find /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml -name '*.mli'
+ mlis='/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli'
+ rm -f /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml
+ /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT /usr/lib64/ocaml
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.4.0-22.fc42 --unique-debug-suffix -0.4.0-22.fc42.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-22.fc42.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
find-debuginfo: starting
Extracting debug info from 2 files
DWARF-compressing 2 files
sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/ocaml-psmt2-frontend-0.4.0-22.fc42.x86_64
cpio: _build/default/<standard.mly>: Cannot stat: No such file or directory
cpio: _build/default/atomic.ml: Cannot stat: No such file or directory
cpio: _build/default/bytes.ml: Cannot stat: No such file or directory
cpio: _build/default/format.ml: Cannot stat: No such file or directory
cpio: _build/default/lexing.ml: Cannot stat: No such file or directory
cpio: _build/default/list.ml: Cannot stat: No such file or directory
cpio: _build/default/map.ml: Cannot stat: No such file or directory
cpio: _build/default/printf.ml: Cannot stat: No such file or directory
cpio: _build/default/seq.ml: Cannot stat: No such file or directory
cpio: _build/default/stack.ml: Cannot stat: No such file or directory
cpio: _build/default/stdlib.ml: Cannot stat: No such file or directory
cpio: _build/default/string.ml: Cannot stat: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a: replacing with normalized version
Scanned 23 directories and 82 files,
               processed 1 inodes,
               1 modified (1 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.8L22Pl
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ dune runtest --verbose --release -j4
Shared cache: enabled-except-user-rules
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; instrument_with = []
 }
Running[1]: (cd _build/default/test/output-tests && /usr/bin/cat test1.expected) > _build/default/test/output-tests/test1.output
Running[2]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I test/output-tests/.test2.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmo -c -impl test/output-tests/test2.ml)
Running[3]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I test/output-tests/.test2.eobjs/byte -I test/output-tests/.test2.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx -c -impl test/output-tests/test2.ml)
Running[4]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o test/output-tests/test2.exe src/lib/psmt2Frontend.cmxa test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx)
Running[5]: (cd _build/default/test/output-tests && ./test2.exe min.smt2) > _build/default/test/output-tests/test2.output
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: ocaml-psmt2-frontend-0.4.0-22.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.eKk8PG
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/CHANGES.md /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/README.md /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.2NmIYI
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ LICENSEDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/LICENSE /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Main) = a7a1d74422008ed981a3e1588f80e1b2 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) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Psmt2Frontend__Version) = e46916c01ef00daa8020057f636a1538 ocaml-psmt2-frontend = 0.4.0-22.fc42 ocaml-psmt2-frontend(x86-64) = 0.4.0-22.fc42 ocaml-psmt2-frontend-doc = 0.4.0-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd 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) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b rtld(GNU_HASH)
Obsoletes: ocaml-psmt2-frontend-doc < 0.4.0-5
Processing files: ocaml-psmt2-frontend-devel-0.4.0-22.fc42.x86_64
Provides: ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Main) = a7a1d74422008ed981a3e1588f80e1b2 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) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Psmt2Frontend__Version) = e46916c01ef00daa8020057f636a1538 ocaml-psmt2-frontend-devel = 0.4.0-22.fc42 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-22.fc42 ocamlx(Psmt2Frontend) = 7f6288125d5b2c4f27595652ffc232eb ocamlx(Psmt2Frontend__Main) = 7d63d36401a3e3f261b26d41c2eb505f ocamlx(Psmt2Frontend__Options) = e2284500f761fc4f8bc88c14d8548a6a ocamlx(Psmt2Frontend__Smtlib_error) = a2dc5e3753cae1ea7e98cbe5cc9e2276 ocamlx(Psmt2Frontend__Smtlib_lexer) = 79a1f48d8e278bcd05dc73d2141935b3 ocamlx(Psmt2Frontend__Smtlib_parser) = ebaaaeddfbde348e34ca5188878c7837 ocamlx(Psmt2Frontend__Smtlib_printer) = aab61ec25074de2da49803c5c524af4b ocamlx(Psmt2Frontend__Smtlib_syntax) = 29b42e27a5da7f87a38d52311486962a ocamlx(Psmt2Frontend__Smtlib_ty) = 65c54dc0874957e3144c1921e18ae346 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 1a527f8f22b470f1a771dd8763fbb6cb ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 4fc6a1c91bc0079ca2a19930337d61db ocamlx(Psmt2Frontend__Smtlib_typing) = 245cd8a5eea2df08586c5bee97fe305b ocamlx(Psmt2Frontend__Version) = 90c2563b33b4725939bc082f62309a40
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd 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) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2 ocamlx(Psmt2Frontend__Options) = e2284500f761fc4f8bc88c14d8548a6a ocamlx(Psmt2Frontend__Smtlib_error) = a2dc5e3753cae1ea7e98cbe5cc9e2276 ocamlx(Psmt2Frontend__Smtlib_printer) = aab61ec25074de2da49803c5c524af4b ocamlx(Psmt2Frontend__Smtlib_ty) = 65c54dc0874957e3144c1921e18ae346 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 1a527f8f22b470f1a771dd8763fbb6cb ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 4fc6a1c91bc0079ca2a19930337d61db ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5 ocamlx(Stdlib__Domain) = 03a029c7c0bd3ab3d998e402bfe1e4dc ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563 ocamlx(Stdlib__Hashtbl) = 1aee99c15b532bac42321d046d148b7d ocamlx(Stdlib__Lexing) = f4f1110b97c9a35dc4f53f94a8a43d45 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__Map) = 38bf69fbc5d75df3afdb0d36ac5f0a95 ocamlx(Stdlib__Printf) = d684bd439c5cd6675e8dbdb2407652fa ocamlx(Stdlib__Random) = 4b4d0e60f5d1223ff8e1fd34ae84ade0 ocamlx(Stdlib__Stack) = 83d074c9545c749fa9663a06220b6263 ocamlx(Stdlib__String) = 343b4a10f6af2b7002ce3db416b04c17
Processing files: ocaml-psmt2-frontend-docs-0.4.0-22.fc42.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.fdOJiV
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml-psmt2-frontend-docs = 0.4.0-22.fc42 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-psmt2-frontend-debugsource-0.4.0-22.fc42.x86_64
Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-22.fc42 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-psmt2-frontend-debuginfo-0.4.0-22.fc42.x86_64
Provides: debuginfo(build-id) = 40849ec4cf6ffcdc673b25a91225e0ae878cc97b debuginfo(build-id) = 9bd43806d82fb735efd88310f33fa94152b0d387 ocaml-psmt2-frontend-debuginfo = 0.4.0-22.fc42 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-22.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-22.fc42
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-22.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-22.fc42.x86_64.rpm
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.YH78r8
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ test -d /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ RPM_EC=0
++ jobs -p
+ exit 0
Finish: rpmbuild ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
Finish: build phase for ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-rawhide-x86_64-1737147967.093887/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/ocaml-psmt2-frontend-0.4.0-22.fc42.src.rpm) Config(child) 0 minutes 12 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": "ocaml-psmt2-frontend-docs",
            "epoch": null,
            "version": "0.4.0",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-psmt2-frontend-devel",
            "epoch": null,
            "version": "0.4.0",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-psmt2-frontend",
            "epoch": null,
            "version": "0.4.0",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-psmt2-frontend",
            "epoch": null,
            "version": "0.4.0",
            "release": "22.fc42",
            "arch": "src"
        },
        {
            "name": "ocaml-psmt2-frontend-debugsource",
            "epoch": null,
            "version": "0.4.0",
            "release": "22.fc42",
            "arch": "x86_64"
        },
        {
            "name": "ocaml-psmt2-frontend-debuginfo",
            "epoch": null,
            "version": "0.4.0",
            "release": "22.fc42",
            "arch": "x86_64"
        }
    ]
}
RPMResults finished