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


Version: 1.6
PID: 12416
Logging PID: 12418
Task:
{'allow_user_ssh': False,
 'appstream': False,
 'background': False,
 'build_id': 10312987,
 'buildroot_pkgs': [],
 'chroot': 'fedora-rawhide-x86_64',
 'enable_net': False,
 'fedora_review': False,
 'git_hash': '51d6e8a1a3aa42ac426180903fffe043d290b4ec',
 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml/gappalib-coq',
 'isolation': 'default',
 'memory_reqs': 2048,
 'package_name': 'gappalib-coq',
 'package_version': '1.8.0-2',
 'project_dirname': 'OCaml',
 'project_name': 'OCaml',
 'project_owner': 'jjames',
 'repo_priority': None,
 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/jjames/OCaml/fedora-rawhide-x86_64/',
            'id': 'copr_base',
            'name': 'Copr repository',
            'priority': None}],
 'sandbox': 'jjames/OCaml--jjames',
 'source_json': {},
 'source_type': None,
 'ssh_public_keys': None,
 'storage': 1,
 'submitter': 'jjames',
 'tags': [],
 'task_id': '10312987-fedora-rawhide-x86_64',
 'timeout': 18000,
 'uses_devel_repo': False,
 'with_opts': [],
 'without_opts': []}

Running: git clone https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-a69ahvdn/gappalib-coq --depth 500 --no-single-branch --recursive

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

Running: git checkout 51d6e8a1a3aa42ac426180903fffe043d290b4ec --

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

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 51d6e8a automatic import of gappalib-coq

Running: dist-git-client sources

cmd: ['dist-git-client', 'sources']
cwd: /var/lib/copr-rpmbuild/workspace/workdir-a69ahvdn/gappalib-coq
rc: 0
stdout: 
stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD
INFO: Reading stdout from command: git rev-parse HEAD
INFO: Reading sources specification file: sources
INFO: Downloading gappalib-coq-1.8.0.tar.gz
INFO: Reading stdout from command: curl --help all
INFO: Calling: curl -H Pragma: -H 'Accept-Encoding: identity' -o gappalib-coq-1.8.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/jjames/OCaml/gappalib-coq/gappalib-coq-1.8.0.tar.gz/md5/40ec19d92cf630dfbda4b8c924ba32c0/gappalib-coq-1.8.0.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 89486  100 89486    0     0  8079k      0 --:--:-- --:--:-- --:--:-- 8738k
INFO: Reading stdout from command: md5sum gappalib-coq-1.8.0.tar.gz

tail: /var/lib/copr-rpmbuild/main.log: file truncated
Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-a69ahvdn/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-a69ahvdn/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862948.024037 -r /var/lib/copr-rpmbuild/results/configs/child.cfg
INFO: mock.py version 6.7 starting (python version = 3.14.2, NVR = mock-6.7-1.fc43), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-a69ahvdn/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-a69ahvdn/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862948.024037 -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-a69ahvdn/gappalib-coq/gappalib-coq.spec)  Config(fedora-rawhide-x86_64)
Start: clean chroot
Finish: clean chroot
Mock Version: 6.7
INFO: Mock Version: 6.7
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1775862948.024037/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-44500940-c17b-4487-96e9-6d5daed88534
INFO: Checking that ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 image matches host's architecture
INFO: Copy content of container ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1775862948.024037/root
INFO: mounting ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 with podman image mount
INFO: image ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 as /var/lib/containers/storage/overlay/35ebff0795709fd54963a514462b83e82ebbc3792589bf2f53c649d2156968e5/merged
INFO: umounting image ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 (/var/lib/containers/storage/overlay/35ebff0795709fd54963a514462b83e82ebbc3792589bf2f53c649d2156968e5/merged) with podman image umount
INFO: Removing image mock-bootstrap-44500940-c17b-4487-96e9-6d5daed88534
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-1775862948.024037/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-6.0.1-5.fc45.x86_64
  rpm-sequoia-1.10.1-1.fc45.x86_64
  dnf5-5.4.0.0-6.fc45.x86_64
  dnf5-plugins-5.4.0.0-6.fc45.x86_64
Start: installing minimal buildroot with dnf5
Updating and loading repositories:
 fedora                                 100% |  29.4 MiB/s |  21.4 MiB |  00m01s
 Copr repository                        100% | 494.0 KiB/s | 380.8 KiB |  00m01s
Repositories loaded.
Package                            Arch   Version                      Repository      Size
Installing group/module packages:
 bash                              x86_64 0:5.3.9-3.fc44               fedora       8.5 MiB
 bzip2                             x86_64 0:1.0.8-23.fc44              fedora      95.0 KiB
 coreutils                         x86_64 0:9.10-3.fc45                fedora       5.6 MiB
 cpio                              x86_64 0:2.15-9.fc44                fedora       1.1 MiB
 diffutils                         x86_64 0:3.12-5.fc44                fedora       1.6 MiB
 fedora-release-common             noarch 0:45-0.5                     fedora       4.2 KiB
 findutils                         x86_64 1:4.10.0-7.fc44              fedora       1.9 MiB
 gawk                              x86_64 0:5.4.0-2.fc45               fedora       2.2 MiB
 glibc-minimal-langpack            x86_64 0:2.43.9000-8.fc45           fedora       0.0   B
 grep                              x86_64 0:3.12-3.fc44                fedora       1.0 MiB
 gzip                              x86_64 0:1.14-2.fc44                fedora     401.6 KiB
 info                              x86_64 0:7.3-1.fc45                 fedora     372.4 KiB
 patch                             x86_64 0:2.8-4.fc44                 fedora     226.6 KiB
 redhat-rpm-config                 noarch 0:344-1.fc45                 fedora     183.7 KiB
 rpm-build                         x86_64 0:6.0.1-5.fc45               fedora     294.6 KiB
 sed                               x86_64 0:4.9-8.fc45                 fedora     857.2 KiB
 shadow-utils                      x86_64 2:4.19.3-1.fc45              fedora       4.0 MiB
 tar                               x86_64 2:1.35-8.fc44                fedora       3.0 MiB
 unzip                             x86_64 0:6.0-69.fc44                fedora     445.8 KiB
 util-linux                        x86_64 0:2.42-7.fc45                fedora       3.6 MiB
 which                             x86_64 0:2.23-4.fc44                fedora      83.4 KiB
 xz                                x86_64 1:5.8.3-1.fc45               fedora       1.4 MiB
Installing dependencies:
 R-srpm-macros                     noarch 0:1.3.7-1.fc45               fedora       3.5 KiB
 add-determinism                   x86_64 0:0.7.3-2.fc45               fedora       2.2 MiB
 alternatives                      x86_64 0:1.33-5.fc44                fedora      62.1 KiB
 ansible-srpm-macros               noarch 0:1-20.1.fc44                fedora      35.7 KiB
 audit-libs                        x86_64 0:4.1.4-1.fc45               fedora     390.5 KiB
 binutils                          x86_64 0:2.46.50-7.fc45             fedora      28.2 MiB
 build-reproducibility-srpm-macros noarch 0:0.7.3-2.fc45               fedora       1.2 KiB
 bzip2-libs                        x86_64 0:1.0.8-23.fc44              fedora      80.5 KiB
 ca-certificates                   noarch 0:2025.2.80_v9.0.304-7.fc45  fedora       2.7 MiB
 cmake-srpm-macros                 noarch 0:4.3.0-1.fc45               fedora     524.0   B
 coreutils-common                  x86_64 0:9.10-3.fc45                fedora      10.7 MiB
 crypto-policies                   noarch 0:20251128-3.git19878fe.fc44 fedora     132.6 KiB
 curl                              x86_64 0:8.20.0~rc1-1.fc45          fedora     482.7 KiB
 cyrus-sasl-lib                    x86_64 0:2.1.28-35.fc44             fedora       2.3 MiB
 debugedit                         x86_64 0:5.3-2.fc45                 fedora     220.8 KiB
 dwz                               x86_64 0:0.16-3.fc44                fedora     290.9 KiB
 ed                                x86_64 0:1.22.5-2.fc45              fedora     149.7 KiB
 efi-srpm-macros                   noarch 0:6-6.fc44                   fedora      40.2 KiB
 elfutils                          x86_64 0:0.194-5.fc45               fedora       2.9 MiB
 elfutils-debuginfod-client        x86_64 0:0.194-5.fc45               fedora      83.7 KiB
 elfutils-default-yama-scope       noarch 0:0.194-5.fc45               fedora       1.8 KiB
 elfutils-libelf                   x86_64 0:0.194-5.fc45               fedora       1.1 MiB
 elfutils-libs                     x86_64 0:0.194-5.fc45               fedora     715.3 KiB
 erlang-srpm-macros                noarch 0:0.3.11-1.fc45              fedora       1.9 KiB
 fedora-gpg-keys                   noarch 0:45-0.1                     fedora     133.4 KiB
 fedora-release                    noarch 0:45-0.5                     fedora       0.0   B
 fedora-release-identity-basic     noarch 0:45-0.5                     fedora     664.0   B
 fedora-repos                      noarch 0:45-0.1                     fedora       4.9 KiB
 fedora-repos-rawhide              noarch 0:45-0.1                     fedora       2.2 KiB
 file                              x86_64 0:5.47-1.fc45                fedora     101.2 KiB
 file-libs                         x86_64 0:5.47-1.fc45                fedora      12.2 MiB
 filesystem                        x86_64 0:3.18-56.fc45               fedora     112.0   B
 filesystem-srpm-macros            noarch 0:3.18-56.fc45               fedora      38.2 KiB
 fonts-srpm-macros                 noarch 1:5.0.0-3.fc45               fedora      55.8 KiB
 forge-srpm-macros                 noarch 0:0.4.0-4.fc44               fedora      38.9 KiB
 fpc-srpm-macros                   noarch 0:1.3-16.fc44                fedora     144.0   B
 gap-srpm-macros                   noarch 0:2-2.fc44                   fedora       2.1 KiB
 gdb-minimal                       x86_64 0:17.1-5.fc45                fedora      14.2 MiB
 gdbm-libs                         x86_64 1:1.23-11.fc44               fedora     129.6 KiB
 ghc-srpm-macros                   noarch 0:1.10-1.fc44                fedora     792.0   B
 glibc                             x86_64 0:2.43.9000-8.fc45           fedora       7.0 MiB
 glibc-common                      x86_64 0:2.43.9000-8.fc45           fedora       1.0 MiB
 glibc-gconv-extra                 x86_64 0:2.43.9000-8.fc45           fedora       7.7 MiB
 gmp                               x86_64 1:6.3.0-5.fc44               fedora     815.2 KiB
 gnat-srpm-macros                  noarch 0:7-2.fc44                   fedora       1.0 KiB
 gnulib-l10n                       noarch 0:20241231-2.fc44            fedora     655.0 KiB
 gnupg2                            x86_64 0:2.4.9-5.fc44               fedora       6.5 MiB
 gnupg2-dirmngr                    x86_64 0:2.4.9-5.fc44               fedora     633.9 KiB
 gnupg2-gpg-agent                  x86_64 0:2.4.9-5.fc44               fedora     682.5 KiB
 gnupg2-gpgconf                    x86_64 0:2.4.9-5.fc44               fedora     249.7 KiB
 gnupg2-keyboxd                    x86_64 0:2.4.9-5.fc44               fedora     201.2 KiB
 gnupg2-verify                     x86_64 0:2.4.9-5.fc44               fedora     360.3 KiB
 gnutls                            x86_64 0:3.8.12-1.fc45              fedora       3.7 MiB
 go-srpm-macros                    noarch 0:3.8.0-2.fc44               fedora      61.9 KiB
 gpgverify                         noarch 0:2.2-4.fc44                 fedora       8.7 KiB
 ima-evm-utils-libs                x86_64 0:1.6.2-10.fc45              fedora      60.6 KiB
 jansson                           x86_64 0:2.14-4.fc44                fedora      88.9 KiB
 java-srpm-macros                  noarch 0:1-8.fc44                   fedora     870.0   B
 json-c                            x86_64 0:0.18-8.fc44                fedora      82.6 KiB
 kernel-srpm-macros                noarch 0:1.0-29.fc45                fedora       1.9 KiB
 keyutils-libs                     x86_64 0:1.6.3-7.fc44               fedora      54.2 KiB
 krb5-libs                         x86_64 0:1.22.2-4.fc45              fedora       2.4 MiB
 libacl                            x86_64 0:2.3.2-6.fc44               fedora      35.8 KiB
 libarchive                        x86_64 0:3.8.6-1.fc45               fedora     995.2 KiB
 libassuan                         x86_64 0:2.5.7-5.fc44               fedora     163.8 KiB
 libattr                           x86_64 0:2.5.2-8.fc44               fedora      24.3 KiB
 libblkid                          x86_64 0:2.42-7.fc45                fedora     282.2 KiB
 libbrotli                         x86_64 0:1.2.0-3.fc44               fedora     865.0 KiB
 libcap                            x86_64 0:2.78-1.fc45                fedora     212.1 KiB
 libcap-ng                         x86_64 0:0.9.3-1.fc45               fedora      68.8 KiB
 libcbor                           x86_64 0:0.13.0-2.fc44              fedora      79.5 KiB
 libcom_err                        x86_64 0:1.47.4-1.fc45              fedora      63.0 KiB
 libcurl                           x86_64 0:8.20.0~rc1-1.fc45          fedora       1.0 MiB
 libeconf                          x86_64 0:0.7.9-3.fc44               fedora      64.8 KiB
 libevent                          x86_64 0:2.1.12-17.fc44             fedora     978.7 KiB
 libfdisk                          x86_64 0:2.42-7.fc45                fedora     388.2 KiB
 libffi                            x86_64 0:3.5.2-2.fc44               fedora      87.7 KiB
 libfido2                          x86_64 0:1.16.0-5.fc44              fedora     246.4 KiB
 libfsverity                       x86_64 0:1.7-1.fc45                 fedora      28.4 KiB
 libgcc                            x86_64 0:16.0.1-0.10.fc45           fedora     270.7 KiB
 libgcrypt                         x86_64 0:1.12.1-1.fc45              fedora       1.7 MiB
 libgomp                           x86_64 0:16.0.1-0.10.fc45           fedora     577.2 KiB
 libgpg-error                      x86_64 0:1.59-1.fc45                fedora     946.4 KiB
 libidn2                           x86_64 0:2.3.8-3.fc44               fedora     556.4 KiB
 libksba                           x86_64 0:1.6.8-1.fc45               fedora     421.9 KiB
 liblastlog2                       x86_64 0:2.42-7.fc45                fedora      41.6 KiB
 libmount                          x86_64 0:2.42-7.fc45                fedora     400.8 KiB
 libnghttp2                        x86_64 0:1.68.1-1.fc45              fedora     166.2 KiB
 libnghttp3                        x86_64 0:1.15.0-1.fc44              fedora     159.2 KiB
 libpkgconf                        x86_64 0:2.5.1-1.fc45               fedora      90.1 KiB
 libpsl                            x86_64 0:0.21.5-7.fc44              fedora      76.3 KiB
 libselinux                        x86_64 0:3.10-1.fc44                fedora     201.0 KiB
 libselinux-utils                  x86_64 0:3.10-1.fc44                fedora     305.7 KiB
 libsemanage                       x86_64 0:3.10-1.fc44                fedora     312.3 KiB
 libsepol                          x86_64 0:3.10-1.fc44                fedora     870.0 KiB
 libsmartcols                      x86_64 0:2.42-7.fc45                fedora     192.4 KiB
 libssh                            x86_64 0:0.12.0-1.fc45              fedora     719.1 KiB
 libssh-config                     noarch 0:0.12.0-1.fc45              fedora     277.0   B
 libstdc++                         x86_64 0:16.0.1-0.10.fc45           fedora       2.9 MiB
 libtasn1                          x86_64 0:4.21.0-1.fc45              fedora     180.6 KiB
 libtool-ltdl                      x86_64 0:2.5.4-10.fc44              fedora      70.0 KiB
 libunistring                      x86_64 0:1.1-11.fc44                fedora       1.7 MiB
 libusb1                           x86_64 0:1.0.29-5.fc44              fedora     175.2 KiB
 libuuid                           x86_64 0:2.42-7.fc45                fedora      37.2 KiB
 libverto                          x86_64 0:0.3.2-12.fc44              fedora      25.3 KiB
 libxcrypt                         x86_64 0:4.5.2-3.fc44               fedora     293.2 KiB
 libxml2                           x86_64 0:2.12.10-6.fc44             fedora       1.8 MiB
 libzstd                           x86_64 0:1.5.7-5.fc44               fedora     956.1 KiB
 linkdupes                         x86_64 0:0.7.3-2.fc45               fedora     780.9 KiB
 lua-libs                          x86_64 0:5.5.0-1.fc45               fedora     297.9 KiB
 lua-srpm-macros                   noarch 0:1-17.fc44                  fedora       1.3 KiB
 lz4-libs                          x86_64 0:1.10.0-4.fc44              fedora     157.3 KiB
 mpfr                              x86_64 0:4.2.2-3.fc44               fedora     849.1 KiB
 ncurses-base                      noarch 0:6.6-1.fc44                 fedora     329.7 KiB
 ncurses-libs                      x86_64 0:6.6-1.fc44                 fedora     968.9 KiB
 nettle                            x86_64 0:3.10.1-3.fc44              fedora     794.3 KiB
 ngtcp2                            x86_64 0:1.21.0-1.fc45              fedora     330.2 KiB
 ngtcp2-crypto-ossl                x86_64 0:1.21.0-1.fc45              fedora      51.6 KiB
 npth                              x86_64 0:1.8-4.fc44                 fedora      49.5 KiB
 ocaml-srpm-macros                 noarch 0:11-3.fc44                  fedora       1.9 KiB
 openblas-srpm-macros              noarch 0:2-21.fc44                  fedora     112.0   B
 openldap                          x86_64 0:2.6.13-1.fc45              fedora     669.9 KiB
 openssl-libs                      x86_64 1:3.5.5-1.fc44               fedora       9.2 MiB
 p11-kit                           x86_64 0:0.26.2-1.fc45              fedora       2.6 MiB
 p11-kit-trust                     x86_64 0:0.26.2-1.fc45              fedora     478.3 KiB
 package-notes-srpm-macros         noarch 0:0.17-3.fc45                fedora       1.6 KiB
 pam-libs                          x86_64 0:1.7.2-1.fc44               fedora     130.5 KiB
 pcre2                             x86_64 0:10.47-1.fc44.1             fedora     718.6 KiB
 pcre2-syntax                      noarch 0:10.47-1.fc44.1             fedora     281.9 KiB
 perl-srpm-macros                  noarch 0:1-61.fc44                  fedora     861.0   B
 pkgconf                           x86_64 0:2.5.1-1.fc45               fedora      92.7 KiB
 pkgconf-m4                        noarch 0:2.5.1-1.fc45               fedora      14.3 KiB
 pkgconf-pkg-config                x86_64 0:2.5.1-1.fc45               fedora     989.0   B
 policycoreutils                   x86_64 0:3.10-3.fc45                fedora     884.5 KiB
 popt                              x86_64 0:1.19-10.fc44               fedora     132.6 KiB
 publicsuffix-list-dafsa           noarch 0:20260116-1.fc44            fedora      70.4 KiB
 pyproject-srpm-macros             noarch 0:1.19.0-1.fc45              fedora       1.9 KiB
 python-srpm-macros                noarch 0:3.14-12.fc45               fedora      51.6 KiB
 qt5-srpm-macros                   noarch 0:5.15.18-2.fc44             fedora     500.0   B
 qt6-srpm-macros                   noarch 0:6.10.3-1.fc45              fedora     472.0   B
 readline                          x86_64 0:8.3-4.fc44                 fedora     519.5 KiB
 redhat-systemd-presets            noarch 0:102-1.fc45                 fedora       1.0 KiB
 redhat-systemd-presets-common     noarch 0:102-1.fc45                 fedora      16.6 KiB
 rpm                               x86_64 0:6.0.1-5.fc45               fedora       3.1 MiB
 rpm-build-libs                    x86_64 0:6.0.1-5.fc45               fedora     276.3 KiB
 rpm-libs                          x86_64 0:6.0.1-5.fc45               fedora     961.2 KiB
 rpm-plugin-selinux                x86_64 0:6.0.1-5.fc45               fedora      11.9 KiB
 rpm-sequoia                       x86_64 0:1.10.1-1.fc45              fedora       2.4 MiB
 rpm-sign-libs                     x86_64 0:6.0.1-5.fc45               fedora      39.6 KiB
 rust-srpm-macros                  noarch 0:28.4-3.fc44                fedora       5.5 KiB
 selinux-policy                    noarch 0:43.6-1.fc45                fedora      32.0 KiB
 selinux-policy-targeted           noarch 0:43.6-1.fc45                fedora      18.6 MiB
 setup                             noarch 0:2.15.0-29.fc45             fedora     724.9 KiB
 sqlite-libs                       x86_64 0:3.52.0-1.fc45              fedora       1.6 MiB
 systemd-libs                      x86_64 0:260.1-2.fc45               fedora       2.5 MiB
 systemd-standalone-sysusers       x86_64 0:260.1-2.fc45               fedora     841.2 KiB
 tpm2-tss                          x86_64 0:4.1.3-9.fc44               fedora       1.6 MiB
 tree-sitter-srpm-macros           noarch 0:0.4.2-2.fc44               fedora       8.3 KiB
 util-linux-core                   x86_64 0:2.42-7.fc45                fedora       1.5 MiB
 xxhash-libs                       x86_64 0:0.8.3-4.fc44               fedora      94.0 KiB
 xz-libs                           x86_64 1:5.8.3-1.fc45               fedora     217.7 KiB
 zig-srpm-macros                   noarch 0:1-8.fc44                   fedora       1.3 KiB
 zip                               x86_64 0:3.0-45.fc44                fedora     698.0 KiB
 zlib-ng-compat                    x86_64 0:2.3.3-5.fc45               fedora     165.6 KiB
 zstd                              x86_64 0:1.5.7-5.fc44               fedora     502.4 KiB
Installing groups:
 Buildsystem building group                                                                

Transaction Summary:
 Installing:       187 packages

