Warning: Permanently added '2620:52:6:1161:dead:beef:cafe:c177' (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-ppc64le --chroot fedora-rawhide-ppc64le Version: 1.6 PID: 6153 Logging PID: 6155 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 10312987, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-ppc64le', '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-ppc64le/', '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-ppc64le', '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-jylgoqcz/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-jylgoqcz/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-jylgoqcz/gappalib-coq'... Running: git checkout 51d6e8a1a3aa42ac426180903fffe043d290b4ec -- cmd: ['git', 'checkout', '51d6e8a1a3aa42ac426180903fffe043d290b4ec', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-jylgoqcz/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-jylgoqcz/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 1009k 0 --:--:-- --:--:-- --:--:-- 1016k 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-jylgoqcz/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-jylgoqcz/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862950.506722 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 6.7 starting (python version = 3.14.2, NVR = mock-6.7-1.fc43), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-jylgoqcz/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-jylgoqcz/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862950.506722 -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-jylgoqcz/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-ppc64le) 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-ppc64le-bootstrap-1775862950.506722/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-d0202a67-5813-410b-92ed-e45ed3649915 INFO: Checking that 4a069dfd5dfa468404421725273d1c6bd9f9d70feab598e7648d95e5a27b5e64 image matches host's architecture INFO: Copy content of container 4a069dfd5dfa468404421725273d1c6bd9f9d70feab598e7648d95e5a27b5e64 to /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1775862950.506722/root INFO: mounting 4a069dfd5dfa468404421725273d1c6bd9f9d70feab598e7648d95e5a27b5e64 with podman image mount INFO: image 4a069dfd5dfa468404421725273d1c6bd9f9d70feab598e7648d95e5a27b5e64 as /var/lib/containers/storage/overlay/797d9bc237362e34503ac2c5ba4719e1c2c025ea4ae23a873eaebc016ae5b283/merged INFO: umounting image 4a069dfd5dfa468404421725273d1c6bd9f9d70feab598e7648d95e5a27b5e64 (/var/lib/containers/storage/overlay/797d9bc237362e34503ac2c5ba4719e1c2c025ea4ae23a873eaebc016ae5b283/merged) with podman image umount INFO: Removing image mock-bootstrap-d0202a67-5813-410b-92ed-e45ed3649915 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-ppc64le-1775862950.506722/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.ppc64le rpm-sequoia-1.10.1-1.fc45.ppc64le dnf5-5.4.0.0-6.fc45.ppc64le dnf5-plugins-5.4.0.0-6.fc45.ppc64le Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 7.7 MiB/s | 19.8 MiB | 00m03s Copr repository 100% | 130.6 KiB/s | 343.0 KiB | 00m03s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash ppc64le 0:5.3.9-3.fc44 fedora 8.9 MiB bzip2 ppc64le 0:1.0.8-23.fc44 fedora 170.8 KiB coreutils ppc64le 0:9.10-3.fc45 fedora 9.4 MiB cpio ppc64le 0:2.15-9.fc44 fedora 1.2 MiB diffutils ppc64le 0:3.12-5.fc44 fedora 1.7 MiB fedora-release-common noarch 0:45-0.5 fedora 4.2 KiB findutils ppc64le 1:4.10.0-7.fc44 fedora 2.0 MiB gawk ppc64le 0:5.4.0-2.fc45 fedora 3.1 MiB glibc-minimal-langpack ppc64le 0:2.43.9000-8.fc45 fedora 0.0 B grep ppc64le 0:3.12-3.fc44 fedora 1.0 MiB gzip ppc64le 0:1.14-2.fc44 fedora 437.3 KiB info ppc64le 0:7.3-1.fc45 fedora 488.1 KiB patch ppc64le 0:2.8-4.fc44 fedora 262.3 KiB redhat-rpm-config noarch 0:344-1.fc45 fedora 183.7 KiB rpm-build ppc64le 0:6.0.1-5.fc45 fedora 662.4 KiB sed ppc64le 0:4.9-8.fc45 fedora 937.0 KiB shadow-utils ppc64le 2:4.19.3-1.fc45 fedora 4.9 MiB tar ppc64le 2:1.35-8.fc44 fedora 3.1 MiB unzip ppc64le 0:6.0-69.fc44 fedora 533.4 KiB util-linux ppc64le 0:2.42-7.fc45 fedora 7.0 MiB which ppc64le 0:2.23-4.fc44 fedora 123.2 KiB xz ppc64le 1:5.8.3-1.fc45 fedora 1.5 MiB Installing dependencies: R-srpm-macros noarch 0:1.3.7-1.fc45 fedora 3.5 KiB add-determinism ppc64le 0:0.7.3-2.fc45 fedora 2.3 MiB alternatives ppc64le 0:1.33-5.fc44 fedora 89.9 KiB ansible-srpm-macros noarch 0:1-20.1.fc44 fedora 35.7 KiB audit-libs ppc64le 0:4.1.4-1.fc45 fedora 550.2 KiB binutils ppc64le 0:2.46.50-7.fc45 fedora 33.6 MiB build-reproducibility-srpm-macros noarch 0:0.7.3-2.fc45 fedora 1.2 KiB bzip2-libs ppc64le 0:1.0.8-23.fc44 fedora 136.4 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 ppc64le 0:9.10-3.fc45 fedora 10.7 MiB crypto-policies noarch 0:20251128-3.git19878fe.fc44 fedora 132.6 KiB curl ppc64le 0:8.20.0~rc1-1.fc45 fedora 526.7 KiB cyrus-sasl-lib ppc64le 0:2.1.28-35.fc44 fedora 2.9 MiB debugedit ppc64le 0:5.3-2.fc45 fedora 384.4 KiB dwz ppc64le 0:0.16-3.fc44 fedora 386.5 KiB ed ppc64le 0:1.22.5-2.fc45 fedora 221.6 KiB efi-srpm-macros noarch 0:6-6.fc44 fedora 40.2 KiB elfutils ppc64le 0:0.194-5.fc45 fedora 3.4 MiB elfutils-debuginfod-client ppc64le 0:0.194-5.fc45 fedora 143.3 KiB elfutils-default-yama-scope noarch 0:0.194-5.fc45 fedora 1.8 KiB elfutils-libelf ppc64le 0:0.194-5.fc45 fedora 1.2 MiB elfutils-libs ppc64le 0:0.194-5.fc45 fedora 874.3 KiB erlang-srpm-macros noarch 0:0.3.11-1.fc45 fedora 1.9 KiB fedora-gpg-keys noarch 0:45-0.1 fedora 133.4 KiB fedora-release noarch 0:45-0.5 fedora 0.0 B fedora-release-identity-basic noarch 0:45-0.5 fedora 664.0 B fedora-repos noarch 0:45-0.1 fedora 4.9 KiB fedora-repos-rawhide noarch 0:45-0.1 fedora 2.2 KiB file ppc64le 0:5.47-1.fc45 fedora 141.0 KiB file-libs ppc64le 0:5.47-1.fc45 fedora 12.3 MiB filesystem ppc64le 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 ppc64le 0:17.1-5.fc45 fedora 16.3 MiB gdbm-libs ppc64le 1:1.23-11.fc44 fedora 233.3 KiB ghc-srpm-macros noarch 0:1.10-1.fc44 fedora 792.0 B glibc ppc64le 0:2.43.9000-8.fc45 fedora 11.9 MiB glibc-common ppc64le 0:2.43.9000-8.fc45 fedora 1.5 MiB glibc-gconv-extra ppc64le 0:2.43.9000-8.fc45 fedora 18.5 MiB gmp ppc64le 1:6.3.0-5.fc44 fedora 786.1 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 ppc64le 0:2.4.9-5.fc44 fedora 6.8 MiB gnupg2-dirmngr ppc64le 0:2.4.9-5.fc44 fedora 837.8 KiB gnupg2-gpg-agent ppc64le 0:2.4.9-5.fc44 fedora 974.1 KiB gnupg2-gpgconf ppc64le 0:2.4.9-5.fc44 fedora 321.5 KiB gnupg2-keyboxd ppc64le 0:2.4.9-5.fc44 fedora 233.1 KiB gnupg2-verify ppc64le 0:2.4.9-5.fc44 fedora 428.1 KiB gnutls ppc64le 0:3.8.12-1.fc45 fedora 4.0 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 ppc64le 0:1.6.2-10.fc45 fedora 92.5 KiB jansson ppc64le 0:2.14-4.fc44 fedora 156.9 KiB java-srpm-macros noarch 0:1-8.fc44 fedora 870.0 B json-c ppc64le 0:0.18-8.fc44 fedora 138.5 KiB kernel-srpm-macros noarch 0:1.0-29.fc45 fedora 1.9 KiB keyutils-libs ppc64le 0:1.6.3-7.fc44 fedora 97.9 KiB krb5-libs ppc64le 0:1.22.2-4.fc45 fedora 3.0 MiB libacl ppc64le 0:2.3.2-6.fc44 fedora 67.5 KiB libarchive ppc64le 0:3.8.6-1.fc45 fedora 1.3 MiB libassuan ppc64le 0:2.5.7-5.fc44 fedora 215.8 KiB libattr ppc64le 0:2.5.2-8.fc44 fedora 68.0 KiB libblkid ppc64le 0:2.42-7.fc45 fedora 354.3 KiB libbrotli ppc64le 0:1.2.0-3.fc44 fedora 1.0 MiB libcap ppc64le 0:2.78-1.fc45 fedora 506.7 KiB libcap-ng ppc64le 0:0.9.3-1.fc45 fedora 160.1 KiB libcbor ppc64le 0:0.13.0-2.fc44 fedora 139.5 KiB libcom_err ppc64le 0:1.47.4-1.fc45 fedora 110.9 KiB libcurl ppc64le 0:8.20.0~rc1-1.fc45 fedora 1.3 MiB libeconf ppc64le 0:0.7.9-3.fc44 fedora 80.7 KiB libevent ppc64le 0:2.1.12-17.fc44 fedora 1.3 MiB libfdisk ppc64le 0:2.42-7.fc45 fedora 482.8 KiB libffi ppc64le 0:3.5.2-2.fc44 fedora 347.5 KiB libfido2 ppc64le 0:1.16.0-5.fc44 fedora 342.5 KiB libfsverity ppc64le 0:1.7-1.fc45 fedora 68.0 KiB libgcc ppc64le 0:16.0.1-0.10.fc45 fedora 286.4 KiB libgcrypt ppc64le 0:1.12.1-1.fc45 fedora 1.6 MiB libgomp ppc64le 0:16.0.1-0.10.fc45 fedora 656.8 KiB libgpg-error ppc64le 0:1.59-1.fc45 fedora 1.0 MiB libidn2 ppc64le 0:2.3.8-3.fc44 fedora 560.1 KiB libksba ppc64le 0:1.6.8-1.fc45 fedora 529.8 KiB liblastlog2 ppc64le 0:2.42-7.fc45 fedora 137.2 KiB libmount ppc64le 0:2.42-7.fc45 fedora 548.3 KiB libnghttp2 ppc64le 0:1.68.1-1.fc45 fedora 197.8 KiB libnghttp3 ppc64le 0:1.15.0-1.fc44 fedora 206.5 KiB libpkgconf ppc64le 0:2.5.1-1.fc45 fedora 133.9 KiB libpsl ppc64le 0:0.21.5-7.fc44 fedora 132.0 KiB librtas ppc64le 0:2.0.6-6.fc44 fedora 305.3 KiB libselinux ppc64le 0:3.10-1.fc44 fedora 265.0 KiB libselinux-utils ppc64le 0:3.10-1.fc44 fedora 1.3 MiB libsemanage ppc64le 0:3.10-1.fc44 fedora 423.8 KiB libsepol ppc64le 0:3.10-1.fc44 fedora 1.0 MiB libsmartcols ppc64le 0:2.42-7.fc45 fedora 289.4 KiB libssh ppc64le 0:0.12.0-1.fc45 fedora 911.1 KiB libssh-config noarch 0:0.12.0-1.fc45 fedora 277.0 B libstdc++ ppc64le 0:16.0.1-0.10.fc45 fedora 3.9 MiB libtasn1 ppc64le 0:4.21.0-1.fc45 fedora 220.4 KiB libtool-ltdl ppc64le 0:2.5.4-10.fc44 fedora 93.8 KiB libunistring ppc64le 0:1.1-11.fc44 fedora 1.9 MiB libusb1 ppc64le 0:1.0.29-5.fc44 fedora 242.7 KiB libuuid ppc64le 0:2.42-7.fc45 fedora 69.2 KiB libverto ppc64le 0:0.3.2-12.fc44 fedora 69.0 KiB libxcrypt ppc64le 0:4.5.2-3.fc44 fedora 336.9 KiB libxml2 ppc64le 0:2.12.10-6.fc44 fedora 2.3 MiB libzstd ppc64le 0:1.5.7-5.fc44 fedora 1.1 MiB linkdupes ppc64le 0:0.7.3-2.fc45 fedora 905.2 KiB lua-libs ppc64le 0:5.5.0-1.fc45 fedora 393.9 KiB lua-srpm-macros noarch 0:1-17.fc44 fedora 1.3 KiB lz4-libs ppc64le 0:1.10.0-4.fc44 fedora 261.0 KiB mpfr ppc64le 0:4.2.2-3.fc44 fedora 913.5 KiB ncurses-base noarch 0:6.6-1.fc44 fedora 329.7 KiB ncurses-libs ppc64le 0:6.6-1.fc44 fedora 1.5 MiB nettle ppc64le 0:3.10.1-3.fc44 fedora 957.4 KiB ngtcp2 ppc64le 0:1.21.0-1.fc45 fedora 405.0 KiB ngtcp2-crypto-ossl ppc64le 0:1.21.0-1.fc45 fedora 67.1 KiB npth ppc64le 0:1.8-4.fc44 fedora 93.0 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 ppc64le 0:2.6.13-1.fc45 fedora 891.9 KiB openssl-libs ppc64le 1:3.5.5-1.fc44 fedora 9.1 MiB p11-kit ppc64le 0:0.26.2-1.fc45 fedora 3.2 MiB p11-kit-trust ppc64le 0:0.26.2-1.fc45 fedora 593.9 KiB package-notes-srpm-macros noarch 0:0.17-3.fc45 fedora 1.6 KiB pam-libs ppc64le 0:1.7.2-1.fc44 fedora 286.0 KiB pcre2 ppc64le 0:10.47-1.fc44.1 fedora 841.8 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 ppc64le 0:2.5.1-1.fc45 fedora 116.6 KiB pkgconf-m4 noarch 0:2.5.1-1.fc45 fedora 14.3 KiB pkgconf-pkg-config ppc64le 0:2.5.1-1.fc45 fedora 990.0 B policycoreutils ppc64le 0:3.10-3.fc45 fedora 1.5 MiB popt ppc64le 0:1.19-10.fc44 fedora 208.6 KiB publicsuffix-list-dafsa noarch 0:20260116-1.fc44 fedora 70.4 KiB pyproject-srpm-macros noarch 0:1.19.0-1.fc45 fedora 1.9 KiB python-srpm-macros noarch 0:3.14-12.fc45 fedora 51.6 KiB qt5-srpm-macros noarch 0:5.15.18-2.fc44 fedora 500.0 B qt6-srpm-macros noarch 0:6.10.3-1.fc45 fedora 472.0 B readline ppc64le 0:8.3-4.fc44 fedora 627.4 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 ppc64le 0:6.0.1-5.fc45 fedora 4.2 MiB rpm-build-libs ppc64le 0:6.0.1-5.fc45 fedora 327.9 KiB rpm-libs ppc64le 0:6.0.1-5.fc45 fedora 1.2 MiB rpm-plugin-selinux ppc64le 0:6.0.1-5.fc45 fedora 67.8 KiB rpm-sequoia ppc64le 0:1.10.1-1.fc45 fedora 4.8 MiB rpm-sign-libs ppc64le 0:6.0.1-5.fc45 fedora 67.5 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 ppc64le 0:3.52.0-1.fc45 fedora 1.9 MiB systemd-libs ppc64le 0:260.1-2.fc45 fedora 3.0 MiB systemd-standalone-sysusers ppc64le 0:260.1-2.fc45 fedora 976.2 KiB tpm2-tss ppc64le 0:4.1.3-9.fc44 fedora 2.4 MiB tree-sitter-srpm-macros noarch 0:0.4.2-2.fc44 fedora 8.3 KiB util-linux-core ppc64le 0:2.42-7.fc45 fedora 2.6 MiB xxhash-libs ppc64le 0:0.8.3-4.fc44 fedora 85.5 KiB xz-libs ppc64le 1:5.8.3-1.fc45 fedora 265.2 KiB zig-srpm-macros noarch 0:1-8.fc44 fedora 1.3 KiB zip ppc64le 0:3.0-45.fc44 fedora 889.1 KiB zlib-ng-compat ppc64le 0:2.3.3-5.fc45 fedora 197.3 KiB zstd ppc64le 0:1.5.7-5.fc44 fedora 562.0 KiB Installing groups: Buildsystem building group Transaction Summary: Installing: 188 packages Total size of inbound packages is 74 MiB. Need to download 74 MiB. After this operation, 282 MiB extra will be used (install 282 MiB, remove 0 B). [ 1/188] bzip2-0:1.0.8-23.fc44.ppc64le 100% | 12.9 MiB/s | 53.0 KiB | 00m00s [ 2/188] cpio-0:2.15-9.fc44.ppc64le 100% | 29.4 MiB/s | 300.9 KiB | 00m00s [ 3/188] coreutils-0:9.10-3.fc45.ppc64 100% | 54.1 MiB/s | 1.2 MiB | 00m00s [ 4/188] bash-0:5.3.9-3.fc44.ppc64le 100% | 50.0 MiB/s | 1.9 MiB | 00m00s [ 5/188] diffutils-0:3.12-5.fc44.ppc64 100% | 17.2 MiB/s | 406.0 KiB | 00m00s [ 6/188] fedora-release-common-0:45-0. 100% | 1.4 MiB/s | 18.5 KiB | 00m00s [ 7/188] findutils-1:4.10.0-7.fc44.ppc 100% | 57.3 MiB/s | 586.5 KiB | 00m00s [ 8/188] glibc-minimal-langpack-0:2.43 100% | 10.1 MiB/s | 93.0 KiB | 00m00s [ 9/188] grep-0:3.12-3.fc44.ppc64le 100% | 60.3 MiB/s | 308.8 KiB | 00m00s [ 10/188] gzip-0:1.14-2.fc44.ppc64le 100% | 29.1 MiB/s | 178.8 KiB | 00m00s [ 11/188] gawk-0:5.4.0-2.fc45.ppc64le 100% | 52.0 MiB/s | 1.2 MiB | 00m00s [ 12/188] info-0:7.3-1.fc45.ppc64le 100% | 20.2 MiB/s | 206.9 KiB | 00m00s [ 13/188] patch-0:2.8-4.fc44.ppc64le 100% | 15.1 MiB/s | 123.6 KiB | 00m00s [ 14/188] redhat-rpm-config-0:344-1.fc4 100% | 25.5 MiB/s | 78.4 KiB | 00m00s [ 15/188] rpm-build-0:6.0.1-5.fc45.ppc6 100% | 52.4 MiB/s | 161.0 KiB | 00m00s [ 16/188] sed-0:4.9-8.fc45.ppc64le 100% | 39.4 MiB/s | 322.7 KiB | 00m00s [ 17/188] unzip-0:6.0-69.fc44.ppc64le 100% | 40.1 MiB/s | 205.2 KiB | 00m00s [ 18/188] tar-2:1.35-8.fc44.ppc64le 100% | 54.1 MiB/s | 887.0 KiB | 00m00s [ 19/188] shadow-utils-2:4.19.3-1.fc45. 100% | 48.6 MiB/s | 1.3 MiB | 00m00s [ 20/188] which-0:2.23-4.fc44.ppc64le 100% | 5.3 MiB/s | 43.1 KiB | 00m00s [ 21/188] util-linux-0:2.42-7.fc45.ppc6 100% | 45.8 MiB/s | 1.3 MiB | 00m00s [ 22/188] xz-1:5.8.3-1.fc45.ppc64le 100% | 35.7 MiB/s | 658.3 KiB | 00m00s [ 23/188] filesystem-0:3.18-56.fc45.ppc 100% | 52.4 MiB/s | 1.8 MiB | 00m00s [ 24/188] ncurses-libs-0:6.6-1.fc44.ppc 100% | 19.6 MiB/s | 382.0 KiB | 00m00s [ 25/188] bzip2-libs-0:1.0.8-23.fc44.pp 100% | 12.1 MiB/s | 49.4 KiB | 00m00s [ 26/188] gmp-1:6.3.0-5.fc44.ppc64le 100% | 52.1 MiB/s | 319.9 KiB | 00m00s [ 27/188] libacl-0:2.3.2-6.fc44.ppc64le 100% | 12.9 MiB/s | 26.4 KiB | 00m00s [ 28/188] glibc-0:2.43.9000-8.fc45.ppc6 100% | 62.4 MiB/s | 3.3 MiB | 00m00s [ 29/188] libattr-0:2.5.2-8.fc44.ppc64l 100% | 1.0 MiB/s | 18.7 KiB | 00m00s [ 30/188] coreutils-common-0:9.10-3.fc4 100% | 47.4 MiB/s | 2.1 MiB | 00m00s [ 31/188] libcap-0:2.78-1.fc45.ppc64le 100% | 7.1 MiB/s | 95.0 KiB | 00m00s [ 32/188] libselinux-0:3.10-1.fc44.ppc6 100% | 8.4 MiB/s | 111.7 KiB | 00m00s [ 33/188] fedora-repos-0:45-0.1.noarch 100% | 1.5 MiB/s | 9.2 KiB | 00m00s [ 34/188] redhat-systemd-presets-0:102- 100% | 4.1 MiB/s | 8.3 KiB | 00m00s [ 35/188] systemd-libs-0:260.1-2.fc45.p 100% | 55.0 MiB/s | 901.6 KiB | 00m00s [ 36/188] mpfr-0:4.2.2-3.fc44.ppc64le 100% | 34.9 MiB/s | 357.9 KiB | 00m00s [ 37/188] readline-0:8.3-4.fc44.ppc64le 100% | 39.6 MiB/s | 243.1 KiB | 00m00s [ 38/188] glibc-common-0:2.43.9000-8.fc 100% | 54.9 MiB/s | 393.3 KiB | 00m00s [ 39/188] pcre2-0:10.47-1.fc44.1.ppc64l 100% | 39.8 MiB/s | 285.6 KiB | 00m00s [ 40/188] openssl-libs-1:3.5.5-1.fc44.p 100% | 60.4 MiB/s | 2.8 MiB | 00m00s [ 41/188] ed-0:1.22.5-2.fc45.ppc64le 100% | 5.0 MiB/s | 87.2 KiB | 00m00s [ 42/188] R-srpm-macros-0:1.3.7-1.fc45. 100% | 730.5 KiB/s | 11.0 KiB | 00m00s [ 43/188] ansible-srpm-macros-0:1-20.1. 100% | 9.8 MiB/s | 20.1 KiB | 00m00s [ 44/188] build-reproducibility-srpm-ma 100% | 6.5 MiB/s | 13.3 KiB | 00m00s [ 45/188] cmake-srpm-macros-0:4.3.0-1.f 100% | 5.1 MiB/s | 10.4 KiB | 00m00s [ 46/188] efi-srpm-macros-0:6-6.fc44.no 100% | 11.0 MiB/s | 22.6 KiB | 00m00s [ 47/188] erlang-srpm-macros-0:0.3.11-1 100% | 4.9 MiB/s | 10.0 KiB | 00m00s [ 48/188] dwz-0:0.16-3.fc44.ppc64le 100% | 35.6 MiB/s | 145.8 KiB | 00m00s [ 49/188] file-0:5.47-1.fc45.ppc64le 100% | 16.2 MiB/s | 49.7 KiB | 00m00s [ 50/188] filesystem-srpm-macros-0:3.18 100% | 8.7 MiB/s | 26.8 KiB | 00m00s [ 51/188] fonts-srpm-macros-1:5.0.0-3.f 100% | 13.3 MiB/s | 27.2 KiB | 00m00s [ 52/188] forge-srpm-macros-0:0.4.0-4.f 100% | 9.8 MiB/s | 20.0 KiB | 00m00s [ 53/188] fpc-srpm-macros-0:1.3-16.fc44 100% | 3.9 MiB/s | 7.9 KiB | 00m00s [ 54/188] gap-srpm-macros-0:2-2.fc44.no 100% | 4.5 MiB/s | 9.1 KiB | 00m00s [ 55/188] ghc-srpm-macros-0:1.10-1.fc44 100% | 4.3 MiB/s | 8.8 KiB | 00m00s [ 56/188] gnat-srpm-macros-0:7-2.fc44.n 100% | 4.3 MiB/s | 8.7 KiB | 00m00s [ 57/188] go-srpm-macros-0:3.8.0-2.fc44 100% | 9.2 MiB/s | 28.2 KiB | 00m00s [ 58/188] java-srpm-macros-0:1-8.fc44.n 100% | 4.0 MiB/s | 8.1 KiB | 00m00s [ 59/188] kernel-srpm-macros-0:1.0-29.f 100% | 4.0 MiB/s | 8.2 KiB | 00m00s [ 60/188] lua-srpm-macros-0:1-17.fc44.n 100% | 4.3 MiB/s | 8.9 KiB | 00m00s [ 61/188] ocaml-srpm-macros-0:11-3.fc44 100% | 9.1 MiB/s | 9.3 KiB | 00m00s [ 62/188] package-notes-srpm-macros-0:0 100% | 9.5 MiB/s | 9.7 KiB | 00m00s [ 63/188] openblas-srpm-macros-0:2-21.f 100% | 3.8 MiB/s | 7.8 KiB | 00m00s [ 64/188] perl-srpm-macros-0:1-61.fc44. 100% | 4.1 MiB/s | 8.4 KiB | 00m00s [ 65/188] python-srpm-macros-0:3.14-12. 100% | 11.8 MiB/s | 24.1 KiB | 00m00s [ 66/188] pyproject-srpm-macros-0:1.19. 100% | 4.3 MiB/s | 13.3 KiB | 00m00s [ 67/188] qt5-srpm-macros-0:5.15.18-2.f 100% | 4.2 MiB/s | 8.7 KiB | 00m00s [ 68/188] qt6-srpm-macros-0:6.10.3-1.fc 100% | 3.0 MiB/s | 9.2 KiB | 00m00s [ 69/188] rust-srpm-macros-0:28.4-3.fc4 100% | 3.6 MiB/s | 11.1 KiB | 00m00s [ 70/188] rpm-0:6.0.1-5.fc45.ppc64le 100% | 70.6 MiB/s | 578.7 KiB | 00m00s [ 71/188] tree-sitter-srpm-macros-0:0.4 100% | 2.6 MiB/s | 13.5 KiB | 00m00s [ 72/188] zig-srpm-macros-0:1-8.fc44.no 100% | 2.2 MiB/s | 8.8 KiB | 00m00s [ 73/188] zip-0:3.0-45.fc44.ppc64le 100% | 67.5 MiB/s | 276.6 KiB | 00m00s [ 74/188] debugedit-0:5.3-2.fc45.ppc64l 100% | 18.0 MiB/s | 92.0 KiB | 00m00s [ 75/188] elfutils-libelf-0:0.194-5.fc4 100% | 29.5 MiB/s | 211.8 KiB | 00m00s [ 76/188] elfutils-0:0.194-5.fc45.ppc64 100% | 39.9 MiB/s | 572.1 KiB | 00m00s [ 77/188] libgcc-0:16.0.1-0.10.fc45.ppc 100% | 34.6 MiB/s | 106.2 KiB | 00m00s [ 78/188] libarchive-0:3.8.6-1.fc45.ppc 100% | 37.3 MiB/s | 496.2 KiB | 00m00s [ 79/188] pkgconf-pkg-config-0:2.5.1-1. 100% | 4.6 MiB/s | 9.4 KiB | 00m00s [ 80/188] popt-0:1.19-10.fc44.ppc64le 100% | 22.7 MiB/s | 69.9 KiB | 00m00s [ 81/188] libstdc++-0:16.0.1-0.10.fc45. 100% | 64.6 MiB/s | 1.0 MiB | 00m00s [ 82/188] rpm-build-libs-0:6.0.1-5.fc45 100% | 16.4 MiB/s | 134.1 KiB | 00m00s [ 83/188] rpm-libs-0:6.0.1-5.fc45.ppc64 100% | 72.3 MiB/s | 444.3 KiB | 00m00s [ 84/188] zstd-0:1.5.7-5.fc44.ppc64le 100% | 27.1 MiB/s | 194.3 KiB | 00m00s [ 85/188] audit-libs-0:4.1.4-1.fc45.ppc 100% | 37.8 MiB/s | 154.9 KiB | 00m00s [ 86/188] libeconf-0:0.7.9-3.fc44.ppc64 100% | 19.6 MiB/s | 40.1 KiB | 00m00s [ 87/188] libsemanage-0:3.10-1.fc44.ppc 100% | 44.0 MiB/s | 135.1 KiB | 00m00s [ 88/188] libxcrypt-0:4.5.2-3.fc44.ppc6 100% | 34.1 MiB/s | 139.7 KiB | 00m00s [ 89/188] pam-libs-0:1.7.2-1.fc44.ppc64 100% | 30.7 MiB/s | 63.0 KiB | 00m00s [ 90/188] setup-0:2.15.0-29.fc45.noarch 100% | 38.4 MiB/s | 157.3 KiB | 00m00s [ 91/188] libblkid-0:2.42-7.fc45.ppc64l 100% | 35.7 MiB/s | 146.3 KiB | 00m00s [ 92/188] libcap-ng-0:0.9.3-1.fc45.ppc6 100% | 17.2 MiB/s | 35.3 KiB | 00m00s [ 93/188] liblastlog2-0:2.42-7.fc45.ppc 100% | 24.1 MiB/s | 24.7 KiB | 00m00s [ 94/188] libfdisk-0:2.42-7.fc45.ppc64l 100% | 34.6 MiB/s | 177.3 KiB | 00m00s [ 95/188] binutils-0:2.46.50-7.fc45.ppc 100% | 64.5 MiB/s | 6.8 MiB | 00m00s [ 96/188] libmount-0:2.42-7.fc45.ppc64l 100% | 5.2 MiB/s | 190.4 KiB | 00m00s [ 97/188] librtas-0:2.0.6-6.fc44.ppc64l 100% | 2.3 MiB/s | 83.2 KiB | 00m00s [ 98/188] libuuid-0:2.42-7.fc45.ppc64le 100% | 13.7 MiB/s | 28.0 KiB | 00m00s [ 99/188] libsmartcols-0:2.42-7.fc45.pp 100% | 27.4 MiB/s | 112.2 KiB | 00m00s [100/188] zlib-ng-compat-0:2.3.3-5.fc45 100% | 43.8 MiB/s | 89.7 KiB | 00m00s [101/188] xz-libs-1:5.8.3-1.fc45.ppc64l 100% | 41.1 MiB/s | 126.2 KiB | 00m00s [102/188] util-linux-core-0:2.42-7.fc45 100% | 46.3 MiB/s | 615.8 KiB | 00m00s [103/188] ncurses-base-0:6.6-1.fc44.noa 100% | 14.3 MiB/s | 88.0 KiB | 00m00s [104/188] gnulib-l10n-0:20241231-2.fc44 100% | 48.9 MiB/s | 150.3 KiB | 00m00s [105/188] libsepol-0:3.10-1.fc44.ppc64l 100% | 53.2 MiB/s | 381.6 KiB | 00m00s [106/188] crypto-policies-0:20251128-3. 100% | 24.0 MiB/s | 98.3 KiB | 00m00s [107/188] glibc-gconv-extra-0:2.43.9000 100% | 54.1 MiB/s | 1.7 MiB | 00m00s [108/188] fedora-gpg-keys-0:45-0.1.noar 100% | 12.5 MiB/s | 141.3 KiB | 00m00s [109/188] ca-certificates-0:2025.2.80_v 100% | 36.4 MiB/s | 968.8 KiB | 00m00s [110/188] fedora-repos-rawhide-0:45-0.1 100% | 1.2 MiB/s | 8.8 KiB | 00m00s [111/188] redhat-systemd-presets-common 100% | 2.5 MiB/s | 12.9 KiB | 00m00s [112/188] pcre2-syntax-0:10.47-1.fc44.1 100% | 40.2 MiB/s | 164.7 KiB | 00m00s [113/188] linkdupes-0:0.7.3-2.fc45.ppc6 100% | 40.6 MiB/s | 373.7 KiB | 00m00s [114/188] add-determinism-0:0.7.3-2.fc4 100% | 51.0 MiB/s | 887.8 KiB | 00m00s [115/188] curl-0:8.20.0~rc1-1.fc45.ppc6 100% | 26.9 MiB/s | 248.1 KiB | 00m00s [116/188] file-libs-0:5.47-1.fc45.ppc64 100% | 43.0 MiB/s | 881.0 KiB | 00m00s [117/188] alternatives-0:1.33-5.fc44.pp 100% | 6.0 MiB/s | 43.2 KiB | 00m00s [118/188] elfutils-debuginfod-client-0: 100% | 9.6 MiB/s | 49.3 KiB | 00m00s [119/188] jansson-0:2.14-4.fc44.ppc64le 100% | 16.5 MiB/s | 50.6 KiB | 00m00s [120/188] libzstd-0:1.5.7-5.fc44.ppc64l 100% | 48.8 MiB/s | 399.6 KiB | 00m00s [121/188] elfutils-libs-0:0.194-5.fc45. 100% | 33.4 MiB/s | 308.0 KiB | 00m00s [122/188] pkgconf-0:2.5.1-1.fc45.ppc64l 100% | 24.0 MiB/s | 49.1 KiB | 00m00s [123/188] libxml2-0:2.12.10-6.fc44.ppc6 100% | 58.5 MiB/s | 778.2 KiB | 00m00s [124/188] lz4-libs-0:1.10.0-4.fc44.ppc6 100% | 12.4 MiB/s | 101.7 KiB | 00m00s [125/188] pkgconf-m4-0:2.5.1-1.fc45.noa 100% | 2.7 MiB/s | 13.8 KiB | 00m00s [126/188] rpm-sign-libs-0:6.0.1-5.fc45. 100% | 13.8 MiB/s | 28.2 KiB | 00m00s [127/188] lua-libs-0:5.5.0-1.fc45.ppc64 100% | 30.7 MiB/s | 157.2 KiB | 00m00s [128/188] libgomp-0:16.0.1-0.10.fc45.pp 100% | 48.8 MiB/s | 400.0 KiB | 00m00s [129/188] libffi-0:3.5.2-2.fc44.ppc64le 100% | 20.5 MiB/s | 42.0 KiB | 00m00s [130/188] sqlite-libs-0:3.52.0-1.fc45.p 100% | 54.0 MiB/s | 885.5 KiB | 00m00s [131/188] p11-kit-0:0.26.2-1.fc45.ppc64 100% | 41.2 MiB/s | 548.6 KiB | 00m00s [132/188] rpm-sequoia-0:1.10.1-1.fc45.p 100% | 50.7 MiB/s | 1.5 MiB | 00m00s [133/188] json-c-0:0.18-8.fc44.ppc64le 100% | 6.1 MiB/s | 49.8 KiB | 00m00s [134/188] p11-kit-trust-0:0.26.2-1.fc45 100% | 11.8 MiB/s | 156.4 KiB | 00m00s [135/188] elfutils-default-yama-scope-0 100% | 5.8 MiB/s | 11.9 KiB | 00m00s [136/188] libpkgconf-0:2.5.1-1.fc45.ppc 100% | 22.8 MiB/s | 46.7 KiB | 00m00s [137/188] ima-evm-utils-libs-0:1.6.2-10 100% | 10.0 MiB/s | 30.8 KiB | 00m00s [138/188] libfsverity-0:1.7-1.fc45.ppc6 100% | 6.3 MiB/s | 19.4 KiB | 00m00s [139/188] gpgverify-0:2.2-4.fc44.noarch 100% | 11.0 MiB/s | 11.2 KiB | 00m00s [140/188] libtasn1-0:4.21.0-1.fc45.ppc6 100% | 26.2 MiB/s | 80.4 KiB | 00m00s [141/188] gnupg2-0:2.4.9-5.fc44.ppc64le 100% | 84.5 MiB/s | 1.7 MiB | 00m00s [142/188] gnupg2-dirmngr-0:2.4.9-5.fc44 100% | 21.8 MiB/s | 313.1 KiB | 00m00s [143/188] gnupg2-gpg-agent-0:2.4.9-5.fc 100% | 18.6 MiB/s | 304.2 KiB | 00m00s [144/188] gnupg2-gpgconf-0:2.4.9-5.fc44 100% | 24.5 MiB/s | 125.6 KiB | 00m00s [145/188] gnupg2-keyboxd-0:2.4.9-5.fc44 100% | 25.1 MiB/s | 103.0 KiB | 00m00s [146/188] gnupg2-verify-0:2.4.9-5.fc44. 100% | 45.0 MiB/s | 184.5 KiB | 00m00s [147/188] libassuan-0:2.5.7-5.fc44.ppc6 100% | 23.3 MiB/s | 71.5 KiB | 00m00s [148/188] libgcrypt-0:1.12.1-1.fc45.ppc 100% | 74.5 MiB/s | 686.5 KiB | 00m00s [149/188] libgpg-error-0:1.59-1.fc45.pp 100% | 28.2 MiB/s | 259.5 KiB | 00m00s [150/188] npth-0:1.8-4.fc44.ppc64le 100% | 3.1 MiB/s | 25.2 KiB | 00m00s [151/188] tpm2-tss-0:4.1.3-9.fc44.ppc64 100% | 77.5 MiB/s | 396.8 KiB | 00m00s [152/188] libksba-0:1.6.8-1.fc45.ppc64l 100% | 24.8 MiB/s | 177.4 KiB | 00m00s [153/188] openldap-0:2.6.13-1.fc45.ppc6 100% | 47.1 MiB/s | 289.6 KiB | 00m00s [154/188] libusb1-0:1.0.29-5.fc44.ppc64 100% | 20.9 MiB/s | 85.7 KiB | 00m00s [155/188] libidn2-0:2.3.8-3.fc44.ppc64l 100% | 43.2 MiB/s | 176.9 KiB | 00m00s [156/188] gnutls-0:3.8.12-1.fc45.ppc64l 100% | 54.1 MiB/s | 1.4 MiB | 00m00s [157/188] libunistring-0:1.1-11.fc44.pp 100% | 33.0 MiB/s | 574.5 KiB | 00m00s [158/188] nettle-0:3.10.1-3.fc44.ppc64l 100% | 28.1 MiB/s | 460.3 KiB | 00m00s [159/188] libtool-ltdl-0:2.5.4-10.fc44. 100% | 12.9 MiB/s | 39.5 KiB | 00m00s [160/188] cyrus-sasl-lib-0:2.1.28-35.fc 100% | 51.8 MiB/s | 901.5 KiB | 00m00s [161/188] libevent-0:2.1.12-17.fc44.ppc 100% | 28.6 MiB/s | 292.9 KiB | 00m00s [162/188] gdbm-libs-1:1.23-11.fc44.ppc6 100% | 8.6 MiB/s | 62.0 KiB | 00m00s [163/188] fedora-release-0:45-0.5.noarc 100% | 6.1 MiB/s | 12.6 KiB | 00m00s [164/188] xxhash-libs-0:0.8.3-4.fc44.pp 100% | 12.3 MiB/s | 37.8 KiB | 00m00s [165/188] systemd-standalone-sysusers-0 100% | 45.0 MiB/s | 368.7 KiB | 00m00s [166/188] fedora-release-identity-basic 100% | 3.3 MiB/s | 13.4 KiB | 00m00s [167/188] libcurl-0:8.20.0~rc1-1.fc45.p 100% | 49.1 MiB/s | 502.6 KiB | 00m00s [168/188] krb5-libs-0:1.22.2-4.fc45.ppc 100% | 52.5 MiB/s | 860.3 KiB | 00m00s [169/188] libbrotli-0:1.2.0-3.fc44.ppc6 100% | 38.4 MiB/s | 393.6 KiB | 00m00s [170/188] libnghttp2-0:1.68.1-1.fc45.pp 100% | 16.0 MiB/s | 81.8 KiB | 00m00s [171/188] libnghttp3-0:1.15.0-1.fc44.pp 100% | 37.4 MiB/s | 76.5 KiB | 00m00s [172/188] libpsl-0:0.21.5-7.fc44.ppc64l 100% | 21.6 MiB/s | 66.4 KiB | 00m00s [173/188] libssh-0:0.12.0-1.fc45.ppc64l 100% | 61.7 MiB/s | 315.7 KiB | 00m00s [174/188] ngtcp2-0:1.21.0-1.fc45.ppc64l 100% | 27.1 MiB/s | 166.6 KiB | 00m00s [175/188] ngtcp2-crypto-ossl-0:1.21.0-1 100% | 13.1 MiB/s | 26.8 KiB | 00m00s [176/188] keyutils-libs-0:1.6.3-7.fc44. 100% | 15.8 MiB/s | 32.4 KiB | 00m00s [177/188] libcom_err-0:1.47.4-1.fc45.pp 100% | 8.8 MiB/s | 27.0 KiB | 00m00s [178/188] libverto-0:0.3.2-12.fc44.ppc6 100% | 10.7 MiB/s | 21.8 KiB | 00m00s [179/188] publicsuffix-list-dafsa-0:202 100% | 29.4 MiB/s | 60.3 KiB | 00m00s [180/188] libfido2-0:1.16.0-5.fc44.ppc6 100% | 35.6 MiB/s | 109.4 KiB | 00m00s [181/188] gdb-minimal-0:17.1-5.fc45.ppc 100% | 64.8 MiB/s | 4.9 MiB | 00m00s [182/188] libssh-config-0:0.12.0-1.fc45 100% | 376.8 KiB/s | 9.4 KiB | 00m00s [183/188] libcbor-0:0.13.0-2.fc44.ppc64 100% | 1.5 MiB/s | 36.8 KiB | 00m00s [184/188] selinux-policy-0:43.6-1.fc45. 100% | 14.2 MiB/s | 72.9 KiB | 00m00s [185/188] policycoreutils-0:3.10-3.fc45 100% | 32.2 MiB/s | 263.6 KiB | 00m00s [186/188] libselinux-utils-0:3.10-1.fc4 100% | 30.2 MiB/s | 123.9 KiB | 00m00s [187/188] rpm-plugin-selinux-0:6.0.1-5. 100% | 9.3 MiB/s | 19.1 KiB | 00m00s [188/188] selinux-policy-targeted-0:43. 100% | 106.6 MiB/s | 6.8 MiB | 00m00s -------------------------------------------------------------------------------- [188/188] Total 100% | 95.9 MiB/s | 74.1 MiB | 00m01s 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/190] Verify package files 100% | 157.0 B/s | 188.0 B | 00m01s [ 2/190] Prepare transaction 100% | 803.0 B/s | 188.0 B | 00m00s [ 3/190] Installing libgcc-0:16.0.1-0. 100% | 70.3 MiB/s | 288.1 KiB | 00m00s [ 4/190] Installing redhat-systemd-pre 100% | 1.4 MiB/s | 1.5 KiB | 00m00s [ 5/190] Installing redhat-systemd-pre 100% | 17.4 MiB/s | 17.8 KiB | 00m00s [ 6/190] Installing libssh-config-0:0. 100% | 796.9 KiB/s | 816.0 B | 00m00s [ 7/190] Installing publicsuffix-list- 100% | 34.7 MiB/s | 71.1 KiB | 00m00s [ 8/190] Installing fedora-release-ide 100% | 449.2 KiB/s | 920.0 B | 00m00s [ 9/190] Installing fedora-gpg-keys-0: 100% | 10.5 MiB/s | 182.1 KiB | 00m00s [ 10/190] Installing fedora-repos-rawhi 100% | 2.4 MiB/s | 2.4 KiB | 00m00s [ 11/190] Installing fedora-repos-0:45- 100% | 5.6 MiB/s | 5.7 KiB | 00m00s [ 12/190] Installing fedora-release-com 100% | 2.4 MiB/s | 7.4 KiB | 00m00s [ 13/190] Installing fedora-release-0:4 100% | 11.0 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 6553 [ 14/190] Installing setup-0:2.15.0-29. 100% | 10.8 MiB/s | 730.6 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 15/190] Installing filesystem-0:3.18- 100% | 694.0 KiB/s | 289.4 KiB | 00m00s [ 16/190] Installing pkgconf-m4-0:2.5.1 100% | 14.4 MiB/s | 14.7 KiB | 00m00s [ 17/190] Installing pcre2-syntax-0:10. 100% | 69.4 MiB/s | 284.3 KiB | 00m00s [ 18/190] Installing gnulib-l10n-0:2024 100% | 49.7 MiB/s | 661.9 KiB | 00m00s [ 19/190] Installing coreutils-common-0 100% | 110.2 MiB/s | 10.7 MiB | 00m00s [ 20/190] Installing ncurses-base-0:6.6 100% | 19.3 MiB/s | 355.3 KiB | 00m00s [ 21/190] Installing bash-0:5.3.9-3.fc4 100% | 72.0 MiB/s | 8.9 MiB | 00m00s [ 22/190] Installing glibc-common-0:2.4 100% | 21.3 MiB/s | 1.5 MiB | 00m00s [ 23/190] Installing glibc-gconv-extra- 100% | 122.3 MiB/s | 18.6 MiB | 00m00s [ 24/190] Installing glibc-0:2.43.9000- 100% | 73.0 MiB/s | 11.9 MiB | 00m00s [ 25/190] Installing ncurses-libs-0:6.6 100% | 93.4 MiB/s | 1.5 MiB | 00m00s [ 26/190] Installing glibc-minimal-lang 100% | 121.1 KiB/s | 124.0 B | 00m00s [ 27/190] Installing zlib-ng-compat-0:2 100% | 48.4 MiB/s | 198.1 KiB | 00m00s [ 28/190] Installing bzip2-libs-0:1.0.8 100% | 44.8 MiB/s | 137.5 KiB | 00m00s [ 29/190] Installing libgpg-error-0:1.5 100% | 16.0 MiB/s | 1.0 MiB | 00m00s [ 30/190] Installing libstdc++-0:16.0.1 100% | 122.3 MiB/s | 3.9 MiB | 00m00s [ 31/190] Installing libassuan-0:2.5.7- 100% | 53.1 MiB/s | 217.6 KiB | 00m00s [ 32/190] Installing libgcrypt-0:1.12.1 100% | 105.0 MiB/s | 1.6 MiB | 00m00s [ 33/190] Installing readline-0:8.3-4.f 100% | 87.8 MiB/s | 629.5 KiB | 00m00s [ 34/190] Installing gmp-1:6.3.0-5.fc44 100% | 96.2 MiB/s | 788.3 KiB | 00m00s [ 35/190] Installing systemd-libs-0:260 100% | 121.1 MiB/s | 3.0 MiB | 00m00s [ 36/190] Installing libuuid-0:2.42-7.f 100% | 34.3 MiB/s | 70.3 KiB | 00m00s [ 37/190] Installing xz-libs-1:5.8.3-1. 100% | 65.0 MiB/s | 266.3 KiB | 00m00s [ 38/190] Installing libzstd-0:1.5.7-5. 100% | 109.1 MiB/s | 1.1 MiB | 00m00s [ 39/190] Installing elfutils-libelf-0: 100% | 109.7 MiB/s | 1.2 MiB | 00m00s [ 40/190] Installing popt-0:1.19-10.fc4 100% | 23.4 MiB/s | 215.2 KiB | 00m00s [ 41/190] Installing npth-0:1.8-4.fc44. 100% | 30.6 MiB/s | 94.1 KiB | 00m00s [ 42/190] Installing libblkid-0:2.42-7. 100% | 86.7 MiB/s | 355.3 KiB | 00m00s [ 43/190] Installing libsepol-0:3.10-1. 100% | 104.2 MiB/s | 1.0 MiB | 00m00s [ 44/190] Installing sqlite-libs-0:3.52 100% | 108.0 MiB/s | 1.9 MiB | 00m00s [ 45/190] Installing gnupg2-gpgconf-0:2 100% | 5.7 MiB/s | 323.6 KiB | 00m00s [ 46/190] Installing libattr-0:2.5.2-8. 100% | 33.7 MiB/s | 69.0 KiB | 00m00s [ 47/190] Installing libacl-0:2.3.2-6.f 100% | 33.4 MiB/s | 68.3 KiB | 00m00s [ 48/190] Installing pcre2-0:10.47-1.fc 100% | 102.9 MiB/s | 843.2 KiB | 00m00s [ 49/190] Installing libselinux-0:3.10- 100% | 65.0 MiB/s | 266.3 KiB | 00m00s [ 50/190] Installing grep-0:3.12-3.fc44 100% | 15.5 MiB/s | 1.0 MiB | 00m00s [ 51/190] Installing sed-0:4.9-8.fc45.p 100% | 13.8 MiB/s | 945.2 KiB | 00m00s [ 52/190] Installing findutils-1:4.10.0 100% | 26.9 MiB/s | 2.0 MiB | 00m00s [ 53/190] Installing libxcrypt-0:4.5.2- 100% | 55.3 MiB/s | 339.6 KiB | 00m00s [ 54/190] Installing libtasn1-0:4.21.0- 100% | 72.3 MiB/s | 222.2 KiB | 00m00s [ 55/190] Installing libunistring-0:1.1 100% | 117.0 MiB/s | 1.9 MiB | 00m00s [ 56/190] Installing libidn2-0:2.3.8-3. 100% | 27.6 MiB/s | 566.3 KiB | 00m00s [ 57/190] Installing crypto-policies-0: 100% | 8.6 MiB/s | 157.7 KiB | 00m00s [ 58/190] Installing xz-1:5.8.3-1.fc45. 100% | 19.8 MiB/s | 1.5 MiB | 00m00s [ 59/190] Installing libmount-0:2.42-7. 100% | 89.4 MiB/s | 549.2 KiB | 00m00s [ 60/190] Installing gnupg2-verify-0:2. 100% | 7.5 MiB/s | 429.5 KiB | 00m00s [ 61/190] Installing dwz-0:0.16-3.fc44. 100% | 6.9 MiB/s | 387.8 KiB | 00m00s [ 62/190] Installing mpfr-0:4.2.2-3.fc4 100% | 89.4 MiB/s | 915.1 KiB | 00m00s [ 63/190] Installing gawk-0:5.4.0-2.fc4 100% | 39.5 MiB/s | 3.2 MiB | 00m00s [ 64/190] Installing libksba-0:1.6.8-1. 100% | 74.3 MiB/s | 532.4 KiB | 00m00s [ 65/190] Installing unzip-0:6.0-69.fc4 100% | 9.2 MiB/s | 536.9 KiB | 00m00s [ 66/190] Installing file-libs-0:5.47-1 100% | 180.4 MiB/s | 12.3 MiB | 00m00s [ 67/190] Installing file-0:5.47-1.fc45 100% | 2.6 MiB/s | 142.5 KiB | 00m00s [ 68/190] Installing diffutils-0:3.12-5 100% | 23.7 MiB/s | 1.7 MiB | 00m00s [ 69/190] Installing libeconf-0:0.7.9-3 100% | 26.8 MiB/s | 82.4 KiB | 00m00s [ 70/190] Installing libcap-ng-0:0.9.3- 100% | 52.7 MiB/s | 162.0 KiB | 00m00s [ 71/190] Installing audit-libs-0:4.1.4 100% | 77.1 MiB/s | 552.7 KiB | 00m00s [ 72/190] Installing pam-libs-0:1.7.2-1 100% | 70.4 MiB/s | 288.4 KiB | 00m00s [ 73/190] Installing libcap-0:2.78-1.fc 100% | 8.6 MiB/s | 511.9 KiB | 00m00s [ 74/190] Installing libsemanage-0:3.10 100% | 83.1 MiB/s | 425.6 KiB | 00m00s [ 75/190] Installing libsmartcols-0:2.4 100% | 70.9 MiB/s | 290.4 KiB | 00m00s [ 76/190] Installing alternatives-0:1.3 100% | 1.7 MiB/s | 91.5 KiB | 00m00s [ 77/190] Installing lua-libs-0:5.5.0-1 100% | 77.2 MiB/s | 395.3 KiB | 00m00s [ 78/190] Installing libffi-0:3.5.2-2.f 100% | 85.2 MiB/s | 348.9 KiB | 00m00s [ 79/190] Installing p11-kit-0:0.26.2-1 100% | 37.5 MiB/s | 3.3 MiB | 00m00s [ 80/190] Installing p11-kit-trust-0:0. 100% | 8.4 MiB/s | 595.6 KiB | 00m00s [ 81/190] Installing json-c-0:0.18-8.fc 100% | 45.5 MiB/s | 139.7 KiB | 00m00s [ 82/190] Installing ngtcp2-0:1.21.0-1. 100% | 79.4 MiB/s | 406.6 KiB | 00m00s [ 83/190] Installing openssl-libs-1:3.5 100% | 124.8 MiB/s | 9.1 MiB | 00m00s [ 84/190] Installing coreutils-0:9.10-3 100% | 69.1 MiB/s | 9.5 MiB | 00m00s [ 85/190] Installing ca-certificates-0: 100% | 666.1 KiB/s | 2.5 MiB | 00m04s [ 86/190] Installing gzip-0:1.14-2.fc44 100% | 6.2 MiB/s | 442.9 KiB | 00m00s [ 87/190] Installing rpm-sequoia-0:1.10 100% | 125.4 MiB/s | 4.8 MiB | 00m00s [ 88/190] Installing libfsverity-0:1.7- 100% | 33.7 MiB/s | 69.0 KiB | 00m00s [ 89/190] Installing libevent-0:2.1.12- 100% | 106.0 MiB/s | 1.3 MiB | 00m00s [ 90/190] Installing systemd-standalone 100% | 15.9 MiB/s | 976.8 KiB | 00m00s [ 91/190] Installing rpm-libs-0:6.0.1-5 100% | 102.0 MiB/s | 1.2 MiB | 00m00s [ 92/190] Installing ngtcp2-crypto-ossl 100% | 22.1 MiB/s | 68.0 KiB | 00m00s [ 93/190] Installing util-linux-core-0: 100% | 32.8 MiB/s | 2.7 MiB | 00m00s [ 94/190] Installing liblastlog2-0:2.42 100% | 15.1 MiB/s | 139.3 KiB | 00m00s [ 95/190] Installing zip-0:3.0-45.fc44. 100% | 14.3 MiB/s | 893.0 KiB | 00m00s [ 96/190] Installing gnupg2-keyboxd-0:2 100% | 25.4 MiB/s | 234.4 KiB | 00m00s [ 97/190] Installing libpsl-0:0.21.5-7. 100% | 43.3 MiB/s | 133.1 KiB | 00m00s [ 98/190] Installing tar-2:1.35-8.fc44. 100% | 38.2 MiB/s | 3.1 MiB | 00m00s [ 99/190] Installing linkdupes-0:0.7.3- 100% | 14.8 MiB/s | 906.6 KiB | 00m00s [100/190] Installing libselinux-utils-0 100% | 20.2 MiB/s | 1.4 MiB | 00m00s [101/190] Installing libfdisk-0:2.42-7. 100% | 78.8 MiB/s | 483.9 KiB | 00m00s [102/190] Installing zstd-0:1.5.7-5.fc4 100% | 9.5 MiB/s | 565.6 KiB | 00m00s [103/190] Installing libxml2-0:2.12.10- 100% | 31.5 MiB/s | 2.3 MiB | 00m00s [104/190] Installing libusb1-0:1.0.29-5 100% | 15.9 MiB/s | 244.3 KiB | 00m00s >>> Running sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.ppc64le >>> Finished sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.ppc64le >>> Scriptlet output: >>> Creating group 'tss' with GID 59. >>> Creating user 'tss' (Account used for TPM access) with UID 59 and GID 59. >>> [105/190] Installing tpm2-tss-0:4.1.3-9 100% | 109.3 MiB/s | 2.4 MiB | 00m00s [106/190] Installing ima-evm-utils-libs 100% | 30.5 MiB/s | 93.8 KiB | 00m00s [107/190] Installing gnupg2-gpg-agent-0 100% | 14.5 MiB/s | 977.9 KiB | 00m00s [108/190] Installing nettle-0:3.10.1-3. 100% | 93.8 MiB/s | 960.5 KiB | 00m00s [109/190] Installing gnutls-0:3.8.12-1. 100% | 118.0 MiB/s | 4.0 MiB | 00m00s [110/190] Installing bzip2-0:1.0.8-23.f 100% | 3.1 MiB/s | 175.4 KiB | 00m00s [111/190] Installing add-determinism-0: 100% | 32.2 MiB/s | 2.3 MiB | 00m00s [112/190] Installing cpio-0:2.15-9.fc44 100% | 17.5 MiB/s | 1.2 MiB | 00m00s [113/190] Installing ed-0:1.22.5-2.fc45 100% | 4.0 MiB/s | 223.9 KiB | 00m00s [114/190] Installing patch-0:2.8-4.fc44 100% | 4.7 MiB/s | 263.8 KiB | 00m00s [115/190] Installing librtas-0:2.0.6-6. 100% | 16.7 MiB/s | 307.4 KiB | 00m00s [116/190] Installing util-linux-0:2.42- 100% | 50.1 MiB/s | 7.1 MiB | 00m00s [117/190] Installing policycoreutils-0: 100% | 16.8 MiB/s | 1.5 MiB | 00m00s [118/190] Installing selinux-policy-0:4 100% | 1.0 MiB/s | 33.6 KiB | 00m00s [119/190] Installing selinux-policy-tar 100% | 51.0 MiB/s | 14.9 MiB | 00m00s [120/190] Installing build-reproducibil 100% | 757.8 KiB/s | 1.5 KiB | 00m00s [121/190] Installing jansson-0:2.14-4.f 100% | 38.7 MiB/s | 158.3 KiB | 00m00s [122/190] Installing lz4-libs-0:1.10.0- 100% | 51.2 MiB/s | 262.1 KiB | 00m00s [123/190] Installing libarchive-0:3.8.6 100% | 74.5 MiB/s | 1.3 MiB | 00m00s [124/190] Installing libgomp-0:16.0.1-0 100% | 71.4 MiB/s | 658.2 KiB | 00m00s [125/190] Installing libpkgconf-0:2.5.1 100% | 33.0 MiB/s | 135.0 KiB | 00m00s [126/190] Installing pkgconf-0:2.5.1-1. 100% | 2.0 MiB/s | 119.1 KiB | 00m00s [127/190] Installing pkgconf-pkg-config 100% | 34.1 KiB/s | 1.8 KiB | 00m00s [128/190] Installing libtool-ltdl-0:2.5 100% | 46.3 MiB/s | 94.9 KiB | 00m00s [129/190] Installing gdbm-libs-1:1.23-1 100% | 57.4 MiB/s | 235.0 KiB | 00m00s [130/190] Installing cyrus-sasl-lib-0:2 100% | 37.4 MiB/s | 2.9 MiB | 00m00s [131/190] Installing openldap-0:2.6.13- 100% | 79.5 MiB/s | 895.7 KiB | 00m00s [132/190] Installing gnupg2-dirmngr-0:2 100% | 12.3 MiB/s | 840.5 KiB | 00m00s [133/190] Installing gnupg2-0:2.4.9-5.f 100% | 62.1 MiB/s | 6.8 MiB | 00m00s [134/190] Installing rpm-sign-libs-0:6. 100% | 33.4 MiB/s | 68.4 KiB | 00m00s [135/190] Installing gpgverify-0:2.2-4. 100% | 9.2 MiB/s | 9.4 KiB | 00m00s [136/190] Installing xxhash-libs-0:0.8. 100% | 42.4 MiB/s | 86.9 KiB | 00m00s [137/190] Installing libbrotli-0:1.2.0- 100% | 84.5 MiB/s | 1.0 MiB | 00m00s [138/190] Installing libnghttp2-0:1.68. 100% | 64.8 MiB/s | 198.9 KiB | 00m00s [139/190] Installing libnghttp3-0:1.15. 100% | 67.7 MiB/s | 207.9 KiB | 00m00s [140/190] Installing keyutils-libs-0:1. 100% | 32.3 MiB/s | 99.3 KiB | 00m00s [141/190] Installing libcom_err-0:1.47. 100% | 54.7 MiB/s | 112.0 KiB | 00m00s [142/190] Installing libverto-0:0.3.2-1 100% | 23.0 MiB/s | 70.8 KiB | 00m00s [143/190] Installing krb5-libs-0:1.22.2 100% | 102.4 MiB/s | 3.0 MiB | 00m00s [144/190] Installing libcbor-0:0.13.0-2 100% | 45.9 MiB/s | 140.9 KiB | 00m00s [145/190] Installing libfido2-0:1.16.0- 100% | 84.0 MiB/s | 344.0 KiB | 00m00s [146/190] Installing libssh-0:0.12.0-1. 100% | 99.1 MiB/s | 913.2 KiB | 00m00s [147/190] Installing libcurl-0:8.20.0~r 100% | 106.0 MiB/s | 1.3 MiB | 00m00s [148/190] Installing curl-0:8.20.0~rc1- 100% | 7.2 MiB/s | 529.3 KiB | 00m00s [149/190] Installing rpm-0:6.0.1-5.fc45 100% | 25.4 MiB/s | 2.8 MiB | 00m00s [150/190] Installing cmake-srpm-macros- 100% | 785.2 KiB/s | 804.0 B | 00m00s [151/190] Installing efi-srpm-macros-0: 100% | 20.1 MiB/s | 41.2 KiB | 00m00s [152/190] Installing java-srpm-macros-0 100% | 1.1 MiB/s | 1.1 KiB | 00m00s [153/190] Installing lua-srpm-macros-0: 100% | 1.9 MiB/s | 1.9 KiB | 00m00s [154/190] Installing tree-sitter-srpm-m 100% | 4.5 MiB/s | 9.3 KiB | 00m00s [155/190] Installing zig-srpm-macros-0: 100% | 1.8 MiB/s | 1.9 KiB | 00m00s [156/190] Installing filesystem-srpm-ma 100% | 19.0 MiB/s | 38.9 KiB | 00m00s [157/190] Installing elfutils-default-y 100% | 340.5 KiB/s | 2.0 KiB | 00m00s [158/190] Installing elfutils-libs-0:0. 100% | 95.1 MiB/s | 876.1 KiB | 00m00s [159/190] Installing elfutils-debuginfo 100% | 2.5 MiB/s | 145.6 KiB | 00m00s [160/190] Installing binutils-0:2.46.50 100% | 109.9 MiB/s | 33.6 MiB | 00m00s [161/190] Installing elfutils-0:0.194-5 100% | 42.6 MiB/s | 3.5 MiB | 00m00s [162/190] Installing gdb-minimal-0:17.1 100% | 92.6 MiB/s | 16.3 MiB | 00m00s [163/190] Installing debugedit-0:5.3-2. 100% | 6.5 MiB/s | 387.8 KiB | 00m00s [164/190] Installing rpm-build-libs-0:6 100% | 64.2 MiB/s | 328.7 KiB | 00m00s [165/190] Installing rust-srpm-macros-0 100% | 6.2 MiB/s | 6.4 KiB | 00m00s [166/190] Installing qt6-srpm-macros-0: 100% | 730.5 KiB/s | 748.0 B | 00m00s [167/190] Installing qt5-srpm-macros-0: 100% | 757.8 KiB/s | 776.0 B | 00m00s [168/190] Installing perl-srpm-macros-0 100% | 1.1 MiB/s | 1.1 KiB | 00m00s [169/190] Installing package-notes-srpm 100% | 2.0 MiB/s | 2.1 KiB | 00m00s [170/190] Installing openblas-srpm-macr 100% | 382.8 KiB/s | 392.0 B | 00m00s [171/190] Installing ocaml-srpm-macros- 100% | 2.1 MiB/s | 2.1 KiB | 00m00s [172/190] Installing kernel-srpm-macros 100% | 2.3 MiB/s | 2.3 KiB | 00m00s [173/190] Installing gnat-srpm-macros-0 100% | 115.1 KiB/s | 1.3 KiB | 00m00s [174/190] Installing ghc-srpm-macros-0: 100% | 1.0 MiB/s | 1.0 KiB | 00m00s [175/190] Installing gap-srpm-macros-0: 100% | 2.6 MiB/s | 2.7 KiB | 00m00s [176/190] Installing fpc-srpm-macros-0: 100% | 410.2 KiB/s | 420.0 B | 00m00s [177/190] Installing ansible-srpm-macro 100% | 17.7 MiB/s | 36.2 KiB | 00m00s [178/190] Installing redhat-rpm-config- 100% | 26.5 MiB/s | 189.9 KiB | 00m00s [179/190] Installing forge-srpm-macros- 100% | 19.7 MiB/s | 40.3 KiB | 00m00s [180/190] Installing rpm-build-0:6.0.1- 100% | 10.1 MiB/s | 671.6 KiB | 00m00s [181/190] Installing erlang-srpm-macros 100% | 2.4 MiB/s | 2.5 KiB | 00m00s [182/190] Installing pyproject-srpm-mac 100% | 2.4 MiB/s | 2.5 KiB | 00m00s [183/190] Installing fonts-srpm-macros- 100% | 27.8 MiB/s | 57.0 KiB | 00m00s [184/190] Installing go-srpm-macros-0:3 100% | 30.8 MiB/s | 63.0 KiB | 00m00s [185/190] Installing R-srpm-macros-0:1. 100% | 2.1 MiB/s | 4.4 KiB | 00m00s [186/190] Installing python-srpm-macros 100% | 25.9 MiB/s | 52.9 KiB | 00m00s [187/190] Installing rpm-plugin-selinux 100% | 33.6 MiB/s | 68.8 KiB | 00m00s [188/190] Installing which-0:2.23-4.fc4 100% | 2.0 MiB/s | 125.4 KiB | 00m00s [189/190] Installing shadow-utils-2:4.1 100% | 39.4 MiB/s | 4.9 MiB | 00m00s [190/190] Installing info-0:7.3-1.fc45. 100% | 33.6 KiB/s | 488.5 KiB | 00m15s 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.ppc64le alternatives-1.33-5.fc44.ppc64le ansible-srpm-macros-1-20.1.fc44.noarch audit-libs-4.1.4-1.fc45.ppc64le bash-5.3.9-3.fc44.ppc64le binutils-2.46.50-7.fc45.ppc64le build-reproducibility-srpm-macros-0.7.3-2.fc45.noarch bzip2-1.0.8-23.fc44.ppc64le bzip2-libs-1.0.8-23.fc44.ppc64le 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.ppc64le coreutils-common-9.10-3.fc45.ppc64le cpio-2.15-9.fc44.ppc64le crypto-policies-20251128-3.git19878fe.fc44.noarch curl-8.20.0~rc1-1.fc45.ppc64le cyrus-sasl-lib-2.1.28-35.fc44.ppc64le debugedit-5.3-2.fc45.ppc64le diffutils-3.12-5.fc44.ppc64le dwz-0.16-3.fc44.ppc64le ed-1.22.5-2.fc45.ppc64le efi-srpm-macros-6-6.fc44.noarch elfutils-0.194-5.fc45.ppc64le elfutils-debuginfod-client-0.194-5.fc45.ppc64le elfutils-default-yama-scope-0.194-5.fc45.noarch elfutils-libelf-0.194-5.fc45.ppc64le elfutils-libs-0.194-5.fc45.ppc64le 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.ppc64le file-libs-5.47-1.fc45.ppc64le filesystem-3.18-56.fc45.ppc64le filesystem-srpm-macros-3.18-56.fc45.noarch findutils-4.10.0-7.fc44.ppc64le 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.ppc64le gdb-minimal-17.1-5.fc45.ppc64le gdbm-libs-1.23-11.fc44.ppc64le ghc-srpm-macros-1.10-1.fc44.noarch glibc-2.43.9000-8.fc45.ppc64le glibc-common-2.43.9000-8.fc45.ppc64le glibc-gconv-extra-2.43.9000-8.fc45.ppc64le glibc-minimal-langpack-2.43.9000-8.fc45.ppc64le gmp-6.3.0-5.fc44.ppc64le gnat-srpm-macros-7-2.fc44.noarch gnulib-l10n-20241231-2.fc44.noarch gnupg2-2.4.9-5.fc44.ppc64le gnupg2-dirmngr-2.4.9-5.fc44.ppc64le gnupg2-gpg-agent-2.4.9-5.fc44.ppc64le gnupg2-gpgconf-2.4.9-5.fc44.ppc64le gnupg2-keyboxd-2.4.9-5.fc44.ppc64le gnupg2-verify-2.4.9-5.fc44.ppc64le gnutls-3.8.12-1.fc45.ppc64le 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.ppc64le gzip-1.14-2.fc44.ppc64le ima-evm-utils-libs-1.6.2-10.fc45.ppc64le info-7.3-1.fc45.ppc64le jansson-2.14-4.fc44.ppc64le java-srpm-macros-1-8.fc44.noarch json-c-0.18-8.fc44.ppc64le kernel-srpm-macros-1.0-29.fc45.noarch keyutils-libs-1.6.3-7.fc44.ppc64le krb5-libs-1.22.2-4.fc45.ppc64le libacl-2.3.2-6.fc44.ppc64le libarchive-3.8.6-1.fc45.ppc64le libassuan-2.5.7-5.fc44.ppc64le libattr-2.5.2-8.fc44.ppc64le libblkid-2.42-7.fc45.ppc64le libbrotli-1.2.0-3.fc44.ppc64le libcap-2.78-1.fc45.ppc64le libcap-ng-0.9.3-1.fc45.ppc64le libcbor-0.13.0-2.fc44.ppc64le libcom_err-1.47.4-1.fc45.ppc64le libcurl-8.20.0~rc1-1.fc45.ppc64le libeconf-0.7.9-3.fc44.ppc64le libevent-2.1.12-17.fc44.ppc64le libfdisk-2.42-7.fc45.ppc64le libffi-3.5.2-2.fc44.ppc64le libfido2-1.16.0-5.fc44.ppc64le libfsverity-1.7-1.fc45.ppc64le libgcc-16.0.1-0.10.fc45.ppc64le libgcrypt-1.12.1-1.fc45.ppc64le libgomp-16.0.1-0.10.fc45.ppc64le libgpg-error-1.59-1.fc45.ppc64le libidn2-2.3.8-3.fc44.ppc64le libksba-1.6.8-1.fc45.ppc64le liblastlog2-2.42-7.fc45.ppc64le libmount-2.42-7.fc45.ppc64le libnghttp2-1.68.1-1.fc45.ppc64le libnghttp3-1.15.0-1.fc44.ppc64le libpkgconf-2.5.1-1.fc45.ppc64le libpsl-0.21.5-7.fc44.ppc64le librtas-2.0.6-6.fc44.ppc64le libselinux-3.10-1.fc44.ppc64le libselinux-utils-3.10-1.fc44.ppc64le libsemanage-3.10-1.fc44.ppc64le libsepol-3.10-1.fc44.ppc64le libsmartcols-2.42-7.fc45.ppc64le libssh-0.12.0-1.fc45.ppc64le libssh-config-0.12.0-1.fc45.noarch libstdc++-16.0.1-0.10.fc45.ppc64le libtasn1-4.21.0-1.fc45.ppc64le libtool-ltdl-2.5.4-10.fc44.ppc64le libunistring-1.1-11.fc44.ppc64le libusb1-1.0.29-5.fc44.ppc64le libuuid-2.42-7.fc45.ppc64le libverto-0.3.2-12.fc44.ppc64le libxcrypt-4.5.2-3.fc44.ppc64le libxml2-2.12.10-6.fc44.ppc64le libzstd-1.5.7-5.fc44.ppc64le linkdupes-0.7.3-2.fc45.ppc64le lua-libs-5.5.0-1.fc45.ppc64le lua-srpm-macros-1-17.fc44.noarch lz4-libs-1.10.0-4.fc44.ppc64le mpfr-4.2.2-3.fc44.ppc64le ncurses-base-6.6-1.fc44.noarch ncurses-libs-6.6-1.fc44.ppc64le nettle-3.10.1-3.fc44.ppc64le ngtcp2-1.21.0-1.fc45.ppc64le ngtcp2-crypto-ossl-1.21.0-1.fc45.ppc64le npth-1.8-4.fc44.ppc64le ocaml-srpm-macros-11-3.fc44.noarch openblas-srpm-macros-2-21.fc44.noarch openldap-2.6.13-1.fc45.ppc64le openssl-libs-3.5.5-1.fc44.ppc64le p11-kit-0.26.2-1.fc45.ppc64le p11-kit-trust-0.26.2-1.fc45.ppc64le package-notes-srpm-macros-0.17-3.fc45.noarch pam-libs-1.7.2-1.fc44.ppc64le patch-2.8-4.fc44.ppc64le pcre2-10.47-1.fc44.1.ppc64le pcre2-syntax-10.47-1.fc44.1.noarch perl-srpm-macros-1-61.fc44.noarch pkgconf-2.5.1-1.fc45.ppc64le pkgconf-m4-2.5.1-1.fc45.noarch pkgconf-pkg-config-2.5.1-1.fc45.ppc64le policycoreutils-3.10-3.fc45.ppc64le popt-1.19-10.fc44.ppc64le 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.ppc64le 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.ppc64le rpm-build-6.0.1-5.fc45.ppc64le rpm-build-libs-6.0.1-5.fc45.ppc64le rpm-libs-6.0.1-5.fc45.ppc64le rpm-plugin-selinux-6.0.1-5.fc45.ppc64le rpm-sequoia-1.10.1-1.fc45.ppc64le rpm-sign-libs-6.0.1-5.fc45.ppc64le rust-srpm-macros-28.4-3.fc44.noarch sed-4.9-8.fc45.ppc64le 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.ppc64le sqlite-libs-3.52.0-1.fc45.ppc64le systemd-libs-260.1-2.fc45.ppc64le systemd-standalone-sysusers-260.1-2.fc45.ppc64le tar-1.35-8.fc44.ppc64le tpm2-tss-4.1.3-9.fc44.ppc64le tree-sitter-srpm-macros-0.4.2-2.fc44.noarch unzip-6.0-69.fc44.ppc64le util-linux-2.42-7.fc45.ppc64le util-linux-core-2.42-7.fc45.ppc64le which-2.23-4.fc44.ppc64le xxhash-libs-0.8.3-4.fc44.ppc64le xz-5.8.3-1.fc45.ppc64le xz-libs-5.8.3-1.fc45.ppc64le zig-srpm-macros-1-8.fc44.noarch zip-3.0-45.fc44.ppc64le zlib-ng-compat-2.3.3-5.fc45.ppc64le zstd-1.5.7-5.fc44.ppc64le Start: buildsrpm Start: rpmbuild -bs Building target platforms: ppc64le Building for target ppc64le 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-ppc64le-1775862950.506722/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-jylgoqcz/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 58 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-ppc64le) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1775862950.506722/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1775862950.506722/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-ppc64le-1775862950.506722/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.ppc64le rpm-sequoia-1.10.1-1.fc45.ppc64le dnf5-5.4.0.0-6.fc45.ppc64le dnf5-plugins-5.4.0.0-6.fc45.ppc64le 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: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1775779200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm Updating and loading repositories: fedora 100% | 7.3 KiB/s | 4.2 KiB | 00m01s Copr repository 100% | 3.2 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: autoconf noarch 0:2.72-10.fc44 fedora 2.8 MiB coq-core-compat ppc64le 0:9.2.0-1.fc45 copr_base 42.9 MiB flocq ppc64le 0:4.2.2-2.fc45 copr_base 16.7 MiB gappa ppc64le 0:1.7.0-1.fc45 fedora 866.0 KiB gcc-c++ ppc64le 0:16.0.1-0.10.fc45 fedora 43.9 MiB ocaml ppc64le 0:5.4.1-4.fc45 fedora 182.2 MiB ocaml-findlib ppc64le 0:1.9.8-8.fc45 fedora 3.9 MiB ocaml-zarith-devel ppc64le 0:1.14-12.fc45 fedora 1.2 MiB remake ppc64le 0:0.16-5.fc44 fedora 147.6 KiB rocq ppc64le 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 ppc64le 0:13.07-1.fc45 fedora 708.9 KiB cmake-filesystem ppc64le 0:4.3.0-1.fc45 fedora 0.0 B cpp ppc64le 0:16.0.1-0.10.fc45 fedora 39.1 MiB csdp ppc64le 0:6.2.0-37.20181018git0dcf187.fc44 fedora 520.1 KiB csdp-tools ppc64le 0:6.2.0-37.20181018git0dcf187.fc44 fedora 341.3 KiB emacs-filesystem ppc64le 1:30.2-2.fc44 fedora 0.0 B expat ppc64le 0:2.7.5-1.fc45 fedora 430.6 KiB flexiblas ppc64le 0:3.5.0-2.fc44 fedora 38.0 KiB flexiblas-netlib ppc64le 0:3.5.0-2.fc44 fedora 18.8 MiB flexiblas-openblas-openmp ppc64le 0:3.5.0-2.fc44 fedora 66.7 KiB gcc ppc64le 0:16.0.1-0.10.fc45 fedora 106.9 MiB gcc-plugin-annobin ppc64le 0:16.0.1-0.10.fc45 fedora 68.9 KiB gettext ppc64le 0:1.0-1.fc45 fedora 18.7 MiB gettext-common-devel noarch 0:1.0-1.fc45 fedora 596.2 KiB gettext-devel ppc64le 0:1.0-1.fc45 fedora 1.4 MiB gettext-envsubst ppc64le 0:1.0-1.fc45 fedora 106.4 KiB gettext-libs ppc64le 0:1.0-1.fc45 fedora 2.8 MiB gettext-runtime ppc64le 0:1.0-1.fc45 fedora 913.3 KiB glibc-devel ppc64le 0:2.43.9000-8.fc45 fedora 3.7 MiB gmp-c++ ppc64le 1:6.3.0-5.fc44 fedora 67.2 KiB gmp-devel ppc64le 1:6.3.0-5.fc44 fedora 352.4 KiB groff-base ppc64le 0:1.24.0-1.fc45 fedora 4.8 MiB kernel-headers ppc64le 0:7.0.0-0.rc7.55.fc45 fedora 6.9 MiB libasan ppc64le 0:16.0.1-0.10.fc45 fedora 2.2 MiB libatomic ppc64le 0:16.0.1-0.10.fc45 fedora 77.0 KiB libgfortran ppc64le 0:16.0.1-0.10.fc45 fedora 2.7 MiB libmpc ppc64le 0:1.4.0-1.fc45 fedora 282.2 KiB libquadmath ppc64le 0:16.0.1-0.10.fc45 fedora 426.5 KiB libstdc++-devel ppc64le 0:16.0.1-0.10.fc45 fedora 38.7 MiB libtextstyle ppc64le 0:1.0-1.fc45 fedora 263.1 KiB libubsan ppc64le 0:16.0.1-0.10.fc45 fedora 668.9 KiB libxcrypt-devel ppc64le 0:4.5.2-3.fc44 fedora 31.0 KiB libzstd-devel ppc64le 0:1.5.7-5.fc44 fedora 217.6 KiB m4 ppc64le 0:1.4.21-1.fc45 fedora 952.5 KiB make ppc64le 1:4.4.1-12.fc44 fedora 1.9 MiB mpdecimal ppc64le 0:4.0.1-3.fc44 fedora 281.1 KiB ncurses ppc64le 0:6.6-1.fc44 fedora 958.6 KiB ocaml-compiler-libs ppc64le 0:5.4.1-4.fc45 fedora 118.6 MiB ocaml-runtime ppc64le 0:5.4.1-4.fc45 fedora 5.2 MiB ocaml-zarith ppc64le 0:1.14-12.fc45 fedora 479.6 KiB openblas ppc64le 0:0.3.29-2.fc43 fedora 111.7 KiB openblas-openmp ppc64le 0:0.3.29-2.fc43 fedora 23.2 MiB perl-AutoLoader noarch 0:5.74-524.fc45 fedora 20.6 KiB perl-B ppc64le 0:1.89-524.fc45 fedora 545.1 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 ppc64le 0:2.191-522.fc44 fedora 135.2 KiB perl-Digest noarch 0:1.20-521.fc44 fedora 35.3 KiB perl-Digest-MD5 ppc64le 0:2.59-521.fc44 fedora 103.2 KiB perl-DynaLoader ppc64le 0:1.57-524.fc45 fedora 32.1 KiB perl-Encode ppc64le 4:3.21-521.fc44 fedora 4.8 MiB perl-Errno ppc64le 0:1.38-524.fc45 fedora 8.4 KiB perl-Exporter noarch 0:5.79-521.fc44 fedora 54.3 KiB perl-Fcntl ppc64le 0:1.20-524.fc45 fedora 92.3 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 ppc64le 0:1.55-524.fc45 fedora 191.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 ppc64le 0:3.16-521.fc44 fedora 93.6 KiB perl-Net-SSLeay ppc64le 0:1.96-1.fc45 fedora 1.5 MiB perl-POSIX ppc64le 0:2.23-524.fc45 fedora 326.2 KiB perl-PathTools ppc64le 0:3.94-521.fc44 fedora 223.8 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 ppc64le 5:1.70-2.fc44 fedora 152.5 KiB perl-SelectSaver noarch 0:1.02-524.fc45 fedora 2.2 KiB perl-Socket ppc64le 4:2.040-3.fc44 fedora 143.8 KiB perl-Storable ppc64le 1:3.37-522.fc44 fedora 243.0 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 ppc64le 4:1.9778-521.fc44 fedora 151.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 ppc64le 4:5.42.2-524.fc45 fedora 174.6 KiB perl-libnet noarch 0:3.15-522.fc44 fedora 289.4 KiB perl-libs ppc64le 4:5.42.2-524.fc45 fedora 12.3 MiB perl-locale noarch 0:1.13-524.fc45 fedora 6.1 KiB perl-mro ppc64le 0:1.29-524.fc45 fedora 81.1 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 ppc64le 0:3.14.3-2.fc45 fedora 84.6 KiB python3-libs ppc64le 0:3.14.3-2.fc45 fedora 46.7 MiB rocq-core ppc64le 0:9.2.0-1.fc45 copr_base 4.8 MiB rocq-runtime ppc64le 0:9.2.0-1.fc45 copr_base 338.2 MiB rocq-stdlib ppc64le 0:9.1.0-2.fc45 copr_base 62.1 MiB tzdata noarch 0:2026a-1.fc45 fedora 1.2 MiB Transaction Summary: Installing: 121 packages Total size of inbound packages is 354 MiB. Need to download 354 MiB. After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B). [ 1/121] autoconf-0:2.72-10.fc44.noarc 100% | 40.6 MiB/s | 830.9 KiB | 00m00s [ 2/121] gappa-0:1.7.0-1.fc45.ppc64le 100% | 13.4 MiB/s | 287.6 KiB | 00m00s [ 3/121] gcc-c++-0:16.0.1-0.10.fc45.pp 100% | 89.6 MiB/s | 15.4 MiB | 00m00s [ 4/121] ocaml-findlib-0:1.9.8-8.fc45. 100% | 68.8 MiB/s | 1.1 MiB | 00m00s [ 5/121] ocaml-zarith-devel-0:1.14-12. 100% | 38.2 MiB/s | 469.7 KiB | 00m00s [ 6/121] remake-0:0.16-5.fc44.ppc64le 100% | 22.7 MiB/s | 69.8 KiB | 00m00s [ 7/121] ocaml-0:5.4.1-4.fc45.ppc64le 100% | 86.8 MiB/s | 39.2 MiB | 00m00s [ 8/121] rocq-0:9.2.0-1.fc45.ppc64le 100% | 19.8 KiB/s | 7.2 KiB | 00m00s [ 9/121] emacs-filesystem-1:30.2-2.fc4 100% | 1.6 MiB/s | 8.0 KiB | 00m00s [ 10/121] gettext-devel-0:1.0-1.fc45.pp 100% | 29.5 MiB/s | 302.3 KiB | 00m00s [ 11/121] m4-0:1.4.21-1.fc45.ppc64le 100% | 49.1 MiB/s | 352.3 KiB | 00m00s [ 12/121] perl-Carp-0:1.54-521.fc44.noa 100% | 9.4 MiB/s | 28.8 KiB | 00m00s [ 13/121] perl-Class-Struct-0:0.68-524. 100% | 7.2 MiB/s | 22.0 KiB | 00m00s [ 14/121] perl-Data-Dumper-0:2.191-522. 100% | 19.0 MiB/s | 58.3 KiB | 00m00s [ 15/121] perl-Errno-0:1.38-524.fc45.pp 100% | 7.2 MiB/s | 14.7 KiB | 00m00s [ 16/121] perl-Exporter-0:5.79-521.fc44 100% | 15.0 MiB/s | 30.8 KiB | 00m00s [ 17/121] perl-File-Basename-0:2.86-524 100% | 8.3 MiB/s | 17.0 KiB | 00m00s [ 18/121] perl-File-Compare-0:1.100.800 100% | 6.4 MiB/s | 13.1 KiB | 00m00s [ 19/121] perl-File-Copy-0:2.41-524.fc4 100% | 6.5 MiB/s | 20.0 KiB | 00m00s [ 20/121] perl-File-Find-0:1.44-524.fc4 100% | 12.3 MiB/s | 25.2 KiB | 00m00s [ 21/121] perl-File-Temp-1:0.231.200-2. 100% | 19.4 MiB/s | 59.6 KiB | 00m00s [ 22/121] perl-File-stat-0:1.14-524.fc4 100% | 5.5 MiB/s | 16.9 KiB | 00m00s [ 23/121] perl-Getopt-Long-1:2.58-521.f 100% | 20.7 MiB/s | 63.6 KiB | 00m00s [ 24/121] perl-IO-0:1.55-524.fc45.ppc64 100% | 27.4 MiB/s | 84.2 KiB | 00m00s [ 25/121] perl-POSIX-0:2.23-524.fc45.pp 100% | 38.0 MiB/s | 116.6 KiB | 00m00s [ 26/121] perl-PathTools-0:3.94-521.fc4 100% | 28.5 MiB/s | 87.7 KiB | 00m00s [ 27/121] perl-Text-ParseWords-0:3.31-5 100% | 8.0 MiB/s | 16.5 KiB | 00m00s [ 28/121] perl-constant-0:1.33-522.fc44 100% | 7.5 MiB/s | 22.9 KiB | 00m00s [ 29/121] perl-interpreter-4:5.42.2-524 100% | 23.6 MiB/s | 72.4 KiB | 00m00s [ 30/121] perl-libs-4:5.42.2-524.fc45.p 100% | 86.2 MiB/s | 2.7 MiB | 00m00s [ 31/121] coq-core-compat-0:9.2.0-1.fc4 100% | 7.2 MiB/s | 7.7 MiB | 00m01s [ 32/121] rocq-core-0:9.2.0-1.fc45.ppc6 100% | 2.3 MiB/s | 1.2 MiB | 00m01s [ 33/121] libmpc-0:1.4.0-1.fc45.ppc64le 100% | 19.2 MiB/s | 98.5 KiB | 00m00s [ 34/121] libstdc++-devel-0:16.0.1-0.10 100% | 92.6 MiB/s | 5.5 MiB | 00m00s [ 35/121] libzstd-devel-0:1.5.7-5.fc44. 100% | 13.7 MiB/s | 56.3 KiB | 00m00s [ 36/121] ocaml-runtime-0:5.4.1-4.fc45. 100% | 86.7 MiB/s | 2.3 MiB | 00m00s [ 37/121] gcc-0:16.0.1-0.10.fc45.ppc64l 100% | 99.8 MiB/s | 37.9 MiB | 00m00s [ 38/121] flocq-0:4.2.2-2.fc45.ppc64le 100% | 3.5 MiB/s | 3.7 MiB | 00m01s [ 39/121] gmp-devel-1:6.3.0-5.fc44.ppc6 100% | 7.1 MiB/s | 174.1 KiB | 00m00s [ 40/121] csdp-tools-0:6.2.0-37.2018101 100% | 10.1 MiB/s | 30.9 KiB | 00m00s [ 41/121] ocaml-zarith-0:1.14-12.fc45.p 100% | 22.6 MiB/s | 162.2 KiB | 00m00s [ 42/121] gettext-0:1.0-1.fc45.ppc64le 100% | 81.7 MiB/s | 2.0 MiB | 00m00s [ 43/121] gettext-common-devel-0:1.0-1. 100% | 73.9 MiB/s | 605.7 KiB | 00m00s [ 44/121] gettext-libs-0:1.0-1.fc45.ppc 100% | 72.8 MiB/s | 894.2 KiB | 00m00s [ 45/121] perl-B-0:1.89-524.fc45.ppc64l 100% | 35.5 MiB/s | 181.6 KiB | 00m00s [ 46/121] perl-Scalar-List-Utils-5:1.70 100% | 37.7 MiB/s | 77.2 KiB | 00m00s [ 47/121] perl-overload-0:1.40-524.fc45 100% | 22.2 MiB/s | 45.4 KiB | 00m00s [ 48/121] perl-Fcntl-0:1.20-524.fc45.pp 100% | 14.6 MiB/s | 29.9 KiB | 00m00s [ 49/121] perl-File-Path-0:2.18-522.fc4 100% | 17.2 MiB/s | 35.3 KiB | 00m00s [ 50/121] perl-parent-1:0.244-521.fc44. 100% | 7.3 MiB/s | 14.9 KiB | 00m00s [ 51/121] perl-Symbol-0:1.09-524.fc45.n 100% | 6.9 MiB/s | 14.1 KiB | 00m00s [ 52/121] perl-Pod-Usage-4:2.05-521.fc4 100% | 19.9 MiB/s | 40.7 KiB | 00m00s [ 53/121] perl-base-0:2.27-524.fc45.noa 100% | 5.2 MiB/s | 16.1 KiB | 00m00s [ 54/121] perl-SelectSaver-0:1.02-524.f 100% | 5.7 MiB/s | 11.6 KiB | 00m00s [ 55/121] perl-Socket-4:2.040-3.fc44.pp 100% | 27.1 MiB/s | 55.6 KiB | 00m00s [ 56/121] perl-locale-0:1.13-524.fc45.n 100% | 6.5 MiB/s | 13.4 KiB | 00m00s [ 57/121] perl-DynaLoader-0:1.57-524.fc 100% | 12.6 MiB/s | 25.8 KiB | 00m00s [ 58/121] perl-Encode-4:3.21-521.fc44.p 100% | 80.3 MiB/s | 1.0 MiB | 00m00s [ 59/121] cpp-0:16.0.1-0.10.fc45.ppc64l 100% | 93.8 MiB/s | 12.8 MiB | 00m00s [ 60/121] glibc-devel-0:2.43.9000-8.fc4 100% | 59.9 MiB/s | 674.8 KiB | 00m00s [ 61/121] libasan-0:16.0.1-0.10.fc45.pp 100% | 53.1 MiB/s | 543.5 KiB | 00m00s [ 62/121] libatomic-0:16.0.1-0.10.fc45. 100% | 14.6 MiB/s | 44.8 KiB | 00m00s [ 63/121] libubsan-0:16.0.1-0.10.fc45.p 100% | 52.5 MiB/s | 268.8 KiB | 00m00s [ 64/121] make-1:4.4.1-12.fc44.ppc64le 100% | 65.3 MiB/s | 602.0 KiB | 00m00s [ 65/121] cmake-filesystem-0:4.3.0-1.fc 100% | 7.3 MiB/s | 14.9 KiB | 00m00s [ 66/121] gmp-c++-1:6.3.0-5.fc44.ppc64l 100% | 3.6 MiB/s | 18.5 KiB | 00m00s [ 67/121] csdp-0:6.2.0-37.20181018git0d 100% | 61.3 MiB/s | 313.6 KiB | 00m00s [ 68/121] python3-0:3.14.3-2.fc45.ppc64 100% | 13.9 MiB/s | 28.4 KiB | 00m00s [ 69/121] gettext-runtime-0:1.0-1.fc45. 100% | 49.4 MiB/s | 202.2 KiB | 00m00s [ 70/121] libtextstyle-0:1.0-1.fc45.ppc 100% | 33.9 MiB/s | 104.3 KiB | 00m00s [ 71/121] perl-if-0:0.61.000-524.fc45.n 100% | 6.8 MiB/s | 13.9 KiB | 00m00s [ 72/121] perl-overloading-0:0.02-524.f 100% | 4.2 MiB/s | 12.8 KiB | 00m00s [ 73/121] perl-mro-0:1.29-524.fc45.ppc6 100% | 14.7 MiB/s | 30.1 KiB | 00m00s [ 74/121] perl-vars-0:1.05-524.fc45.noa 100% | 6.3 MiB/s | 12.9 KiB | 00m00s [ 75/121] perl-Pod-Perldoc-0:3.28.01-52 100% | 28.0 MiB/s | 86.1 KiB | 00m00s [ 76/121] ocaml-compiler-libs-0:5.4.1-4 100% | 67.7 MiB/s | 56.7 MiB | 00m01s [ 77/121] perl-podlators-1:6.0.2-521.fc 100% | 463.8 KiB/s | 128.5 KiB | 00m00s [ 78/121] perl-Getopt-Std-0:1.14-524.fc 100% | 3.0 MiB/s | 15.6 KiB | 00m00s [ 79/121] perl-MIME-Base64-0:3.16-521.f 100% | 6.0 MiB/s | 30.6 KiB | 00m00s [ 80/121] perl-Storable-1:3.37-522.fc44 100% | 25.0 MiB/s | 102.4 KiB | 00m00s [ 81/121] libxcrypt-devel-0:4.5.2-3.fc4 100% | 9.7 MiB/s | 29.9 KiB | 00m00s [ 82/121] kernel-headers-0:7.0.0-0.rc7. 100% | 74.9 MiB/s | 1.7 MiB | 00m00s [ 83/121] flexiblas-netlib-0:3.5.0-2.fc 100% | 78.9 MiB/s | 4.3 MiB | 00m00s [ 84/121] gettext-envsubst-0:1.0-1.fc45 100% | 7.5 MiB/s | 38.6 KiB | 00m00s [ 85/121] groff-base-0:1.24.0-1.fc45.pp 100% | 73.5 MiB/s | 1.2 MiB | 00m00s [ 86/121] perl-HTTP-Tiny-0:0.092-2.fc44 100% | 27.9 MiB/s | 57.2 KiB | 00m00s [ 87/121] perl-IPC-Open3-0:1.24-524.fc4 100% | 11.7 MiB/s | 24.0 KiB | 00m00s [ 88/121] perl-Pod-Simple-1:3.47-4.fc44 100% | 43.0 MiB/s | 220.0 KiB | 00m00s [ 89/121] python3-libs-0:3.14.3-2.fc45. 100% | 81.0 MiB/s | 10.0 MiB | 00m00s [ 90/121] perl-Term-ANSIColor-0:5.01-52 100% | 953.5 KiB/s | 47.7 KiB | 00m00s [ 91/121] perl-Term-Cap-0:1.18-521.fc44 100% | 7.2 MiB/s | 22.0 KiB | 00m00s [ 92/121] flexiblas-0:3.5.0-2.fc44.ppc6 100% | 7.5 MiB/s | 23.0 KiB | 00m00s [ 93/121] flexiblas-openblas-openmp-0:3 100% | 5.4 MiB/s | 16.5 KiB | 00m00s [ 94/121] libgfortran-0:16.0.1-0.10.fc4 100% | 94.4 MiB/s | 676.9 KiB | 00m00s [ 95/121] libquadmath-0:16.0.1-0.10.fc4 100% | 52.5 MiB/s | 215.2 KiB | 00m00s [ 96/121] expat-0:2.7.5-1.fc45.ppc64le 100% | 43.0 MiB/s | 132.1 KiB | 00m00s [ 97/121] mpdecimal-0:4.0.1-3.fc44.ppc6 100% | 54.4 MiB/s | 111.4 KiB | 00m00s [ 98/121] python-pip-wheel-0:26.0.1-2.f 100% | 104.5 MiB/s | 1.1 MiB | 00m00s [ 99/121] tzdata-0:2026a-1.fc45.noarch 100% | 87.1 MiB/s | 713.3 KiB | 00m00s [100/121] perl-IO-Socket-SSL-0:2.098-2. 100% | 57.3 MiB/s | 234.7 KiB | 00m00s [101/121] perl-Net-SSLeay-0:1.96-1.fc45 100% | 76.2 MiB/s | 390.2 KiB | 00m00s [102/121] perl-Time-HiRes-4:1.9778-521. 100% | 28.2 MiB/s | 57.7 KiB | 00m00s [103/121] perl-Time-Local-2:1.350-521.f 100% | 16.8 MiB/s | 34.5 KiB | 00m00s [104/121] perl-Pod-Escapes-1:1.07-521.f 100% | 9.7 MiB/s | 19.8 KiB | 00m00s [105/121] perl-Text-Tabs+Wrap-0:2024.00 100% | 10.6 MiB/s | 21.8 KiB | 00m00s [106/121] ncurses-0:6.6-1.fc44.ppc64le 100% | 85.5 MiB/s | 437.9 KiB | 00m00s [107/121] openblas-openmp-0:0.3.29-2.fc 100% | 109.3 MiB/s | 5.0 MiB | 00m00s [108/121] perl-IO-Socket-IP-0:0.43-522. 100% | 13.7 MiB/s | 42.2 KiB | 00m00s [109/121] perl-URI-0:5.34-3.fc44.noarch 100% | 48.6 MiB/s | 149.2 KiB | 00m00s [110/121] perl-AutoLoader-0:5.74-524.fc 100% | 10.3 MiB/s | 21.1 KiB | 00m00s [111/121] openblas-0:0.3.29-2.fc43.ppc6 100% | 20.6 MiB/s | 42.2 KiB | 00m00s [112/121] perl-MIME-Base32-0:1.303-25.f 100% | 10.0 MiB/s | 20.5 KiB | 00m00s [113/121] perl-libnet-0:3.15-522.fc44.n 100% | 41.8 MiB/s | 128.4 KiB | 00m00s [114/121] perl-Digest-MD5-0:2.59-521.fc 100% | 11.7 MiB/s | 35.9 KiB | 00m00s [115/121] perl-FileHandle-0:2.05-524.fc 100% | 7.5 MiB/s | 15.4 KiB | 00m00s [116/121] perl-Digest-0:1.20-521.fc44.n 100% | 8.1 MiB/s | 24.9 KiB | 00m00s [117/121] annobin-plugin-gcc-0:13.07-1. 100% | 83.7 MiB/s | 686.0 KiB | 00m00s [118/121] gcc-plugin-annobin-0:16.0.1-0 100% | 16.7 MiB/s | 51.2 KiB | 00m00s [119/121] annobin-docs-0:13.07-1.fc45.n 100% | 28.7 MiB/s | 88.3 KiB | 00m00s [120/121] rocq-stdlib-0:9.1.0-2.fc45.pp 100% | 18.7 MiB/s | 21.7 MiB | 00m01s [121/121] rocq-runtime-0:9.2.0-1.fc45.p 100% | 22.6 MiB/s | 106.0 MiB | 00m05s -------------------------------------------------------------------------------- [121/121] Total 100% | 56.5 MiB/s | 353.9 MiB | 00m06s Running transaction [ 1/123] Verify package files 100% | 20.0 B/s | 121.0 B | 00m06s [ 2/123] Prepare transaction 100% | 403.0 B/s | 121.0 B | 00m00s [ 3/123] Installing ocaml-runtime-0:5. 100% | 52.1 MiB/s | 5.3 MiB | 00m00s [ 4/123] Installing libmpc-0:1.4.0-1.f 100% | 55.4 MiB/s | 283.8 KiB | 00m00s [ 5/123] Installing libgfortran-0:16.0 100% | 135.7 MiB/s | 2.7 MiB | 00m00s [ 6/123] Installing libtextstyle-0:1.0 100% | 64.4 MiB/s | 263.9 KiB | 00m00s [ 7/123] Installing gettext-libs-0:1.0 100% | 116.3 MiB/s | 2.8 MiB | 00m00s [ 8/123] Installing cpp-0:16.0.1-0.10. 100% | 108.0 MiB/s | 39.1 MiB | 00m00s [ 9/123] Installing annobin-docs-0:13. 100% | 49.0 MiB/s | 100.3 KiB | 00m00s [ 10/123] Installing openblas-0:0.3.29- 100% | 36.9 MiB/s | 113.5 KiB | 00m00s [ 11/123] Installing openblas-openmp-0: 100% | 143.0 MiB/s | 23.2 MiB | 00m00s [ 12/123] Installing ncurses-0:6.6-1.fc 100% | 12.7 MiB/s | 965.2 KiB | 00m00s [ 13/123] Installing tzdata-0:2026a-1.f 100% | 11.2 MiB/s | 1.5 MiB | 00m00s [ 14/123] Installing python-pip-wheel-0 100% | 152.8 MiB/s | 1.2 MiB | 00m00s [ 15/123] Installing mpdecimal-0:4.0.1- 100% | 69.0 MiB/s | 282.7 KiB | 00m00s [ 16/123] Installing expat-0:2.7.5-1.fc 100% | 5.8 MiB/s | 432.7 KiB | 00m00s [ 17/123] Installing python3-libs-0:3.1 100% | 98.9 MiB/s | 47.1 MiB | 00m00s [ 18/123] Installing python3-0:3.14.3-2 100% | 1.4 MiB/s | 86.4 KiB | 00m00s [ 19/123] Installing libquadmath-0:16.0 100% | 52.2 MiB/s | 427.8 KiB | 00m00s [ 20/123] Installing flexiblas-netlib-0 100% | 99.0 MiB/s | 18.8 MiB | 00m00s [ 21/123] Installing flexiblas-0:3.5.0- 100% | 19.1 MiB/s | 39.2 KiB | 00m00s [ 22/123] Installing flexiblas-openblas 100% | 33.0 MiB/s | 67.6 KiB | 00m00s [ 23/123] Installing csdp-0:6.2.0-37.20 100% | 101.9 MiB/s | 521.7 KiB | 00m00s [ 24/123] Installing csdp-tools-0:6.2.0 100% | 4.8 MiB/s | 344.8 KiB | 00m00s [ 25/123] Installing groff-base-0:1.24. 100% | 41.0 MiB/s | 4.9 MiB | 00m00s [ 26/123] Installing perl-Digest-0:1.20 100% | 18.1 MiB/s | 37.1 KiB | 00m00s [ 27/123] Installing perl-Digest-MD5-0: 100% | 34.2 MiB/s | 105.1 KiB | 00m00s [ 28/123] Installing perl-FileHandle-0: 100% | 9.6 MiB/s | 9.8 KiB | 00m00s [ 29/123] Installing perl-B-0:1.89-524. 100% | 67.0 MiB/s | 548.5 KiB | 00m00s [ 30/123] Installing perl-libnet-0:3.15 100% | 48.0 MiB/s | 294.7 KiB | 00m00s [ 31/123] Installing perl-MIME-Base32-0 100% | 15.7 MiB/s | 32.2 KiB | 00m00s [ 32/123] Installing perl-Data-Dumper-0 100% | 33.5 MiB/s | 137.1 KiB | 00m00s [ 33/123] Installing perl-URI-0:5.34-3. 100% | 22.9 MiB/s | 281.8 KiB | 00m00s [ 34/123] Installing perl-AutoLoader-0: 100% | 20.5 MiB/s | 21.0 KiB | 00m00s [ 35/123] Installing perl-IO-Socket-IP- 100% | 33.3 MiB/s | 102.2 KiB | 00m00s [ 36/123] Installing perl-IO-Socket-SSL 100% | 71.1 MiB/s | 727.6 KiB | 00m00s [ 37/123] Installing perl-Net-SSLeay-0: 100% | 74.5 MiB/s | 1.6 MiB | 00m00s [ 38/123] Installing perl-Text-Tabs+Wra 100% | 11.7 MiB/s | 23.9 KiB | 00m00s [ 39/123] Installing perl-Pod-Escapes-1 100% | 12.7 MiB/s | 25.9 KiB | 00m00s [ 40/123] Installing perl-Time-Local-2: 100% | 23.0 MiB/s | 70.6 KiB | 00m00s [ 41/123] Installing perl-Time-HiRes-4: 100% | 37.5 MiB/s | 153.4 KiB | 00m00s [ 42/123] Installing perl-File-Path-0:2 100% | 31.5 MiB/s | 64.5 KiB | 00m00s [ 43/123] Installing perl-if-0:0.61.000 100% | 6.1 MiB/s | 6.2 KiB | 00m00s [ 44/123] Installing perl-locale-0:1.13 100% | 6.4 MiB/s | 6.5 KiB | 00m00s [ 45/123] Installing perl-HTTP-Tiny-0:0 100% | 39.0 MiB/s | 159.7 KiB | 00m00s [ 46/123] Installing perl-Pod-Simple-1: 100% | 56.1 MiB/s | 574.9 KiB | 00m00s [ 47/123] Installing perl-Term-Cap-0:1. 100% | 14.9 MiB/s | 30.6 KiB | 00m00s [ 48/123] Installing perl-Term-ANSIColo 100% | 32.3 MiB/s | 99.2 KiB | 00m00s [ 49/123] Installing perl-IPC-Open3-0:1 100% | 13.9 MiB/s | 28.5 KiB | 00m00s [ 50/123] Installing perl-File-Temp-1:0 100% | 53.9 MiB/s | 165.5 KiB | 00m00s [ 51/123] Installing perl-POSIX-0:2.23- 100% | 64.0 MiB/s | 327.5 KiB | 00m00s [ 52/123] Installing perl-Class-Struct- 100% | 12.7 MiB/s | 25.9 KiB | 00m00s [ 53/123] Installing perl-Pod-Perldoc-0 100% | 2.6 MiB/s | 169.2 KiB | 00m00s [ 54/123] Installing perl-podlators-1:6 100% | 5.1 MiB/s | 321.4 KiB | 00m00s [ 55/123] Installing perl-File-stat-0:1 100% | 6.4 MiB/s | 13.1 KiB | 00m00s [ 56/123] Installing perl-Socket-4:2.04 100% | 47.5 MiB/s | 145.8 KiB | 00m00s [ 57/123] Installing perl-SelectSaver-0 100% | 2.6 MiB/s | 2.6 KiB | 00m00s [ 58/123] Installing perl-Symbol-0:1.09 100% | 7.1 MiB/s | 7.3 KiB | 00m00s [ 59/123] Installing perl-Pod-Usage-4:2 100% | 1.5 MiB/s | 87.9 KiB | 00m00s [ 60/123] Installing perl-mro-0:1.29-52 100% | 40.1 MiB/s | 82.2 KiB | 00m00s [ 61/123] Installing perl-IO-0:1.55-524 100% | 31.8 MiB/s | 195.3 KiB | 00m00s [ 62/123] Installing perl-overloading-0 100% | 5.4 MiB/s | 5.6 KiB | 00m00s [ 63/123] Installing perl-base-0:2.27-5 100% | 12.7 MiB/s | 13.0 KiB | 00m00s [ 64/123] Installing perl-Fcntl-0:1.20- 100% | 45.6 MiB/s | 93.5 KiB | 00m00s [ 65/123] Installing perl-Text-ParseWor 100% | 7.1 MiB/s | 14.6 KiB | 00m00s [ 66/123] Installing perl-Getopt-Long-1 100% | 35.9 MiB/s | 147.2 KiB | 00m00s [ 67/123] Installing perl-Storable-1:3. 100% | 59.7 MiB/s | 244.6 KiB | 00m00s [ 68/123] Installing perl-MIME-Base64-0 100% | 31.2 MiB/s | 95.8 KiB | 00m00s [ 69/123] Installing perl-Getopt-Std-0: 100% | 11.5 MiB/s | 11.8 KiB | 00m00s [ 70/123] Installing perl-vars-0:1.05-5 100% | 4.2 MiB/s | 4.3 KiB | 00m00s [ 71/123] Installing perl-overload-0:1. 100% | 35.2 MiB/s | 72.0 KiB | 00m00s [ 72/123] Installing perl-parent-1:0.24 100% | 5.4 MiB/s | 11.0 KiB | 00m00s [ 73/123] Installing perl-Scalar-List-U 100% | 30.5 MiB/s | 156.2 KiB | 00m00s [ 74/123] Installing perl-constant-0:1. 100% | 13.4 MiB/s | 27.4 KiB | 00m00s [ 75/123] Installing perl-File-Basename 100% | 14.3 MiB/s | 14.6 KiB | 00m00s [ 76/123] Installing perl-Errno-0:1.38- 100% | 8.6 MiB/s | 8.8 KiB | 00m00s [ 77/123] Installing perl-Carp-0:1.54-5 100% | 15.5 MiB/s | 47.7 KiB | 00m00s [ 78/123] Installing perl-Encode-4:3.21 100% | 49.9 MiB/s | 4.8 MiB | 00m00s [ 79/123] Installing perl-DynaLoader-0: 100% | 15.9 MiB/s | 32.5 KiB | 00m00s [ 80/123] Installing perl-PathTools-0:3 100% | 37.2 MiB/s | 228.3 KiB | 00m00s [ 81/123] Installing perl-Exporter-0:5. 100% | 7.8 MiB/s | 55.6 KiB | 00m00s [ 82/123] Installing perl-libs-4:5.42.2 100% | 79.7 MiB/s | 12.4 MiB | 00m00s [ 83/123] Installing perl-interpreter-4 100% | 3.0 MiB/s | 176.2 KiB | 00m00s [ 84/123] Installing perl-File-Compare- 100% | 3.0 MiB/s | 6.2 KiB | 00m00s [ 85/123] Installing perl-File-Copy-0:2 100% | 19.7 MiB/s | 20.2 KiB | 00m00s [ 86/123] Installing perl-File-Find-0:1 100% | 20.8 MiB/s | 42.5 KiB | 00m00s [ 87/123] Installing gettext-envsubst-0 100% | 1.8 MiB/s | 107.7 KiB | 00m00s [ 88/123] Installing gettext-runtime-0: 100% | 12.9 MiB/s | 923.8 KiB | 00m00s [ 89/123] Installing gettext-0:1.0-1.fc 100% | 99.7 MiB/s | 18.7 MiB | 00m00s [ 90/123] Installing kernel-headers-0:7 100% | 51.6 MiB/s | 7.0 MiB | 00m00s [ 91/123] Installing glibc-devel-0:2.43 100% | 59.7 MiB/s | 3.8 MiB | 00m00s [ 92/123] Installing libxcrypt-devel-0: 100% | 16.3 MiB/s | 33.3 KiB | 00m00s [ 93/123] Installing gmp-c++-1:6.3.0-5. 100% | 33.2 MiB/s | 68.1 KiB | 00m00s [ 94/123] Installing gmp-devel-1:6.3.0- 100% | 86.5 MiB/s | 354.2 KiB | 00m00s [ 95/123] Installing cmake-filesystem-0 100% | 1.5 MiB/s | 9.4 KiB | 00m00s [ 96/123] Installing libzstd-devel-0:1. 100% | 53.5 MiB/s | 219.1 KiB | 00m00s [ 97/123] Installing make-1:4.4.1-12.fc 100% | 25.5 MiB/s | 1.9 MiB | 00m00s [ 98/123] Installing libubsan-0:16.0.1- 100% | 93.4 MiB/s | 669.8 KiB | 00m00s [ 99/123] Installing libatomic-0:16.0.1 100% | 38.1 MiB/s | 78.0 KiB | 00m00s [100/123] Installing libasan-0:16.0.1-0 100% | 120.4 MiB/s | 2.2 MiB | 00m00s [101/123] Installing gcc-0:16.0.1-0.10. 100% | 122.7 MiB/s | 106.9 MiB | 00m01s [102/123] Installing ocaml-0:5.4.1-4.fc 100% | 135.4 MiB/s | 182.2 MiB | 00m01s [103/123] Installing ocaml-compiler-lib 100% | 135.3 MiB/s | 118.8 MiB | 00m01s [104/123] Installing ocaml-findlib-0:1. 100% | 42.5 MiB/s | 3.9 MiB | 00m00s [105/123] Installing ocaml-zarith-0:1.1 100% | 29.5 MiB/s | 482.8 KiB | 00m00s [106/123] Installing rocq-runtime-0:9.2 100% | 127.7 MiB/s | 338.4 MiB | 00m03s [107/123] Installing rocq-core-0:9.2.0- 100% | 76.9 MiB/s | 4.8 MiB | 00m00s [108/123] Installing rocq-0:9.2.0-1.fc4 100% | 20.2 KiB/s | 124.0 B | 00m00s [109/123] Installing rocq-stdlib-0:9.1. 100% | 97.6 MiB/s | 62.3 MiB | 00m01s [110/123] Installing gettext-common-dev 100% | 145.6 MiB/s | 596.5 KiB | 00m00s [111/123] Installing gettext-devel-0:1. 100% | 18.6 MiB/s | 1.5 MiB | 00m00s [112/123] Installing libstdc++-devel-0: 100% | 126.6 MiB/s | 38.9 MiB | 00m00s [113/123] Installing m4-0:1.4.21-1.fc45 100% | 13.2 MiB/s | 959.0 KiB | 00m00s [114/123] Installing emacs-filesystem-1 100% | 396.5 KiB/s | 812.0 B | 00m00s [115/123] Installing autoconf-0:2.72-10 100% | 34.6 MiB/s | 2.8 MiB | 00m00s [116/123] Installing gcc-c++-0:16.0.1-0 100% | 109.7 MiB/s | 43.9 MiB | 00m00s [117/123] Installing flocq-0:4.2.2-2.fc 100% | 132.5 MiB/s | 16.7 MiB | 00m00s [118/123] Installing coq-core-compat-0: 100% | 124.3 MiB/s | 42.9 MiB | 00m00s [119/123] Installing ocaml-zarith-devel 100% | 85.4 MiB/s | 1.2 MiB | 00m00s [120/123] Installing annobin-plugin-gcc 100% | 23.9 MiB/s | 710.6 KiB | 00m00s [121/123] Installing gcc-plugin-annobin 100% | 2.5 MiB/s | 70.6 KiB | 00m00s [122/123] Installing remake-0:0.16-5.fc 100% | 2.5 MiB/s | 148.6 KiB | 00m00s [123/123] Installing gappa-0:1.7.0-1.fc 100% | 1.6 MiB/s | 867.5 KiB | 00m01s Warning: skipped OpenPGP checks for 6 packages from repository: copr_base Complete! Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1775779200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm Updating and loading repositories: fedora 100% | 6.7 KiB/s | 4.2 KiB | 00m01s Copr repository 100% | 3.1 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package "autoconf-2.72-10.fc44.noarch" is already installed. Package "coq-core-compat-9.2.0-1.fc45.ppc64le" is already installed. Package "flocq-4.2.2-2.fc45.ppc64le" is already installed. Package "gappa-1.7.0-1.fc45.ppc64le" is already installed. Package "gcc-c++-16.0.1-0.10.fc45.ppc64le" is already installed. Package "ocaml-5.4.1-4.fc45.ppc64le" is already installed. Package "ocaml-findlib-1.9.8-8.fc45.ppc64le" is already installed. Package "ocaml-zarith-devel-1.14-12.fc45.ppc64le" is already installed. Package "remake-0.16-5.fc44.ppc64le" is already installed. Package "rocq-9.2.0-1.fc45.ppc64le" is already installed. Nothing to do. Finish: build setup for gappalib-coq-1.8.0-2.fc45.src.rpm Start: rpmbuild gappalib-coq-1.8.0-2.fc45.src.rpm Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1775779200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.s7gT6Y Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.lyQe80 + 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.JgIdMZ + 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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4 + sed -i 's/-rectypes/-g &/' Remakefile.in + autoconf -f configure.in:5: warning: prefer named diversions + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.4KlAoX + 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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4 + ./configure --prefix=/usr --datadir=/usr/share checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking how to run the C preprocessor... gcc -E checking for coqc >= 8.16... /usr/bin/coqc checking for ocamlfind... /usr/bin/ocamlfind checking for ocamllex... /usr/bin/ocamllex checking for Flocq >= 4.1... File "./conftest.v", line 1, characters 40-43: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] yes checking for native development files... File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Evd, and its interface was not compiled with -opaque yes checking for bytecode development files... yes checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed configure: building remake... /usr/bin/ld.bfd: /tmp/ccqd8DgH.o: in function `main': remake.cpp:(.text.startup+0xf94): 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 -j5 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 src/gappatac.ml Building src/gappatac.cmxs Building src/gappatac.cmo /usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo Finished tools/vdep.ml Building tools/vdep.exe /usr/bin/ocamlfind ocamlc -o tools/vdep.exe tools/vdep.ml Finished tools/vdep.exe Building src/Gappa_common.vo Building src/Gappa_decimal.vo Building src/Gappa_definitions.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_definitions.v | ./remake -r src/Gappa_definitions.vo tools/vdep.exe -R src Gappa src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_dyadic.vo tools/vdep.exe -R src Gappa src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo Building src/Gappa_fixed.vo tools/vdep.exe -R src Gappa src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo Building src/Gappa_float.vo Building src/Gappa_library.vo tools/vdep.exe -R src Gappa src/Gappa_library.v | ./remake -r src/Gappa_library.vo tools/vdep.exe -R src Gappa src/Gappa_float.v | ./remake -r src/Gappa_float.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 16, characters 5-11: Alert deprecated: module Coqlib (9.0) Use Rocqlib File "src/gappatac.c", line 16, characters 5-11: Alert deprecated: module Coqlib (9.0) Use Rocqlib /usr/bin/coqc -q -R src Gappa -I src src/Gappa_obfuscate.v Building src/Gappa_pred_abs.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_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo File "src/gappatac.c", line 82, characters 42-46: Alert deprecated: module Pcoq (9.0) Use Procq 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 Building src/Gappa_pred_bnd.vo tools/vdep.exe -R src Gappa src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo Building src/Gappa_pred_fixflt.vo tools/vdep.exe -R src Gappa src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo 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 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_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 File "src/gappatac.c", line 796, characters 6-23: Alert deprecated: Dumpglob.continue (8.13) Use pop_output File "src/gappatac.c", line 799, characters 2-19: Alert deprecated: Dumpglob.continue (8.13) Use pop_output File "src/gappatac.c", line 796, characters 6-23: Alert deprecated: Dumpglob.continue (8.13) Use pop_output File "src/gappatac.c", line 799, characters 2-19: Alert deprecated: Dumpglob.continue (8.13) Use pop_output File "src/gappatac.c", line 818, characters 17-21: Alert deprecated: module Pcoq (9.0) Use Procq File "src/gappatac.c", line 838, characters 18-24: Alert deprecated: Tacmach.pf_env (9.2) Use Proofview.Goal.env File "src/gappatac.c", line 839, characters 18-25: Alert deprecated: Tacmach.project (9.2) Use Proofview.Goal.sigma File "src/gappatac.c", line 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. File "src/gappatac.c", line 818, characters 17-21: Alert deprecated: module Pcoq (9.0) Use Procq 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 "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. Finished src/Gappa_obfuscate.vo Building src/Gappa_real.vo Building src/Gappa_rewriting.vo tools/vdep.exe -R src Gappa src/Gappa_real.v | ./remake -r src/Gappa_real.vo tools/vdep.exe -R src Gappa src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v Building src/Gappa_round_aux.vo File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacmach, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacred, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tactics, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module UnivGen, and its interface was not compiled with -opaque Finished src/gappatac.cmo 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 Building src/Gappa_round.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v tools/vdep.exe -R src Gappa src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_tree.vo tools/vdep.exe -R src Gappa src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo Building src/Gappa_user.vo tools/vdep.exe -R src Gappa src/Gappa_user.v | ./remake -r src/Gappa_user.vo File "./src/Gappa_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_tactic.vo tools/vdep.exe -R src Gappa src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.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] Finished src/Gappa_definitions.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v File "./src/Gappa_dyadic.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_round_def.v", line 106, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./src/Gappa_round_def.v", line 107, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./src/Gappa_round_def.v", line 108, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./src/Gappa_round_def.v", line 109, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] 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_decimal.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_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_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_round.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_tree.v", line 4, characters 6-14: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_fixflt.v File "./src/Gappa_pred_fixflt.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_tree.v", line 152, characters 30-38: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_tree.v", line 154, characters 30-38: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v 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_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_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 110, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 125, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 138, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 139, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_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 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] 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] Finished src/Gappa_tree.vo 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_pred_fixflt.vo 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_lin.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v File "./src/Gappa_pred_rel.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] Finished src/Gappa_rewriting.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v File "./src/Gappa_float.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] Finished src/Gappa_pred_abs.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v 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] Finished src/Gappa_user.vo File "./src/Gappa_float.v", line 10, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 13, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 72, characters 41-44: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 75, characters 23-26: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 83, characters 18-21: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 94, characters 41-44: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 97, characters 23-26: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] Finished src/Gappa_pred_lin.vo 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_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_fixed.v", line 29, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_fixed.v", line 44, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_fixed.v", line 50, characters 27-30: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_fixed.v", line 63, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_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_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_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 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_pred_rel.v", line 469, characters 24-32: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_rel.v", line 469, characters 24-32: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] 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] Finished src/Gappa_fixed.vo 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] 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_float.v", line 682, characters 58-66: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 687, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] 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_float.v", line 899, characters 62-70: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 943, characters 50-58: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 976, characters 52-60: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1062, characters 27-30: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1067, characters 58-66: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1070, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1088, characters 21-24: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1098, characters 28-31: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1130, characters 54-62: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1135, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1141, characters 27-30: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1149, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1155, characters 27-30: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1163, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1169, characters 27-30: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1177, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 1183, characters 27-30: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1344, characters 16-19: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1347, characters 16-19: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 1412, characters 74-82: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_float.vo 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.YWS0Et + 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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT + remake install Building install Finished install + cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_lin.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j5 --strict-build-id -m -i --build-id-seed 1.8.0-2.fc45 --unique-debug-suffix -1.8.0-2.fc45.ppc64le --unique-debug-src-base gappalib-coq-1.8.0-2.fc45.ppc64le --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 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.ppc64le cpio: atomic.ml: Cannot stat: No such file or directory cpio: big_int_Z.ml: Cannot stat: No such file or directory cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: filename.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: z.ml: Cannot stat: No such file or directory find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + COMPRESS='gzip -9 -n' + COMPRESS_EXT=.gz + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j5 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-det --brp -j5 /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.sfwXmX + 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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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 -mcpu=power8 -mtune=power8 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4 + remake check Building testsuite/check Finished testsuite/check Building check Finished check + RPM_EC=0 ++ jobs -p + exit 0 Processing files: gappalib-coq-1.8.0-2.fc45.ppc64le Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Z202FZ + 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.cstdBs + 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(ppc-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.ppc64le Provides: gappalib-coq-source = 1.8.0-2.fc45 gappalib-coq-source(ppc-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.ppc64le Provides: gappalib-coq-debugsource = 1.8.0-2.fc45 gappalib-coq-debugsource(ppc-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.ppc64le Provides: debuginfo(build-id) = 1dbba2f0c1f3c8ec6b9f5fd7a726437fc8de272a gappalib-coq-debuginfo = 1.8.0-2.fc45 gappalib-coq-debuginfo(ppc-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(ppc-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.ppc64le.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.8.0-2.fc45.ppc64le.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.8.0-2.fc45.ppc64le.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.8.0-2.fc45.ppc64le.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.3YhDon + 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-ppc64le-1775862950.506722/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) 1 minutes 21 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", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "src" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "ppc64le" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "ppc64le" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "ppc64le" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "ppc64le" } ] } RPMResults finished