Warning: Permanently added '44.205.254.129' (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-aarch64 --chroot fedora-rawhide-aarch64 Version: 1.6 PID: 12714 Logging PID: 12716 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 10312987, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-aarch64', '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-aarch64/', '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-aarch64', '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-626p2arv/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-626p2arv/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-626p2arv/gappalib-coq'... Running: git checkout 51d6e8a1a3aa42ac426180903fffe043d290b4ec -- cmd: ['git', 'checkout', '51d6e8a1a3aa42ac426180903fffe043d290b4ec', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-626p2arv/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-626p2arv/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 5844k 0 --:--:-- --:--:-- --:--:-- 6242k 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-626p2arv/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-626p2arv/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862948.024412 -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-626p2arv/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-626p2arv/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775862948.024412 -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-626p2arv/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-aarch64) 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-aarch64-bootstrap-1775862948.024412/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-a28d9696-9f47-40e1-8968-672df2e3fa58 INFO: Checking that 00ac2f4c187e043c5a796e980905a7e73152bbda3f71bc6c03d1941edb29e77f image matches host's architecture INFO: Copy content of container 00ac2f4c187e043c5a796e980905a7e73152bbda3f71bc6c03d1941edb29e77f to /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1775862948.024412/root INFO: mounting 00ac2f4c187e043c5a796e980905a7e73152bbda3f71bc6c03d1941edb29e77f with podman image mount INFO: image 00ac2f4c187e043c5a796e980905a7e73152bbda3f71bc6c03d1941edb29e77f as /var/lib/containers/storage/overlay/a7bb7a8fbd5265f6b33aa13498df4d769cce5c7543bbaa4c96e7d4e15030430e/merged INFO: umounting image 00ac2f4c187e043c5a796e980905a7e73152bbda3f71bc6c03d1941edb29e77f (/var/lib/containers/storage/overlay/a7bb7a8fbd5265f6b33aa13498df4d769cce5c7543bbaa4c96e7d4e15030430e/merged) with podman image umount INFO: Removing image mock-bootstrap-a28d9696-9f47-40e1-8968-672df2e3fa58 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-aarch64-1775862948.024412/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.aarch64 rpm-sequoia-1.10.1-1.fc45.aarch64 dnf5-5.4.0.0-6.fc45.aarch64 dnf5-plugins-5.4.0.0-6.fc45.aarch64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 10.0 MiB/s | 20.5 MiB | 00m02s Copr repository 100% | 164.1 KiB/s | 343.7 KiB | 00m02s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash aarch64 0:5.3.9-3.fc44 fedora 8.4 MiB bzip2 aarch64 0:1.0.8-23.fc44 fedora 171.1 KiB coreutils aarch64 0:9.10-3.fc45 fedora 8.2 MiB cpio aarch64 0:2.15-9.fc44 fedora 1.1 MiB diffutils aarch64 0:3.12-5.fc44 fedora 1.6 MiB fedora-release-common noarch 0:45-0.5 fedora 4.2 KiB findutils aarch64 1:4.10.0-7.fc44 fedora 1.9 MiB gawk aarch64 0:5.4.0-2.fc45 fedora 2.9 MiB glibc-minimal-langpack aarch64 0:2.43.9000-8.fc45 fedora 0.0 B grep aarch64 0:3.12-3.fc44 fedora 1.0 MiB gzip aarch64 0:1.14-2.fc44 fedora 437.5 KiB info aarch64 0:7.3-1.fc45 fedora 424.3 KiB patch aarch64 0:2.8-4.fc44 fedora 262.4 KiB redhat-rpm-config noarch 0:344-1.fc45 fedora 183.7 KiB rpm-build aarch64 0:6.0.1-5.fc45 fedora 597.8 KiB sed aarch64 0:4.9-8.fc45 fedora 873.1 KiB shadow-utils aarch64 2:4.19.3-1.fc45 fedora 4.4 MiB tar aarch64 2:1.35-8.fc44 fedora 3.0 MiB unzip aarch64 0:6.0-69.fc44 fedora 533.8 KiB util-linux aarch64 0:2.42-7.fc45 fedora 6.9 MiB which aarch64 0:2.23-4.fc44 fedora 123.3 KiB xz aarch64 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 aarch64 0:0.7.3-2.fc45 fedora 2.0 MiB alternatives aarch64 0:1.33-5.fc44 fedora 90.1 KiB ansible-srpm-macros noarch 0:1-20.1.fc44 fedora 35.7 KiB audit-libs aarch64 0:4.1.4-1.fc45 fedora 486.7 KiB binutils aarch64 0:2.46.50-7.fc45 fedora 31.5 MiB build-reproducibility-srpm-macros noarch 0:0.7.3-2.fc45 fedora 1.2 KiB bzip2-libs aarch64 0:1.0.8-23.fc44 fedora 72.5 KiB ca-certificates noarch 0:2025.2.80_v9.0.304-7.fc45 fedora 2.7 MiB cmake-srpm-macros noarch 0:4.3.0-1.fc45 fedora 524.0 B coreutils-common aarch64 0:9.10-3.fc45 fedora 10.7 MiB crypto-policies noarch 0:20251128-3.git19878fe.fc44 fedora 132.6 KiB curl aarch64 0:8.20.0~rc1-1.fc45 fedora 462.8 KiB cyrus-sasl-lib aarch64 0:2.1.28-35.fc44 fedora 2.4 MiB debugedit aarch64 0:5.3-2.fc45 fedora 320.9 KiB dwz aarch64 0:0.16-3.fc44 fedora 322.4 KiB ed aarch64 0:1.22.5-2.fc45 fedora 157.7 KiB efi-srpm-macros noarch 0:6-6.fc44 fedora 40.2 KiB elfutils aarch64 0:0.194-5.fc45 fedora 3.3 MiB elfutils-debuginfod-client aarch64 0:0.194-5.fc45 fedora 143.6 KiB elfutils-default-yama-scope noarch 0:0.194-5.fc45 fedora 1.8 KiB elfutils-libelf aarch64 0:0.194-5.fc45 fedora 1.1 MiB elfutils-libs aarch64 0:0.194-5.fc45 fedora 746.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 aarch64 0:5.47-1.fc45 fedora 141.2 KiB file-libs aarch64 0:5.47-1.fc45 fedora 12.2 MiB filesystem aarch64 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 aarch64 0:17.1-5.fc45 fedora 13.5 MiB gdbm-libs aarch64 1:1.23-11.fc44 fedora 233.7 KiB ghc-srpm-macros noarch 0:1.10-1.fc44 fedora 792.0 B glibc aarch64 0:2.43.9000-8.fc45 fedora 6.4 MiB glibc-common aarch64 0:2.43.9000-8.fc45 fedora 1.3 MiB glibc-gconv-extra aarch64 0:2.43.9000-8.fc45 fedora 18.6 MiB gmp aarch64 1:6.3.0-5.fc44 fedora 657.9 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 aarch64 0:2.4.9-5.fc44 fedora 6.4 MiB gnupg2-dirmngr aarch64 0:2.4.9-5.fc44 fedora 646.0 KiB gnupg2-gpg-agent aarch64 0:2.4.9-5.fc44 fedora 846.7 KiB gnupg2-gpgconf aarch64 0:2.4.9-5.fc44 fedora 321.7 KiB gnupg2-keyboxd aarch64 0:2.4.9-5.fc44 fedora 233.2 KiB gnupg2-verify aarch64 0:2.4.9-5.fc44 fedora 364.3 KiB gnutls aarch64 0:3.8.12-1.fc45 fedora 3.6 MiB go-srpm-macros noarch 0:3.8.0-2.fc44 fedora 61.9 KiB gpgverify noarch 0:2.2-4.fc44 fedora 8.7 KiB ima-evm-utils-libs aarch64 0:1.6.2-10.fc45 fedora 92.6 KiB jansson aarch64 0:2.14-4.fc44 fedora 93.0 KiB java-srpm-macros noarch 0:1-8.fc44 fedora 870.0 B json-c aarch64 0:0.18-8.fc44 fedora 138.5 KiB kernel-srpm-macros noarch 0:1.0-29.fc45 fedora 1.9 KiB keyutils-libs aarch64 0:1.6.3-7.fc44 fedora 98.2 KiB krb5-libs aarch64 0:1.22.2-4.fc45 fedora 2.5 MiB libacl aarch64 0:2.3.2-6.fc44 fedora 67.8 KiB libarchive aarch64 0:3.8.6-1.fc45 fedora 975.2 KiB libassuan aarch64 0:2.5.7-5.fc44 fedora 215.8 KiB libattr aarch64 0:2.5.2-8.fc44 fedora 68.3 KiB libblkid aarch64 0:2.42-7.fc45 fedora 290.3 KiB libbrotli aarch64 0:1.2.0-3.fc44 fedora 909.1 KiB libcap aarch64 0:2.78-1.fc45 fedora 508.4 KiB libcap-ng aarch64 0:0.9.3-1.fc45 fedora 160.9 KiB libcbor aarch64 0:0.13.0-2.fc44 fedora 139.5 KiB libcom_err aarch64 0:1.47.4-1.fc45 fedora 111.1 KiB libcurl aarch64 0:8.20.0~rc1-1.fc45 fedora 981.4 KiB libeconf aarch64 0:0.7.9-3.fc44 fedora 80.8 KiB libevent aarch64 0:2.1.12-17.fc44 fedora 1.1 MiB libfdisk aarch64 0:2.42-7.fc45 fedora 418.8 KiB libffi aarch64 0:3.5.2-2.fc44 fedora 155.7 KiB libfido2 aarch64 0:1.16.0-5.fc44 fedora 278.6 KiB libfsverity aarch64 0:1.7-1.fc45 fedora 68.3 KiB libgcc aarch64 0:16.0.1-0.10.fc45 fedora 222.3 KiB libgcrypt aarch64 0:1.12.1-1.fc45 fedora 1.2 MiB libgomp aarch64 0:16.0.1-0.10.fc45 fedora 592.6 KiB libgpg-error aarch64 0:1.59-1.fc45 fedora 994.3 KiB libidn2 aarch64 0:2.3.8-3.fc44 fedora 560.4 KiB libksba aarch64 0:1.6.8-1.fc45 fedora 401.7 KiB liblastlog2 aarch64 0:2.42-7.fc45 fedora 137.7 KiB libmount aarch64 0:2.42-7.fc45 fedora 420.2 KiB libnghttp2 aarch64 0:1.68.1-1.fc45 fedora 197.9 KiB libnghttp3 aarch64 0:1.15.0-1.fc44 fedora 206.6 KiB libpkgconf aarch64 0:2.5.1-1.fc45 fedora 133.9 KiB libpsl aarch64 0:0.21.5-7.fc44 fedora 132.3 KiB libselinux aarch64 0:3.10-1.fc44 fedora 201.0 KiB libselinux-utils aarch64 0:3.10-1.fc44 fedora 1.3 MiB libsemanage aarch64 0:3.10-1.fc44 fedora 360.0 KiB libsepol aarch64 0:3.10-1.fc44 fedora 810.0 KiB libsmartcols aarch64 0:2.42-7.fc45 fedora 224.4 KiB libssh aarch64 0:0.12.0-1.fc45 fedora 718.9 KiB libssh-config noarch 0:0.12.0-1.fc45 fedora 277.0 B libstdc++ aarch64 0:16.0.1-0.10.fc45 fedora 2.8 MiB libtasn1 aarch64 0:4.21.0-1.fc45 fedora 220.7 KiB libtool-ltdl aarch64 0:2.5.4-10.fc44 fedora 93.9 KiB libunistring aarch64 0:1.1-11.fc44 fedora 1.7 MiB libusb1 aarch64 0:1.0.29-5.fc44 fedora 178.8 KiB libuuid aarch64 0:2.42-7.fc45 fedora 69.3 KiB libverto aarch64 0:0.3.2-12.fc44 fedora 69.3 KiB libxcrypt aarch64 0:4.5.2-3.fc44 fedora 273.2 KiB libxml2 aarch64 0:2.12.10-6.fc44 fedora 1.9 MiB libzstd aarch64 0:1.5.7-5.fc44 fedora 860.2 KiB linkdupes aarch64 0:0.7.3-2.fc45 fedora 713.7 KiB lua-libs aarch64 0:5.5.0-1.fc45 fedora 329.9 KiB lua-srpm-macros noarch 0:1-17.fc44 fedora 1.3 KiB lz4-libs aarch64 0:1.10.0-4.fc44 fedora 197.3 KiB mpfr aarch64 0:4.2.2-3.fc44 fedora 755.4 KiB ncurses-base noarch 0:6.6-1.fc44 fedora 329.7 KiB ncurses-libs aarch64 0:6.6-1.fc44 fedora 1.2 MiB nettle aarch64 0:3.10.1-3.fc44 fedora 765.0 KiB ngtcp2 aarch64 0:1.21.0-1.fc45 fedora 341.1 KiB ngtcp2-crypto-ossl aarch64 0:1.21.0-1.fc45 fedora 67.5 KiB npth aarch64 0:1.8-4.fc44 fedora 93.3 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 aarch64 0:2.6.13-1.fc45 fedora 764.2 KiB openssl-libs aarch64 1:3.5.5-1.fc44 fedora 7.4 MiB p11-kit aarch64 0:0.26.2-1.fc45 fedora 2.7 MiB p11-kit-trust aarch64 0:0.26.2-1.fc45 fedora 530.1 KiB package-notes-srpm-macros noarch 0:0.17-3.fc45 fedora 1.6 KiB pam-libs aarch64 0:1.7.2-1.fc44 fedora 222.6 KiB pcre2 aarch64 0:10.47-1.fc44.1 fedora 714.3 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 aarch64 0:2.5.1-1.fc45 fedora 116.7 KiB pkgconf-m4 noarch 0:2.5.1-1.fc45 fedora 14.3 KiB pkgconf-pkg-config aarch64 0:2.5.1-1.fc45 fedora 990.0 B policycoreutils aarch64 0:3.10-3.fc45 fedora 1.5 MiB popt aarch64 0:1.19-10.fc44 fedora 144.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 aarch64 0:8.3-4.fc44 fedora 563.5 KiB redhat-systemd-presets noarch 0:102-1.fc45 fedora 1.0 KiB redhat-systemd-presets-common noarch 0:102-1.fc45 fedora 16.6 KiB rpm aarch64 0:6.0.1-5.fc45 fedora 3.3 MiB rpm-build-libs aarch64 0:6.0.1-5.fc45 fedora 264.0 KiB rpm-libs aarch64 0:6.0.1-5.fc45 fedora 994.9 KiB rpm-plugin-selinux aarch64 0:6.0.1-5.fc45 fedora 67.8 KiB rpm-sequoia aarch64 0:1.10.1-1.fc45 fedora 2.2 MiB rpm-sign-libs aarch64 0:6.0.1-5.fc45 fedora 67.6 KiB rust-srpm-macros noarch 0:28.4-3.fc44 fedora 5.5 KiB selinux-policy noarch 0:43.6-1.fc45 fedora 32.0 KiB selinux-policy-targeted noarch 0:43.6-1.fc45 fedora 18.6 MiB setup noarch 0:2.15.0-29.fc45 fedora 724.9 KiB sqlite-libs aarch64 0:3.52.0-1.fc45 fedora 1.6 MiB systemd-libs aarch64 0:260.1-2.fc45 fedora 2.5 MiB systemd-standalone-sysusers aarch64 0:260.1-2.fc45 fedora 847.9 KiB tpm2-tss aarch64 0:4.1.3-9.fc44 fedora 2.1 MiB tree-sitter-srpm-macros noarch 0:0.4.2-2.fc44 fedora 8.3 KiB util-linux-core aarch64 0:2.42-7.fc45 fedora 2.5 MiB xxhash-libs aarch64 0:0.8.3-4.fc44 fedora 85.8 KiB xz-libs aarch64 1:5.8.3-1.fc45 fedora 265.5 KiB zig-srpm-macros noarch 0:1-8.fc44 fedora 1.3 KiB zip aarch64 0:3.0-45.fc44 fedora 762.0 KiB zlib-ng-compat aarch64 0:2.3.3-5.fc45 fedora 133.3 KiB zstd aarch64 0:1.5.7-5.fc44 fedora 562.2 KiB Installing groups: Buildsystem building group Transaction Summary: Installing: 187 packages Total size of inbound packages is 67 MiB. Need to download 67 MiB. After this operation, 251 MiB extra will be used (install 251 MiB, remove 0 B). [ 1/187] bzip2-0:1.0.8-23.fc44.aarch64 100% | 2.4 MiB/s | 51.9 KiB | 00m00s [ 2/187] bash-0:5.3.9-3.fc44.aarch64 100% | 34.7 MiB/s | 1.8 MiB | 00m00s [ 3/187] cpio-0:2.15-9.fc44.aarch64 100% | 10.5 MiB/s | 289.7 KiB | 00m00s [ 4/187] diffutils-0:3.12-5.fc44.aarch 100% | 54.7 MiB/s | 391.9 KiB | 00m00s [ 5/187] fedora-release-common-0:45-0. 100% | 3.0 MiB/s | 18.5 KiB | 00m00s [ 6/187] coreutils-0:9.10-3.fc45.aarch 100% | 18.4 MiB/s | 1.1 MiB | 00m00s [ 7/187] findutils-1:4.10.0-7.fc44.aar 100% | 67.4 MiB/s | 552.0 KiB | 00m00s [ 8/187] gawk-0:5.4.0-2.fc45.aarch64 100% | 125.5 MiB/s | 1.1 MiB | 00m00s [ 9/187] glibc-minimal-langpack-0:2.43 100% | 15.1 MiB/s | 93.1 KiB | 00m00s [ 10/187] grep-0:3.12-3.fc44.aarch64 100% | 41.3 MiB/s | 296.3 KiB | 00m00s [ 11/187] gzip-0:1.14-2.fc44.aarch64 100% | 28.1 MiB/s | 172.8 KiB | 00m00s [ 12/187] info-0:7.3-1.fc45.aarch64 100% | 29.9 MiB/s | 183.5 KiB | 00m00s [ 13/187] patch-0:2.8-4.fc44.aarch64 100% | 18.1 MiB/s | 111.1 KiB | 00m00s [ 14/187] redhat-rpm-config-0:344-1.fc4 100% | 12.8 MiB/s | 78.4 KiB | 00m00s [ 15/187] rpm-build-0:6.0.1-5.fc45.aarc 100% | 21.5 MiB/s | 132.0 KiB | 00m00s [ 16/187] sed-0:4.9-8.fc45.aarch64 100% | 43.9 MiB/s | 315.0 KiB | 00m00s [ 17/187] shadow-utils-2:4.19.3-1.fc45. 100% | 128.6 MiB/s | 1.3 MiB | 00m00s [ 18/187] tar-2:1.35-8.fc44.aarch64 100% | 83.5 MiB/s | 854.8 KiB | 00m00s [ 19/187] unzip-0:6.0-69.fc44.aarch64 100% | 24.5 MiB/s | 200.9 KiB | 00m00s [ 20/187] util-linux-0:2.42-7.fc45.aarc 100% | 138.7 MiB/s | 1.2 MiB | 00m00s [ 21/187] which-0:2.23-4.fc44.aarch64 100% | 5.8 MiB/s | 41.6 KiB | 00m00s [ 22/187] xz-1:5.8.3-1.fc45.aarch64 100% | 71.0 MiB/s | 654.3 KiB | 00m00s [ 23/187] filesystem-0:3.18-56.fc45.aar 100% | 166.6 MiB/s | 1.8 MiB | 00m00s [ 24/187] glibc-0:2.43.9000-8.fc45.aarc 100% | 123.4 MiB/s | 2.0 MiB | 00m00s [ 25/187] ncurses-libs-0:6.6-1.fc44.aar 100% | 21.1 MiB/s | 324.8 KiB | 00m00s [ 26/187] bzip2-libs-0:1.0.8-23.fc44.aa 100% | 6.7 MiB/s | 41.2 KiB | 00m00s [ 27/187] coreutils-common-0:9.10-3.fc4 100% | 177.7 MiB/s | 2.1 MiB | 00m00s [ 28/187] gmp-1:6.3.0-5.fc44.aarch64 100% | 24.1 MiB/s | 271.0 KiB | 00m00s [ 29/187] libacl-0:2.3.2-6.fc44.aarch64 100% | 2.1 MiB/s | 24.0 KiB | 00m00s [ 30/187] libattr-0:2.5.2-8.fc44.aarch6 100% | 2.9 MiB/s | 17.8 KiB | 00m00s [ 31/187] libcap-0:2.78-1.fc45.aarch64 100% | 14.5 MiB/s | 89.1 KiB | 00m00s [ 32/187] libselinux-0:3.10-1.fc44.aarc 100% | 13.6 MiB/s | 97.6 KiB | 00m00s [ 33/187] openssl-libs-1:3.5.5-1.fc44.a 100% | 205.4 MiB/s | 2.5 MiB | 00m00s [ 34/187] fedora-repos-0:45-0.1.noarch 100% | 768.7 KiB/s | 9.2 KiB | 00m00s [ 35/187] systemd-libs-0:260.1-2.fc45.a 100% | 56.6 MiB/s | 810.9 KiB | 00m00s [ 36/187] redhat-systemd-presets-0:102- 100% | 1.4 MiB/s | 8.3 KiB | 00m00s [ 37/187] mpfr-0:4.2.2-3.fc44.aarch64 100% | 44.6 MiB/s | 320.0 KiB | 00m00s [ 38/187] readline-0:8.3-4.fc44.aarch64 100% | 30.9 MiB/s | 221.1 KiB | 00m00s [ 39/187] glibc-common-0:2.43.9000-8.fc 100% | 51.6 MiB/s | 369.7 KiB | 00m00s [ 40/187] pcre2-0:10.47-1.fc44.1.aarch6 100% | 34.9 MiB/s | 250.2 KiB | 00m00s [ 41/187] ed-0:1.22.5-2.fc45.aarch64 100% | 13.6 MiB/s | 83.5 KiB | 00m00s [ 42/187] R-srpm-macros-0:1.3.7-1.fc45. 100% | 1.8 MiB/s | 11.0 KiB | 00m00s [ 43/187] ansible-srpm-macros-0:1-20.1. 100% | 3.3 MiB/s | 20.1 KiB | 00m00s [ 44/187] build-reproducibility-srpm-ma 100% | 2.2 MiB/s | 13.3 KiB | 00m00s [ 45/187] cmake-srpm-macros-0:4.3.0-1.f 100% | 1.7 MiB/s | 10.4 KiB | 00m00s [ 46/187] dwz-0:0.16-3.fc44.aarch64 100% | 21.4 MiB/s | 131.3 KiB | 00m00s [ 47/187] efi-srpm-macros-0:6-6.fc44.no 100% | 3.7 MiB/s | 22.6 KiB | 00m00s [ 48/187] erlang-srpm-macros-0:0.3.11-1 100% | 1.6 MiB/s | 10.0 KiB | 00m00s [ 49/187] file-0:5.47-1.fc45.aarch64 100% | 8.0 MiB/s | 49.3 KiB | 00m00s [ 50/187] filesystem-srpm-macros-0:3.18 100% | 4.4 MiB/s | 26.8 KiB | 00m00s [ 51/187] fonts-srpm-macros-1:5.0.0-3.f 100% | 4.4 MiB/s | 27.2 KiB | 00m00s [ 52/187] forge-srpm-macros-0:0.4.0-4.f 100% | 3.3 MiB/s | 20.0 KiB | 00m00s [ 53/187] fpc-srpm-macros-0:1.3-16.fc44 100% | 1.3 MiB/s | 7.9 KiB | 00m00s [ 54/187] gap-srpm-macros-0:2-2.fc44.no 100% | 1.5 MiB/s | 9.1 KiB | 00m00s [ 55/187] ghc-srpm-macros-0:1.10-1.fc44 100% | 1.4 MiB/s | 8.8 KiB | 00m00s [ 56/187] gnat-srpm-macros-0:7-2.fc44.n 100% | 1.4 MiB/s | 8.7 KiB | 00m00s [ 57/187] go-srpm-macros-0:3.8.0-2.fc44 100% | 4.6 MiB/s | 28.2 KiB | 00m00s [ 58/187] java-srpm-macros-0:1-8.fc44.n 100% | 1.3 MiB/s | 8.1 KiB | 00m00s [ 59/187] kernel-srpm-macros-0:1.0-29.f 100% | 1.3 MiB/s | 8.2 KiB | 00m00s [ 60/187] lua-srpm-macros-0:1-17.fc44.n 100% | 1.4 MiB/s | 8.9 KiB | 00m00s [ 61/187] ocaml-srpm-macros-0:11-3.fc44 100% | 1.5 MiB/s | 9.3 KiB | 00m00s [ 62/187] openblas-srpm-macros-0:2-21.f 100% | 1.3 MiB/s | 7.8 KiB | 00m00s [ 63/187] package-notes-srpm-macros-0:0 100% | 1.6 MiB/s | 9.7 KiB | 00m00s [ 64/187] perl-srpm-macros-0:1-61.fc44. 100% | 1.4 MiB/s | 8.4 KiB | 00m00s [ 65/187] pyproject-srpm-macros-0:1.19. 100% | 2.2 MiB/s | 13.3 KiB | 00m00s [ 66/187] python-srpm-macros-0:3.14-12. 100% | 3.9 MiB/s | 24.1 KiB | 00m00s [ 67/187] qt5-srpm-macros-0:5.15.18-2.f 100% | 1.4 MiB/s | 8.7 KiB | 00m00s [ 68/187] qt6-srpm-macros-0:6.10.3-1.fc 100% | 1.5 MiB/s | 9.2 KiB | 00m00s [ 69/187] rpm-0:6.0.1-5.fc45.aarch64 100% | 70.5 MiB/s | 577.9 KiB | 00m00s [ 70/187] rust-srpm-macros-0:28.4-3.fc4 100% | 1.8 MiB/s | 11.1 KiB | 00m00s [ 71/187] tree-sitter-srpm-macros-0:0.4 100% | 2.2 MiB/s | 13.5 KiB | 00m00s [ 72/187] zig-srpm-macros-0:1-8.fc44.no 100% | 1.4 MiB/s | 8.8 KiB | 00m00s [ 73/187] zip-0:3.0-45.fc44.aarch64 100% | 37.1 MiB/s | 265.6 KiB | 00m00s [ 74/187] binutils-0:2.46.50-7.fc45.aar 100% | 257.8 MiB/s | 6.4 MiB | 00m00s [ 75/187] debugedit-0:5.3-2.fc45.aarch6 100% | 4.3 MiB/s | 87.4 KiB | 00m00s [ 76/187] elfutils-0:0.194-5.fc45.aarch 100% | 26.3 MiB/s | 538.0 KiB | 00m00s [ 77/187] elfutils-libelf-0:0.194-5.fc4 100% | 28.2 MiB/s | 202.0 KiB | 00m00s [ 78/187] libarchive-0:3.8.6-1.fc45.aar 100% | 50.8 MiB/s | 416.4 KiB | 00m00s [ 79/187] libgcc-0:16.0.1-0.10.fc45.aar 100% | 15.0 MiB/s | 107.9 KiB | 00m00s [ 80/187] libstdc++-0:16.0.1-0.10.fc45. 100% | 103.7 MiB/s | 849.6 KiB | 00m00s [ 81/187] pkgconf-pkg-config-0:2.5.1-1. 100% | 1.3 MiB/s | 9.4 KiB | 00m00s [ 82/187] popt-0:1.19-10.fc44.aarch64 100% | 9.1 MiB/s | 65.2 KiB | 00m00s [ 83/187] rpm-build-libs-0:6.0.1-5.fc45 100% | 16.4 MiB/s | 117.3 KiB | 00m00s [ 84/187] rpm-libs-0:6.0.1-5.fc45.aarch 100% | 46.2 MiB/s | 378.2 KiB | 00m00s [ 85/187] zstd-0:1.5.7-5.fc44.aarch64 100% | 22.3 MiB/s | 183.1 KiB | 00m00s [ 86/187] audit-libs-0:4.1.4-1.fc45.aar 100% | 22.8 MiB/s | 140.3 KiB | 00m00s [ 87/187] libeconf-0:0.7.9-3.fc44.aarch 100% | 5.7 MiB/s | 35.0 KiB | 00m00s [ 88/187] libsemanage-0:3.10-1.fc44.aar 100% | 19.4 MiB/s | 119.1 KiB | 00m00s [ 89/187] libxcrypt-0:4.5.2-3.fc44.aarc 100% | 20.4 MiB/s | 125.1 KiB | 00m00s [ 90/187] pam-libs-0:1.7.2-1.fc44.aarch 100% | 9.2 MiB/s | 56.8 KiB | 00m00s [ 91/187] setup-0:2.15.0-29.fc45.noarch 100% | 25.6 MiB/s | 157.3 KiB | 00m00s [ 92/187] libblkid-0:2.42-7.fc45.aarch6 100% | 20.4 MiB/s | 125.4 KiB | 00m00s [ 93/187] libcap-ng-0:0.9.3-1.fc45.aarc 100% | 5.6 MiB/s | 34.7 KiB | 00m00s [ 94/187] libfdisk-0:2.42-7.fc45.aarch6 100% | 25.3 MiB/s | 155.2 KiB | 00m00s [ 95/187] liblastlog2-0:2.42-7.fc45.aar 100% | 3.9 MiB/s | 23.9 KiB | 00m00s [ 96/187] libmount-0:2.42-7.fc45.aarch6 100% | 26.4 MiB/s | 162.1 KiB | 00m00s [ 97/187] libsmartcols-0:2.42-7.fc45.aa 100% | 13.7 MiB/s | 84.2 KiB | 00m00s [ 98/187] libuuid-0:2.42-7.fc45.aarch64 100% | 4.2 MiB/s | 26.0 KiB | 00m00s [ 99/187] util-linux-core-0:2.42-7.fc45 100% | 79.0 MiB/s | 566.1 KiB | 00m00s [100/187] zlib-ng-compat-0:2.3.3-5.fc45 100% | 10.1 MiB/s | 72.4 KiB | 00m00s [101/187] xz-libs-1:5.8.3-1.fc45.aarch6 100% | 18.1 MiB/s | 111.3 KiB | 00m00s [102/187] glibc-gconv-extra-0:2.43.9000 100% | 159.3 MiB/s | 1.8 MiB | 00m00s [103/187] ncurses-base-0:6.6-1.fc44.noa 100% | 7.8 MiB/s | 88.0 KiB | 00m00s [104/187] gnulib-l10n-0:20241231-2.fc44 100% | 21.0 MiB/s | 150.3 KiB | 00m00s [105/187] libsepol-0:3.10-1.fc44.aarch6 100% | 45.6 MiB/s | 327.1 KiB | 00m00s [106/187] ca-certificates-0:2025.2.80_v 100% | 105.1 MiB/s | 968.8 KiB | 00m00s [107/187] crypto-policies-0:20251128-3. 100% | 10.7 MiB/s | 98.3 KiB | 00m00s [108/187] fedora-gpg-keys-0:45-0.1.noar 100% | 23.0 MiB/s | 141.3 KiB | 00m00s [109/187] fedora-repos-rawhide-0:45-0.1 100% | 1.4 MiB/s | 8.8 KiB | 00m00s [110/187] redhat-systemd-presets-common 100% | 2.1 MiB/s | 12.9 KiB | 00m00s [111/187] pcre2-syntax-0:10.47-1.fc44.1 100% | 26.8 MiB/s | 164.7 KiB | 00m00s [112/187] add-determinism-0:0.7.3-2.fc4 100% | 97.8 MiB/s | 800.8 KiB | 00m00s [113/187] linkdupes-0:0.7.3-2.fc45.aarc 100% | 35.6 MiB/s | 328.2 KiB | 00m00s [114/187] file-libs-0:5.47-1.fc45.aarch 100% | 105.7 MiB/s | 866.0 KiB | 00m00s [115/187] curl-0:8.20.0~rc1-1.fc45.aarc 100% | 32.9 MiB/s | 235.9 KiB | 00m00s [116/187] alternatives-0:1.33-5.fc44.aa 100% | 6.6 MiB/s | 40.4 KiB | 00m00s [117/187] elfutils-debuginfod-client-0: 100% | 7.4 MiB/s | 45.7 KiB | 00m00s [118/187] jansson-0:2.14-4.fc44.aarch64 100% | 7.6 MiB/s | 46.5 KiB | 00m00s [119/187] libzstd-0:1.5.7-5.fc44.aarch6 100% | 45.9 MiB/s | 329.2 KiB | 00m00s [120/187] elfutils-libs-0:0.194-5.fc45. 100% | 36.7 MiB/s | 262.9 KiB | 00m00s [121/187] libxml2-0:2.12.10-6.fc44.aarc 100% | 83.2 MiB/s | 682.0 KiB | 00m00s [122/187] lz4-libs-0:1.10.0-4.fc44.aarc 100% | 10.7 MiB/s | 76.6 KiB | 00m00s [123/187] pkgconf-0:2.5.1-1.fc45.aarch6 100% | 7.8 MiB/s | 48.1 KiB | 00m00s [124/187] pkgconf-m4-0:2.5.1-1.fc45.noa 100% | 2.2 MiB/s | 13.8 KiB | 00m00s [125/187] libgomp-0:16.0.1-0.10.fc45.aa 100% | 51.6 MiB/s | 370.1 KiB | 00m00s [126/187] lua-libs-0:5.5.0-1.fc45.aarch 100% | 19.2 MiB/s | 137.3 KiB | 00m00s [127/187] rpm-sign-libs-0:6.0.1-5.fc45. 100% | 4.4 MiB/s | 27.0 KiB | 00m00s [128/187] rpm-sequoia-0:1.10.1-1.fc45.a 100% | 104.8 MiB/s | 858.7 KiB | 00m00s [129/187] sqlite-libs-0:3.52.0-1.fc45.a 100% | 92.4 MiB/s | 756.5 KiB | 00m00s [130/187] libffi-0:3.5.2-2.fc44.aarch64 100% | 6.4 MiB/s | 39.6 KiB | 00m00s [131/187] p11-kit-0:0.26.2-1.fc45.aarch 100% | 73.7 MiB/s | 528.4 KiB | 00m00s [132/187] p11-kit-trust-0:0.26.2-1.fc45 100% | 22.8 MiB/s | 140.0 KiB | 00m00s [133/187] json-c-0:0.18-8.fc44.aarch64 100% | 7.3 MiB/s | 44.9 KiB | 00m00s [134/187] elfutils-default-yama-scope-0 100% | 1.9 MiB/s | 11.9 KiB | 00m00s [135/187] libpkgconf-0:2.5.1-1.fc45.aar 100% | 6.6 MiB/s | 40.6 KiB | 00m00s [136/187] gnupg2-0:2.4.9-5.fc44.aarch64 100% | 161.2 MiB/s | 1.6 MiB | 00m00s [137/187] ima-evm-utils-libs-0:1.6.2-10 100% | 4.8 MiB/s | 29.8 KiB | 00m00s [138/187] libfsverity-0:1.7-1.fc45.aarc 100% | 3.0 MiB/s | 18.5 KiB | 00m00s [139/187] libtasn1-0:4.21.0-1.fc45.aarc 100% | 11.9 MiB/s | 73.4 KiB | 00m00s [140/187] gpgverify-0:2.2-4.fc44.noarch 100% | 1.8 MiB/s | 11.2 KiB | 00m00s [141/187] gnupg2-dirmngr-0:2.4.9-5.fc44 100% | 36.8 MiB/s | 264.1 KiB | 00m00s [142/187] gnupg2-gpg-agent-0:2.4.9-5.fc 100% | 37.1 MiB/s | 265.9 KiB | 00m00s [143/187] gnupg2-gpgconf-0:2.4.9-5.fc44 100% | 15.9 MiB/s | 113.8 KiB | 00m00s [144/187] gnupg2-keyboxd-0:2.4.9-5.fc44 100% | 14.9 MiB/s | 91.4 KiB | 00m00s [145/187] gnupg2-verify-0:2.4.9-5.fc44. 100% | 22.8 MiB/s | 163.4 KiB | 00m00s [146/187] libassuan-0:2.5.7-5.fc44.aarc 100% | 9.3 MiB/s | 66.9 KiB | 00m00s [147/187] libgcrypt-0:1.12.1-1.fc45.aar 100% | 65.3 MiB/s | 535.3 KiB | 00m00s [148/187] libgpg-error-0:1.59-1.fc45.aa 100% | 34.4 MiB/s | 246.9 KiB | 00m00s [149/187] npth-0:1.8-4.fc44.aarch64 100% | 3.5 MiB/s | 25.0 KiB | 00m00s [150/187] tpm2-tss-0:4.1.3-9.fc44.aarch 100% | 56.0 MiB/s | 401.2 KiB | 00m00s [151/187] gnutls-0:3.8.12-1.fc45.aarch6 100% | 128.2 MiB/s | 1.3 MiB | 00m00s [152/187] libksba-0:1.6.8-1.fc45.aarch6 100% | 15.5 MiB/s | 158.9 KiB | 00m00s [153/187] openldap-0:2.6.13-1.fc45.aarc 100% | 30.8 MiB/s | 252.5 KiB | 00m00s [154/187] libusb1-0:1.0.29-5.fc44.aarch 100% | 9.5 MiB/s | 78.0 KiB | 00m00s [155/187] libidn2-0:2.3.8-3.fc44.aarch6 100% | 21.3 MiB/s | 174.6 KiB | 00m00s [156/187] libunistring-0:1.1-11.fc44.aa 100% | 58.4 MiB/s | 538.3 KiB | 00m00s [157/187] nettle-0:3.10.1-3.fc44.aarch6 100% | 59.4 MiB/s | 425.5 KiB | 00m00s [158/187] cyrus-sasl-lib-0:2.1.28-35.fc 100% | 83.9 MiB/s | 772.9 KiB | 00m00s [159/187] libevent-0:2.1.12-17.fc44.aar 100% | 33.0 MiB/s | 270.5 KiB | 00m00s [160/187] libtool-ltdl-0:2.5.4-10.fc44. 100% | 5.8 MiB/s | 35.6 KiB | 00m00s [161/187] gdbm-libs-1:1.23-11.fc44.aarc 100% | 9.2 MiB/s | 56.3 KiB | 00m00s [162/187] fedora-release-0:45-0.5.noarc 100% | 2.0 MiB/s | 12.6 KiB | 00m00s [163/187] systemd-standalone-sysusers-0 100% | 46.6 MiB/s | 333.8 KiB | 00m00s [164/187] xxhash-libs-0:0.8.3-4.fc44.aa 100% | 2.6 MiB/s | 34.5 KiB | 00m00s [165/187] fedora-release-identity-basic 100% | 1.4 MiB/s | 13.4 KiB | 00m00s [166/187] gdb-minimal-0:17.1-5.fc45.aar 100% | 228.2 MiB/s | 4.3 MiB | 00m00s [167/187] libcurl-0:8.20.0~rc1-1.fc45.a 100% | 60.4 MiB/s | 432.9 KiB | 00m00s [168/187] krb5-libs-0:1.22.2-4.fc45.aar 100% | 82.8 MiB/s | 763.5 KiB | 00m00s [169/187] libbrotli-0:1.2.0-3.fc44.aarc 100% | 48.6 MiB/s | 348.7 KiB | 00m00s [170/187] libnghttp2-0:1.68.1-1.fc45.aa 100% | 12.1 MiB/s | 74.1 KiB | 00m00s [171/187] libnghttp3-0:1.15.0-1.fc44.aa 100% | 11.2 MiB/s | 68.8 KiB | 00m00s [172/187] libpsl-0:0.21.5-7.fc44.aarch6 100% | 10.6 MiB/s | 64.9 KiB | 00m00s [173/187] libssh-0:0.12.0-1.fc45.aarch6 100% | 38.3 MiB/s | 274.8 KiB | 00m00s [174/187] ngtcp2-0:1.21.0-1.fc45.aarch6 100% | 23.7 MiB/s | 145.9 KiB | 00m00s [175/187] ngtcp2-crypto-ossl-0:1.21.0-1 100% | 4.2 MiB/s | 25.8 KiB | 00m00s [176/187] keyutils-libs-0:1.6.3-7.fc44. 100% | 5.1 MiB/s | 31.5 KiB | 00m00s [177/187] libcom_err-0:1.47.4-1.fc45.aa 100% | 4.3 MiB/s | 26.7 KiB | 00m00s [178/187] libverto-0:0.3.2-12.fc44.aarc 100% | 3.3 MiB/s | 20.5 KiB | 00m00s [179/187] publicsuffix-list-dafsa-0:202 100% | 9.8 MiB/s | 60.3 KiB | 00m00s [180/187] libfido2-0:1.16.0-5.fc44.aarc 100% | 15.7 MiB/s | 96.2 KiB | 00m00s [181/187] libssh-config-0:0.12.0-1.fc45 100% | 1.5 MiB/s | 9.4 KiB | 00m00s [182/187] libcbor-0:0.13.0-2.fc44.aarch 100% | 5.6 MiB/s | 34.4 KiB | 00m00s [183/187] selinux-policy-targeted-0:43. 100% | 262.4 MiB/s | 6.8 MiB | 00m00s [184/187] policycoreutils-0:3.10-3.fc45 100% | 10.7 MiB/s | 262.8 KiB | 00m00s [185/187] selinux-policy-0:43.6-1.fc45. 100% | 3.2 MiB/s | 72.9 KiB | 00m00s [186/187] libselinux-utils-0:3.10-1.fc4 100% | 17.1 MiB/s | 122.2 KiB | 00m00s [187/187] rpm-plugin-selinux-0:6.0.1-5. 100% | 3.1 MiB/s | 19.2 KiB | 00m00s -------------------------------------------------------------------------------- [187/187] Total 100% | 111.0 MiB/s | 67.4 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/189] Verify package files 100% | 739.0 B/s | 187.0 B | 00m00s [ 2/189] Prepare transaction 100% | 2.2 KiB/s | 187.0 B | 00m00s [ 3/189] Installing libgcc-0:16.0.1-0. 100% | 109.4 MiB/s | 224.0 KiB | 00m00s [ 4/189] Installing redhat-systemd-pre 100% | 0.0 B/s | 1.5 KiB | 00m00s [ 5/189] Installing redhat-systemd-pre 100% | 0.0 B/s | 17.8 KiB | 00m00s [ 6/189] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 7/189] Installing publicsuffix-list- 100% | 69.4 MiB/s | 71.1 KiB | 00m00s [ 8/189] Installing fedora-release-ide 100% | 898.4 KiB/s | 920.0 B | 00m00s [ 9/189] Installing fedora-gpg-keys-0: 100% | 29.6 MiB/s | 182.1 KiB | 00m00s [ 10/189] Installing fedora-repos-rawhi 100% | 0.0 B/s | 2.4 KiB | 00m00s [ 11/189] Installing fedora-repos-0:45- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 12/189] Installing fedora-release-com 100% | 7.3 MiB/s | 7.4 KiB | 00m00s [ 13/189] Installing fedora-release-0:4 100% | 20.2 KiB/s | 124.0 B | 00m00s >>> Running sysusers scriptlet: setup-0:2.15.0-29.fc45.noarch >>> Finished sysusers scriptlet: setup-0:2.15.0-29.fc45.noarch >>> Scriptlet output: >>> Creating group 'adm' with GID 4. >>> Creating group 'audio' with GID 63. >>> Creating group 'cdrom' with GID 11. >>> Creating group 'clock' with GID 103. >>> Creating group 'dialout' with GID 18. >>> Creating group 'disk' with GID 6. >>> Creating group 'floppy' with GID 19. >>> Creating group 'ftp' with GID 50. >>> Creating group 'games' with GID 20. >>> Creating group 'input' with GID 104. >>> Creating group 'kmem' with GID 9. >>> Creating group 'kvm' with GID 36. >>> Creating group 'lock' with GID 54. >>> Creating group 'lp' with GID 7. >>> Creating group 'mail' with GID 12. >>> Creating group 'man' with GID 15. >>> Creating group 'mem' with GID 8. >>> Creating group 'nobody' with GID 65534. >>> Creating group 'render' with GID 105. >>> Creating group 'root' with GID 0. >>> Creating group 'sgx' with GID 106. >>> Creating group 'sys' with GID 3. >>> Creating group 'tape' with GID 33. >>> Creating group 'tty' with GID 5. >>> Creating group 'users' with GID 100. >>> Creating group 'utmp' with GID 22. >>> Creating group 'video' with GID 39. >>> Creating group 'wheel' with GID 10. >>> Creating user 'adm' (adm) with UID 3 and GID 4. >>> Creating group 'bin' with GID 1. >>> Creating user 'bin' (bin) with UID 1 and GID 1. >>> Creating group 'daemon' with GID 2. >>> Creating user 'daemon' (daemon) with UID 2 and GID 2. >>> Creating user 'ftp' (FTP User) with UID 14 and GID 50. >>> Creating user 'games' (games) with UID 12 and GID 100. >>> Creating user 'halt' (halt) with UID 7 and GID 0. >>> Creating user 'lp' (lp) with UID 4 and GID 7. >>> Creating user 'mail' (mail) with UID 8 and GID 12. >>> Creating user 'nobody' (Kernel Overflow User) with UID 65534 and GID 65534. >>> Creating user 'operator' (operator) with UID 11 and GID 0. >>> Creating user 'root' (Super User) with UID 0 and GID 0. >>> Creating user 'shutdown' (shutdown) with UID 6 and GID 0. >>> Creating user 'sync' (sync) with UID 5 and GID 0. >>> [ 14/189] Installing setup-0:2.15.0-29. 100% | 29.7 MiB/s | 730.6 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 15/189] Installing filesystem-0:3.18- 100% | 1.7 MiB/s | 289.4 KiB | 00m00s [ 16/189] Installing pkgconf-m4-0:2.5.1 100% | 14.4 MiB/s | 14.7 KiB | 00m00s [ 17/189] Installing pcre2-syntax-0:10. 100% | 138.8 MiB/s | 284.3 KiB | 00m00s [ 18/189] Installing gnulib-l10n-0:2024 100% | 129.3 MiB/s | 661.9 KiB | 00m00s [ 19/189] Installing coreutils-common-0 100% | 288.8 MiB/s | 10.7 MiB | 00m00s [ 20/189] Installing ncurses-base-0:6.6 100% | 43.4 MiB/s | 355.3 KiB | 00m00s [ 21/189] Installing bash-0:5.3.9-3.fc4 100% | 179.4 MiB/s | 8.4 MiB | 00m00s [ 22/189] Installing glibc-common-0:2.4 100% | 45.8 MiB/s | 1.3 MiB | 00m00s [ 23/189] Installing glibc-gconv-extra- 100% | 366.4 MiB/s | 18.7 MiB | 00m00s [ 24/189] Installing glibc-0:2.43.9000- 100% | 131.7 MiB/s | 6.5 MiB | 00m00s [ 25/189] Installing ncurses-libs-0:6.6 100% | 249.2 MiB/s | 1.2 MiB | 00m00s [ 26/189] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 27/189] Installing zlib-ng-compat-0:2 100% | 131.0 MiB/s | 134.1 KiB | 00m00s [ 28/189] Installing bzip2-libs-0:1.0.8 100% | 71.9 MiB/s | 73.6 KiB | 00m00s [ 29/189] Installing libgpg-error-0:1.5 100% | 36.2 MiB/s | 1.0 MiB | 00m00s [ 30/189] Installing libstdc++-0:16.0.1 100% | 315.9 MiB/s | 2.8 MiB | 00m00s [ 31/189] Installing libassuan-0:2.5.7- 100% | 212.6 MiB/s | 217.7 KiB | 00m00s [ 32/189] Installing libgcrypt-0:1.12.1 100% | 239.9 MiB/s | 1.2 MiB | 00m00s [ 33/189] Installing readline-0:8.3-4.f 100% | 276.2 MiB/s | 565.6 KiB | 00m00s [ 34/189] Installing gmp-1:6.3.0-5.fc44 100% | 214.9 MiB/s | 660.1 KiB | 00m00s [ 35/189] Installing systemd-libs-0:260 100% | 315.9 MiB/s | 2.5 MiB | 00m00s [ 36/189] Installing libuuid-0:2.42-7.f 100% | 68.7 MiB/s | 70.3 KiB | 00m00s [ 37/189] Installing xz-libs-1:5.8.3-1. 100% | 260.3 MiB/s | 266.6 KiB | 00m00s [ 38/189] Installing libzstd-0:1.5.7-5. 100% | 280.4 MiB/s | 861.5 KiB | 00m00s [ 39/189] Installing elfutils-libelf-0: 100% | 286.1 MiB/s | 1.1 MiB | 00m00s [ 40/189] Installing popt-0:1.19-10.fc4 100% | 49.2 MiB/s | 151.3 KiB | 00m00s [ 41/189] Installing npth-0:1.8-4.fc44. 100% | 92.2 MiB/s | 94.4 KiB | 00m00s [ 42/189] Installing libblkid-0:2.42-7. 100% | 284.6 MiB/s | 291.4 KiB | 00m00s [ 43/189] Installing libsepol-0:3.10-1. 100% | 264.0 MiB/s | 810.9 KiB | 00m00s [ 44/189] Installing sqlite-libs-0:3.52 100% | 261.3 MiB/s | 1.6 MiB | 00m00s [ 45/189] Installing gnupg2-gpgconf-0:2 100% | 13.7 MiB/s | 323.7 KiB | 00m00s [ 46/189] Installing libattr-0:2.5.2-8. 100% | 67.6 MiB/s | 69.3 KiB | 00m00s [ 47/189] Installing libacl-0:2.3.2-6.f 100% | 67.0 MiB/s | 68.6 KiB | 00m00s [ 48/189] Installing pcre2-0:10.47-1.fc 100% | 233.0 MiB/s | 715.7 KiB | 00m00s [ 49/189] Installing libselinux-0:3.10- 100% | 98.7 MiB/s | 202.2 KiB | 00m00s [ 50/189] Installing grep-0:3.12-3.fc44 100% | 35.8 MiB/s | 1.0 MiB | 00m00s [ 51/189] Installing sed-0:4.9-8.fc45.a 100% | 30.7 MiB/s | 881.3 KiB | 00m00s [ 52/189] Installing findutils-1:4.10.0 100% | 64.0 MiB/s | 1.9 MiB | 00m00s [ 53/189] Installing libxcrypt-0:4.5.2- 100% | 134.7 MiB/s | 275.9 KiB | 00m00s [ 54/189] Installing libtasn1-0:4.21.0- 100% | 217.3 MiB/s | 222.5 KiB | 00m00s [ 55/189] Installing libunistring-0:1.1 100% | 291.0 MiB/s | 1.7 MiB | 00m00s [ 56/189] Installing libidn2-0:2.3.8-3. 100% | 61.5 MiB/s | 566.6 KiB | 00m00s [ 57/189] Installing crypto-policies-0: 100% | 19.2 MiB/s | 157.7 KiB | 00m00s [ 58/189] Installing xz-1:5.8.3-1.fc45. 100% | 46.4 MiB/s | 1.5 MiB | 00m00s [ 59/189] Installing libmount-0:2.42-7. 100% | 205.7 MiB/s | 421.3 KiB | 00m00s [ 60/189] Installing gnupg2-verify-0:2. 100% | 14.9 MiB/s | 365.7 KiB | 00m00s [ 61/189] Installing dwz-0:0.16-3.fc44. 100% | 13.7 MiB/s | 323.8 KiB | 00m00s [ 62/189] Installing mpfr-0:4.2.2-3.fc4 100% | 184.8 MiB/s | 757.1 KiB | 00m00s [ 63/189] Installing gawk-0:5.4.0-2.fc4 100% | 91.0 MiB/s | 2.9 MiB | 00m00s [ 64/189] Installing libksba-0:1.6.8-1. 100% | 197.4 MiB/s | 404.3 KiB | 00m00s [ 65/189] Installing unzip-0:6.0-69.fc4 100% | 21.9 MiB/s | 537.3 KiB | 00m00s [ 66/189] Installing file-libs-0:5.47-1 100% | 610.3 MiB/s | 12.2 MiB | 00m00s [ 67/189] Installing file-0:5.47-1.fc45 100% | 6.1 MiB/s | 142.7 KiB | 00m00s [ 68/189] Installing diffutils-0:3.12-5 100% | 54.1 MiB/s | 1.6 MiB | 00m00s [ 69/189] Installing libeconf-0:0.7.9-3 100% | 80.5 MiB/s | 82.5 KiB | 00m00s [ 70/189] Installing libcap-ng-0:0.9.3- 100% | 159.0 MiB/s | 162.8 KiB | 00m00s [ 71/189] Installing audit-libs-0:4.1.4 100% | 238.9 MiB/s | 489.2 KiB | 00m00s [ 72/189] Installing pam-libs-0:1.7.2-1 100% | 109.8 MiB/s | 225.0 KiB | 00m00s [ 73/189] Installing libcap-0:2.78-1.fc 100% | 20.1 MiB/s | 513.5 KiB | 00m00s [ 74/189] Installing libsemanage-0:3.10 100% | 176.6 MiB/s | 361.7 KiB | 00m00s [ 75/189] Installing libsmartcols-0:2.4 100% | 220.2 MiB/s | 225.5 KiB | 00m00s [ 76/189] Installing alternatives-0:1.3 100% | 4.1 MiB/s | 91.6 KiB | 00m00s [ 77/189] Installing lua-libs-0:5.5.0-1 100% | 161.8 MiB/s | 331.4 KiB | 00m00s [ 78/189] Installing libffi-0:3.5.2-2.f 100% | 153.4 MiB/s | 157.1 KiB | 00m00s [ 79/189] Installing p11-kit-0:0.26.2-1 100% | 78.9 MiB/s | 2.8 MiB | 00m00s [ 80/189] Installing p11-kit-trust-0:0. 100% | 18.5 MiB/s | 531.8 KiB | 00m00s [ 81/189] Installing json-c-0:0.18-8.fc 100% | 136.5 MiB/s | 139.7 KiB | 00m00s [ 82/189] Installing ngtcp2-0:1.21.0-1. 100% | 167.3 MiB/s | 342.7 KiB | 00m00s [ 83/189] Installing openssl-libs-1:3.5 100% | 322.7 MiB/s | 7.4 MiB | 00m00s [ 84/189] Installing coreutils-0:9.10-3 100% | 161.0 MiB/s | 8.2 MiB | 00m00s [ 85/189] Installing ca-certificates-0: 100% | 1.4 MiB/s | 2.5 MiB | 00m02s [ 86/189] Installing gzip-0:1.14-2.fc44 100% | 16.6 MiB/s | 443.0 KiB | 00m00s [ 87/189] Installing rpm-sequoia-0:1.10 100% | 279.1 MiB/s | 2.2 MiB | 00m00s [ 88/189] Installing libfsverity-0:1.7- 100% | 67.6 MiB/s | 69.3 KiB | 00m00s [ 89/189] Installing libevent-0:2.1.12- 100% | 271.2 MiB/s | 1.1 MiB | 00m00s [ 90/189] Installing systemd-standalone 100% | 33.1 MiB/s | 848.5 KiB | 00m00s [ 91/189] Installing rpm-libs-0:6.0.1-5 100% | 243.3 MiB/s | 996.4 KiB | 00m00s [ 92/189] Installing ngtcp2-crypto-ossl 100% | 66.8 MiB/s | 68.4 KiB | 00m00s [ 93/189] Installing util-linux-core-0: 100% | 76.8 MiB/s | 2.5 MiB | 00m00s [ 94/189] Installing liblastlog2-0:2.42 100% | 27.3 MiB/s | 139.9 KiB | 00m00s [ 95/189] Installing zip-0:3.0-45.fc44. 100% | 28.8 MiB/s | 765.8 KiB | 00m00s [ 96/189] Installing gnupg2-keyboxd-0:2 100% | 45.8 MiB/s | 234.5 KiB | 00m00s [ 97/189] Installing libpsl-0:0.21.5-7. 100% | 130.3 MiB/s | 133.4 KiB | 00m00s [ 98/189] Installing tar-2:1.35-8.fc44. 100% | 88.4 MiB/s | 3.0 MiB | 00m00s [ 99/189] Installing linkdupes-0:0.7.3- 100% | 27.9 MiB/s | 715.1 KiB | 00m00s [100/189] Installing libselinux-utils-0 100% | 50.2 MiB/s | 1.4 MiB | 00m00s [101/189] Installing libfdisk-0:2.42-7. 100% | 136.7 MiB/s | 419.9 KiB | 00m00s [102/189] Installing util-linux-0:2.42- 100% | 123.0 MiB/s | 7.0 MiB | 00m00s [103/189] Installing policycoreutils-0: 100% | 37.3 MiB/s | 1.5 MiB | 00m00s [104/189] Installing selinux-policy-0:4 100% | 1.8 MiB/s | 33.6 KiB | 00m00s [105/189] Installing selinux-policy-tar 100% | 128.4 MiB/s | 14.9 MiB | 00m00s [106/189] Installing zstd-0:1.5.7-5.fc4 100% | 21.3 MiB/s | 565.8 KiB | 00m00s [107/189] Installing libxml2-0:2.12.10- 100% | 65.2 MiB/s | 1.9 MiB | 00m00s [108/189] Installing libusb1-0:1.0.29-5 100% | 22.0 MiB/s | 180.5 KiB | 00m00s >>> Running sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.aarch64 >>> Finished sysusers scriptlet: tpm2-tss-0:4.1.3-9.fc44.aarch64 >>> Scriptlet output: >>> Creating group 'tss' with GID 59. >>> Creating user 'tss' (Account used for TPM access) with UID 59 and GID 59. >>> [109/189] Installing tpm2-tss-0:4.1.3-9 100% | 239.7 MiB/s | 2.2 MiB | 00m00s [110/189] Installing ima-evm-utils-libs 100% | 91.7 MiB/s | 93.9 KiB | 00m00s [111/189] Installing gnupg2-gpg-agent-0 100% | 26.8 MiB/s | 850.6 KiB | 00m00s [112/189] Installing nettle-0:3.10.1-3. 100% | 187.5 MiB/s | 768.2 KiB | 00m00s [113/189] Installing gnutls-0:3.8.12-1. 100% | 303.0 MiB/s | 3.6 MiB | 00m00s [114/189] Installing bzip2-0:1.0.8-23.f 100% | 6.9 MiB/s | 175.6 KiB | 00m00s [115/189] Installing add-determinism-0: 100% | 68.0 MiB/s | 2.0 MiB | 00m00s [116/189] Installing build-reproducibil 100% | 1.5 MiB/s | 1.5 KiB | 00m00s [117/189] Installing cpio-0:2.15-9.fc44 100% | 39.1 MiB/s | 1.1 MiB | 00m00s [118/189] Installing ed-0:1.22.5-2.fc45 100% | 6.5 MiB/s | 159.9 KiB | 00m00s [119/189] Installing patch-0:2.8-4.fc44 100% | 10.7 MiB/s | 263.9 KiB | 00m00s [120/189] Installing jansson-0:2.14-4.f 100% | 92.2 MiB/s | 94.4 KiB | 00m00s [121/189] Installing lz4-libs-0:1.10.0- 100% | 193.7 MiB/s | 198.4 KiB | 00m00s [122/189] Installing libarchive-0:3.8.6 100% | 238.6 MiB/s | 977.2 KiB | 00m00s [123/189] Installing libgomp-0:16.0.1-0 100% | 290.0 MiB/s | 594.0 KiB | 00m00s [124/189] Installing libpkgconf-0:2.5.1 100% | 131.9 MiB/s | 135.1 KiB | 00m00s [125/189] Installing pkgconf-0:2.5.1-1. 100% | 4.8 MiB/s | 119.2 KiB | 00m00s [126/189] Installing pkgconf-pkg-config 100% | 77.1 KiB/s | 1.8 KiB | 00m00s [127/189] Installing libtool-ltdl-0:2.5 100% | 92.8 MiB/s | 95.0 KiB | 00m00s [128/189] Installing gdbm-libs-1:1.23-1 100% | 229.9 MiB/s | 235.4 KiB | 00m00s [129/189] Installing cyrus-sasl-lib-0:2 100% | 80.5 MiB/s | 2.4 MiB | 00m00s [130/189] Installing openldap-0:2.6.13- 100% | 187.5 MiB/s | 768.0 KiB | 00m00s [131/189] Installing gnupg2-dirmngr-0:2 100% | 21.1 MiB/s | 648.7 KiB | 00m00s [132/189] Installing gnupg2-0:2.4.9-5.f 100% | 143.5 MiB/s | 6.5 MiB | 00m00s [133/189] Installing rpm-sign-libs-0:6. 100% | 66.8 MiB/s | 68.4 KiB | 00m00s [134/189] Installing gpgverify-0:2.2-4. 100% | 9.2 MiB/s | 9.4 KiB | 00m00s [135/189] Installing xxhash-libs-0:0.8. 100% | 85.1 MiB/s | 87.2 KiB | 00m00s [136/189] Installing libbrotli-0:1.2.0- 100% | 222.5 MiB/s | 911.3 KiB | 00m00s [137/189] Installing libnghttp2-0:1.68. 100% | 194.4 MiB/s | 199.0 KiB | 00m00s [138/189] Installing libnghttp3-0:1.15. 100% | 203.1 MiB/s | 208.0 KiB | 00m00s [139/189] Installing keyutils-libs-0:1. 100% | 97.3 MiB/s | 99.6 KiB | 00m00s [140/189] Installing libcom_err-0:1.47. 100% | 109.6 MiB/s | 112.2 KiB | 00m00s [141/189] Installing libverto-0:0.3.2-1 100% | 69.4 MiB/s | 71.1 KiB | 00m00s [142/189] Installing krb5-libs-0:1.22.2 100% | 253.4 MiB/s | 2.5 MiB | 00m00s [143/189] Installing libcbor-0:0.13.0-2 100% | 137.6 MiB/s | 140.9 KiB | 00m00s [144/189] Installing libfido2-0:1.16.0- 100% | 136.8 MiB/s | 280.1 KiB | 00m00s [145/189] Installing libssh-0:0.12.0-1. 100% | 234.7 MiB/s | 721.0 KiB | 00m00s [146/189] Installing libcurl-0:8.20.0~r 100% | 239.9 MiB/s | 982.5 KiB | 00m00s [147/189] Installing curl-0:8.20.0~rc1- 100% | 14.2 MiB/s | 465.5 KiB | 00m00s [148/189] Installing rpm-0:6.0.1-5.fc45 100% | 54.8 MiB/s | 2.8 MiB | 00m00s [149/189] Installing cmake-srpm-macros- 100% | 785.2 KiB/s | 804.0 B | 00m00s [150/189] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.2 KiB | 00m00s [151/189] Installing java-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [152/189] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [153/189] Installing tree-sitter-srpm-m 100% | 9.1 MiB/s | 9.3 KiB | 00m00s [154/189] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [155/189] Installing filesystem-srpm-ma 100% | 38.0 MiB/s | 38.9 KiB | 00m00s [156/189] Installing elfutils-default-y 100% | 510.7 KiB/s | 2.0 KiB | 00m00s [157/189] Installing elfutils-libs-0:0. 100% | 182.6 MiB/s | 748.1 KiB | 00m00s [158/189] Installing elfutils-debuginfo 100% | 5.7 MiB/s | 145.9 KiB | 00m00s [159/189] Installing binutils-0:2.46.50 100% | 281.2 MiB/s | 31.5 MiB | 00m00s [160/189] Installing elfutils-0:0.194-5 100% | 98.9 MiB/s | 3.3 MiB | 00m00s [161/189] Installing gdb-minimal-0:17.1 100% | 218.3 MiB/s | 13.5 MiB | 00m00s [162/189] Installing debugedit-0:5.3-2. 100% | 13.2 MiB/s | 324.2 KiB | 00m00s [163/189] Installing rpm-build-libs-0:6 100% | 129.3 MiB/s | 264.8 KiB | 00m00s [164/189] Installing rust-srpm-macros-0 100% | 6.2 MiB/s | 6.4 KiB | 00m00s [165/189] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 748.0 B | 00m00s [166/189] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [167/189] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [168/189] Installing package-notes-srpm 100% | 0.0 B/s | 2.1 KiB | 00m00s [169/189] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [170/189] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.1 KiB | 00m00s [171/189] Installing kernel-srpm-macros 100% | 388.0 KiB/s | 2.3 KiB | 00m00s [172/189] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [173/189] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [174/189] Installing gap-srpm-macros-0: 100% | 0.0 B/s | 2.7 KiB | 00m00s [175/189] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [176/189] Installing ansible-srpm-macro 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [177/189] Installing redhat-rpm-config- 100% | 61.8 MiB/s | 189.9 KiB | 00m00s [178/189] Installing forge-srpm-macros- 100% | 39.3 MiB/s | 40.3 KiB | 00m00s [179/189] Installing rpm-build-0:6.0.1- 100% | 22.8 MiB/s | 606.9 KiB | 00m00s [180/189] Installing erlang-srpm-macros 100% | 0.0 B/s | 2.5 KiB | 00m00s [181/189] Installing pyproject-srpm-mac 100% | 0.0 B/s | 2.5 KiB | 00m00s [182/189] Installing fonts-srpm-macros- 100% | 55.7 MiB/s | 57.0 KiB | 00m00s [183/189] Installing go-srpm-macros-0:3 100% | 61.6 MiB/s | 63.0 KiB | 00m00s [184/189] Installing R-srpm-macros-0:1. 100% | 4.3 MiB/s | 4.4 KiB | 00m00s [185/189] Installing python-srpm-macros 100% | 51.7 MiB/s | 52.9 KiB | 00m00s [186/189] Installing rpm-plugin-selinux 100% | 67.2 MiB/s | 68.8 KiB | 00m00s [187/189] Installing which-0:2.23-4.fc4 100% | 5.1 MiB/s | 125.5 KiB | 00m00s [188/189] Installing shadow-utils-2:4.1 100% | 89.8 MiB/s | 4.5 MiB | 00m00s [189/189] Installing info-0:7.3-1.fc45. 100% | 50.7 KiB/s | 424.7 KiB | 00m08s 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.aarch64 alternatives-1.33-5.fc44.aarch64 ansible-srpm-macros-1-20.1.fc44.noarch audit-libs-4.1.4-1.fc45.aarch64 bash-5.3.9-3.fc44.aarch64 binutils-2.46.50-7.fc45.aarch64 build-reproducibility-srpm-macros-0.7.3-2.fc45.noarch bzip2-1.0.8-23.fc44.aarch64 bzip2-libs-1.0.8-23.fc44.aarch64 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.aarch64 coreutils-common-9.10-3.fc45.aarch64 cpio-2.15-9.fc44.aarch64 crypto-policies-20251128-3.git19878fe.fc44.noarch curl-8.20.0~rc1-1.fc45.aarch64 cyrus-sasl-lib-2.1.28-35.fc44.aarch64 debugedit-5.3-2.fc45.aarch64 diffutils-3.12-5.fc44.aarch64 dwz-0.16-3.fc44.aarch64 ed-1.22.5-2.fc45.aarch64 efi-srpm-macros-6-6.fc44.noarch elfutils-0.194-5.fc45.aarch64 elfutils-debuginfod-client-0.194-5.fc45.aarch64 elfutils-default-yama-scope-0.194-5.fc45.noarch elfutils-libelf-0.194-5.fc45.aarch64 elfutils-libs-0.194-5.fc45.aarch64 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.aarch64 file-libs-5.47-1.fc45.aarch64 filesystem-3.18-56.fc45.aarch64 filesystem-srpm-macros-3.18-56.fc45.noarch findutils-4.10.0-7.fc44.aarch64 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.aarch64 gdb-minimal-17.1-5.fc45.aarch64 gdbm-libs-1.23-11.fc44.aarch64 ghc-srpm-macros-1.10-1.fc44.noarch glibc-2.43.9000-8.fc45.aarch64 glibc-common-2.43.9000-8.fc45.aarch64 glibc-gconv-extra-2.43.9000-8.fc45.aarch64 glibc-minimal-langpack-2.43.9000-8.fc45.aarch64 gmp-6.3.0-5.fc44.aarch64 gnat-srpm-macros-7-2.fc44.noarch gnulib-l10n-20241231-2.fc44.noarch gnupg2-2.4.9-5.fc44.aarch64 gnupg2-dirmngr-2.4.9-5.fc44.aarch64 gnupg2-gpg-agent-2.4.9-5.fc44.aarch64 gnupg2-gpgconf-2.4.9-5.fc44.aarch64 gnupg2-keyboxd-2.4.9-5.fc44.aarch64 gnupg2-verify-2.4.9-5.fc44.aarch64 gnutls-3.8.12-1.fc45.aarch64 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.aarch64 gzip-1.14-2.fc44.aarch64 ima-evm-utils-libs-1.6.2-10.fc45.aarch64 info-7.3-1.fc45.aarch64 jansson-2.14-4.fc44.aarch64 java-srpm-macros-1-8.fc44.noarch json-c-0.18-8.fc44.aarch64 kernel-srpm-macros-1.0-29.fc45.noarch keyutils-libs-1.6.3-7.fc44.aarch64 krb5-libs-1.22.2-4.fc45.aarch64 libacl-2.3.2-6.fc44.aarch64 libarchive-3.8.6-1.fc45.aarch64 libassuan-2.5.7-5.fc44.aarch64 libattr-2.5.2-8.fc44.aarch64 libblkid-2.42-7.fc45.aarch64 libbrotli-1.2.0-3.fc44.aarch64 libcap-2.78-1.fc45.aarch64 libcap-ng-0.9.3-1.fc45.aarch64 libcbor-0.13.0-2.fc44.aarch64 libcom_err-1.47.4-1.fc45.aarch64 libcurl-8.20.0~rc1-1.fc45.aarch64 libeconf-0.7.9-3.fc44.aarch64 libevent-2.1.12-17.fc44.aarch64 libfdisk-2.42-7.fc45.aarch64 libffi-3.5.2-2.fc44.aarch64 libfido2-1.16.0-5.fc44.aarch64 libfsverity-1.7-1.fc45.aarch64 libgcc-16.0.1-0.10.fc45.aarch64 libgcrypt-1.12.1-1.fc45.aarch64 libgomp-16.0.1-0.10.fc45.aarch64 libgpg-error-1.59-1.fc45.aarch64 libidn2-2.3.8-3.fc44.aarch64 libksba-1.6.8-1.fc45.aarch64 liblastlog2-2.42-7.fc45.aarch64 libmount-2.42-7.fc45.aarch64 libnghttp2-1.68.1-1.fc45.aarch64 libnghttp3-1.15.0-1.fc44.aarch64 libpkgconf-2.5.1-1.fc45.aarch64 libpsl-0.21.5-7.fc44.aarch64 libselinux-3.10-1.fc44.aarch64 libselinux-utils-3.10-1.fc44.aarch64 libsemanage-3.10-1.fc44.aarch64 libsepol-3.10-1.fc44.aarch64 libsmartcols-2.42-7.fc45.aarch64 libssh-0.12.0-1.fc45.aarch64 libssh-config-0.12.0-1.fc45.noarch libstdc++-16.0.1-0.10.fc45.aarch64 libtasn1-4.21.0-1.fc45.aarch64 libtool-ltdl-2.5.4-10.fc44.aarch64 libunistring-1.1-11.fc44.aarch64 libusb1-1.0.29-5.fc44.aarch64 libuuid-2.42-7.fc45.aarch64 libverto-0.3.2-12.fc44.aarch64 libxcrypt-4.5.2-3.fc44.aarch64 libxml2-2.12.10-6.fc44.aarch64 libzstd-1.5.7-5.fc44.aarch64 linkdupes-0.7.3-2.fc45.aarch64 lua-libs-5.5.0-1.fc45.aarch64 lua-srpm-macros-1-17.fc44.noarch lz4-libs-1.10.0-4.fc44.aarch64 mpfr-4.2.2-3.fc44.aarch64 ncurses-base-6.6-1.fc44.noarch ncurses-libs-6.6-1.fc44.aarch64 nettle-3.10.1-3.fc44.aarch64 ngtcp2-1.21.0-1.fc45.aarch64 ngtcp2-crypto-ossl-1.21.0-1.fc45.aarch64 npth-1.8-4.fc44.aarch64 ocaml-srpm-macros-11-3.fc44.noarch openblas-srpm-macros-2-21.fc44.noarch openldap-2.6.13-1.fc45.aarch64 openssl-libs-3.5.5-1.fc44.aarch64 p11-kit-0.26.2-1.fc45.aarch64 p11-kit-trust-0.26.2-1.fc45.aarch64 package-notes-srpm-macros-0.17-3.fc45.noarch pam-libs-1.7.2-1.fc44.aarch64 patch-2.8-4.fc44.aarch64 pcre2-10.47-1.fc44.1.aarch64 pcre2-syntax-10.47-1.fc44.1.noarch perl-srpm-macros-1-61.fc44.noarch pkgconf-2.5.1-1.fc45.aarch64 pkgconf-m4-2.5.1-1.fc45.noarch pkgconf-pkg-config-2.5.1-1.fc45.aarch64 policycoreutils-3.10-3.fc45.aarch64 popt-1.19-10.fc44.aarch64 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.aarch64 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.aarch64 rpm-build-6.0.1-5.fc45.aarch64 rpm-build-libs-6.0.1-5.fc45.aarch64 rpm-libs-6.0.1-5.fc45.aarch64 rpm-plugin-selinux-6.0.1-5.fc45.aarch64 rpm-sequoia-1.10.1-1.fc45.aarch64 rpm-sign-libs-6.0.1-5.fc45.aarch64 rust-srpm-macros-28.4-3.fc44.noarch sed-4.9-8.fc45.aarch64 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.aarch64 sqlite-libs-3.52.0-1.fc45.aarch64 systemd-libs-260.1-2.fc45.aarch64 systemd-standalone-sysusers-260.1-2.fc45.aarch64 tar-1.35-8.fc44.aarch64 tpm2-tss-4.1.3-9.fc44.aarch64 tree-sitter-srpm-macros-0.4.2-2.fc44.noarch unzip-6.0-69.fc44.aarch64 util-linux-2.42-7.fc45.aarch64 util-linux-core-2.42-7.fc45.aarch64 which-2.23-4.fc44.aarch64 xxhash-libs-0.8.3-4.fc44.aarch64 xz-5.8.3-1.fc45.aarch64 xz-libs-5.8.3-1.fc45.aarch64 zig-srpm-macros-1-8.fc44.noarch zip-3.0-45.fc44.aarch64 zlib-ng-compat-2.3.3-5.fc45.aarch64 zstd-1.5.7-5.fc44.aarch64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: aarch64 Building for target aarch64 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-aarch64-1775862948.024412/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-626p2arv/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 27 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-aarch64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1775862948.024412/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-aarch64-bootstrap-1775862948.024412/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-aarch64-1775862948.024412/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.aarch64 rpm-sequoia-1.10.1-1.fc45.aarch64 dnf5-5.4.0.0-6.fc45.aarch64 dnf5-plugins-5.4.0.0-6.fc45.aarch64 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: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1775779200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm Updating and loading repositories: fedora 100% | 11.0 KiB/s | 10.3 KiB | 00m01s Copr repository 100% | 1.7 KiB/s | 1.5 KiB | 00m01s Repositories loaded. Package Arch Version Repository Size Installing: autoconf noarch 0:2.72-10.fc44 fedora 2.8 MiB coq-core-compat aarch64 0:9.2.0-1.fc45 copr_base 41.1 MiB flocq aarch64 0:4.2.2-2.fc45 copr_base 16.7 MiB gappa aarch64 0:1.7.0-1.fc45 fedora 737.8 KiB gcc-c++ aarch64 0:16.0.1-0.10.fc45 fedora 44.7 MiB ocaml aarch64 0:5.4.1-4.fc45 fedora 178.5 MiB ocaml-findlib aarch64 0:1.9.8-8.fc45 fedora 3.8 MiB ocaml-zarith-devel aarch64 0:1.14-12.fc45 fedora 1.2 MiB remake aarch64 0:0.16-5.fc44 fedora 147.7 KiB rocq aarch64 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 aarch64 0:13.07-1.fc45 fedora 709.0 KiB cmake-filesystem aarch64 0:4.3.0-1.fc45 fedora 0.0 B cpp aarch64 0:16.0.1-0.10.fc45 fedora 40.7 MiB csdp aarch64 0:6.2.0-37.20181018git0dcf187.fc44 fedora 456.2 KiB csdp-tools aarch64 0:6.2.0-37.20181018git0dcf187.fc44 fedora 341.8 KiB emacs-filesystem aarch64 1:30.2-2.fc44 fedora 0.0 B expat aarch64 0:2.7.5-1.fc45 fedora 367.0 KiB flexiblas aarch64 0:3.5.0-2.fc44 fedora 38.0 KiB flexiblas-netlib aarch64 0:3.5.0-2.fc44 fedora 14.2 MiB flexiblas-openblas-openmp aarch64 0:3.5.0-2.fc44 fedora 67.2 KiB gcc aarch64 0:16.0.1-0.10.fc45 fedora 112.2 MiB gcc-plugin-annobin aarch64 0:16.0.1-0.10.fc45 fedora 69.2 KiB gettext aarch64 0:1.0-1.fc45 fedora 18.5 MiB gettext-common-devel noarch 0:1.0-1.fc45 fedora 596.2 KiB gettext-devel aarch64 0:1.0-1.fc45 fedora 1.4 MiB gettext-envsubst aarch64 0:1.0-1.fc45 fedora 106.5 KiB gettext-libs aarch64 0:1.0-1.fc45 fedora 2.3 MiB gettext-runtime aarch64 0:1.0-1.fc45 fedora 783.8 KiB glibc-devel aarch64 0:2.43.9000-8.fc45 fedora 2.3 MiB gmp-c++ aarch64 1:6.3.0-5.fc44 fedora 67.4 KiB gmp-devel aarch64 1:6.3.0-5.fc44 fedora 358.1 KiB groff-base aarch64 0:1.24.0-1.fc45 fedora 4.5 MiB kernel-headers aarch64 0:7.0.0-0.rc7.55.fc45 fedora 6.8 MiB libasan aarch64 0:16.0.1-0.10.fc45 fedora 1.5 MiB libatomic aarch64 0:16.0.1-0.10.fc45 fedora 77.7 KiB libgfortran aarch64 0:16.0.1-0.10.fc45 fedora 1.7 MiB libmpc aarch64 0:1.4.0-1.fc45 fedora 217.3 KiB libstdc++-devel aarch64 0:16.0.1-0.10.fc45 fedora 38.0 MiB libtextstyle aarch64 0:1.0-1.fc45 fedora 199.0 KiB libubsan aarch64 0:16.0.1-0.10.fc45 fedora 475.9 KiB libxcrypt-devel aarch64 0:4.5.2-3.fc44 fedora 31.0 KiB libzstd-devel aarch64 0:1.5.7-5.fc44 fedora 217.6 KiB m4 aarch64 0:1.4.21-1.fc45 fedora 888.6 KiB make aarch64 1:4.4.1-12.fc44 fedora 1.8 MiB mpdecimal aarch64 0:4.0.1-3.fc44 fedora 281.1 KiB ncurses aarch64 0:6.6-1.fc44 fedora 895.4 KiB ocaml-compiler-libs aarch64 0:5.4.1-4.fc45 fedora 116.6 MiB ocaml-runtime aarch64 0:5.4.1-4.fc45 fedora 5.1 MiB ocaml-zarith aarch64 0:1.14-12.fc45 fedora 415.5 KiB openblas aarch64 0:0.3.29-2.fc43 fedora 111.7 KiB openblas-openmp aarch64 0:0.3.29-2.fc43 fedora 20.4 MiB perl-AutoLoader noarch 0:5.74-524.fc45 fedora 20.6 KiB perl-B aarch64 0:1.89-524.fc45 fedora 545.3 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 aarch64 0:2.191-522.fc44 fedora 135.5 KiB perl-Digest noarch 0:1.20-521.fc44 fedora 35.3 KiB perl-Digest-MD5 aarch64 0:2.59-521.fc44 fedora 103.6 KiB perl-DynaLoader aarch64 0:1.57-524.fc45 fedora 32.1 KiB perl-Encode aarch64 4:3.21-521.fc44 fedora 4.8 MiB perl-Errno aarch64 0:1.38-524.fc45 fedora 8.4 KiB perl-Exporter noarch 0:5.79-521.fc44 fedora 54.3 KiB perl-Fcntl aarch64 0:1.20-524.fc45 fedora 92.7 KiB perl-File-Basename noarch 0:2.86-524.fc45 fedora 14.0 KiB perl-File-Compare noarch 0:1.100.800-524.fc45 fedora 5.6 KiB perl-File-Copy noarch 0:2.41-524.fc45 fedora 19.7 KiB perl-File-Find noarch 0:1.44-524.fc45 fedora 42.0 KiB perl-File-Path noarch 0:2.18-522.fc44 fedora 63.5 KiB perl-File-Temp noarch 1:0.231.200-2.fc44 fedora 163.7 KiB perl-File-stat noarch 0:1.14-524.fc45 fedora 12.5 KiB perl-FileHandle noarch 0:2.05-524.fc45 fedora 9.4 KiB perl-Getopt-Long noarch 1:2.58-521.fc44 fedora 144.5 KiB perl-Getopt-Std noarch 0:1.14-524.fc45 fedora 11.2 KiB perl-HTTP-Tiny noarch 0:0.092-2.fc44 fedora 157.6 KiB perl-IO aarch64 0:1.55-524.fc45 fedora 191.3 KiB perl-IO-Socket-IP noarch 0:0.43-522.fc44 fedora 100.3 KiB perl-IO-Socket-SSL noarch 0:2.098-2.fc44 fedora 723.5 KiB perl-IPC-Open3 noarch 0:1.24-524.fc45 fedora 27.7 KiB perl-MIME-Base32 noarch 0:1.303-25.fc44 fedora 30.7 KiB perl-MIME-Base64 aarch64 0:3.16-521.fc44 fedora 93.9 KiB perl-Net-SSLeay aarch64 0:1.96-1.fc45 fedora 1.4 MiB perl-POSIX aarch64 0:2.23-524.fc45 fedora 261.5 KiB perl-PathTools aarch64 0:3.94-521.fc44 fedora 223.9 KiB perl-Pod-Escapes noarch 1:1.07-521.fc44 fedora 24.9 KiB perl-Pod-Perldoc noarch 0:3.28.01-522.fc44 fedora 163.7 KiB perl-Pod-Simple noarch 1:3.47-4.fc44 fedora 565.3 KiB perl-Pod-Usage noarch 4:2.05-521.fc44 fedora 86.3 KiB perl-Scalar-List-Utils aarch64 5:1.70-2.fc44 fedora 152.8 KiB perl-SelectSaver noarch 0:1.02-524.fc45 fedora 2.2 KiB perl-Socket aarch64 4:2.040-3.fc44 fedora 144.1 KiB perl-Storable aarch64 1:3.37-522.fc44 fedora 243.1 KiB perl-Symbol noarch 0:1.09-524.fc45 fedora 6.8 KiB perl-Term-ANSIColor noarch 0:5.01-522.fc44 fedora 97.5 KiB perl-Term-Cap noarch 0:1.18-521.fc44 fedora 29.3 KiB perl-Text-ParseWords noarch 0:3.31-521.fc44 fedora 13.6 KiB perl-Text-Tabs+Wrap noarch 0:2024.001-521.fc44 fedora 22.6 KiB perl-Time-HiRes aarch64 4:1.9778-521.fc44 fedora 151.6 KiB perl-Time-Local noarch 2:1.350-521.fc44 fedora 69.0 KiB perl-URI noarch 0:5.34-3.fc44 fedora 268.0 KiB perl-base noarch 0:2.27-524.fc45 fedora 12.6 KiB perl-constant noarch 0:1.33-522.fc44 fedora 26.2 KiB perl-if noarch 0:0.61.000-524.fc45 fedora 5.8 KiB perl-interpreter aarch64 4:5.42.2-524.fc45 fedora 174.7 KiB perl-libnet noarch 0:3.15-522.fc44 fedora 289.4 KiB perl-libs aarch64 4:5.42.2-524.fc45 fedora 11.6 MiB perl-locale noarch 0:1.13-524.fc45 fedora 6.1 KiB perl-mro aarch64 0:1.29-524.fc45 fedora 81.5 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 aarch64 0:3.14.3-2.fc45 fedora 84.8 KiB python3-libs aarch64 0:3.14.3-2.fc45 fedora 45.3 MiB rocq-core aarch64 0:9.2.0-1.fc45 copr_base 4.8 MiB rocq-runtime aarch64 0:9.2.0-1.fc45 copr_base 332.3 MiB rocq-stdlib aarch64 0:9.1.0-2.fc45 copr_base 62.1 MiB tzdata noarch 0:2026a-1.fc45 fedora 1.2 MiB Transaction Summary: Installing: 120 packages Total size of inbound packages is 355 MiB. Need to download 355 MiB. After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B). [ 1/120] gappa-0:1.7.0-1.fc45.aarch64 100% | 5.5 MiB/s | 260.2 KiB | 00m00s [ 2/120] autoconf-0:2.72-10.fc44.noarc 100% | 11.9 MiB/s | 830.9 KiB | 00m00s [ 3/120] gcc-c++-0:16.0.1-0.10.fc45.aa 100% | 147.6 MiB/s | 15.8 MiB | 00m00s [ 4/120] ocaml-0:5.4.1-4.fc45.aarch64 100% | 100.5 MiB/s | 39.2 MiB | 00m00s [ 5/120] ocaml-findlib-0:1.9.8-8.fc45. 100% | 3.4 MiB/s | 1.1 MiB | 00m00s [ 6/120] ocaml-zarith-devel-0:1.14-12. 100% | 16.1 MiB/s | 461.7 KiB | 00m00s [ 7/120] remake-0:0.16-5.fc44.aarch64 100% | 2.0 MiB/s | 62.6 KiB | 00m00s [ 8/120] rocq-0:9.2.0-1.fc45.aarch64 100% | 34.9 KiB/s | 7.2 KiB | 00m00s [ 9/120] emacs-filesystem-1:30.2-2.fc4 100% | 1.3 MiB/s | 8.0 KiB | 00m00s [ 10/120] gettext-devel-0:1.0-1.fc45.aa 100% | 7.9 MiB/s | 298.3 KiB | 00m00s [ 11/120] coq-core-compat-0:9.2.0-1.fc4 100% | 9.6 MiB/s | 7.5 MiB | 00m01s [ 12/120] m4-0:1.4.21-1.fc45.aarch64 100% | 4.4 MiB/s | 340.6 KiB | 00m00s [ 13/120] perl-Carp-0:1.54-521.fc44.noa 100% | 553.5 KiB/s | 28.8 KiB | 00m00s [ 14/120] perl-Class-Struct-0:0.68-524. 100% | 3.6 MiB/s | 22.0 KiB | 00m00s [ 15/120] perl-Data-Dumper-0:2.191-522. 100% | 7.7 MiB/s | 55.2 KiB | 00m00s [ 16/120] perl-Errno-0:1.38-524.fc45.aa 100% | 2.4 MiB/s | 14.8 KiB | 00m00s [ 17/120] perl-Exporter-0:5.79-521.fc44 100% | 5.0 MiB/s | 30.8 KiB | 00m00s [ 18/120] perl-File-Basename-0:2.86-524 100% | 2.8 MiB/s | 17.0 KiB | 00m00s [ 19/120] perl-File-Compare-0:1.100.800 100% | 2.1 MiB/s | 13.1 KiB | 00m00s [ 20/120] perl-File-Copy-0:2.41-524.fc4 100% | 3.3 MiB/s | 20.0 KiB | 00m00s [ 21/120] perl-File-Find-0:1.44-524.fc4 100% | 4.1 MiB/s | 25.2 KiB | 00m00s [ 22/120] perl-File-Temp-1:0.231.200-2. 100% | 9.7 MiB/s | 59.6 KiB | 00m00s [ 23/120] perl-File-stat-0:1.14-524.fc4 100% | 2.8 MiB/s | 16.9 KiB | 00m00s [ 24/120] perl-Getopt-Long-1:2.58-521.f 100% | 10.4 MiB/s | 63.6 KiB | 00m00s [ 25/120] perl-IO-0:1.55-524.fc45.aarch 100% | 11.7 MiB/s | 83.9 KiB | 00m00s [ 26/120] perl-POSIX-0:2.23-524.fc45.aa 100% | 15.7 MiB/s | 96.5 KiB | 00m00s [ 27/120] perl-PathTools-0:3.94-521.fc4 100% | 12.2 MiB/s | 87.2 KiB | 00m00s [ 28/120] perl-Text-ParseWords-0:3.31-5 100% | 2.7 MiB/s | 16.5 KiB | 00m00s [ 29/120] perl-constant-0:1.33-522.fc44 100% | 3.7 MiB/s | 22.9 KiB | 00m00s [ 30/120] perl-interpreter-4:5.42.2-524 100% | 11.8 MiB/s | 72.5 KiB | 00m00s [ 31/120] perl-libs-4:5.42.2-524.fc45.a 100% | 178.5 MiB/s | 2.5 MiB | 00m00s [ 32/120] gcc-0:16.0.1-0.10.fc45.aarch6 100% | 309.1 MiB/s | 39.9 MiB | 00m00s [ 33/120] flocq-0:4.2.2-2.fc45.aarch64 100% | 7.2 MiB/s | 3.7 MiB | 00m01s [ 34/120] libmpc-0:1.4.0-1.fc45.aarch64 100% | 10.3 MiB/s | 73.8 KiB | 00m00s [ 35/120] libzstd-devel-0:1.5.7-5.fc44. 100% | 1.5 MiB/s | 56.3 KiB | 00m00s [ 36/120] libstdc++-devel-0:16.0.1-0.10 100% | 117.8 MiB/s | 5.4 MiB | 00m00s [ 37/120] ocaml-runtime-0:5.4.1-4.fc45. 100% | 40.4 MiB/s | 2.3 MiB | 00m00s [ 38/120] rocq-core-0:9.2.0-1.fc45.aarc 100% | 4.5 MiB/s | 1.2 MiB | 00m00s [ 39/120] gmp-devel-1:6.3.0-5.fc44.aarc 100% | 604.1 KiB/s | 175.2 KiB | 00m00s [ 40/120] ocaml-zarith-0:1.14-12.fc45.a 100% | 577.3 KiB/s | 155.9 KiB | 00m00s [ 41/120] csdp-tools-0:6.2.0-37.2018101 100% | 546.9 KiB/s | 30.1 KiB | 00m00s [ 42/120] ocaml-compiler-libs-0:5.4.1-4 100% | 107.2 MiB/s | 56.8 MiB | 00m01s [ 43/120] gettext-0:1.0-1.fc45.aarch64 100% | 14.7 MiB/s | 2.0 MiB | 00m00s [ 44/120] gettext-common-devel-0:1.0-1. 100% | 73.9 MiB/s | 605.7 KiB | 00m00s [ 45/120] gettext-libs-0:1.0-1.fc45.aar 100% | 7.3 MiB/s | 800.5 KiB | 00m00s [ 46/120] perl-B-0:1.89-524.fc45.aarch6 100% | 1.7 MiB/s | 179.0 KiB | 00m00s [ 47/120] perl-Scalar-List-Utils-5:1.70 100% | 11.9 MiB/s | 73.1 KiB | 00m00s [ 48/120] perl-overload-0:1.40-524.fc45 100% | 7.4 MiB/s | 45.4 KiB | 00m00s [ 49/120] perl-Fcntl-0:1.20-524.fc45.aa 100% | 4.8 MiB/s | 29.5 KiB | 00m00s [ 50/120] perl-File-Path-0:2.18-522.fc4 100% | 5.7 MiB/s | 35.3 KiB | 00m00s [ 51/120] perl-parent-1:0.244-521.fc44. 100% | 2.4 MiB/s | 14.9 KiB | 00m00s [ 52/120] perl-Symbol-0:1.09-524.fc45.n 100% | 2.3 MiB/s | 14.1 KiB | 00m00s [ 53/120] perl-Pod-Usage-4:2.05-521.fc4 100% | 6.6 MiB/s | 40.7 KiB | 00m00s [ 54/120] perl-base-0:2.27-524.fc45.noa 100% | 2.6 MiB/s | 16.1 KiB | 00m00s [ 55/120] perl-SelectSaver-0:1.02-524.f 100% | 1.9 MiB/s | 11.6 KiB | 00m00s [ 56/120] perl-Socket-4:2.040-3.fc44.aa 100% | 8.9 MiB/s | 54.9 KiB | 00m00s [ 57/120] perl-locale-0:1.13-524.fc45.n 100% | 2.2 MiB/s | 13.4 KiB | 00m00s [ 58/120] perl-DynaLoader-0:1.57-524.fc 100% | 4.2 MiB/s | 25.8 KiB | 00m00s [ 59/120] perl-Encode-4:3.21-521.fc44.a 100% | 115.7 MiB/s | 1.0 MiB | 00m00s [ 60/120] cpp-0:16.0.1-0.10.fc45.aarch6 100% | 119.6 MiB/s | 13.3 MiB | 00m00s [ 61/120] glibc-devel-0:2.43.9000-8.fc4 100% | 5.9 MiB/s | 623.3 KiB | 00m00s [ 62/120] libasan-0:16.0.1-0.10.fc45.aa 100% | 61.8 MiB/s | 505.9 KiB | 00m00s [ 63/120] libatomic-0:16.0.1-0.10.fc45. 100% | 6.3 MiB/s | 45.2 KiB | 00m00s [ 64/120] libubsan-0:16.0.1-0.10.fc45.a 100% | 30.4 MiB/s | 217.8 KiB | 00m00s [ 65/120] make-1:4.4.1-12.fc44.aarch64 100% | 63.3 MiB/s | 583.6 KiB | 00m00s [ 66/120] cmake-filesystem-0:4.3.0-1.fc 100% | 2.4 MiB/s | 15.0 KiB | 00m00s [ 67/120] gmp-c++-1:6.3.0-5.fc44.aarch6 100% | 759.9 KiB/s | 18.2 KiB | 00m00s [ 68/120] csdp-0:6.2.0-37.20181018git0d 100% | 7.0 MiB/s | 300.7 KiB | 00m00s [ 69/120] python3-0:3.14.3-2.fc45.aarch 100% | 1.3 MiB/s | 28.6 KiB | 00m00s [ 70/120] gettext-runtime-0:1.0-1.fc45. 100% | 6.4 MiB/s | 175.6 KiB | 00m00s [ 71/120] libtextstyle-0:1.0-1.fc45.aar 100% | 2.2 MiB/s | 90.6 KiB | 00m00s [ 72/120] perl-if-0:0.61.000-524.fc45.n 100% | 1.0 MiB/s | 13.9 KiB | 00m00s [ 73/120] perl-overloading-0:0.02-524.f 100% | 2.1 MiB/s | 12.8 KiB | 00m00s [ 74/120] perl-mro-0:1.29-524.fc45.aarc 100% | 4.7 MiB/s | 29.1 KiB | 00m00s [ 75/120] perl-vars-0:1.05-524.fc45.noa 100% | 2.1 MiB/s | 12.9 KiB | 00m00s [ 76/120] perl-Pod-Perldoc-0:3.28.01-52 100% | 14.0 MiB/s | 86.1 KiB | 00m00s [ 77/120] perl-podlators-1:6.0.2-521.fc 100% | 17.9 MiB/s | 128.5 KiB | 00m00s [ 78/120] perl-Getopt-Std-0:1.14-524.fc 100% | 2.2 MiB/s | 15.6 KiB | 00m00s [ 79/120] perl-MIME-Base64-0:3.16-521.f 100% | 4.9 MiB/s | 29.9 KiB | 00m00s [ 80/120] perl-Storable-1:3.37-522.fc44 100% | 13.4 MiB/s | 95.7 KiB | 00m00s [ 81/120] kernel-headers-0:7.0.0-0.rc7. 100% | 155.1 MiB/s | 1.7 MiB | 00m00s [ 82/120] libxcrypt-devel-0:4.5.2-3.fc4 100% | 2.9 MiB/s | 30.0 KiB | 00m00s [ 83/120] flexiblas-netlib-0:3.5.0-2.fc 100% | 50.6 MiB/s | 4.0 MiB | 00m00s [ 84/120] gettext-envsubst-0:1.0-1.fc45 100% | 5.2 MiB/s | 37.5 KiB | 00m00s [ 85/120] python3-libs-0:3.14.3-2.fc45. 100% | 91.9 MiB/s | 9.8 MiB | 00m00s [ 86/120] groff-base-0:1.24.0-1.fc45.aa 100% | 51.3 MiB/s | 1.2 MiB | 00m00s [ 87/120] perl-HTTP-Tiny-0:0.092-2.fc44 100% | 9.3 MiB/s | 57.2 KiB | 00m00s [ 88/120] perl-IPC-Open3-0:1.24-524.fc4 100% | 3.9 MiB/s | 24.0 KiB | 00m00s [ 89/120] perl-Pod-Simple-1:3.47-4.fc44 100% | 30.7 MiB/s | 220.0 KiB | 00m00s [ 90/120] perl-Term-ANSIColor-0:5.01-52 100% | 7.8 MiB/s | 47.7 KiB | 00m00s [ 91/120] perl-Term-Cap-0:1.18-521.fc44 100% | 3.6 MiB/s | 22.0 KiB | 00m00s [ 92/120] flexiblas-0:3.5.0-2.fc44.aarc 100% | 1.6 MiB/s | 23.0 KiB | 00m00s [ 93/120] flexiblas-openblas-openmp-0:3 100% | 1.1 MiB/s | 16.3 KiB | 00m00s [ 94/120] libgfortran-0:16.0.1-0.10.fc4 100% | 7.4 MiB/s | 461.9 KiB | 00m00s [ 95/120] expat-0:2.7.5-1.fc45.aarch64 100% | 17.0 MiB/s | 122.1 KiB | 00m00s [ 96/120] mpdecimal-0:4.0.1-3.fc44.aarc 100% | 13.3 MiB/s | 95.4 KiB | 00m00s [ 97/120] python-pip-wheel-0:26.0.1-2.f 100% | 114.9 MiB/s | 1.1 MiB | 00m00s [ 98/120] tzdata-0:2026a-1.fc45.noarch 100% | 87.1 MiB/s | 713.3 KiB | 00m00s [ 99/120] perl-IO-Socket-SSL-0:2.098-2. 100% | 32.7 MiB/s | 234.7 KiB | 00m00s [100/120] perl-Net-SSLeay-0:1.96-1.fc45 100% | 46.2 MiB/s | 378.8 KiB | 00m00s [101/120] perl-Time-HiRes-4:1.9778-521. 100% | 9.3 MiB/s | 57.4 KiB | 00m00s [102/120] perl-Time-Local-2:1.350-521.f 100% | 5.6 MiB/s | 34.5 KiB | 00m00s [103/120] perl-Pod-Escapes-1:1.07-521.f 100% | 3.2 MiB/s | 19.8 KiB | 00m00s [104/120] perl-Text-Tabs+Wrap-0:2024.00 100% | 3.5 MiB/s | 21.8 KiB | 00m00s [105/120] ncurses-0:6.6-1.fc44.aarch64 100% | 59.5 MiB/s | 426.4 KiB | 00m00s [106/120] openblas-openmp-0:0.3.29-2.fc 100% | 57.0 MiB/s | 3.9 MiB | 00m00s [107/120] perl-IO-Socket-IP-0:0.43-522. 100% | 5.9 MiB/s | 42.2 KiB | 00m00s [108/120] perl-URI-0:5.34-3.fc44.noarch 100% | 20.8 MiB/s | 149.2 KiB | 00m00s [109/120] perl-AutoLoader-0:5.74-524.fc 100% | 2.9 MiB/s | 21.1 KiB | 00m00s [110/120] openblas-0:0.3.29-2.fc43.aarc 100% | 2.7 MiB/s | 42.2 KiB | 00m00s [111/120] perl-MIME-Base32-0:1.303-25.f 100% | 3.3 MiB/s | 20.5 KiB | 00m00s [112/120] perl-libnet-0:3.15-522.fc44.n 100% | 17.9 MiB/s | 128.4 KiB | 00m00s [113/120] perl-Digest-MD5-0:2.59-521.fc 100% | 5.8 MiB/s | 35.7 KiB | 00m00s [114/120] perl-FileHandle-0:2.05-524.fc 100% | 2.5 MiB/s | 15.4 KiB | 00m00s [115/120] perl-Digest-0:1.20-521.fc44.n 100% | 4.0 MiB/s | 24.9 KiB | 00m00s [116/120] annobin-plugin-gcc-0:13.07-1. 100% | 19.6 MiB/s | 683.3 KiB | 00m00s [117/120] gcc-plugin-annobin-0:16.0.1-0 100% | 947.1 KiB/s | 48.3 KiB | 00m00s [118/120] annobin-docs-0:13.07-1.fc45.n 100% | 12.3 MiB/s | 88.3 KiB | 00m00s [119/120] rocq-stdlib-0:9.1.0-2.fc45.aa 100% | 25.7 MiB/s | 21.7 MiB | 00m01s [120/120] rocq-runtime-0:9.2.0-1.fc45.a 100% | 34.4 MiB/s | 106.9 MiB | 00m03s -------------------------------------------------------------------------------- [120/120] Total 100% | 77.9 MiB/s | 354.6 MiB | 00m05s Running transaction [ 1/122] Verify package files 100% | 99.0 B/s | 120.0 B | 00m01s [ 2/122] Prepare transaction 100% | 1.1 KiB/s | 120.0 B | 00m00s [ 3/122] Installing ocaml-runtime-0:5. 100% | 127.0 MiB/s | 5.1 MiB | 00m00s [ 4/122] Installing libmpc-0:1.4.0-1.f 100% | 106.9 MiB/s | 219.0 KiB | 00m00s [ 5/122] Installing libgfortran-0:16.0 100% | 342.3 MiB/s | 1.7 MiB | 00m00s [ 6/122] Installing libtextstyle-0:1.0 100% | 195.1 MiB/s | 199.8 KiB | 00m00s [ 7/122] Installing gettext-libs-0:1.0 100% | 286.2 MiB/s | 2.3 MiB | 00m00s [ 8/122] Installing cpp-0:16.0.1-0.10. 100% | 278.8 MiB/s | 40.7 MiB | 00m00s [ 9/122] Installing annobin-docs-0:13. 100% | 98.0 MiB/s | 100.3 KiB | 00m00s [ 10/122] Installing openblas-0:0.3.29- 100% | 110.8 MiB/s | 113.5 KiB | 00m00s [ 11/122] Installing openblas-openmp-0: 100% | 443.2 MiB/s | 20.4 MiB | 00m00s [ 12/122] Installing flexiblas-netlib-0 100% | 228.9 MiB/s | 14.2 MiB | 00m00s [ 13/122] Installing flexiblas-0:3.5.0- 100% | 38.2 MiB/s | 39.2 KiB | 00m00s [ 14/122] Installing flexiblas-openblas 100% | 66.4 MiB/s | 68.0 KiB | 00m00s [ 15/122] Installing csdp-0:6.2.0-37.20 100% | 223.6 MiB/s | 457.8 KiB | 00m00s [ 16/122] Installing csdp-tools-0:6.2.0 100% | 14.0 MiB/s | 345.2 KiB | 00m00s [ 17/122] Installing ncurses-0:6.6-1.fc 100% | 29.4 MiB/s | 902.0 KiB | 00m00s [ 18/122] Installing tzdata-0:2026a-1.f 100% | 29.1 MiB/s | 1.5 MiB | 00m00s [ 19/122] Installing python-pip-wheel-0 100% | 407.6 MiB/s | 1.2 MiB | 00m00s [ 20/122] Installing mpdecimal-0:4.0.1- 100% | 138.0 MiB/s | 282.6 KiB | 00m00s [ 21/122] Installing expat-0:2.7.5-1.fc 100% | 12.0 MiB/s | 369.1 KiB | 00m00s [ 22/122] Installing python3-libs-0:3.1 100% | 272.1 MiB/s | 45.7 MiB | 00m00s [ 23/122] Installing python3-0:3.14.3-2 100% | 2.8 MiB/s | 86.5 KiB | 00m00s [ 24/122] Installing groff-base-0:1.24. 100% | 93.8 MiB/s | 4.5 MiB | 00m00s [ 25/122] Installing perl-Digest-0:1.20 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [ 26/122] Installing perl-Digest-MD5-0: 100% | 103.0 MiB/s | 105.5 KiB | 00m00s [ 27/122] Installing perl-FileHandle-0: 100% | 0.0 B/s | 9.8 KiB | 00m00s [ 28/122] Installing perl-B-0:1.89-524. 100% | 178.6 MiB/s | 548.6 KiB | 00m00s [ 29/122] Installing perl-libnet-0:3.15 100% | 143.9 MiB/s | 294.7 KiB | 00m00s [ 30/122] Installing perl-MIME-Base32-0 100% | 31.4 MiB/s | 32.2 KiB | 00m00s [ 31/122] Installing perl-Data-Dumper-0 100% | 67.1 MiB/s | 137.4 KiB | 00m00s [ 32/122] Installing perl-URI-0:5.34-3. 100% | 55.0 MiB/s | 281.8 KiB | 00m00s [ 33/122] Installing perl-AutoLoader-0: 100% | 0.0 B/s | 21.0 KiB | 00m00s [ 34/122] Installing perl-IO-Socket-IP- 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [ 35/122] Installing perl-IO-Socket-SSL 100% | 177.6 MiB/s | 727.6 KiB | 00m00s [ 36/122] Installing perl-Net-SSLeay-0: 100% | 180.1 MiB/s | 1.4 MiB | 00m00s [ 37/122] Installing perl-Text-Tabs+Wra 100% | 23.3 MiB/s | 23.9 KiB | 00m00s [ 38/122] Installing perl-Pod-Escapes-1 100% | 25.3 MiB/s | 25.9 KiB | 00m00s [ 39/122] Installing perl-Time-Local-2: 100% | 68.9 MiB/s | 70.6 KiB | 00m00s [ 40/122] Installing perl-Time-HiRes-4: 100% | 150.1 MiB/s | 153.7 KiB | 00m00s [ 41/122] Installing perl-File-Path-0:2 100% | 63.0 MiB/s | 64.5 KiB | 00m00s [ 42/122] Installing perl-if-0:0.61.000 100% | 0.0 B/s | 6.2 KiB | 00m00s [ 43/122] Installing perl-locale-0:1.13 100% | 0.0 B/s | 6.5 KiB | 00m00s [ 44/122] Installing perl-HTTP-Tiny-0:0 100% | 78.0 MiB/s | 159.7 KiB | 00m00s [ 45/122] Installing perl-Pod-Simple-1: 100% | 187.1 MiB/s | 574.9 KiB | 00m00s [ 46/122] Installing perl-Term-Cap-0:1. 100% | 29.9 MiB/s | 30.6 KiB | 00m00s [ 47/122] Installing perl-Term-ANSIColo 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [ 48/122] Installing perl-IPC-Open3-0:1 100% | 27.8 MiB/s | 28.5 KiB | 00m00s [ 49/122] Installing perl-File-Temp-1:0 100% | 161.6 MiB/s | 165.5 KiB | 00m00s [ 50/122] Installing perl-POSIX-0:2.23- 100% | 256.6 MiB/s | 262.8 KiB | 00m00s [ 51/122] Installing perl-Class-Struct- 100% | 25.3 MiB/s | 25.9 KiB | 00m00s [ 52/122] Installing perl-Pod-Perldoc-0 100% | 6.6 MiB/s | 169.2 KiB | 00m00s [ 53/122] Installing perl-podlators-1:6 100% | 12.6 MiB/s | 321.4 KiB | 00m00s [ 54/122] Installing perl-File-stat-0:1 100% | 12.8 MiB/s | 13.1 KiB | 00m00s [ 55/122] Installing perl-Socket-4:2.04 100% | 142.7 MiB/s | 146.2 KiB | 00m00s [ 56/122] Installing perl-SelectSaver-0 100% | 0.0 B/s | 2.6 KiB | 00m00s [ 57/122] Installing perl-Symbol-0:1.09 100% | 0.0 B/s | 7.3 KiB | 00m00s [ 58/122] Installing perl-Pod-Usage-4:2 100% | 3.6 MiB/s | 87.9 KiB | 00m00s [ 59/122] Installing perl-mro-0:1.29-52 100% | 80.7 MiB/s | 82.6 KiB | 00m00s [ 60/122] Installing perl-IO-0:1.55-524 100% | 95.5 MiB/s | 195.6 KiB | 00m00s [ 61/122] Installing perl-overloading-0 100% | 0.0 B/s | 5.6 KiB | 00m00s [ 62/122] Installing perl-base-0:2.27-5 100% | 0.0 B/s | 13.0 KiB | 00m00s [ 63/122] Installing perl-Fcntl-0:1.20- 100% | 91.5 MiB/s | 93.7 KiB | 00m00s [ 64/122] Installing perl-Text-ParseWor 100% | 14.2 MiB/s | 14.6 KiB | 00m00s [ 65/122] Installing perl-Getopt-Long-1 100% | 143.8 MiB/s | 147.2 KiB | 00m00s [ 66/122] Installing perl-Storable-1:3. 100% | 238.9 MiB/s | 244.7 KiB | 00m00s [ 67/122] Installing perl-MIME-Base64-0 100% | 93.9 MiB/s | 96.1 KiB | 00m00s [ 68/122] Installing perl-Getopt-Std-0: 100% | 0.0 B/s | 11.8 KiB | 00m00s [ 69/122] Installing perl-vars-0:1.05-5 100% | 0.0 B/s | 4.3 KiB | 00m00s [ 70/122] Installing perl-overload-0:1. 100% | 70.3 MiB/s | 72.0 KiB | 00m00s [ 71/122] Installing perl-parent-1:0.24 100% | 0.0 B/s | 11.0 KiB | 00m00s [ 72/122] Installing perl-Scalar-List-U 100% | 76.4 MiB/s | 156.5 KiB | 00m00s [ 73/122] Installing perl-constant-0:1. 100% | 26.7 MiB/s | 27.4 KiB | 00m00s [ 74/122] Installing perl-File-Basename 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 75/122] Installing perl-Errno-0:1.38- 100% | 0.0 B/s | 8.8 KiB | 00m00s [ 76/122] Installing perl-Carp-0:1.54-5 100% | 46.6 MiB/s | 47.7 KiB | 00m00s [ 77/122] Installing perl-Encode-4:3.21 100% | 127.4 MiB/s | 4.8 MiB | 00m00s [ 78/122] Installing perl-DynaLoader-0: 100% | 31.7 MiB/s | 32.5 KiB | 00m00s [ 79/122] Installing perl-PathTools-0:3 100% | 111.5 MiB/s | 228.4 KiB | 00m00s [ 80/122] Installing perl-Exporter-0:5. 100% | 18.1 MiB/s | 55.6 KiB | 00m00s [ 81/122] Installing perl-libs-4:5.42.2 100% | 213.6 MiB/s | 11.8 MiB | 00m00s [ 82/122] Installing perl-interpreter-4 100% | 7.2 MiB/s | 176.4 KiB | 00m00s [ 83/122] Installing perl-File-Compare- 100% | 6.0 MiB/s | 6.2 KiB | 00m00s [ 84/122] Installing perl-File-Copy-0:2 100% | 0.0 B/s | 20.2 KiB | 00m00s [ 85/122] Installing perl-File-Find-0:1 100% | 41.5 MiB/s | 42.5 KiB | 00m00s [ 86/122] Installing gettext-envsubst-0 100% | 4.4 MiB/s | 107.9 KiB | 00m00s [ 87/122] Installing gettext-runtime-0: 100% | 26.7 MiB/s | 794.3 KiB | 00m00s [ 88/122] Installing gettext-0:1.0-1.fc 100% | 280.1 MiB/s | 18.5 MiB | 00m00s [ 89/122] Installing kernel-headers-0:7 100% | 139.1 MiB/s | 7.0 MiB | 00m00s [ 90/122] Installing glibc-devel-0:2.43 100% | 112.6 MiB/s | 2.4 MiB | 00m00s [ 91/122] Installing libxcrypt-devel-0: 100% | 32.5 MiB/s | 33.3 KiB | 00m00s [ 92/122] Installing gmp-c++-1:6.3.0-5. 100% | 66.6 MiB/s | 68.2 KiB | 00m00s [ 93/122] Installing gmp-devel-1:6.3.0- 100% | 351.5 MiB/s | 359.9 KiB | 00m00s [ 94/122] Installing cmake-filesystem-0 100% | 4.6 MiB/s | 9.4 KiB | 00m00s [ 95/122] Installing libzstd-devel-0:1. 100% | 214.0 MiB/s | 219.1 KiB | 00m00s [ 96/122] Installing make-1:4.4.1-12.fc 100% | 59.7 MiB/s | 1.9 MiB | 00m00s [ 97/122] Installing libubsan-0:16.0.1- 100% | 232.8 MiB/s | 476.7 KiB | 00m00s [ 98/122] Installing libatomic-0:16.0.1 100% | 76.9 MiB/s | 78.8 KiB | 00m00s [ 99/122] Installing libasan-0:16.0.1-0 100% | 256.9 MiB/s | 1.5 MiB | 00m00s [100/122] Installing gcc-0:16.0.1-0.10. 100% | 332.9 MiB/s | 112.2 MiB | 00m00s [101/122] Installing ocaml-0:5.4.1-4.fc 100% | 382.4 MiB/s | 178.6 MiB | 00m00s [102/122] Installing ocaml-compiler-lib 100% | 398.8 MiB/s | 116.9 MiB | 00m00s [103/122] Installing ocaml-findlib-0:1. 100% | 108.0 MiB/s | 3.8 MiB | 00m00s [104/122] Installing ocaml-zarith-0:1.1 100% | 68.2 MiB/s | 418.7 KiB | 00m00s [105/122] Installing rocq-runtime-0:9.2 100% | 345.9 MiB/s | 332.5 MiB | 00m01s [106/122] Installing rocq-core-0:9.2.0- 100% | 220.3 MiB/s | 4.8 MiB | 00m00s [107/122] Installing rocq-0:9.2.0-1.fc4 100% | 60.5 KiB/s | 124.0 B | 00m00s [108/122] Installing rocq-stdlib-0:9.1. 100% | 239.8 MiB/s | 62.3 MiB | 00m00s [109/122] Installing gettext-common-dev 100% | 582.5 MiB/s | 596.5 KiB | 00m00s [110/122] Installing gettext-devel-0:1. 100% | 45.4 MiB/s | 1.5 MiB | 00m00s [111/122] Installing libstdc++-devel-0: 100% | 385.7 MiB/s | 38.2 MiB | 00m00s [112/122] Installing m4-0:1.4.21-1.fc45 100% | 30.1 MiB/s | 895.1 KiB | 00m00s [113/122] Installing emacs-filesystem-1 100% | 793.0 KiB/s | 812.0 B | 00m00s [114/122] Installing autoconf-0:2.72-10 100% | 87.6 MiB/s | 2.8 MiB | 00m00s [115/122] Installing gcc-c++-0:16.0.1-0 100% | 288.2 MiB/s | 44.7 MiB | 00m00s [116/122] Installing flocq-0:4.2.2-2.fc 100% | 379.3 MiB/s | 16.7 MiB | 00m00s [117/122] Installing coq-core-compat-0: 100% | 351.0 MiB/s | 41.1 MiB | 00m00s [118/122] Installing ocaml-zarith-devel 100% | 232.6 MiB/s | 1.2 MiB | 00m00s [119/122] Installing annobin-plugin-gcc 100% | 53.4 MiB/s | 710.6 KiB | 00m00s [120/122] Installing gcc-plugin-annobin 100% | 4.9 MiB/s | 70.8 KiB | 00m00s [121/122] Installing remake-0:0.16-5.fc 100% | 6.1 MiB/s | 148.7 KiB | 00m00s [122/122] Installing gappa-0:1.7.0-1.fc 100% | 3.5 MiB/s | 739.3 KiB | 00m00s Warning: skipped OpenPGP checks for 6 packages from repository: copr_base Complete! Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1775779200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.8.0-2.fc45.src.rpm Updating and loading repositories: fedora 100% | 19.3 KiB/s | 10.3 KiB | 00m01s Copr repository 100% | 3.4 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.aarch64" is already installed. Package "flocq-4.2.2-2.fc45.aarch64" is already installed. Package "gappa-1.7.0-1.fc45.aarch64" is already installed. Package "gcc-c++-16.0.1-0.10.fc45.aarch64" is already installed. Package "ocaml-5.4.1-4.fc45.aarch64" is already installed. Nothing to do. Package "ocaml-findlib-1.9.8-8.fc45.aarch64" is already installed. Package "ocaml-zarith-devel-1.14-12.fc45.aarch64" is already installed. Package "remake-0.16-5.fc44.aarch64" is already installed. Package "rocq-9.2.0-1.fc45.aarch64" is already installed. Finish: build setup for gappalib-coq-1.8.0-2.fc45.src.rpm Start: rpmbuild gappalib-coq-1.8.0-2.fc45.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1775779200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.zalcDN Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.mDRxSm + 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.xVJ2DT + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,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.Jnkhqm + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,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/cciddatu.o: in function `main': remake.cpp:(.text.startup+0xacc): warning: the use of `tempnam' is dangerous, better use `mkstemp' === Summary === Vernacular directory /usr/lib64/ocaml/coq/user-contrib Plugin directory /usr/lib64/ocaml/coq-gappa Plugin compilation native bytecode configure: creating ./config.status config.status: creating Remakefile + rm -f remake + ln -s /usr/bin/remake remake + remake -d -j4 Building tools/vdep.ml Building src/gappatac.ml /usr/bin/ocamllex -o tools/vdep.ml tools/vdep.mll gcc -E -DCOQVERSION=90200 src/gappatac.c -o src/gappatac.ml 68 states, 984 transitions, table size 4344 bytes 3358 additional bytes used for bindings Finished tools/vdep.ml Building tools/vdep.exe /usr/bin/ocamlfind ocamlc -o tools/vdep.exe tools/vdep.ml Finished src/gappatac.ml Building src/gappatac.cmxs Building src/gappatac.cmo /usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo Finished tools/vdep.exe Building src/Gappa_common.vo Building src/Gappa_decimal.vo tools/vdep.exe -R src Gappa src/Gappa_common.v | ./remake -r src/Gappa_common.vo tools/vdep.exe -R src Gappa src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo Building src/Gappa_definitions.vo tools/vdep.exe -R src Gappa src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo Building src/Gappa_dyadic.vo tools/vdep.exe -R src Gappa src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_fixed.vo File "src/gappatac.c", line 16, characters 5-11: Alert deprecated: module Coqlib (9.0) Use Rocqlib tools/vdep.exe -R src Gappa src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo File "src/gappatac.c", line 16, characters 5-11: Alert deprecated: module Coqlib (9.0) Use Rocqlib Building src/Gappa_float.vo tools/vdep.exe -R src Gappa src/Gappa_float.v | ./remake -r src/Gappa_float.vo File "src/gappatac.c", line 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_library.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_library.v | ./remake -r src/Gappa_library.vo File "src/gappatac.c", line 82, characters 42-46: Alert deprecated: module Pcoq (9.0) Use Procq Building src/Gappa_obfuscate.vo tools/vdep.exe -R src Gappa src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_obfuscate.v File "src/gappatac.c", line 521, characters 18-24: Alert deprecated: Tacmach.pf_env (9.2) Use Proofview.Goal.env File "src/gappatac.c", line 522, characters 18-25: Alert deprecated: Tacmach.project (9.2) Use Proofview.Goal.sigma File "src/gappatac.c", line 523, characters 21-34: Alert deprecated: Tacmach.pf_hyps_types (9.2) Use EConstr.named_context File "src/gappatac.c", line 527, characters 16-24: Alert deprecated: Tacmach.pf_concl (9.2) Use Proofview.Goal.concl File "src/gappatac.c", line 521, characters 18-24: Alert deprecated: Tacmach.pf_env (9.2) Use Proofview.Goal.env File "src/gappatac.c", line 522, characters 18-25: Alert deprecated: Tacmach.project (9.2) Use Proofview.Goal.sigma File "src/gappatac.c", line 523, characters 21-34: Alert deprecated: Tacmach.pf_hyps_types (9.2) Use EConstr.named_context File "src/gappatac.c", line 527, characters 16-24: Alert deprecated: Tacmach.pf_concl (9.2) Use Proofview.Goal.concl File "src/gappatac.c", line 796, characters 6-23: Alert deprecated: Dumpglob.continue (8.13) Use pop_output File "src/gappatac.c", line 799, characters 2-19: Alert deprecated: Dumpglob.continue (8.13) Use pop_output File "src/gappatac.c", line 818, characters 17-21: Alert deprecated: module Pcoq (9.0) Use Procq 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 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/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/Gappa_definitions.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module 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 Finished src/gappatac.cmo Building src/Gappa_pred_abs.vo tools/vdep.exe -R src Gappa src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacmach, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacred, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tacticals, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module Tactics, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module UnivGen, and its interface was not compiled with -opaque Building src/Gappa_pred_bnd.vo tools/vdep.exe -R src Gappa src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo Building src/Gappa_pred_fixflt.vo tools/vdep.exe -R src Gappa src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo Building src/Gappa_pred_lin.vo tools/vdep.exe -R src Gappa src/Gappa_pred_lin.v | ./remake -r src/Gappa_pred_lin.vo Building src/Gappa_pred_nzr.vo tools/vdep.exe -R src Gappa src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo Building src/Gappa_pred_rel.vo tools/vdep.exe -R src Gappa src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo Building src/Gappa_real.vo tools/vdep.exe -R src Gappa src/Gappa_real.v | ./remake -r src/Gappa_real.vo Finished src/Gappa_obfuscate.vo Building src/Gappa_rewriting.vo tools/vdep.exe -R src Gappa src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v Building src/Gappa_round_aux.vo tools/vdep.exe -R src Gappa src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo Building src/Gappa_round_def.vo tools/vdep.exe -R src Gappa src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v File "./src/Gappa_real.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_round_def.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] Finished src/gappatac.cmxs Building src/Gappa_round.vo tools/vdep.exe -R src Gappa src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_tactic.vo tools/vdep.exe -R src Gappa src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo Building src/Gappa_tree.vo tools/vdep.exe -R src Gappa src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo Building src/Gappa_user.vo tools/vdep.exe -R src Gappa src/Gappa_user.v | ./remake -r src/Gappa_user.vo File "./src/Gappa_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_real.vo Finished src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v File "./src/Gappa_common.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_round_aux.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_common.v", line 7, characters 18-26: Warning: Notation Zlt_bool is deprecated since 9.0. Use Z.ltb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_common.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tree.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_rewriting.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.v File "./src/Gappa_rewriting.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_tree.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_round.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_tree.v", line 4, characters 6-14: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_fixflt.v File "./src/Gappa_pred_fixflt.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_tree.v", line 152, characters 30-38: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_tree.v", line 154, characters 30-38: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_round.v", line 129, characters 16-19: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_round.v", line 159, characters 13-16: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_round.v", line 198, characters 13-16: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_tree.v", line 361, characters 6-14: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_tree.v", line 361, characters 6-14: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_tree.v", line 375, characters 5-13: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_tree.v", line 375, characters 5-13: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_round.v", line 351, characters 19-22: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_round.v", line 402, characters 19-22: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_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_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 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 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 110, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 125, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 138, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 139, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 183, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_round.v", line 643, characters 18-21: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 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 668, characters 14-17: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,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 234, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28: Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28: Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 245, characters 12-28: Warning: Notation Z.abs_involutive is deprecated since 8.19. Use abs_idemp [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_tree.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v File "./src/Gappa_pred_fixflt.v", line 283, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 316, characters 1-9: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 359, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 359, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 368, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 446, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 447, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_rewriting.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_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_pred_abs.vo Finished src/Gappa_pred_bnd.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_lin.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_user.v File "./src/Gappa_pred_rel.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_float.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_float.v", line 10, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 13, characters 7-15: Warning: Use of "Notation" keyword for abbreviations is deprecated, use "Abbreviation" instead. [notation-for-abbreviation,deprecated-since-9.2,deprecated,default] 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] Finished src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v File "./src/Gappa_float.v", line 94, characters 41-44: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 97, characters 23-26: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 105, characters 18-21: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 116, characters 41-44: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 119, characters 23-26: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 128, characters 18-21: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 136, characters 26-29: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_fixed.v", line 1, characters 5-8: Warning: "From Coq" has been replaced by "From Stdlib". [deprecated-from-Coq,deprecated-since-9.0,deprecated,default] File "./src/Gappa_float.v", line 153, characters 41-44: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 156, characters 23-26: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 164, characters 18-21: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 168, characters 26-29: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 217, characters 26-29: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 228, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 243, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 251, characters 26-29: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 261, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 269, characters 26-29: Warning: Using "..." is deprecated, use "; auto with typeclass_instances." instead [deprecated-end-tac,deprecated-since-9.2,deprecated,default] File "./src/Gappa_float.v", line 282, characters 2-10: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 282, characters 20-28: Warning: Notation Zle_bool is deprecated since 9.0. Use Z.leb instead. [deprecated-syntactic-definition-since-9.0,deprecated-since-9.0,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_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] Finished src/Gappa_pred_lin.vo 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_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 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_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 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] Finished src/Gappa_fixed.vo 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.vvqRgZ + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.8.0-20d239160d980d452f39f06e0f428ffb0e8e4dd4 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT + remake install Building install Finished install + cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_lin.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.8.0-2.fc45 --unique-debug-suffix -1.8.0-2.fc45.aarch64 --unique-debug-src-base gappalib-coq-1.8.0-2.fc45.aarch64 --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.aarch64 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 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-det --brp -j4 /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT Scanned 18 directories and 49 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors + /usr/bin/linkdupes --brp /builddir/build/BUILD/gappalib-coq-1.8.0-build/BUILDROOT/usr Scanned 17 directories and 49 files, considered 49 files, read 0 files, linked 0 files, 0 errors sum of sizes of linked files: 0 bytes Reading /builddir/build/BUILD/gappalib-coq-1.8.0-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.hdqjKt + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,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.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.wxXCAG + 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.Vwih64 + 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(aarch-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.aarch64 Provides: gappalib-coq-source = 1.8.0-2.fc45 gappalib-coq-source(aarch-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.aarch64 Provides: gappalib-coq-debugsource = 1.8.0-2.fc45 gappalib-coq-debugsource(aarch-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.aarch64 Provides: debuginfo(build-id) = eb1d7721d2941f001d920479e0dd717990cd639f gappalib-coq-debuginfo = 1.8.0-2.fc45 gappalib-coq-debuginfo(aarch-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(aarch-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.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.8.0-2.fc45.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.8.0-2.fc45.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.8.0-2.fc45.aarch64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.xtrzIL + 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-aarch64-1775862948.024412/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.8.0-2.fc45.src.rpm) Config(child) 0 minutes 39 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-debugsource", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "aarch64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "aarch64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "src" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "aarch64" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.8.0", "release": "2.fc45", "arch": "aarch64" } ] } RPMResults finished