Total size of inbound packages is 70 MiB. Need to download 70 MiB.
After this operation, 226 MiB extra will be used (install 226 MiB, remove 0 B).
[  1/187] bzip2-0:1.0.8-23.fc44.x86_64  100% |  12.7 MiB/s |  52.1 KiB |  00m00s
[  2/187] bash-0:5.3.9-3.fc44.x86_64    100% | 172.2 MiB/s |   1.9 MiB |  00m00s
[  3/187] cpio-0:2.15-9.fc44.x86_64     100% |  57.3 MiB/s | 293.4 KiB |  00m00s
[  4/187] coreutils-0:9.10-3.fc45.x86_6 100% |  91.5 MiB/s |   1.2 MiB |  00m00s
[  5/187] fedora-release-common-0:45-0. 100% |   3.0 MiB/s |  18.5 KiB |  00m00s
[  6/187] findutils-1:4.10.0-7.fc44.x86 100% |  89.9 MiB/s | 552.5 KiB |  00m00s
[  7/187] glibc-minimal-langpack-0:2.43 100% |   9.1 MiB/s |  93.1 KiB |  00m00s
[  8/187] diffutils-0:3.12-5.fc44.x86_6 100% |  21.4 MiB/s | 395.3 KiB |  00m00s
[  9/187] grep-0:3.12-3.fc44.x86_64     100% |  24.5 MiB/s | 301.6 KiB |  00m00s
[ 10/187] info-0:7.3-1.fc45.x86_64      100% |  31.1 MiB/s | 190.8 KiB |  00m00s
[ 11/187] gzip-0:1.14-2.fc44.x86_64     100% |  25.0 MiB/s | 179.1 KiB |  00m00s
[ 12/187] patch-0:2.8-4.fc44.x86_64     100% |  22.5 MiB/s | 115.2 KiB |  00m00s
[ 13/187] redhat-rpm-config-0:344-1.fc4 100% |  10.9 MiB/s |  78.4 KiB |  00m00s
[ 14/187] rpm-build-0:6.0.1-5.fc45.x86_ 100% |  17.1 MiB/s | 139.9 KiB |  00m00s
[ 15/187] sed-0:4.9-8.fc45.x86_64       100% |  44.5 MiB/s | 319.0 KiB |  00m00s
[ 16/187] tar-2:1.35-8.fc44.x86_64      100% |  56.5 MiB/s | 868.2 KiB |  00m00s
[ 17/187] unzip-0:6.0-69.fc44.x86_64    100% |  13.9 MiB/s | 199.6 KiB |  00m00s
[ 18/187] shadow-utils-2:4.19.3-1.fc45. 100% |  49.9 MiB/s |   1.3 MiB |  00m00s
[ 19/187] which-0:2.23-4.fc44.x86_64    100% |   4.6 MiB/s |  42.2 KiB |  00m00s
[ 20/187] gawk-0:5.4.0-2.fc45.x86_64    100% | 146.0 MiB/s |   1.2 MiB |  00m00s
[ 21/187] util-linux-0:2.42-7.fc45.x86_ 100% |  97.6 MiB/s |   1.3 MiB |  00m00s
[ 22/187] filesystem-0:3.18-56.fc45.x86 100% | 130.9 MiB/s |   1.8 MiB |  00m00s
[ 23/187] glibc-0:2.43.9000-8.fc45.x86_ 100% | 141.4 MiB/s |   2.4 MiB |  00m00s
[ 24/187] ncurses-libs-0:6.6-1.fc44.x86 100% |  42.0 MiB/s | 344.1 KiB |  00m00s
[ 25/187] bzip2-libs-0:1.0.8-23.fc44.x8 100% |  10.7 MiB/s |  43.8 KiB |  00m00s
[ 26/187] gmp-1:6.3.0-5.fc44.x86_64     100% |  35.0 MiB/s | 322.5 KiB |  00m00s
[ 27/187] coreutils-common-0:9.10-3.fc4 100% | 142.2 MiB/s |   2.1 MiB |  00m00s
[ 28/187] xz-1:5.8.3-1.fc45.x86_64      100% |  11.2 MiB/s | 655.2 KiB |  00m00s
[ 29/187] libacl-0:2.3.2-6.fc44.x86_64  100% |   8.1 MiB/s |  24.8 KiB |  00m00s
[ 30/187] libattr-0:2.5.2-8.fc44.x86_64 100% |   8.8 MiB/s |  17.9 KiB |  00m00s
[ 31/187] libcap-0:2.78-1.fc45.x86_64   100% |  29.1 MiB/s |  89.4 KiB |  00m00s
[ 32/187] libselinux-0:3.10-1.fc44.x86_ 100% |  33.2 MiB/s | 102.0 KiB |  00m00s
[ 33/187] fedora-repos-0:45-0.1.noarch  100% |   1.0 MiB/s |   9.2 KiB |  00m00s
[ 34/187] systemd-libs-0:260.1-2.fc45.x 100% |  54.1 MiB/s | 886.2 KiB |  00m00s
[ 35/187] redhat-systemd-presets-0:102- 100% | 925.1 KiB/s |   8.3 KiB |  00m00s
[ 36/187] openssl-libs-1:3.5.5-1.fc44.x 100% |  83.2 MiB/s |   2.7 MiB |  00m00s
[ 37/187] glibc-common-0:2.43.9000-8.fc 100% |  23.6 MiB/s | 386.3 KiB |  00m00s
[ 38/187] pcre2-0:10.47-1.fc44.1.x86_64 100% |  19.4 MiB/s | 277.7 KiB |  00m00s
[ 39/187] R-srpm-macros-0:1.3.7-1.fc45. 100% |   1.3 MiB/s |  11.0 KiB |  00m00s
[ 40/187] ed-0:1.22.5-2.fc45.x86_64     100% |   8.3 MiB/s |  85.4 KiB |  00m00s
[ 41/187] ansible-srpm-macros-0:1-20.1. 100% |   2.2 MiB/s |  20.1 KiB |  00m00s
[ 42/187] cmake-srpm-macros-0:4.3.0-1.f 100% |   3.4 MiB/s |  10.4 KiB |  00m00s
[ 43/187] dwz-0:0.16-3.fc44.x86_64      100% |  33.9 MiB/s | 138.9 KiB |  00m00s
[ 44/187] build-reproducibility-srpm-ma 100% |   2.2 MiB/s |  13.3 KiB |  00m00s
[ 45/187] efi-srpm-macros-0:6-6.fc44.no 100% |   7.3 MiB/s |  22.6 KiB |  00m00s
[ 46/187] erlang-srpm-macros-0:0.3.11-1 100% |   1.9 MiB/s |  10.0 KiB |  00m00s
[ 47/187] file-0:5.47-1.fc45.x86_64     100% |   9.6 MiB/s |  49.1 KiB |  00m00s
[ 48/187] filesystem-srpm-macros-0:3.18 100% |   6.6 MiB/s |  26.8 KiB |  00m00s
[ 49/187] fonts-srpm-macros-1:5.0.0-3.f 100% |   8.9 MiB/s |  27.2 KiB |  00m00s
[ 50/187] fpc-srpm-macros-0:1.3-16.fc44 100% |   3.9 MiB/s |   7.9 KiB |  00m00s
[ 51/187] forge-srpm-macros-0:0.4.0-4.f 100% |   6.5 MiB/s |  20.0 KiB |  00m00s
[ 52/187] gap-srpm-macros-0:2-2.fc44.no 100% |   4.5 MiB/s |   9.1 KiB |  00m00s
[ 53/187] ghc-srpm-macros-0:1.10-1.fc44 100% |   4.3 MiB/s |   8.8 KiB |  00m00s
[ 54/187] gnat-srpm-macros-0:7-2.fc44.n 100% |   1.7 MiB/s |   8.7 KiB |  00m00s
[ 55/187] java-srpm-macros-0:1-8.fc44.n 100% |   2.6 MiB/s |   8.1 KiB |  00m00s
[ 56/187] go-srpm-macros-0:3.8.0-2.fc44 100% |   9.2 MiB/s |  28.2 KiB |  00m00s
[ 57/187] kernel-srpm-macros-0:1.0-29.f 100% |   2.7 MiB/s |   8.2 KiB |  00m00s
[ 58/187] ocaml-srpm-macros-0:11-3.fc44 100% |   1.8 MiB/s |   9.3 KiB |  00m00s
[ 59/187] lua-srpm-macros-0:1-17.fc44.n 100% |   1.2 MiB/s |   8.9 KiB |  00m00s
[ 60/187] openblas-srpm-macros-0:2-21.f 100% |   1.3 MiB/s |   7.8 KiB |  00m00s
[ 61/187] perl-srpm-macros-0:1-61.fc44. 100% |   2.7 MiB/s |   8.4 KiB |  00m00s
[ 62/187] package-notes-srpm-macros-0:0 100% |   1.6 MiB/s |   9.7 KiB |  00m00s
[ 63/187] pyproject-srpm-macros-0:1.19. 100% |   4.3 MiB/s |  13.3 KiB |  00m00s
[ 64/187] qt5-srpm-macros-0:5.15.18-2.f 100% |   4.2 MiB/s |   8.7 KiB |  00m00s
[ 65/187] python-srpm-macros-0:3.14-12. 100% |   7.9 MiB/s |  24.1 KiB |  00m00s
[ 66/187] qt6-srpm-macros-0:6.10.3-1.fc 100% |   3.0 MiB/s |   9.2 KiB |  00m00s
[ 67/187] rust-srpm-macros-0:28.4-3.fc4 100% |   3.6 MiB/s |  11.1 KiB |  00m00s
[ 68/187] rpm-0:6.0.1-5.fc45.x86_64     100% | 113.0 MiB/s | 578.3 KiB |  00m00s
[ 69/187] tree-sitter-srpm-macros-0:0.4 100% |   4.4 MiB/s |  13.5 KiB |  00m00s
[ 70/187] zig-srpm-macros-0:1-8.fc44.no 100% |   4.3 MiB/s |   8.8 KiB |  00m00s
[ 71/187] debugedit-0:5.3-2.fc45.x86_64 100% |  28.8 MiB/s |  88.5 KiB |  00m00s
[ 72/187] zip-0:3.0-45.fc44.x86_64      100% |  64.5 MiB/s | 264.4 KiB |  00m00s
[ 73/187] elfutils-0:0.194-5.fc45.x86_6 100% | 142.7 MiB/s | 584.4 KiB |  00m00s
[ 74/187] elfutils-libelf-0:0.194-5.fc4 100% |  33.4 MiB/s | 205.1 KiB |  00m00s
[ 75/187] libgcc-0:16.0.1-0.10.fc45.x86 100% |  30.8 MiB/s | 126.3 KiB |  00m00s
[ 76/187] libarchive-0:3.8.6-1.fc45.x86 100% |  72.0 MiB/s | 442.6 KiB |  00m00s
[ 77/187] popt-0:1.19-10.fc44.x86_64    100% |  21.8 MiB/s |  66.9 KiB |  00m00s
[ 78/187] readline-0:8.3-4.fc44.x86_64  100% |  74.8 MiB/s | 229.8 KiB |  00m00s
[ 79/187] rpm-libs-0:6.0.1-5.fc45.x86_6 100% | 101.4 MiB/s | 415.5 KiB |  00m00s
[ 80/187] rpm-build-libs-0:6.0.1-5.fc45 100% |  14.3 MiB/s | 132.1 KiB |  00m00s
[ 81/187] libstdc++-0:16.0.1-0.10.fc45. 100% |  66.1 MiB/s | 947.6 KiB |  00m00s
[ 82/187] zstd-0:1.5.7-5.fc44.x86_64    100% |  23.5 MiB/s | 192.5 KiB |  00m00s
[ 83/187] audit-libs-0:4.1.4-1.fc45.x86 100% |  34.6 MiB/s | 141.7 KiB |  00m00s
[ 84/187] libeconf-0:0.7.9-3.fc44.x86_6 100% |  11.8 MiB/s |  36.2 KiB |  00m00s
[ 85/187] pam-libs-0:1.7.2-1.fc44.x86_6 100% |  19.2 MiB/s |  59.1 KiB |  00m00s
[ 86/187] libsemanage-0:3.10-1.fc44.x86 100% |  31.1 MiB/s | 127.3 KiB |  00m00s
[ 87/187] libxcrypt-0:4.5.2-3.fc44.x86_ 100% |  32.0 MiB/s | 131.2 KiB |  00m00s
[ 88/187] setup-0:2.15.0-29.fc45.noarch 100% |  38.4 MiB/s | 157.3 KiB |  00m00s
[ 89/187] mpfr-0:4.2.2-3.fc44.x86_64    100% |  87.4 MiB/s | 357.8 KiB |  00m00s
[ 90/187] xz-libs-1:5.8.3-1.fc45.x86_64 100% |  16.2 MiB/s | 116.4 KiB |  00m00s
[ 91/187] libblkid-0:2.42-7.fc45.x86_64 100% |  26.0 MiB/s | 133.0 KiB |  00m00s
[ 92/187] libcap-ng-0:0.9.3-1.fc45.x86_ 100% |   8.4 MiB/s |  34.3 KiB |  00m00s
[ 93/187] libfdisk-0:2.42-7.fc45.x86_64 100% |  54.9 MiB/s | 168.7 KiB |  00m00s
[ 94/187] liblastlog2-0:2.42-7.fc45.x86 100% |   7.7 MiB/s |  23.8 KiB |  00m00s
[ 95/187] libmount-0:2.42-7.fc45.x86_64 100% |  42.9 MiB/s | 175.6 KiB |  00m00s
[ 96/187] libsmartcols-0:2.42-7.fc45.x8 100% |  17.2 MiB/s |  87.8 KiB |  00m00s
[ 97/187] libuuid-0:2.42-7.fc45.x86_64  100% |   8.7 MiB/s |  26.7 KiB |  00m00s
[ 98/187] util-linux-core-0:2.42-7.fc45 100% | 189.1 MiB/s | 580.9 KiB |  00m00s
[ 99/187] zlib-ng-compat-0:2.3.3-5.fc45 100% |  11.1 MiB/s |  91.2 KiB |  00m00s
[100/187] ncurses-base-0:6.6-1.fc44.noa 100% |   9.5 MiB/s |  88.0 KiB |  00m00s
[101/187] glibc-gconv-extra-0:2.43.9000 100% | 128.2 MiB/s |   1.7 MiB |  00m00s
[102/187] gnulib-l10n-0:20241231-2.fc44 100% |  21.0 MiB/s | 150.3 KiB |  00m00s
[103/187] libsepol-0:3.10-1.fc44.x86_64 100% |  71.8 MiB/s | 367.6 KiB |  00m00s
[104/187] crypto-policies-0:20251128-3. 100% |  24.0 MiB/s |  98.3 KiB |  00m00s
[105/187] ca-certificates-0:2025.2.80_v 100% | 135.2 MiB/s | 968.8 KiB |  00m00s
[106/187] fedora-repos-rawhide-0:45-0.1 100% |   4.3 MiB/s |   8.8 KiB |  00m00s
[107/187] fedora-gpg-keys-0:45-0.1.noar 100% |  27.6 MiB/s | 141.3 KiB |  00m00s
[108/187] redhat-systemd-presets-common 100% |   4.2 MiB/s |  12.9 KiB |  00m00s
[109/187] pcre2-syntax-0:10.47-1.fc44.1 100% |  53.6 MiB/s | 164.7 KiB |  00m00s
[110/187] add-determinism-0:0.7.3-2.fc4 100% | 139.1 MiB/s | 854.6 KiB |  00m00s
[111/187] linkdupes-0:0.7.3-2.fc45.x86_ 100% |  67.3 MiB/s | 344.7 KiB |  00m00s
[112/187] curl-0:8.20.0~rc1-1.fc45.x86_ 100% |  33.7 MiB/s | 241.4 KiB |  00m00s
[113/187] elfutils-libs-0:0.194-5.fc45. 100% |  46.1 MiB/s | 283.0 KiB |  00m00s
[114/187] file-libs-0:5.47-1.fc45.x86_6 100% |  53.2 MiB/s | 871.9 KiB |  00m00s
[115/187] elfutils-debuginfod-client-0: 100% |   5.1 MiB/s |  46.7 KiB |  00m00s
[116/187] libzstd-0:1.5.7-5.fc44.x86_64 100% |  39.5 MiB/s | 364.2 KiB |  00m00s
[117/187] libxml2-0:2.12.10-6.fc44.x86_ 100% |  78.6 MiB/s | 724.6 KiB |  00m00s
[118/187] lz4-libs-0:1.10.0-4.fc44.x86_ 100% |  12.6 MiB/s |  77.7 KiB |  00m00s
[119/187] libgomp-0:16.0.1-0.10.fc45.x8 100% |  47.3 MiB/s | 387.4 KiB |  00m00s
[120/187] lua-libs-0:5.5.0-1.fc45.x86_6 100% |  28.1 MiB/s | 143.6 KiB |  00m00s
[121/187] rpm-sign-libs-0:6.0.1-5.fc45. 100% |   4.5 MiB/s |  27.9 KiB |  00m00s
[122/187] rpm-sequoia-0:1.10.1-1.fc45.x 100% | 127.5 MiB/s | 914.2 KiB |  00m00s
[123/187] elfutils-default-yama-scope-0 100% |   1.9 MiB/s |  11.9 KiB |  00m00s
[124/187] json-c-0:0.18-8.fc44.x86_64   100% |  11.3 MiB/s |  46.3 KiB |  00m00s
[125/187] sqlite-libs-0:3.52.0-1.fc45.x 100% |  65.3 MiB/s | 802.7 KiB |  00m00s
[126/187] ima-evm-utils-libs-0:1.6.2-10 100% |   7.4 MiB/s |  30.4 KiB |  00m00s
[127/187] libfsverity-0:1.7-1.fc45.x86_ 100% |   6.2 MiB/s |  19.0 KiB |  00m00s
[128/187] gnupg2-0:2.4.9-5.fc44.x86_64  100% | 165.3 MiB/s |   1.7 MiB |  00m00s
[129/187] gpgverify-0:2.2-4.fc44.noarch 100% |   2.7 MiB/s |  11.2 KiB |  00m00s
[130/187] gnupg2-dirmngr-0:2.4.9-5.fc44 100% |  91.9 MiB/s | 282.4 KiB |  00m00s
[131/187] gnupg2-gpg-agent-0:2.4.9-5.fc 100% |  54.9 MiB/s | 281.3 KiB |  00m00s
[132/187] gnupg2-gpgconf-0:2.4.9-5.fc44 100% |  22.9 MiB/s | 117.1 KiB |  00m00s
[133/187] gnupg2-keyboxd-0:2.4.9-5.fc44 100% |  23.8 MiB/s |  97.3 KiB |  00m00s
[134/187] gnupg2-verify-0:2.4.9-5.fc44. 100% |  57.6 MiB/s | 176.8 KiB |  00m00s
[135/187] libassuan-0:2.5.7-5.fc44.x86_ 100% |  16.8 MiB/s |  68.9 KiB |  00m00s
[136/187] libgpg-error-0:1.59-1.fc45.x8 100% |  35.4 MiB/s | 253.8 KiB |  00m00s
[137/187] libgcrypt-0:1.12.1-1.fc45.x86 100% |  61.5 MiB/s | 629.4 KiB |  00m00s
[138/187] npth-0:1.8-4.fc44.x86_64      100% |   4.2 MiB/s |  25.8 KiB |  00m00s
[139/187] tpm2-tss-0:4.1.3-9.fc44.x86_6 100% |  61.5 MiB/s | 440.9 KiB |  00m00s
[140/187] libksba-0:1.6.8-1.fc45.x86_64 100% |  27.5 MiB/s | 168.9 KiB |  00m00s
[141/187] gnutls-0:3.8.12-1.fc45.x86_64 100% | 140.2 MiB/s |   1.4 MiB |  00m00s
[142/187] openldap-0:2.6.13-1.fc45.x86_ 100% |  37.9 MiB/s | 272.0 KiB |  00m00s
[143/187] libusb1-0:1.0.29-5.fc44.x86_6 100% |   9.0 MiB/s |  82.8 KiB |  00m00s
[144/187] libidn2-0:2.3.8-3.fc44.x86_64 100% |  21.4 MiB/s | 175.5 KiB |  00m00s
[145/187] libunistring-0:1.1-11.fc44.x8 100% |  41.2 MiB/s | 547.8 KiB |  00m00s
[146/187] nettle-0:3.10.1-3.fc44.x86_64 100% |  29.9 MiB/s | 428.0 KiB |  00m00s
[147/187] libtasn1-0:4.21.0-1.fc45.x86_ 100% |   3.7 MiB/s |  76.0 KiB |  00m00s
[148/187] p11-kit-0:0.26.2-1.fc45.x86_6 100% |  60.3 MiB/s | 555.9 KiB |  00m00s
[149/187] libevent-0:2.1.12-17.fc44.x86 100% |  46.8 MiB/s | 287.4 KiB |  00m00s
[150/187] cyrus-sasl-lib-0:2.1.28-35.fc 100% |  97.7 MiB/s | 800.7 KiB |  00m00s
[151/187] libffi-0:3.5.2-2.fc44.x86_64  100% |  20.7 MiB/s |  42.4 KiB |  00m00s
[152/187] libtool-ltdl-0:2.5.4-10.fc44. 100% |   7.2 MiB/s |  37.0 KiB |  00m00s
[153/187] gdbm-libs-1:1.23-11.fc44.x86_ 100% |  14.4 MiB/s |  58.8 KiB |  00m00s
[154/187] alternatives-0:1.33-5.fc44.x8 100% |  10.0 MiB/s |  40.8 KiB |  00m00s
[155/187] pkgconf-pkg-config-0:2.5.1-1. 100% |   2.3 MiB/s |   9.5 KiB |  00m00s
[156/187] pkgconf-0:2.5.1-1.fc45.x86_64 100% |   9.5 MiB/s |  48.7 KiB |  00m00s
[157/187] jansson-0:2.14-4.fc44.x86_64  100% |   3.5 MiB/s |  47.1 KiB |  00m00s
[158/187] pkgconf-m4-0:2.5.1-1.fc45.noa 100% |   2.7 MiB/s |  13.8 KiB |  00m00s
[159/187] libpkgconf-0:2.5.1-1.fc45.x86 100% |  10.4 MiB/s |  42.7 KiB |  00m00s
[160/187] fedora-release-0:45-0.5.noarc 100% |   2.0 MiB/s |  12.6 KiB |  00m00s
[161/187] p11-kit-trust-0:0.26.2-1.fc45 100% |  15.9 MiB/s | 146.4 KiB |  00m00s
[162/187] binutils-0:2.46.50-7.fc45.x86 100% | 158.5 MiB/s |   6.2 MiB |  00m00s
[163/187] systemd-standalone-sysusers-0 100% |  32.6 MiB/s | 367.4 KiB |  00m00s
[164/187] xxhash-libs-0:0.8.3-4.fc44.x8 100% |   8.1 MiB/s |  41.2 KiB |  00m00s
[165/187] fedora-release-identity-basic 100% |   3.3 MiB/s |  13.4 KiB |  00m00s
[166/187] libcurl-0:8.20.0~rc1-1.fc45.x 100% |  75.9 MiB/s | 466.6 KiB |  00m00s
[167/187] krb5-libs-0:1.22.2-4.fc45.x86 100% |  87.4 MiB/s | 805.4 KiB |  00m00s
[168/187] gdb-minimal-0:17.1-5.fc45.x86 100% | 152.7 MiB/s |   4.7 MiB |  00m00s
[169/187] libbrotli-0:1.2.0-3.fc44.x86_ 100% |  34.0 MiB/s | 347.8 KiB |  00m00s
[170/187] libnghttp2-0:1.68.1-1.fc45.x8 100% |  10.7 MiB/s |  76.6 KiB |  00m00s
[171/187] libnghttp3-0:1.15.0-1.fc44.x8 100% |  14.4 MiB/s |  73.9 KiB |  00m00s
[172/187] libpsl-0:0.21.5-7.fc44.x86_64 100% |  15.9 MiB/s |  65.3 KiB |  00m00s
[173/187] libssh-0:0.12.0-1.fc45.x86_64 100% |  57.4 MiB/s | 293.7 KiB |  00m00s
[174/187] keyutils-libs-0:1.6.3-7.fc44. 100% |   6.2 MiB/s |  31.5 KiB |  00m00s
[175/187] ngtcp2-crypto-ossl-0:1.21.0-1 100% |   4.5 MiB/s |  27.6 KiB |  00m00s
[176/187] ngtcp2-0:1.21.0-1.fc45.x86_64 100% |  21.8 MiB/s | 156.0 KiB |  00m00s
[177/187] libcom_err-0:1.47.4-1.fc45.x8 100% |   8.7 MiB/s |  26.6 KiB |  00m00s
[178/187] libverto-0:0.3.2-12.fc44.x86_ 100% |  10.3 MiB/s |  21.1 KiB |  00m00s
[179/187] publicsuffix-list-dafsa-0:202 100% |  29.4 MiB/s |  60.3 KiB |  00m00s
[180/187] libcbor-0:0.13.0-2.fc44.x86_6 100% |  11.7 MiB/s |  36.0 KiB |  00m00s
[181/187] libssh-config-0:0.12.0-1.fc45 100% |   2.3 MiB/s |   9.4 KiB |  00m00s
[182/187] libfido2-0:1.16.0-5.fc44.x86_ 100% |  20.4 MiB/s | 104.5 KiB |  00m00s
[183/187] policycoreutils-0:3.10-3.fc45 100% |  85.2 MiB/s | 261.7 KiB |  00m00s
[184/187] selinux-policy-0:43.6-1.fc45. 100% |  17.8 MiB/s |  72.9 KiB |  00m00s
[185/187] rpm-plugin-selinux-0:6.0.1-5. 100% |   6.2 MiB/s |  19.1 KiB |  00m00s
[186/187] libselinux-utils-0:3.10-1.fc4 100% |  23.4 MiB/s | 119.6 KiB |  00m00s
[187/187] selinux-policy-targeted-0:43. 100% | 262.4 MiB/s |   6.8 MiB |  00m00s
--------------------------------------------------------------------------------
[187/187] Total                         100% | 135.6 MiB/s |  70.0 MiB |  00m01s
Running transaction
Importing OpenPGP key 0xF577861E:
 UserID     : "Fedora (45) <fedora-45-primary@fedoraproject.org>"
 Fingerprint: 4F50A6114CD5C6976A7F1179655A4B02F577861E
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-45-primary
The key was successfully imported.
Importing OpenPGP key 0xF577861E:
 UserID     : "Fedora (45) <fedora-45-primary@fedoraproject.org>"
 Fingerprint: 4F50A6114CD5C6976A7F1179655A4B02F577861E
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-45-primary
The key was successfully imported.
Importing OpenPGP key 0x6D9F90A6:
 UserID     : "Fedora (44) <fedora-44-primary@fedoraproject.org>"
 Fingerprint: 36F612DCF27F7D1A48A835E4DBFCF71C6D9F90A6
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-44-primary
The key was successfully imported.
Importing OpenPGP key 0x91211FCE:
 UserID     : "Fedora (46) <fedora-46-primary@fedoraproject.org>"
 Fingerprint: D924B10D3E810DABDD8B56B596E7E91491211FCE
 From       : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-46-primary
