Warning: Permanently added '98.92.66.225' (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-s390x --chroot fedora-rawhide-s390x Version: 1.6 PID: 12411 Logging PID: 12413 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 10312987, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-s390x', '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-s390x/', '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-s390x', '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-65l_66av/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-65l_66av/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-65l_66av/gappalib-coq'... Running: git checkout 51d6e8a1a3aa42ac426180903fffe043d290b4ec -- cmd: ['git', 'checkout', '51d6e8a1a3aa42ac426180903fffe043d290b4ec', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-65l_66av/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 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-65l_66av/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 6679k 0 --:--:-- --:--:-- --:--:-- 6722k 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-65l_66av/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-65l_66av/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862948.801172 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: Unable to build arch s390x natively on arch x86_64. Setting forcearch to use software emulation. 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-65l_66av/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-65l_66av/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862948.801172 -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-65l_66av/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-s390x) 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-s390x-bootstrap-1775862948.801172/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-be61a60c-2e11-4e71-b643-dbd452862962 INFO: Checking that ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 image matches host's architecture INFO: Copy content of container ff123ea0a3a7ba83cc21235201f318e64a07ecff6781740d24bedeb1c33b6a35 to /var/lib/mock/fedora-rawhide-s390x-bootstrap-1775862948.801172/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-be61a60c-2e11-4e71-b643-dbd452862962 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-s390x-1775862948.801172/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.7 MiB/s | 19.4 MiB | 00m01s Copr repository 100% | 441.5 KiB/s | 325.4 KiB | 00m01s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash s390x 0:5.3.9-3.fc44 fedora 8.6 MiB bzip2 s390x 0:1.0.8-23.fc44 fedora 86.6 KiB coreutils s390x 0:9.10-3.fc45 fedora 5.8 MiB cpio s390x 0:2.15-9.fc44 fedora 1.1 MiB diffutils s390x 0:3.12-5.fc44 fedora 1.6 MiB fedora-release-common noarch 0:45-0.5 fedora 4.2 KiB findutils s390x 1:4.10.0-7.fc44 fedora 1.9 MiB gawk s390x 0:5.4.0-2.fc45 fedora 2.2 MiB glibc-minimal-langpack s390x 0:2.43.9000-8.fc45 fedora 0.0 B grep s390x 0:3.12-3.fc44 fedora 1.0 MiB gzip s390x 0:1.14-2.fc44 fedora 397.2 KiB info s390x 0:7.3-1.fc45 fedora 403.8 KiB patch s390x 0:2.8-4.fc44 fedora 242.2 KiB redhat-rpm-config noarch 0:344-1.fc45 fedora 183.7 KiB rpm-build s390x 0:6.0.1-5.fc45 fedora 280.7 KiB sed s390x 0:4.9-8.fc45 fedora 864.9 KiB shadow-utils s390x 2:4.19.3-1.fc45 fedora 4.0 MiB tar s390x 2:1.35-8.fc44 fedora 3.0 MiB unzip s390x 0:6.0-69.fc44 fedora 433.0 KiB util-linux s390x 0:2.42-7.fc45 fedora 3.5 MiB which s390x 0:2.23-4.fc44 fedora 83.1 KiB xz s390x 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 s390x 0:0.7.3-2.fc45 fedora 2.4 MiB alternatives s390x 0:1.33-5.fc44 fedora 61.8 KiB ansible-srpm-macros noarch 0:1-20.1.fc44 fedora 35.7 KiB audit-libs s390x 0:4.1.4-1.fc45 fedora 393.8 KiB binutils s390x 0:2.46.50-7.fc45 fedora 29.5 MiB build-reproducibility-srpm-macros noarch 0:0.7.3-2.fc45 fedora 1.2 KiB bzip2-libs s390x 0:1.0.8-23.fc44 fedora 84.3 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 s390x 0:9.10-3.fc45 fedora 10.7 MiB crypto-policies noarch 0:20251128-3.git19878fe.fc44 fedora 132.6 KiB curl s390x 0:8.20.0~rc1-1.fc45 fedora 502.5 KiB cyrus-sasl-lib s390x 0:2.1.28-35.fc44 fedora 2.4 MiB debugedit s390x 0:5.3-2.fc45 fedora 224.1 KiB dwz s390x 0:0.16-3.fc44 fedora 306.2 KiB ed s390x 0:1.22.5-2.fc45 fedora 149.5 KiB efi-srpm-macros noarch 0:6-6.fc44 fedora 40.2 KiB elfutils s390x 0:0.194-5.fc45 fedora 3.0 MiB elfutils-debuginfod-client s390x 0:0.194-5.fc45 fedora 75.2 KiB elfutils-default-yama-scope noarch 0:0.194-5.fc45 fedora 1.8 KiB elfutils-libelf s390x 0:0.194-5.fc45 fedora 1.1 MiB elfutils-libs s390x 0:0.194-5.fc45 fedora 778.0 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 s390x 0:5.47-1.fc45 fedora 100.9 KiB file-libs s390x 0:5.47-1.fc45 fedora 12.2 MiB filesystem s390x 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 s390x 0:17.1-5.fc45 fedora 16.0 MiB gdbm-libs s390x 1:1.23-11.fc44 fedora 125.2 KiB ghc-srpm-macros noarch 0:1.10-1.fc44 fedora 792.0 B glibc s390x 0:2.43.9000-8.fc45 fedora 5.4 MiB glibc-common s390x 0:2.43.9000-8.fc45 fedora 1.1 MiB glibc-gconv-extra s390x 0:2.43.9000-8.fc45 fedora 6.8 MiB gmp s390x 1:6.3.0-5.fc44 fedora 773.8 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 s390x 0:2.4.9-5.fc44 fedora 6.6 MiB gnupg2-dirmngr s390x 0:2.4.9-5.fc44 fedora 661.2 KiB gnupg2-gpg-agent s390x 0:2.4.9-5.fc44 fedora 721.4 KiB gnupg2-gpgconf s390x 0:2.4.9-5.fc44 fedora 273.1 KiB gnupg2-keyboxd s390x 0:2.4.9-5.fc44 fedora 213.0 KiB gnupg2-verify s390x 0:2.4.9-5.fc44 fedora 364.0 KiB gnutls s390x 0:3.8.12-1.fc45 fedora 3.6 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 s390x 0:1.6.2-10.fc45 fedora 56.3 KiB jansson s390x 0:2.14-4.fc44 fedora 88.7 KiB java-srpm-macros noarch 0:1-8.fc44 fedora 870.0 B json-c s390x 0:0.18-8.fc44 fedora 82.3 KiB kernel-srpm-macros noarch 0:1.0-29.fc45 fedora 1.9 KiB keyutils-libs s390x 0:1.6.3-7.fc44 fedora 49.9 KiB krb5-libs s390x 0:1.22.2-4.fc45 fedora 2.5 MiB libacl s390x 0:2.3.2-6.fc44 fedora 35.6 KiB libarchive s390x 0:3.8.6-1.fc45 fedora 1.0 MiB libassuan s390x 0:2.5.7-5.fc44 fedora 163.6 KiB libattr s390x 0:2.5.2-8.fc44 fedora 24.1 KiB libblkid s390x 0:2.42-7.fc45 fedora 290.1 KiB libbrotli s390x 0:1.2.0-3.fc44 fedora 912.3 KiB libcap s390x 0:2.78-1.fc45 fedora 210.1 KiB libcap-ng s390x 0:0.9.3-1.fc45 fedora 64.3 KiB libcbor s390x 0:0.13.0-2.fc44 fedora 79.3 KiB libcom_err s390x 0:1.47.4-1.fc45 fedora 58.8 KiB libcurl s390x 0:8.20.0~rc1-1.fc45 fedora 1.0 MiB libeconf s390x 0:0.7.9-3.fc44 fedora 64.6 KiB libevent s390x 0:2.1.12-17.fc44 fedora 981.7 KiB libfdisk s390x 0:2.42-7.fc45 fedora 394.5 KiB libffi s390x 0:3.5.2-2.fc44 fedora 79.3 KiB libfido2 s390x 0:1.16.0-5.fc44 fedora 238.4 KiB libfsverity s390x 0:1.7-1.fc45 fedora 24.1 KiB libgcc s390x 0:16.0.1-0.10.fc45 fedora 213.6 KiB libgcrypt s390x 0:1.12.1-1.fc45 fedora 1.3 MiB libgomp s390x 0:16.0.1-0.10.fc45 fedora 576.6 KiB libgpg-error s390x 0:1.59-1.fc45 fedora 954.0 KiB libidn2 s390x 0:2.3.8-3.fc44 fedora 560.2 KiB libksba s390x 0:1.6.8-1.fc45 fedora 417.7 KiB liblastlog2 s390x 0:2.42-7.fc45 fedora 33.2 KiB libmount s390x 0:2.42-7.fc45 fedora 400.0 KiB libnghttp2 s390x 0:1.68.1-1.fc45 fedora 169.7 KiB libnghttp3 s390x 0:1.15.0-1.fc44 fedora 154.4 KiB libpkgconf s390x 0:2.5.1-1.fc45 fedora 93.7 KiB libpsl s390x 0:0.21.5-7.fc44 fedora 76.1 KiB libselinux s390x 0:3.10-1.fc44 fedora 208.9 KiB libselinux-utils s390x 0:3.10-1.fc44 fedora 269.4 KiB libsemanage s390x 0:3.10-1.fc44 fedora 311.8 KiB libsepol s390x 0:3.10-1.fc44 fedora 865.9 KiB libsmartcols s390x 0:2.42-7.fc45 fedora 196.2 KiB libssh s390x 0:0.12.0-1.fc45 fedora 702.6 KiB libssh-config noarch 0:0.12.0-1.fc45 fedora 277.0 B libstdc++ s390x 0:16.0.1-0.10.fc45 fedora 3.2 MiB libtasn1 s390x 0:4.21.0-1.fc45 fedora 184.4 KiB libtool-ltdl s390x 0:2.5.4-10.fc44 fedora 69.6 KiB libunistring s390x 0:1.1-11.fc44 fedora 1.8 MiB libusb1 s390x 0:1.0.29-5.fc44 fedora 174.5 KiB libuuid s390x 0:2.42-7.fc45 fedora 33.0 KiB libverto s390x 0:0.3.2-12.fc44 fedora 25.0 KiB libxcrypt s390x 0:4.5.2-3.fc44 fedora 289.0 KiB libxml2 s390x 0:2.12.10-6.fc44 fedora 1.9 MiB libzstd s390x 0:1.5.7-5.fc44 fedora 1.0 MiB linkdupes s390x 0:0.7.3-2.fc45 fedora 916.0 KiB lua-libs s390x 0:5.5.0-1.fc45 fedora 341.8 KiB lua-srpm-macros noarch 0:1-17.fc44 fedora 1.3 KiB lz4-libs s390x 0:1.10.0-4.fc44 fedora 197.1 KiB mpfr s390x 0:4.2.2-3.fc44 fedora 699.4 KiB ncurses-base noarch 0:6.6-1.fc44 fedora 329.7 KiB ncurses-libs s390x 0:6.6-1.fc44 fedora 1.0 MiB nettle s390x 0:3.10.1-3.fc44 fedora 837.4 KiB ngtcp2 s390x 0:1.21.0-1.fc45 fedora 316.9 KiB ngtcp2-crypto-ossl s390x 0:1.21.0-1.fc45 fedora 47.2 KiB npth s390x 0:1.8-4.fc44 fedora 45.1 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 s390x 0:2.6.13-1.fc45 fedora 675.3 KiB openssl-libs s390x 1:3.5.5-1.fc44 fedora 7.4 MiB p11-kit s390x 0:0.26.2-1.fc45 fedora 2.9 MiB p11-kit-trust s390x 0:0.26.2-1.fc45 fedora 573.5 KiB package-notes-srpm-macros noarch 0:0.17-3.fc45 fedora 1.6 KiB pam-libs s390x 0:1.7.2-1.fc44 fedora 121.8 KiB pcre2 s390x 0:10.47-1.fc44.1 fedora 729.9 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 s390x 0:2.5.1-1.fc45 fedora 92.5 KiB pkgconf-m4 noarch 0:2.5.1-1.fc45 fedora 14.3 KiB pkgconf-pkg-config s390x 0:2.5.1-1.fc45 fedora 988.0 B policycoreutils s390x 0:3.10-3.fc45 fedora 865.8 KiB popt s390x 0:1.19-10.fc44 fedora 140.4 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 s390x 0:8.3-4.fc44 fedora 575.1 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 s390x 0:6.0.1-5.fc45 fedora 3.1 MiB rpm-build-libs s390x 0:6.0.1-5.fc45 fedora 271.8 KiB rpm-libs s390x 0:6.0.1-5.fc45 fedora 1.0 MiB rpm-plugin-selinux s390x 0:6.0.1-5.fc45 fedora 11.6 KiB rpm-sequoia s390x 0:1.10.1-1.fc45 fedora 2.5 MiB rpm-sign-libs s390x 0:6.0.1-5.fc45 fedora 35.4 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 s390x 0:3.52.0-1.fc45 fedora 1.7 MiB systemd-libs s390x 0:260.1-2.fc45 fedora 2.5 MiB systemd-standalone-sysusers s390x 0:260.1-2.fc45 fedora 835.4 KiB tpm2-tss s390x 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 s390x 0:2.42-7.fc45 fedora 1.4 MiB xxhash-libs s390x 0:0.8.3-4.fc44 fedora 65.6 KiB xz-libs s390x 1:5.8.3-1.fc45 fedora 221.2 KiB zig-srpm-macros noarch 0:1-8.fc44 fedora 1.3 KiB zip s390x 0:3.0-45.fc44 fedora 729.1 KiB zlib-ng-compat s390x 0:2.3.3-5.fc45 fedora 125.1 KiB zstd s390x 0:1.5.7-5.fc44 fedora 509.6 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.s390x 100% | 6.4 MiB/s | 52.6 KiB | 00m00s [ 2/187] coreutils-0:9.10-3.fc45.s390x 100% | 87.2 MiB/s | 1.2 MiB | 00m00s [ 3/187] bash-0:5.3.9-3.fc44.s390x 100% | 73.6 MiB/s | 1.9 MiB | 00m00s [ 4/187] cpio-0:2.15-9.fc44.s390x 100% | 19.4 MiB/s | 297.4 KiB | 00m00s [ 5/187] diffutils-0:3.12-5.fc44.s390x 100% | 39.5 MiB/s | 404.9 KiB | 00m00s [ 6/187] fedora-release-common-0:45-0. 100% | 6.0 MiB/s | 18.5 KiB | 00m00s [ 7/187] findutils-1:4.10.0-7.fc44.s39 100% | 77.4 MiB/s | 554.7 KiB | 00m00s [ 8/187] glibc-minimal-langpack-0:2.43 100% | 15.1 MiB/s | 93.0 KiB | 00m00s [ 9/187] gawk-0:5.4.0-2.fc45.s390x 100% | 107.0 MiB/s | 1.2 MiB | 00m00s [ 10/187] grep-0:3.12-3.fc44.s390x 100% | 49.5 MiB/s | 304.3 KiB | 00m00s [ 11/187] gzip-0:1.14-2.fc44.s390x 100% | 43.6 MiB/s | 178.7 KiB | 00m00s [ 12/187] info-0:7.3-1.fc45.s390x 100% | 48.1 MiB/s | 196.9 KiB | 00m00s [ 13/187] patch-0:2.8-4.fc44.s390x 100% | 29.9 MiB/s | 122.3 KiB | 00m00s [ 14/187] redhat-rpm-config-0:344-1.fc4 100% | 19.1 MiB/s | 78.4 KiB | 00m00s [ 15/187] rpm-build-0:6.0.1-5.fc45.s390 100% | 27.3 MiB/s | 140.0 KiB | 00m00s [ 16/187] sed-0:4.9-8.fc45.s390x 100% | 52.0 MiB/s | 319.7 KiB | 00m00s [ 17/187] shadow-utils-2:4.19.3-1.fc45. 100% | 108.8 MiB/s | 1.3 MiB | 00m00s [ 18/187] unzip-0:6.0-69.fc44.s390x 100% | 28.7 MiB/s | 205.6 KiB | 00m00s [ 19/187] tar-2:1.35-8.fc44.s390x 100% | 77.8 MiB/s | 876.3 KiB | 00m00s [ 20/187] which-0:2.23-4.fc44.s390x 100% | 10.5 MiB/s | 43.0 KiB | 00m00s [ 21/187] xz-1:5.8.3-1.fc45.s390x 100% | 91.5 MiB/s | 656.1 KiB | 00m00s [ 22/187] util-linux-0:2.42-7.fc45.s390 100% | 95.2 MiB/s | 1.2 MiB | 00m00s [ 23/187] filesystem-0:3.18-56.fc45.s39 100% | 87.3 MiB/s | 1.8 MiB | 00m00s [ 24/187] ncurses-libs-0:6.6-1.fc44.s39 100% | 25.0 MiB/s | 358.7 KiB | 00m00s [ 25/187] glibc-0:2.43.9000-8.fc45.s390 100% | 101.0 MiB/s | 2.0 MiB | 00m00s [ 26/187] bzip2-libs-0:1.0.8-23.fc44.s3 100% | 11.7 MiB/s | 47.9 KiB | 00m00s [ 27/187] libacl-0:2.3.2-6.fc44.s390x 100% | 8.1 MiB/s | 24.8 KiB | 00m00s [ 28/187] gmp-1:6.3.0-5.fc44.s390x 100% | 64.3 MiB/s | 329.2 KiB | 00m00s [ 29/187] coreutils-common-0:9.10-3.fc4 100% | 177.8 MiB/s | 2.1 MiB | 00m00s [ 30/187] libcap-0:2.78-1.fc45.s390x 100% | 29.5 MiB/s | 90.7 KiB | 00m00s [ 31/187] libattr-0:2.5.2-8.fc44.s390x 100% | 3.5 MiB/s | 18.0 KiB | 00m00s [ 32/187] libselinux-0:3.10-1.fc44.s390 100% | 33.1 MiB/s | 101.8 KiB | 00m00s [ 33/187] systemd-libs-0:260.1-2.fc45.s 100% | 119.7 MiB/s | 857.7 KiB | 00m00s [ 34/187] fedora-repos-0:45-0.1.noarch 100% | 1.3 MiB/s | 9.2 KiB | 00m00s [ 35/187] redhat-systemd-presets-0:102- 100% | 2.7 MiB/s | 8.3 KiB | 00m00s [ 36/187] openssl-libs-1:3.5.5-1.fc44.s 100% | 131.6 MiB/s | 2.4 MiB | 00m00s [ 37/187] mpfr-0:4.2.2-3.fc44.s390x 100% | 36.6 MiB/s | 299.8 KiB | 00m00s [ 38/187] readline-0:8.3-4.fc44.s390x 100% | 33.6 MiB/s | 241.2 KiB | 00m00s [ 39/187] glibc-common-0:2.43.9000-8.fc 100% | 96.9 MiB/s | 396.9 KiB | 00m00s [ 40/187] pcre2-0:10.47-1.fc44.1.s390x 100% | 71.5 MiB/s | 292.7 KiB | 00m00s [ 41/187] ed-0:1.22.5-2.fc45.s390x 100% | 13.9 MiB/s | 85.4 KiB | 00m00s [ 42/187] R-srpm-macros-0:1.3.7-1.fc45. 100% | 3.6 MiB/s | 11.0 KiB | 00m00s [ 43/187] ansible-srpm-macros-0:1-20.1. 100% | 6.5 MiB/s | 20.1 KiB | 00m00s [ 44/187] build-reproducibility-srpm-ma 100% | 6.5 MiB/s | 13.3 KiB | 00m00s [ 45/187] cmake-srpm-macros-0:4.3.0-1.f 100% | 10.2 MiB/s | 10.4 KiB | 00m00s [ 46/187] erlang-srpm-macros-0:0.3.11-1 100% | 3.2 MiB/s | 10.0 KiB | 00m00s [ 47/187] dwz-0:0.16-3.fc44.s390x 100% | 35.1 MiB/s | 143.6 KiB | 00m00s [ 48/187] efi-srpm-macros-0:6-6.fc44.no 100% | 4.4 MiB/s | 22.6 KiB | 00m00s [ 49/187] filesystem-srpm-macros-0:3.18 100% | 8.7 MiB/s | 26.8 KiB | 00m00s [ 50/187] file-0:5.47-1.fc45.s390x 100% | 12.0 MiB/s | 49.3 KiB | 00m00s [ 51/187] fonts-srpm-macros-1:5.0.0-3.f 100% | 8.9 MiB/s | 27.2 KiB | 00m00s [ 52/187] forge-srpm-macros-0:0.4.0-4.f 100% | 9.8 MiB/s | 20.0 KiB | 00m00s [ 53/187] gap-srpm-macros-0:2-2.fc44.no 100% | 4.5 MiB/s | 9.1 KiB | 00m00s [ 54/187] fpc-srpm-macros-0:1.3-16.fc44 100% | 2.6 MiB/s | 7.9 KiB | 00m00s [ 55/187] ghc-srpm-macros-0:1.10-1.fc44 100% | 4.3 MiB/s | 8.8 KiB | 00m00s [ 56/187] gnat-srpm-macros-0:7-2.fc44.n 100% | 4.3 MiB/s | 8.7 KiB | 00m00s [ 57/187] go-srpm-macros-0:3.8.0-2.fc44 100% | 13.8 MiB/s | 28.2 KiB | 00m00s [ 58/187] java-srpm-macros-0:1-8.fc44.n 100% | 4.0 MiB/s | 8.1 KiB | 00m00s [ 59/187] kernel-srpm-macros-0:1.0-29.f 100% | 2.7 MiB/s | 8.2 KiB | 00m00s [ 60/187] lua-srpm-macros-0:1-17.fc44.n 100% | 4.3 MiB/s | 8.9 KiB | 00m00s [ 61/187] ocaml-srpm-macros-0:11-3.fc44 100% | 4.5 MiB/s | 9.3 KiB | 00m00s [ 62/187] openblas-srpm-macros-0:2-21.f 100% | 3.8 MiB/s | 7.8 KiB | 00m00s [ 63/187] package-notes-srpm-macros-0:0 100% | 4.7 MiB/s | 9.7 KiB | 00m00s [ 64/187] perl-srpm-macros-0:1-61.fc44. 100% | 8.2 MiB/s | 8.4 KiB | 00m00s [ 65/187] pyproject-srpm-macros-0:1.19. 100% | 13.0 MiB/s | 13.3 KiB | 00m00s [ 66/187] python-srpm-macros-0:3.14-12. 100% | 11.8 MiB/s | 24.1 KiB | 00m00s [ 67/187] qt5-srpm-macros-0:5.15.18-2.f 100% | 4.2 MiB/s | 8.7 KiB | 00m00s [ 68/187] qt6-srpm-macros-0:6.10.3-1.fc 100% | 8.9 MiB/s | 9.2 KiB | 00m00s [ 69/187] rust-srpm-macros-0:28.4-3.fc4 100% | 5.4 MiB/s | 11.1 KiB | 00m00s [ 70/187] rpm-0:6.0.1-5.fc45.s390x 100% | 141.5 MiB/s | 579.6 KiB | 00m00s [ 71/187] tree-sitter-srpm-macros-0:0.4 100% | 4.4 MiB/s | 13.5 KiB | 00m00s [ 72/187] zig-srpm-macros-0:1-8.fc44.no 100% | 2.9 MiB/s | 8.8 KiB | 00m00s [ 73/187] zip-0:3.0-45.fc44.s390x 100% | 91.6 MiB/s | 281.3 KiB | 00m00s [ 74/187] debugedit-0:5.3-2.fc45.s390x 100% | 17.7 MiB/s | 90.4 KiB | 00m00s [ 75/187] elfutils-0:0.194-5.fc45.s390x 100% | 97.6 MiB/s | 599.6 KiB | 00m00s [ 76/187] elfutils-libelf-0:0.194-5.fc4 100% | 40.7 MiB/s | 208.5 KiB | 00m00s [ 77/187] libarchive-0:3.8.6-1.fc45.s39 100% | 89.1 MiB/s | 456.2 KiB | 00m00s [ 78/187] libgcc-0:16.0.1-0.10.fc45.s39 100% | 25.7 MiB/s | 105.1 KiB | 00m00s [ 79/187] pkgconf-pkg-config-0:2.5.1-1. 100% | 3.1 MiB/s | 9.4 KiB | 00m00s [ 80/187] libstdc++-0:16.0.1-0.10.fc45. 100% | 123.4 MiB/s | 1.0 MiB | 00m00s [ 81/187] popt-0:1.19-10.fc44.s390x 100% | 13.2 MiB/s | 67.8 KiB | 00m00s [ 82/187] binutils-0:2.46.50-7.fc45.s39 100% | 206.1 MiB/s | 6.4 MiB | 00m00s [ 83/187] rpm-build-libs-0:6.0.1-5.fc45 100% | 17.9 MiB/s | 128.1 KiB | 00m00s [ 84/187] rpm-libs-0:6.0.1-5.fc45.s390x 100% | 56.9 MiB/s | 408.1 KiB | 00m00s [ 85/187] audit-libs-0:4.1.4-1.fc45.s39 100% | 68.7 MiB/s | 140.8 KiB | 00m00s [ 86/187] libeconf-0:0.7.9-3.fc44.s390x 100% | 17.8 MiB/s | 36.4 KiB | 00m00s [ 87/187] zstd-0:1.5.7-5.fc44.s390x 100% | 47.7 MiB/s | 195.5 KiB | 00m00s [ 88/187] libsemanage-0:3.10-1.fc44.s39 100% | 40.2 MiB/s | 123.5 KiB | 00m00s [ 89/187] pam-libs-0:1.7.2-1.fc44.s390x 100% | 28.2 MiB/s | 57.8 KiB | 00m00s [ 90/187] libxcrypt-0:4.5.2-3.fc44.s390 100% | 43.3 MiB/s | 133.1 KiB | 00m00s [ 91/187] setup-0:2.15.0-29.fc45.noarch 100% | 76.8 MiB/s | 157.3 KiB | 00m00s [ 92/187] libcap-ng-0:0.9.3-1.fc45.s390 100% | 11.3 MiB/s | 34.9 KiB | 00m00s [ 93/187] libblkid-0:2.42-7.fc45.s390x 100% | 26.0 MiB/s | 132.9 KiB | 00m00s [ 94/187] libfdisk-0:2.42-7.fc45.s390x 100% | 40.3 MiB/s | 165.2 KiB | 00m00s [ 95/187] liblastlog2-0:2.42-7.fc45.s39 100% | 5.6 MiB/s | 23.0 KiB | 00m00s [ 96/187] libmount-0:2.42-7.fc45.s390x 100% | 54.5 MiB/s | 167.5 KiB | 00m00s [ 97/187] libsmartcols-0:2.42-7.fc45.s3 100% | 28.2 MiB/s | 86.7 KiB | 00m00s [ 98/187] libuuid-0:2.42-7.fc45.s390x 100% | 13.1 MiB/s | 26.8 KiB | 00m00s [ 99/187] util-linux-core-0:2.42-7.fc45 100% | 113.5 MiB/s | 581.1 KiB | 00m00s [100/187] zlib-ng-compat-0:2.3.3-5.fc45 100% | 14.8 MiB/s | 75.5 KiB | 00m00s [101/187] xz-libs-1:5.8.3-1.fc45.s390x 100% | 23.0 MiB/s | 117.8 KiB | 00m00s [102/187] gnulib-l10n-0:20241231-2.fc44 100% | 29.4 MiB/s | 150.3 KiB | 00m00s [103/187] ncurses-base-0:6.6-1.fc44.noa 100% | 8.6 MiB/s | 88.0 KiB | 00m00s [104/187] glibc-gconv-extra-0:2.43.9000 100% | 120.3 MiB/s | 1.7 MiB | 00m00s [105/187] libsepol-0:3.10-1.fc44.s390x 100% | 38.1 MiB/s | 351.6 KiB | 00m00s [106/187] ca-certificates-0:2025.2.80_v 100% | 94.6 MiB/s | 968.8 KiB | 00m00s [107/187] crypto-policies-0:20251128-3. 100% | 13.7 MiB/s | 98.3 KiB | 00m00s [108/187] fedora-gpg-keys-0:45-0.1.noar 100% | 23.0 MiB/s | 141.3 KiB | 00m00s [109/187] fedora-repos-rawhide-0:45-0.1 100% | 2.1 MiB/s | 8.8 KiB | 00m00s [110/187] redhat-systemd-presets-common 100% | 4.2 MiB/s | 12.9 KiB | 00m00s [111/187] pcre2-syntax-0:10.47-1.fc44.1 100% | 53.6 MiB/s | 164.7 KiB | 00m00s [112/187] linkdupes-0:0.7.3-2.fc45.s390 100% | 73.6 MiB/s | 376.8 KiB | 00m00s [113/187] add-determinism-0:0.7.3-2.fc4 100% | 108.2 MiB/s | 886.0 KiB | 00m00s [114/187] file-libs-0:5.47-1.fc45.s390x 100% | 106.6 MiB/s | 873.0 KiB | 00m00s [115/187] curl-0:8.20.0~rc1-1.fc45.s390 100% | 47.3 MiB/s | 242.2 KiB | 00m00s [116/187] alternatives-0:1.33-5.fc44.s3 100% | 8.1 MiB/s | 41.5 KiB | 00m00s [117/187] elfutils-debuginfod-client-0: 100% | 11.4 MiB/s | 46.9 KiB | 00m00s [118/187] jansson-0:2.14-4.fc44.s390x 100% | 14.8 MiB/s | 45.4 KiB | 00m00s [119/187] elfutils-libs-0:0.194-5.fc45. 100% | 94.4 MiB/s | 289.8 KiB | 00m00s [120/187] libxml2-0:2.12.10-6.fc44.s390 100% | 172.4 MiB/s | 706.0 KiB | 00m00s [121/187] libzstd-0:1.5.7-5.fc44.s390x 100% | 49.1 MiB/s | 402.3 KiB | 00m00s [122/187] lz4-libs-0:1.10.0-4.fc44.s390 100% | 13.4 MiB/s | 96.3 KiB | 00m00s [123/187] pkgconf-0:2.5.1-1.fc45.s390x 100% | 9.6 MiB/s | 49.1 KiB | 00m00s [124/187] pkgconf-m4-0:2.5.1-1.fc45.noa 100% | 4.5 MiB/s | 13.8 KiB | 00m00s [125/187] rpm-sign-libs-0:6.0.1-5.fc45. 100% | 6.7 MiB/s | 27.4 KiB | 00m00s [126/187] lua-libs-0:5.5.0-1.fc45.s390x 100% | 21.1 MiB/s | 151.2 KiB | 00m00s [127/187] libgomp-0:16.0.1-0.10.fc45.s3 100% | 41.6 MiB/s | 383.2 KiB | 00m00s [128/187] rpm-sequoia-0:1.10.1-1.fc45.s 100% | 111.8 MiB/s | 915.7 KiB | 00m00s [129/187] sqlite-libs-0:3.52.0-1.fc45.s 100% | 89.0 MiB/s | 819.8 KiB | 00m00s [130/187] libffi-0:3.5.2-2.fc44.s390x 100% | 4.8 MiB/s | 39.1 KiB | 00m00s [131/187] p11-kit-0:0.26.2-1.fc45.s390x 100% | 81.7 MiB/s | 585.3 KiB | 00m00s [132/187] json-c-0:0.18-8.fc44.s390x 100% | 8.8 MiB/s | 44.9 KiB | 00m00s [133/187] p11-kit-trust-0:0.26.2-1.fc45 100% | 25.0 MiB/s | 153.8 KiB | 00m00s [134/187] elfutils-default-yama-scope-0 100% | 2.9 MiB/s | 11.9 KiB | 00m00s [135/187] libpkgconf-0:2.5.1-1.fc45.s39 100% | 5.9 MiB/s | 42.6 KiB | 00m00s [136/187] ima-evm-utils-libs-0:1.6.2-10 100% | 4.8 MiB/s | 29.7 KiB | 00m00s [137/187] gnupg2-0:2.4.9-5.fc44.s390x 100% | 137.9 MiB/s | 1.7 MiB | 00m00s [138/187] libfsverity-0:1.7-1.fc45.s390 100% | 3.6 MiB/s | 18.4 KiB | 00m00s [139/187] libtasn1-0:4.21.0-1.fc45.s390 100% | 25.3 MiB/s | 77.8 KiB | 00m00s [140/187] gpgverify-0:2.2-4.fc44.noarch 100% | 3.7 MiB/s | 11.2 KiB | 00m00s [141/187] gnupg2-dirmngr-0:2.4.9-5.fc44 100% | 69.7 MiB/s | 285.5 KiB | 00m00s [142/187] gnupg2-gpg-agent-0:2.4.9-5.fc 100% | 55.8 MiB/s | 285.8 KiB | 00m00s [143/187] gnupg2-gpgconf-0:2.4.9-5.fc44 100% | 39.8 MiB/s | 122.3 KiB | 00m00s [144/187] gnupg2-keyboxd-0:2.4.9-5.fc44 100% | 32.1 MiB/s | 98.5 KiB | 00m00s [145/187] libassuan-0:2.5.7-5.fc44.s390 100% | 33.0 MiB/s | 67.6 KiB | 00m00s [146/187] gnupg2-verify-0:2.4.9-5.fc44. 100% | 42.7 MiB/s | 175.1 KiB | 00m00s [147/187] libgcrypt-0:1.12.1-1.fc45.s39 100% | 143.9 MiB/s | 589.6 KiB | 00m00s [148/187] libgpg-error-0:1.59-1.fc45.s3 100% | 62.0 MiB/s | 254.1 KiB | 00m00s [149/187] npth-0:1.8-4.fc44.s390x 100% | 6.1 MiB/s | 24.9 KiB | 00m00s [150/187] libksba-0:1.6.8-1.fc45.s390x 100% | 40.0 MiB/s | 163.7 KiB | 00m00s [151/187] gnutls-0:3.8.12-1.fc45.s390x 100% | 146.3 MiB/s | 1.3 MiB | 00m00s [152/187] tpm2-tss-0:4.1.3-9.fc44.s390x 100% | 41.7 MiB/s | 427.0 KiB | 00m00s [153/187] openldap-0:2.6.13-1.fc45.s390 100% | 36.8 MiB/s | 263.8 KiB | 00m00s [154/187] libusb1-0:1.0.29-5.fc44.s390x 100% | 19.2 MiB/s | 78.6 KiB | 00m00s [155/187] libidn2-0:2.3.8-3.fc44.s390x 100% | 43.2 MiB/s | 176.9 KiB | 00m00s [156/187] libunistring-0:1.1-11.fc44.s3 100% | 108.5 MiB/s | 555.6 KiB | 00m00s [157/187] nettle-0:3.10.1-3.fc44.s390x 100% | 74.1 MiB/s | 455.1 KiB | 00m00s [158/187] cyrus-sasl-lib-0:2.1.28-35.fc 100% | 99.9 MiB/s | 818.6 KiB | 00m00s [159/187] libevent-0:2.1.12-17.fc44.s39 100% | 45.9 MiB/s | 282.1 KiB | 00m00s [160/187] libtool-ltdl-0:2.5.4-10.fc44. 100% | 9.0 MiB/s | 36.7 KiB | 00m00s [161/187] gdbm-libs-1:1.23-11.fc44.s390 100% | 18.8 MiB/s | 57.9 KiB | 00m00s [162/187] fedora-release-0:45-0.5.noarc 100% | 6.1 MiB/s | 12.6 KiB | 00m00s [163/187] systemd-standalone-sysusers-0 100% | 116.4 MiB/s | 357.5 KiB | 00m00s [164/187] xxhash-libs-0:0.8.3-4.fc44.s3 100% | 9.0 MiB/s | 36.7 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.s 100% | 44.6 MiB/s | 456.7 KiB | 00m00s [167/187] krb5-libs-0:1.22.2-4.fc45.s39 100% | 86.3 MiB/s | 794.9 KiB | 00m00s [168/187] libnghttp2-0:1.68.1-1.fc45.s3 100% | 12.5 MiB/s | 76.7 KiB | 00m00s [169/187] libbrotli-0:1.2.0-3.fc44.s390 100% | 41.2 MiB/s | 379.3 KiB | 00m00s [170/187] gdb-minimal-0:17.1-5.fc45.s39 100% | 156.2 MiB/s | 4.8 MiB | 00m00s [171/187] libnghttp3-0:1.15.0-1.fc44.s3 100% | 8.6 MiB/s | 70.3 KiB | 00m00s [172/187] libpsl-0:0.21.5-7.fc44.s390x 100% | 12.7 MiB/s | 65.1 KiB | 00m00s [173/187] ngtcp2-crypto-ossl-0:1.21.0-1 100% | 6.2 MiB/s | 25.5 KiB | 00m00s [174/187] libssh-0:0.12.0-1.fc45.s390x 100% | 38.7 MiB/s | 277.5 KiB | 00m00s [175/187] ngtcp2-0:1.21.0-1.fc45.s390x 100% | 18.5 MiB/s | 151.4 KiB | 00m00s [176/187] keyutils-libs-0:1.6.3-7.fc44. 100% | 10.1 MiB/s | 31.1 KiB | 00m00s [177/187] libcom_err-0:1.47.4-1.fc45.s3 100% | 6.5 MiB/s | 26.6 KiB | 00m00s [178/187] publicsuffix-list-dafsa-0:202 100% | 19.6 MiB/s | 60.3 KiB | 00m00s [179/187] libverto-0:0.3.2-12.fc44.s390 100% | 5.0 MiB/s | 20.6 KiB | 00m00s [180/187] libfido2-0:1.16.0-5.fc44.s390 100% | 11.5 MiB/s | 93.9 KiB | 00m00s [181/187] libssh-config-0:0.12.0-1.fc45 100% | 1.2 MiB/s | 9.4 KiB | 00m00s [182/187] libcbor-0:0.13.0-2.fc44.s390x 100% | 3.8 MiB/s | 34.9 KiB | 00m00s [183/187] policycoreutils-0:3.10-3.fc45 100% | 42.8 MiB/s | 263.2 KiB | 00m00s [184/187] selinux-policy-0:43.6-1.fc45. 100% | 14.2 MiB/s | 72.9 KiB | 00m00s [185/187] libselinux-utils-0:3.10-1.fc4 100% | 58.5 MiB/s | 119.9 KiB | 00m00s [186/187] rpm-plugin-selinux-0:6.0.1-5. 100% | 4.6 MiB/s | 18.8 KiB | 00m00s [187/187] selinux-policy-targeted-0:43. 100% | 220.1 MiB/s | 6.8 MiB | 00m00s -------------------------------------------------------------------------------- [187/187] Total 100% | 159.8 MiB/s | 69.7 MiB | 00m00s Running transaction Importing OpenPGP key 0xF577861E: UserID : "Fedora (45) " 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) " 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) " 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) " 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% | 748.0 B/s | 187.0 B | 00m00s [ 2/189] Prepare transaction 100% | 3.4 KiB/s | 187.0 B | 00m00s [ 3/189] Installing libgcc-0:16.0.1-0. 100% | 210.3 MiB/s | 215.3 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% | 59.3 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% | 0.0 B/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% | 42.0 MiB/s | 730.6 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 15/189] Installing filesystem-0:3.18- 100% | 3.0 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% | 411.0 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% | 261.6 MiB/s | 8.6 MiB | 00m00s [ 22/189] Installing glibc-common-0:2.4 100% | 54.1 MiB/s | 1.1 MiB | 00m00s [ 23/189] Installing glibc-gconv-extra- 100% | 285.7 MiB/s | 6.9 MiB | 00m00s [ 24/189] Installing glibc-0:2.43.9000- 100% | 33.8 MiB/s | 5.4 MiB | 00m00s [ 25/189] Installing ncurses-libs-0:6.6 100% | 168.2 MiB/s | 1.0 MiB | 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% | 123.0 MiB/s | 125.9 KiB | 00m00s [ 28/189] Installing bzip2-libs-0:1.0.8 100% | 83.4 MiB/s | 85.4 KiB | 00m00s [ 29/189] Installing libgpg-error-0:1.5 100% | 44.6 MiB/s | 959.9 KiB | 00m00s [ 30/189] Installing libstdc++-0:16.0.1 100% | 356.0 MiB/s | 3.2 MiB | 00m00s [ 31/189] Installing libassuan-0:2.5.7- 100% | 161.5 MiB/s | 165.4 KiB | 00m00s [ 32/189] Installing libgcrypt-0:1.12.1 100% | 326.1 MiB/s | 1.3 MiB | 00m00s [ 33/189] Installing readline-0:8.3-4.f 100% | 281.8 MiB/s | 577.2 KiB | 00m00s [ 34/189] Installing gmp-1:6.3.0-5.fc44 100% | 378.9 MiB/s | 776.0 KiB | 00m00s [ 35/189] Installing systemd-libs-0:260 100% | 361.9 MiB/s | 2.5 MiB | 00m00s [ 36/189] Installing libuuid-0:2.42-7.f 100% | 33.3 MiB/s | 34.1 KiB | 00m00s [ 37/189] Installing xz-libs-1:5.8.3-1. 100% | 217.1 MiB/s | 222.3 KiB | 00m00s [ 38/189] Installing libzstd-0:1.5.7-5. 100% | 342.9 MiB/s | 1.0 MiB | 00m00s [ 39/189] Installing elfutils-libelf-0: 100% | 378.8 MiB/s | 1.1 MiB | 00m00s [ 40/189] Installing popt-0:1.19-10.fc4 100% | 71.8 MiB/s | 147.0 KiB | 00m00s [ 41/189] Installing npth-0:1.8-4.fc44. 100% | 0.0 B/s | 46.2 KiB | 00m00s [ 42/189] Installing libblkid-0:2.42-7. 100% | 284.4 MiB/s | 291.2 KiB | 00m00s [ 43/189] Installing libsepol-0:3.10-1. 100% | 282.2 MiB/s | 866.9 KiB | 00m00s [ 44/189] Installing sqlite-libs-0:3.52 100% | 340.9 MiB/s | 1.7 MiB | 00m00s [ 45/189] Installing gnupg2-gpgconf-0:2 100% | 14.1 MiB/s | 275.2 KiB | 00m00s [ 46/189] Installing libattr-0:2.5.2-8. 100% | 24.4 MiB/s | 25.0 KiB | 00m00s [ 47/189] Installing libacl-0:2.3.2-6.f 100% | 0.0 B/s | 36.4 KiB | 00m00s [ 48/189] Installing pcre2-0:10.47-1.fc 100% | 357.1 MiB/s | 731.3 KiB | 00m00s [ 49/189] Installing libselinux-0:3.10- 100% | 205.2 MiB/s | 210.1 KiB | 00m00s [ 50/189] Installing grep-0:3.12-3.fc44 100% | 46.1 MiB/s | 1.0 MiB | 00m00s [ 51/189] Installing sed-0:4.9-8.fc45.s 100% | 42.6 MiB/s | 873.0 KiB | 00m00s [ 52/189] Installing findutils-1:4.10.0 100% | 78.3 MiB/s | 1.9 MiB | 00m00s [ 53/189] Installing libxcrypt-0:4.5.2- 100% | 142.4 MiB/s | 291.7 KiB | 00m00s [ 54/189] Installing libtasn1-0:4.21.0- 100% | 181.9 MiB/s | 186.2 KiB | 00m00s [ 55/189] Installing libunistring-0:1.1 100% | 353.8 MiB/s | 1.8 MiB | 00m00s [ 56/189] Installing libidn2-0:2.3.8-3. 100% | 6.7 MiB/s | 566.3 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% | 52.0 MiB/s | 1.4 MiB | 00m00s [ 59/189] Installing libmount-0:2.42-7. 100% | 195.8 MiB/s | 401.1 KiB | 00m00s [ 60/189] Installing gnupg2-verify-0:2. 100% | 18.8 MiB/s | 365.4 KiB | 00m00s [ 61/189] Installing dwz-0:0.16-3.fc44. 100% | 16.7 MiB/s | 307.6 KiB | 00m00s [ 62/189] Installing mpfr-0:4.2.2-3.fc4 100% | 228.2 MiB/s | 701.0 KiB | 00m00s [ 63/189] Installing gawk-0:5.4.0-2.fc4 100% | 93.5 MiB/s | 2.2 MiB | 00m00s [ 64/189] Installing libksba-0:1.6.8-1. 100% | 205.2 MiB/s | 420.2 KiB | 00m00s [ 65/189] Installing unzip-0:6.0-69.fc4 100% | 22.4 MiB/s | 436.5 KiB | 00m00s [ 66/189] Installing file-libs-0:5.47-1 100% | 580.5 MiB/s | 12.2 MiB | 00m00s [ 67/189] Installing file-0:5.47-1.fc45 100% | 5.6 MiB/s | 102.4 KiB | 00m00s [ 68/189] Installing diffutils-0:3.12-5 100% | 69.0 MiB/s | 1.6 MiB | 00m00s [ 69/189] Installing libeconf-0:0.7.9-3 100% | 64.7 MiB/s | 66.2 KiB | 00m00s [ 70/189] Installing libcap-ng-0:0.9.3- 100% | 64.6 MiB/s | 66.2 KiB | 00m00s [ 71/189] Installing audit-libs-0:4.1.4 100% | 193.5 MiB/s | 396.3 KiB | 00m00s [ 72/189] Installing pam-libs-0:1.7.2-1 100% | 121.2 MiB/s | 124.1 KiB | 00m00s [ 73/189] Installing libcap-0:2.78-1.fc 100% | 11.7 MiB/s | 215.2 KiB | 00m00s [ 74/189] Installing libsemanage-0:3.10 100% | 153.1 MiB/s | 313.6 KiB | 00m00s [ 75/189] Installing libsmartcols-0:2.4 100% | 192.7 MiB/s | 197.3 KiB | 00m00s [ 76/189] Installing alternatives-0:1.3 100% | 3.4 MiB/s | 63.4 KiB | 00m00s [ 77/189] Installing lua-libs-0:5.5.0-1 100% | 167.6 MiB/s | 343.3 KiB | 00m00s [ 78/189] Installing libffi-0:3.5.2-2.f 100% | 78.8 MiB/s | 80.7 KiB | 00m00s [ 79/189] Installing p11-kit-0:0.26.2-1 100% | 117.3 MiB/s | 2.9 MiB | 00m00s [ 80/189] Installing p11-kit-trust-0:0. 100% | 5.2 MiB/s | 575.3 KiB | 00m00s [ 81/189] Installing json-c-0:0.18-8.fc 100% | 81.6 MiB/s | 83.5 KiB | 00m00s [ 82/189] Installing ngtcp2-0:1.21.0-1. 100% | 310.9 MiB/s | 318.4 KiB | 00m00s [ 83/189] Installing openssl-libs-1:3.5 100% | 368.8 MiB/s | 7.4 MiB | 00m00s [ 84/189] Installing coreutils-0:9.10-3 100% | 62.9 MiB/s | 5.8 MiB | 00m00s [ 85/189] Installing ca-certificates-0: 100% | 80.1 KiB/s | 2.5 MiB | 00m31s [ 86/189] Installing gzip-0:1.14-2.fc44 100% | 21.8 MiB/s | 402.7 KiB | 00m00s [ 87/189] Installing rpm-sequoia-0:1.10 100% | 417.9 MiB/s | 2.5 MiB | 00m00s [ 88/189] Installing libfsverity-0:1.7- 100% | 0.0 B/s | 25.1 KiB | 00m00s [ 89/189] Installing libevent-0:2.1.12- 100% | 320.8 MiB/s | 985.4 KiB | 00m00s [ 90/189] Installing systemd-standalone 100% | 48.0 MiB/s | 836.0 KiB | 00m00s [ 91/189] Installing rpm-libs-0:6.0.1-5 100% | 329.5 MiB/s | 1.0 MiB | 00m00s [ 92/189] Installing ngtcp2-crypto-ossl 100% | 46.9 MiB/s | 48.1 KiB | 00m00s [ 93/189] Installing util-linux-core-0: 100% | 69.8 MiB/s | 1.5 MiB | 00m00s [ 94/189] Installing liblastlog2-0:2.42 100% | 569.6 KiB/s | 35.3 KiB | 00m00s [ 95/189] Installing zip-0:3.0-45.fc44. 100% | 35.8 MiB/s | 733.0 KiB | 00m00s [ 96/189] Installing gnupg2-keyboxd-0:2 100% | 3.4 MiB/s | 214.2 KiB | 00m00s [ 97/189] Installing libpsl-0:0.21.5-7. 100% | 75.4 MiB/s | 77.2 KiB | 00m00s [ 98/189] Installing tar-2:1.35-8.fc44. 100% | 121.0 MiB/s | 3.0 MiB | 00m00s [ 99/189] Installing linkdupes-0:0.7.3- 100% | 49.8 MiB/s | 917.4 KiB | 00m00s [100/189] Installing libselinux-utils-0 100% | 16.3 MiB/s | 283.8 KiB | 00m00s [101/189] Installing libfdisk-0:2.42-7. 100% | 128.8 MiB/s | 395.5 KiB | 00m00s [102/189] Installing util-linux-0:2.42- 100% | 36.1 MiB/s | 3.6 MiB | 00m00s [103/189] Installing policycoreutils-0: 100% | 9.9 MiB/s | 894.3 KiB | 00m00s [104/189] Installing selinux-policy-0:4 100% | 131.3 KiB/s | 33.6 KiB | 00m00s [105/189] Installing selinux-policy-tar 100% | 90.8 MiB/s | 14.9 MiB | 00m00s [106/189] Installing zstd-0:1.5.7-5.fc4 100% | 26.4 MiB/s | 513.2 KiB | 00m00s [107/189] Installing libxml2-0:2.12.10- 100% | 93.4 MiB/s | 1.9 MiB | 00m00s [108/189] Installing libusb1-0:1.0.29-5 100% | 21.5 MiB/s | 176.2 KiB | 00m00s >>> Running sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.s390x >>> Finished sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.s390x >>> 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% | 267.7 MiB/s | 1.6 MiB | 00m00s [110/189] Installing ima-evm-utils-libs 100% | 56.3 MiB/s | 57.6 KiB | 00m00s [111/189] Installing gnupg2-gpg-agent-0 100% | 9.3 MiB/s | 725.4 KiB | 00m00s [112/189] Installing nettle-0:3.10.1-3. 100% | 273.6 MiB/s | 840.6 KiB | 00m00s [113/189] Installing gnutls-0:3.8.12-1. 100% | 397.4 MiB/s | 3.6 MiB | 00m00s [114/189] Installing bzip2-0:1.0.8-23.f 100% | 5.2 MiB/s | 91.1 KiB | 00m00s [115/189] Installing add-determinism-0: 100% | 113.6 MiB/s | 2.4 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% | 58.7 MiB/s | 1.1 MiB | 00m00s [118/189] Installing ed-0:1.22.5-2.fc45 100% | 9.3 MiB/s | 151.8 KiB | 00m00s [119/189] Installing patch-0:2.8-4.fc44 100% | 14.9 MiB/s | 243.7 KiB | 00m00s [120/189] Installing jansson-0:2.14-4.f 100% | 88.0 MiB/s | 90.1 KiB | 00m00s [121/189] Installing lz4-libs-0:1.10.0- 100% | 193.5 MiB/s | 198.1 KiB | 00m00s [122/189] Installing libarchive-0:3.8.6 100% | 341.5 MiB/s | 1.0 MiB | 00m00s [123/189] Installing libgomp-0:16.0.1-0 100% | 282.2 MiB/s | 578.0 KiB | 00m00s [124/189] Installing libpkgconf-0:2.5.1 100% | 92.6 MiB/s | 94.9 KiB | 00m00s [125/189] Installing pkgconf-0:2.5.1-1. 100% | 5.8 MiB/s | 95.0 KiB | 00m00s [126/189] Installing pkgconf-pkg-config 100% | 110.8 KiB/s | 1.8 KiB | 00m00s [127/189] Installing libtool-ltdl-0:2.5 100% | 69.1 MiB/s | 70.7 KiB | 00m00s [128/189] Installing gdbm-libs-1:1.23-1 100% | 123.9 MiB/s | 126.9 KiB | 00m00s [129/189] Installing cyrus-sasl-lib-0:2 100% | 112.3 MiB/s | 2.4 MiB | 00m00s [130/189] Installing openldap-0:2.6.13- 100% | 221.1 MiB/s | 679.1 KiB | 00m00s [131/189] Installing gnupg2-dirmngr-0:2 100% | 7.8 MiB/s | 663.9 KiB | 00m00s [132/189] Installing gnupg2-0:2.4.9-5.f 100% | 199.2 MiB/s | 6.6 MiB | 00m00s [133/189] Installing rpm-sign-libs-0:6. 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [134/189] Installing gpgverify-0:2.2-4. 100% | 0.0 B/s | 9.4 KiB | 00m00s [135/189] Installing xxhash-libs-0:0.8. 100% | 65.4 MiB/s | 67.0 KiB | 00m00s [136/189] Installing libbrotli-0:1.2.0- 100% | 297.7 MiB/s | 914.6 KiB | 00m00s [137/189] Installing libnghttp2-0:1.68. 100% | 166.8 MiB/s | 170.8 KiB | 00m00s [138/189] Installing libnghttp3-0:1.15. 100% | 152.1 MiB/s | 155.8 KiB | 00m00s [139/189] Installing keyutils-libs-0:1. 100% | 0.0 B/s | 51.4 KiB | 00m00s [140/189] Installing libcom_err-0:1.47. 100% | 0.0 B/s | 59.9 KiB | 00m00s [141/189] Installing libverto-0:0.3.2-1 100% | 26.2 MiB/s | 26.8 KiB | 00m00s [142/189] Installing krb5-libs-0:1.22.2 100% | 353.8 MiB/s | 2.5 MiB | 00m00s [143/189] Installing libcbor-0:0.13.0-2 100% | 78.8 MiB/s | 80.7 KiB | 00m00s [144/189] Installing libfido2-0:1.16.0- 100% | 234.3 MiB/s | 239.9 KiB | 00m00s [145/189] Installing libssh-0:0.12.0-1. 100% | 344.1 MiB/s | 704.7 KiB | 00m00s [146/189] Installing libcurl-0:8.20.0~r 100% | 345.8 MiB/s | 1.0 MiB | 00m00s [147/189] Installing curl-0:8.20.0~rc1- 100% | 2.9 MiB/s | 505.1 KiB | 00m00s [148/189] Installing rpm-0:6.0.1-5.fc45 100% | 28.9 MiB/s | 2.5 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% | 35.2 KiB/s | 2.0 KiB | 00m00s [157/189] Installing elfutils-libs-0:0. 100% | 253.9 MiB/s | 779.9 KiB | 00m00s [158/189] Installing elfutils-debuginfo 100% | 4.2 MiB/s | 77.5 KiB | 00m00s [159/189] Installing binutils-0:2.46.50 100% | 154.0 MiB/s | 29.6 MiB | 00m00s [160/189] Installing elfutils-0:0.194-5 100% | 124.5 MiB/s | 3.0 MiB | 00m00s [161/189] Installing gdb-minimal-0:17.1 100% | 295.9 MiB/s | 16.0 MiB | 00m00s [162/189] Installing debugedit-0:5.3-2. 100% | 13.1 MiB/s | 227.4 KiB | 00m00s [163/189] Installing rpm-build-libs-0:6 100% | 266.2 MiB/s | 272.6 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% | 412.5 KiB/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% | 185.5 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.7 MiB/s | 289.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% | 55.7 MiB/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.6 KiB | 00m00s [187/189] Installing which-0:2.23-4.fc4 100% | 5.2 MiB/s | 85.3 KiB | 00m00s [188/189] Installing shadow-utils-2:4.1 100% | 129.9 MiB/s | 4.0 MiB | 00m00s [189/189] Installing info-0:7.3-1.fc45. 100% | 5.6 KiB/s | 404.2 KiB | 01m12s 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.s390x alternatives-1.33-5.fc44.s390x ansible-srpm-macros-1-20.1.fc44.noarch audit-libs-4.1.4-1.fc45.s390x bash-5.3.9-3.fc44.s390x binutils-2.46.50-7.fc45.s390x build-reproducibility-srpm-macros-0.7.3-2.fc45.noarch bzip2-1.0.8-23.fc44.s390x bzip2-libs-1.0.8-23.fc44.s390x 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.s390x coreutils-common-9.10-3.fc45.s390x cpio-2.15-9.fc44.s390x crypto-policies-20251128-3.git19878fe.fc44.noarch curl-8.20.0~rc1-1.fc45.s390x cyrus-sasl-lib-2.1.28-35.fc44.s390x debugedit-5.3-2.fc45.s390x diffutils-3.12-5.fc44.s390x dwz-0.16-3.fc44.s390x ed-1.22.5-2.fc45.s390x efi-srpm-macros-6-6.fc44.noarch elfutils-0.194-5.fc45.s390x elfutils-debuginfod-client-0.194-5.fc45.s390x elfutils-default-yama-scope-0.194-5.fc45.noarch elfutils-libelf-0.194-5.fc45.s390x elfutils-libs-0.194-5.fc45.s390x 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.s390x file-libs-5.47-1.fc45.s390x filesystem-3.18-56.fc45.s390x filesystem-srpm-macros-3.18-56.fc45.noarch findutils-4.10.0-7.fc44.s390x 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.s390x gdb-minimal-17.1-5.fc45.s390x gdbm-libs-1.23-11.fc44.s390x ghc-srpm-macros-1.10-1.fc44.noarch glibc-2.43.9000-8.fc45.s390x glibc-common-2.43.9000-8.fc45.s390x glibc-gconv-extra-2.43.9000-8.fc45.s390x glibc-minimal-langpack-2.43.9000-8.fc45.s390x gmp-6.3.0-5.fc44.s390x gnat-srpm-macros-7-2.fc44.noarch gnulib-l10n-20241231-2.fc44.noarch gnupg2-2.4.9-5.fc44.s390x gnupg2-dirmngr-2.4.9-5.fc44.s390x gnupg2-gpg-agent-2.4.9-5.fc44.s390x gnupg2-gpgconf-2.4.9-5.fc44.s390x gnupg2-keyboxd-2.4.9-5.fc44.s390x gnupg2-verify-2.4.9-5.fc44.s390x gnutls-3.8.12-1.fc45.s390x 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.s390x gzip-1.14-2.fc44.s390x ima-evm-utils-libs-1.6.2-10.fc45.s390x info-7.3-1.fc45.s390x jansson-2.14-4.fc44.s390x java-srpm-macros-1-8.fc44.noarch json-c-0.18-8.fc44.s390x kernel-srpm-macros-1.0-29.fc45.noarch keyutils-libs-1.6.3-7.fc44.s390x krb5-libs-1.22.2-4.fc45.s390x libacl-2.3.2-6.fc44.s390x libarchive-3.8.6-1.fc45.s390x libassuan-2.5.7-5.fc44.s390x libattr-2.5.2-8.fc44.s390x libblkid-2.42-7.fc45.s390x libbrotli-1.2.0-3.fc44.s390x libcap-2.78-1.fc45.s390x libcap-ng-0.9.3-1.fc45.s390x libcbor-0.13.0-2.fc44.s390x libcom_err-1.47.4-1.fc45.s390x libcurl-8.20.0~rc1-1.fc45.s390x libeconf-0.7.9-3.fc44.s390x libevent-2.1.12-17.fc44.s390x libfdisk-2.42-7.fc45.s390x libffi-3.5.2-2.fc44.s390x libfido2-1.16.0-5.fc44.s390x libfsverity-1.7-1.fc45.s390x libgcc-16.0.1-0.10.fc45.s390x libgcrypt-1.12.1-1.fc45.s390x libgomp-16.0.1-0.10.fc45.s390x libgpg-error-1.59-1.fc45.s390x libidn2-2.3.8-3.fc44.s390x libksba-1.6.8-1.fc45.s390x liblastlog2-2.42-7.fc45.s390x libmount-2.42-7.fc45.s390x libnghttp2-1.68.1-1.fc45.s390x libnghttp3-1.15.0-1.fc44.s390x libpkgconf-2.5.1-1.fc45.s390x libpsl-0.21.5-7.fc44.s390x libselinux-3.10-1.fc44.s390x libselinux-utils-3.10-1.fc44.s390x libsemanage-3.10-1.fc44.s390x libsepol-3.10-1.fc44.s390x libsmartcols-2.42-7.fc45.s390x libssh-0.12.0-1.fc45.s390x libssh-config-0.12.0-1.fc45.noarch libstdc++-16.0.1-0.10.fc45.s390x libtasn1-4.21.0-1.fc45.s390x libtool-ltdl-2.5.4-10.fc44.s390x libunistring-1.1-11.fc44.s390x libusb1-1.0.29-5.fc44.s390x libuuid-2.42-7.fc45.s390x libverto-0.3.2-12.fc44.s390x libxcrypt-4.5.2-3.fc44.s390x libxml2-2.12.10-6.fc44.s390x libzstd-1.5.7-5.fc44.s390x linkdupes-0.7.3-2.fc45.s390x lua-libs-5.5.0-1.fc45.s390x lua-srpm-macros-1-17.fc44.noarch lz4-libs-1.10.0-4.fc44.s390x mpfr-4.2.2-3.fc44.s390x ncurses-base-6.6-1.fc44.noarch ncurses-libs-6.6-1.fc44.s390x nettle-3.10.1-3.fc44.s390x ngtcp2-1.21.0-1.fc45.s390x ngtcp2-crypto-ossl-1.21.0-1.fc45.s390x npth-1.8-4.fc44.s390x ocaml-srpm-macros-11-3.fc44.noarch openblas-srpm-macros-2-21.fc44.noarch openldap-2.6.13-1.fc45.s390x openssl-libs-3.5.5-1.fc44.s390x p11-kit-0.26.2-1.fc45.s390x p11-kit-trust-0.26.2-1.fc45.s390x package-notes-srpm-macros-0.17-3.fc45.noarch pam-libs-1.7.2-1.fc44.s390x patch-2.8-4.fc44.s390x pcre2-10.47-1.fc44.1.s390x pcre2-syntax-10.47-1.fc44.1.noarch perl-srpm-macros-1-61.fc44.noarch pkgconf-2.5.1-1.fc45.s390x pkgconf-m4-2.5.1-1.fc45.noarch pkgconf-pkg-config-2.5.1-1.fc45.s390x policycoreutils-3.10-3.fc45.s390x popt-1.19-10.fc44.s390x 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.s390x 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.s390x rpm-build-6.0.1-5.fc45.s390x rpm-build-libs-6.0.1-5.fc45.s390x rpm-libs-6.0.1-5.fc45.s390x rpm-plugin-selinux-6.0.1-5.fc45.s390x rpm-sequoia-1.10.1-1.fc45.s390x rpm-sign-libs-6.0.1-5.fc45.s390x rust-srpm-macros-28.4-3.fc44.noarch sed-4.9-8.fc45.s390x 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.s390x sqlite-libs-3.52.0-1.fc45.s390x systemd-libs-260.1-2.fc45.s390x systemd-standalone-sysusers-260.1-2.fc45.s390x tar-1.35-8.fc44.s390x tpm2-tss-4.1.3-9.fc44.s390x tree-sitter-srpm-macros-0.4.2-2.fc44.noarch unzip-6.0-69.fc44.s390x util-linux-2.42-7.fc45.s390x util-linux-core-2.42-7.fc45.s390x which-2.23-4.fc44.s390x xxhash-libs-0.8.3-4.fc44.s390x xz-5.8.3-1.fc45.s390x xz-libs-5.8.3-1.fc45.s390x zig-srpm-macros-1-8.fc44.noarch zip-3.0-45.fc44.s390x zlib-ng-compat-2.3.3-5.fc45.s390x zstd-1.5.7-5.fc44.s390x Start: buildsrpm Start: rpmbuild -bs Building target platforms: s390x Building for target s390x 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-s390x-1775862948.801172/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-65l_66av/gappalib-coq/gappalib-coq.spec) Config(child) 1 minutes 59 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-s390x) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-s390x-bootstrap-1775862948.801172/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-s390x-bootstrap-1775862948.801172/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-s390x-1775862948.801172/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: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1775779200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm Updating and loading repositories: fedora 100% | 2.7 KiB/s | 4.2 KiB | 00m02s Copr repository 100% | 1.0 KiB/s | 1.5 KiB | 00m02s Repositories loaded. Package Arch Version Repository Size Installing: autoconf noarch 0:2.72-10.fc44 fedora 2.8 MiB coq-core-compat s390x 0:9.2.0-1.fc45 copr_base 51.1 MiB flocq s390x 0:4.2.2-2.fc45 copr_base 16.7 MiB gappa s390x 0:1.7.0-1.fc45 fedora 761.7 KiB gcc-c++ s390x 0:16.0.1-0.10.fc45 fedora 34.7 MiB ocaml s390x 0:5.4.1-4.fc45 fedora 197.4 MiB ocaml-findlib s390x 0:1.9.8-8.fc45 fedora 4.3 MiB ocaml-zarith-devel s390x 0:1.14-12.fc45 fedora 1.2 MiB remake s390x 0:0.16-5.fc44 fedora 135.5 KiB rocq s390x 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 s390x 0:13.07-1.fc45 fedora 696.7 KiB cmake-filesystem s390x 0:4.3.0-1.fc45 fedora 0.0 B cpp s390x 0:16.0.1-0.10.fc45 fedora 30.6 MiB csdp s390x 0:6.2.0-37.20181018git0dcf187.fc44 fedora 467.9 KiB csdp-tools s390x 0:6.2.0-37.20181018git0dcf187.fc44 fedora 60.7 KiB emacs-filesystem s390x 1:30.2-2.fc44 fedora 0.0 B expat s390x 0:2.7.5-1.fc45 fedora 342.4 KiB flexiblas s390x 0:3.5.0-2.fc44 fedora 38.0 KiB flexiblas-netlib s390x 0:3.5.0-2.fc44 fedora 17.2 MiB flexiblas-openblas-openmp s390x 0:3.5.0-2.fc44 fedora 38.8 KiB gcc s390x 0:16.0.1-0.10.fc45 fedora 88.4 MiB gcc-plugin-annobin s390x 0:16.0.1-0.10.fc45 fedora 52.8 KiB gettext s390x 0:1.0-1.fc45 fedora 17.8 MiB gettext-common-devel noarch 0:1.0-1.fc45 fedora 596.2 KiB gettext-devel s390x 0:1.0-1.fc45 fedora 1.4 MiB gettext-envsubst s390x 0:1.0-1.fc45 fedora 70.3 KiB gettext-libs s390x 0:1.0-1.fc45 fedora 2.4 MiB gettext-runtime s390x 0:1.0-1.fc45 fedora 710.9 KiB glibc-devel s390x 0:2.43.9000-8.fc45 fedora 3.7 MiB gmp-c++ s390x 1:6.3.0-5.fc44 fedora 27.1 KiB gmp-devel s390x 1:6.3.0-5.fc44 fedora 356.2 KiB groff-base s390x 0:1.24.0-1.fc45 fedora 4.6 MiB kernel-headers s390x 0:7.0.0-0.rc7.55.fc45 fedora 6.9 MiB libasan s390x 0:16.0.1-0.10.fc45 fedora 1.9 MiB libatomic s390x 0:16.0.1-0.10.fc45 fedora 37.1 KiB libgfortran s390x 0:16.0.1-0.10.fc45 fedora 2.5 MiB libmpc s390x 0:1.4.0-1.fc45 fedora 165.1 KiB libstdc++-devel s390x 0:16.0.1-0.10.fc45 fedora 38.3 MiB libtextstyle s390x 0:1.0-1.fc45 fedora 214.9 KiB libubsan s390x 0:16.0.1-0.10.fc45 fedora 499.8 KiB libxcrypt-devel s390x 0:4.5.2-3.fc44 fedora 31.0 KiB libzstd-devel s390x 0:1.5.7-5.fc44 fedora 217.6 KiB m4 s390x 0:1.4.21-1.fc45 fedora 900.3 KiB make s390x 1:4.4.1-12.fc44 fedora 1.9 MiB mpdecimal s390x 0:4.0.1-3.fc44 fedora 240.8 KiB ncurses s390x 0:6.6-1.fc44 fedora 621.6 KiB ocaml-compiler-libs s390x 0:5.4.1-4.fc45 fedora 114.5 MiB ocaml-runtime s390x 0:5.4.1-4.fc45 fedora 4.8 MiB ocaml-zarith s390x 0:1.14-12.fc45 fedora 407.4 KiB openblas s390x 0:0.3.29-2.fc43 fedora 111.7 KiB openblas-openmp s390x 0:0.3.29-2.fc43 fedora 15.2 MiB perl-AutoLoader noarch 0:5.74-524.fc45 fedora 20.6 KiB perl-B s390x 0:1.89-524.fc45 fedora 517.0 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 s390x 0:2.191-522.fc44 fedora 111.3 KiB perl-Digest noarch 0:1.20-521.fc44 fedora 35.3 KiB perl-Digest-MD5 s390x 0:2.59-521.fc44 fedora 55.3 KiB perl-DynaLoader s390x 0:1.57-524.fc45 fedora 32.1 KiB perl-Encode s390x 4:3.21-521.fc44 fedora 9.6 MiB perl-Errno s390x 0:1.38-524.fc45 fedora 8.4 KiB perl-Exporter noarch 0:5.79-521.fc44 fedora 54.3 KiB perl-Fcntl s390x 0:1.20-524.fc45 fedora 48.4 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 s390x 0:1.55-524.fc45 fedora 147.0 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 s390x 0:3.16-521.fc44 fedora 45.7 KiB perl-Net-SSLeay s390x 0:1.96-1.fc45 fedora 1.4 MiB perl-POSIX s390x 0:2.23-524.fc45 fedora 241.2 KiB perl-PathTools s390x 0:3.94-521.fc44 fedora 175.7 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 s390x 5:1.70-2.fc44 fedora 144.5 KiB perl-SelectSaver noarch 0:1.02-524.fc45 fedora 2.2 KiB perl-Socket s390x 4:2.040-3.fc44 fedora 123.9 KiB perl-Storable s390x 1:3.37-522.fc44 fedora 226.8 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 s390x 4:1.9778-521.fc44 fedora 115.4 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 s390x 4:5.42.2-524.fc45 fedora 118.4 KiB perl-libnet noarch 0:3.15-522.fc44 fedora 289.4 KiB perl-libs s390x 4:5.42.2-524.fc45 fedora 11.8 MiB perl-locale noarch 0:1.13-524.fc45 fedora 6.1 KiB perl-mro s390x 0:1.29-524.fc45 fedora 41.2 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 s390x 0:3.14.3-2.fc45 fedora 24.5 KiB python3-libs s390x 0:3.14.3-2.fc45 fedora 43.8 MiB rocq-core s390x 0:9.2.0-1.fc45 copr_base 4.8 MiB rocq-runtime s390x 0:9.2.0-1.fc45 copr_base 370.4 MiB rocq-stdlib s390x 0:9.1.0-2.fc45 copr_base 62.1 MiB tzdata noarch 0:2026a-1.fc45 fedora 1.2 MiB Transaction Summary: Installing: 120 packages Total size of inbound packages is 356 MiB. Need to download 356 MiB. After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B). [ 1/120] autoconf-0:2.72-10.fc44.noarc 100% | 18.0 MiB/s | 830.9 KiB | 00m00s [ 2/120] gappa-0:1.7.0-1.fc45.s390x 100% | 2.7 MiB/s | 283.2 KiB | 00m00s [ 3/120] gcc-c++-0:16.0.1-0.10.fc45.s3 100% | 143.3 MiB/s | 14.0 MiB | 00m00s [ 4/120] ocaml-findlib-0:1.9.8-8.fc45. 100% | 8.3 MiB/s | 1.2 MiB | 00m00s [ 5/120] ocaml-zarith-devel-0:1.14-12. 100% | 5.6 MiB/s | 466.5 KiB | 00m00s [ 6/120] remake-0:0.16-5.fc44.s390x 100% | 9.3 MiB/s | 66.7 KiB | 00m00s [ 7/120] coq-core-compat-0:9.2.0-1.fc4 100% | 16.8 MiB/s | 8.9 MiB | 00m01s [ 8/120] rocq-0:9.2.0-1.fc45.s390x 100% | 14.7 KiB/s | 7.1 KiB | 00m00s [ 9/120] emacs-filesystem-1:30.2-2.fc4 100% | 2.6 MiB/s | 7.9 KiB | 00m00s [ 10/120] gettext-devel-0:1.0-1.fc45.s3 100% | 73.6 MiB/s | 301.3 KiB | 00m00s [ 11/120] m4-0:1.4.21-1.fc45.s390x 100% | 68.5 MiB/s | 350.6 KiB | 00m00s [ 12/120] perl-Carp-0:1.54-521.fc44.noa 100% | 9.4 MiB/s | 28.8 KiB | 00m00s [ 13/120] perl-Class-Struct-0:0.68-524. 100% | 7.2 MiB/s | 22.0 KiB | 00m00s [ 14/120] perl-Data-Dumper-0:2.191-522. 100% | 14.1 MiB/s | 57.6 KiB | 00m00s [ 15/120] perl-Errno-0:1.38-524.fc45.s3 100% | 3.6 MiB/s | 14.7 KiB | 00m00s [ 16/120] perl-Exporter-0:5.79-521.fc44 100% | 10.0 MiB/s | 30.8 KiB | 00m00s [ 17/120] perl-File-Basename-0:2.86-524 100% | 5.5 MiB/s | 17.0 KiB | 00m00s [ 18/120] perl-File-Compare-0:1.100.800 100% | 4.3 MiB/s | 13.1 KiB | 00m00s [ 19/120] perl-File-Copy-0:2.41-524.fc4 100% | 4.9 MiB/s | 20.0 KiB | 00m00s [ 20/120] perl-File-Find-0:1.44-524.fc4 100% | 4.9 MiB/s | 25.2 KiB | 00m00s [ 21/120] perl-File-Temp-1:0.231.200-2. 100% | 19.4 MiB/s | 59.6 KiB | 00m00s [ 22/120] perl-File-stat-0:1.14-524.fc4 100% | 5.5 MiB/s | 16.9 KiB | 00m00s [ 23/120] perl-Getopt-Long-1:2.58-521.f 100% | 15.5 MiB/s | 63.6 KiB | 00m00s [ 24/120] perl-IO-0:1.55-524.fc45.s390x 100% | 27.3 MiB/s | 83.7 KiB | 00m00s [ 25/120] perl-POSIX-0:2.23-524.fc45.s3 100% | 32.0 MiB/s | 98.2 KiB | 00m00s [ 26/120] perl-PathTools-0:3.94-521.fc4 100% | 21.2 MiB/s | 87.0 KiB | 00m00s [ 27/120] perl-Text-ParseWords-0:3.31-5 100% | 5.4 MiB/s | 16.5 KiB | 00m00s [ 28/120] perl-constant-0:1.33-522.fc44 100% | 11.2 MiB/s | 22.9 KiB | 00m00s [ 29/120] perl-interpreter-4:5.42.2-524 100% | 17.6 MiB/s | 72.2 KiB | 00m00s [ 30/120] perl-libs-4:5.42.2-524.fc45.s 100% | 116.3 MiB/s | 2.7 MiB | 00m00s [ 31/120] rocq-core-0:9.2.0-1.fc45.s390 100% | 1.9 MiB/s | 1.2 MiB | 00m01s [ 32/120] flocq-0:4.2.2-2.fc45.s390x 100% | 3.4 MiB/s | 3.7 MiB | 00m01s [ 33/120] libmpc-0:1.4.0-1.fc45.s390x 100% | 14.7 MiB/s | 75.4 KiB | 00m00s [ 34/120] libstdc++-devel-0:16.0.1-0.10 100% | 138.5 MiB/s | 5.4 MiB | 00m00s [ 35/120] libzstd-devel-0:1.5.7-5.fc44. 100% | 11.0 MiB/s | 56.2 KiB | 00m00s [ 36/120] gcc-0:16.0.1-0.10.fc45.s390x 100% | 193.6 MiB/s | 35.2 MiB | 00m00s [ 37/120] ocaml-compiler-libs-0:5.4.1-4 100% | 166.5 MiB/s | 56.3 MiB | 00m00s [ 38/120] ocaml-runtime-0:5.4.1-4.fc45. 100% | 5.2 MiB/s | 2.3 MiB | 00m00s [ 39/120] gmp-devel-1:6.3.0-5.fc44.s390 100% | 34.1 MiB/s | 174.8 KiB | 00m00s [ 40/120] csdp-tools-0:6.2.0-37.2018101 100% | 4.2 MiB/s | 29.8 KiB | 00m00s [ 41/120] ocaml-zarith-0:1.14-12.fc45.s 100% | 11.4 MiB/s | 163.8 KiB | 00m00s [ 42/120] gettext-0:1.0-1.fc45.s390x 100% | 186.3 MiB/s | 2.0 MiB | 00m00s [ 43/120] gettext-common-devel-0:1.0-1. 100% | 98.6 MiB/s | 605.7 KiB | 00m00s [ 44/120] gettext-libs-0:1.0-1.fc45.s39 100% | 51.8 MiB/s | 848.3 KiB | 00m00s [ 45/120] perl-B-0:1.89-524.fc45.s390x 100% | 35.4 MiB/s | 181.1 KiB | 00m00s [ 46/120] perl-Scalar-List-Utils-5:1.70 100% | 14.7 MiB/s | 75.3 KiB | 00m00s [ 47/120] perl-overload-0:1.40-524.fc45 100% | 14.8 MiB/s | 45.4 KiB | 00m00s [ 48/120] perl-Fcntl-0:1.20-524.fc45.s3 100% | 9.7 MiB/s | 29.7 KiB | 00m00s [ 49/120] perl-File-Path-0:2.18-522.fc4 100% | 11.5 MiB/s | 35.3 KiB | 00m00s [ 50/120] perl-parent-1:0.244-521.fc44. 100% | 2.9 MiB/s | 14.9 KiB | 00m00s [ 51/120] perl-Symbol-0:1.09-524.fc45.n 100% | 4.6 MiB/s | 14.1 KiB | 00m00s [ 52/120] perl-Pod-Usage-4:2.05-521.fc4 100% | 13.2 MiB/s | 40.7 KiB | 00m00s [ 53/120] perl-base-0:2.27-524.fc45.noa 100% | 7.9 MiB/s | 16.1 KiB | 00m00s [ 54/120] perl-SelectSaver-0:1.02-524.f 100% | 5.7 MiB/s | 11.6 KiB | 00m00s [ 55/120] perl-Socket-4:2.040-3.fc44.s3 100% | 18.1 MiB/s | 55.6 KiB | 00m00s [ 56/120] perl-locale-0:1.13-524.fc45.n 100% | 6.5 MiB/s | 13.4 KiB | 00m00s [ 57/120] perl-DynaLoader-0:1.57-524.fc 100% | 12.6 MiB/s | 25.8 KiB | 00m00s [ 58/120] perl-Encode-4:3.21-521.fc44.s 100% | 137.8 MiB/s | 1.7 MiB | 00m00s [ 59/120] cpp-0:16.0.1-0.10.fc45.s390x 100% | 235.1 MiB/s | 11.5 MiB | 00m00s [ 60/120] glibc-devel-0:2.43.9000-8.fc4 100% | 131.7 MiB/s | 674.1 KiB | 00m00s [ 61/120] libasan-0:16.0.1-0.10.fc45.s3 100% | 135.3 MiB/s | 554.2 KiB | 00m00s [ 62/120] libatomic-0:16.0.1-0.10.fc45. 100% | 14.1 MiB/s | 43.3 KiB | 00m00s [ 63/120] libubsan-0:16.0.1-0.10.fc45.s 100% | 45.3 MiB/s | 232.1 KiB | 00m00s [ 64/120] make-1:4.4.1-12.fc44.s390x 100% | 98.5 MiB/s | 605.0 KiB | 00m00s [ 65/120] cmake-filesystem-0:4.3.0-1.fc 100% | 4.8 MiB/s | 14.9 KiB | 00m00s [ 66/120] gmp-c++-1:6.3.0-5.fc44.s390x 100% | 4.5 MiB/s | 18.3 KiB | 00m00s [ 67/120] csdp-0:6.2.0-37.20181018git0d 100% | 51.6 MiB/s | 317.0 KiB | 00m00s [ 68/120] python3-0:3.14.3-2.fc45.s390x 100% | 13.7 MiB/s | 28.1 KiB | 00m00s [ 69/120] gettext-runtime-0:1.0-1.fc45. 100% | 59.9 MiB/s | 184.0 KiB | 00m00s [ 70/120] libtextstyle-0:1.0-1.fc45.s39 100% | 30.6 MiB/s | 93.9 KiB | 00m00s [ 71/120] perl-if-0:0.61.000-524.fc45.n 100% | 4.5 MiB/s | 13.9 KiB | 00m00s [ 72/120] perl-overloading-0:0.02-524.f 100% | 6.2 MiB/s | 12.8 KiB | 00m00s [ 73/120] perl-mro-0:1.29-524.fc45.s390 100% | 14.4 MiB/s | 29.5 KiB | 00m00s [ 74/120] perl-vars-0:1.05-524.fc45.noa 100% | 6.3 MiB/s | 12.9 KiB | 00m00s [ 75/120] perl-Pod-Perldoc-0:3.28.01-52 100% | 28.0 MiB/s | 86.1 KiB | 00m00s [ 76/120] perl-podlators-1:6.0.2-521.fc 100% | 41.8 MiB/s | 128.5 KiB | 00m00s [ 77/120] perl-Getopt-Std-0:1.14-524.fc 100% | 5.1 MiB/s | 15.6 KiB | 00m00s [ 78/120] perl-MIME-Base64-0:3.16-521.f 100% | 7.4 MiB/s | 30.2 KiB | 00m00s [ 79/120] perl-Storable-1:3.37-522.fc44 100% | 24.4 MiB/s | 100.0 KiB | 00m00s [ 80/120] kernel-headers-0:7.0.0-0.rc7. 100% | 192.3 MiB/s | 1.7 MiB | 00m00s [ 81/120] libxcrypt-devel-0:4.5.2-3.fc4 100% | 9.7 MiB/s | 29.9 KiB | 00m00s [ 82/120] flexiblas-netlib-0:3.5.0-2.fc 100% | 174.3 MiB/s | 4.7 MiB | 00m00s [ 83/120] python3-libs-0:3.14.3-2.fc45. 100% | 180.6 MiB/s | 9.9 MiB | 00m00s [ 84/120] gettext-envsubst-0:1.0-1.fc45 100% | 9.4 MiB/s | 38.6 KiB | 00m00s [ 85/120] groff-base-0:1.24.0-1.fc45.s3 100% | 126.2 MiB/s | 1.3 MiB | 00m00s [ 86/120] perl-HTTP-Tiny-0:0.092-2.fc44 100% | 18.6 MiB/s | 57.2 KiB | 00m00s [ 87/120] perl-IPC-Open3-0:1.24-524.fc4 100% | 7.8 MiB/s | 24.0 KiB | 00m00s [ 88/120] perl-Pod-Simple-1:3.47-4.fc44 100% | 53.7 MiB/s | 220.0 KiB | 00m00s [ 89/120] perl-Term-ANSIColor-0:5.01-52 100% | 11.6 MiB/s | 47.7 KiB | 00m00s [ 90/120] perl-Term-Cap-0:1.18-521.fc44 100% | 7.2 MiB/s | 22.0 KiB | 00m00s [ 91/120] rocq-stdlib-0:9.1.0-2.fc45.s3 100% | 25.2 MiB/s | 21.7 MiB | 00m01s [ 92/120] flexiblas-0:3.5.0-2.fc44.s390 100% | 637.9 KiB/s | 23.0 KiB | 00m00s [ 93/120] flexiblas-openblas-openmp-0:3 100% | 305.2 KiB/s | 17.1 KiB | 00m00s [ 94/120] libgfortran-0:16.0.1-0.10.fc4 100% | 68.0 MiB/s | 626.6 KiB | 00m00s [ 95/120] expat-0:2.7.5-1.fc45.s390x 100% | 31.6 MiB/s | 129.5 KiB | 00m00s [ 96/120] mpdecimal-0:4.0.1-3.fc44.s390 100% | 34.6 MiB/s | 106.3 KiB | 00m00s [ 97/120] python-pip-wheel-0:26.0.1-2.f 100% | 143.7 MiB/s | 1.1 MiB | 00m00s [ 98/120] tzdata-0:2026a-1.fc45.noarch 100% | 116.1 MiB/s | 713.3 KiB | 00m00s [ 99/120] perl-IO-Socket-SSL-0:2.098-2. 100% | 57.3 MiB/s | 234.7 KiB | 00m00s [100/120] perl-Net-SSLeay-0:1.96-1.fc45 100% | 64.0 MiB/s | 393.1 KiB | 00m00s [101/120] perl-Time-HiRes-4:1.9778-521. 100% | 18.6 MiB/s | 57.1 KiB | 00m00s [102/120] perl-Time-Local-2:1.350-521.f 100% | 11.2 MiB/s | 34.5 KiB | 00m00s [103/120] perl-Pod-Escapes-1:1.07-521.f 100% | 6.4 MiB/s | 19.8 KiB | 00m00s [104/120] perl-Text-Tabs+Wrap-0:2024.00 100% | 7.1 MiB/s | 21.8 KiB | 00m00s [105/120] ncurses-0:6.6-1.fc44.s390x 100% | 28.4 MiB/s | 436.8 KiB | 00m00s [106/120] openblas-openmp-0:0.3.29-2.fc 100% | 149.8 MiB/s | 4.3 MiB | 00m00s [107/120] perl-IO-Socket-IP-0:0.43-522. 100% | 10.3 MiB/s | 42.2 KiB | 00m00s [108/120] perl-URI-0:5.34-3.fc44.noarch 100% | 36.4 MiB/s | 149.2 KiB | 00m00s [109/120] perl-AutoLoader-0:5.74-524.fc 100% | 6.9 MiB/s | 21.1 KiB | 00m00s [110/120] openblas-0:0.3.29-2.fc43.s390 100% | 6.9 MiB/s | 42.2 KiB | 00m00s [111/120] perl-MIME-Base32-0:1.303-25.f 100% | 10.0 MiB/s | 20.5 KiB | 00m00s [112/120] perl-libnet-0:3.15-522.fc44.n 100% | 31.3 MiB/s | 128.4 KiB | 00m00s [113/120] perl-Digest-MD5-0:2.59-521.fc 100% | 11.5 MiB/s | 35.4 KiB | 00m00s [114/120] perl-FileHandle-0:2.05-524.fc 100% | 7.5 MiB/s | 15.4 KiB | 00m00s [115/120] perl-Digest-0:1.20-521.fc44.n 100% | 8.1 MiB/s | 24.9 KiB | 00m00s [116/120] annobin-plugin-gcc-0:13.07-1. 100% | 133.3 MiB/s | 682.6 KiB | 00m00s [117/120] gcc-plugin-annobin-0:16.0.1-0 100% | 15.5 MiB/s | 47.6 KiB | 00m00s [118/120] annobin-docs-0:13.07-1.fc45.n 100% | 21.6 MiB/s | 88.3 KiB | 00m00s [119/120] rocq-runtime-0:9.2.0-1.fc45.s 100% | 37.7 MiB/s | 110.6 MiB | 00m03s [120/120] ocaml-0:5.4.1-4.fc45.s390x 100% | 6.9 MiB/s | 41.2 MiB | 00m06s -------------------------------------------------------------------------------- [120/120] Total 100% | 58.1 MiB/s | 355.8 MiB | 00m06s Running transaction [ 1/122] Verify package files 100% | 91.0 B/s | 120.0 B | 00m01s [ 2/122] Prepare transaction 100% | 1.8 KiB/s | 120.0 B | 00m00s [ 3/122] Installing ocaml-runtime-0:5. 100% | 159.5 MiB/s | 4.8 MiB | 00m00s [ 4/122] Installing libmpc-0:1.4.0-1.f 100% | 162.8 MiB/s | 166.7 KiB | 00m00s [ 5/122] Installing libgfortran-0:16.0 100% | 494.9 MiB/s | 2.5 MiB | 00m00s [ 6/122] Installing libtextstyle-0:1.0 100% | 210.6 MiB/s | 215.6 KiB | 00m00s [ 7/122] Installing gettext-libs-0:1.0 100% | 346.0 MiB/s | 2.4 MiB | 00m00s [ 8/122] Installing cpp-0:16.0.1-0.10. 100% | 305.7 MiB/s | 30.6 MiB | 00m00s [ 9/122] Installing annobin-docs-0:13. 100% | 98.0 MiB/s | 100.3 KiB | 00m00s [ 10/122] Installing openblas-0:0.3.29- 100% | 0.0 B/s | 113.5 KiB | 00m00s [ 11/122] Installing openblas-openmp-0: 100% | 423.5 MiB/s | 15.2 MiB | 00m00s [ 12/122] Installing flexiblas-netlib-0 100% | 317.8 MiB/s | 17.2 MiB | 00m00s [ 13/122] Installing flexiblas-0:3.5.0- 100% | 38.2 MiB/s | 39.2 KiB | 00m00s [ 14/122] Installing flexiblas-openblas 100% | 0.0 B/s | 39.7 KiB | 00m00s [ 15/122] Installing csdp-0:6.2.0-37.20 100% | 458.6 MiB/s | 469.6 KiB | 00m00s [ 16/122] Installing csdp-tools-0:6.2.0 100% | 3.9 MiB/s | 64.1 KiB | 00m00s [ 17/122] Installing ncurses-0:6.6-1.fc 100% | 30.7 MiB/s | 628.1 KiB | 00m00s [ 18/122] Installing tzdata-0:2026a-1.f 100% | 52.2 MiB/s | 1.5 MiB | 00m00s [ 19/122] Installing python-pip-wheel-0 100% | 611.4 MiB/s | 1.2 MiB | 00m00s [ 20/122] Installing mpdecimal-0:4.0.1- 100% | 236.7 MiB/s | 242.4 KiB | 00m00s [ 21/122] Installing expat-0:2.7.5-1.fc 100% | 16.0 MiB/s | 344.5 KiB | 00m00s [ 22/122] Installing python3-libs-0:3.1 100% | 347.9 MiB/s | 44.2 MiB | 00m00s [ 23/122] Installing python3-0:3.14.3-2 100% | 197.5 KiB/s | 26.3 KiB | 00m00s [ 24/122] Installing groff-base-0:1.24. 100% | 36.7 MiB/s | 4.6 MiB | 00m00s [ 25/122] Installing perl-Digest-0:1.20 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [ 26/122] Installing perl-Digest-MD5-0: 100% | 55.9 MiB/s | 57.2 KiB | 00m00s [ 27/122] Installing perl-FileHandle-0: 100% | 0.0 B/s | 9.8 KiB | 00m00s [ 28/122] Installing perl-B-0:1.89-524. 100% | 254.1 MiB/s | 520.3 KiB | 00m00s [ 29/122] Installing perl-libnet-0:3.15 100% | 287.8 MiB/s | 294.7 KiB | 00m00s [ 30/122] Installing perl-MIME-Base32-0 100% | 0.0 B/s | 32.2 KiB | 00m00s [ 31/122] Installing perl-Data-Dumper-0 100% | 110.5 MiB/s | 113.2 KiB | 00m00s [ 32/122] Installing perl-URI-0:5.34-3. 100% | 137.6 MiB/s | 281.8 KiB | 00m00s [ 33/122] Installing perl-AutoLoader-0: 100% | 0.0 B/s | 21.0 KiB | 00m00s [ 34/122] Installing perl-IO-Socket-IP- 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [ 35/122] Installing perl-IO-Socket-SSL 100% | 355.3 MiB/s | 727.6 KiB | 00m00s [ 36/122] Installing perl-Net-SSLeay-0: 100% | 287.3 MiB/s | 1.4 MiB | 00m00s [ 37/122] Installing perl-Text-Tabs+Wra 100% | 0.0 B/s | 23.9 KiB | 00m00s [ 38/122] Installing perl-Pod-Escapes-1 100% | 0.0 B/s | 25.9 KiB | 00m00s [ 39/122] Installing perl-Time-Local-2: 100% | 0.0 B/s | 70.6 KiB | 00m00s [ 40/122] Installing perl-Time-HiRes-4: 100% | 114.7 MiB/s | 117.4 KiB | 00m00s [ 41/122] Installing perl-File-Path-0:2 100% | 0.0 B/s | 64.5 KiB | 00m00s [ 42/122] Installing perl-if-0:0.61.000 100% | 0.0 B/s | 6.2 KiB | 00m00s [ 43/122] Installing perl-locale-0:1.13 100% | 0.0 B/s | 6.5 KiB | 00m00s [ 44/122] Installing perl-HTTP-Tiny-0:0 100% | 155.9 MiB/s | 159.7 KiB | 00m00s [ 45/122] Installing perl-Pod-Simple-1: 100% | 280.7 MiB/s | 574.9 KiB | 00m00s [ 46/122] Installing perl-Term-Cap-0:1. 100% | 0.0 B/s | 30.6 KiB | 00m00s [ 47/122] Installing perl-Term-ANSIColo 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [ 48/122] Installing perl-IPC-Open3-0:1 100% | 0.0 B/s | 28.5 KiB | 00m00s [ 49/122] Installing perl-File-Temp-1:0 100% | 161.6 MiB/s | 165.5 KiB | 00m00s [ 50/122] Installing perl-POSIX-0:2.23- 100% | 236.6 MiB/s | 242.3 KiB | 00m00s [ 51/122] Installing perl-Class-Struct- 100% | 0.0 B/s | 25.9 KiB | 00m00s [ 52/122] Installing perl-Pod-Perldoc-0 100% | 9.7 MiB/s | 169.2 KiB | 00m00s [ 53/122] Installing perl-podlators-1:6 100% | 19.6 MiB/s | 321.4 KiB | 00m00s [ 54/122] Installing perl-File-stat-0:1 100% | 0.0 B/s | 13.1 KiB | 00m00s [ 55/122] Installing perl-Socket-4:2.04 100% | 123.0 MiB/s | 125.9 KiB | 00m00s [ 56/122] Installing perl-SelectSaver-0 100% | 0.0 B/s | 2.6 KiB | 00m00s [ 57/122] Installing perl-Symbol-0:1.09 100% | 0.0 B/s | 7.3 KiB | 00m00s [ 58/122] Installing perl-Pod-Usage-4:2 100% | 5.4 MiB/s | 87.9 KiB | 00m00s [ 59/122] Installing perl-mro-0:1.29-52 100% | 41.3 MiB/s | 42.3 KiB | 00m00s [ 60/122] Installing perl-IO-0:1.55-524 100% | 147.7 MiB/s | 151.3 KiB | 00m00s [ 61/122] Installing perl-overloading-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [ 62/122] Installing perl-base-0:2.27-5 100% | 0.0 B/s | 13.0 KiB | 00m00s [ 63/122] Installing perl-Fcntl-0:1.20- 100% | 0.0 B/s | 49.5 KiB | 00m00s [ 64/122] Installing perl-Text-ParseWor 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 65/122] Installing perl-Getopt-Long-1 100% | 143.8 MiB/s | 147.2 KiB | 00m00s [ 66/122] Installing perl-Storable-1:3. 100% | 223.0 MiB/s | 228.4 KiB | 00m00s [ 67/122] Installing perl-MIME-Base64-0 100% | 46.8 MiB/s | 47.9 KiB | 00m00s [ 68/122] Installing perl-Getopt-Std-0: 100% | 0.0 B/s | 11.8 KiB | 00m00s [ 69/122] Installing perl-vars-0:1.05-5 100% | 0.0 B/s | 4.3 KiB | 00m00s [ 70/122] Installing perl-overload-0:1. 100% | 0.0 B/s | 72.0 KiB | 00m00s [ 71/122] Installing perl-parent-1:0.24 100% | 0.0 B/s | 11.0 KiB | 00m00s [ 72/122] Installing perl-Scalar-List-U 100% | 144.8 MiB/s | 148.2 KiB | 00m00s [ 73/122] Installing perl-constant-0:1. 100% | 0.0 B/s | 27.4 KiB | 00m00s [ 74/122] Installing perl-File-Basename 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 75/122] Installing perl-Errno-0:1.38- 100% | 0.0 B/s | 8.8 KiB | 00m00s [ 76/122] Installing perl-Carp-0:1.54-5 100% | 46.6 MiB/s | 47.7 KiB | 00m00s [ 77/122] Installing perl-Encode-4:3.21 100% | 273.4 MiB/s | 9.6 MiB | 00m00s [ 78/122] Installing perl-DynaLoader-0: 100% | 0.0 B/s | 32.5 KiB | 00m00s [ 79/122] Installing perl-PathTools-0:3 100% | 176.0 MiB/s | 180.2 KiB | 00m00s [ 80/122] Installing perl-Exporter-0:5. 100% | 27.1 MiB/s | 55.6 KiB | 00m00s [ 81/122] Installing perl-libs-4:5.42.2 100% | 323.3 MiB/s | 12.0 MiB | 00m00s [ 82/122] Installing perl-interpreter-4 100% | 7.3 MiB/s | 120.1 KiB | 00m00s [ 83/122] Installing perl-File-Compare- 100% | 0.0 B/s | 6.2 KiB | 00m00s [ 84/122] Installing perl-File-Copy-0:2 100% | 0.0 B/s | 20.2 KiB | 00m00s [ 85/122] Installing perl-File-Find-0:1 100% | 0.0 B/s | 42.5 KiB | 00m00s [ 86/122] Installing gettext-envsubst-0 100% | 4.7 MiB/s | 71.7 KiB | 00m00s [ 87/122] Installing gettext-runtime-0: 100% | 37.1 MiB/s | 721.4 KiB | 00m00s [ 88/122] Installing gettext-0:1.0-1.fc 100% | 372.1 MiB/s | 17.9 MiB | 00m00s [ 89/122] Installing kernel-headers-0:7 100% | 227.0 MiB/s | 7.0 MiB | 00m00s [ 90/122] Installing glibc-devel-0:2.43 100% | 267.1 MiB/s | 3.7 MiB | 00m00s [ 91/122] Installing libxcrypt-devel-0: 100% | 32.5 MiB/s | 33.3 KiB | 00m00s [ 92/122] Installing gmp-c++-1:6.3.0-5. 100% | 0.0 B/s | 27.9 KiB | 00m00s [ 93/122] Installing gmp-devel-1:6.3.0- 100% | 349.6 MiB/s | 358.0 KiB | 00m00s [ 94/122] Installing cmake-filesystem-0 100% | 9.1 MiB/s | 9.4 KiB | 00m00s [ 95/122] Installing libzstd-devel-0:1. 100% | 214.0 MiB/s | 219.1 KiB | 00m00s [ 96/122] Installing make-1:4.4.1-12.fc 100% | 88.5 MiB/s | 1.9 MiB | 00m00s [ 97/122] Installing libubsan-0:16.0.1- 100% | 244.4 MiB/s | 500.6 KiB | 00m00s [ 98/122] Installing libatomic-0:16.0.1 100% | 0.0 B/s | 38.3 KiB | 00m00s [ 99/122] Installing libasan-0:16.0.1-0 100% | 374.8 MiB/s | 1.9 MiB | 00m00s [100/122] Installing gcc-0:16.0.1-0.10. 100% | 158.4 MiB/s | 88.4 MiB | 00m01s [101/122] Installing ocaml-0:5.4.1-4.fc 100% | 480.3 MiB/s | 197.4 MiB | 00m00s [102/122] Installing ocaml-compiler-lib 100% | 503.3 MiB/s | 114.8 MiB | 00m00s [103/122] Installing ocaml-findlib-0:1. 100% | 164.2 MiB/s | 4.3 MiB | 00m00s [104/122] Installing ocaml-zarith-0:1.1 100% | 100.2 MiB/s | 410.6 KiB | 00m00s [105/122] Installing rocq-runtime-0:9.2 100% | 450.7 MiB/s | 370.5 MiB | 00m01s [106/122] Installing rocq-core-0:9.2.0- 100% | 323.1 MiB/s | 4.8 MiB | 00m00s [107/122] Installing rocq-0:9.2.0-1.fc4 100% | 60.5 KiB/s | 124.0 B | 00m00s [108/122] Installing rocq-stdlib-0:9.1. 100% | 323.0 MiB/s | 62.3 MiB | 00m00s [109/122] Installing gettext-common-dev 100% | 582.5 MiB/s | 596.5 KiB | 00m00s [110/122] Installing gettext-devel-0:1. 100% | 65.2 MiB/s | 1.4 MiB | 00m00s [111/122] Installing libstdc++-devel-0: 100% | 519.6 MiB/s | 38.4 MiB | 00m00s [112/122] Installing m4-0:1.4.21-1.fc45 100% | 46.6 MiB/s | 906.8 KiB | 00m00s [113/122] Installing emacs-filesystem-1 100% | 0.0 B/s | 812.0 B | 00m00s [114/122] Installing autoconf-0:2.72-10 100% | 133.5 MiB/s | 2.8 MiB | 00m00s [115/122] Installing gcc-c++-0:16.0.1-0 100% | 340.7 MiB/s | 34.7 MiB | 00m00s [116/122] Installing flocq-0:4.2.2-2.fc 100% | 490.9 MiB/s | 16.7 MiB | 00m00s [117/122] Installing coq-core-compat-0: 100% | 468.6 MiB/s | 51.1 MiB | 00m00s [118/122] Installing ocaml-zarith-devel 100% | 391.1 MiB/s | 1.2 MiB | 00m00s [119/122] Installing annobin-plugin-gcc 100% | 2.0 MiB/s | 698.3 KiB | 00m00s [120/122] Installing gcc-plugin-annobin 100% | 139.6 KiB/s | 54.3 KiB | 00m00s [121/122] Installing remake-0:0.16-5.fc 100% | 5.6 MiB/s | 136.5 KiB | 00m00s [122/122] Installing gappa-0:1.7.0-1.fc 100% | 310.7 KiB/s | 763.2 KiB | 00m02s Warning: skipped OpenPGP checks for 6 packages from repository: copr_base Complete! Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1775779200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm Updating and loading repositories: fedora 100% | 10.9 KiB/s | 4.2 KiB | 00m00s Copr repository 100% | 4.5 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Nothing to do. Package "autoconf-2.72-10.fc44.noarch" is already installed. Package "coq-core-compat-9.2.0-1.fc45.s390x" is already installed. Package "flocq-4.2.2-2.fc45.s390x" is already installed. Package "gappa-1.7.0-1.fc45.s390x" is already installed. Package "gcc-c++-16.0.1-0.10.fc45.s390x" is already installed. Package "ocaml-5.4.1-4.fc45.s390x" is already installed. Package "ocaml-findlib-1.9.8-8.fc45.s390x" is already installed. Package "ocaml-zarith-devel-1.14-12.fc45.s390x" is already installed. Package "remake-0.16-5.fc44.s390x" is already installed. Package "rocq-9.2.0-1.fc45.s390x" is already installed. 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: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1775779200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.Zaulmo Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.2Ha9HE + 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.RpO9Gv + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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.NQ3Mms + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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/ccXiuZi8.o: in function `main': remake.cpp:(.text.startup+0xc20): 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 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 /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 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 File "src/gappatac.c", line 16, characters 5-11: Alert deprecated: module Coqlib (9.0) Use Rocqlib 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 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_fixed.v | ./remake -r src/Gappa_fixed.vo File "src/gappatac.c", line 82, characters 42-46: Alert deprecated: module Pcoq (9.0) Use Procq Building src/Gappa_float.vo File "src/gappatac.c", line 16, characters 5-11: Alert deprecated: module Coqlib (9.0) Use Rocqlib tools/vdep.exe -R src Gappa src/Gappa_float.v | ./remake -r src/Gappa_float.vo 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 Building src/Gappa_library.vo 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 tools/vdep.exe -R src Gappa src/Gappa_library.v | ./remake -r src/Gappa_library.vo Building src/Gappa_obfuscate.vo tools/vdep.exe -R src Gappa src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo 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 846, characters 21-29: Alert deprecated: Tacmach.pf_concl (9.2) Use Proofview.Goal.concl 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. /usr/bin/coqc -q -R src Gappa -I src src/Gappa_obfuscate.v 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 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 Finished src/gappatac.cmo Building src/Gappa_pred_abs.vo 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 846, characters 21-29: Alert deprecated: Tacmach.pf_concl (9.2) Use Proofview.Goal.concl 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. 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 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 "./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] 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 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 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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v 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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v 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] 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] 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 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] Building src/Gappa_tactic.vo tools/vdep.exe -R src Gappa src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo Finished src/Gappa_definitions.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v 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_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] Finished src/Gappa_round_def.vo 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_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.v Finished src/Gappa_real.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v 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 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_rewriting.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.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] 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_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_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_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_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_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 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_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_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 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_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_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 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] 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 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] 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] Finished src/Gappa_tree.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v 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 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_user.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_float.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_lin.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] 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_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] Finished src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v 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_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 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_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_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] Finished src/Gappa_pred_lin.vo 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_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_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_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_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_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_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_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_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_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_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] 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] 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_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 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_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_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_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 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_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_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_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_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 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_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 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_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 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] Finished src/Gappa_fixed.vo 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 Finished src/Gappa_pred_rel.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.Qgy1bn + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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.s390x --unique-debug-src-base gappalib-coq-1.8.0-2.fc45.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 --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 1 files DWARF-compressing 1 files /usr/bin/sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.8.0-2.fc45.s390x /usr/bin/cpio: atomic.ml: Cannot stat: No such file or directory /usr/bin/cpio: big_int_Z.ml: Cannot stat: No such file or directory /usr/bin/cpio: buffer.ml: Cannot stat: No such file or directory /usr/bin/cpio: bytes.ml: Cannot stat: No such file or directory /usr/bin/cpio: filename.ml: Cannot stat: No such file or directory /usr/bin/cpio: format.ml: Cannot stat: No such file or directory /usr/bin/cpio: hashtbl.ml: Cannot stat: No such file or directory /usr/bin/cpio: stdlib.ml: Cannot stat: No such file or directory /usr/bin/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 18 directories and 49 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 17 directories and 49 files, considered 49 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.hVtWFh + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection ' + 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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -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=z13 -mtune=z14 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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.s390x Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.uYY0u0 + 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.OLaszQ + 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(s390-64) = 1.8.0-2.fc45 ocaml(Gappatac) = bb7fb6fc32be9d682d31ad351fa6399d 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(Namegen) = b174a577fbeda816c838f72f941b74b9 ocaml(Nameops) = 89f06fe391f7f072a96548bd25842ee8 ocaml(Names) = f2fd0dd7f492abdd5e55c86dea1a1714 ocaml(Nativecode) = be58dac2002ed3eabed855e79f8f4907 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 rtld(GNU_HASH) Processing files: gappalib-coq-source-1.8.0-2.fc45.s390x Provides: gappalib-coq-source = 1.8.0-2.fc45 gappalib-coq-source(s390-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.s390x Provides: gappalib-coq-debugsource = 1.8.0-2.fc45 gappalib-coq-debugsource(s390-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.s390x Provides: debuginfo(build-id) = 9d0fb97aacc55fff2f779efdb08d344b1882eb9d gappalib-coq-debuginfo = 1.8.0-2.fc45 gappalib-coq-debuginfo(s390-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(s390-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.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.8.0-2.fc45.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.8.0-2.fc45.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.8.0-2.fc45.s390x.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.3KCQBq + 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-s390x-1775862948.801172/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) 3 minutes 26 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": "s390x" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "s390x" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "s390x" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "s390x" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "src" } ] } RPMResults finished