The key was successfully imported.
[  1/189] Verify package files          100% | 667.0   B/s | 187.0   B |  00m00s
[  2/189] Prepare transaction           100% |   3.2 KiB/s | 187.0   B |  00m00s
[  3/189] Installing libgcc-0:16.0.1-0. 100% | 266.0 MiB/s | 272.4 KiB |  00m00s
[  4/189] Installing redhat-systemd-pre 100% |   0.0   B/s |   1.5 KiB |  00m00s
[  5/189] Installing redhat-systemd-pre 100% |   0.0   B/s |  17.8 KiB |  00m00s
[  6/189] Installing libssh-config-0:0. 100% |   0.0   B/s | 816.0   B |  00m00s
[  7/189] Installing publicsuffix-list- 100% |   0.0   B/s |  71.1 KiB |  00m00s
[  8/189] Installing fedora-release-ide 100% |   0.0   B/s | 920.0   B |  00m00s
[  9/189] Installing fedora-gpg-keys-0: 100% |  44.5 MiB/s | 182.1 KiB |  00m00s
[ 10/189] Installing fedora-repos-rawhi 100% |   0.0   B/s |   2.4 KiB |  00m00s
[ 11/189] Installing fedora-repos-0:45- 100% |   0.0   B/s |   5.7 KiB |  00m00s
[ 12/189] Installing fedora-release-com 100% |   7.3 MiB/s |   7.4 KiB |  00m00s
[ 13/189] Installing fedora-release-0:4 100% |  15.1 KiB/s | 124.0   B |  00m00s
>>> Running sysusers scriptlet: setup-0:2.15.0-29.fc45.noarch
>>> Finished sysusers scriptlet: setup-0:2.15.0-29.fc45.noarch
>>> Scriptlet output:
>>> Creating group 'adm' with GID 4.
>>> Creating group 'audio' with GID 63.
>>> Creating group 'cdrom' with GID 11.
>>> Creating group 'clock' with GID 103.
>>> Creating group 'dialout' with GID 18.
>>> Creating group 'disk' with GID 6.
>>> Creating group 'floppy' with GID 19.
>>> Creating group 'ftp' with GID 50.
>>> Creating group 'games' with GID 20.
>>> Creating group 'input' with GID 104.
>>> Creating group 'kmem' with GID 9.
>>> Creating group 'kvm' with GID 36.
>>> Creating group 'lock' with GID 54.
>>> Creating group 'lp' with GID 7.
>>> Creating group 'mail' with GID 12.
>>> Creating group 'man' with GID 15.
>>> Creating group 'mem' with GID 8.
>>> Creating group 'nobody' with GID 65534.
>>> Creating group 'render' with GID 105.
>>> Creating group 'root' with GID 0.
>>> Creating group 'sgx' with GID 106.
>>> Creating group 'sys' with GID 3.
>>> Creating group 'tape' with GID 33.
>>> Creating group 'tty' with GID 5.
>>> Creating group 'users' with GID 100.
>>> Creating group 'utmp' with GID 22.
>>> Creating group 'video' with GID 39.
>>> Creating group 'wheel' with GID 10.
>>> Creating user 'adm' (adm) with UID 3 and GID 4.
>>> Creating group 'bin' with GID 1.
>>> Creating user 'bin' (bin) with UID 1 and GID 1.
>>> Creating group 'daemon' with GID 2.
>>> Creating user 'daemon' (daemon) with UID 2 and GID 2.
>>> Creating user 'ftp' (FTP User) with UID 14 and GID 50.
>>> Creating user 'games' (games) with UID 12 and GID 100.
>>> Creating user 'halt' (halt) with UID 7 and GID 0.
>>> Creating user 'lp' (lp) with UID 4 and GID 7.
>>> Creating user 'mail' (mail) with UID 8 and GID 12.
>>> Creating user 'nobody' (Kernel Overflow User) with UID 65534 and GID 65534.
>>> Creating user 'operator' (operator) with UID 11 and GID 0.
>>> Creating user 'root' (Super User) with UID 0 and GID 0.
>>> Creating user 'shutdown' (shutdown) with UID 6 and GID 0.
>>> Creating user 'sync' (sync) with UID 5 and GID 0.
>>> 
[ 14/189] Installing setup-0:2.15.0-29. 100% |  37.6 MiB/s | 730.6 KiB |  00m00s
>>> [RPM] /etc/hosts created as /etc/hosts.rpmnew
[ 15/189] Installing filesystem-0:3.18- 100% |   2.7 MiB/s | 289.4 KiB |  00m00s
[ 16/189] Installing pkgconf-m4-0:2.5.1 100% |   0.0   B/s |  14.7 KiB |  00m00s
[ 17/189] Installing pcre2-syntax-0:10. 100% | 277.7 MiB/s | 284.3 KiB |  00m00s
[ 18/189] Installing gnulib-l10n-0:2024 100% | 215.5 MiB/s | 661.9 KiB |  00m00s
[ 19/189] Installing coreutils-common-0 100% | 381.7 MiB/s |  10.7 MiB |  00m00s
[ 20/189] Installing ncurses-base-0:6.6 100% |  86.7 MiB/s | 355.3 KiB |  00m00s
[ 21/189] Installing bash-0:5.3.9-3.fc4 100% | 242.3 MiB/s |   8.5 MiB |  00m00s
[ 22/189] Installing glibc-common-0:2.4 100% |  46.8 MiB/s |   1.0 MiB |  00m00s
[ 23/189] Installing glibc-gconv-extra- 100% | 287.4 MiB/s |   7.8 MiB |  00m00s
[ 24/189] Installing glibc-0:2.43.9000- 100% | 170.7 MiB/s |   7.0 MiB |  00m00s
[ 25/189] Installing ncurses-libs-0:6.6 100% | 238.1 MiB/s | 975.4 KiB |  00m00s
[ 26/189] Installing glibc-minimal-lang 100% |   0.0   B/s | 124.0   B |  00m00s
[ 27/189] Installing zlib-ng-compat-0:2 100% | 162.5 MiB/s | 166.4 KiB |  00m00s
[ 28/189] Installing bzip2-libs-0:1.0.8 100% |  79.7 MiB/s |  81.6 KiB |  00m00s
[ 29/189] Installing libgpg-error-0:1.5 100% |  46.5 MiB/s | 952.3 KiB |  00m00s
[ 30/189] Installing libstdc++-0:16.0.1 100% | 364.8 MiB/s |   2.9 MiB |  00m00s
[ 31/189] Installing libassuan-0:2.5.7- 100% | 161.8 MiB/s | 165.7 KiB |  00m00s
[ 32/189] Installing libgcrypt-0:1.12.1 100% | 331.6 MiB/s |   1.7 MiB |  00m00s
[ 33/189] Installing readline-0:8.3-4.f 100% | 254.7 MiB/s | 521.6 KiB |  00m00s
[ 34/189] Installing gmp-1:6.3.0-5.fc44 100% | 399.2 MiB/s | 817.5 KiB |  00m00s
[ 35/189] Installing systemd-libs-0:260 100% | 363.9 MiB/s |   2.5 MiB |  00m00s
[ 36/189] Installing xz-libs-1:5.8.3-1. 100% | 213.7 MiB/s | 218.8 KiB |  00m00s
[ 37/189] Installing libuuid-0:2.42-7.f 100% |   0.0   B/s |  38.2 KiB |  00m00s
[ 38/189] Installing libzstd-0:1.5.7-5. 100% | 311.6 MiB/s | 957.4 KiB |  00m00s
[ 39/189] Installing elfutils-libelf-0: 100% | 376.3 MiB/s |   1.1 MiB |  00m00s
[ 40/189] Installing popt-0:1.19-10.fc4 100% |  68.0 MiB/s | 139.3 KiB |  00m00s
[ 41/189] Installing npth-0:1.8-4.fc44. 100% |   0.0   B/s |  50.6 KiB |  00m00s
[ 42/189] Installing libblkid-0:2.42-7. 100% | 276.6 MiB/s | 283.2 KiB |  00m00s
[ 43/189] Installing libsepol-0:3.10-1. 100% | 283.5 MiB/s | 871.0 KiB |  00m00s
[ 44/189] Installing sqlite-libs-0:3.52 100% | 320.6 MiB/s |   1.6 MiB |  00m00s
[ 45/189] Installing gnupg2-gpgconf-0:2 100% |  14.5 MiB/s | 251.8 KiB |  00m00s
[ 46/189] Installing libattr-0:2.5.2-8. 100% |   0.0   B/s |  25.2 KiB |  00m00s
[ 47/189] Installing libacl-0:2.3.2-6.f 100% |   0.0   B/s |  36.6 KiB |  00m00s
[ 48/189] Installing pcre2-0:10.47-1.fc 100% | 351.6 MiB/s | 720.0 KiB |  00m00s
[ 49/189] Installing libselinux-0:3.10- 100% | 197.5 MiB/s | 202.3 KiB |  00m00s
[ 50/189] Installing grep-0:3.12-3.fc44 100% |  47.7 MiB/s |   1.0 MiB |  00m00s
[ 51/189] Installing sed-0:4.9-8.fc45.x 100% |  42.3 MiB/s | 865.4 KiB |  00m00s
[ 52/189] Installing findutils-1:4.10.0 100% |  85.0 MiB/s |   1.9 MiB |  00m00s
[ 53/189] Installing libxcrypt-0:4.5.2- 100% | 289.0 MiB/s | 295.9 KiB |  00m00s
[ 54/189] Installing libtasn1-0:4.21.0- 100% | 178.2 MiB/s | 182.4 KiB |  00m00s
[ 55/189] Installing libunistring-0:1.1 100% | 346.9 MiB/s |   1.7 MiB |  00m00s
[ 56/189] Installing libidn2-0:2.3.8-3. 100% |  61.0 MiB/s | 562.6 KiB |  00m00s
[ 57/189] Installing crypto-policies-0: 100% |  30.8 MiB/s | 157.7 KiB |  00m00s
[ 58/189] Installing xz-1:5.8.3-1.fc45. 100% |  58.5 MiB/s |   1.4 MiB |  00m00s
[ 59/189] Installing libmount-0:2.42-7. 100% | 196.2 MiB/s | 401.9 KiB |  00m00s
[ 60/189] Installing gnupg2-verify-0:2. 100% |  19.6 MiB/s | 361.7 KiB |  00m00s
[ 61/189] Installing dwz-0:0.16-3.fc44. 100% |  16.8 MiB/s | 292.3 KiB |  00m00s
[ 62/189] Installing mpfr-0:4.2.2-3.fc4 100% | 276.9 MiB/s | 850.8 KiB |  00m00s
[ 63/189] Installing gawk-0:5.4.0-2.fc4 100% |  96.8 MiB/s |   2.2 MiB |  00m00s
[ 64/189] Installing libksba-0:1.6.8-1. 100% | 207.2 MiB/s | 424.4 KiB |  00m00s
[ 65/189] Installing unzip-0:6.0-69.fc4 100% |  24.4 MiB/s | 449.3 KiB |  00m00s
[ 66/189] Installing file-libs-0:5.47-1 100% | 677.2 MiB/s |  12.2 MiB |  00m00s
[ 67/189] Installing file-0:5.47-1.fc45 100% |   5.9 MiB/s | 102.6 KiB |  00m00s
[ 68/189] Installing diffutils-0:3.12-5 100% |  74.9 MiB/s |   1.6 MiB |  00m00s
[ 69/189] Installing libeconf-0:0.7.9-3 100% |  64.9 MiB/s |  66.4 KiB |  00m00s
[ 70/189] Installing libcap-ng-0:0.9.3- 100% |  69.0 MiB/s |  70.6 KiB |  00m00s
[ 71/189] Installing audit-libs-0:4.1.4 100% | 191.9 MiB/s | 393.0 KiB |  00m00s
[ 72/189] Installing pam-libs-0:1.7.2-1 100% | 129.8 MiB/s | 132.9 KiB |  00m00s
[ 73/189] Installing libcap-0:2.78-1.fc 100% |  11.8 MiB/s | 217.2 KiB |  00m00s
[ 74/189] Installing libsemanage-0:3.10 100% | 153.4 MiB/s | 314.1 KiB |  00m00s
[ 75/189] Installing libsmartcols-0:2.4 100% | 188.9 MiB/s | 193.4 KiB |  00m00s
[ 76/189] Installing lua-libs-0:5.5.0-1 100% | 292.4 MiB/s | 299.4 KiB |  00m00s
[ 77/189] Installing json-c-0:0.18-8.fc 100% |  81.9 MiB/s |  83.9 KiB |  00m00s
[ 78/189] Installing libffi-0:3.5.2-2.f 100% |  87.0 MiB/s |  89.1 KiB |  00m00s
[ 79/189] Installing p11-kit-0:0.26.2-1 100% | 103.8 MiB/s |   2.6 MiB |  00m00s
[ 80/189] Installing alternatives-0:1.3 100% |   3.7 MiB/s |  63.6 KiB |  00m00s
[ 81/189] Installing p11-kit-trust-0:0. 100% |  18.8 MiB/s | 480.0 KiB |  00m00s
[ 82/189] Installing ngtcp2-0:1.21.0-1. 100% | 162.0 MiB/s | 331.7 KiB |  00m00s
[ 83/189] Installing openssl-libs-1:3.5 100% | 382.9 MiB/s |   9.2 MiB |  00m00s
[ 84/189] Installing coreutils-0:9.10-3 100% | 153.8 MiB/s |   5.7 MiB |  00m00s
[ 85/189] Installing ca-certificates-0: 100% |   2.0 MiB/s |   2.5 MiB |  00m01s
[ 86/189] Installing gzip-0:1.14-2.fc44 100% |  20.9 MiB/s | 407.1 KiB |  00m00s
[ 87/189] Installing rpm-sequoia-0:1.10 100% | 337.8 MiB/s |   2.4 MiB |  00m00s
[ 88/189] Installing libfsverity-0:1.7- 100% |   0.0   B/s |  29.4 KiB |  00m00s
[ 89/189] Installing libevent-0:2.1.12- 100% | 319.8 MiB/s | 982.4 KiB |  00m00s
[ 90/189] Installing systemd-standalone 100% |  43.3 MiB/s | 841.8 KiB |  00m00s
[ 91/189] Installing rpm-libs-0:6.0.1-5 100% | 313.4 MiB/s | 962.8 KiB |  00m00s
[ 92/189] Installing ngtcp2-crypto-ossl 100% |  51.2 MiB/s |  52.5 KiB |  00m00s
[ 93/189] Installing util-linux-core-0: 100% |  69.5 MiB/s |   1.5 MiB |  00m00s
[ 94/189] Installing liblastlog2-0:2.42 100% |   7.1 MiB/s |  43.6 KiB |  00m00s
[ 95/189] Installing zip-0:3.0-45.fc44. 100% |  34.3 MiB/s | 701.9 KiB |  00m00s
[ 96/189] Installing gnupg2-keyboxd-0:2 100% |  33.0 MiB/s | 202.5 KiB |  00m00s
[ 97/189] Installing libpsl-0:0.21.5-7. 100% |  75.6 MiB/s |  77.4 KiB |  00m00s
[ 98/189] Installing tar-2:1.35-8.fc44. 100% | 119.1 MiB/s |   3.0 MiB |  00m00s
[ 99/189] Installing linkdupes-0:0.7.3- 100% |  42.4 MiB/s | 782.3 KiB |  00m00s
[100/189] Installing libselinux-utils-0 100% |  17.4 MiB/s | 320.1 KiB |  00m00s
[101/189] Installing libfdisk-0:2.42-7. 100% | 190.1 MiB/s | 389.3 KiB |  00m00s
[102/189] Installing util-linux-0:2.42- 100% |  97.7 MiB/s |   3.7 MiB |  00m00s
[103/189] Installing policycoreutils-0: 100% |  30.7 MiB/s | 912.9 KiB |  00m00s
[104/189] Installing selinux-policy-0:4 100% |   1.7 MiB/s |  33.6 KiB |  00m00s
[105/189] Installing selinux-policy-tar 100% | 201.3 MiB/s |  14.9 MiB |  00m00s
[106/189] Installing zstd-0:1.5.7-5.fc4 100% |  26.0 MiB/s | 506.0 KiB |  00m00s
[107/189] Installing libxml2-0:2.12.10- 100% |  84.3 MiB/s |   1.8 MiB |  00m00s
[108/189] Installing libusb1-0:1.0.29-5 100% |  21.6 MiB/s | 176.9 KiB |  00m00s
>>> Running sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.x86_64
>>> Finished sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.x86_64
>>> Scriptlet output:
>>> Creating group 'tss' with GID 59.
>>> Creating user 'tss' (Account used for TPM access) with UID 59 and GID 59.
>>> 
[109/189] Installing tpm2-tss-0:4.1.3-9 100% | 272.2 MiB/s |   1.6 MiB |  00m00s
[110/189] Installing ima-evm-utils-libs 100% |  60.5 MiB/s |  61.9 KiB |  00m00s
[111/189] Installing gnupg2-gpg-agent-0 100% |  26.8 MiB/s | 686.5 KiB |  00m00s
[112/189] Installing nettle-0:3.10.1-3. 100% | 259.6 MiB/s | 797.4 KiB |  00m00s
[113/189] Installing gnutls-0:3.8.12-1. 100% | 373.6 MiB/s |   3.7 MiB |  00m00s
[114/189] Installing bzip2-0:1.0.8-23.f 100% |   5.7 MiB/s |  99.5 KiB |  00m00s
[115/189] Installing add-determinism-0: 100% |  99.2 MiB/s |   2.2 MiB |  00m00s
[116/189] Installing build-reproducibil 100% |   0.0   B/s |   1.5 KiB |  00m00s
[117/189] Installing cpio-0:2.15-9.fc44 100% |  55.2 MiB/s |   1.1 MiB |  00m00s
[118/189] Installing ed-0:1.22.5-2.fc45 100% |   8.7 MiB/s | 152.0 KiB |  00m00s
[119/189] Installing patch-0:2.8-4.fc44 100% |  13.1 MiB/s | 228.1 KiB |  00m00s
[120/189] Installing lz4-libs-0:1.10.0- 100% | 154.6 MiB/s | 158.4 KiB |  00m00s
[121/189] Installing libarchive-0:3.8.6 100% | 324.6 MiB/s | 997.2 KiB |  00m00s
[122/189] Installing libgomp-0:16.0.1-0 100% | 282.5 MiB/s | 578.6 KiB |  00m00s
[123/189] Installing libtool-ltdl-0:2.5 100% |  69.5 MiB/s |  71.1 KiB |  00m00s
[124/189] Installing gdbm-libs-1:1.23-1 100% | 128.3 MiB/s | 131.3 KiB |  00m00s
[125/189] Installing cyrus-sasl-lib-0:2 100% | 105.0 MiB/s |   2.3 MiB |  00m00s
[126/189] Installing openldap-0:2.6.13- 100% | 219.3 MiB/s | 673.7 KiB |  00m00s
[127/189] Installing gnupg2-dirmngr-0:2 100% |  25.9 MiB/s | 636.6 KiB |  00m00s
[128/189] Installing gnupg2-0:2.4.9-5.f 100% | 191.4 MiB/s |   6.5 MiB |  00m00s
[129/189] Installing rpm-sign-libs-0:6. 100% |  39.4 MiB/s |  40.3 KiB |  00m00s
[130/189] Installing gpgverify-0:2.2-4. 100% |   0.0   B/s |   9.4 KiB |  00m00s
[131/189] Installing jansson-0:2.14-4.f 100% |  88.2 MiB/s |  90.3 KiB |  00m00s
[132/189] Installing libpkgconf-0:2.5.1 100% |  89.1 MiB/s |  91.3 KiB |  00m00s
[133/189] Installing pkgconf-0:2.5.1-1. 100% |   5.2 MiB/s |  95.2 KiB |  00m00s
[134/189] Installing pkgconf-pkg-config 100% | 104.3 KiB/s |   1.8 KiB |  00m00s
[135/189] Installing xxhash-libs-0:0.8. 100% |  93.2 MiB/s |  95.4 KiB |  00m00s
[136/189] Installing libbrotli-0:1.2.0- 100% | 282.3 MiB/s | 867.3 KiB |  00m00s
[137/189] Installing libnghttp2-0:1.68. 100% | 163.4 MiB/s | 167.3 KiB |  00m00s
[138/189] Installing libnghttp3-0:1.15. 100% | 156.8 MiB/s | 160.6 KiB |  00m00s
[139/189] Installing keyutils-libs-0:1. 100% |  54.3 MiB/s |  55.6 KiB |  00m00s
[140/189] Installing libcom_err-0:1.47. 100% |  62.5 MiB/s |  64.0 KiB |  00m00s
[141/189] Installing libverto-0:0.3.2-1 100% |  26.4 MiB/s |  27.1 KiB |  00m00s
[142/189] Installing krb5-libs-0:1.22.2 100% | 299.8 MiB/s |   2.4 MiB |  00m00s
[143/189] Installing libcbor-0:0.13.0-2 100% |  79.0 MiB/s |  80.9 KiB |  00m00s
[144/189] Installing libfido2-0:1.16.0- 100% | 242.1 MiB/s | 247.9 KiB |  00m00s
[145/189] Installing libssh-0:0.12.0-1. 100% | 234.8 MiB/s | 721.2 KiB |  00m00s
[146/189] Installing libcurl-0:8.20.0~r 100% | 340.7 MiB/s |   1.0 MiB |  00m00s
[147/189] Installing curl-0:8.20.0~rc1- 100% |  19.0 MiB/s | 485.3 KiB |  00m00s
[148/189] Installing rpm-0:6.0.1-5.fc45 100% |  68.9 MiB/s |   2.6 MiB |  00m00s
[149/189] Installing cmake-srpm-macros- 100% |   0.0   B/s | 804.0   B |  00m00s
[150/189] Installing efi-srpm-macros-0: 100% |   0.0   B/s |  41.2 KiB |  00m00s
[151/189] Installing java-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[152/189] Installing lua-srpm-macros-0: 100% |   0.0   B/s |   1.9 KiB |  00m00s
[153/189] Installing tree-sitter-srpm-m 100% |   0.0   B/s |   9.3 KiB |  00m00s
[154/189] Installing zig-srpm-macros-0: 100% |   0.0   B/s |   1.9 KiB |  00m00s
[155/189] Installing filesystem-srpm-ma 100% |   0.0   B/s |  38.9 KiB |  00m00s
[156/189] Installing elfutils-default-y 100% | 510.7 KiB/s |   2.0 KiB |  00m00s
[157/189] Installing elfutils-libs-0:0. 100% | 233.4 MiB/s | 717.1 KiB |  00m00s
[158/189] Installing elfutils-debuginfo 100% |   4.4 MiB/s |  86.0 KiB |  00m00s
[159/189] Installing elfutils-0:0.194-5 100% | 118.4 MiB/s |   3.0 MiB |  00m00s
[160/189] Installing binutils-0:2.46.50 100% | 328.8 MiB/s |  28.3 MiB |  00m00s
[161/189] Installing gdb-minimal-0:17.1 100% | 273.0 MiB/s |  14.2 MiB |  00m00s
[162/189] Installing debugedit-0:5.3-2. 100% |  12.2 MiB/s | 224.1 KiB |  00m00s
[163/189] Installing rpm-build-libs-0:6 100% |  45.1 MiB/s | 277.2 KiB |  00m00s
[164/189] Installing rust-srpm-macros-0 100% |   0.0   B/s |   6.4 KiB |  00m00s
[165/189] Installing qt6-srpm-macros-0: 100% |   0.0   B/s | 748.0   B |  00m00s
[166/189] Installing qt5-srpm-macros-0: 100% |   0.0   B/s | 776.0   B |  00m00s
[167/189] Installing perl-srpm-macros-0 100% |   0.0   B/s |   1.1 KiB |  00m00s
[168/189] Installing package-notes-srpm 100% |   0.0   B/s |   2.1 KiB |  00m00s
[169/189] Installing openblas-srpm-macr 100% |   0.0   B/s | 392.0   B |  00m00s
[170/189] Installing ocaml-srpm-macros- 100% |   0.0   B/s |   2.1 KiB |  00m00s
[171/189] Installing kernel-srpm-macros 100% |   0.0   B/s |   2.3 KiB |  00m00s
[172/189] Installing gnat-srpm-macros-0 100% |   0.0   B/s |   1.3 KiB |  00m00s
[173/189] Installing ghc-srpm-macros-0: 100% |   0.0   B/s |   1.0 KiB |  00m00s
[174/189] Installing gap-srpm-macros-0: 100% |   0.0   B/s |   2.7 KiB |  00m00s
[175/189] Installing fpc-srpm-macros-0: 100% |   0.0   B/s | 420.0   B |  00m00s
[176/189] Installing ansible-srpm-macro 100% |   0.0   B/s |  36.2 KiB |  00m00s
[177/189] Installing redhat-rpm-config- 100% |  92.7 MiB/s | 189.9 KiB |  00m00s
[178/189] Installing forge-srpm-macros- 100% |  39.3 MiB/s |  40.3 KiB |  00m00s
[179/189] Installing rpm-build-0:6.0.1- 100% |  15.6 MiB/s | 303.7 KiB |  00m00s
[180/189] Installing erlang-srpm-macros 100% |   0.0   B/s |   2.5 KiB |  00m00s
[181/189] Installing pyproject-srpm-mac 100% |   0.0   B/s |   2.5 KiB |  00m00s
[182/189] Installing fonts-srpm-macros- 100% |   0.0   B/s |  57.0 KiB |  00m00s
[183/189] Installing go-srpm-macros-0:3 100% |   0.0   B/s |  63.0 KiB |  00m00s
[184/189] Installing R-srpm-macros-0:1. 100% |   0.0   B/s |   4.4 KiB |  00m00s
[185/189] Installing python-srpm-macros 100% |   0.0   B/s |  52.9 KiB |  00m00s
[186/189] Installing rpm-plugin-selinux 100% |   0.0   B/s |  12.9 KiB |  00m00s
[187/189] Installing which-0:2.23-4.fc4 100% |   4.6 MiB/s |  85.6 KiB |  00m00s
[188/189] Installing shadow-utils-2:4.1 100% | 121.9 MiB/s |   4.0 MiB |  00m00s
[189/189] Installing info-0:7.3-1.fc45. 100% |  59.3 KiB/s | 372.8 KiB |  00m06s
Complete!
Finish: installing minimal buildroot with dnf5
Start: creating root cache
Finish: creating root cache
Finish: chroot init
INFO: Installed packages:
INFO: R-srpm-macros-1.3.7-1.fc45.noarch
add-determinism-0.7.3-2.fc45.x86_64
alternatives-1.33-5.fc44.x86_64
ansible-srpm-macros-1-20.1.fc44.noarch
audit-libs-4.1.4-1.fc45.x86_64
bash-5.3.9-3.fc44.x86_64
binutils-2.46.50-7.fc45.x86_64
build-reproducibility-srpm-macros-0.7.3-2.fc45.noarch
bzip2-1.0.8-23.fc44.x86_64
bzip2-libs-1.0.8-23.fc44.x86_64
ca-certificates-2025.2.80_v9.0.304-7.fc45.noarch
cmake-srpm-macros-4.3.0-1.fc45.noarch
coreutils-9.10-3.fc45.x86_64
coreutils-common-9.10-3.fc45.x86_64
cpio-2.15-9.fc44.x86_64
crypto-policies-20251128-3.git19878fe.fc44.noarch
curl-8.20.0~rc1-1.fc45.x86_64
cyrus-sasl-lib-2.1.28-35.fc44.x86_64
debugedit-5.3-2.fc45.x86_64
diffutils-3.12-5.fc44.x86_64
dwz-0.16-3.fc44.x86_64
ed-1.22.5-2.fc45.x86_64
efi-srpm-macros-6-6.fc44.noarch
elfutils-0.194-5.fc45.x86_64
elfutils-debuginfod-client-0.194-5.fc45.x86_64
elfutils-default-yama-scope-0.194-5.fc45.noarch
elfutils-libelf-0.194-5.fc45.x86_64
elfutils-libs-0.194-5.fc45.x86_64
erlang-srpm-macros-0.3.11-1.fc45.noarch
fedora-gpg-keys-45-0.1.noarch
fedora-release-45-0.5.noarch
fedora-release-common-45-0.5.noarch
fedora-release-identity-basic-45-0.5.noarch
fedora-repos-45-0.1.noarch
fedora-repos-rawhide-45-0.1.noarch
file-5.47-1.fc45.x86_64
file-libs-5.47-1.fc45.x86_64
filesystem-3.18-56.fc45.x86_64
filesystem-srpm-macros-3.18-56.fc45.noarch
findutils-4.10.0-7.fc44.x86_64
fonts-srpm-macros-5.0.0-3.fc45.noarch
forge-srpm-macros-0.4.0-4.fc44.noarch
fpc-srpm-macros-1.3-16.fc44.noarch
gap-srpm-macros-2-2.fc44.noarch
gawk-5.4.0-2.fc45.x86_64
gdb-minimal-17.1-5.fc45.x86_64
gdbm-libs-1.23-11.fc44.x86_64
ghc-srpm-macros-1.10-1.fc44.noarch
glibc-2.43.9000-8.fc45.x86_64
glibc-common-2.43.9000-8.fc45.x86_64
glibc-gconv-extra-2.43.9000-8.fc45.x86_64
glibc-minimal-langpack-2.43.9000-8.fc45.x86_64
gmp-6.3.0-5.fc44.x86_64
gnat-srpm-macros-7-2.fc44.noarch
gnulib-l10n-20241231-2.fc44.noarch
gnupg2-2.4.9-5.fc44.x86_64
gnupg2-dirmngr-2.4.9-5.fc44.x86_64
gnupg2-gpg-agent-2.4.9-5.fc44.x86_64
gnupg2-gpgconf-2.4.9-5.fc44.x86_64
gnupg2-keyboxd-2.4.9-5.fc44.x86_64
gnupg2-verify-2.4.9-5.fc44.x86_64
gnutls-3.8.12-1.fc45.x86_64
go-srpm-macros-3.8.0-2.fc44.noarch
gpg-pubkey-36f612dcf27f7d1a48a835e4dbfcf71c6d9f90a6-6786af3b
gpg-pubkey-4f50a6114cd5c6976a7f1179655a4b02f577861e-6888bc98
gpg-pubkey-d924b10d3e810dabdd8b56b596e7e91491211fce-697c9899
gpgverify-2.2-4.fc44.noarch
grep-3.12-3.fc44.x86_64
gzip-1.14-2.fc44.x86_64
ima-evm-utils-libs-1.6.2-10.fc45.x86_64
info-7.3-1.fc45.x86_64
jansson-2.14-4.fc44.x86_64
java-srpm-macros-1-8.fc44.noarch
json-c-0.18-8.fc44.x86_64
kernel-srpm-macros-1.0-29.fc45.noarch
keyutils-libs-1.6.3-7.fc44.x86_64
krb5-libs-1.22.2-4.fc45.x86_64
libacl-2.3.2-6.fc44.x86_64
libarchive-3.8.6-1.fc45.x86_64
libassuan-2.5.7-5.fc44.x86_64
libattr-2.5.2-8.fc44.x86_64
libblkid-2.42-7.fc45.x86_64
libbrotli-1.2.0-3.fc44.x86_64
libcap-2.78-1.fc45.x86_64
libcap-ng-0.9.3-1.fc45.x86_64
libcbor-0.13.0-2.fc44.x86_64
libcom_err-1.47.4-1.fc45.x86_64
libcurl-8.20.0~rc1-1.fc45.x86_64
libeconf-0.7.9-3.fc44.x86_64
libevent-2.1.12-17.fc44.x86_64
libfdisk-2.42-7.fc45.x86_64
libffi-3.5.2-2.fc44.x86_64
libfido2-1.16.0-5.fc44.x86_64
libfsverity-1.7-1.fc45.x86_64
libgcc-16.0.1-0.10.fc45.x86_64
libgcrypt-1.12.1-1.fc45.x86_64
libgomp-16.0.1-0.10.fc45.x86_64
libgpg-error-1.59-1.fc45.x86_64
libidn2-2.3.8-3.fc44.x86_64
libksba-1.6.8-1.fc45.x86_64
liblastlog2-2.42-7.fc45.x86_64
libmount-2.42-7.fc45.x86_64
libnghttp2-1.68.1-1.fc45.x86_64
libnghttp3-1.15.0-1.fc44.x86_64
libpkgconf-2.5.1-1.fc45.x86_64
libpsl-0.21.5-7.fc44.x86_64
libselinux-3.10-1.fc44.x86_64
libselinux-utils-3.10-1.fc44.x86_64
libsemanage-3.10-1.fc44.x86_64
libsepol-3.10-1.fc44.x86_64
libsmartcols-2.42-7.fc45.x86_64
libssh-0.12.0-1.fc45.x86_64
libssh-config-0.12.0-1.fc45.noarch
libstdc++-16.0.1-0.10.fc45.x86_64
libtasn1-4.21.0-1.fc45.x86_64
libtool-ltdl-2.5.4-10.fc44.x86_64
libunistring-1.1-11.fc44.x86_64
libusb1-1.0.29-5.fc44.x86_64
libuuid-2.42-7.fc45.x86_64
libverto-0.3.2-12.fc44.x86_64
libxcrypt-4.5.2-3.fc44.x86_64
libxml2-2.12.10-6.fc44.x86_64
libzstd-1.5.7-5.fc44.x86_64
linkdupes-0.7.3-2.fc45.x86_64
lua-libs-5.5.0-1.fc45.x86_64
lua-srpm-macros-1-17.fc44.noarch
lz4-libs-1.10.0-4.fc44.x86_64
mpfr-4.2.2-3.fc44.x86_64
ncurses-base-6.6-1.fc44.noarch
ncurses-libs-6.6-1.fc44.x86_64
nettle-3.10.1-3.fc44.x86_64
ngtcp2-1.21.0-1.fc45.x86_64
ngtcp2-crypto-ossl-1.21.0-1.fc45.x86_64
npth-1.8-4.fc44.x86_64
ocaml-srpm-macros-11-3.fc44.noarch
openblas-srpm-macros-2-21.fc44.noarch
openldap-2.6.13-1.fc45.x86_64
openssl-libs-3.5.5-1.fc44.x86_64
p11-kit-0.26.2-1.fc45.x86_64
p11-kit-trust-0.26.2-1.fc45.x86_64
package-notes-srpm-macros-0.17-3.fc45.noarch
pam-libs-1.7.2-1.fc44.x86_64
patch-2.8-4.fc44.x86_64
pcre2-10.47-1.fc44.1.x86_64
pcre2-syntax-10.47-1.fc44.1.noarch
perl-srpm-macros-1-61.fc44.noarch
pkgconf-2.5.1-1.fc45.x86_64
pkgconf-m4-2.5.1-1.fc45.noarch
pkgconf-pkg-config-2.5.1-1.fc45.x86_64
policycoreutils-3.10-3.fc45.x86_64
popt-1.19-10.fc44.x86_64
publicsuffix-list-dafsa-20260116-1.fc44.noarch
pyproject-srpm-macros-1.19.0-1.fc45.noarch
python-srpm-macros-3.14-12.fc45.noarch
qt5-srpm-macros-5.15.18-2.fc44.noarch
qt6-srpm-macros-6.10.3-1.fc45.noarch
readline-8.3-4.fc44.x86_64
redhat-rpm-config-344-1.fc45.noarch
redhat-systemd-presets-102-1.fc45.noarch
redhat-systemd-presets-common-102-1.fc45.noarch
rpm-6.0.1-5.fc45.x86_64
rpm-build-6.0.1-5.fc45.x86_64
rpm-build-libs-6.0.1-5.fc45.x86_64
rpm-libs-6.0.1-5.fc45.x86_64
rpm-plugin-selinux-6.0.1-5.fc45.x86_64
rpm-sequoia-1.10.1-1.fc45.x86_64
rpm-sign-libs-6.0.1-5.fc45.x86_64
rust-srpm-macros-28.4-3.fc44.noarch
sed-4.9-8.fc45.x86_64
selinux-policy-43.6-1.fc45.noarch
selinux-policy-targeted-43.6-1.fc45.noarch
setup-2.15.0-29.fc45.noarch
shadow-utils-4.19.3-1.fc45.x86_64
sqlite-libs-3.52.0-1.fc45.x86_64
systemd-libs-260.1-2.fc45.x86_64
systemd-standalone-sysusers-260.1-2.fc45.x86_64
tar-1.35-8.fc44.x86_64
tpm2-tss-4.1.3-9.fc44.x86_64
tree-sitter-srpm-macros-0.4.2-2.fc44.noarch
unzip-6.0-69.fc44.x86_64
util-linux-2.42-7.fc45.x86_64
util-linux-core-2.42-7.fc45.x86_64
which-2.23-4.fc44.x86_64
xxhash-libs-0.8.3-4.fc44.x86_64
xz-5.8.3-1.fc45.x86_64
xz-libs-5.8.3-1.fc45.x86_64
zig-srpm-macros-1-8.fc44.noarch
zip-3.0-45.fc44.x86_64
zlib-ng-compat-2.3.3-5.fc45.x86_64
zstd-1.5.7-5.fc44.x86_64
Start: buildsrpm
Start: rpmbuild -bs
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1775779200
Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.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-1775862948.024037/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-a69ahvdn/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 23 seconds
INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results
INFO: Cleaning up build root ('cleanup_on_success=True')
Start: clean chroot
INFO: unmounting tmpfs.
Finish: clean chroot
INFO: Start(/var/lib/copr-rpmbuild/results/gappalib-coq-1.8.0-2.fc45.src.rpm)  Config(fedora-rawhide-x86_64)
Start(bootstrap): chroot init
INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1775862948.024037/root.
INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1775862948.024037/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-1775862948.024037/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-6.0.1-5.fc45.x86_64
  rpm-sequoia-1.10.1-1.fc45.x86_64
  dnf5-5.4.0.0-6.fc45.x86_64
  dnf5-plugins-5.4.0.0-6.fc45.x86_64
Finish: chroot init
Start: build phase for gappalib-coq-1.8.0-2.fc45.src.rpm
Start: build setup for gappalib-coq-1.8.0-2.fc45.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1775779200
Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm
Updating and loading repositories:
 fedora                                 100% | 160.4 KiB/s |  23.4 KiB |  00m00s
 Copr repository                        100% |  14.5 KiB/s |   1.5 KiB |  00m00s
Repositories loaded.
Package                    Arch   Version                            Repository      Size
Installing:
 autoconf                  noarch 0:2.72-10.fc44                     fedora       2.8 MiB
 coq-core-compat           x86_64 0:9.2.0-1.fc45                     copr_base   39.2 MiB
 flocq                     x86_64 0:4.2.2-2.fc45                     copr_base   31.9 MiB
 gappa                     x86_64 0:1.7.0-1.fc45                     fedora     773.1 KiB
 gcc-c++                   x86_64 0:16.0.1-0.10.fc45                 fedora      46.3 MiB
 ocaml                     x86_64 0:5.4.1-4.fc45                     fedora     174.6 MiB
 ocaml-findlib             x86_64 0:1.9.8-8.fc45                     fedora       3.5 MiB
 ocaml-zarith-devel        x86_64 0:1.14-12.fc45                     fedora       1.1 MiB
 remake                    x86_64 0:0.16-5.fc44                      fedora     140.1 KiB
 rocq                      x86_64 0:9.2.0-1.fc45                     copr_base    0.0   B
Installing dependencies:
 annobin-docs              noarch 0:13.07-1.fc45                     fedora      99.2 KiB
 annobin-plugin-gcc        x86_64 0:13.07-1.fc45                     fedora     697.1 KiB
 cmake-filesystem          x86_64 0:4.3.0-1.fc45                     fedora       0.0   B
 cpp                       x86_64 0:16.0.1-0.10.fc45                 fedora      42.1 MiB
 csdp                      x86_64 0:6.2.0-37.20181018git0dcf187.fc44 fedora     452.1 KiB
 csdp-tools                x86_64 0:6.2.0-37.20181018git0dcf187.fc44 fedora      61.7 KiB
 emacs-filesystem          x86_64 1:30.2-2.fc44                      fedora       0.0   B
 expat                     x86_64 0:2.7.5-1.fc45                     fedora     322.9 KiB
 flexiblas                 x86_64 0:3.5.0-2.fc44                     fedora      38.0 KiB
 flexiblas-netlib          x86_64 0:3.5.0-2.fc44                     fedora      16.3 MiB
 flexiblas-openblas-openmp x86_64 0:3.5.0-2.fc44                     fedora      39.1 KiB
 gcc                       x86_64 0:16.0.1-0.10.fc45                 fedora     120.6 MiB
 gcc-plugin-annobin        x86_64 0:16.0.1-0.10.fc45                 fedora      57.2 KiB
 gettext                   x86_64 0:1.0-1.fc45                       fedora      17.8 MiB
 gettext-common-devel      noarch 0:1.0-1.fc45                       fedora     596.2 KiB
 gettext-devel             x86_64 0:1.0-1.fc45                       fedora       1.4 MiB
 gettext-envsubst          x86_64 0:1.0-1.fc45                       fedora      74.6 KiB
 gettext-libs              x86_64 0:1.0-1.fc45                       fedora       2.3 MiB
 gettext-runtime           x86_64 0:1.0-1.fc45                       fedora     716.0 KiB
 glibc-devel               x86_64 0:2.43.9000-8.fc45                 fedora       2.3 MiB
 gmp-c++                   x86_64 1:6.3.0-5.fc44                     fedora      31.5 KiB
 gmp-devel                 x86_64 1:6.3.0-5.fc44                     fedora     352.3 KiB
 groff-base                x86_64 0:1.24.0-1.fc45                    fedora       4.2 MiB
 kernel-headers            x86_64 0:7.0.0-0.rc7.55.fc45              fedora       6.9 MiB
 libatomic                 x86_64 0:16.0.1-0.10.fc45                 fedora      45.5 KiB
 libgfortran               x86_64 0:16.0.1-0.10.fc45                 fedora       3.4 MiB
 libmpc                    x86_64 0:1.4.0-1.fc45                     fedora     169.2 KiB
 libquadmath               x86_64 0:16.0.1-0.10.fc45                 fedora     325.9 KiB
 libstdc++-devel           x86_64 0:16.0.1-0.10.fc45                 fedora      38.8 MiB
 libtextstyle              x86_64 0:1.0-1.fc45                       fedora     211.4 KiB
 libxcrypt-devel           x86_64 0:4.5.2-3.fc44                     fedora      31.0 KiB
 libzstd-devel             x86_64 0:1.5.7-5.fc44                     fedora     217.6 KiB
 m4                        x86_64 0:1.4.21-1.fc45                    fedora     881.1 KiB
 make                      x86_64 1:4.4.1-12.fc44                    fedora       1.8 MiB
 mpdecimal                 x86_64 0:4.0.1-3.fc44                     fedora     217.1 KiB
 ncurses                   x86_64 0:6.6-1.fc44                       fedora     611.4 KiB
 ocaml-compiler-libs       x86_64 0:5.4.1-4.fc45                     fedora     114.5 MiB
 ocaml-runtime             x86_64 0:5.4.1-4.fc45                     fedora       4.6 MiB
 ocaml-zarith              x86_64 0:1.14-12.fc45                     fedora     375.6 KiB
 openblas                  x86_64 0:0.3.29-2.fc43                    fedora     111.7 KiB
 openblas-openmp           x86_64 0:0.3.29-2.fc43                    fedora      43.7 MiB
 perl-AutoLoader           noarch 0:5.74-524.fc45                    fedora      20.6 KiB
 perl-B                    x86_64 0:1.89-524.fc45                    fedora     501.2 KiB
 perl-Carp                 noarch 0:1.54-521.fc44                    fedora      46.6 KiB
 perl-Class-Struct         noarch 0:0.68-524.fc45                    fedora      25.4 KiB
 perl-Data-Dumper          x86_64 0:2.191-522.fc44                   fedora     115.5 KiB
 perl-Digest               noarch 0:1.20-521.fc44                    fedora      35.3 KiB
 perl-Digest-MD5           x86_64 0:2.59-521.fc44                    fedora      59.6 KiB
 perl-DynaLoader           x86_64 0:1.57-524.fc45                    fedora      32.1 KiB
 perl-Encode               x86_64 4:3.21-521.fc44                    fedora       4.7 MiB
 perl-Errno                x86_64 0:1.38-524.fc45                    fedora       8.4 KiB
 perl-Exporter             noarch 0:5.79-521.fc44                    fedora      54.3 KiB
 perl-Fcntl                x86_64 0:1.20-524.fc45                    fedora      48.7 KiB
 perl-File-Basename        noarch 0:2.86-524.fc45                    fedora      14.0 KiB
 perl-File-Compare         noarch 0:1.100.800-524.fc45               fedora       5.6 KiB
 perl-File-Copy            noarch 0:2.41-524.fc45                    fedora      19.7 KiB
 perl-File-Find            noarch 0:1.44-524.fc45                    fedora      42.0 KiB
 perl-File-Path            noarch 0:2.18-522.fc44                    fedora      63.5 KiB
 perl-File-Temp            noarch 1:0.231.200-2.fc44                 fedora     163.7 KiB
 perl-File-stat            noarch 0:1.14-524.fc45                    fedora      12.5 KiB
 perl-FileHandle           noarch 0:2.05-524.fc45                    fedora       9.4 KiB
 perl-Getopt-Long          noarch 1:2.58-521.fc44                    fedora     144.5 KiB
 perl-Getopt-Std           noarch 0:1.14-524.fc45                    fedora      11.2 KiB
 perl-HTTP-Tiny            noarch 0:0.092-2.fc44                     fedora     157.6 KiB
 perl-IO                   x86_64 0:1.55-524.fc45                    fedora     147.3 KiB
 perl-IO-Socket-IP         noarch 0:0.43-522.fc44                    fedora     100.3 KiB
 perl-IO-Socket-SSL        noarch 0:2.098-2.fc44                     fedora     723.5 KiB
 perl-IPC-Open3            noarch 0:1.24-524.fc45                    fedora      27.7 KiB
 perl-MIME-Base32          noarch 0:1.303-25.fc44                    fedora      30.7 KiB
 perl-MIME-Base64          x86_64 0:3.16-521.fc44                    fedora      41.9 KiB
 perl-Net-SSLeay           x86_64 0:1.96-1.fc45                      fedora       1.3 MiB
 perl-POSIX                x86_64 0:2.23-524.fc45                    fedora     229.4 KiB
 perl-PathTools            x86_64 0:3.94-521.fc44                    fedora     179.9 KiB
 perl-Pod-Escapes          noarch 1:1.07-521.fc44                    fedora      24.9 KiB
 perl-Pod-Perldoc          noarch 0:3.28.01-522.fc44                 fedora     163.7 KiB
 perl-Pod-Simple           noarch 1:3.47-4.fc44                      fedora     565.3 KiB
 perl-Pod-Usage            noarch 4:2.05-521.fc44                    fedora      86.3 KiB
 perl-Scalar-List-Utils    x86_64 5:1.70-2.fc44                      fedora     144.8 KiB
 perl-SelectSaver          noarch 0:1.02-524.fc45                    fedora       2.2 KiB
 perl-Socket               x86_64 4:2.040-3.fc44                     fedora     120.1 KiB
 perl-Storable             x86_64 1:3.37-522.fc44                    fedora     235.1 KiB
 perl-Symbol               noarch 0:1.09-524.fc45                    fedora       6.8 KiB
 perl-Term-ANSIColor       noarch 0:5.01-522.fc44                    fedora      97.5 KiB
 perl-Term-Cap             noarch 0:1.18-521.fc44                    fedora      29.3 KiB
 perl-Text-ParseWords      noarch 0:3.31-521.fc44                    fedora      13.6 KiB
 perl-Text-Tabs+Wrap       noarch 0:2024.001-521.fc44                fedora      22.6 KiB
 perl-Time-HiRes           x86_64 4:1.9778-521.fc44                  fedora     115.6 KiB
 perl-Time-Local           noarch 2:1.350-521.fc44                   fedora      69.0 KiB
 perl-URI                  noarch 0:5.34-3.fc44                      fedora     268.0 KiB
 perl-base                 noarch 0:2.27-524.fc45                    fedora      12.6 KiB
 perl-constant             noarch 0:1.33-522.fc44                    fedora      26.2 KiB
 perl-if                   noarch 0:0.61.000-524.fc45                fedora       5.8 KiB
 perl-interpreter          x86_64 4:5.42.2-524.fc45                  fedora     118.7 KiB
 perl-libnet               noarch 0:3.15-522.fc44                    fedora     289.4 KiB
 perl-libs                 x86_64 4:5.42.2-524.fc45                  fedora      11.6 MiB
 perl-locale               noarch 0:1.13-524.fc45                    fedora       6.1 KiB
 perl-mro                  x86_64 0:1.29-524.fc45                    fedora      41.4 KiB
 perl-overload             noarch 0:1.40-524.fc45                    fedora      71.6 KiB
 perl-overloading          noarch 0:0.02-524.fc45                    fedora       4.9 KiB
 perl-parent               noarch 1:0.244-521.fc44                   fedora      10.3 KiB
 perl-podlators            noarch 1:6.0.2-521.fc44                   fedora     317.5 KiB
 perl-vars                 noarch 0:1.05-524.fc45                    fedora       3.9 KiB
 python-pip-wheel          noarch 0:26.0.1-2.fc45                    fedora       1.2 MiB
 python3                   x86_64 0:3.14.3-2.fc45                    fedora      28.7 KiB
 python3-libs              x86_64 0:3.14.3-2.fc45                    fedora      43.7 MiB
 rocq-core                 x86_64 0:9.2.0-1.fc45                     copr_base   22.1 MiB
 rocq-runtime              x86_64 0:9.2.0-1.fc45                     copr_base  325.3 MiB
 rocq-stdlib               x86_64 0:9.1.0-2.fc45                     copr_base  152.0 MiB
 tzdata                    noarch 0:2026a-1.fc45                     fedora       1.2 MiB

Transaction Summary:
 Installing:       119 packages

Total size of inbound packages is 379 MiB. Need to download 379 MiB.
After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B).
[  1/119] autoconf-0:2.72-10.fc44.noarc 100% | 135.2 MiB/s | 830.9 KiB |  00m00s
[  2/119] gappa-0:1.7.0-1.fc45.x86_64   100% |   4.2 MiB/s | 300.0 KiB |  00m00s
[  3/119] ocaml-findlib-0:1.9.8-8.fc45. 100% |  59.1 MiB/s |   1.1 MiB |  00m00s
[  4/119] ocaml-zarith-devel-0:1.14-12. 100% |  26.8 MiB/s | 466.7 KiB |  00m00s
[  5/119] remake-0:0.16-5.fc44.x86_64   100% |   4.9 MiB/s |  70.6 KiB |  00m00s
[  6/119] ocaml-0:5.4.1-4.fc45.x86_64   100% | 196.8 MiB/s |  38.6 MiB |  00m00s
[  7/119] rocq-0:9.2.0-1.fc45.x86_64    100% |  31.0 KiB/s |   7.3 KiB |  00m00s
[  8/119] coq-core-compat-0:9.2.0-1.fc4 100% |  18.1 MiB/s |   7.3 MiB |  00m00s
[  9/119] gcc-c++-0:16.0.1-0.10.fc45.x8 100% | 232.5 MiB/s |  17.2 MiB |  00m00s
[ 10/119] emacs-filesystem-1:30.2-2.fc4 100% | 473.1 KiB/s |   8.0 KiB |  00m00s
[ 11/119] perl-Carp-0:1.54-521.fc44.noa 100% |  14.1 MiB/s |  28.8 KiB |  00m00s
[ 12/119] m4-0:1.4.21-1.fc45.x86_64     100% |  56.5 MiB/s | 347.4 KiB |  00m00s
[ 13/119] perl-Class-Struct-0:0.68-524. 100% |   7.2 MiB/s |  22.0 KiB |  00m00s
[ 14/119] perl-Errno-0:1.38-524.fc45.x8 100% |   7.2 MiB/s |  14.8 KiB |  00m00s
[ 15/119] perl-Data-Dumper-0:2.191-522. 100% |  18.4 MiB/s |  56.5 KiB |  00m00s
[ 16/119] perl-Exporter-0:5.79-521.fc44 100% |  15.0 MiB/s |  30.8 KiB |  00m00s
[ 17/119] perl-File-Basename-0:2.86-524 100% |   4.2 MiB/s |  17.0 KiB |  00m00s
[ 18/119] perl-File-Compare-0:1.100.800 100% |   6.4 MiB/s |  13.1 KiB |  00m00s
[ 19/119] perl-File-Copy-0:2.41-524.fc4 100% |   9.8 MiB/s |  20.0 KiB |  00m00s
[ 20/119] perl-File-Find-0:1.44-524.fc4 100% |  12.3 MiB/s |  25.2 KiB |  00m00s
[ 21/119] perl-File-stat-0:1.14-524.fc4 100% |   5.5 MiB/s |  16.9 KiB |  00m00s
[ 22/119] perl-File-Temp-1:0.231.200-2. 100% |  14.5 MiB/s |  59.6 KiB |  00m00s
[ 23/119] perl-Getopt-Long-1:2.58-521.f 100% |  20.7 MiB/s |  63.6 KiB |  00m00s
[ 24/119] perl-IO-0:1.55-524.fc45.x86_6 100% |  20.5 MiB/s |  83.9 KiB |  00m00s
[ 25/119] perl-POSIX-0:2.23-524.fc45.x8 100% |  23.7 MiB/s |  96.9 KiB |  00m00s
[ 26/119] perl-PathTools-0:3.94-521.fc4 100% |  42.6 MiB/s |  87.3 KiB |  00m00s
[ 27/119] perl-Text-ParseWords-0:3.31-5 100% |   8.0 MiB/s |  16.5 KiB |  00m00s
[ 28/119] perl-constant-0:1.33-522.fc44 100% |  11.2 MiB/s |  22.9 KiB |  00m00s
[ 29/119] perl-interpreter-4:5.42.2-524 100% |  35.4 MiB/s |  72.4 KiB |  00m00s
[ 30/119] gcc-0:16.0.1-0.10.fc45.x86_64 100% | 303.3 MiB/s |  43.1 MiB |  00m00s
[ 31/119] flocq-0:4.2.2-2.fc45.x86_64   100% |  13.6 MiB/s |   5.6 MiB |  00m00s
[ 32/119] libzstd-devel-0:1.5.7-5.fc44. 100% |   7.9 MiB/s |  56.3 KiB |  00m00s
[ 33/119] ocaml-runtime-0:5.4.1-4.fc45. 100% | 101.0 MiB/s |   2.3 MiB |  00m00s
[ 34/119] gmp-devel-1:6.3.0-5.fc44.x86_ 100% |  15.5 MiB/s | 174.4 KiB |  00m00s
[ 35/119] ocaml-zarith-0:1.14-12.fc45.x 100% |  31.1 MiB/s | 159.3 KiB |  00m00s
[ 36/119] csdp-tools-0:6.2.0-37.2018101 100% |  14.5 MiB/s |  29.7 KiB |  00m00s
[ 37/119] rocq-core-0:9.2.0-1.fc45.x86_ 100% |  11.2 MiB/s |   3.7 MiB |  00m00s
[ 38/119] ocaml-compiler-libs-0:5.4.1-4 100% | 210.7 MiB/s |  56.9 MiB |  00m00s
[ 39/119] libmpc-0:1.4.0-1.fc45.x86_64  100% |  18.5 MiB/s |  75.7 KiB |  00m00s
[ 40/119] perl-B-0:1.89-524.fc45.x86_64 100% |  58.3 MiB/s | 179.1 KiB |  00m00s
[ 41/119] perl-Scalar-List-Utils-5:1.70 100% |  24.5 MiB/s |  75.4 KiB |  00m00s
[ 42/119] perl-libs-4:5.42.2-524.fc45.x 100% | 198.5 MiB/s |   2.6 MiB |  00m00s
[ 43/119] perl-overload-0:1.40-524.fc45 100% |  14.8 MiB/s |  45.4 KiB |  00m00s
[ 44/119] perl-Fcntl-0:1.20-524.fc45.x8 100% |  14.5 MiB/s |  29.6 KiB |  00m00s
[ 45/119] perl-File-Path-0:2.18-522.fc4 100% |  11.5 MiB/s |  35.3 KiB |  00m00s
[ 46/119] perl-parent-1:0.244-521.fc44. 100% |  14.5 MiB/s |  14.9 KiB |  00m00s
[ 47/119] perl-Symbol-0:1.09-524.fc45.n 100% |   4.6 MiB/s |  14.1 KiB |  00m00s
[ 48/119] perl-Pod-Usage-4:2.05-521.fc4 100% |  19.9 MiB/s |  40.7 KiB |  00m00s
[ 49/119] perl-base-0:2.27-524.fc45.noa 100% |   2.0 MiB/s |  16.1 KiB |  00m00s
[ 50/119] perl-SelectSaver-0:1.02-524.f 100% |   3.8 MiB/s |  11.6 KiB |  00m00s
[ 51/119] perl-Socket-4:2.040-3.fc44.x8 100% |  13.5 MiB/s |  55.3 KiB |  00m00s
[ 52/119] perl-locale-0:1.13-524.fc45.n 100% |   3.3 MiB/s |  13.4 KiB |  00m00s
[ 53/119] cpp-0:16.0.1-0.10.fc45.x86_64 100% | 233.3 MiB/s |  14.5 MiB |  00m00s
[ 54/119] make-1:4.4.1-12.fc44.x86_64   100% | 143.7 MiB/s | 588.7 KiB |  00m00s
[ 55/119] cmake-filesystem-0:4.3.0-1.fc 100% |   7.3 MiB/s |  15.0 KiB |  00m00s
[ 56/119] gmp-c++-1:6.3.0-5.fc44.x86_64 100% |   6.3 MiB/s |  19.4 KiB |  00m00s
[ 57/119] csdp-0:6.2.0-37.20181018git0d 100% |  42.9 MiB/s | 307.4 KiB |  00m00s
[ 58/119] perl-if-0:0.61.000-524.fc45.n 100% |   6.8 MiB/s |  13.9 KiB |  00m00s
[ 59/119] perl-overloading-0:0.02-524.f 100% |   2.5 MiB/s |  12.8 KiB |  00m00s
[ 60/119] perl-DynaLoader-0:1.57-524.fc 100% |   4.2 MiB/s |  25.9 KiB |  00m00s
[ 61/119] perl-mro-0:1.29-524.fc45.x86_ 100% |   9.7 MiB/s |  29.7 KiB |  00m00s
[ 62/119] perl-vars-0:1.05-524.fc45.noa 100% |   3.1 MiB/s |  12.9 KiB |  00m00s
[ 63/119] perl-Pod-Perldoc-0:3.28.01-52 100% |  16.8 MiB/s |  86.1 KiB |  00m00s
[ 64/119] perl-podlators-1:6.0.2-521.fc 100% |  31.4 MiB/s | 128.5 KiB |  00m00s
[ 65/119] flexiblas-netlib-0:3.5.0-2.fc 100% |  38.4 MiB/s |   4.5 MiB |  00m00s
[ 66/119] groff-base-0:1.24.0-1.fc45.x8 100% | 136.5 MiB/s |   1.2 MiB |  00m00s
[ 67/119] perl-HTTP-Tiny-0:0.092-2.fc44 100% |  55.8 MiB/s |  57.2 KiB |  00m00s
[ 68/119] perl-IPC-Open3-0:1.24-524.fc4 100% |   7.8 MiB/s |  24.0 KiB |  00m00s
[ 69/119] perl-Pod-Simple-1:3.47-4.fc44 100% | 107.4 MiB/s | 220.0 KiB |  00m00s
[ 70/119] perl-Term-ANSIColor-0:5.01-52 100% |  15.5 MiB/s |  47.7 KiB |  00m00s
[ 71/119] perl-Term-Cap-0:1.18-521.fc44 100% |  10.7 MiB/s |  22.0 KiB |  00m00s
[ 72/119] flexiblas-0:3.5.0-2.fc44.x86_ 100% |  11.3 MiB/s |  23.1 KiB |  00m00s
[ 73/119] flexiblas-openblas-openmp-0:3 100% |   8.4 MiB/s |  17.2 KiB |  00m00s
[ 74/119] libgfortran-0:16.0.1-0.10.fc4 100% | 192.4 MiB/s | 985.1 KiB |  00m00s
[ 75/119] libquadmath-0:16.0.1-0.10.fc4 100% |  38.5 MiB/s | 197.1 KiB |  00m00s
[ 76/119] perl-IO-Socket-SSL-0:2.098-2. 100% |  45.8 MiB/s | 234.7 KiB |  00m00s
[ 77/119] perl-MIME-Base64-0:3.16-521.f 100% |  14.5 MiB/s |  29.8 KiB |  00m00s
[ 78/119] perl-Net-SSLeay-0:1.96-1.fc45 100% | 122.8 MiB/s | 377.1 KiB |  00m00s
[ 79/119] perl-Time-HiRes-4:1.9778-521. 100% |  27.9 MiB/s |  57.2 KiB |  00m00s
[ 80/119] perl-Time-Local-2:1.350-521.f 100% |  33.7 MiB/s |  34.5 KiB |  00m00s
[ 81/119] perl-Pod-Escapes-1:1.07-521.f 100% |  19.3 MiB/s |  19.8 KiB |  00m00s
[ 82/119] perl-Text-Tabs+Wrap-0:2024.00 100% |  10.6 MiB/s |  21.8 KiB |  00m00s
[ 83/119] ncurses-0:6.6-1.fc44.x86_64   100% | 104.9 MiB/s | 429.8 KiB |  00m00s
[ 84/119] openblas-openmp-0:0.3.29-2.fc 100% | 162.4 MiB/s |   5.4 MiB |  00m00s
[ 85/119] perl-IO-Socket-IP-0:0.43-522. 100% |  20.6 MiB/s |  42.2 KiB |  00m00s
[ 86/119] perl-URI-0:5.34-3.fc44.noarch 100% |  48.6 MiB/s | 149.2 KiB |  00m00s
[ 87/119] perl-AutoLoader-0:5.74-524.fc 100% |  10.3 MiB/s |  21.1 KiB |  00m00s
[ 88/119] perl-MIME-Base32-0:1.303-25.f 100% |   5.0 MiB/s |  20.5 KiB |  00m00s
[ 89/119] perl-libnet-0:3.15-522.fc44.n 100% |  41.8 MiB/s | 128.4 KiB |  00m00s
[ 90/119] perl-Digest-MD5-0:2.59-521.fc 100% |   8.8 MiB/s |  36.0 KiB |  00m00s
[ 91/119] perl-FileHandle-0:2.05-524.fc 100% |   3.8 MiB/s |  15.4 KiB |  00m00s
[ 92/119] perl-Digest-0:1.20-521.fc44.n 100% |  12.1 MiB/s |  24.9 KiB |  00m00s
[ 93/119] python3-0:3.14.3-2.fc45.x86_6 100% |  13.8 MiB/s |  28.4 KiB |  00m00s
[ 94/119] python3-libs-0:3.14.3-2.fc45. 100% | 265.8 MiB/s |  10.1 MiB |  00m00s
[ 95/119] expat-0:2.7.5-1.fc45.x86_64   100% |  41.7 MiB/s | 128.1 KiB |  00m00s
[ 96/119] mpdecimal-0:4.0.1-3.fc44.x86_ 100% |  48.4 MiB/s |  99.1 KiB |  00m00s
[ 97/119] python-pip-wheel-0:26.0.1-2.f 100% | 229.9 MiB/s |   1.1 MiB |  00m00s
[ 98/119] tzdata-0:2026a-1.fc45.noarch  100% |  99.5 MiB/s | 713.3 KiB |  00m00s
[ 99/119] perl-Encode-4:3.21-521.fc44.x 100% | 175.4 MiB/s |   1.1 MiB |  00m00s
[100/119] perl-Getopt-Std-0:1.14-524.fc 100% |   7.6 MiB/s |  15.6 KiB |  00m00s
[101/119] perl-Storable-1:3.37-522.fc44 100% |  49.3 MiB/s | 100.9 KiB |  00m00s
[102/119] openblas-0:0.3.29-2.fc43.x86_ 100% |  20.6 MiB/s |  42.3 KiB |  00m00s
[103/119] libstdc++-devel-0:16.0.1-0.10 100% | 252.9 MiB/s |   5.6 MiB |  00m00s
[104/119] glibc-devel-0:2.43.9000-8.fc4 100% | 102.6 MiB/s | 630.3 KiB |  00m00s
[105/119] libxcrypt-devel-0:4.5.2-3.fc4 100% |  14.7 MiB/s |  30.0 KiB |  00m00s
[106/119] libatomic-0:16.0.1-0.10.fc45. 100% |  22.1 MiB/s |  45.3 KiB |  00m00s
[107/119] gettext-devel-0:1.0-1.fc45.x8 100% |  73.1 MiB/s | 299.5 KiB |  00m00s
[108/119] gettext-0:1.0-1.fc45.x86_64   100% | 184.7 MiB/s |   2.0 MiB |  00m00s
[109/119] gettext-common-devel-0:1.0-1. 100% | 147.9 MiB/s | 605.7 KiB |  00m00s
[110/119] gettext-libs-0:1.0-1.fc45.x86 100% | 162.3 MiB/s | 831.1 KiB |  00m00s
[111/119] gettext-runtime-0:1.0-1.fc45. 100% |  43.8 MiB/s | 179.3 KiB |  00m00s
[112/119] libtextstyle-0:1.0-1.fc45.x86 100% |  47.2 MiB/s |  96.6 KiB |  00m00s
[113/119] gettext-envsubst-0:1.0-1.fc45 100% |  18.8 MiB/s |  38.5 KiB |  00m00s
[114/119] kernel-headers-0:7.0.0-0.rc7. 100% | 248.5 MiB/s |   1.7 MiB |  00m00s
[115/119] annobin-plugin-gcc-0:13.07-1. 100% | 133.6 MiB/s | 683.8 KiB |  00m00s
[116/119] gcc-plugin-annobin-0:16.0.1-0 100% |  23.8 MiB/s |  48.8 KiB |  00m00s
[117/119] annobin-docs-0:13.07-1.fc45.n 100% |  43.1 MiB/s |  88.3 KiB |  00m00s
[118/119] rocq-stdlib-0:9.1.0-2.fc45.x8 100% |  32.6 MiB/s |  35.6 MiB |  00m01s
[119/119] rocq-runtime-0:9.2.0-1.fc45.x 100% |  29.5 MiB/s | 104.9 MiB |  00m04s
--------------------------------------------------------------------------------
[119/119] Total                         100% |  89.7 MiB/s | 378.8 MiB |  00m04s
Running transaction
[  1/121] Verify package files          100% |  79.0   B/s | 119.0   B |  00m01s
[  2/121] Prepare transaction           100% |   1.5 KiB/s | 119.0   B |  00m00s
[  3/121] Installing ocaml-runtime-0:5. 100% | 148.1 MiB/s |   4.6 MiB |  00m00s
[  4/121] Installing libmpc-0:1.4.0-1.f 100% | 166.9 MiB/s | 170.9 KiB |  00m00s
[  5/121] Installing libtextstyle-0:1.0 100% | 207.1 MiB/s | 212.1 KiB |  00m00s
[  6/121] Installing gettext-libs-0:1.0 100% | 329.3 MiB/s |   2.3 MiB |  00m00s
[  7/121] Installing libgfortran-0:16.0 100% | 378.9 MiB/s |   3.4 MiB |  00m00s
[  8/121] Installing cpp-0:16.0.1-0.10. 100% | 342.2 MiB/s |  42.1 MiB |  00m00s
[  9/121] Installing annobin-docs-0:13. 100% |  32.7 MiB/s | 100.3 KiB |  00m00s
[ 10/121] Installing kernel-headers-0:7 100% | 221.0 MiB/s |   7.1 MiB |  00m00s
[ 11/121] Installing glibc-devel-0:2.43 100% | 184.0 MiB/s |   2.4 MiB |  00m00s
[ 12/121] Installing libxcrypt-devel-0: 100% |  32.5 MiB/s |  33.3 KiB |  00m00s
[ 13/121] Installing gettext-envsubst-0 100% |   4.4 MiB/s |  76.0 KiB |  00m00s
[ 14/121] Installing gettext-runtime-0: 100% |  35.5 MiB/s | 726.5 KiB |  00m00s
[ 15/121] Installing gettext-common-dev 100% | 582.5 MiB/s | 596.5 KiB |  00m00s
[ 16/121] Installing libatomic-0:16.0.1 100% |  22.8 MiB/s |  46.6 KiB |  00m00s
[ 17/121] Installing libstdc++-devel-0: 100% | 493.5 MiB/s |  39.0 MiB |  00m00s
[ 18/121] Installing openblas-0:0.3.29- 100% | 110.8 MiB/s | 113.5 KiB |  00m00s
[ 19/121] Installing openblas-openmp-0: 100% | 598.5 MiB/s |  43.7 MiB |  00m00s
[ 20/121] Installing tzdata-0:2026a-1.f 100% |  48.8 MiB/s |   1.5 MiB |  00m00s
[ 21/121] Installing python-pip-wheel-0 100% | 611.4 MiB/s |   1.2 MiB |  00m00s
[ 22/121] Installing mpdecimal-0:4.0.1- 100% | 213.5 MiB/s | 218.6 KiB |  00m00s
[ 23/121] Installing expat-0:2.7.5-1.fc 100% |  14.4 MiB/s | 325.0 KiB |  00m00s
[ 24/121] Installing python3-libs-0:3.1 100% | 361.7 MiB/s |  44.1 MiB |  00m00s
[ 25/121] Installing python3-0:3.14.3-2 100% |   1.8 MiB/s |  30.5 KiB |  00m00s
[ 26/121] Installing gettext-0:1.0-1.fc 100% | 370.9 MiB/s |  17.8 MiB |  00m00s
[ 27/121] Installing gettext-devel-0:1. 100% |  71.5 MiB/s |   1.4 MiB |  00m00s
[ 28/121] Installing ncurses-0:6.6-1.fc 100% |  33.5 MiB/s | 618.0 KiB |  00m00s
[ 29/121] Installing libquadmath-0:16.0 100% | 319.5 MiB/s | 327.2 KiB |  00m00s
[ 30/121] Installing flexiblas-netlib-0 100% | 308.1 MiB/s |  16.3 MiB |  00m00s
[ 31/121] Installing flexiblas-0:3.5.0- 100% |   0.0   B/s |  39.2 KiB |  00m00s
[ 32/121] Installing flexiblas-openblas 100% |   0.0   B/s |  39.9 KiB |  00m00s
[ 33/121] Installing csdp-0:6.2.0-37.20 100% | 443.1 MiB/s | 453.8 KiB |  00m00s
[ 34/121] Installing csdp-tools-0:6.2.0 100% |   2.6 MiB/s |  65.1 KiB |  00m00s
[ 35/121] Installing groff-base-0:1.24. 100% | 111.2 MiB/s |   4.2 MiB |  00m00s
[ 36/121] Installing perl-Digest-0:1.20 100% |  36.2 MiB/s |  37.1 KiB |  00m00s
[ 37/121] Installing perl-Digest-MD5-0: 100% |  60.0 MiB/s |  61.5 KiB |  00m00s
[ 38/121] Installing perl-FileHandle-0: 100% |   0.0   B/s |   9.8 KiB |  00m00s
[ 39/121] Installing perl-B-0:1.89-524. 100% | 246.4 MiB/s | 504.5 KiB |  00m00s
[ 40/121] Installing perl-libnet-0:3.15 100% | 143.9 MiB/s | 294.7 KiB |  00m00s
[ 41/121] Installing perl-MIME-Base32-0 100% |   0.0   B/s |  32.2 KiB |  00m00s
[ 42/121] Installing perl-Data-Dumper-0 100% | 114.7 MiB/s | 117.4 KiB |  00m00s
[ 43/121] Installing perl-URI-0:5.34-3. 100% |  91.7 MiB/s | 281.8 KiB |  00m00s
[ 44/121] Installing perl-AutoLoader-0: 100% |   0.0   B/s |  21.0 KiB |  00m00s
[ 45/121] Installing perl-IO-Socket-IP- 100% |  99.8 MiB/s | 102.2 KiB |  00m00s
[ 46/121] Installing perl-IO-Socket-SSL 100% | 236.9 MiB/s | 727.6 KiB |  00m00s
[ 47/121] Installing perl-Net-SSLeay-0: 100% | 271.7 MiB/s |   1.4 MiB |  00m00s
[ 48/121] Installing perl-Text-Tabs+Wra 100% |   0.0   B/s |  23.9 KiB |  00m00s
[ 49/121] Installing perl-Pod-Escapes-1 100% |   0.0   B/s |  25.9 KiB |  00m00s
[ 50/121] Installing perl-Time-Local-2: 100% |  68.9 MiB/s |  70.6 KiB |  00m00s
[ 51/121] Installing perl-Time-HiRes-4: 100% | 114.9 MiB/s | 117.7 KiB |  00m00s
[ 52/121] Installing perl-File-Path-0:2 100% |  63.0 MiB/s |  64.5 KiB |  00m00s
[ 53/121] Installing perl-if-0:0.61.000 100% |   0.0   B/s |   6.2 KiB |  00m00s
[ 54/121] Installing perl-locale-0:1.13 100% |   0.0   B/s |   6.5 KiB |  00m00s
[ 55/121] Installing perl-HTTP-Tiny-0:0 100% | 155.9 MiB/s | 159.7 KiB |  00m00s
[ 56/121] Installing perl-Pod-Simple-1: 100% | 280.7 MiB/s | 574.9 KiB |  00m00s
[ 57/121] Installing perl-Term-Cap-0:1. 100% |   0.0   B/s |  30.6 KiB |  00m00s
[ 58/121] Installing perl-Term-ANSIColo 100% |  96.9 MiB/s |  99.2 KiB |  00m00s
[ 59/121] Installing perl-IPC-Open3-0:1 100% |   0.0   B/s |  28.5 KiB |  00m00s
[ 60/121] Installing perl-File-Temp-1:0 100% | 161.6 MiB/s | 165.5 KiB |  00m00s
[ 61/121] Installing perl-POSIX-0:2.23- 100% | 225.2 MiB/s | 230.6 KiB |  00m00s
[ 62/121] Installing perl-Class-Struct- 100% |   0.0   B/s |  25.9 KiB |  00m00s
[ 63/121] Installing perl-Pod-Perldoc-0 100% |   9.2 MiB/s | 169.2 KiB |  00m00s
[ 64/121] Installing perl-podlators-1:6 100% |  17.4 MiB/s | 321.4 KiB |  00m00s
[ 65/121] Installing perl-File-stat-0:1 100% |   0.0   B/s |  13.1 KiB |  00m00s
[ 66/121] Installing perl-Socket-4:2.04 100% | 119.3 MiB/s | 122.2 KiB |  00m00s
[ 67/121] Installing perl-SelectSaver-0 100% |   0.0   B/s |   2.6 KiB |  00m00s
[ 68/121] Installing perl-Symbol-0:1.09 100% |   0.0   B/s |   7.3 KiB |  00m00s
[ 69/121] Installing perl-Pod-Usage-4:2 100% |   5.0 MiB/s |  87.9 KiB |  00m00s
[ 70/121] Installing perl-mro-0:1.29-52 100% |  41.6 MiB/s |  42.6 KiB |  00m00s
[ 71/121] Installing perl-IO-0:1.55-524 100% | 148.0 MiB/s | 151.5 KiB |  00m00s
[ 72/121] Installing perl-overloading-0 100% |   0.0   B/s |   5.6 KiB |  00m00s
[ 73/121] Installing perl-base-0:2.27-5 100% |   0.0   B/s |  13.0 KiB |  00m00s
[ 74/121] Installing perl-Fcntl-0:1.20- 100% |   0.0   B/s |  49.8 KiB |  00m00s
[ 75/121] Installing perl-Text-ParseWor 100% |   0.0   B/s |  14.6 KiB |  00m00s
[ 76/121] Installing perl-Storable-1:3. 100% | 231.2 MiB/s | 236.7 KiB |  00m00s
[ 77/121] Installing perl-Getopt-Long-1 100% | 143.8 MiB/s | 147.2 KiB |  00m00s
[ 78/121] Installing perl-Getopt-Std-0: 100% |   0.0   B/s |  11.8 KiB |  00m00s
[ 79/121] Installing perl-MIME-Base64-0 100% |  43.1 MiB/s |  44.2 KiB |  00m00s
[ 80/121] Installing perl-vars-0:1.05-5 100% |   0.0   B/s |   4.3 KiB |  00m00s
[ 81/121] Installing perl-overload-0:1. 100% |   0.0   B/s |  72.0 KiB |  00m00s
[ 82/121] Installing perl-parent-1:0.24 100% |   0.0   B/s |  11.0 KiB |  00m00s
[ 83/121] Installing perl-Scalar-List-U 100% | 145.0 MiB/s | 148.5 KiB |  00m00s
[ 84/121] Installing perl-constant-0:1. 100% |   0.0   B/s |  27.4 KiB |  00m00s
[ 85/121] Installing perl-File-Basename 100% |   0.0   B/s |  14.6 KiB |  00m00s
[ 86/121] Installing perl-Errno-0:1.38- 100% |   0.0   B/s |   8.8 KiB |  00m00s
[ 87/121] Installing perl-Carp-0:1.54-5 100% |  46.6 MiB/s |  47.7 KiB |  00m00s
[ 88/121] Installing perl-Encode-4:3.21 100% | 167.6 MiB/s |   4.7 MiB |  00m00s
[ 89/121] Installing perl-DynaLoader-0: 100% |   0.0   B/s |  32.5 KiB |  00m00s
[ 90/121] Installing perl-PathTools-0:3 100% | 180.1 MiB/s | 184.4 KiB |  00m00s
[ 91/121] Installing perl-Exporter-0:5. 100% |  27.1 MiB/s |  55.6 KiB |  00m00s
[ 92/121] Installing perl-libs-4:5.42.2 100% | 292.0 MiB/s |  11.7 MiB |  00m00s
[ 93/121] Installing perl-interpreter-4 100% |   6.9 MiB/s | 120.4 KiB |  00m00s
[ 94/121] Installing perl-File-Compare- 100% |   0.0   B/s |   6.2 KiB |  00m00s
[ 95/121] Installing perl-File-Copy-0:2 100% |   0.0   B/s |  20.2 KiB |  00m00s
[ 96/121] Installing perl-File-Find-0:1 100% |   0.0   B/s |  42.5 KiB |  00m00s
[ 97/121] Installing gmp-c++-1:6.3.0-5. 100% |   0.0   B/s |  32.3 KiB |  00m00s
[ 98/121] Installing gmp-devel-1:6.3.0- 100% | 345.8 MiB/s | 354.1 KiB |  00m00s
[ 99/121] Installing cmake-filesystem-0 100% |   4.6 MiB/s |   9.4 KiB |  00m00s
[100/121] Installing libzstd-devel-0:1. 100% | 214.0 MiB/s | 219.1 KiB |  00m00s
[101/121] Installing make-1:4.4.1-12.fc 100% |  78.3 MiB/s |   1.8 MiB |  00m00s
[102/121] Installing gcc-0:16.0.1-0.10. 100% | 394.4 MiB/s | 120.7 MiB |  00m00s
[103/121] Installing ocaml-0:5.4.1-4.fc 100% | 435.6 MiB/s | 174.7 MiB |  00m00s
[104/121] Installing ocaml-compiler-lib 100% | 468.1 MiB/s | 114.7 MiB |  00m00s
[105/121] Installing ocaml-findlib-0:1. 100% | 131.3 MiB/s |   3.5 MiB |  00m00s
[106/121] Installing ocaml-zarith-0:1.1 100% |  74.0 MiB/s | 378.8 KiB |  00m00s
[107/121] Installing rocq-runtime-0:9.2 100% | 402.8 MiB/s | 325.4 MiB |  00m01s
[108/121] Installing rocq-core-0:9.2.0- 100% | 426.6 MiB/s |  22.2 MiB |  00m00s
[109/121] Installing rocq-0:9.2.0-1.fc4 100% |  20.2 KiB/s | 124.0   B |  00m00s
[110/121] Installing rocq-stdlib-0:9.1. 100% | 387.8 MiB/s | 152.4 MiB |  00m00s
[111/121] Installing m4-0:1.4.21-1.fc45 100% |  41.3 MiB/s | 887.6 KiB |  00m00s
[112/121] Installing emacs-filesystem-1 100% |   0.0   B/s | 812.0   B |  00m00s
[113/121] Installing autoconf-0:2.72-10 100% | 116.8 MiB/s |   2.8 MiB |  00m00s
[114/121] Installing flocq-0:4.2.2-2.fc 100% | 469.8 MiB/s |  31.9 MiB |  00m00s
[115/121] Installing coq-core-compat-0: 100% | 399.7 MiB/s |  39.2 MiB |  00m00s
[116/121] Installing ocaml-zarith-devel 100% | 288.2 MiB/s |   1.2 MiB |  00m00s
[117/121] Installing gcc-c++-0:16.0.1-0 100% | 340.8 MiB/s |  46.4 MiB |  00m00s
[118/121] Installing annobin-plugin-gcc 100% |  48.7 MiB/s | 698.8 KiB |  00m00s
[119/121] Installing gcc-plugin-annobin 100% |   4.8 MiB/s |  58.6 KiB |  00m00s
[120/121] Installing remake-0:0.16-5.fc 100% |   7.3 MiB/s | 141.1 KiB |  00m00s
[121/121] Installing gappa-0:1.7.0-1.fc 100% |   4.5 MiB/s | 774.6 KiB |  00m00s
Warning: skipped OpenPGP checks for 6 packages from repository: copr_base
Complete!
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1775779200
Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm
Updating and loading repositories:
 fedora                                 100% | 135.3 KiB/s |  23.4 KiB |  00m00s
 Copr repository                        100% |  13.2 KiB/s |   1.5 KiB |  00m00s
Repositories loaded.
Package "autoconf-2.72-10.fc44.noarch" is already installed.
Package "coq-core-compat-9.2.0-1.fc45.x86_64" is already installed.
Package "flocq-4.2.2-2.fc45.x86_64" is already installed.
Package "gappa-1.7.0-1.fc45.x86_64" is already installed.
Package "gcc-c++-16.0.1-0.10.fc45.x86_64" is already installed.
Package "ocaml-5.4.1-4.fc45.x86_64" is already installed.
Package "ocaml-findlib-1.9.8-8.fc45.x86_64" is already installed.
Package "ocaml-zarith-devel-1.14-12.fc45.x86_64" is already installed.
Package "remake-0.16-5.fc44.x86_64" is already installed.
Package "rocq-9.2.0-1.fc45.x86_64" is already installed.

Nothing to do.
Finish: build setup for gappalib-coq-1.8.0-2.fc45.src.rpm
Start: rpmbuild gappalib-coq-1.8.0-2.fc45.src.rpm
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1775779200
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.1iZyZt
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.S5Dhdc
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ cd /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ rm -rf coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.8.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.PYHJaZ
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.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-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ sed -i 's/-rectypes/-g &/' Remakefile.in
+ autoconf -f
configure.in:5: warning: prefer named diversions
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.vZkzj1
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.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-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ ./configure --prefix=/usr --datadir=/usr/share
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking how to run the C preprocessor... gcc -E
checking for coqc >= 8.16... /usr/bin/coqc
checking for ocamlfind... /usr/bin/ocamlfind
checking for ocamllex... /usr/bin/ocamllex
checking for Flocq >= 4.1... File "./conftest.v", line 1, characters 40-43:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
yes
checking for native development files... File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Evd, and
  its interface was not compiled with -opaque
yes
checking for bytecode development files... yes
checking whether the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
configure: building remake...
/usr/bin/ld.bfd: /tmp/ccJ4rWGc.o: in function `main':
remake.cpp:(.text.startup+0xf16): warning: the use of `tempnam' is dangerous, better use `mkstemp'

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

configure: creating ./config.status
config.status: creating Remakefile
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j4
Building tools/vdep.ml
Building src/gappatac.ml
/usr/bin/ocamllex -o tools/vdep.ml tools/vdep.mll
gcc -E -DCOQVERSION=90200 src/gappatac.c -o src/gappatac.ml
68 states, 984 transitions, table size 4344 bytes
3358 additional bytes used for bindings

Finished tools/vdep.ml
Building tools/vdep.exe
/usr/bin/ocamlfind ocamlc -o tools/vdep.exe tools/vdep.ml

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

Finished tools/vdep.exe
Building src/Gappa_common.vo
Building src/Gappa_decimal.vo
tools/vdep.exe -R src Gappa src/Gappa_common.v | ./remake -r src/Gappa_common.vo
tools/vdep.exe -R src Gappa src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo
Building src/Gappa_definitions.vo
Building src/Gappa_dyadic.vo
tools/vdep.exe -R src Gappa src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo
tools/vdep.exe -R src Gappa src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_definitions.v
Building src/Gappa_fixed.vo
tools/vdep.exe -R src Gappa src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo
File "src/gappatac.c", line 16, characters 5-11:
Alert deprecated: module Coqlib
(9.0) Use Rocqlib
Building src/Gappa_float.vo
tools/vdep.exe -R src Gappa src/Gappa_float.v | ./remake -r src/Gappa_float.vo
File "src/gappatac.c", line 16, characters 5-11:
Alert deprecated: module Coqlib
(9.0) Use Rocqlib
Building src/Gappa_library.vo
tools/vdep.exe -R src Gappa src/Gappa_library.v | ./remake -r src/Gappa_library.vo
Building src/Gappa_obfuscate.vo

File "src/gappatac.c", line 82, characters 22-26:
Alert deprecated: module Pcoq
(9.0) Use Procq
tools/vdep.exe -R src Gappa src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo

File "src/gappatac.c", line 82, characters 42-46:
Alert deprecated: module Pcoq
(9.0) Use Procq
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_obfuscate.v

File "src/gappatac.c", line 82, characters 22-26:
Alert deprecated: module Pcoq
(9.0) Use Procq

File "src/gappatac.c", line 82, characters 42-46:
Alert deprecated: module Pcoq
(9.0) Use Procq

File "src/gappatac.c", line 521, characters 18-24:
Alert deprecated: Tacmach.pf_env
(9.2) Use Proofview.Goal.env

File "src/gappatac.c", line 522, characters 18-25:
Alert deprecated: Tacmach.project
(9.2) Use Proofview.Goal.sigma

File "src/gappatac.c", line 521, characters 18-24:
Alert deprecated: Tacmach.pf_env
(9.2) Use Proofview.Goal.env

File "src/gappatac.c", line 522, characters 18-25:
Alert deprecated: Tacmach.project
(9.2) Use Proofview.Goal.sigma

File "src/gappatac.c", line 523, characters 21-34:
Alert deprecated: Tacmach.pf_hyps_types
(9.2) Use EConstr.named_context


File "src/gappatac.c", line 527, characters 16-24:
Alert deprecated: Tacmach.pf_concl
(9.2) Use Proofview.Goal.concl
File "src/gappatac.c", line 523, characters 21-34:
Alert deprecated: Tacmach.pf_hyps_types
(9.2) Use EConstr.named_context

File "src/gappatac.c", line 527, characters 16-24:
Alert deprecated: Tacmach.pf_concl
(9.2) Use Proofview.Goal.concl

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

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

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

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

File "src/gappatac.c", line 818, characters 17-21:
Alert deprecated: module Pcoq
(9.0) Use Procq

File "src/gappatac.c", line 838, characters 18-24:
Alert deprecated: Tacmach.pf_env
(9.2) Use Proofview.Goal.env

File "src/gappatac.c", line 839, characters 18-25:
Alert deprecated: Tacmach.project
(9.2) Use Proofview.Goal.sigma

File "src/gappatac.c", line 818, characters 17-21:
Alert deprecated: module Pcoq
(9.0) Use Procq

File "src/gappatac.c", line 846, characters 21-29:
Alert deprecated: Tacmach.pf_concl
(9.2) Use Proofview.Goal.concl


File "src/gappatac.c", line 838, characters 18-24:
Alert deprecated: Tacmach.pf_env
(9.2) Use Proofview.Goal.env

File "src/gappatac.c", line 839, characters 18-25:
Alert deprecated: Tacmach.project
(9.2) Use Proofview.Goal.sigma
File "src/gappatac.c", line 854, characters 20-36:
Warning 20 [ignored-extra-argument]: this argument will not be used by the function.

File "src/gappatac.c", line 846, characters 21-29:
Alert deprecated: Tacmach.pf_concl
(9.2) Use Proofview.Goal.concl


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

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

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module CArray,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module CErrors,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module CList, and
  its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module CString,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Constrintern, and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Context,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Dumpglob,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module EConstr,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Environ,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Evarutil,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Evd, and
  its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Generalize, and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Global,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Gramlib__Stream, and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Libnames,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Ltac_plugin__Tacentries, and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Names, and
  its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Pp, and
  its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Printer,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Procq, and
  its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Proofview,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Reductionops, and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Smartlocate, and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacmach,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacred,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacticals,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module Tactics,
  and its interface was not compiled with -opaque

File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module UnivGen,
  and its interface was not compiled with -opaque

Finished src/gappatac.cmo
Building src/Gappa_pred_abs.vo
tools/vdep.exe -R src Gappa src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo
Building src/Gappa_pred_bnd.vo
tools/vdep.exe -R src Gappa src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo
Building src/Gappa_pred_fixflt.vo
tools/vdep.exe -R src Gappa src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo
Building src/Gappa_pred_lin.vo
tools/vdep.exe -R src Gappa src/Gappa_pred_lin.v | ./remake -r src/Gappa_pred_lin.vo
Building src/Gappa_pred_nzr.vo
tools/vdep.exe -R src Gappa src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo
Building src/Gappa_pred_rel.vo
tools/vdep.exe -R src Gappa src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo
Building src/Gappa_real.vo
tools/vdep.exe -R src Gappa src/Gappa_real.v | ./remake -r src/Gappa_real.vo
File "./src/Gappa_definitions.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_real.v

Finished src/Gappa_obfuscate.vo
Building src/Gappa_rewriting.vo
tools/vdep.exe -R src Gappa src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo
Building src/Gappa_round_aux.vo
tools/vdep.exe -R src Gappa src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo
Building src/Gappa_round_def.vo
tools/vdep.exe -R src Gappa src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo
File "./src/Gappa_real.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_def.v

Finished src/gappatac.cmxs
Building src/Gappa_round.vo
tools/vdep.exe -R src Gappa src/Gappa_round.v | ./remake -r src/Gappa_round.vo
Building src/Gappa_tactic.vo
tools/vdep.exe -R src Gappa src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo
Building src/Gappa_tree.vo
tools/vdep.exe -R src Gappa src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo
Building src/Gappa_user.vo
tools/vdep.exe -R src Gappa src/Gappa_user.v | ./remake -r src/Gappa_user.vo
File "./src/Gappa_round_def.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_definitions.v", line 4, characters 0-8:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]

Finished src/Gappa_definitions.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_dyadic.v
File "./src/Gappa_dyadic.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_round_def.v", line 106, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round_def.v", line 107, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round_def.v", line 108, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round_def.v", line 109, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_real.v", line 372, characters 6-14:
Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_real.v", line 372, characters 6-14:
Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_round_def.vo

Finished src/Gappa_real.vo
Finished src/Gappa_dyadic.vo

/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round_aux.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_common.v
File "./src/Gappa_common.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_round_aux.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_common.v", line 7, characters 18-26:
Warning: Notation Zlt_bool is deprecated since 9.0. Use Z.ltb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_common.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_tree.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_nzr.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_rewriting.v
File "./src/Gappa_rewriting.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_tree.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]

Finished src/Gappa_round_aux.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_round.v
File "./src/Gappa_round.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_tree.v", line 4, characters 6-14:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]

Finished src/Gappa_pred_nzr.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_fixflt.v
File "./src/Gappa_pred_fixflt.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_tree.v", line 152, characters 30-38:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_tree.v", line 154, characters 30-38:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_round.v", line 129, characters 16-19:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round.v", line 159, characters 13-16:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round.v", line 198, characters 13-16:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_tree.v", line 361, characters 6-14:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_tree.v", line 361, characters 6-14:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_tree.v", line 375, characters 5-13:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_tree.v", line 375, characters 5-13:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_round.v", line 351, characters 19-22:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round.v", line 402, characters 19-22:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round.v", line 493, characters 24-27:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round.v", line 562, characters 13-16:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_round.v", line 565, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 10, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_round.v", line 643, characters 18-21:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 21, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 30, characters 1-9:
Warning: Notation Zeq_bool is deprecated since 9.0. Use Z.eqb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 31, characters 1-9:
Warning: Notation Zeq_bool is deprecated since 9.0. Use Z.eqb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 32, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 43, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 43, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 44, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 44, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_round.v", line 668, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 68, characters 1-9:
Warning: Notation Zeq_bool is deprecated since 9.0. Use Z.eqb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 69, characters 1-9:
Warning: Notation Zeq_bool is deprecated since 9.0. Use Z.eqb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 70, characters 1-9:
Warning: Notation Zlt_bool is deprecated since 9.0. Use Z.ltb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 81, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 81, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 82, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 82, characters 12-23:
Warning: Reference Zeq_bool_eq is deprecated since 9.0. Use Z.eqb_eq instead.
[deprecated-reference-since-9.0,deprecated-since-9.0,deprecated-reference,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 110, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 125, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 138, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 139, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 183, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 217, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 234, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28:
Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28:
Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28:
Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_round.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_abs.v
File "./src/Gappa_pred_fixflt.v", line 283, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 316, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 359, characters 11-18:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 359, characters 11-18:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 368, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 446, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 447, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 496, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 497, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 543, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_fixflt.v", line 544, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]

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

Finished src/Gappa_pred_fixflt.vo

Finished src/Gappa_pred_abs.vo

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

Finished src/Gappa_pred_bnd.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_lin.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_pred_rel.v
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_user.v
File "./src/Gappa_pred_rel.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]

Finished src/Gappa_user.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_float.v
File "./src/Gappa_float.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_pred_rel.v", line 469, characters 24-32:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_pred_rel.v", line 469, characters 24-32:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_tree.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_fixed.v

Finished src/Gappa_pred_lin.vo
File "./src/Gappa_fixed.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_float.v", line 10, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 13, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 72, characters 41-44:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 75, characters 23-26:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 83, characters 18-21:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 94, characters 41-44:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 97, characters 23-26:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 105, characters 18-21:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 116, characters 41-44:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 119, characters 23-26:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 128, characters 18-21:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 136, characters 26-29:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 153, characters 41-44:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 156, characters 23-26:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 164, characters 18-21:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 168, characters 26-29:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 217, characters 26-29:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 228, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 243, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 251, characters 26-29:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 261, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 269, characters 26-29:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 282, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 282, characters 20-28:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_fixed.v", line 10, characters 7-15:
Warning: Use of "Notation" keyword for abbreviations is deprecated, use
"Abbreviation" instead.
[notation-for-abbreviation,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 289, characters 19-22:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 16, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 304, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 304, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_fixed.v", line 29, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_fixed.v", line 44, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_fixed.v", line 50, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 63, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 334, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_fixed.v", line 69, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 339, characters 19-22:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 352, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 352, characters 16-23:
Warning: Notation IZR_neq is deprecated since 8.19.
Use eq_IZR_contrapositive.
[deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_fixed.v", line 94, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 376, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 379, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 100, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 401, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 404, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 123, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 126, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 433, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 436, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 160, characters 17-20:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 454, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 457, characters 14-17:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_fixed.v", line 179, characters 19-22:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 476, characters 41-44:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 481, characters 23-26:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 487, characters 16-19:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 541, characters 50-58:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 559, characters 41-44:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 564, characters 23-26:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 570, characters 16-19:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 624, characters 52-60:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 682, characters 58-66:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 687, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_pred_rel.vo
File "./src/Gappa_float.v", line 735, characters 17-20:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 806, characters 17-20:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]

Finished src/Gappa_fixed.vo
File "./src/Gappa_float.v", line 899, characters 62-70:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 943, characters 50-58:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 976, characters 52-60:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1062, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1067, characters 58-66:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1070, characters 1-9:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1088, characters 21-24:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1098, characters 28-31:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1130, characters 54-62:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1135, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1141, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1149, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1155, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1163, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1169, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1177, characters 2-10:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]
File "./src/Gappa_float.v", line 1183, characters 27-30:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1344, characters 16-19:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1347, characters 16-19:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_float.v", line 1412, characters 74-82:
Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead.
[deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default]

Finished src/Gappa_float.vo
/usr/bin/coqc  -q -R src Gappa -I src src/Gappa_library.v
File "./src/Gappa_library.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_library.v", line 2, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_library.v", line 3, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_library.v", line 4, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]

Finished src/Gappa_library.vo
/usr/bin/coqc   -q -R src Gappa -I src src/Gappa_tactic.v
File "./src/Gappa_tactic.v", line 1, characters 5-8:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-9.0,deprecated,default]
File "./src/Gappa_tactic.v", line 390, characters 28-31:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_tactic.v", line 393, characters 29-32:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_tactic.v", line 401, characters 28-31:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_tactic.v", line 404, characters 29-32:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_tactic.v", line 432, characters 28-31:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]
File "./src/Gappa_tactic.v", line 435, characters 29-32:
Warning: Using "..." is deprecated, use ";
auto with typeclass_instances." instead
[deprecated-end-tac,deprecated-since-9.2,deprecated,default]

Finished src/Gappa_tactic.vo
Building all
Finished all
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.GFq4IV
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ '[' /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT
++ dirname /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ mkdir /builddir/build/BUILD/gappalib-coq-1.8.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-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ mkdir -p /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa
+ DESTDIR=/builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT
+ remake install
Building install
Finished install
+ cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_lin.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa
+ /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.8.0-2.fc45 --unique-debug-suffix -1.8.0-2.fc45.x86_64 --unique-debug-src-base gappalib-coq-1.8.0-2.fc45.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.8.0-build/coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
find-debuginfo: starting
Extracting debug info from 23 files
DWARF-compressing 23 files
sepdebugcrcfix: Updated 23 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.8.0-2.fc45.x86_64
cpio: atomic.ml: Cannot stat: No such file or directory
cpio: big_int_Z.ml: Cannot stat: No such file or directory
cpio: buffer.ml: Cannot stat: No such file or directory
cpio: bytes.ml: Cannot stat: No such file or directory
cpio: filename.ml: Cannot stat: No such file or directory
cpio: format.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_common.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_decimal.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_definitions.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_dyadic.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_fixed.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_float.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_library.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_obfuscate.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_pred_abs.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_pred_bnd.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_pred_fixflt.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_pred_lin.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_pred_nzr.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_pred_rel.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_real.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_rewriting.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_round.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_round_aux.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_round_def.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_tactic.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_tree.native: Cannot stat: No such file or directory
cpio: src/.coq-native/NGappa_Gappa_user.native: Cannot stat: No such file or directory
cpio: src/Core/.coq-native/NFlocq_Core_FLX.native: Cannot stat: No such file or directory
cpio: stdlib.ml: Cannot stat: No such file or directory
cpio: z.ml: Cannot stat: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ COMPRESS='gzip -9 -n'
+ COMPRESS_EXT=.gz
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-det --brp -j4 /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT
Scanned 24 directories and 160 files,
    processed 0 inodes,
    0 modified (0 replaced + 0 rewritten),
    0 unsupported format, 0 errors
+ /usr/bin/linkdupes --brp /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr
Scanned 23 directories and 160 files,
    considered 160 files, read 0 files, linked 0 files, 0 errors
    sum of sizes of linked files: 0 bytes
Reading /builddir/build/BUILD/gappalib-coq-1.8.0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.6S0vh5
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.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-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ remake check
Building testsuite/check
Finished testsuite/check
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappalib-coq-1.8.0-2.fc45.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.nlHV0X
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ DOCDIR=/builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.8.0-build/coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4/AUTHORS /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.8.0-build/coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4/NEWS.md /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.8.0-build/coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4/README.md /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/doc/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.fEQjTS
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4
+ LICENSEDIR=/builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/licenses/gappalib-coq
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/licenses/gappalib-coq
+ cp -pr /builddir/build/BUILD/gappalib-coq-1.8.0-build/coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4/COPYING /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/share/licenses/gappalib-coq
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappalib-coq = 1.8.0-2.fc45 gappalib-coq(x86-64) = 1.8.0-2.fc45 ocaml(Gappatac) = bb7fb6fc32be9d682d31ad351fa6399d ocaml(NGappa_Gappa_common) = 0a580625ddce416fe461d18d8ceccf15 ocaml(NGappa_Gappa_decimal) = 086350c4b6d3f18c03cdd802f9117e1d ocaml(NGappa_Gappa_definitions) = 625fbf09907d8aa73affae42f11bddd0 ocaml(NGappa_Gappa_dyadic) = 3be6d6d6c75c0d7d15c2639ba824137f ocaml(NGappa_Gappa_fixed) = e6eb648ae858009fbf309a8e2d539ce0 ocaml(NGappa_Gappa_float) = 4fd3959cf2353ec2f2058f55b2b13161 ocaml(NGappa_Gappa_library) = 4c6a41de851df59012549b1517f9330e ocaml(NGappa_Gappa_obfuscate) = df137f21e87cf016eb0aafde1378b436 ocaml(NGappa_Gappa_pred_abs) = 688b32690391c9b429e323fe054b8f6e ocaml(NGappa_Gappa_pred_bnd) = a7284646e6f3b89d6e9337121fc978ff ocaml(NGappa_Gappa_pred_fixflt) = 89325432b0f9ca8abd7a81025606cb6b ocaml(NGappa_Gappa_pred_lin) = 565d540b8e8cc22a8800f309d2594ccc ocaml(NGappa_Gappa_pred_nzr) = 47d2395a74adca4b2caf95ef6d55aba5 ocaml(NGappa_Gappa_pred_rel) = aaa1116f943e81c6bbe4ed0f48d13fa1 ocaml(NGappa_Gappa_real) = 5f50a7de79814b2056c03acd83bc0c4e ocaml(NGappa_Gappa_rewriting) = 1dc918a94f8a8a6dc8a56d6d1f361ae7 ocaml(NGappa_Gappa_round) = e566fb490a4e2fb64302371da19bde12 ocaml(NGappa_Gappa_round_aux) = c0ca64dab5bf1e942781f396f968b036 ocaml(NGappa_Gappa_round_def) = f43ca14bb13c73aa6141da2697b79cfd ocaml(NGappa_Gappa_tactic) = db2cf8dd2a51be4caace33d59bd8dd85 ocaml(NGappa_Gappa_tree) = 2eeb1108d757e25672dd143d5dface46 ocaml(NGappa_Gappa_user) = e3e5191f9a57dd0cbdfbd3de2f4c5b57 ocamlx(NGappa_Gappa_common) = bd1d558876f4ba17493d523ef5a603ac ocamlx(NGappa_Gappa_decimal) = 4d67d253875adfff530c2d28fc53e563 ocamlx(NGappa_Gappa_definitions) = d8dae6ffb1153730589ae376f70567d2 ocamlx(NGappa_Gappa_dyadic) = 7c504387af8dfda8a8f6d8a2a958f126 ocamlx(NGappa_Gappa_fixed) = 62c22c6a1811fda215a31d72e69b0d5d ocamlx(NGappa_Gappa_float) = fce81fafb56f56e8ceaf49d61b76f0d3 ocamlx(NGappa_Gappa_library) = 81436d956bb75843a93362d3b99b49fe ocamlx(NGappa_Gappa_obfuscate) = 499014cffa891c5671d9e91da52b5205 ocamlx(NGappa_Gappa_pred_abs) = e352dcd19a02d2e9fc8da3521827f16f ocamlx(NGappa_Gappa_pred_bnd) = 09017a6c292bf2d8cd7567557bb9488e ocamlx(NGappa_Gappa_pred_fixflt) = dbf88dcb927956afa21284e3ff8d1fd3 ocamlx(NGappa_Gappa_pred_lin) = ffbebfe26832a6e0aed864533bf6f997 ocamlx(NGappa_Gappa_pred_nzr) = 95ce9a427d43c40d8961b0c0e73e195f ocamlx(NGappa_Gappa_pred_rel) = 60c10a1a305f55f6d845c2fff30d19ac ocamlx(NGappa_Gappa_real) = b571e714f118c6eb8e41d3ec90f297f0 ocamlx(NGappa_Gappa_rewriting) = 375940482c30b2a0eb8b0bb121314e14 ocamlx(NGappa_Gappa_round) = fa63cbcb09549c7f01b4f3108617026e ocamlx(NGappa_Gappa_round_aux) = 16c6323355573f99df677b03547eafe0 ocamlx(NGappa_Gappa_round_def) = 996ec041627232c58eef5caef5eee89e ocamlx(NGappa_Gappa_tactic) = 70d16832feb8f8ccd629f7da95a30709 ocamlx(NGappa_Gappa_tree) = caf0c4f35f20d79a26406615fb10b3d1 ocamlx(NGappa_Gappa_user) = dab5b197d4037d5cdb10ed83831dd8d4
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(AcyclicGraph) = a0928ab85aa9d3f76c78f32d885ccf4b ocaml(Attributes) = ee94f0e950a4045506fadfd8f8a692ed ocaml(Big_int_Z) = d6cb9e1c54060ad10e28f7ba86ae266a ocaml(Boot) = c10d1826ec03550bc542cef705e8a113 ocaml(Boot__Env) = 6761f5c82d57f92b184c43064da1a433 ocaml(Boot__Usage) = 38a803d96d64d1260891320e63e0a08b ocaml(CArray) = a2e455be7013ec529edc7deeb9c88dcd ocaml(CAst) = 23961d59b930d5aa36baa14c1928b394 ocaml(CClosure) = ad77f6a8affd525d51346515f6cfef66 ocaml(CDebug) = 7f2e1a015766edd1310ed03bf997b5bf ocaml(CEphemeron) = 7cae4867455538660558bdff12463859 ocaml(CErrors) = fd6fe9d08d9caf8ea4d446ec01e9281a ocaml(CLexer) = fb825ee2f56f1eea8e0db95c92534d73 ocaml(CList) = 9a2830c6a7f1e5138c25f4567f0e7335 ocaml(CMap) = d8df1ab91a0cf1bc2bb100f53ca23222 ocaml(CPrimitives) = 6cdb488917c5d051bf02f9e386b819ed ocaml(CSet) = c99ec5a860a1db040e3cb46a4ef41cff ocaml(CSig) = 8cb23fa269471e19f2cc9161ba3980d0 ocaml(CString) = b8a8bb70f9e4d08f167510409e9a6053 ocaml(CUnix) = f6850de84f62fe0043b8f44ae8b780c8 ocaml(CWarnings) = 3d3d432d806232d106cde8a3e8935ad4 ocaml(CamlinternalFormatBasics) = bb23651112c1e05c61498d902472830d ocaml(CamlinternalLazy) = 321f83e197d23ef3129f66a139b9829f ocaml(Coercionops) = 1bf96a451fdcf2424f92a69f4082338a ocaml(Constr) = fb261580b2c56e92b79230e91984b99e ocaml(Constrexpr) = fb00393fe0cfeeb27d5e33468e787bdd ocaml(Constrintern) = 6587e6cdecff8821f9e2719a01bd8340 ocaml(Context) = b7bf9c2dd9f01e83956292783ef0d7dc ocaml(Conv_oracle) = ca9287d023dd57759fc769dc6d98e187 ocaml(Conversion) = 3a7b3cb133deea09a215118994a3a709 ocaml(Cooking) = ab1e9c5cf41a861b8d8e39a08760f872 ocaml(Coq_config) = 4e8d62ba5366a6130182d87b6d493cae ocaml(Coqlib) = 468c3c84ff6a1c8dae148e1e23fc003d ocaml(DAst) = dfe8298509e157009558d4e8012a58d7 ocaml(Declarations) = 030ba3d93147be2f26b3e9ab56f774ac ocaml(Declare) = 75949e6a91a3375dd3feac2aad4ca540 ocaml(Declaremods) = d700e258fb2196fe2f6231a5999bdf53 ocaml(Decls) = 54fed2f8d8694a8ed3706c9743199440 ocaml(Deprecation) = df915a2364b805360c5b333eff08e454 ocaml(Dumpglob) = 375ece1d72754a626848fe883fc6a68c ocaml(Dyn) = f0cdf5756549bfb2f13af24fa17b15ff ocaml(EConstr) = 8045370f4188bbd9ccb9faf948edaeba ocaml(Entries) = 2ff75b285b4a2a968be0145f18804393 ocaml(Environ) = aede06b1411b49706b7510e2e4434f71 ocaml(Equality) = d8621a5ddcac13d84a5c2ae7ff3873f3 ocaml(Esubst) = 31516adf5d49c65ff5034d2fb4a17e23 ocaml(Evaluable) = c23c968b6d8ec423fb5972ca9324f499 ocaml(Evar) = 5c12d3020e6c58f5eec50fd86ffb3278 ocaml(Evar_kinds) = 14944ba8a5fafb11f4045137ed5ad8de ocaml(Evardefine) = 6e3eaff04cdaa76ddfcdb5d33cca727b ocaml(Evarsolve) = b27ce4e0d7e6f908a79cef283c27810a ocaml(Evarutil) = 69bde9e70acfd360778497e8dcd20d85 ocaml(Evd) = 9102614a89005ace383e19f7d0554bf5 ocaml(Exninfo) = 95e7f938070548b5b5d750588295e6db ocaml(Extend) = 400158e1a07efc1d779de794d8a9dc32 ocaml(Float64) = e3af59c461d447770a9513d585363662 ocaml(Ftactic) = 3be3bbb1998ac5357e0ceff1ecb3e794 ocaml(Future) = 0834bf495a97d13fe3d43454740f6994 ocaml(Genarg) = b7d1b46b3555c6085534dc23bdd45ce2 ocaml(Generalize) = 54ba689217bf7b77036e9228439b3e39 ocaml(Genintern) = 11b6ab7464837ebd4e6d8b92fa589577 ocaml(Geninterp) = 83fd29396e95aa620ef80e09cd7931dc ocaml(Genlambda) = 754cd6e7d91a4a53fdbdfdca25b3ddca ocaml(Genprint) = 9a9fb8ecbec26bf0c7d4212c77f9c263 ocaml(Genredexpr) = 5d175f6163784bbfeddf6c186f6ace40 ocaml(Gensubst) = d8ce3f530105e98c0927957d0db81613 ocaml(Gentactic) = af12900fcf8c3f1a009c4d91b1406c4c ocaml(GlobEnv) = 3f612e3cc8565501734ac24751f3d9d5 ocaml(Glob_term) = 96a14cf41e84f3fccf0f2ddc3786420d ocaml(Global) = 88d35a7c0bf9dbcf40f1afca4d221a8b ocaml(Globnames) = 052f59172207e5158a79c1e79e4d22a0 ocaml(Goal_select) = 2814ca816c54330bf63114b93e467e39 ocaml(Goptions) = ffdb7184b0ab5016877800c33ccd1a19 ocaml(Gramlib) = ae39fd0bb86764a48d691d550ddeb9d2 ocaml(Gramlib__Gramext) = e49c510afe5490ea4e64d84dc46dd6a9 ocaml(Gramlib__Grammar) = f4df4fab3c9493ad0e0d895296764756 ocaml(Gramlib__LStream) = e1885b119f7b1a59c48b239662cf0379 ocaml(Gramlib__Plexing) = 4610fa3e2850b51afbc1eb3052b9141e ocaml(Gramlib__Stream) = 4764be9973f4964bc0d6417ffa24b77b ocaml(Hashcons) = d9da5b4a5d48cabeddb2878692bf1fce ocaml(Hashset) = f2a941d55c9ded6be6c8f9026ec7a921 ocaml(Hints) = f06c15c1a5a46b5d254a17ccfd3d7438 ocaml(Hook) = f86461414dc1ef72fcb0b45bed7f95ce ocaml(Impargs) = f83f4a1f007162bb4f50c56e3307e6a7 ocaml(IndTyping) = b821f35aa3cbf1adc7f7b867851f6874 ocaml(Ind_tables) = 37faf8fc4e3a244d008d9d60f6887166 ocaml(Inductive) = 5d4e95b3b303626537151353b4f25223 ocaml(Int) = 88f311a03d57180dbb31c55fea3304a2 ocaml(Inv) = 14d5ba850261eeecb22f21b3173daed3 ocaml(Lib) = 34637da1a9ad40f2e974b43ae42e7ff5 ocaml(Libnames) = e5b66e348bb5442b01e64137ae7f2d2a ocaml(Libobject) = bb05130ad670044a529ebb92d8c348fa ocaml(Library_info) = bb67c359dd87a433666bd624be33a6e2 ocaml(Loc) = 11ac099f9c19f0c65bf3b47a73ef6e27 ocaml(Locality) = 0b0715af09ba64e4cca27ca908696be5 ocaml(Locus) = 448271cd0d030c79416c91609509bb50 ocaml(Logic) = ad092736ccbcc60c2cd9c84fd03f6ac7 ocaml(Logic_monad) = 49c62e4f37eda148c3cd7a98e103b78e ocaml(Ltac_plugin) = 5409ef6e2f1819f62566d425aa6b978f ocaml(Ltac_plugin__Pptactic) = 03e54c329b30259332800d7aa69bef07 ocaml(Ltac_plugin__Tacentries) = 33cf52af590ab8bcc3e72b9248747f92 ocaml(Ltac_plugin__Tacexpr) = 12812dd5ab4f14f215e045033eac11be ocaml(Ltac_pretype) = a2c5dc34c670a49c63c836dcf7de7a96 ocaml(Metasyntax) = d18e2229c276013295934e1339adbc5f ocaml(Mod_declarations) = 13ee1b9c6af74eb1079b381c1f5d5b03 ocaml(Mod_subst) = cd69e5446f1ed18d8f4334e10fe92395 ocaml(Modintern) = bf6fe5c41c6b05a80ec20e20fa324898 ocaml(Monad) = 2bde140cae2e992b633c464725202d31 ocaml(NCorelib_BinNums_IntDef) = 77ca4e1ef132e84761f53776df13279a ocaml(NCorelib_BinNums_NatDef) = 0e1b471e43a9527ce63d746d307295ad ocaml(NCorelib_BinNums_PosDef) = 199c6ca9c36844eaffd851f7b3a3287d ocaml(NCorelib_Classes_Morphisms) = 7570ef1ae72e527a2819a8b41a1eb92c ocaml(NCorelib_Classes_Morphisms_Prop) = d349ce6c45dcd5837340c60691f62637 ocaml(NCorelib_Classes_RelationClasses) = d3093211aceab945e85acb64dbfee46e ocaml(NCorelib_Floats_FloatClass) = 98cc9475185f05d31e9c48f4287cc3cd ocaml(NCorelib_Floats_SpecFloat) = 3cd6a3d342c598375139163736aca15c ocaml(NCorelib_Init_Datatypes) = 50a303930d4a162213a0ce02d960445b ocaml(NCorelib_Init_Decimal) = 47831939263d2bf43d2bcc6f19f829e7 ocaml(NCorelib_Init_Hexadecimal) = 4dc0c97ccb4be1240fe34fcde7c1cd7f ocaml(NCorelib_Init_Logic) = 8fefa2b31c1e74ead3b8c7d78f6dfcbe ocaml(NCorelib_Init_Nat) = 057504d187854d1e906f95a7033f0639 ocaml(NCorelib_Init_Number) = 8280fbe686f6e58c033fe887e8b7854a ocaml(NCorelib_Init_Peano) = 1527a0cc9ec5f3aae84ed3f96c425141 ocaml(NCorelib_Init_Specif) = 0c5f42422cc393fa68cff022fd31d4ff ocaml(NCorelib_Init_Wf) = dce5f8fbb9e1d213edd8cb749e0ebe9c ocaml(NCorelib_Lists_ListDef) = 527f79c3f1e2bece42e7a4a61a1d41bd ocaml(NCorelib_Numbers_BinNums) = ff707600f2964805f4fdb01a88362dda ocaml(NCorelib_Program_Basics) = 62a3c8e546e20ced6cb594f874017722 ocaml(NCorelib_Relations_Relation_Definitions) = 990f1aea18d5142abd35fc8ba13c7cad ocaml(NCorelib_Setoids_Setoid) = 542ed61ea7c28a4d3fd1a139fe3ab714 ocaml(NFlocq_Calc_Bracket) = c57a20619203ee10aae1e866f57f9e58 ocaml(NFlocq_Core_Defs) = df407d508ea496808934670f6c929052 ocaml(NFlocq_Core_Digits) = 6516d15a141e95c87bc5ab8775dd492d ocaml(NFlocq_Core_FIX) = 0a30e696247a5ec465d54ef7c87f1893 ocaml(NFlocq_Core_FLT) = 2318f769adf1ff2e5f8f130afd9f1c75 ocaml(NFlocq_Core_FLX) = 4db08d3bf5ed698809496bff4d81bcb9 ocaml(NFlocq_Core_Generic_fmt) = 31296f683768015c5432eb50f4988ce5 ocaml(NFlocq_Core_Raux) = 5a0f9f15560b1d177a851f71c88b9307 ocaml(NFlocq_Core_Zaux) = 71ff98d9c860711aeb1c177702a2c6f0 ocaml(NGappa_Gappa_decimal) = 086350c4b6d3f18c03cdd802f9117e1d ocaml(NGappa_Gappa_definitions) = 625fbf09907d8aa73affae42f11bddd0 ocaml(NGappa_Gappa_dyadic) = 3be6d6d6c75c0d7d15c2639ba824137f ocaml(NGappa_Gappa_pred_bnd) = a7284646e6f3b89d6e9337121fc978ff ocaml(NGappa_Gappa_round) = e566fb490a4e2fb64302371da19bde12 ocaml(NGappa_Gappa_round_aux) = c0ca64dab5bf1e942781f396f968b036 ocaml(NGappa_Gappa_round_def) = f43ca14bb13c73aa6141da2697b79cfd ocaml(NGappa_Gappa_tree) = 2eeb1108d757e25672dd143d5dface46 ocaml(NStdlib_Arith_PeanoNat) = 20b6402d219ca626903b7bb249b1473d ocaml(NStdlib_Bool_Bool) = 39daa154eb7bc811a8bd8164dacf0d52 ocaml(NStdlib_Classes_DecidableClass) = 1af8b4bcfbf2b1189fa081e07d5e40c6 ocaml(NStdlib_Lists_List) = 16df92ecef4373b41decd062bfd03198 ocaml(NStdlib_Logic_HLevelsBase) = 8afbba98143cc697fc4f1189f0477a43 ocaml(NStdlib_NArith_BinNat) = 02781db4bf87a677b130e01bba3910b9 ocaml(NStdlib_PArith_BinPos) = 79ce659b348c8fe27c9e10c19bade35b ocaml(NStdlib_QArith_QArith_base) = 07c6dd8aecb44b4b90340b39e1f90cf7 ocaml(NStdlib_QArith_Qabs) = 91a096f429849fd771fb669ef268cb01 ocaml(NStdlib_QArith_Qreduction) = a6c4ce8eeb17fbd06ffc2c62682d9937 ocaml(NStdlib_Reals_Cauchy_ConstructiveCauchyReals) = 880e235b297c7ed03553551f0885da50 ocaml(NStdlib_Reals_Cauchy_ConstructiveCauchyRealsMult) = b2b58da2e31070950059fed76917e8dd ocaml(NStdlib_Reals_Cauchy_QExtra) = 2e0c0b05819ab673e801b4c87f4673aa ocaml(NStdlib_Reals_RIneq) = 7491c9e1c8fb2a7bdfd0f97d1e6bdd59 ocaml(NStdlib_Reals_R_sqrt) = ab1d76545123185567766bd1ac05fe17 ocaml(NStdlib_Reals_Raxioms) = 741230bb157497275fbcf5edd8f45e78 ocaml(NStdlib_Reals_Rbasic_fun) = 9c4a2ab045215b4ddea546a72dd34f6d ocaml(NStdlib_Reals_Rdefinitions) = 884e5a26d3da09ff9a42b36afb3215e1 ocaml(NStdlib_Reals_Rfunctions) = 92f96cb1300f4b8acd9fb91dfbd6fa40 ocaml(NStdlib_Reals_Rpow_def) = 84477ca7ca9f722c44642c2f7cfa8c44 ocaml(NStdlib_Reals_Rsqrt_def) = e7d146b6757c649afb8f3e90abeced40 ocaml(NStdlib_Structures_OrdersTac) = 5b44b31c258b0a934884a0f1c4019424 ocaml(NStdlib_ZArith_BinInt) = 39ce9a7f51fb8094619a87b7992ed174 ocaml(NStdlib_ZArith_ZArith_dec) = 956574947db365cc88c411fd9df22d5b ocaml(NStdlib_ZArith_Zpower) = 6c28236fe5dbcaccc31d1d13979103b9 ocaml(NStdlib_setoid_ring_BinList) = 92a691e02fe90e492f938c812dddf2ba ocaml(NStdlib_setoid_ring_Field_theory) = a07e451b73c6450926b1e84ffefef5a2 ocaml(NStdlib_setoid_ring_Ring_polynom) = cba0f4b472d9956ecd85f60547c5515f ocaml(NStdlib_setoid_ring_Ring_theory) = 2eb844324ac576c0b1481b087ae8d393 ocaml(Namegen) = b174a577fbeda816c838f72f941b74b9 ocaml(Nameops) = 89f06fe391f7f072a96548bd25842ee8 ocaml(Names) = f2fd0dd7f492abdd5e55c86dea1a1714 ocaml(Nativecode) = be58dac2002ed3eabed855e79f8f4907 ocaml(Nativeconv) = f75564750b9b4a5aa826f167467fecee ocaml(Nativelib) = 4a49f52d766cb5e927901e692c3703b9 ocaml(Nativevalues) = 39bb8fe443d39b778855766f9522b9af ocaml(NeList) = 7fd80b98ad74757a38fb8feefb62c9a7 ocaml(Notation) = f754d5ecc6d6dd838d62fe593b083152 ocaml(Notation_term) = c0174eac7679198da1252173eac3cb2c ocaml(Notationextern) = 10932840cdb3eba36e4f6c04579e21f6 ocaml(NumTok) = 5825058b8c83d39fc9fe3c0a71bb2331 ocaml(ObjFile) = 25dd0e5647c5865eaa71e7db809a9e5f ocaml(Opaqueproof) = 799dbdae573f9a52f90d6ff934941d4a ocaml(Opaques) = a8863e22cf7cd58d47dd276ac84ab103 ocaml(PConstraints) = c690155ab24d08ceeba565bc16954fc4 ocaml(Parray) = ada8d69c7b1080d775636133f4554360 ocaml(Partial_subst) = d0a694f2626cecd5d818f389ea1954a2 ocaml(Pattern) = 1d4e37d22fd34a8df4e8b3db774f8309 ocaml(Pcoq) = 65ac2b477ad15b1512f0a9ed303cd148 ocaml(PolyFlags) = 8398e1086f0ee914cfcb2df7139aa845 ocaml(Pp) = a3240b9aca1401ce479dc8d56de4079e ocaml(Predicate) = 8dab2e64145accdd2f7a4ca1384b7899 ocaml(Pretype_errors) = bcb24fe208ddaf4e727fa790749ecd13 ocaml(Pretyping) = a539cd1213c71b3eaebdb3818e7fe62a ocaml(PrimNotations) = 270a1f621fcf0b5178e1968dcc0780a9 ocaml(Primred) = 4db1e0fbff68b72d29343688355b5dcc ocaml(Printer) = 1c411c6a4f8fb1658cac2eb2e5b0c146 ocaml(PrintingFlags) = 3dde8fa6a4dc454860bc3664e97381d1 ocaml(Procq) = 112d6b56f13fa1ef00e41939bba4dbac ocaml(Proof) = db79d4c0a7e3bb1b95089876ddbb3d66 ocaml(Proof_bullet) = ec74a74b6ccb18651583e503bc9ac83c ocaml(Proofview) = 8c85721b9dbaf6f01c34d63a398671ec ocaml(Proofview_monad) = ab3df107bc210ba0c80e5c9488ad3cc9 ocaml(Pstring) = 713359389f44624c284e5e4d20a80627 ocaml(Pvernac) = 7dddf2cc40091ba6ec2202427730188e ocaml(QGraph) = 065641915882f0927e614c6b4e9c4ef7 ocaml(Quickfix) = a8f347b27dc5e58c308b6569477dbfb0 ocaml(Range) = 8ac81b8659e15fffbbfa2497f5d41683 ocaml(RedFlags) = 2eb5167aa428ffc2dee46c0f70469baa ocaml(Redexpr) = 80763b37c9a55d6e7fb3c96ef1b42206 ocaml(Reductionops) = b4f9469f95615a8f706cb6fe856bd4e1 ocaml(RetrieveObl) = 68177f07955eafb3d40dab57a939150d ocaml(Retroknowledge) = 77f32338d345cb93374614f30f5aebfe ocaml(Rewrite) = e5799616aa661b27d31304b021eca987 ocaml(Rocqlib) = 3381a857ec924ce53524361a200d0767 ocaml(Rtree) = 76c9c7866446e0e30fb1f7e89ba8fe56 ocaml(SList) = 8f839b11093748431b165456534a4cde ocaml(Safe_typing) = 55e1a196fb880f38e2c1aecb8320c18a ocaml(Section) = 96707675d20e8001e22d98d02571f3b4 ocaml(Smartlocate) = b4deda0e4ccb53c9ed7e7ed06df000d1 ocaml(Sorts) = e720410f4c1c87fd15bcc0660e5e2773 ocaml(Stateid) = 7a2fd3563391a6fa0d41e519f878e667 ocaml(Stdlib) = 7ff659a4a6b8ca32adc85623b24921e4 ocaml(Stdlib__Array) = c1e9990cfc96f4a80be219086df84a1a ocaml(Stdlib__Bigarray) = 53e1fb135dc2b52a9be495706f0fe941 ocaml(Stdlib__Buffer) = 199531813c148c733aa4841901f61885 ocaml(Stdlib__Bytes) = 673437615face5d16342decc909aee70 ocaml(Stdlib__Complex) = 10107702cfc5d64ad493797d02699351 ocaml(Stdlib__Digest) = 34f0d73da12b160ad2ec9f14ef6ccb12 ocaml(Stdlib__Domain) = f4f911af3a887deb4246da1952f3bbde ocaml(Stdlib__Either) = d0d544d8ad6cd8d3916ef604e87e8b79 ocaml(Stdlib__Filename) = dca44599068c4f1117dfeb6a2637f3f9 ocaml(Stdlib__Format) = 59fa71efaaaea19dea6b27602dcaaaa2 ocaml(Stdlib__Hashtbl) = 962e9d183e8a207a666ca7506cf46032 ocaml(Stdlib__Int32) = eb4f33ed29b560525b336e79955fa30a ocaml(Stdlib__Int64) = 29e84e0d87545e4220cc5617eb2d20d5 ocaml(Stdlib__Lazy) = d0b8d3be22a8b5bdfc9dda1877ae006f ocaml(Stdlib__List) = 1f65c7c74ac3633417a8002cc6dd0e53 ocaml(Stdlib__Map) = 2d8ea4e0be35a4403643e7043fc81316 ocaml(Stdlib__Nativeint) = 3274bc361f120620f5df0ee8b898262b ocaml(Stdlib__Obj) = 70f3df7415d40eb721c8413fa408b7b6 ocaml(Stdlib__Random) = 56f5b48db4d9ef67c6b0228d4fe599b4 ocaml(Stdlib__Result) = 57c890b1fb51649494b6cefd7d3ddc9b ocaml(Stdlib__Seq) = 1d1c31e02b77070ff0e51eaaab2af0cc ocaml(Stdlib__Set) = f1c0353417503cf69279f65dd7b31d22 ocaml(Stdlib__String) = 64f1c33cae78f3dd80ca58dbba3deaf9 ocaml(Stdlib__Sys) = 06196acdacded24c46c02b8acd00223a ocaml(Stdlib__Uchar) = f6a44dd0c2e2c80b44deed7eb3c121ef ocaml(Store) = b9136c58a2dd4791fc1d21a39fb36017 ocaml(Summary) = 084ed05b9e4907cf646e45b8c54c4bc0 ocaml(Tacmach) = 334e4a1cf080990a4ce5a98bd96f969f ocaml(Tacred) = fedca45abc194c3b9b4864093c41c8e8 ocaml(Tacticals) = 55f5f370ad390c307aa5ac099a638e2b ocaml(Tactics) = f28ce01b433fe7f3890df02f506769a9 ocaml(Tactypes) = a7de095286524f921722a65b9f8ed3c6 ocaml(Term) = 3d306a1e65ea3031cd7a49ad2da617ed ocaml(Tok) = 8801c057512a080e667eb7474745907e ocaml(TransparentState) = 8644d4ee2bfdfa34b1a36235e0a1d977 ocaml(Type_errors) = fcaabd0444a1c99ae30771def4567fa6 ocaml(Typeclasses) = bf9765dc93febeef19bd2eb13d89dd17 ocaml(UGraph) = 9c5978d0bde2abd2822b261d2e1a9cca ocaml(UState) = aa29b6ceccaae7a1eab96c226d3a2fee ocaml(UVars) = c9355415dc70887145a72d8c6586ac0f ocaml(Uint63) = 7dea127224220e1e5822638ceac8a7d9 ocaml(Unification) = c075390a6c3e4747d77369646af4bd81 ocaml(Univ) = 5ddd51b62bb8fc373e6f4c0b3e0e07fe ocaml(UnivFlex) = 3f2516e92af8e41682b718f5e11cc4a0 ocaml(UnivGen) = 5a0346d1e5e501354e829ca26cad2258 ocaml(UnivNames) = 7ad2c0d7e256c75ab33656025422facb ocaml(UnivProblem) = 8886fae4ff0a2fc623a38efdd041b045 ocaml(UnivSubst) = fceee105827b99460bba49080174ab8f ocaml(Unix) = c1dc7711fef7c883b67ab33c46fd7030 ocaml(UserWarn) = dcba2d44e488412dfb4707f7d5257625 ocaml(Util) = c9f8d7b5acde205a5d3eff397851b62d ocaml(Values) = 696451dda458a5396ea1e78d5be48ab2 ocaml(Vars) = df994ed4104d22dd6199c09908f7e786 ocaml(Vernacexpr) = 355a045286cd9533dd28d43ca21ab3d3 ocaml(Vernacextend) = cddef177f37a2ff236ff56d76d2465c0 ocaml(Vernacstate) = f256d15466966f44331436fe91f58dc6 ocaml(Vernactypes) = 72a11a372c4235e87ce5e9d481e877b2 ocaml(Vmbytecodes) = 4144dfe2dc51e8ad9b44f360d26ebf9d ocaml(Vmemitcodes) = e8759e16602042822fb45e01e62d0a21 ocaml(Vmlibrary) = ce8bcb7232028a1406ef8f53e810d290 ocaml(Vmvalues) = cbed385c0450bda5a0a236753bf2ae79 ocaml(Z) = b8f36df41ec3ad4dd65a34f697424998 ocamlx(CamlinternalLazy) = 2313a03054200b6e2d3b2928585254e0 ocamlx(NFlocq_Calc_Bracket) = 04e4c2b4907530b1acb59ae505c98e59 ocamlx(NFlocq_Core_Defs) = 85a92d72dc55e48a5e2233fa70284e86 ocamlx(NFlocq_Core_Digits) = eebc46f47c1b4ca9edd7696636c8bd44 ocamlx(NFlocq_Core_FIX) = 4c23aadd6fbcc2ee6fb035679c45ac03 ocamlx(NFlocq_Core_FLT) = 814dc38c4dc855795c099b7f704a50ef ocamlx(NFlocq_Core_FLX) = 0b1ddf2632dac37a009607d7a84f08b6 ocamlx(NFlocq_Core_Generic_fmt) = 7262935464fd51f1b54ea604a51b3d58 ocamlx(NFlocq_Core_Raux) = 08664de9307eeaf83faf96ad7354d671 ocamlx(NFlocq_Core_Zaux) = 9892e2226bf8ac4bfaeb004517758bbb ocamlx(NGappa_Gappa_decimal) = 4d67d253875adfff530c2d28fc53e563 ocamlx(NGappa_Gappa_definitions) = d8dae6ffb1153730589ae376f70567d2 ocamlx(NGappa_Gappa_dyadic) = 7c504387af8dfda8a8f6d8a2a958f126 ocamlx(NGappa_Gappa_pred_bnd) = 09017a6c292bf2d8cd7567557bb9488e ocamlx(NGappa_Gappa_round) = fa63cbcb09549c7f01b4f3108617026e ocamlx(NGappa_Gappa_round_aux) = 16c6323355573f99df677b03547eafe0 ocamlx(NGappa_Gappa_round_def) = 996ec041627232c58eef5caef5eee89e ocamlx(NGappa_Gappa_tree) = caf0c4f35f20d79a26406615fb10b3d1 rtld(GNU_HASH)
Processing files: gappalib-coq-source-1.8.0-2.fc45.x86_64
Provides: gappalib-coq-source = 1.8.0-2.fc45 gappalib-coq-source(x86-64) = 1.8.0-2.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debugsource-1.8.0-2.fc45.x86_64
Provides: gappalib-coq-debugsource = 1.8.0-2.fc45 gappalib-coq-debugsource(x86-64) = 1.8.0-2.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64
Provides: debuginfo(build-id) = 0092b253d029feda4bdd62a33821e22f11e3bd25 debuginfo(build-id) = 0effc07c26f749a09f184a94dcf51138fbe99f55 debuginfo(build-id) = 20ab00a2c2b32eef81dbe98cfff4eea7f9b88c95 debuginfo(build-id) = 2740772191706b37a6974eece84ab0f44f6ffcd7 debuginfo(build-id) = 3e6a0c6b010e80efc1c841046b4406760f93caf1 debuginfo(build-id) = 44f4e404ed309b567c1a58851c8722ef7f0bb0d5 debuginfo(build-id) = 49e7ce22b773e2fd1e4620e352f471d14d3ee8df debuginfo(build-id) = 4f0802db2c139ddd3db86a7a5d7146dd52c47755 debuginfo(build-id) = 5185d86da81b14df4e12911d62dc71a182563fdd debuginfo(build-id) = 617d2180d7e11f240f756303cce553af0c2457d2 debuginfo(build-id) = 657474136c0a021a43ad3e9a8f7f804bc02eb7b4 debuginfo(build-id) = 7b021436b822988a23b7327d9bc1a4989543f5b3 debuginfo(build-id) = 80454ca20d6395538c95f6ebd9728ee53cafa24f debuginfo(build-id) = 830fe1c4f4ff0d4eb0a98e8649580fb90380a74a debuginfo(build-id) = 878528e957ce41bd9ec94720081c9a2445da801e debuginfo(build-id) = 8799d6e34a7736c560d4cfa3d9d06a33c52c37e7 debuginfo(build-id) = 8d729691ada013e4b96d870bc189e97234e5762f debuginfo(build-id) = 8f8e5e93be51a29c6aa551c0e36f15441a0bcf7e debuginfo(build-id) = c69e4b21f2fd732a2bf3e90f98dcf5a1f5e32030 debuginfo(build-id) = d19f36fc54ea190680c45e72ce65420b1d698baf debuginfo(build-id) = d62307c1f9eb006588def42afdeeb54b974bc4e1 debuginfo(build-id) = fbc4b8267fb9e35c82b2977334ff73548dc39171 debuginfo(build-id) = fcae0bee92a592392cc7a0eafb9f84330e7fd9f5 gappalib-coq-debuginfo = 1.8.0-2.fc45 gappalib-coq-debuginfo(x86-64) = 1.8.0-2.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappalib-coq-debugsource(x86-64) = 1.8.0-2.fc45
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT
Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.8.0-2.fc45.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-source-1.8.0-2.fc45.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.8.0-2.fc45.x86_64.rpm
Wrote: /builddir/build/RPMS/gappalib-coq-1.8.0-2.fc45.x86_64.rpm
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.axsSgx
+ umask 022
+ cd /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ test -d /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ rm -rf /builddir/build/BUILD/gappalib-coq-1.8.0-build
+ RPM_EC=0
++ jobs -p
+ exit 0
Finish: rpmbuild gappalib-coq-1.8.0-2.fc45.src.rpm
Finish: build phase for gappalib-coq-1.8.0-2.fc45.src.rpm
INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan
INFO: /var/lib/mock/fedora-rawhide-x86_64-1775862948.024037/root/var/log/dnf5.log
INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz
/bin/tar: Removing leading `/' from member names
INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.8.0-2.fc45.src.rpm) Config(child) 0 minutes 47 seconds
INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results
INFO: Cleaning up build root ('cleanup_on_success=True')
Start: clean chroot
INFO: unmounting tmpfs.
Finish: clean chroot
Finish: run
Running RPMResults tool
Package info:
{
    "packages": [
        {
            "name": "gappalib-coq-source",
            "epoch": null,
            "version": "1.8.0",
            "release": "2.fc45",
            "arch": "x86_64"
        },
        {
            "name": "gappalib-coq-debuginfo",
            "epoch": null,
            "version": "1.8.0",
            "release": "2.fc45",
            "arch": "x86_64"
        },
        {
            "name": "gappalib-coq",
            "epoch": null,
            "version": "1.8.0",
            "release": "2.fc45",
            "arch": "src"
        },
        {
            "name": "gappalib-coq-debugsource",
            "epoch": null,
            "version": "1.8.0",
            "release": "2.fc45",
            "arch": "x86_64"
        },
        {
            "name": "gappalib-coq",
            "epoch": null,
            "version": "1.8.0",
            "release": "2.fc45",
            "arch": "x86_64"
        }
    ]
}
RPMResults finished