Warning: Permanently added '54.147.198.48' (ED25519) to the list of known hosts. Running: /usr/bin/copr-rpmbuild --verbose --drop-resultdir --build-id 5184523 --chroot fedora-rawhide-x86_64 --detached Version: 0.62 PID: 16558 Logging PID: 16559 Task: {'appstream': False, 'background': True, 'build_id': 5184523, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': 'ef0abc47d598feaf8ed251c2ff7e43c8bd412892', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/jakub/gcc-13-test.checker/gappalib-coq', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'gappalib-coq', 'package_version': '1.5.2-5', 'project_dirname': 'gcc-13-test.checker', 'project_name': 'gcc-13-test.checker', 'project_owner': 'jakub', 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/jakub/gcc-13-test.checker/fedora-rawhide-x86_64/', 'id': 'copr_base', 'name': 'Copr repository'}, {'baseurl': 'https://jakub.fedorapeople.org/fedora-gcc13-$arch/', 'id': 'https_jakub_fedorapeople_org_fedora_gcc13_arch', 'name': 'Additional repo https_jakub_fedorapeople_org_fedora_gcc13_arch'}], 'sandbox': 'jakub/gcc-13-test.checker--jakub', 'source_json': {}, 'source_type': None, 'submitter': 'jakub', 'tags': [], 'task_id': '5184523-fedora-rawhide-x86_64', 'timeout': 115200, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/jakub/gcc-13-test.checker/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/jakub/gcc-13-test.checker/gappalib-coq', '/var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq'... Running: git checkout ef0abc47d598feaf8ed251c2ff7e43c8bd412892 cmd: ['git', 'checkout', 'ef0abc47d598feaf8ed251c2ff7e43c8bd412892'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq rc: 0 stdout: stderr: Note: switching to 'ef0abc47d598feaf8ed251c2ff7e43c8bd412892'. 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 ef0abc4 automatic import of gappalib-coq Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/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.5.2.tar.gz INFO: Calling: curl -H Pragma: -o gappalib-coq-1.5.2.tar.gz --location --remote-time --show-error --fail https://copr-dist-git.fedorainfracloud.org/repo/pkgs/jakub/gcc-13-test.checker/gappalib-coq/gappalib-coq-1.5.2.tar.gz/md5/e0e3a3026184c2a3fc0facb45606d068/gappalib-coq-1.5.2.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated 100 81979 100 81979 0 0 1211k 0 --:--:-- --:--:-- --:--:-- 1194k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.2.tar.gz Running (timeout=115200): unbuffer mock --buildsrpm --spec /var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1672242847.185558 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 3.5 starting (python version = 3.11.0, NVR = mock-3.5-1.fc37)... 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-g1tgmn2t/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-x86_64) Start: clean chroot Finish: clean chroot Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1672242847.185558/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: enabled HW Info plugin Mock Version: 3.5 INFO: Mock Version: 3.5 Start(bootstrap): dnf install No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 20 MB/s | 1.9 MB 00:00 Additional repo https_jakub_fedorapeople_org_fe 459 kB/s | 92 kB 00:00 fedora 45 MB/s | 65 MB 00:01 Dependencies resolved. ========================================================================================================================= Package Arch Version Repository Size ========================================================================================================================= Installing: dnf noarch 4.14.0-1.fc38 fedora 480 k dnf-plugins-core noarch 4.3.1-1.fc38 fedora 34 k Installing dependencies: alternatives x86_64 1.21-1.fc38 fedora 38 k audit-libs x86_64 3.0.9-2.fc38 fedora 116 k basesystem noarch 11-14.fc37 fedora 7.0 k bash x86_64 5.2.9-3.fc38 fedora 1.8 M bzip2-libs x86_64 1.0.8-12.fc37 fedora 41 k ca-certificates noarch 2022.2.54-5.fc37 fedora 829 k coreutils x86_64 9.1-8.fc38 fedora 1.1 M coreutils-common x86_64 9.1-8.fc38 fedora 2.0 M crypto-policies noarch 20221215-1.gita4c31a3.fc38 fedora 90 k curl x86_64 7.87.0-1.fc38 fedora 344 k cyrus-sasl-lib x86_64 2.1.28-8.fc38 fedora 792 k dbus-libs x86_64 1:1.14.4-1.fc38 fedora 156 k dnf-data noarch 4.14.0-1.fc38 fedora 43 k elfutils-default-yama-scope noarch 0.188-3.fc38 fedora 15 k elfutils-libelf x86_64 0.188-3.fc38 fedora 196 k elfutils-libs x86_64 0.188-3.fc38 fedora 257 k expat x86_64 2.5.0-1.fc38 fedora 110 k fedora-gpg-keys noarch 38-0.3 fedora 125 k fedora-release noarch 38-0.6 fedora 11 k fedora-release-common noarch 38-0.6 fedora 21 k fedora-release-identity-basic noarch 38-0.6 fedora 11 k fedora-repos noarch 38-0.3 fedora 10 k fedora-repos-rawhide noarch 38-0.3 fedora 9.7 k file-libs x86_64 5.42-4.fc37 fedora 676 k filesystem x86_64 3.18-2.fc37 fedora 1.1 M findutils x86_64 1:4.9.0-2.fc37 fedora 492 k gawk x86_64 5.1.1-4.fc37 fedora 1.0 M gdbm-libs x86_64 1:1.23-2.fc37 fedora 56 k glib2 x86_64 2.74.1-2.fc38 fedora 2.7 M glibc x86_64 2.36.9000-19.fc38 fedora 2.1 M glibc-common x86_64 2.36.9000-19.fc38 fedora 309 k glibc-minimal-langpack x86_64 2.36.9000-19.fc38 fedora 30 k gmp x86_64 1:6.2.1-3.fc37 fedora 315 k gnupg2 x86_64 2.3.8-1.fc38 fedora 2.6 M gnutls x86_64 3.7.8-9.fc38 fedora 1.1 M gpgme x86_64 1.17.1-3.fc38 fedora 210 k grep x86_64 3.8-1.fc38 fedora 292 k ima-evm-utils x86_64 1.4-6.fc37 fedora 63 k json-c x86_64 0.16-3.fc38 fedora 41 k keyutils-libs x86_64 1.6.1-5.fc37 fedora 31 k krb5-libs x86_64 1.20.1-3.fc38 fedora 723 k libacl x86_64 2.3.1-4.fc37 fedora 23 k libarchive x86_64 3.6.1-3.fc38 fedora 397 k libassuan x86_64 2.5.5-5.fc37 fedora 67 k libattr x86_64 2.5.1-5.fc37 fedora 18 k libb2 x86_64 0.98.1-7.fc37 fedora 25 k libblkid x86_64 2.38.1-3.fc38 fedora 106 k libbrotli x86_64 1.0.9-9.fc37 fedora 315 k libcap x86_64 2.48-5.fc37 fedora 67 k libcap-ng x86_64 0.8.3-4.fc38 fedora 32 k libcom_err x86_64 1.46.5-3.fc38 copr_base 26 k libcomps x86_64 0.1.18-4.fc37 fedora 76 k libcurl x86_64 7.87.0-1.fc38 fedora 301 k libdnf x86_64 0.68.0-1.fc38 fedora 673 k libevent x86_64 2.1.12-7.fc37 fedora 261 k libffi x86_64 3.4.4-1.fc38 fedora 38 k libfsverity x86_64 1.4-8.fc37 fedora 19 k libgcc x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 93 k libgcrypt x86_64 1.10.1-6.fc38 fedora 511 k libgomp x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 300 k libgpg-error x86_64 1.46-1.fc38 fedora 227 k libidn2 x86_64 2.3.4-1.fc38 fedora 160 k libksba x86_64 1.6.3-1.fc38 fedora 158 k libmodulemd x86_64 2.14.0-4.fc37 fedora 234 k libmount x86_64 2.38.1-3.fc38 fedora 135 k libnghttp2 x86_64 1.51.0-1.fc38 fedora 75 k libnsl2 x86_64 2.0.0-4.fc37 fedora 30 k libpsl x86_64 0.21.1-6.fc37 fedora 63 k librepo x86_64 1.15.1-1.fc38 fedora 96 k libreport-filesystem noarch 2.17.6-1.fc38 fedora 14 k libselinux x86_64 3.5-0.rc1.1.fc38 fedora 86 k libsemanage x86_64 3.5-0.rc1.1.fc38 fedora 119 k libsepol x86_64 3.5-0.rc1.1.fc38 fedora 322 k libsigsegv x86_64 2.14-3.fc37 fedora 27 k libsmartcols x86_64 2.38.1-3.fc38 fedora 64 k libsolv x86_64 0.7.22-3.fc37 fedora 405 k libssh x86_64 0.10.4-2.fc38 fedora 209 k libssh-config noarch 0.10.4-2.fc38 fedora 8.8 k libstdc++ x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 799 k libtasn1 x86_64 4.19.0-1.fc38 fedora 75 k libtirpc x86_64 1.3.3-0.fc37 fedora 93 k libunistring x86_64 1.0-2.fc37 fedora 549 k libuuid x86_64 2.38.1-3.fc38 fedora 27 k libverto x86_64 0.3.2-4.fc37 fedora 21 k libxcrypt x86_64 4.4.33-5.fc38 fedora 120 k libxml2 x86_64 2.10.3-2.fc38 fedora 705 k libyaml x86_64 0.2.5-8.fc37 fedora 60 k libzstd x86_64 1.5.2-3.fc37 fedora 294 k lua-libs x86_64 5.4.4-6.fc38 fedora 131 k lz4-libs x86_64 1.9.3-5.fc37 fedora 70 k mpdecimal x86_64 2.5.1-4.fc37 fedora 102 k mpfr x86_64 4.1.1-2.fc38 fedora 598 k ncurses-base noarch 6.3-5.20221126.fc38 fedora 86 k ncurses-libs x86_64 6.3-5.20221126.fc38 fedora 329 k nettle x86_64 3.8-2.fc37 fedora 414 k npth x86_64 1.6-10.fc38 fedora 24 k openldap x86_64 2.6.3-1.fc38 fedora 254 k openssl-libs x86_64 1:3.0.5-6.fc38 fedora 2.1 M p11-kit x86_64 0.24.1-5.fc38 fedora 376 k p11-kit-trust x86_64 0.24.1-5.fc38 fedora 137 k pcre2 x86_64 10.40-1.fc37.1 fedora 236 k pcre2-syntax noarch 10.40-1.fc37.1 fedora 142 k popt x86_64 1.19-1.fc38 fedora 66 k publicsuffix-list-dafsa noarch 20221208-1.fc38 fedora 59 k python-pip-wheel noarch 22.3.1-1.fc38 fedora 1.4 M python-setuptools-wheel noarch 65.5.1-1.fc38 fedora 715 k python3 x86_64 3.11.1-1.fc38 fedora 27 k python3-dateutil noarch 1:2.8.2-4.fc37 fedora 361 k python3-dbus x86_64 1.3.2-1.fc38 fedora 157 k python3-distro noarch 1.8.0-1.fc38 fedora 49 k python3-dnf noarch 4.14.0-1.fc38 fedora 607 k python3-dnf-plugins-core noarch 4.3.1-1.fc38 fedora 277 k python3-gpg x86_64 1.17.1-3.fc38 fedora 296 k python3-hawkey x86_64 0.68.0-1.fc38 fedora 108 k python3-libcomps x86_64 0.1.18-4.fc37 fedora 48 k python3-libdnf x86_64 0.68.0-1.fc38 fedora 818 k python3-libs x86_64 3.11.1-1.fc38 fedora 9.6 M python3-rpm x86_64 4.18.0-8.fc38 fedora 94 k python3-six noarch 1.16.0-8.fc37 fedora 42 k readline x86_64 8.2-2.fc38 fedora 211 k rpm x86_64 4.18.0-8.fc38 fedora 572 k rpm-build-libs x86_64 4.18.0-8.fc38 fedora 94 k rpm-libs x86_64 4.18.0-8.fc38 fedora 309 k rpm-sequoia x86_64 1.2.0-1.fc38 fedora 829 k rpm-sign-libs x86_64 4.18.0-8.fc38 fedora 27 k sed x86_64 4.8-11.fc37 fedora 306 k setup noarch 2.14.3-1.fc38 fedora 152 k shadow-utils x86_64 2:4.13-3.fc38 fedora 1.3 M sqlite-libs x86_64 3.40.0-1.fc38 fedora 661 k systemd-libs x86_64 252.4-598.fc38 fedora 632 k tpm2-tss x86_64 4.0.0-0.1.rc2.fc38 fedora 710 k tzdata noarch 2022g-1.fc38 fedora 716 k xz-libs x86_64 5.2.9-1.fc38 fedora 93 k zchunk-libs x86_64 1.2.3-1.fc38 fedora 51 k zlib x86_64 1.2.13-1.fc38 fedora 94 k Transaction Summary ========================================================================================================================= Install 137 Packages Total download size: 57 M Installed size: 200 M Downloading Packages: (1/137): libcom_err-1.46.5-3.fc38.x86_64.rpm 394 kB/s | 26 kB 00:00 (2/137): libgcc-13.0.0-0.4.fc38.x86_64.rpm 726 kB/s | 93 kB 00:00 (3/137): alternatives-1.21-1.fc38.x86_64.rpm 1.4 MB/s | 38 kB 00:00 (4/137): audit-libs-3.0.9-2.fc38.x86_64.rpm 33 MB/s | 116 kB 00:00 (5/137): basesystem-11-14.fc37.noarch.rpm 3.9 MB/s | 7.0 kB 00:00 (6/137): bash-5.2.9-3.fc38.x86_64.rpm 88 MB/s | 1.8 MB 00:00 (7/137): bzip2-libs-1.0.8-12.fc37.x86_64.rpm 21 MB/s | 41 kB 00:00 (8/137): libgomp-13.0.0-0.4.fc38.x86_64.rpm 1.6 MB/s | 300 kB 00:00 (9/137): ca-certificates-2022.2.54-5.fc37.noarc 73 MB/s | 829 kB 00:00 (10/137): coreutils-9.1-8.fc38.x86_64.rpm 71 MB/s | 1.1 MB 00:00 (11/137): coreutils-common-9.1-8.fc38.x86_64.rp 152 MB/s | 2.0 MB 00:00 (12/137): crypto-policies-20221215-1.gita4c31a3 11 MB/s | 90 kB 00:00 (13/137): curl-7.87.0-1.fc38.x86_64.rpm 62 MB/s | 344 kB 00:00 (14/137): cyrus-sasl-lib-2.1.28-8.fc38.x86_64.r 102 MB/s | 792 kB 00:00 (15/137): dbus-libs-1.14.4-1.fc38.x86_64.rpm 52 MB/s | 156 kB 00:00 (16/137): dnf-4.14.0-1.fc38.noarch.rpm 119 MB/s | 480 kB 00:00 (17/137): dnf-data-4.14.0-1.fc38.noarch.rpm 11 MB/s | 43 kB 00:00 (18/137): dnf-plugins-core-4.3.1-1.fc38.noarch. 18 MB/s | 34 kB 00:00 (19/137): elfutils-default-yama-scope-0.188-3.f 6.8 MB/s | 15 kB 00:00 (20/137): elfutils-libelf-0.188-3.fc38.x86_64.r 65 MB/s | 196 kB 00:00 (21/137): elfutils-libs-0.188-3.fc38.x86_64.rpm 51 MB/s | 257 kB 00:00 (22/137): libstdc++-13.0.0-0.4.fc38.x86_64.rpm 4.6 MB/s | 799 kB 00:00 (23/137): fedora-gpg-keys-38-0.3.noarch.rpm 15 MB/s | 125 kB 00:00 (24/137): expat-2.5.0-1.fc38.x86_64.rpm 9.7 MB/s | 110 kB 00:00 (25/137): fedora-release-38-0.6.noarch.rpm 2.7 MB/s | 11 kB 00:00 (26/137): fedora-release-identity-basic-38-0.6. 2.9 MB/s | 11 kB 00:00 (27/137): fedora-release-common-38-0.6.noarch.r 4.4 MB/s | 21 kB 00:00 (28/137): fedora-repos-38-0.3.noarch.rpm 2.7 MB/s | 10 kB 00:00 (29/137): fedora-repos-rawhide-38-0.3.noarch.rp 2.1 MB/s | 9.7 kB 00:00 (30/137): file-libs-5.42-4.fc37.x86_64.rpm 81 MB/s | 676 kB 00:00 (31/137): filesystem-3.18-2.fc37.x86_64.rpm 106 MB/s | 1.1 MB 00:00 (32/137): findutils-4.9.0-2.fc37.x86_64.rpm 49 MB/s | 492 kB 00:00 (33/137): gawk-5.1.1-4.fc37.x86_64.rpm 125 MB/s | 1.0 MB 00:00 (34/137): gdbm-libs-1.23-2.fc37.x86_64.rpm 10 MB/s | 56 kB 00:00 (35/137): glib2-2.74.1-2.fc38.x86_64.rpm 225 MB/s | 2.7 MB 00:00 (36/137): glibc-common-2.36.9000-19.fc38.x86_64 27 MB/s | 309 kB 00:00 (37/137): glibc-2.36.9000-19.fc38.x86_64.rpm 126 MB/s | 2.1 MB 00:00 (38/137): glibc-minimal-langpack-2.36.9000-19.f 5.4 MB/s | 30 kB 00:00 (39/137): gmp-6.2.1-3.fc37.x86_64.rpm 75 MB/s | 315 kB 00:00 (40/137): gpgme-1.17.1-3.fc38.x86_64.rpm 33 MB/s | 210 kB 00:00 (41/137): gnutls-3.7.8-9.fc38.x86_64.rpm 97 MB/s | 1.1 MB 00:00 (42/137): gnupg2-2.3.8-1.fc38.x86_64.rpm 148 MB/s | 2.6 MB 00:00 (43/137): grep-3.8-1.fc38.x86_64.rpm 28 MB/s | 292 kB 00:00 (44/137): ima-evm-utils-1.4-6.fc37.x86_64.rpm 9.1 MB/s | 63 kB 00:00 (45/137): keyutils-libs-1.6.1-5.fc37.x86_64.rpm 5.4 MB/s | 31 kB 00:00 (46/137): json-c-0.16-3.fc38.x86_64.rpm 5.6 MB/s | 41 kB 00:00 (47/137): krb5-libs-1.20.1-3.fc38.x86_64.rpm 71 MB/s | 723 kB 00:00 (48/137): libacl-2.3.1-4.fc37.x86_64.rpm 3.2 MB/s | 23 kB 00:00 (49/137): libarchive-3.6.1-3.fc38.x86_64.rpm 47 MB/s | 397 kB 00:00 (50/137): libassuan-2.5.5-5.fc37.x86_64.rpm 13 MB/s | 67 kB 00:00 (51/137): libattr-2.5.1-5.fc37.x86_64.rpm 5.8 MB/s | 18 kB 00:00 (52/137): libb2-0.98.1-7.fc37.x86_64.rpm 12 MB/s | 25 kB 00:00 (53/137): libblkid-2.38.1-3.fc38.x86_64.rpm 27 MB/s | 106 kB 00:00 (54/137): libbrotli-1.0.9-9.fc37.x86_64.rpm 56 MB/s | 315 kB 00:00 (55/137): libcap-2.48-5.fc37.x86_64.rpm 14 MB/s | 67 kB 00:00 (56/137): libcap-ng-0.8.3-4.fc38.x86_64.rpm 10 MB/s | 32 kB 00:00 (57/137): libcomps-0.1.18-4.fc37.x86_64.rpm 29 MB/s | 76 kB 00:00 (58/137): libcurl-7.87.0-1.fc38.x86_64.rpm 78 MB/s | 301 kB 00:00 (59/137): libdnf-0.68.0-1.fc38.x86_64.rpm 132 MB/s | 673 kB 00:00 (60/137): libevent-2.1.12-7.fc37.x86_64.rpm 64 MB/s | 261 kB 00:00 (61/137): libffi-3.4.4-1.fc38.x86_64.rpm 14 MB/s | 38 kB 00:00 (62/137): libfsverity-1.4-8.fc37.x86_64.rpm 10 MB/s | 19 kB 00:00 (63/137): libgcrypt-1.10.1-6.fc38.x86_64.rpm 149 MB/s | 511 kB 00:00 (64/137): libgpg-error-1.46-1.fc38.x86_64.rpm 56 MB/s | 227 kB 00:00 (65/137): libidn2-2.3.4-1.fc38.x86_64.rpm 23 MB/s | 160 kB 00:00 (66/137): libksba-1.6.3-1.fc38.x86_64.rpm 26 MB/s | 158 kB 00:00 (67/137): libmodulemd-2.14.0-4.fc37.x86_64.rpm 43 MB/s | 234 kB 00:00 (68/137): libmount-2.38.1-3.fc38.x86_64.rpm 51 MB/s | 135 kB 00:00 (69/137): libnsl2-2.0.0-4.fc37.x86_64.rpm 8.8 MB/s | 30 kB 00:00 (70/137): libnghttp2-1.51.0-1.fc38.x86_64.rpm 18 MB/s | 75 kB 00:00 (71/137): libpsl-0.21.1-6.fc37.x86_64.rpm 19 MB/s | 63 kB 00:00 (72/137): libreport-filesystem-2.17.6-1.fc38.no 3.9 MB/s | 14 kB 00:00 (73/137): libselinux-3.5-0.rc1.1.fc38.x86_64.rp 8.6 MB/s | 86 kB 00:00 (74/137): librepo-1.15.1-1.fc38.x86_64.rpm 8.2 MB/s | 96 kB 00:00 (75/137): libsemanage-3.5-0.rc1.1.fc38.x86_64.r 11 MB/s | 119 kB 00:00 (76/137): libsigsegv-2.14-3.fc37.x86_64.rpm 4.0 MB/s | 27 kB 00:00 (77/137): libsepol-3.5-0.rc1.1.fc38.x86_64.rpm 38 MB/s | 322 kB 00:00 (78/137): libsmartcols-2.38.1-3.fc38.x86_64.rpm 11 MB/s | 64 kB 00:00 (79/137): libsolv-0.7.22-3.fc37.x86_64.rpm 74 MB/s | 405 kB 00:00 (80/137): libssh-0.10.4-2.fc38.x86_64.rpm 39 MB/s | 209 kB 00:00 (81/137): libssh-config-0.10.4-2.fc38.noarch.rp 1.4 MB/s | 8.8 kB 00:00 (82/137): libtasn1-4.19.0-1.fc38.x86_64.rpm 5.9 MB/s | 75 kB 00:00 (83/137): libtirpc-1.3.3-0.fc37.x86_64.rpm 7.5 MB/s | 93 kB 00:00 (84/137): libunistring-1.0-2.fc37.x86_64.rpm 42 MB/s | 549 kB 00:00 (85/137): libuuid-2.38.1-3.fc38.x86_64.rpm 3.2 MB/s | 27 kB 00:00 (86/137): libverto-0.3.2-4.fc37.x86_64.rpm 2.5 MB/s | 21 kB 00:00 (87/137): libxcrypt-4.4.33-5.fc38.x86_64.rpm 14 MB/s | 120 kB 00:00 (88/137): libyaml-0.2.5-8.fc37.x86_64.rpm 6.8 MB/s | 60 kB 00:00 (89/137): libzstd-1.5.2-3.fc37.x86_64.rpm 24 MB/s | 294 kB 00:00 (90/137): libxml2-2.10.3-2.fc38.x86_64.rpm 40 MB/s | 705 kB 00:00 (91/137): lua-libs-5.4.4-6.fc38.x86_64.rpm 12 MB/s | 131 kB 00:00 (92/137): lz4-libs-1.9.3-5.fc37.x86_64.rpm 11 MB/s | 70 kB 00:00 (93/137): mpdecimal-2.5.1-4.fc37.x86_64.rpm 16 MB/s | 102 kB 00:00 (94/137): ncurses-base-6.3-5.20221126.fc38.noar 14 MB/s | 86 kB 00:00 (95/137): ncurses-libs-6.3-5.20221126.fc38.x86_ 53 MB/s | 329 kB 00:00 (96/137): mpfr-4.1.1-2.fc38.x86_64.rpm 54 MB/s | 598 kB 00:00 (97/137): nettle-3.8-2.fc37.x86_64.rpm 124 MB/s | 414 kB 00:00 (98/137): npth-1.6-10.fc38.x86_64.rpm 6.4 MB/s | 24 kB 00:00 (99/137): openldap-2.6.3-1.fc38.x86_64.rpm 80 MB/s | 254 kB 00:00 (100/137): p11-kit-0.24.1-5.fc38.x86_64.rpm 57 MB/s | 376 kB 00:00 (101/137): openssl-libs-3.0.5-6.fc38.x86_64.rpm 179 MB/s | 2.1 MB 00:00 (102/137): p11-kit-trust-0.24.1-5.fc38.x86_64.r 13 MB/s | 137 kB 00:00 (103/137): pcre2-10.40-1.fc37.1.x86_64.rpm 58 MB/s | 236 kB 00:00 (104/137): popt-1.19-1.fc38.x86_64.rpm 25 MB/s | 66 kB 00:00 (105/137): pcre2-syntax-10.40-1.fc37.1.noarch.r 41 MB/s | 142 kB 00:00 (106/137): publicsuffix-list-dafsa-20221208-1.f 17 MB/s | 59 kB 00:00 (107/137): python3-3.11.1-1.fc38.x86_64.rpm 6.0 MB/s | 27 kB 00:00 (108/137): python-pip-wheel-22.3.1-1.fc38.noarc 153 MB/s | 1.4 MB 00:00 (109/137): python-setuptools-wheel-65.5.1-1.fc3 71 MB/s | 715 kB 00:00 (110/137): python3-dateutil-2.8.2-4.fc37.noarch 84 MB/s | 361 kB 00:00 (111/137): python3-dbus-1.3.2-1.fc38.x86_64.rpm 44 MB/s | 157 kB 00:00 (112/137): python3-distro-1.8.0-1.fc38.noarch.r 9.8 MB/s | 49 kB 00:00 (113/137): python3-dnf-4.14.0-1.fc38.noarch.rpm 109 MB/s | 607 kB 00:00 (114/137): python3-dnf-plugins-core-4.3.1-1.fc3 75 MB/s | 277 kB 00:00 (115/137): python3-gpg-1.17.1-3.fc38.x86_64.rpm 80 MB/s | 296 kB 00:00 (116/137): python3-hawkey-0.68.0-1.fc38.x86_64. 33 MB/s | 108 kB 00:00 (117/137): python3-libcomps-0.1.18-4.fc37.x86_6 18 MB/s | 48 kB 00:00 (118/137): python3-libdnf-0.68.0-1.fc38.x86_64. 103 MB/s | 818 kB 00:00 (119/137): python3-rpm-4.18.0-8.fc38.x86_64.rpm 6.7 MB/s | 94 kB 00:00 (120/137): python3-six-1.16.0-8.fc37.noarch.rpm 2.3 MB/s | 42 kB 00:00 (121/137): readline-8.2-2.fc38.x86_64.rpm 17 MB/s | 211 kB 00:00 (122/137): python3-libs-3.11.1-1.fc38.x86_64.rp 226 MB/s | 9.6 MB 00:00 (123/137): rpm-build-libs-4.18.0-8.fc38.x86_64. 7.1 MB/s | 94 kB 00:00 (124/137): rpm-4.18.0-8.fc38.x86_64.rpm 30 MB/s | 572 kB 00:00 (125/137): rpm-libs-4.18.0-8.fc38.x86_64.rpm 96 MB/s | 309 kB 00:00 (126/137): rpm-sign-libs-4.18.0-8.fc38.x86_64.r 15 MB/s | 27 kB 00:00 (127/137): rpm-sequoia-1.2.0-1.fc38.x86_64.rpm 143 MB/s | 829 kB 00:00 (128/137): sed-4.8-11.fc37.x86_64.rpm 42 MB/s | 306 kB 00:00 (129/137): setup-2.14.3-1.fc38.noarch.rpm 20 MB/s | 152 kB 00:00 (130/137): sqlite-libs-3.40.0-1.fc38.x86_64.rpm 78 MB/s | 661 kB 00:00 (131/137): systemd-libs-252.4-598.fc38.x86_64.r 80 MB/s | 632 kB 00:00 (132/137): shadow-utils-4.13-3.fc38.x86_64.rpm 80 MB/s | 1.3 MB 00:00 (133/137): tpm2-tss-4.0.0-0.1.rc2.fc38.x86_64.r 131 MB/s | 710 kB 00:00 (134/137): tzdata-2022g-1.fc38.noarch.rpm 118 MB/s | 716 kB 00:00 (135/137): zchunk-libs-1.2.3-1.fc38.x86_64.rpm 28 MB/s | 51 kB 00:00 (136/137): zlib-1.2.13-1.fc38.x86_64.rpm 45 MB/s | 94 kB 00:00 (137/137): xz-libs-5.2.9-1.fc38.x86_64.rpm 11 MB/s | 93 kB 00:00 -------------------------------------------------------------------------------- Total 91 MB/s | 57 MB 00:00 fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0xEB10B464: Userid : "Fedora (38) " Fingerprint: 6A51 BBAB BA3D 5467 B617 1221 809A 8D7C EB10 B464 From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-38-primary Key imported successfully fedora 1.6 MB/s | 1.6 kB 00:00 GPG key at file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-38-primary (0xEB10B464) is already installed fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x5323552A: Userid : "Fedora (37) " Fingerprint: ACB5 EE4E 831C 74BB 7C16 8D27 F55A D3FB 5323 552A From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-37-primary Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-2.fc37.x86_64 1/1 Preparing : 1/1 Installing : libgcc-13.0.0-0.4.fc38.x86_64 1/137 Running scriptlet: libgcc-13.0.0-0.4.fc38.x86_64 1/137 Installing : crypto-policies-20221215-1.gita4c31a3.fc38.noarc 2/137 Running scriptlet: crypto-policies-20221215-1.gita4c31a3.fc38.noarc 2/137 Installing : tzdata-2022g-1.fc38.noarch 3/137 Installing : fedora-release-identity-basic-38-0.6.noarch 4/137 Installing : python-setuptools-wheel-65.5.1-1.fc38.noarch 5/137 Installing : publicsuffix-list-dafsa-20221208-1.fc38.noarch 6/137 Installing : pcre2-syntax-10.40-1.fc37.1.noarch 7/137 Installing : ncurses-base-6.3-5.20221126.fc38.noarch 8/137 Installing : libssh-config-0.10.4-2.fc38.noarch 9/137 Installing : libreport-filesystem-2.17.6-1.fc38.noarch 10/137 Installing : dnf-data-4.14.0-1.fc38.noarch 11/137 warning: /etc/dnf/dnf.conf created as /etc/dnf/dnf.conf.rpmnew Installing : fedora-gpg-keys-38-0.3.noarch 12/137 Installing : fedora-release-38-0.6.noarch 13/137 Installing : fedora-release-common-38-0.6.noarch 14/137 Installing : fedora-repos-rawhide-38-0.3.noarch 15/137 Installing : fedora-repos-38-0.3.noarch 16/137 Installing : setup-2.14.3-1.fc38.noarch 17/137 Running scriptlet: setup-2.14.3-1.fc38.noarch 17/137 Installing : filesystem-3.18-2.fc37.x86_64 18/137 Installing : basesystem-11-14.fc37.noarch 19/137 Installing : glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 20/137 Installing : glibc-common-2.36.9000-19.fc38.x86_64 21/137 Running scriptlet: glibc-2.36.9000-19.fc38.x86_64 22/137 Installing : glibc-2.36.9000-19.fc38.x86_64 22/137 Running scriptlet: glibc-2.36.9000-19.fc38.x86_64 22/137 Installing : ncurses-libs-6.3-5.20221126.fc38.x86_64 23/137 Installing : bash-5.2.9-3.fc38.x86_64 24/137 Running scriptlet: bash-5.2.9-3.fc38.x86_64 24/137 Installing : zlib-1.2.13-1.fc38.x86_64 25/137 Installing : bzip2-libs-1.0.8-12.fc37.x86_64 26/137 Installing : xz-libs-5.2.9-1.fc38.x86_64 27/137 Installing : libzstd-1.5.2-3.fc37.x86_64 28/137 Installing : sqlite-libs-3.40.0-1.fc38.x86_64 29/137 Installing : gmp-1:6.2.1-3.fc37.x86_64 30/137 Installing : libcap-2.48-5.fc37.x86_64 31/137 Installing : libgpg-error-1.46-1.fc38.x86_64 32/137 Installing : popt-1.19-1.fc38.x86_64 33/137 Installing : libxml2-2.10.3-2.fc38.x86_64 34/137 Installing : libstdc++-13.0.0-0.4.fc38.x86_64 35/137 Installing : libuuid-2.38.1-3.fc38.x86_64 36/137 Installing : lua-libs-5.4.4-6.fc38.x86_64 37/137 Installing : elfutils-libelf-0.188-3.fc38.x86_64 38/137 Installing : file-libs-5.42-4.fc37.x86_64 39/137 Installing : readline-8.2-2.fc38.x86_64 40/137 Installing : libattr-2.5.1-5.fc37.x86_64 41/137 Installing : libacl-2.3.1-4.fc37.x86_64 42/137 Installing : libffi-3.4.4-1.fc38.x86_64 43/137 Installing : p11-kit-0.24.1-5.fc38.x86_64 44/137 Installing : libunistring-1.0-2.fc37.x86_64 45/137 Installing : libidn2-2.3.4-1.fc38.x86_64 46/137 Installing : libxcrypt-4.4.33-5.fc38.x86_64 47/137 Installing : pcre2-10.40-1.fc37.1.x86_64 48/137 Installing : libassuan-2.5.5-5.fc37.x86_64 49/137 Installing : nettle-3.8-2.fc37.x86_64 50/137 Installing : rpm-sequoia-1.2.0-1.fc38.x86_64 51/137 Installing : libcom_err-1.46.5-3.fc38.x86_64 52/137 Installing : libgomp-13.0.0-0.4.fc38.x86_64 53/137 Installing : expat-2.5.0-1.fc38.x86_64 54/137 Installing : gdbm-libs-1:1.23-2.fc37.x86_64 55/137 Installing : json-c-0.16-3.fc38.x86_64 56/137 Installing : keyutils-libs-1.6.1-5.fc37.x86_64 57/137 Installing : libsepol-3.5-0.rc1.1.fc38.x86_64 58/137 Installing : libselinux-3.5-0.rc1.1.fc38.x86_64 59/137 Installing : sed-4.8-11.fc37.x86_64 60/137 Installing : libsmartcols-2.38.1-3.fc38.x86_64 61/137 Installing : libtasn1-4.19.0-1.fc38.x86_64 62/137 Installing : lz4-libs-1.9.3-5.fc37.x86_64 63/137 Installing : systemd-libs-252.4-598.fc38.x86_64 64/137 Installing : dbus-libs-1:1.14.4-1.fc38.x86_64 65/137 Installing : findutils-1:4.9.0-2.fc37.x86_64 66/137 Installing : cyrus-sasl-lib-2.1.28-8.fc38.x86_64 67/137 Installing : libcomps-0.1.18-4.fc37.x86_64 68/137 Installing : libb2-0.98.1-7.fc37.x86_64 69/137 Installing : grep-3.8-1.fc38.x86_64 70/137 Installing : libpsl-0.21.1-6.fc37.x86_64 71/137 Installing : libblkid-2.38.1-3.fc38.x86_64 72/137 Installing : libmount-2.38.1-3.fc38.x86_64 73/137 Installing : mpdecimal-2.5.1-4.fc37.x86_64 74/137 Installing : libgcrypt-1.10.1-6.fc38.x86_64 75/137 Installing : libksba-1.6.3-1.fc38.x86_64 76/137 Installing : mpfr-4.1.1-2.fc38.x86_64 77/137 Installing : elfutils-default-yama-scope-0.188-3.fc38.noarch 78/137 Running scriptlet: elfutils-default-yama-scope-0.188-3.fc38.noarch 78/137 Installing : elfutils-libs-0.188-3.fc38.x86_64 79/137 Installing : alternatives-1.21-1.fc38.x86_64 80/137 Installing : p11-kit-trust-0.24.1-5.fc38.x86_64 81/137 Running scriptlet: p11-kit-trust-0.24.1-5.fc38.x86_64 81/137 Installing : gnutls-3.7.8-9.fc38.x86_64 82/137 Installing : glib2-2.74.1-2.fc38.x86_64 83/137 Installing : libbrotli-1.0.9-9.fc37.x86_64 84/137 Installing : libcap-ng-0.8.3-4.fc38.x86_64 85/137 Installing : audit-libs-3.0.9-2.fc38.x86_64 86/137 Installing : rpm-libs-4.18.0-8.fc38.x86_64 87/137 Installing : rpm-build-libs-4.18.0-8.fc38.x86_64 88/137 Installing : libsemanage-3.5-0.rc1.1.fc38.x86_64 89/137 Installing : shadow-utils-2:4.13-3.fc38.x86_64 90/137 Installing : libnghttp2-1.51.0-1.fc38.x86_64 91/137 Installing : libsigsegv-2.14-3.fc37.x86_64 92/137 Installing : gawk-5.1.1-4.fc37.x86_64 93/137 Installing : libverto-0.3.2-4.fc37.x86_64 94/137 Installing : libyaml-0.2.5-8.fc37.x86_64 95/137 Installing : libmodulemd-2.14.0-4.fc37.x86_64 96/137 Installing : npth-1.6-10.fc38.x86_64 97/137 Installing : coreutils-common-9.1-8.fc38.x86_64 98/137 Installing : openssl-libs-1:3.0.5-6.fc38.x86_64 99/137 Installing : coreutils-9.1-8.fc38.x86_64 100/137 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 101/137 Installing : ca-certificates-2022.2.54-5.fc37.noarch 101/137 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 101/137 Installing : krb5-libs-1.20.1-3.fc38.x86_64 102/137 Installing : libtirpc-1.3.3-0.fc37.x86_64 103/137 Installing : libfsverity-1.4-8.fc37.x86_64 104/137 Installing : zchunk-libs-1.2.3-1.fc38.x86_64 105/137 Installing : libsolv-0.7.22-3.fc37.x86_64 106/137 Installing : libnsl2-2.0.0-4.fc37.x86_64 107/137 Installing : libssh-0.10.4-2.fc38.x86_64 108/137 Installing : python-pip-wheel-22.3.1-1.fc38.noarch 109/137 Installing : python3-3.11.1-1.fc38.x86_64 110/137 Installing : python3-libs-3.11.1-1.fc38.x86_64 111/137 Installing : python3-dbus-1.3.2-1.fc38.x86_64 112/137 Installing : python3-libcomps-0.1.18-4.fc37.x86_64 113/137 Installing : python3-distro-1.8.0-1.fc38.noarch 114/137 Installing : python3-six-1.16.0-8.fc37.noarch 115/137 Installing : python3-dateutil-1:2.8.2-4.fc37.noarch 116/137 Installing : libarchive-3.6.1-3.fc38.x86_64 117/137 Installing : libevent-2.1.12-7.fc37.x86_64 118/137 Installing : openldap-2.6.3-1.fc38.x86_64 119/137 Installing : libcurl-7.87.0-1.fc38.x86_64 120/137 Installing : gnupg2-2.3.8-1.fc38.x86_64 121/137 Installing : gpgme-1.17.1-3.fc38.x86_64 122/137 Installing : librepo-1.15.1-1.fc38.x86_64 123/137 Installing : libdnf-0.68.0-1.fc38.x86_64 124/137 Installing : python3-libdnf-0.68.0-1.fc38.x86_64 125/137 Installing : python3-hawkey-0.68.0-1.fc38.x86_64 126/137 Installing : python3-gpg-1.17.1-3.fc38.x86_64 127/137 Installing : curl-7.87.0-1.fc38.x86_64 128/137 Running scriptlet: tpm2-tss-4.0.0-0.1.rc2.fc38.x86_64 129/137 useradd: Warning: missing or non-executable shell '/usr/sbin/nologin' Installing : tpm2-tss-4.0.0-0.1.rc2.fc38.x86_64 129/137 Installing : ima-evm-utils-1.4-6.fc37.x86_64 130/137 Installing : rpm-sign-libs-4.18.0-8.fc38.x86_64 131/137 Installing : python3-rpm-4.18.0-8.fc38.x86_64 132/137 Installing : python3-dnf-4.14.0-1.fc38.noarch 133/137 Installing : python3-dnf-plugins-core-4.3.1-1.fc38.noarch 134/137 Installing : dnf-plugins-core-4.3.1-1.fc38.noarch 135/137 Installing : dnf-4.14.0-1.fc38.noarch 136/137 Running scriptlet: dnf-4.14.0-1.fc38.noarch 136/137 Running scriptlet: rpm-4.18.0-8.fc38.x86_64 137/137 Installing : rpm-4.18.0-8.fc38.x86_64 137/137 Running scriptlet: filesystem-3.18-2.fc37.x86_64 137/137 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 137/137 Running scriptlet: rpm-4.18.0-8.fc38.x86_64 137/137 Verifying : libcom_err-1.46.5-3.fc38.x86_64 1/137 Verifying : libgcc-13.0.0-0.4.fc38.x86_64 2/137 Verifying : libgomp-13.0.0-0.4.fc38.x86_64 3/137 Verifying : libstdc++-13.0.0-0.4.fc38.x86_64 4/137 Verifying : alternatives-1.21-1.fc38.x86_64 5/137 Verifying : audit-libs-3.0.9-2.fc38.x86_64 6/137 Verifying : basesystem-11-14.fc37.noarch 7/137 Verifying : bash-5.2.9-3.fc38.x86_64 8/137 Verifying : bzip2-libs-1.0.8-12.fc37.x86_64 9/137 Verifying : ca-certificates-2022.2.54-5.fc37.noarch 10/137 Verifying : coreutils-9.1-8.fc38.x86_64 11/137 Verifying : coreutils-common-9.1-8.fc38.x86_64 12/137 Verifying : crypto-policies-20221215-1.gita4c31a3.fc38.noarc 13/137 Verifying : curl-7.87.0-1.fc38.x86_64 14/137 Verifying : cyrus-sasl-lib-2.1.28-8.fc38.x86_64 15/137 Verifying : dbus-libs-1:1.14.4-1.fc38.x86_64 16/137 Verifying : dnf-4.14.0-1.fc38.noarch 17/137 Verifying : dnf-data-4.14.0-1.fc38.noarch 18/137 Verifying : dnf-plugins-core-4.3.1-1.fc38.noarch 19/137 Verifying : elfutils-default-yama-scope-0.188-3.fc38.noarch 20/137 Verifying : elfutils-libelf-0.188-3.fc38.x86_64 21/137 Verifying : elfutils-libs-0.188-3.fc38.x86_64 22/137 Verifying : expat-2.5.0-1.fc38.x86_64 23/137 Verifying : fedora-gpg-keys-38-0.3.noarch 24/137 Verifying : fedora-release-38-0.6.noarch 25/137 Verifying : fedora-release-common-38-0.6.noarch 26/137 Verifying : fedora-release-identity-basic-38-0.6.noarch 27/137 Verifying : fedora-repos-38-0.3.noarch 28/137 Verifying : fedora-repos-rawhide-38-0.3.noarch 29/137 Verifying : file-libs-5.42-4.fc37.x86_64 30/137 Verifying : filesystem-3.18-2.fc37.x86_64 31/137 Verifying : findutils-1:4.9.0-2.fc37.x86_64 32/137 Verifying : gawk-5.1.1-4.fc37.x86_64 33/137 Verifying : gdbm-libs-1:1.23-2.fc37.x86_64 34/137 Verifying : glib2-2.74.1-2.fc38.x86_64 35/137 Verifying : glibc-2.36.9000-19.fc38.x86_64 36/137 Verifying : glibc-common-2.36.9000-19.fc38.x86_64 37/137 Verifying : glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 38/137 Verifying : gmp-1:6.2.1-3.fc37.x86_64 39/137 Verifying : gnupg2-2.3.8-1.fc38.x86_64 40/137 Verifying : gnutls-3.7.8-9.fc38.x86_64 41/137 Verifying : gpgme-1.17.1-3.fc38.x86_64 42/137 Verifying : grep-3.8-1.fc38.x86_64 43/137 Verifying : ima-evm-utils-1.4-6.fc37.x86_64 44/137 Verifying : json-c-0.16-3.fc38.x86_64 45/137 Verifying : keyutils-libs-1.6.1-5.fc37.x86_64 46/137 Verifying : krb5-libs-1.20.1-3.fc38.x86_64 47/137 Verifying : libacl-2.3.1-4.fc37.x86_64 48/137 Verifying : libarchive-3.6.1-3.fc38.x86_64 49/137 Verifying : libassuan-2.5.5-5.fc37.x86_64 50/137 Verifying : libattr-2.5.1-5.fc37.x86_64 51/137 Verifying : libb2-0.98.1-7.fc37.x86_64 52/137 Verifying : libblkid-2.38.1-3.fc38.x86_64 53/137 Verifying : libbrotli-1.0.9-9.fc37.x86_64 54/137 Verifying : libcap-2.48-5.fc37.x86_64 55/137 Verifying : libcap-ng-0.8.3-4.fc38.x86_64 56/137 Verifying : libcomps-0.1.18-4.fc37.x86_64 57/137 Verifying : libcurl-7.87.0-1.fc38.x86_64 58/137 Verifying : libdnf-0.68.0-1.fc38.x86_64 59/137 Verifying : libevent-2.1.12-7.fc37.x86_64 60/137 Verifying : libffi-3.4.4-1.fc38.x86_64 61/137 Verifying : libfsverity-1.4-8.fc37.x86_64 62/137 Verifying : libgcrypt-1.10.1-6.fc38.x86_64 63/137 Verifying : libgpg-error-1.46-1.fc38.x86_64 64/137 Verifying : libidn2-2.3.4-1.fc38.x86_64 65/137 Verifying : libksba-1.6.3-1.fc38.x86_64 66/137 Verifying : libmodulemd-2.14.0-4.fc37.x86_64 67/137 Verifying : libmount-2.38.1-3.fc38.x86_64 68/137 Verifying : libnghttp2-1.51.0-1.fc38.x86_64 69/137 Verifying : libnsl2-2.0.0-4.fc37.x86_64 70/137 Verifying : libpsl-0.21.1-6.fc37.x86_64 71/137 Verifying : librepo-1.15.1-1.fc38.x86_64 72/137 Verifying : libreport-filesystem-2.17.6-1.fc38.noarch 73/137 Verifying : libselinux-3.5-0.rc1.1.fc38.x86_64 74/137 Verifying : libsemanage-3.5-0.rc1.1.fc38.x86_64 75/137 Verifying : libsepol-3.5-0.rc1.1.fc38.x86_64 76/137 Verifying : libsigsegv-2.14-3.fc37.x86_64 77/137 Verifying : libsmartcols-2.38.1-3.fc38.x86_64 78/137 Verifying : libsolv-0.7.22-3.fc37.x86_64 79/137 Verifying : libssh-0.10.4-2.fc38.x86_64 80/137 Verifying : libssh-config-0.10.4-2.fc38.noarch 81/137 Verifying : libtasn1-4.19.0-1.fc38.x86_64 82/137 Verifying : libtirpc-1.3.3-0.fc37.x86_64 83/137 Verifying : libunistring-1.0-2.fc37.x86_64 84/137 Verifying : libuuid-2.38.1-3.fc38.x86_64 85/137 Verifying : libverto-0.3.2-4.fc37.x86_64 86/137 Verifying : libxcrypt-4.4.33-5.fc38.x86_64 87/137 Verifying : libxml2-2.10.3-2.fc38.x86_64 88/137 Verifying : libyaml-0.2.5-8.fc37.x86_64 89/137 Verifying : libzstd-1.5.2-3.fc37.x86_64 90/137 Verifying : lua-libs-5.4.4-6.fc38.x86_64 91/137 Verifying : lz4-libs-1.9.3-5.fc37.x86_64 92/137 Verifying : mpdecimal-2.5.1-4.fc37.x86_64 93/137 Verifying : mpfr-4.1.1-2.fc38.x86_64 94/137 Verifying : ncurses-base-6.3-5.20221126.fc38.noarch 95/137 Verifying : ncurses-libs-6.3-5.20221126.fc38.x86_64 96/137 Verifying : nettle-3.8-2.fc37.x86_64 97/137 Verifying : npth-1.6-10.fc38.x86_64 98/137 Verifying : openldap-2.6.3-1.fc38.x86_64 99/137 Verifying : openssl-libs-1:3.0.5-6.fc38.x86_64 100/137 Verifying : p11-kit-0.24.1-5.fc38.x86_64 101/137 Verifying : p11-kit-trust-0.24.1-5.fc38.x86_64 102/137 Verifying : pcre2-10.40-1.fc37.1.x86_64 103/137 Verifying : pcre2-syntax-10.40-1.fc37.1.noarch 104/137 Verifying : popt-1.19-1.fc38.x86_64 105/137 Verifying : publicsuffix-list-dafsa-20221208-1.fc38.noarch 106/137 Verifying : python-pip-wheel-22.3.1-1.fc38.noarch 107/137 Verifying : python-setuptools-wheel-65.5.1-1.fc38.noarch 108/137 Verifying : python3-3.11.1-1.fc38.x86_64 109/137 Verifying : python3-dateutil-1:2.8.2-4.fc37.noarch 110/137 Verifying : python3-dbus-1.3.2-1.fc38.x86_64 111/137 Verifying : python3-distro-1.8.0-1.fc38.noarch 112/137 Verifying : python3-dnf-4.14.0-1.fc38.noarch 113/137 Verifying : python3-dnf-plugins-core-4.3.1-1.fc38.noarch 114/137 Verifying : python3-gpg-1.17.1-3.fc38.x86_64 115/137 Verifying : python3-hawkey-0.68.0-1.fc38.x86_64 116/137 Verifying : python3-libcomps-0.1.18-4.fc37.x86_64 117/137 Verifying : python3-libdnf-0.68.0-1.fc38.x86_64 118/137 Verifying : python3-libs-3.11.1-1.fc38.x86_64 119/137 Verifying : python3-rpm-4.18.0-8.fc38.x86_64 120/137 Verifying : python3-six-1.16.0-8.fc37.noarch 121/137 Verifying : readline-8.2-2.fc38.x86_64 122/137 Verifying : rpm-4.18.0-8.fc38.x86_64 123/137 Verifying : rpm-build-libs-4.18.0-8.fc38.x86_64 124/137 Verifying : rpm-libs-4.18.0-8.fc38.x86_64 125/137 Verifying : rpm-sequoia-1.2.0-1.fc38.x86_64 126/137 Verifying : rpm-sign-libs-4.18.0-8.fc38.x86_64 127/137 Verifying : sed-4.8-11.fc37.x86_64 128/137 Verifying : setup-2.14.3-1.fc38.noarch 129/137 Verifying : shadow-utils-2:4.13-3.fc38.x86_64 130/137 Verifying : sqlite-libs-3.40.0-1.fc38.x86_64 131/137 Verifying : systemd-libs-252.4-598.fc38.x86_64 132/137 Verifying : tpm2-tss-4.0.0-0.1.rc2.fc38.x86_64 133/137 Verifying : tzdata-2022g-1.fc38.noarch 134/137 Verifying : xz-libs-5.2.9-1.fc38.x86_64 135/137 Verifying : zchunk-libs-1.2.3-1.fc38.x86_64 136/137 Verifying : zlib-1.2.13-1.fc38.x86_64 137/137 Installed products updated. Installed: alternatives-1.21-1.fc38.x86_64 audit-libs-3.0.9-2.fc38.x86_64 basesystem-11-14.fc37.noarch bash-5.2.9-3.fc38.x86_64 bzip2-libs-1.0.8-12.fc37.x86_64 ca-certificates-2022.2.54-5.fc37.noarch coreutils-9.1-8.fc38.x86_64 coreutils-common-9.1-8.fc38.x86_64 crypto-policies-20221215-1.gita4c31a3.fc38.noarch curl-7.87.0-1.fc38.x86_64 cyrus-sasl-lib-2.1.28-8.fc38.x86_64 dbus-libs-1:1.14.4-1.fc38.x86_64 dnf-4.14.0-1.fc38.noarch dnf-data-4.14.0-1.fc38.noarch dnf-plugins-core-4.3.1-1.fc38.noarch elfutils-default-yama-scope-0.188-3.fc38.noarch elfutils-libelf-0.188-3.fc38.x86_64 elfutils-libs-0.188-3.fc38.x86_64 expat-2.5.0-1.fc38.x86_64 fedora-gpg-keys-38-0.3.noarch fedora-release-38-0.6.noarch fedora-release-common-38-0.6.noarch fedora-release-identity-basic-38-0.6.noarch fedora-repos-38-0.3.noarch fedora-repos-rawhide-38-0.3.noarch file-libs-5.42-4.fc37.x86_64 filesystem-3.18-2.fc37.x86_64 findutils-1:4.9.0-2.fc37.x86_64 gawk-5.1.1-4.fc37.x86_64 gdbm-libs-1:1.23-2.fc37.x86_64 glib2-2.74.1-2.fc38.x86_64 glibc-2.36.9000-19.fc38.x86_64 glibc-common-2.36.9000-19.fc38.x86_64 glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 gmp-1:6.2.1-3.fc37.x86_64 gnupg2-2.3.8-1.fc38.x86_64 gnutls-3.7.8-9.fc38.x86_64 gpgme-1.17.1-3.fc38.x86_64 grep-3.8-1.fc38.x86_64 ima-evm-utils-1.4-6.fc37.x86_64 json-c-0.16-3.fc38.x86_64 keyutils-libs-1.6.1-5.fc37.x86_64 krb5-libs-1.20.1-3.fc38.x86_64 libacl-2.3.1-4.fc37.x86_64 libarchive-3.6.1-3.fc38.x86_64 libassuan-2.5.5-5.fc37.x86_64 libattr-2.5.1-5.fc37.x86_64 libb2-0.98.1-7.fc37.x86_64 libblkid-2.38.1-3.fc38.x86_64 libbrotli-1.0.9-9.fc37.x86_64 libcap-2.48-5.fc37.x86_64 libcap-ng-0.8.3-4.fc38.x86_64 libcom_err-1.46.5-3.fc38.x86_64 libcomps-0.1.18-4.fc37.x86_64 libcurl-7.87.0-1.fc38.x86_64 libdnf-0.68.0-1.fc38.x86_64 libevent-2.1.12-7.fc37.x86_64 libffi-3.4.4-1.fc38.x86_64 libfsverity-1.4-8.fc37.x86_64 libgcc-13.0.0-0.4.fc38.x86_64 libgcrypt-1.10.1-6.fc38.x86_64 libgomp-13.0.0-0.4.fc38.x86_64 libgpg-error-1.46-1.fc38.x86_64 libidn2-2.3.4-1.fc38.x86_64 libksba-1.6.3-1.fc38.x86_64 libmodulemd-2.14.0-4.fc37.x86_64 libmount-2.38.1-3.fc38.x86_64 libnghttp2-1.51.0-1.fc38.x86_64 libnsl2-2.0.0-4.fc37.x86_64 libpsl-0.21.1-6.fc37.x86_64 librepo-1.15.1-1.fc38.x86_64 libreport-filesystem-2.17.6-1.fc38.noarch libselinux-3.5-0.rc1.1.fc38.x86_64 libsemanage-3.5-0.rc1.1.fc38.x86_64 libsepol-3.5-0.rc1.1.fc38.x86_64 libsigsegv-2.14-3.fc37.x86_64 libsmartcols-2.38.1-3.fc38.x86_64 libsolv-0.7.22-3.fc37.x86_64 libssh-0.10.4-2.fc38.x86_64 libssh-config-0.10.4-2.fc38.noarch libstdc++-13.0.0-0.4.fc38.x86_64 libtasn1-4.19.0-1.fc38.x86_64 libtirpc-1.3.3-0.fc37.x86_64 libunistring-1.0-2.fc37.x86_64 libuuid-2.38.1-3.fc38.x86_64 libverto-0.3.2-4.fc37.x86_64 libxcrypt-4.4.33-5.fc38.x86_64 libxml2-2.10.3-2.fc38.x86_64 libyaml-0.2.5-8.fc37.x86_64 libzstd-1.5.2-3.fc37.x86_64 lua-libs-5.4.4-6.fc38.x86_64 lz4-libs-1.9.3-5.fc37.x86_64 mpdecimal-2.5.1-4.fc37.x86_64 mpfr-4.1.1-2.fc38.x86_64 ncurses-base-6.3-5.20221126.fc38.noarch ncurses-libs-6.3-5.20221126.fc38.x86_64 nettle-3.8-2.fc37.x86_64 npth-1.6-10.fc38.x86_64 openldap-2.6.3-1.fc38.x86_64 openssl-libs-1:3.0.5-6.fc38.x86_64 p11-kit-0.24.1-5.fc38.x86_64 p11-kit-trust-0.24.1-5.fc38.x86_64 pcre2-10.40-1.fc37.1.x86_64 pcre2-syntax-10.40-1.fc37.1.noarch popt-1.19-1.fc38.x86_64 publicsuffix-list-dafsa-20221208-1.fc38.noarch python-pip-wheel-22.3.1-1.fc38.noarch python-setuptools-wheel-65.5.1-1.fc38.noarch python3-3.11.1-1.fc38.x86_64 python3-dateutil-1:2.8.2-4.fc37.noarch python3-dbus-1.3.2-1.fc38.x86_64 python3-distro-1.8.0-1.fc38.noarch python3-dnf-4.14.0-1.fc38.noarch python3-dnf-plugins-core-4.3.1-1.fc38.noarch python3-gpg-1.17.1-3.fc38.x86_64 python3-hawkey-0.68.0-1.fc38.x86_64 python3-libcomps-0.1.18-4.fc37.x86_64 python3-libdnf-0.68.0-1.fc38.x86_64 python3-libs-3.11.1-1.fc38.x86_64 python3-rpm-4.18.0-8.fc38.x86_64 python3-six-1.16.0-8.fc37.noarch readline-8.2-2.fc38.x86_64 rpm-4.18.0-8.fc38.x86_64 rpm-build-libs-4.18.0-8.fc38.x86_64 rpm-libs-4.18.0-8.fc38.x86_64 rpm-sequoia-1.2.0-1.fc38.x86_64 rpm-sign-libs-4.18.0-8.fc38.x86_64 sed-4.8-11.fc37.x86_64 setup-2.14.3-1.fc38.noarch shadow-utils-2:4.13-3.fc38.x86_64 sqlite-libs-3.40.0-1.fc38.x86_64 systemd-libs-252.4-598.fc38.x86_64 tpm2-tss-4.0.0-0.1.rc2.fc38.x86_64 tzdata-2022g-1.fc38.noarch xz-libs-5.2.9-1.fc38.x86_64 zchunk-libs-1.2.3-1.fc38.x86_64 zlib-1.2.13-1.fc38.x86_64 Complete! Finish(bootstrap): dnf install Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/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 Mock Version: 3.5 INFO: Mock Version: 3.5 Start: dnf install No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 11 kB/s | 3.0 kB 00:00 Copr repository 5.4 MB/s | 1.9 MB 00:00 Additional repo https_jakub_fedorapeople_org_fe 11 kB/s | 3.0 kB 00:00 fedora 83 kB/s | 22 kB 00:00 Dependencies resolved. ========================================================================================================================= Package Arch Version Repository Size ========================================================================================================================= Installing group/module packages: bash x86_64 5.2.9-3.fc38 fedora 1.8 M bzip2 x86_64 1.0.8-12.fc37 fedora 52 k coreutils x86_64 9.1-8.fc38 fedora 1.1 M cpio x86_64 2.13-13.fc38 fedora 276 k diffutils x86_64 3.8-3.fc37 fedora 378 k fedora-release-common noarch 38-0.6 fedora 21 k findutils x86_64 1:4.9.0-2.fc37 fedora 492 k gawk x86_64 5.1.1-4.fc37 fedora 1.0 M glibc-minimal-langpack x86_64 2.36.9000-19.fc38 fedora 30 k grep x86_64 3.8-1.fc38 fedora 292 k gzip x86_64 1.12-2.fc37 fedora 166 k info x86_64 7.0.1-1.fc38 fedora 181 k patch x86_64 2.7.6-17.fc37 fedora 124 k redhat-rpm-config noarch 235-1.fc38 fedora 80 k rpm-build x86_64 4.18.0-8.fc38 fedora 77 k sed x86_64 4.8-11.fc37 fedora 306 k shadow-utils x86_64 2:4.13-3.fc38 fedora 1.3 M tar x86_64 2:1.34-5.fc38 fedora 885 k unzip x86_64 6.0-58.fc38 fedora 182 k util-linux x86_64 2.38.1-3.fc38 fedora 2.3 M which x86_64 2.21-36.fc38 fedora 41 k xz x86_64 5.2.9-1.fc38 fedora 306 k Installing dependencies: alternatives x86_64 1.21-1.fc38 fedora 38 k ansible-srpm-macros noarch 1-8.1.fc38 fedora 8.6 k audit-libs x86_64 3.0.9-2.fc38 fedora 116 k authselect x86_64 1.4.2-1.fc38 fedora 144 k authselect-libs x86_64 1.4.2-1.fc38 fedora 250 k basesystem noarch 11-14.fc37 fedora 7.0 k binutils x86_64 2.39-6.fc38 fedora 5.5 M binutils-gold x86_64 2.39-6.fc38 fedora 777 k bzip2-libs x86_64 1.0.8-12.fc37 fedora 41 k ca-certificates noarch 2022.2.54-5.fc37 fedora 829 k coreutils-common x86_64 9.1-8.fc38 fedora 2.0 M cracklib x86_64 2.9.7-30.fc38 fedora 92 k crypto-policies noarch 20221215-1.gita4c31a3.fc38 fedora 90 k curl x86_64 7.87.0-1.fc38 fedora 344 k cyrus-sasl-lib x86_64 2.1.28-8.fc38 fedora 792 k debugedit x86_64 5.0-5.fc37 fedora 77 k dwz x86_64 0.15-1.fc38 fedora 136 k ed x86_64 1.18-2.fc37 fedora 78 k efi-srpm-macros noarch 5-6.fc37 fedora 22 k elfutils x86_64 0.188-3.fc38 fedora 529 k elfutils-debuginfod-client x86_64 0.188-3.fc38 fedora 40 k elfutils-default-yama-scope noarch 0.188-3.fc38 fedora 15 k elfutils-libelf x86_64 0.188-3.fc38 fedora 196 k elfutils-libs x86_64 0.188-3.fc38 fedora 257 k fedora-gpg-keys noarch 38-0.3 fedora 125 k fedora-release noarch 38-0.6 fedora 11 k fedora-release-identity-basic noarch 38-0.6 fedora 11 k fedora-repos noarch 38-0.3 fedora 10 k fedora-repos-rawhide noarch 38-0.3 fedora 9.7 k file x86_64 5.42-4.fc37 fedora 49 k file-libs x86_64 5.42-4.fc37 fedora 676 k filesystem x86_64 3.18-2.fc37 fedora 1.1 M fonts-srpm-macros noarch 1:2.0.5-10.fc38 fedora 26 k fpc-srpm-macros noarch 1.3-6.fc37 fedora 7.7 k gdb-minimal x86_64 12.1-10.fc38 fedora 3.7 M gdbm-libs x86_64 1:1.23-2.fc37 fedora 56 k ghc-srpm-macros noarch 1.5.0-7.fc37 fedora 7.8 k glibc x86_64 2.36.9000-19.fc38 fedora 2.1 M glibc-common x86_64 2.36.9000-19.fc38 fedora 309 k glibc-gconv-extra x86_64 2.36.9000-19.fc38 fedora 1.6 M gmp x86_64 1:6.2.1-3.fc37 fedora 315 k gnat-srpm-macros noarch 4-16.fc37 fedora 8.3 k go-srpm-macros noarch 3.2.0-1.fc38 fedora 27 k jansson x86_64 2.13.1-5.fc37 fedora 44 k kernel-srpm-macros noarch 1.0-15.fc37 fedora 9.4 k keyutils-libs x86_64 1.6.1-5.fc37 fedora 31 k krb5-libs x86_64 1.20.1-3.fc38 fedora 723 k libacl x86_64 2.3.1-4.fc37 fedora 23 k libarchive x86_64 3.6.1-3.fc38 fedora 397 k libattr x86_64 2.5.1-5.fc37 fedora 18 k libblkid x86_64 2.38.1-3.fc38 fedora 106 k libbrotli x86_64 1.0.9-9.fc37 fedora 315 k libcap x86_64 2.48-5.fc37 fedora 67 k libcap-ng x86_64 0.8.3-4.fc38 fedora 32 k libcom_err x86_64 1.46.5-3.fc38 copr_base 26 k libcurl x86_64 7.87.0-1.fc38 fedora 301 k libdb x86_64 5.3.28-54.fc38 fedora 764 k libeconf x86_64 0.4.0-4.fc37 fedora 27 k libevent x86_64 2.1.12-7.fc37 fedora 261 k libfdisk x86_64 2.38.1-3.fc38 fedora 160 k libffi x86_64 3.4.4-1.fc38 fedora 38 k libgcc x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 93 k libgomp x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 300 k libidn2 x86_64 2.3.4-1.fc38 fedora 160 k libmount x86_64 2.38.1-3.fc38 fedora 135 k libnghttp2 x86_64 1.51.0-1.fc38 fedora 75 k libnsl2 x86_64 2.0.0-4.fc37 fedora 30 k libpkgconf x86_64 1.8.0-3.fc37 fedora 36 k libpsl x86_64 0.21.1-6.fc37 fedora 63 k libpwquality x86_64 1.4.5-1.fc38 fedora 119 k libselinux x86_64 3.5-0.rc1.1.fc38 fedora 86 k libsemanage x86_64 3.5-0.rc1.1.fc38 fedora 119 k libsepol x86_64 3.5-0.rc1.1.fc38 fedora 322 k libsigsegv x86_64 2.14-3.fc37 fedora 27 k libsmartcols x86_64 2.38.1-3.fc38 fedora 64 k libssh x86_64 0.10.4-2.fc38 fedora 209 k libssh-config noarch 0.10.4-2.fc38 fedora 8.8 k libstdc++ x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 799 k libtasn1 x86_64 4.19.0-1.fc38 fedora 75 k libtirpc x86_64 1.3.3-0.fc37 fedora 93 k libunistring x86_64 1.0-2.fc37 fedora 549 k libutempter x86_64 1.2.1-7.fc37 fedora 26 k libuuid x86_64 2.38.1-3.fc38 fedora 27 k libverto x86_64 0.3.2-4.fc37 fedora 21 k libxcrypt x86_64 4.4.33-5.fc38 fedora 120 k libxml2 x86_64 2.10.3-2.fc38 fedora 705 k libzstd x86_64 1.5.2-3.fc37 fedora 294 k lua-libs x86_64 5.4.4-6.fc38 fedora 131 k lua-srpm-macros noarch 1-7.fc37 fedora 8.8 k lz4-libs x86_64 1.9.3-5.fc37 fedora 70 k mpfr x86_64 4.1.1-2.fc38 fedora 598 k ncurses-base noarch 6.3-5.20221126.fc38 fedora 86 k ncurses-libs x86_64 6.3-5.20221126.fc38 fedora 329 k nettle x86_64 3.8-2.fc37 fedora 414 k nim-srpm-macros noarch 3-7.fc37 fedora 8.4 k ocaml-srpm-macros noarch 7-2.fc37 fedora 13 k openblas-srpm-macros noarch 2-12.fc37 fedora 7.5 k openldap x86_64 2.6.3-1.fc38 fedora 254 k openssl-libs x86_64 1:3.0.5-6.fc38 fedora 2.1 M p11-kit x86_64 0.24.1-5.fc38 fedora 376 k p11-kit-trust x86_64 0.24.1-5.fc38 fedora 137 k package-notes-srpm-macros noarch 0.5-6.fc38 fedora 11 k pam x86_64 1.5.2-15.fc38 fedora 559 k pam-libs x86_64 1.5.2-15.fc38 fedora 57 k pcre2 x86_64 10.40-1.fc37.1 fedora 236 k pcre2-syntax noarch 10.40-1.fc37.1 fedora 142 k perl-srpm-macros noarch 1-47.fc38 fedora 8.2 k pkgconf x86_64 1.8.0-3.fc37 fedora 41 k pkgconf-m4 noarch 1.8.0-3.fc37 fedora 14 k pkgconf-pkg-config x86_64 1.8.0-3.fc37 fedora 10 k popt x86_64 1.19-1.fc38 fedora 66 k publicsuffix-list-dafsa noarch 20221208-1.fc38 fedora 59 k python-srpm-macros noarch 3.11-6.fc38 fedora 25 k qt5-srpm-macros noarch 5.15.7-1.fc38 fedora 7.9 k readline x86_64 8.2-2.fc38 fedora 211 k rpm x86_64 4.18.0-8.fc38 fedora 572 k rpm-build-libs x86_64 4.18.0-8.fc38 fedora 94 k rpm-libs x86_64 4.18.0-8.fc38 fedora 309 k rpm-sequoia x86_64 1.2.0-1.fc38 fedora 829 k rpmautospec-rpm-macros noarch 0.3.1-1.fc38 fedora 8.8 k rust-srpm-macros noarch 23-1.fc38 fedora 9.4 k setup noarch 2.14.3-1.fc38 fedora 152 k sqlite-libs x86_64 3.40.0-1.fc38 fedora 661 k systemd-libs x86_64 252.4-598.fc38 fedora 632 k tzdata noarch 2022g-1.fc38 fedora 716 k util-linux-core x86_64 2.38.1-3.fc38 fedora 470 k xxhash-libs x86_64 0.8.1-3.fc37 fedora 41 k xz-libs x86_64 5.2.9-1.fc38 fedora 93 k zip x86_64 3.0-35.fc38 fedora 259 k zlib x86_64 1.2.13-1.fc38 fedora 94 k zstd x86_64 1.5.2-3.fc37 fedora 447 k Installing Groups: Buildsystem building group Transaction Summary ========================================================================================================================= Install 153 Packages Total size: 52 M Installed size: 181 M Downloading Packages: [SKIPPED] libcom_err-1.46.5-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libgcc-13.0.0-0.4.fc38.x86_64.rpm: Already downloaded [SKIPPED] libgomp-13.0.0-0.4.fc38.x86_64.rpm: Already downloaded [SKIPPED] libstdc++-13.0.0-0.4.fc38.x86_64.rpm: Already downloaded [SKIPPED] alternatives-1.21-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-8.1.fc38.noarch.rpm: Already downloaded [SKIPPED] audit-libs-3.0.9-2.fc38.x86_64.rpm: Already downloaded [SKIPPED] authselect-1.4.2-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] authselect-libs-1.4.2-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] basesystem-11-14.fc37.noarch.rpm: Already downloaded [SKIPPED] bash-5.2.9-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] binutils-2.39-6.fc38.x86_64.rpm: Already downloaded [SKIPPED] binutils-gold-2.39-6.fc38.x86_64.rpm: Already downloaded [SKIPPED] bzip2-1.0.8-12.fc37.x86_64.rpm: Already downloaded [SKIPPED] bzip2-libs-1.0.8-12.fc37.x86_64.rpm: Already downloaded [SKIPPED] ca-certificates-2022.2.54-5.fc37.noarch.rpm: Already downloaded [SKIPPED] coreutils-9.1-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] coreutils-common-9.1-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] cpio-2.13-13.fc38.x86_64.rpm: Already downloaded [SKIPPED] cracklib-2.9.7-30.fc38.x86_64.rpm: Already downloaded [SKIPPED] crypto-policies-20221215-1.gita4c31a3.fc38.noarch.rpm: Already downloaded [SKIPPED] curl-7.87.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] debugedit-5.0-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] diffutils-3.8-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] dwz-0.15-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] ed-1.18-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] efi-srpm-macros-5-6.fc37.noarch.rpm: Already downloaded [SKIPPED] elfutils-0.188-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.188-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.188-3.fc38.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.188-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] elfutils-libs-0.188-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] fedora-gpg-keys-38-0.3.noarch.rpm: Already downloaded [SKIPPED] fedora-release-38-0.6.noarch.rpm: Already downloaded [SKIPPED] fedora-release-common-38-0.6.noarch.rpm: Already downloaded [SKIPPED] fedora-release-identity-basic-38-0.6.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-38-0.3.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-rawhide-38-0.3.noarch.rpm: Already downloaded [SKIPPED] file-5.42-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] file-libs-5.42-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] filesystem-3.18-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] findutils-4.9.0-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] fonts-srpm-macros-2.0.5-10.fc38.noarch.rpm: Already downloaded [SKIPPED] fpc-srpm-macros-1.3-6.fc37.noarch.rpm: Already downloaded [SKIPPED] gawk-5.1.1-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] gdb-minimal-12.1-10.fc38.x86_64.rpm: Already downloaded [SKIPPED] gdbm-libs-1.23-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] ghc-srpm-macros-1.5.0-7.fc37.noarch.rpm: Already downloaded [SKIPPED] glibc-2.36.9000-19.fc38.x86_64.rpm: Already downloaded [SKIPPED] glibc-common-2.36.9000-19.fc38.x86_64.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.36.9000-19.fc38.x86_64.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.36.9000-19.fc38.x86_64.rpm: Already downloaded [SKIPPED] gmp-6.2.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] gnat-srpm-macros-4-16.fc37.noarch.rpm: Already downloaded [SKIPPED] go-srpm-macros-3.2.0-1.fc38.noarch.rpm: Already downloaded [SKIPPED] grep-3.8-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] gzip-1.12-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] info-7.0.1-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] jansson-2.13.1-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] kernel-srpm-macros-1.0-15.fc37.noarch.rpm: Already downloaded [SKIPPED] keyutils-libs-1.6.1-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] krb5-libs-1.20.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libacl-2.3.1-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] libarchive-3.6.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libattr-2.5.1-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libblkid-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libbrotli-1.0.9-9.fc37.x86_64.rpm: Already downloaded [SKIPPED] libcap-2.48-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libcap-ng-0.8.3-4.fc38.x86_64.rpm: Already downloaded [SKIPPED] libcurl-7.87.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libdb-5.3.28-54.fc38.x86_64.rpm: Already downloaded [SKIPPED] libeconf-0.4.0-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] libevent-2.1.12-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] libfdisk-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libffi-3.4.4-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libidn2-2.3.4-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libmount-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libnghttp2-1.51.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libnsl2-2.0.0-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] libpkgconf-1.8.0-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libpsl-0.21.1-6.fc37.x86_64.rpm: Already downloaded [SKIPPED] libpwquality-1.4.5-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libselinux-3.5-0.rc1.1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libsemanage-3.5-0.rc1.1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libsepol-3.5-0.rc1.1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libsigsegv-2.14-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libsmartcols-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libssh-0.10.4-2.fc38.x86_64.rpm: Already downloaded [SKIPPED] libssh-config-0.10.4-2.fc38.noarch.rpm: Already downloaded [SKIPPED] libtasn1-4.19.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libtirpc-1.3.3-0.fc37.x86_64.rpm: Already downloaded [SKIPPED] libunistring-1.0-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] libutempter-1.2.1-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] libuuid-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] libverto-0.3.2-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.33-5.fc38.x86_64.rpm: Already downloaded [SKIPPED] libxml2-2.10.3-2.fc38.x86_64.rpm: Already downloaded [SKIPPED] libzstd-1.5.2-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] lua-libs-5.4.4-6.fc38.x86_64.rpm: Already downloaded [SKIPPED] lua-srpm-macros-1-7.fc37.noarch.rpm: Already downloaded [SKIPPED] lz4-libs-1.9.3-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] mpfr-4.1.1-2.fc38.x86_64.rpm: Already downloaded [SKIPPED] ncurses-base-6.3-5.20221126.fc38.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.3-5.20221126.fc38.x86_64.rpm: Already downloaded [SKIPPED] nettle-3.8-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] nim-srpm-macros-3-7.fc37.noarch.rpm: Already downloaded [SKIPPED] ocaml-srpm-macros-7-2.fc37.noarch.rpm: Already downloaded [SKIPPED] openblas-srpm-macros-2-12.fc37.noarch.rpm: Already downloaded [SKIPPED] openldap-2.6.3-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] openssl-libs-3.0.5-6.fc38.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-0.24.1-5.fc38.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.24.1-5.fc38.x86_64.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.5-6.fc38.noarch.rpm: Already downloaded [SKIPPED] pam-1.5.2-15.fc38.x86_64.rpm: Already downloaded [SKIPPED] pam-libs-1.5.2-15.fc38.x86_64.rpm: Already downloaded [SKIPPED] patch-2.7.6-17.fc37.x86_64.rpm: Already downloaded [SKIPPED] pcre2-10.40-1.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] pcre2-syntax-10.40-1.fc37.1.noarch.rpm: Already downloaded [SKIPPED] perl-srpm-macros-1-47.fc38.noarch.rpm: Already downloaded [SKIPPED] pkgconf-1.8.0-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] pkgconf-m4-1.8.0-3.fc37.noarch.rpm: Already downloaded [SKIPPED] pkgconf-pkg-config-1.8.0-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] popt-1.19-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] publicsuffix-list-dafsa-20221208-1.fc38.noarch.rpm: Already downloaded [SKIPPED] python-srpm-macros-3.11-6.fc38.noarch.rpm: Already downloaded [SKIPPED] qt5-srpm-macros-5.15.7-1.fc38.noarch.rpm: Already downloaded [SKIPPED] readline-8.2-2.fc38.x86_64.rpm: Already downloaded [SKIPPED] redhat-rpm-config-235-1.fc38.noarch.rpm: Already downloaded [SKIPPED] rpm-4.18.0-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-4.18.0-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.18.0-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] rpm-libs-4.18.0-8.fc38.x86_64.rpm: Already downloaded [SKIPPED] rpm-sequoia-1.2.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] rpmautospec-rpm-macros-0.3.1-1.fc38.noarch.rpm: Already downloaded [SKIPPED] rust-srpm-macros-23-1.fc38.noarch.rpm: Already downloaded [SKIPPED] sed-4.8-11.fc37.x86_64.rpm: Already downloaded [SKIPPED] setup-2.14.3-1.fc38.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.13-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] sqlite-libs-3.40.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] systemd-libs-252.4-598.fc38.x86_64.rpm: Already downloaded [SKIPPED] tar-1.34-5.fc38.x86_64.rpm: Already downloaded [SKIPPED] tzdata-2022g-1.fc38.noarch.rpm: Already downloaded [SKIPPED] unzip-6.0-58.fc38.x86_64.rpm: Already downloaded [SKIPPED] util-linux-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] util-linux-core-2.38.1-3.fc38.x86_64.rpm: Already downloaded [SKIPPED] which-2.21-36.fc38.x86_64.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] xz-5.2.9-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] xz-libs-5.2.9-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] zip-3.0-35.fc38.x86_64.rpm: Already downloaded [SKIPPED] zlib-1.2.13-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] zstd-1.5.2-3.fc37.x86_64.rpm: Already downloaded fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0xEB10B464: Userid : "Fedora (38) " Fingerprint: 6A51 BBAB BA3D 5467 B617 1221 809A 8D7C EB10 B464 From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-38-primary Key imported successfully fedora 1.6 MB/s | 1.6 kB 00:00 GPG key at file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-38-primary (0xEB10B464) is already installed fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x5323552A: Userid : "Fedora (37) " Fingerprint: ACB5 EE4E 831C 74BB 7C16 8D27 F55A D3FB 5323 552A From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-37-primary Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-2.fc37.x86_64 1/1 Preparing : 1/1 Installing : libgcc-13.0.0-0.4.fc38.x86_64 1/153 Running scriptlet: libgcc-13.0.0-0.4.fc38.x86_64 1/153 Installing : crypto-policies-20221215-1.gita4c31a3.fc38.noarc 2/153 Running scriptlet: crypto-policies-20221215-1.gita4c31a3.fc38.noarc 2/153 Installing : fedora-release-identity-basic-38-0.6.noarch 3/153 Installing : tzdata-2022g-1.fc38.noarch 4/153 Installing : rust-srpm-macros-23-1.fc38.noarch 5/153 Installing : qt5-srpm-macros-5.15.7-1.fc38.noarch 6/153 Installing : publicsuffix-list-dafsa-20221208-1.fc38.noarch 7/153 Installing : pkgconf-m4-1.8.0-3.fc37.noarch 8/153 Installing : perl-srpm-macros-1-47.fc38.noarch 9/153 Installing : pcre2-syntax-10.40-1.fc37.1.noarch 10/153 Installing : package-notes-srpm-macros-0.5-6.fc38.noarch 11/153 Installing : openblas-srpm-macros-2-12.fc37.noarch 12/153 Installing : ocaml-srpm-macros-7-2.fc37.noarch 13/153 Installing : nim-srpm-macros-3-7.fc37.noarch 14/153 Installing : ncurses-base-6.3-5.20221126.fc38.noarch 15/153 Installing : libssh-config-0.10.4-2.fc38.noarch 16/153 Installing : kernel-srpm-macros-1.0-15.fc37.noarch 17/153 Installing : gnat-srpm-macros-4-16.fc37.noarch 18/153 Installing : ghc-srpm-macros-1.5.0-7.fc37.noarch 19/153 Installing : fpc-srpm-macros-1.3-6.fc37.noarch 20/153 Installing : fedora-gpg-keys-38-0.3.noarch 21/153 Installing : fedora-release-38-0.6.noarch 22/153 Installing : fedora-release-common-38-0.6.noarch 23/153 Installing : fedora-repos-rawhide-38-0.3.noarch 24/153 Installing : fedora-repos-38-0.3.noarch 25/153 Installing : setup-2.14.3-1.fc38.noarch 26/153 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.3-1.fc38.noarch 26/153 Installing : filesystem-3.18-2.fc37.x86_64 27/153 Installing : basesystem-11-14.fc37.noarch 28/153 Installing : glibc-gconv-extra-2.36.9000-19.fc38.x86_64 29/153 Running scriptlet: glibc-gconv-extra-2.36.9000-19.fc38.x86_64 29/153 Installing : glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 30/153 Installing : glibc-common-2.36.9000-19.fc38.x86_64 31/153 Running scriptlet: glibc-2.36.9000-19.fc38.x86_64 32/153 Installing : glibc-2.36.9000-19.fc38.x86_64 32/153 Running scriptlet: glibc-2.36.9000-19.fc38.x86_64 32/153 Installing : ncurses-libs-6.3-5.20221126.fc38.x86_64 33/153 Installing : bash-5.2.9-3.fc38.x86_64 34/153 Running scriptlet: bash-5.2.9-3.fc38.x86_64 34/153 Installing : zlib-1.2.13-1.fc38.x86_64 35/153 Installing : xz-libs-5.2.9-1.fc38.x86_64 36/153 Installing : bzip2-libs-1.0.8-12.fc37.x86_64 37/153 Installing : elfutils-libelf-0.188-3.fc38.x86_64 38/153 Installing : gmp-1:6.2.1-3.fc37.x86_64 39/153 Installing : libstdc++-13.0.0-0.4.fc38.x86_64 40/153 Installing : libuuid-2.38.1-3.fc38.x86_64 41/153 Installing : libzstd-1.5.2-3.fc37.x86_64 42/153 Installing : popt-1.19-1.fc38.x86_64 43/153 Installing : libblkid-2.38.1-3.fc38.x86_64 44/153 Installing : readline-8.2-2.fc38.x86_64 45/153 Installing : libattr-2.5.1-5.fc37.x86_64 46/153 Installing : libacl-2.3.1-4.fc37.x86_64 47/153 Installing : libcap-2.48-5.fc37.x86_64 48/153 Installing : libxcrypt-4.4.33-5.fc38.x86_64 49/153 Installing : lz4-libs-1.9.3-5.fc37.x86_64 50/153 Installing : systemd-libs-252.4-598.fc38.x86_64 51/153 Installing : mpfr-4.1.1-2.fc38.x86_64 52/153 Installing : dwz-0.15-1.fc38.x86_64 53/153 Installing : unzip-6.0-58.fc38.x86_64 54/153 Installing : file-libs-5.42-4.fc37.x86_64 55/153 Installing : file-5.42-4.fc37.x86_64 56/153 Installing : sqlite-libs-3.40.0-1.fc38.x86_64 57/153 Installing : libcom_err-1.46.5-3.fc38.x86_64 58/153 Installing : alternatives-1.21-1.fc38.x86_64 59/153 Installing : libcap-ng-0.8.3-4.fc38.x86_64 60/153 Installing : audit-libs-3.0.9-2.fc38.x86_64 61/153 Installing : libeconf-0.4.0-4.fc37.x86_64 62/153 Installing : pam-libs-1.5.2-15.fc38.x86_64 63/153 Installing : libsepol-3.5-0.rc1.1.fc38.x86_64 64/153 Installing : libsmartcols-2.38.1-3.fc38.x86_64 65/153 Installing : libunistring-1.0-2.fc37.x86_64 66/153 Installing : libidn2-2.3.4-1.fc38.x86_64 67/153 Installing : lua-libs-5.4.4-6.fc38.x86_64 68/153 Installing : pcre2-10.40-1.fc37.1.x86_64 69/153 Installing : libselinux-3.5-0.rc1.1.fc38.x86_64 70/153 Installing : sed-4.8-11.fc37.x86_64 71/153 Installing : grep-3.8-1.fc38.x86_64 72/153 Installing : findutils-1:4.9.0-2.fc37.x86_64 73/153 Installing : xz-5.2.9-1.fc38.x86_64 74/153 Installing : libmount-2.38.1-3.fc38.x86_64 75/153 Installing : util-linux-core-2.38.1-3.fc38.x86_64 76/153 Installing : libsemanage-3.5-0.rc1.1.fc38.x86_64 77/153 Installing : shadow-utils-2:4.13-3.fc38.x86_64 78/153 Running scriptlet: libutempter-1.2.1-7.fc37.x86_64 79/153 Installing : libutempter-1.2.1-7.fc37.x86_64 79/153 Installing : tar-2:1.34-5.fc38.x86_64 80/153 Installing : libpsl-0.21.1-6.fc37.x86_64 81/153 Installing : zip-3.0-35.fc38.x86_64 82/153 Installing : zstd-1.5.2-3.fc37.x86_64 83/153 Installing : libfdisk-2.38.1-3.fc38.x86_64 84/153 Installing : nettle-3.8-2.fc37.x86_64 85/153 Installing : rpm-sequoia-1.2.0-1.fc38.x86_64 86/153 Installing : rpm-libs-4.18.0-8.fc38.x86_64 87/153 Installing : bzip2-1.0.8-12.fc37.x86_64 88/153 Installing : libxml2-2.10.3-2.fc38.x86_64 89/153 Installing : ed-1.18-2.fc37.x86_64 90/153 Installing : patch-2.7.6-17.fc37.x86_64 91/153 Installing : elfutils-default-yama-scope-0.188-3.fc38.noarch 92/153 Running scriptlet: elfutils-default-yama-scope-0.188-3.fc38.noarch 92/153 Installing : libgomp-13.0.0-0.4.fc38.x86_64 93/153 Installing : cpio-2.13-13.fc38.x86_64 94/153 Installing : diffutils-3.8-3.fc37.x86_64 95/153 Installing : gdbm-libs-1:1.23-2.fc37.x86_64 96/153 Installing : cyrus-sasl-lib-2.1.28-8.fc38.x86_64 97/153 Installing : jansson-2.13.1-5.fc37.x86_64 98/153 Installing : keyutils-libs-1.6.1-5.fc37.x86_64 99/153 Installing : libbrotli-1.0.9-9.fc37.x86_64 100/153 Installing : libdb-5.3.28-54.fc38.x86_64 101/153 Installing : libffi-3.4.4-1.fc38.x86_64 102/153 Installing : p11-kit-0.24.1-5.fc38.x86_64 103/153 Installing : libnghttp2-1.51.0-1.fc38.x86_64 104/153 Installing : libpkgconf-1.8.0-3.fc37.x86_64 105/153 Installing : pkgconf-1.8.0-3.fc37.x86_64 106/153 Installing : pkgconf-pkg-config-1.8.0-3.fc37.x86_64 107/153 Installing : libsigsegv-2.14-3.fc37.x86_64 108/153 Installing : gawk-5.1.1-4.fc37.x86_64 109/153 Installing : libtasn1-4.19.0-1.fc38.x86_64 110/153 Installing : p11-kit-trust-0.24.1-5.fc38.x86_64 111/153 Running scriptlet: p11-kit-trust-0.24.1-5.fc38.x86_64 111/153 Installing : libverto-0.3.2-4.fc37.x86_64 112/153 Installing : xxhash-libs-0.8.1-3.fc37.x86_64 113/153 Installing : coreutils-common-9.1-8.fc38.x86_64 114/153 Installing : openssl-libs-1:3.0.5-6.fc38.x86_64 115/153 Installing : coreutils-9.1-8.fc38.x86_64 116/153 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 117/153 Installing : ca-certificates-2022.2.54-5.fc37.noarch 117/153 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 117/153 Installing : krb5-libs-1.20.1-3.fc38.x86_64 118/153 Installing : libtirpc-1.3.3-0.fc37.x86_64 119/153 Running scriptlet: authselect-libs-1.4.2-1.fc38.x86_64 120/153 Installing : authselect-libs-1.4.2-1.fc38.x86_64 120/153 Installing : gzip-1.12-2.fc37.x86_64 121/153 Installing : cracklib-2.9.7-30.fc38.x86_64 122/153 Installing : libpwquality-1.4.5-1.fc38.x86_64 123/153 Installing : authselect-1.4.2-1.fc38.x86_64 124/153 Installing : libnsl2-2.0.0-4.fc37.x86_64 125/153 Installing : pam-1.5.2-15.fc38.x86_64 126/153 Installing : libssh-0.10.4-2.fc38.x86_64 127/153 Installing : libarchive-3.6.1-3.fc38.x86_64 128/153 Installing : libevent-2.1.12-7.fc37.x86_64 129/153 Installing : openldap-2.6.3-1.fc38.x86_64 130/153 Installing : libcurl-7.87.0-1.fc38.x86_64 131/153 Installing : elfutils-libs-0.188-3.fc38.x86_64 132/153 Installing : elfutils-debuginfod-client-0.188-3.fc38.x86_64 133/153 Installing : binutils-gold-2.39-6.fc38.x86_64 134/153 Installing : binutils-2.39-6.fc38.x86_64 135/153 Running scriptlet: binutils-2.39-6.fc38.x86_64 135/153 Installing : elfutils-0.188-3.fc38.x86_64 136/153 Installing : gdb-minimal-12.1-10.fc38.x86_64 137/153 Installing : debugedit-5.0-5.fc37.x86_64 138/153 Installing : rpm-build-libs-4.18.0-8.fc38.x86_64 139/153 Installing : curl-7.87.0-1.fc38.x86_64 140/153 Running scriptlet: rpm-4.18.0-8.fc38.x86_64 141/153 Installing : rpm-4.18.0-8.fc38.x86_64 141/153 Installing : efi-srpm-macros-5-6.fc37.noarch 142/153 Installing : lua-srpm-macros-1-7.fc37.noarch 143/153 Installing : rpmautospec-rpm-macros-0.3.1-1.fc38.noarch 144/153 Installing : ansible-srpm-macros-1-8.1.fc38.noarch 145/153 Installing : fonts-srpm-macros-1:2.0.5-10.fc38.noarch 146/153 Installing : go-srpm-macros-3.2.0-1.fc38.noarch 147/153 Installing : python-srpm-macros-3.11-6.fc38.noarch 148/153 Installing : redhat-rpm-config-235-1.fc38.noarch 149/153 Installing : rpm-build-4.18.0-8.fc38.x86_64 150/153 Installing : util-linux-2.38.1-3.fc38.x86_64 151/153 Installing : which-2.21-36.fc38.x86_64 152/153 Installing : info-7.0.1-1.fc38.x86_64 153/153 Running scriptlet: filesystem-3.18-2.fc37.x86_64 153/153 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 153/153 Running scriptlet: authselect-libs-1.4.2-1.fc38.x86_64 153/153 Running scriptlet: rpm-4.18.0-8.fc38.x86_64 153/153 Running scriptlet: info-7.0.1-1.fc38.x86_64 153/153 Verifying : libcom_err-1.46.5-3.fc38.x86_64 1/153 Verifying : libgcc-13.0.0-0.4.fc38.x86_64 2/153 Verifying : libgomp-13.0.0-0.4.fc38.x86_64 3/153 Verifying : libstdc++-13.0.0-0.4.fc38.x86_64 4/153 Verifying : alternatives-1.21-1.fc38.x86_64 5/153 Verifying : ansible-srpm-macros-1-8.1.fc38.noarch 6/153 Verifying : audit-libs-3.0.9-2.fc38.x86_64 7/153 Verifying : authselect-1.4.2-1.fc38.x86_64 8/153 Verifying : authselect-libs-1.4.2-1.fc38.x86_64 9/153 Verifying : basesystem-11-14.fc37.noarch 10/153 Verifying : bash-5.2.9-3.fc38.x86_64 11/153 Verifying : binutils-2.39-6.fc38.x86_64 12/153 Verifying : binutils-gold-2.39-6.fc38.x86_64 13/153 Verifying : bzip2-1.0.8-12.fc37.x86_64 14/153 Verifying : bzip2-libs-1.0.8-12.fc37.x86_64 15/153 Verifying : ca-certificates-2022.2.54-5.fc37.noarch 16/153 Verifying : coreutils-9.1-8.fc38.x86_64 17/153 Verifying : coreutils-common-9.1-8.fc38.x86_64 18/153 Verifying : cpio-2.13-13.fc38.x86_64 19/153 Verifying : cracklib-2.9.7-30.fc38.x86_64 20/153 Verifying : crypto-policies-20221215-1.gita4c31a3.fc38.noarc 21/153 Verifying : curl-7.87.0-1.fc38.x86_64 22/153 Verifying : cyrus-sasl-lib-2.1.28-8.fc38.x86_64 23/153 Verifying : debugedit-5.0-5.fc37.x86_64 24/153 Verifying : diffutils-3.8-3.fc37.x86_64 25/153 Verifying : dwz-0.15-1.fc38.x86_64 26/153 Verifying : ed-1.18-2.fc37.x86_64 27/153 Verifying : efi-srpm-macros-5-6.fc37.noarch 28/153 Verifying : elfutils-0.188-3.fc38.x86_64 29/153 Verifying : elfutils-debuginfod-client-0.188-3.fc38.x86_64 30/153 Verifying : elfutils-default-yama-scope-0.188-3.fc38.noarch 31/153 Verifying : elfutils-libelf-0.188-3.fc38.x86_64 32/153 Verifying : elfutils-libs-0.188-3.fc38.x86_64 33/153 Verifying : fedora-gpg-keys-38-0.3.noarch 34/153 Verifying : fedora-release-38-0.6.noarch 35/153 Verifying : fedora-release-common-38-0.6.noarch 36/153 Verifying : fedora-release-identity-basic-38-0.6.noarch 37/153 Verifying : fedora-repos-38-0.3.noarch 38/153 Verifying : fedora-repos-rawhide-38-0.3.noarch 39/153 Verifying : file-5.42-4.fc37.x86_64 40/153 Verifying : file-libs-5.42-4.fc37.x86_64 41/153 Verifying : filesystem-3.18-2.fc37.x86_64 42/153 Verifying : findutils-1:4.9.0-2.fc37.x86_64 43/153 Verifying : fonts-srpm-macros-1:2.0.5-10.fc38.noarch 44/153 Verifying : fpc-srpm-macros-1.3-6.fc37.noarch 45/153 Verifying : gawk-5.1.1-4.fc37.x86_64 46/153 Verifying : gdb-minimal-12.1-10.fc38.x86_64 47/153 Verifying : gdbm-libs-1:1.23-2.fc37.x86_64 48/153 Verifying : ghc-srpm-macros-1.5.0-7.fc37.noarch 49/153 Verifying : glibc-2.36.9000-19.fc38.x86_64 50/153 Verifying : glibc-common-2.36.9000-19.fc38.x86_64 51/153 Verifying : glibc-gconv-extra-2.36.9000-19.fc38.x86_64 52/153 Verifying : glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 53/153 Verifying : gmp-1:6.2.1-3.fc37.x86_64 54/153 Verifying : gnat-srpm-macros-4-16.fc37.noarch 55/153 Verifying : go-srpm-macros-3.2.0-1.fc38.noarch 56/153 Verifying : grep-3.8-1.fc38.x86_64 57/153 Verifying : gzip-1.12-2.fc37.x86_64 58/153 Verifying : info-7.0.1-1.fc38.x86_64 59/153 Verifying : jansson-2.13.1-5.fc37.x86_64 60/153 Verifying : kernel-srpm-macros-1.0-15.fc37.noarch 61/153 Verifying : keyutils-libs-1.6.1-5.fc37.x86_64 62/153 Verifying : krb5-libs-1.20.1-3.fc38.x86_64 63/153 Verifying : libacl-2.3.1-4.fc37.x86_64 64/153 Verifying : libarchive-3.6.1-3.fc38.x86_64 65/153 Verifying : libattr-2.5.1-5.fc37.x86_64 66/153 Verifying : libblkid-2.38.1-3.fc38.x86_64 67/153 Verifying : libbrotli-1.0.9-9.fc37.x86_64 68/153 Verifying : libcap-2.48-5.fc37.x86_64 69/153 Verifying : libcap-ng-0.8.3-4.fc38.x86_64 70/153 Verifying : libcurl-7.87.0-1.fc38.x86_64 71/153 Verifying : libdb-5.3.28-54.fc38.x86_64 72/153 Verifying : libeconf-0.4.0-4.fc37.x86_64 73/153 Verifying : libevent-2.1.12-7.fc37.x86_64 74/153 Verifying : libfdisk-2.38.1-3.fc38.x86_64 75/153 Verifying : libffi-3.4.4-1.fc38.x86_64 76/153 Verifying : libidn2-2.3.4-1.fc38.x86_64 77/153 Verifying : libmount-2.38.1-3.fc38.x86_64 78/153 Verifying : libnghttp2-1.51.0-1.fc38.x86_64 79/153 Verifying : libnsl2-2.0.0-4.fc37.x86_64 80/153 Verifying : libpkgconf-1.8.0-3.fc37.x86_64 81/153 Verifying : libpsl-0.21.1-6.fc37.x86_64 82/153 Verifying : libpwquality-1.4.5-1.fc38.x86_64 83/153 Verifying : libselinux-3.5-0.rc1.1.fc38.x86_64 84/153 Verifying : libsemanage-3.5-0.rc1.1.fc38.x86_64 85/153 Verifying : libsepol-3.5-0.rc1.1.fc38.x86_64 86/153 Verifying : libsigsegv-2.14-3.fc37.x86_64 87/153 Verifying : libsmartcols-2.38.1-3.fc38.x86_64 88/153 Verifying : libssh-0.10.4-2.fc38.x86_64 89/153 Verifying : libssh-config-0.10.4-2.fc38.noarch 90/153 Verifying : libtasn1-4.19.0-1.fc38.x86_64 91/153 Verifying : libtirpc-1.3.3-0.fc37.x86_64 92/153 Verifying : libunistring-1.0-2.fc37.x86_64 93/153 Verifying : libutempter-1.2.1-7.fc37.x86_64 94/153 Verifying : libuuid-2.38.1-3.fc38.x86_64 95/153 Verifying : libverto-0.3.2-4.fc37.x86_64 96/153 Verifying : libxcrypt-4.4.33-5.fc38.x86_64 97/153 Verifying : libxml2-2.10.3-2.fc38.x86_64 98/153 Verifying : libzstd-1.5.2-3.fc37.x86_64 99/153 Verifying : lua-libs-5.4.4-6.fc38.x86_64 100/153 Verifying : lua-srpm-macros-1-7.fc37.noarch 101/153 Verifying : lz4-libs-1.9.3-5.fc37.x86_64 102/153 Verifying : mpfr-4.1.1-2.fc38.x86_64 103/153 Verifying : ncurses-base-6.3-5.20221126.fc38.noarch 104/153 Verifying : ncurses-libs-6.3-5.20221126.fc38.x86_64 105/153 Verifying : nettle-3.8-2.fc37.x86_64 106/153 Verifying : nim-srpm-macros-3-7.fc37.noarch 107/153 Verifying : ocaml-srpm-macros-7-2.fc37.noarch 108/153 Verifying : openblas-srpm-macros-2-12.fc37.noarch 109/153 Verifying : openldap-2.6.3-1.fc38.x86_64 110/153 Verifying : openssl-libs-1:3.0.5-6.fc38.x86_64 111/153 Verifying : p11-kit-0.24.1-5.fc38.x86_64 112/153 Verifying : p11-kit-trust-0.24.1-5.fc38.x86_64 113/153 Verifying : package-notes-srpm-macros-0.5-6.fc38.noarch 114/153 Verifying : pam-1.5.2-15.fc38.x86_64 115/153 Verifying : pam-libs-1.5.2-15.fc38.x86_64 116/153 Verifying : patch-2.7.6-17.fc37.x86_64 117/153 Verifying : pcre2-10.40-1.fc37.1.x86_64 118/153 Verifying : pcre2-syntax-10.40-1.fc37.1.noarch 119/153 Verifying : perl-srpm-macros-1-47.fc38.noarch 120/153 Verifying : pkgconf-1.8.0-3.fc37.x86_64 121/153 Verifying : pkgconf-m4-1.8.0-3.fc37.noarch 122/153 Verifying : pkgconf-pkg-config-1.8.0-3.fc37.x86_64 123/153 Verifying : popt-1.19-1.fc38.x86_64 124/153 Verifying : publicsuffix-list-dafsa-20221208-1.fc38.noarch 125/153 Verifying : python-srpm-macros-3.11-6.fc38.noarch 126/153 Verifying : qt5-srpm-macros-5.15.7-1.fc38.noarch 127/153 Verifying : readline-8.2-2.fc38.x86_64 128/153 Verifying : redhat-rpm-config-235-1.fc38.noarch 129/153 Verifying : rpm-4.18.0-8.fc38.x86_64 130/153 Verifying : rpm-build-4.18.0-8.fc38.x86_64 131/153 Verifying : rpm-build-libs-4.18.0-8.fc38.x86_64 132/153 Verifying : rpm-libs-4.18.0-8.fc38.x86_64 133/153 Verifying : rpm-sequoia-1.2.0-1.fc38.x86_64 134/153 Verifying : rpmautospec-rpm-macros-0.3.1-1.fc38.noarch 135/153 Verifying : rust-srpm-macros-23-1.fc38.noarch 136/153 Verifying : sed-4.8-11.fc37.x86_64 137/153 Verifying : setup-2.14.3-1.fc38.noarch 138/153 Verifying : shadow-utils-2:4.13-3.fc38.x86_64 139/153 Verifying : sqlite-libs-3.40.0-1.fc38.x86_64 140/153 Verifying : systemd-libs-252.4-598.fc38.x86_64 141/153 Verifying : tar-2:1.34-5.fc38.x86_64 142/153 Verifying : tzdata-2022g-1.fc38.noarch 143/153 Verifying : unzip-6.0-58.fc38.x86_64 144/153 Verifying : util-linux-2.38.1-3.fc38.x86_64 145/153 Verifying : util-linux-core-2.38.1-3.fc38.x86_64 146/153 Verifying : which-2.21-36.fc38.x86_64 147/153 Verifying : xxhash-libs-0.8.1-3.fc37.x86_64 148/153 Verifying : xz-5.2.9-1.fc38.x86_64 149/153 Verifying : xz-libs-5.2.9-1.fc38.x86_64 150/153 Verifying : zip-3.0-35.fc38.x86_64 151/153 Verifying : zlib-1.2.13-1.fc38.x86_64 152/153 Verifying : zstd-1.5.2-3.fc37.x86_64 153/153 Installed: alternatives-1.21-1.fc38.x86_64 ansible-srpm-macros-1-8.1.fc38.noarch audit-libs-3.0.9-2.fc38.x86_64 authselect-1.4.2-1.fc38.x86_64 authselect-libs-1.4.2-1.fc38.x86_64 basesystem-11-14.fc37.noarch bash-5.2.9-3.fc38.x86_64 binutils-2.39-6.fc38.x86_64 binutils-gold-2.39-6.fc38.x86_64 bzip2-1.0.8-12.fc37.x86_64 bzip2-libs-1.0.8-12.fc37.x86_64 ca-certificates-2022.2.54-5.fc37.noarch coreutils-9.1-8.fc38.x86_64 coreutils-common-9.1-8.fc38.x86_64 cpio-2.13-13.fc38.x86_64 cracklib-2.9.7-30.fc38.x86_64 crypto-policies-20221215-1.gita4c31a3.fc38.noarch curl-7.87.0-1.fc38.x86_64 cyrus-sasl-lib-2.1.28-8.fc38.x86_64 debugedit-5.0-5.fc37.x86_64 diffutils-3.8-3.fc37.x86_64 dwz-0.15-1.fc38.x86_64 ed-1.18-2.fc37.x86_64 efi-srpm-macros-5-6.fc37.noarch elfutils-0.188-3.fc38.x86_64 elfutils-debuginfod-client-0.188-3.fc38.x86_64 elfutils-default-yama-scope-0.188-3.fc38.noarch elfutils-libelf-0.188-3.fc38.x86_64 elfutils-libs-0.188-3.fc38.x86_64 fedora-gpg-keys-38-0.3.noarch fedora-release-38-0.6.noarch fedora-release-common-38-0.6.noarch fedora-release-identity-basic-38-0.6.noarch fedora-repos-38-0.3.noarch fedora-repos-rawhide-38-0.3.noarch file-5.42-4.fc37.x86_64 file-libs-5.42-4.fc37.x86_64 filesystem-3.18-2.fc37.x86_64 findutils-1:4.9.0-2.fc37.x86_64 fonts-srpm-macros-1:2.0.5-10.fc38.noarch fpc-srpm-macros-1.3-6.fc37.noarch gawk-5.1.1-4.fc37.x86_64 gdb-minimal-12.1-10.fc38.x86_64 gdbm-libs-1:1.23-2.fc37.x86_64 ghc-srpm-macros-1.5.0-7.fc37.noarch glibc-2.36.9000-19.fc38.x86_64 glibc-common-2.36.9000-19.fc38.x86_64 glibc-gconv-extra-2.36.9000-19.fc38.x86_64 glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 gmp-1:6.2.1-3.fc37.x86_64 gnat-srpm-macros-4-16.fc37.noarch go-srpm-macros-3.2.0-1.fc38.noarch grep-3.8-1.fc38.x86_64 gzip-1.12-2.fc37.x86_64 info-7.0.1-1.fc38.x86_64 jansson-2.13.1-5.fc37.x86_64 kernel-srpm-macros-1.0-15.fc37.noarch keyutils-libs-1.6.1-5.fc37.x86_64 krb5-libs-1.20.1-3.fc38.x86_64 libacl-2.3.1-4.fc37.x86_64 libarchive-3.6.1-3.fc38.x86_64 libattr-2.5.1-5.fc37.x86_64 libblkid-2.38.1-3.fc38.x86_64 libbrotli-1.0.9-9.fc37.x86_64 libcap-2.48-5.fc37.x86_64 libcap-ng-0.8.3-4.fc38.x86_64 libcom_err-1.46.5-3.fc38.x86_64 libcurl-7.87.0-1.fc38.x86_64 libdb-5.3.28-54.fc38.x86_64 libeconf-0.4.0-4.fc37.x86_64 libevent-2.1.12-7.fc37.x86_64 libfdisk-2.38.1-3.fc38.x86_64 libffi-3.4.4-1.fc38.x86_64 libgcc-13.0.0-0.4.fc38.x86_64 libgomp-13.0.0-0.4.fc38.x86_64 libidn2-2.3.4-1.fc38.x86_64 libmount-2.38.1-3.fc38.x86_64 libnghttp2-1.51.0-1.fc38.x86_64 libnsl2-2.0.0-4.fc37.x86_64 libpkgconf-1.8.0-3.fc37.x86_64 libpsl-0.21.1-6.fc37.x86_64 libpwquality-1.4.5-1.fc38.x86_64 libselinux-3.5-0.rc1.1.fc38.x86_64 libsemanage-3.5-0.rc1.1.fc38.x86_64 libsepol-3.5-0.rc1.1.fc38.x86_64 libsigsegv-2.14-3.fc37.x86_64 libsmartcols-2.38.1-3.fc38.x86_64 libssh-0.10.4-2.fc38.x86_64 libssh-config-0.10.4-2.fc38.noarch libstdc++-13.0.0-0.4.fc38.x86_64 libtasn1-4.19.0-1.fc38.x86_64 libtirpc-1.3.3-0.fc37.x86_64 libunistring-1.0-2.fc37.x86_64 libutempter-1.2.1-7.fc37.x86_64 libuuid-2.38.1-3.fc38.x86_64 libverto-0.3.2-4.fc37.x86_64 libxcrypt-4.4.33-5.fc38.x86_64 libxml2-2.10.3-2.fc38.x86_64 libzstd-1.5.2-3.fc37.x86_64 lua-libs-5.4.4-6.fc38.x86_64 lua-srpm-macros-1-7.fc37.noarch lz4-libs-1.9.3-5.fc37.x86_64 mpfr-4.1.1-2.fc38.x86_64 ncurses-base-6.3-5.20221126.fc38.noarch ncurses-libs-6.3-5.20221126.fc38.x86_64 nettle-3.8-2.fc37.x86_64 nim-srpm-macros-3-7.fc37.noarch ocaml-srpm-macros-7-2.fc37.noarch openblas-srpm-macros-2-12.fc37.noarch openldap-2.6.3-1.fc38.x86_64 openssl-libs-1:3.0.5-6.fc38.x86_64 p11-kit-0.24.1-5.fc38.x86_64 p11-kit-trust-0.24.1-5.fc38.x86_64 package-notes-srpm-macros-0.5-6.fc38.noarch pam-1.5.2-15.fc38.x86_64 pam-libs-1.5.2-15.fc38.x86_64 patch-2.7.6-17.fc37.x86_64 pcre2-10.40-1.fc37.1.x86_64 pcre2-syntax-10.40-1.fc37.1.noarch perl-srpm-macros-1-47.fc38.noarch pkgconf-1.8.0-3.fc37.x86_64 pkgconf-m4-1.8.0-3.fc37.noarch pkgconf-pkg-config-1.8.0-3.fc37.x86_64 popt-1.19-1.fc38.x86_64 publicsuffix-list-dafsa-20221208-1.fc38.noarch python-srpm-macros-3.11-6.fc38.noarch qt5-srpm-macros-5.15.7-1.fc38.noarch readline-8.2-2.fc38.x86_64 redhat-rpm-config-235-1.fc38.noarch rpm-4.18.0-8.fc38.x86_64 rpm-build-4.18.0-8.fc38.x86_64 rpm-build-libs-4.18.0-8.fc38.x86_64 rpm-libs-4.18.0-8.fc38.x86_64 rpm-sequoia-1.2.0-1.fc38.x86_64 rpmautospec-rpm-macros-0.3.1-1.fc38.noarch rust-srpm-macros-23-1.fc38.noarch sed-4.8-11.fc37.x86_64 setup-2.14.3-1.fc38.noarch shadow-utils-2:4.13-3.fc38.x86_64 sqlite-libs-3.40.0-1.fc38.x86_64 systemd-libs-252.4-598.fc38.x86_64 tar-2:1.34-5.fc38.x86_64 tzdata-2022g-1.fc38.noarch unzip-6.0-58.fc38.x86_64 util-linux-2.38.1-3.fc38.x86_64 util-linux-core-2.38.1-3.fc38.x86_64 which-2.21-36.fc38.x86_64 xxhash-libs-0.8.1-3.fc37.x86_64 xz-5.2.9-1.fc38.x86_64 xz-libs-5.2.9-1.fc38.x86_64 zip-3.0-35.fc38.x86_64 zlib-1.2.13-1.fc38.x86_64 zstd-1.5.2-3.fc37.x86_64 Complete! Finish: dnf install Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: elfutils-debuginfod-client-0.188-3.fc38.x86_64 package-notes-srpm-macros-0.5-6.fc38.noarch libselinux-3.5-0.rc1.1.fc38.x86_64 info-7.0.1-1.fc38.x86_64 rpm-sequoia-1.2.0-1.fc38.x86_64 binutils-gold-2.39-6.fc38.x86_64 libblkid-2.38.1-3.fc38.x86_64 keyutils-libs-1.6.1-5.fc37.x86_64 p11-kit-trust-0.24.1-5.fc38.x86_64 libbrotli-1.0.9-9.fc37.x86_64 setup-2.14.3-1.fc38.noarch rpmautospec-rpm-macros-0.3.1-1.fc38.noarch libsepol-3.5-0.rc1.1.fc38.x86_64 ocaml-srpm-macros-7-2.fc37.noarch diffutils-3.8-3.fc37.x86_64 file-libs-5.42-4.fc37.x86_64 filesystem-3.18-2.fc37.x86_64 libunistring-1.0-2.fc37.x86_64 audit-libs-3.0.9-2.fc38.x86_64 util-linux-core-2.38.1-3.fc38.x86_64 libuuid-2.38.1-3.fc38.x86_64 libpsl-0.21.1-6.fc37.x86_64 libeconf-0.4.0-4.fc37.x86_64 ca-certificates-2022.2.54-5.fc37.noarch ansible-srpm-macros-1-8.1.fc38.noarch rpm-build-4.18.0-8.fc38.x86_64 sqlite-libs-3.40.0-1.fc38.x86_64 dwz-0.15-1.fc38.x86_64 tar-1.34-5.fc38.x86_64 libnghttp2-1.51.0-1.fc38.x86_64 publicsuffix-list-dafsa-20221208-1.fc38.noarch bzip2-libs-1.0.8-12.fc37.x86_64 lua-libs-5.4.4-6.fc38.x86_64 pam-libs-1.5.2-15.fc38.x86_64 libtirpc-1.3.3-0.fc37.x86_64 jansson-2.13.1-5.fc37.x86_64 nettle-3.8-2.fc37.x86_64 alternatives-1.21-1.fc38.x86_64 libpwquality-1.4.5-1.fc38.x86_64 fpc-srpm-macros-1.3-6.fc37.noarch perl-srpm-macros-1-47.fc38.noarch which-2.21-36.fc38.x86_64 libevent-2.1.12-7.fc37.x86_64 libzstd-1.5.2-3.fc37.x86_64 pcre2-syntax-10.40-1.fc37.1.noarch efi-srpm-macros-5-6.fc37.noarch gawk-5.1.1-4.fc37.x86_64 libxcrypt-4.4.33-5.fc38.x86_64 kernel-srpm-macros-1.0-15.fc37.noarch xz-5.2.9-1.fc38.x86_64 qt5-srpm-macros-5.15.7-1.fc38.noarch authselect-libs-1.4.2-1.fc38.x86_64 glibc-common-2.36.9000-19.fc38.x86_64 basesystem-11-14.fc37.noarch cpio-2.13-13.fc38.x86_64 unzip-6.0-58.fc38.x86_64 authselect-1.4.2-1.fc38.x86_64 libssh-0.10.4-2.fc38.x86_64 libverto-0.3.2-4.fc37.x86_64 p11-kit-0.24.1-5.fc38.x86_64 gzip-1.12-2.fc37.x86_64 ncurses-base-6.3-5.20221126.fc38.noarch libattr-2.5.1-5.fc37.x86_64 fedora-release-38-0.6.noarch shadow-utils-4.13-3.fc38.x86_64 nim-srpm-macros-3-7.fc37.noarch libssh-config-0.10.4-2.fc38.noarch binutils-2.39-6.fc38.x86_64 elfutils-libelf-0.188-3.fc38.x86_64 openblas-srpm-macros-2-12.fc37.noarch libgomp-13.0.0-0.4.fc38.x86_64 cyrus-sasl-lib-2.1.28-8.fc38.x86_64 lua-srpm-macros-1-7.fc37.noarch findutils-4.9.0-2.fc37.x86_64 file-5.42-4.fc37.x86_64 redhat-rpm-config-235-1.fc38.noarch pkgconf-pkg-config-1.8.0-3.fc37.x86_64 fedora-release-identity-basic-38-0.6.noarch bzip2-1.0.8-12.fc37.x86_64 gpg-pubkey-5323552a-6112bcdc libfdisk-2.38.1-3.fc38.x86_64 libxml2-2.10.3-2.fc38.x86_64 curl-7.87.0-1.fc38.x86_64 libstdc++-13.0.0-0.4.fc38.x86_64 rpm-4.18.0-8.fc38.x86_64 libidn2-2.3.4-1.fc38.x86_64 libmount-2.38.1-3.fc38.x86_64 fedora-release-common-38-0.6.noarch crypto-policies-20221215-1.gita4c31a3.fc38.noarch libgcc-13.0.0-0.4.fc38.x86_64 ghc-srpm-macros-1.5.0-7.fc37.noarch fedora-repos-38-0.3.noarch elfutils-default-yama-scope-0.188-3.fc38.noarch gdbm-libs-1.23-2.fc37.x86_64 libpkgconf-1.8.0-3.fc37.x86_64 elfutils-0.188-3.fc38.x86_64 debugedit-5.0-5.fc37.x86_64 pam-1.5.2-15.fc38.x86_64 xxhash-libs-0.8.1-3.fc37.x86_64 rpm-build-libs-4.18.0-8.fc38.x86_64 zip-3.0-35.fc38.x86_64 glibc-minimal-langpack-2.36.9000-19.fc38.x86_64 pcre2-10.40-1.fc37.1.x86_64 openssl-libs-3.0.5-6.fc38.x86_64 gmp-6.2.1-3.fc37.x86_64 libacl-2.3.1-4.fc37.x86_64 sed-4.8-11.fc37.x86_64 glibc-2.36.9000-19.fc38.x86_64 libnsl2-2.0.0-4.fc37.x86_64 popt-1.19-1.fc38.x86_64 libcurl-7.87.0-1.fc38.x86_64 lz4-libs-1.9.3-5.fc37.x86_64 elfutils-libs-0.188-3.fc38.x86_64 libtasn1-4.19.0-1.fc38.x86_64 libsmartcols-2.38.1-3.fc38.x86_64 libffi-3.4.4-1.fc38.x86_64 patch-2.7.6-17.fc37.x86_64 libcap-ng-0.8.3-4.fc38.x86_64 gnat-srpm-macros-4-16.fc37.noarch fedora-repos-rawhide-38-0.3.noarch cracklib-2.9.7-30.fc38.x86_64 python-srpm-macros-3.11-6.fc38.noarch rust-srpm-macros-23-1.fc38.noarch coreutils-common-9.1-8.fc38.x86_64 libsigsegv-2.14-3.fc37.x86_64 fonts-srpm-macros-2.0.5-10.fc38.noarch tzdata-2022g-1.fc38.noarch util-linux-2.38.1-3.fc38.x86_64 coreutils-9.1-8.fc38.x86_64 rpm-libs-4.18.0-8.fc38.x86_64 xz-libs-5.2.9-1.fc38.x86_64 go-srpm-macros-3.2.0-1.fc38.noarch libcom_err-1.46.5-3.fc38.x86_64 fedora-gpg-keys-38-0.3.noarch gpg-pubkey-eb10b464-6202d9c6 systemd-libs-252.4-598.fc38.x86_64 libarchive-3.6.1-3.fc38.x86_64 ncurses-libs-6.3-5.20221126.fc38.x86_64 zstd-1.5.2-3.fc37.x86_64 openldap-2.6.3-1.fc38.x86_64 zlib-1.2.13-1.fc38.x86_64 libdb-5.3.28-54.fc38.x86_64 glibc-gconv-extra-2.36.9000-19.fc38.x86_64 libsemanage-3.5-0.rc1.1.fc38.x86_64 pkgconf-1.8.0-3.fc37.x86_64 pkgconf-m4-1.8.0-3.fc37.noarch readline-8.2-2.fc38.x86_64 grep-3.8-1.fc38.x86_64 ed-1.18-2.fc37.x86_64 libcap-2.48-5.fc37.x86_64 libutempter-1.2.1-7.fc37.x86_64 bash-5.2.9-3.fc38.x86_64 mpfr-4.1.1-2.fc38.x86_64 gdb-minimal-12.1-10.fc38.x86_64 krb5-libs-1.20.1-3.fc38.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1669420800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.2-5.fc38.src.rpm Finish: rpmbuild -bs cp: ‘var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log’: No such file or directory INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-g1tgmn2t/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 45 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 (timeout=115200): unbuffer mock --rebuild /var/lib/copr-rpmbuild/results/gappalib-coq-1.5.2-5.fc38.src.rpm --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1672242847.185558 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 3.5 starting (python version = 3.11.0, NVR = mock-3.5-1.fc37)... 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/results/gappalib-coq-1.5.2-5.fc38.src.rpm) Config(fedora-rawhide-x86_64) Start: clean chroot Finish: clean chroot Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1672242847.185558/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1672242847.185558/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: enabled HW Info plugin Mock Version: 3.5 INFO: Mock Version: 3.5 Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/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 Mock Version: 3.5 INFO: Mock Version: 3.5 Start: dnf update No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 13 kB/s | 3.0 kB 00:00 Additional repo https_jakub_fedorapeople_org_fe 12 kB/s | 3.0 kB 00:00 fedora 77 kB/s | 22 kB 00:00 Dependencies resolved. Nothing to do. Complete! Finish: dnf update Finish: chroot init Start: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm Start: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1669420800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.2-5.fc38.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 13 kB/s | 3.0 kB 00:00 Additional repo https_jakub_fedorapeople_org_fe 11 kB/s | 3.0 kB 00:00 fedora 81 kB/s | 22 kB 00:00 Dependencies resolved. =============================================================================================================== Package Arch Version Repository Size =============================================================================================================== Installing: autoconf noarch 2.71-4.fc38 fedora 733 k coq x86_64 8.16.1-1.fc38 copr_base 39 M flocq x86_64 4.1.0-2.fc38 copr_base 4.6 M gappa x86_64 1.4.1-1.fc38 fedora 272 k gcc-c++ x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 13 M ocaml x86_64 4.14.0-2.fc37 fedora 77 M ocaml-findlib x86_64 1.9.5-2.fc37 fedora 767 k ocaml-zarith-devel x86_64 1.12-7.fc37 fedora 136 k remake x86_64 0.14-6.fc37 fedora 65 k Installing dependencies: annobin-docs noarch 10.99-1.0.1.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 93 k annobin-plugin-gcc x86_64 10.99-1.0.1.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 889 k coq-core x86_64 8.16.1-1.fc38 copr_base 150 M cpp x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 11 M csdp x86_64 6.2.0-14.fc37 fedora 301 k csdp-tools x86_64 6.2.0-14.fc37 fedora 28 k emacs-filesystem noarch 1:28.1-3.fc37 fedora 9.5 k expat x86_64 2.5.0-1.fc38 fedora 110 k flexiblas x86_64 3.2.1-3.fc38 fedora 32 k flexiblas-netlib x86_64 3.2.1-3.fc38 fedora 3.1 M flexiblas-openblas-openmp x86_64 3.2.1-3.fc38 fedora 17 k gc x86_64 8.2.2-1.fc38 fedora 110 k gcc x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 34 M gcc-plugin-annobin x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 29 k glibc-devel x86_64 2.36.9000-19.fc38 fedora 47 k glibc-headers-x86 noarch 2.36.9000-19.fc38 fedora 525 k gmp-c++ x86_64 1:6.2.1-3.fc37 fedora 19 k gmp-devel x86_64 1:6.2.1-3.fc37 fedora 173 k groff-base x86_64 1.22.4-10.fc37 fedora 1.1 M guile22 x86_64 2.2.7-6.fc37 fedora 6.5 M kernel-headers x86_64 6.1.0-1.fc38 fedora 1.5 M libb2 x86_64 0.98.1-7.fc37 fedora 25 k libgfortran x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 890 k libmpc x86_64 1.2.1-5.fc37 fedora 61 k libquadmath x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 178 k libstdc++-devel x86_64 13.0.0-0.4.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 2.4 M libtool-ltdl x86_64 2.4.7-3.0.1.fc38 https_jakub_fedorapeople_org_fedora_gcc13_arch 37 k libxcrypt-devel x86_64 4.4.33-5.fc38 fedora 30 k m4 x86_64 1.4.19-4.fc37 fedora 303 k make x86_64 1:4.3-11.fc37 fedora 542 k mpdecimal x86_64 2.5.1-4.fc37 fedora 102 k ncurses x86_64 6.3-5.20221126.fc38 fedora 412 k ocaml-compiler-libs x86_64 4.14.0-2.fc37 fedora 15 M ocaml-runtime x86_64 4.14.0-2.fc37 fedora 3.3 M ocaml-zarith x86_64 1.12-7.fc37 fedora 146 k openblas x86_64 0.3.21-4.fc38 fedora 35 k openblas-openmp x86_64 0.3.21-4.fc38 fedora 5.1 M perl-B x86_64 1.83-492.fc38 fedora 184 k perl-Carp noarch 1.52-489.fc37 fedora 29 k perl-Class-Struct noarch 0.66-492.fc38 fedora 25 k perl-Data-Dumper x86_64 2.184-490.fc37 fedora 56 k perl-DynaLoader x86_64 1.52-492.fc38 fedora 29 k perl-Encode x86_64 4:3.19-492.fc38 fedora 1.7 M perl-Errno x86_64 1.36-492.fc38 fedora 18 k perl-Exporter noarch 5.77-489.fc37 fedora 31 k perl-Fcntl x86_64 1.15-492.fc38 fedora 24 k perl-File-Basename noarch 2.85-492.fc38 fedora 20 k perl-File-Compare noarch 1.100.700-492.fc38 fedora 16 k perl-File-Copy noarch 2.39-492.fc38 fedora 23 k perl-File-Find noarch 1.40-492.fc38 fedora 28 k perl-File-Path noarch 2.18-489.fc37 fedora 35 k perl-File-Temp noarch 1:0.231.100-489.fc37 fedora 59 k perl-File-stat noarch 1.12-492.fc38 fedora 20 k perl-Getopt-Long noarch 1:2.54-1.fc38 fedora 60 k perl-Getopt-Std noarch 1.13-492.fc38 fedora 19 k perl-HTTP-Tiny noarch 0.082-1.fc37 fedora 55 k perl-IO x86_64 1.50-492.fc38 fedora 95 k perl-IPC-Open3 noarch 1.22-492.fc38 fedora 26 k perl-MIME-Base64 x86_64 3.16-489.fc37 fedora 30 k perl-POSIX x86_64 2.03-492.fc38 fedora 101 k perl-PathTools x86_64 3.84-489.fc37 fedora 89 k perl-Pod-Escapes noarch 1:1.07-489.fc37 fedora 20 k perl-Pod-Perldoc noarch 3.28.01-490.fc37 fedora 90 k perl-Pod-Simple noarch 1:3.43-490.fc37 fedora 225 k perl-Pod-Usage noarch 4:2.03-3.fc37 fedora 40 k perl-Scalar-List-Utils x86_64 5:1.63-489.fc38 fedora 72 k perl-SelectSaver noarch 1.02-492.fc38 fedora 15 k perl-Socket x86_64 4:2.036-1.fc38 fedora 55 k perl-Storable x86_64 1:3.26-489.fc37 fedora 97 k perl-Symbol noarch 1.09-492.fc38 fedora 17 k perl-Term-ANSIColor noarch 5.01-490.fc37 fedora 48 k perl-Term-Cap noarch 1.17-489.fc37 fedora 22 k perl-Text-ParseWords noarch 3.31-489.fc37 fedora 16 k perl-Text-Tabs+Wrap noarch 2021.0814-489.fc37 fedora 22 k perl-Time-Local noarch 2:1.300-489.fc37 fedora 33 k perl-constant noarch 1.33-490.fc37 fedora 23 k perl-if noarch 0.61.000-492.fc38 fedora 17 k perl-interpreter x86_64 4:5.36.0-492.fc38 fedora 75 k perl-libs x86_64 4:5.36.0-492.fc38 fedora 2.2 M perl-mro x86_64 1.26-492.fc38 fedora 32 k perl-overload noarch 1.35-492.fc38 fedora 49 k perl-overloading noarch 0.02-492.fc38 fedora 16 k perl-parent noarch 1:0.239-1.fc38 fedora 14 k perl-podlators noarch 1:5.00-1.fc38 fedora 127 k perl-vars noarch 1.05-492.fc38 fedora 16 k python-pip-wheel noarch 22.3.1-1.fc38 fedora 1.4 M python-setuptools-wheel noarch 65.5.1-1.fc38 fedora 715 k python3 x86_64 3.11.1-1.fc38 fedora 27 k python3-libs x86_64 3.11.1-1.fc38 fedora 9.6 M texlive-base x86_64 9:20210325-52.fc38 fedora 2.3 M Transaction Summary =============================================================================================================== Install 99 Packages Total size: 393 M Total download size: 316 M Installed size: 1.4 G Downloading Packages: [SKIPPED] annobin-docs-10.99-1.0.1.fc38.noarch.rpm: Already downloaded [SKIPPED] annobin-plugin-gcc-10.99-1.0.1.fc38.x86_64.rpm: Already downloaded [SKIPPED] cpp-13.0.0-0.4.fc38.x86_64.rpm: Already downloaded [SKIPPED] gcc-13.0.0-0.4.fc38.x86_64.rpm: Already downloaded [SKIPPED] gcc-plugin-annobin-13.0.0-0.4.fc38.x86_64.rpm: Already downloaded [SKIPPED] libtool-ltdl-2.4.7-3.0.1.fc38.x86_64.rpm: Already downloaded [SKIPPED] autoconf-2.71-4.fc38.noarch.rpm: Already downloaded [SKIPPED] emacs-filesystem-28.1-3.fc37.noarch.rpm: Already downloaded [SKIPPED] expat-2.5.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] gc-8.2.2-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] glibc-devel-2.36.9000-19.fc38.x86_64.rpm: Already downloaded [SKIPPED] glibc-headers-x86-2.36.9000-19.fc38.noarch.rpm: Already downloaded [SKIPPED] gmp-c++-6.2.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] gmp-devel-6.2.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] groff-base-1.22.4-10.fc37.x86_64.rpm: Already downloaded [SKIPPED] guile22-2.2.7-6.fc37.x86_64.rpm: Already downloaded [SKIPPED] kernel-headers-6.1.0-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] libb2-0.98.1-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] libmpc-1.2.1-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-devel-4.4.33-5.fc38.x86_64.rpm: Already downloaded [SKIPPED] m4-1.4.19-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] make-4.3-11.fc37.x86_64.rpm: Already downloaded [SKIPPED] mpdecimal-2.5.1-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] ncurses-6.3-5.20221126.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-B-1.83-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-Carp-1.52-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Class-Struct-0.66-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-Data-Dumper-2.184-490.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-DynaLoader-1.52-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-Encode-3.19-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-Errno-1.36-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-Exporter-5.77-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Fcntl-1.15-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-File-Basename-2.85-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-File-Compare-1.100.700-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-File-Copy-2.39-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-File-Find-1.40-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-File-Path-2.18-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-File-Temp-0.231.100-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-File-stat-1.12-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Long-2.54-1.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Std-1.13-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-HTTP-Tiny-0.082-1.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-IO-1.50-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-IPC-Open3-1.22-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-MIME-Base64-3.16-489.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-POSIX-2.03-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-PathTools-3.84-489.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Pod-Escapes-1.07-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Perldoc-3.28.01-490.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Simple-3.43-490.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Usage-2.03-3.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Scalar-List-Utils-1.63-489.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-SelectSaver-1.02-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-Socket-2.036-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-Storable-3.26-489.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Symbol-1.09-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-Term-ANSIColor-5.01-490.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Term-Cap-1.17-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Text-ParseWords-3.31-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Text-Tabs+Wrap-2021.0814-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Time-Local-1.300-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-constant-1.33-490.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-if-0.61.000-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-interpreter-5.36.0-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-libs-5.36.0-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-mro-1.26-492.fc38.x86_64.rpm: Already downloaded [SKIPPED] perl-overload-1.35-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-overloading-0.02-492.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-parent-0.239-1.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-podlators-5.00-1.fc38.noarch.rpm: Already downloaded [SKIPPED] perl-vars-1.05-492.fc38.noarch.rpm: Already downloaded [SKIPPED] python-pip-wheel-22.3.1-1.fc38.noarch.rpm: Already downloaded [SKIPPED] python-setuptools-wheel-65.5.1-1.fc38.noarch.rpm: Already downloaded [SKIPPED] python3-3.11.1-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] python3-libs-3.11.1-1.fc38.x86_64.rpm: Already downloaded [SKIPPED] texlive-base-20210325-52.fc38.x86_64.rpm: Already downloaded (78/99): flocq-4.1.0-2.fc38.x86_64.rpm 60 MB/s | 4.6 MB 00:00 (79/99): coq-8.16.1-1.fc38.x86_64.rpm 173 MB/s | 39 MB 00:00 (80/99): gcc-c++-13.0.0-0.4.fc38.x86_64.rpm 36 MB/s | 13 MB 00:00 (81/99): libgfortran-13.0.0-0.4.fc38.x86_64.rpm 3.9 MB/s | 890 kB 00:00 (82/99): libquadmath-13.0.0-0.4.fc38.x86_64.rpm 11 MB/s | 178 kB 00:00 (83/99): libstdc++-devel-13.0.0-0.4.fc38.x86_64 60 MB/s | 2.4 MB 00:00 (84/99): csdp-tools-6.2.0-14.fc37.x86_64.rpm 1.8 MB/s | 28 kB 00:00 (85/99): flexiblas-3.2.1-3.fc38.x86_64.rpm 7.2 MB/s | 32 kB 00:00 (86/99): csdp-6.2.0-14.fc37.x86_64.rpm 5.6 MB/s | 301 kB 00:00 (87/99): flexiblas-openblas-openmp-3.2.1-3.fc38 1.6 MB/s | 17 kB 00:00 (88/99): flexiblas-netlib-3.2.1-3.fc38.x86_64.r 102 MB/s | 3.1 MB 00:00 (89/99): gappa-1.4.1-1.fc38.x86_64.rpm 6.6 MB/s | 272 kB 00:00 (90/99): coq-core-8.16.1-1.fc38.x86_64.rpm 189 MB/s | 150 MB 00:00 (91/99): ocaml-compiler-libs-4.14.0-2.fc37.x86_ 55 MB/s | 15 MB 00:00 (92/99): ocaml-findlib-1.9.5-2.fc37.x86_64.rpm 13 MB/s | 767 kB 00:00 (93/99): ocaml-runtime-4.14.0-2.fc37.x86_64.rpm 102 MB/s | 3.3 MB 00:00 (94/99): ocaml-zarith-1.12-7.fc37.x86_64.rpm 3.8 MB/s | 146 kB 00:00 (95/99): openblas-0.3.21-4.fc38.x86_64.rpm 7.0 MB/s | 35 kB 00:00 (96/99): ocaml-zarith-devel-1.12-7.fc37.x86_64. 3.6 MB/s | 136 kB 00:00 (97/99): remake-0.14-6.fc37.x86_64.rpm 3.6 MB/s | 65 kB 00:00 (98/99): openblas-openmp-0.3.21-4.fc38.x86_64.r 142 MB/s | 5.1 MB 00:00 (99/99): ocaml-4.14.0-2.fc37.x86_64.rpm 135 MB/s | 77 MB 00:00 -------------------------------------------------------------------------------- Total 214 MB/s | 316 MB 00:01 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: texlive-base-9:20210325-52.fc38.x86_64 1/1 Preparing : 1/1 Installing : libmpc-1.2.1-5.fc37.x86_64 1/99 Installing : flexiblas-3.2.1-3.fc38.x86_64 2/99 Installing : libquadmath-13.0.0-0.4.fc38.x86_64 3/99 Installing : libgfortran-13.0.0-0.4.fc38.x86_64 4/99 Installing : cpp-13.0.0-0.4.fc38.x86_64 5/99 Running scriptlet: texlive-base-9:20210325-52.fc38.x86_64 6/99 Installing : texlive-base-9:20210325-52.fc38.x86_64 6/99 Installing : python-setuptools-wheel-65.5.1-1.fc38.noarch 7/99 Installing : python-pip-wheel-22.3.1-1.fc38.noarch 8/99 Installing : openblas-0.3.21-4.fc38.x86_64 9/99 Installing : openblas-openmp-0.3.21-4.fc38.x86_64 10/99 Installing : flexiblas-netlib-3.2.1-3.fc38.x86_64 11/99 Installing : flexiblas-openblas-openmp-3.2.1-3.fc38.x86_64 12/99 Installing : csdp-6.2.0-14.fc37.x86_64 13/99 Installing : csdp-tools-6.2.0-14.fc37.x86_64 14/99 Installing : ncurses-6.3-5.20221126.fc38.x86_64 15/99 Installing : mpdecimal-2.5.1-4.fc37.x86_64 16/99 Installing : m4-1.4.19-4.fc37.x86_64 17/99 Installing : libb2-0.98.1-7.fc37.x86_64 18/99 Installing : kernel-headers-6.1.0-1.fc38.x86_64 19/99 Running scriptlet: groff-base-1.22.4-10.fc37.x86_64 20/99 Installing : groff-base-1.22.4-10.fc37.x86_64 20/99 Running scriptlet: groff-base-1.22.4-10.fc37.x86_64 20/99 Installing : perl-Text-Tabs+Wrap-2021.0814-489.fc37.noarch 21/99 Installing : perl-if-0.61.000-492.fc38.noarch 22/99 Installing : perl-Time-Local-2:1.300-489.fc37.noarch 23/99 Installing : perl-File-Path-2.18-489.fc37.noarch 24/99 Installing : perl-Pod-Escapes-1:1.07-489.fc37.noarch 25/99 Installing : perl-Class-Struct-0.66-492.fc38.noarch 26/99 Installing : perl-POSIX-2.03-492.fc38.x86_64 27/99 Installing : perl-Term-ANSIColor-5.01-490.fc37.noarch 28/99 Installing : perl-IPC-Open3-1.22-492.fc38.noarch 29/99 Installing : perl-HTTP-Tiny-0.082-1.fc37.noarch 30/99 Installing : perl-File-Temp-1:0.231.100-489.fc37.noarch 31/99 Installing : perl-Term-Cap-1.17-489.fc37.noarch 32/99 Installing : perl-Pod-Simple-1:3.43-490.fc37.noarch 33/99 Installing : perl-Socket-4:2.036-1.fc38.x86_64 34/99 Installing : perl-SelectSaver-1.02-492.fc38.noarch 35/99 Installing : perl-Symbol-1.09-492.fc38.noarch 36/99 Installing : perl-File-stat-1.12-492.fc38.noarch 37/99 Installing : perl-podlators-1:5.00-1.fc38.noarch 38/99 Installing : perl-Pod-Perldoc-3.28.01-490.fc37.noarch 39/99 Installing : perl-Fcntl-1.15-492.fc38.x86_64 40/99 Installing : perl-Text-ParseWords-3.31-489.fc37.noarch 41/99 Installing : perl-mro-1.26-492.fc38.x86_64 42/99 Installing : perl-IO-1.50-492.fc38.x86_64 43/99 Installing : perl-overloading-0.02-492.fc38.noarch 44/99 Installing : perl-Pod-Usage-4:2.03-3.fc37.noarch 45/99 Installing : perl-Errno-1.36-492.fc38.x86_64 46/99 Installing : perl-File-Basename-2.85-492.fc38.noarch 47/99 Installing : perl-Getopt-Std-1.13-492.fc38.noarch 48/99 Installing : perl-MIME-Base64-3.16-489.fc37.x86_64 49/99 Installing : perl-Scalar-List-Utils-5:1.63-489.fc38.x86_64 50/99 Installing : perl-constant-1.33-490.fc37.noarch 51/99 Installing : perl-Storable-1:3.26-489.fc37.x86_64 52/99 Installing : perl-overload-1.35-492.fc38.noarch 53/99 Installing : perl-parent-1:0.239-1.fc38.noarch 54/99 Installing : perl-vars-1.05-492.fc38.noarch 55/99 Installing : perl-Getopt-Long-1:2.54-1.fc38.noarch 56/99 Installing : perl-Carp-1.52-489.fc37.noarch 57/99 Installing : perl-Exporter-5.77-489.fc37.noarch 58/99 Installing : perl-PathTools-3.84-489.fc37.x86_64 59/99 Installing : perl-DynaLoader-1.52-492.fc38.x86_64 60/99 Installing : perl-Encode-4:3.19-492.fc38.x86_64 61/99 Installing : perl-libs-4:5.36.0-492.fc38.x86_64 62/99 Installing : perl-interpreter-4:5.36.0-492.fc38.x86_64 63/99 Installing : perl-Data-Dumper-2.184-490.fc37.x86_64 64/99 Installing : perl-B-1.83-492.fc38.x86_64 65/99 Installing : perl-File-Compare-1.100.700-492.fc38.noarch 66/99 Installing : perl-File-Copy-2.39-492.fc38.noarch 67/99 Installing : perl-File-Find-1.40-492.fc38.noarch 68/99 Installing : gmp-c++-1:6.2.1-3.fc37.x86_64 69/99 Installing : gmp-devel-1:6.2.1-3.fc37.x86_64 70/99 Installing : glibc-headers-x86-2.36.9000-19.fc38.noarch 71/99 Installing : libxcrypt-devel-4.4.33-5.fc38.x86_64 72/99 Installing : glibc-devel-2.36.9000-19.fc38.x86_64 73/99 Installing : gc-8.2.2-1.fc38.x86_64 74/99 Installing : expat-2.5.0-1.fc38.x86_64 75/99 Installing : python3-3.11.1-1.fc38.x86_64 76/99 Installing : python3-libs-3.11.1-1.fc38.x86_64 77/99 Installing : emacs-filesystem-1:28.1-3.fc37.noarch 78/99 Installing : libtool-ltdl-2.4.7-3.0.1.fc38.x86_64 79/99 Installing : guile22-2.2.7-6.fc37.x86_64 80/99 Installing : make-1:4.3-11.fc37.x86_64 81/99 Installing : gcc-13.0.0-0.4.fc38.x86_64 82/99 Running scriptlet: gcc-13.0.0-0.4.fc38.x86_64 82/99 Installing : ocaml-runtime-4.14.0-2.fc37.x86_64 83/99 Installing : ocaml-4.14.0-2.fc37.x86_64 84/99 Installing : ocaml-compiler-libs-4.14.0-2.fc37.x86_64 85/99 Installing : ocaml-findlib-1.9.5-2.fc37.x86_64 86/99 Installing : ocaml-zarith-1.12-7.fc37.x86_64 87/99 Installing : ocaml-zarith-devel-1.12-7.fc37.x86_64 88/99 Installing : coq-core-8.16.1-1.fc38.x86_64 89/99 Installing : coq-8.16.1-1.fc38.x86_64 90/99 Installing : libstdc++-devel-13.0.0-0.4.fc38.x86_64 91/99 Installing : annobin-docs-10.99-1.0.1.fc38.noarch 92/99 Installing : annobin-plugin-gcc-10.99-1.0.1.fc38.x86_64 93/99 Running scriptlet: annobin-plugin-gcc-10.99-1.0.1.fc38.x86_64 93/99 Installing : gcc-c++-13.0.0-0.4.fc38.x86_64 94/99 Installing : flocq-4.1.0-2.fc38.x86_64 95/99 Installing : gcc-plugin-annobin-13.0.0-0.4.fc38.x86_64 96/99 Installing : autoconf-2.71-4.fc38.noarch 97/99 Installing : remake-0.14-6.fc37.x86_64 98/99 Installing : gappa-1.4.1-1.fc38.x86_64 99/99 Running scriptlet: texlive-base-9:20210325-52.fc38.x86_64 99/99 Running scriptlet: gappa-1.4.1-1.fc38.x86_64 99/99 Verifying : coq-8.16.1-1.fc38.x86_64 1/99 Verifying : coq-core-8.16.1-1.fc38.x86_64 2/99 Verifying : flocq-4.1.0-2.fc38.x86_64 3/99 Verifying : annobin-docs-10.99-1.0.1.fc38.noarch 4/99 Verifying : annobin-plugin-gcc-10.99-1.0.1.fc38.x86_64 5/99 Verifying : cpp-13.0.0-0.4.fc38.x86_64 6/99 Verifying : gcc-13.0.0-0.4.fc38.x86_64 7/99 Verifying : gcc-c++-13.0.0-0.4.fc38.x86_64 8/99 Verifying : gcc-plugin-annobin-13.0.0-0.4.fc38.x86_64 9/99 Verifying : libgfortran-13.0.0-0.4.fc38.x86_64 10/99 Verifying : libquadmath-13.0.0-0.4.fc38.x86_64 11/99 Verifying : libstdc++-devel-13.0.0-0.4.fc38.x86_64 12/99 Verifying : libtool-ltdl-2.4.7-3.0.1.fc38.x86_64 13/99 Verifying : autoconf-2.71-4.fc38.noarch 14/99 Verifying : csdp-6.2.0-14.fc37.x86_64 15/99 Verifying : csdp-tools-6.2.0-14.fc37.x86_64 16/99 Verifying : emacs-filesystem-1:28.1-3.fc37.noarch 17/99 Verifying : expat-2.5.0-1.fc38.x86_64 18/99 Verifying : flexiblas-3.2.1-3.fc38.x86_64 19/99 Verifying : flexiblas-netlib-3.2.1-3.fc38.x86_64 20/99 Verifying : flexiblas-openblas-openmp-3.2.1-3.fc38.x86_64 21/99 Verifying : gappa-1.4.1-1.fc38.x86_64 22/99 Verifying : gc-8.2.2-1.fc38.x86_64 23/99 Verifying : glibc-devel-2.36.9000-19.fc38.x86_64 24/99 Verifying : glibc-headers-x86-2.36.9000-19.fc38.noarch 25/99 Verifying : gmp-c++-1:6.2.1-3.fc37.x86_64 26/99 Verifying : gmp-devel-1:6.2.1-3.fc37.x86_64 27/99 Verifying : groff-base-1.22.4-10.fc37.x86_64 28/99 Verifying : guile22-2.2.7-6.fc37.x86_64 29/99 Verifying : kernel-headers-6.1.0-1.fc38.x86_64 30/99 Verifying : libb2-0.98.1-7.fc37.x86_64 31/99 Verifying : libmpc-1.2.1-5.fc37.x86_64 32/99 Verifying : libxcrypt-devel-4.4.33-5.fc38.x86_64 33/99 Verifying : m4-1.4.19-4.fc37.x86_64 34/99 Verifying : make-1:4.3-11.fc37.x86_64 35/99 Verifying : mpdecimal-2.5.1-4.fc37.x86_64 36/99 Verifying : ncurses-6.3-5.20221126.fc38.x86_64 37/99 Verifying : ocaml-4.14.0-2.fc37.x86_64 38/99 Verifying : ocaml-compiler-libs-4.14.0-2.fc37.x86_64 39/99 Verifying : ocaml-findlib-1.9.5-2.fc37.x86_64 40/99 Verifying : ocaml-runtime-4.14.0-2.fc37.x86_64 41/99 Verifying : ocaml-zarith-1.12-7.fc37.x86_64 42/99 Verifying : ocaml-zarith-devel-1.12-7.fc37.x86_64 43/99 Verifying : openblas-0.3.21-4.fc38.x86_64 44/99 Verifying : openblas-openmp-0.3.21-4.fc38.x86_64 45/99 Verifying : perl-B-1.83-492.fc38.x86_64 46/99 Verifying : perl-Carp-1.52-489.fc37.noarch 47/99 Verifying : perl-Class-Struct-0.66-492.fc38.noarch 48/99 Verifying : perl-Data-Dumper-2.184-490.fc37.x86_64 49/99 Verifying : perl-DynaLoader-1.52-492.fc38.x86_64 50/99 Verifying : perl-Encode-4:3.19-492.fc38.x86_64 51/99 Verifying : perl-Errno-1.36-492.fc38.x86_64 52/99 Verifying : perl-Exporter-5.77-489.fc37.noarch 53/99 Verifying : perl-Fcntl-1.15-492.fc38.x86_64 54/99 Verifying : perl-File-Basename-2.85-492.fc38.noarch 55/99 Verifying : perl-File-Compare-1.100.700-492.fc38.noarch 56/99 Verifying : perl-File-Copy-2.39-492.fc38.noarch 57/99 Verifying : perl-File-Find-1.40-492.fc38.noarch 58/99 Verifying : perl-File-Path-2.18-489.fc37.noarch 59/99 Verifying : perl-File-Temp-1:0.231.100-489.fc37.noarch 60/99 Verifying : perl-File-stat-1.12-492.fc38.noarch 61/99 Verifying : perl-Getopt-Long-1:2.54-1.fc38.noarch 62/99 Verifying : perl-Getopt-Std-1.13-492.fc38.noarch 63/99 Verifying : perl-HTTP-Tiny-0.082-1.fc37.noarch 64/99 Verifying : perl-IO-1.50-492.fc38.x86_64 65/99 Verifying : perl-IPC-Open3-1.22-492.fc38.noarch 66/99 Verifying : perl-MIME-Base64-3.16-489.fc37.x86_64 67/99 Verifying : perl-POSIX-2.03-492.fc38.x86_64 68/99 Verifying : perl-PathTools-3.84-489.fc37.x86_64 69/99 Verifying : perl-Pod-Escapes-1:1.07-489.fc37.noarch 70/99 Verifying : perl-Pod-Perldoc-3.28.01-490.fc37.noarch 71/99 Verifying : perl-Pod-Simple-1:3.43-490.fc37.noarch 72/99 Verifying : perl-Pod-Usage-4:2.03-3.fc37.noarch 73/99 Verifying : perl-Scalar-List-Utils-5:1.63-489.fc38.x86_64 74/99 Verifying : perl-SelectSaver-1.02-492.fc38.noarch 75/99 Verifying : perl-Socket-4:2.036-1.fc38.x86_64 76/99 Verifying : perl-Storable-1:3.26-489.fc37.x86_64 77/99 Verifying : perl-Symbol-1.09-492.fc38.noarch 78/99 Verifying : perl-Term-ANSIColor-5.01-490.fc37.noarch 79/99 Verifying : perl-Term-Cap-1.17-489.fc37.noarch 80/99 Verifying : perl-Text-ParseWords-3.31-489.fc37.noarch 81/99 Verifying : perl-Text-Tabs+Wrap-2021.0814-489.fc37.noarch 82/99 Verifying : perl-Time-Local-2:1.300-489.fc37.noarch 83/99 Verifying : perl-constant-1.33-490.fc37.noarch 84/99 Verifying : perl-if-0.61.000-492.fc38.noarch 85/99 Verifying : perl-interpreter-4:5.36.0-492.fc38.x86_64 86/99 Verifying : perl-libs-4:5.36.0-492.fc38.x86_64 87/99 Verifying : perl-mro-1.26-492.fc38.x86_64 88/99 Verifying : perl-overload-1.35-492.fc38.noarch 89/99 Verifying : perl-overloading-0.02-492.fc38.noarch 90/99 Verifying : perl-parent-1:0.239-1.fc38.noarch 91/99 Verifying : perl-podlators-1:5.00-1.fc38.noarch 92/99 Verifying : perl-vars-1.05-492.fc38.noarch 93/99 Verifying : python-pip-wheel-22.3.1-1.fc38.noarch 94/99 Verifying : python-setuptools-wheel-65.5.1-1.fc38.noarch 95/99 Verifying : python3-3.11.1-1.fc38.x86_64 96/99 Verifying : python3-libs-3.11.1-1.fc38.x86_64 97/99 Verifying : remake-0.14-6.fc37.x86_64 98/99 Verifying : texlive-base-9:20210325-52.fc38.x86_64 99/99 Installed: annobin-docs-10.99-1.0.1.fc38.noarch annobin-plugin-gcc-10.99-1.0.1.fc38.x86_64 autoconf-2.71-4.fc38.noarch coq-8.16.1-1.fc38.x86_64 coq-core-8.16.1-1.fc38.x86_64 cpp-13.0.0-0.4.fc38.x86_64 csdp-6.2.0-14.fc37.x86_64 csdp-tools-6.2.0-14.fc37.x86_64 emacs-filesystem-1:28.1-3.fc37.noarch expat-2.5.0-1.fc38.x86_64 flexiblas-3.2.1-3.fc38.x86_64 flexiblas-netlib-3.2.1-3.fc38.x86_64 flexiblas-openblas-openmp-3.2.1-3.fc38.x86_64 flocq-4.1.0-2.fc38.x86_64 gappa-1.4.1-1.fc38.x86_64 gc-8.2.2-1.fc38.x86_64 gcc-13.0.0-0.4.fc38.x86_64 gcc-c++-13.0.0-0.4.fc38.x86_64 gcc-plugin-annobin-13.0.0-0.4.fc38.x86_64 glibc-devel-2.36.9000-19.fc38.x86_64 glibc-headers-x86-2.36.9000-19.fc38.noarch gmp-c++-1:6.2.1-3.fc37.x86_64 gmp-devel-1:6.2.1-3.fc37.x86_64 groff-base-1.22.4-10.fc37.x86_64 guile22-2.2.7-6.fc37.x86_64 kernel-headers-6.1.0-1.fc38.x86_64 libb2-0.98.1-7.fc37.x86_64 libgfortran-13.0.0-0.4.fc38.x86_64 libmpc-1.2.1-5.fc37.x86_64 libquadmath-13.0.0-0.4.fc38.x86_64 libstdc++-devel-13.0.0-0.4.fc38.x86_64 libtool-ltdl-2.4.7-3.0.1.fc38.x86_64 libxcrypt-devel-4.4.33-5.fc38.x86_64 m4-1.4.19-4.fc37.x86_64 make-1:4.3-11.fc37.x86_64 mpdecimal-2.5.1-4.fc37.x86_64 ncurses-6.3-5.20221126.fc38.x86_64 ocaml-4.14.0-2.fc37.x86_64 ocaml-compiler-libs-4.14.0-2.fc37.x86_64 ocaml-findlib-1.9.5-2.fc37.x86_64 ocaml-runtime-4.14.0-2.fc37.x86_64 ocaml-zarith-1.12-7.fc37.x86_64 ocaml-zarith-devel-1.12-7.fc37.x86_64 openblas-0.3.21-4.fc38.x86_64 openblas-openmp-0.3.21-4.fc38.x86_64 perl-B-1.83-492.fc38.x86_64 perl-Carp-1.52-489.fc37.noarch perl-Class-Struct-0.66-492.fc38.noarch perl-Data-Dumper-2.184-490.fc37.x86_64 perl-DynaLoader-1.52-492.fc38.x86_64 perl-Encode-4:3.19-492.fc38.x86_64 perl-Errno-1.36-492.fc38.x86_64 perl-Exporter-5.77-489.fc37.noarch perl-Fcntl-1.15-492.fc38.x86_64 perl-File-Basename-2.85-492.fc38.noarch perl-File-Compare-1.100.700-492.fc38.noarch perl-File-Copy-2.39-492.fc38.noarch perl-File-Find-1.40-492.fc38.noarch perl-File-Path-2.18-489.fc37.noarch perl-File-Temp-1:0.231.100-489.fc37.noarch perl-File-stat-1.12-492.fc38.noarch perl-Getopt-Long-1:2.54-1.fc38.noarch perl-Getopt-Std-1.13-492.fc38.noarch perl-HTTP-Tiny-0.082-1.fc37.noarch perl-IO-1.50-492.fc38.x86_64 perl-IPC-Open3-1.22-492.fc38.noarch perl-MIME-Base64-3.16-489.fc37.x86_64 perl-POSIX-2.03-492.fc38.x86_64 perl-PathTools-3.84-489.fc37.x86_64 perl-Pod-Escapes-1:1.07-489.fc37.noarch perl-Pod-Perldoc-3.28.01-490.fc37.noarch perl-Pod-Simple-1:3.43-490.fc37.noarch perl-Pod-Usage-4:2.03-3.fc37.noarch perl-Scalar-List-Utils-5:1.63-489.fc38.x86_64 perl-SelectSaver-1.02-492.fc38.noarch perl-Socket-4:2.036-1.fc38.x86_64 perl-Storable-1:3.26-489.fc37.x86_64 perl-Symbol-1.09-492.fc38.noarch perl-Term-ANSIColor-5.01-490.fc37.noarch perl-Term-Cap-1.17-489.fc37.noarch perl-Text-ParseWords-3.31-489.fc37.noarch perl-Text-Tabs+Wrap-2021.0814-489.fc37.noarch perl-Time-Local-2:1.300-489.fc37.noarch perl-constant-1.33-490.fc37.noarch perl-if-0.61.000-492.fc38.noarch perl-interpreter-4:5.36.0-492.fc38.x86_64 perl-libs-4:5.36.0-492.fc38.x86_64 perl-mro-1.26-492.fc38.x86_64 perl-overload-1.35-492.fc38.noarch perl-overloading-0.02-492.fc38.noarch perl-parent-1:0.239-1.fc38.noarch perl-podlators-1:5.00-1.fc38.noarch perl-vars-1.05-492.fc38.noarch python-pip-wheel-22.3.1-1.fc38.noarch python-setuptools-wheel-65.5.1-1.fc38.noarch python3-3.11.1-1.fc38.x86_64 python3-libs-3.11.1-1.fc38.x86_64 remake-0.14-6.fc37.x86_64 texlive-base-9:20210325-52.fc38.x86_64 Complete! Finish: build setup for gappalib-coq-1.5.2-5.fc38.src.rpm Start: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1669420800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.JSu4Cu + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + 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.QVfkda + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + 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.5.2-a21720330ab26166150d88a95689f755bb135480 + ./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.8... /usr/bin/coqc checking for coqdep... /usr/bin/coqdep checking for ocamlfind... /usr/bin/ocamlfind checking for Flocq >= 3.0... yes checking for native development files... 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: /tmp/ccvUcawl.o: in function `main': remake.cpp:(.text.startup+0xc19): 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 -j2 Building src/Gappa_common.vo Building src/Gappa_decimal.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo Building src/Gappa_definitions.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo Building src/Gappa_dyadic.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_real.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_real.v File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] Finished src/Gappa_definitions.vo File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] /usr/bin/coqc -R src Gappa -I src src/Gappa_dyadic.v File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition,deprecated] Finished src/Gappa_real.vo Building src/Gappa_fixed.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo Building src/Gappa_pred_bnd.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo Building src/Gappa_round.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_round_aux.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo Building src/Gappa_round_def.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_round_def.v Finished src/Gappa_dyadic.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_round_aux.v Finished src/Gappa_round_def.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_common.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_round.v Finished src/Gappa_common.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_decimal.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_round.vo Building src/Gappa_float.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo Building src/Gappa_library.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo Building src/Gappa_pred_abs.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo Building src/Gappa_pred_nzr.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_pred_abs.v Finished src/Gappa_pred_bnd.vo Building src/Gappa_pred_fixflt.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_pred_fixflt.v File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition,deprecated] Finished src/Gappa_pred_abs.vo Building src/Gappa_pred_rel.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_pred_rel.v Finished src/Gappa_pred_fixflt.vo Building src/Gappa_rewriting.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_rewriting.v Finished src/Gappa_pred_rel.vo Building src/Gappa_tree.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_tree.v Finished src/Gappa_rewriting.vo Building src/Gappa_user.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_user.v Finished src/Gappa_user.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_float.v Finished src/Gappa_float.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_fixed.v Finished src/Gappa_fixed.vo Building src/Gappa_obfuscate.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_obfuscate.v Finished src/Gappa_obfuscate.vo Building src/Gappa_tactic_loader.v gcc -E -DCOQVERSION=81601 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.v Building src/Gappa_tactic.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo Finished src/Gappa_tree.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_library.v Building src/gappatac.ml gcc -E -DCOQVERSION=81601 src/gappatac.c -o src/gappatac.ml Finished src/gappatac.ml Building src/gappatac.cmxs /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 File "src/gappatac.c", line 125, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 819, characters 23-40: Alert deprecated: module Stdlib.Stream Use the camlp-streams library instead. File "src/gappatac.c", line 830, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 833, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 888, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 891, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmxs Building src/gappatac.cmo /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo File "src/gappatac.c", line 125, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 819, characters 23-40: Alert deprecated: module Stdlib.Stream Use the camlp-streams library instead. File "src/gappatac.c", line 830, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 833, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 888, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 891, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmo Building src/Gappa_tactic_loader.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo *** Warning: in file src/Gappa_tactic_loader.v, declared ML module ././gappatac has not been found! /usr/bin/coqc -R src Gappa -I src src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.vo Finished src/Gappa_library.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_tactic.v 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.OQdS90 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 ++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + 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.5.2-a21720330ab26166150d88a95689f755bb135480 + mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 + 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_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_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.2-5.fc38 --unique-debug-suffix -1.5.2-5.fc38.x86_64 --unique-debug-src-base gappalib-coq-1.5.2-5.fc38.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq-gappa/gappatac.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs gdb-add-index: [Was there no debuginfo? Was there already an index?] dwz: Too few files for multifile optimization original debug info size: 936kB, size after compression: 936kB /usr/bin/sepdebugcrcfix: Updated 0 CRC32s, 23 CRC32s did match. 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: engine/eConstr.ml: Cannot stat: No such file or directory cpio: engine/evd.ml: Cannot stat: No such file or directory cpio: engine/proofview.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: gramlib/grammar.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: interp/dumpglob.ml: Cannot stat: No such file or directory cpio: kernel/context.ml: Cannot stat: No such file or directory cpio: kernel/safe_typing.ml: Cannot stat: No such file or directory cpio: lib/pp.ml: Cannot stat: No such file or directory cpio: lib/util.ml: Cannot stat: No such file or directory cpio: library/global.ml: Cannot stat: No such file or directory cpio: list.ml: Cannot stat: No such file or directory cpio: pretyping/reductionops.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory cpio: tactics/tacticals.ml: Cannot stat: No such file or directory cpio: vernac/mltop.ml: Cannot stat: No such file or directory 62 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.1H2d8c + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + 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.5.2-a21720330ab26166150d88a95689f755bb135480 + remake check Building testsuite/check Finished testsuite/check Building check Finished check + RPM_EC=0 ++ jobs -p + exit 0 Processing files: gappalib-coq-1.5.2-5.fc38.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.yJfWtD + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/doc/gappalib-coq + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/doc/gappalib-coq + cp -pr AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/doc/gappalib-coq + cp -pr NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/doc/gappalib-coq + cp -pr README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.g23GSq + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/licenses/gappalib-coq + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/licenses/gappalib-coq + cp -pr COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.2-5.fc38 gappalib-coq(x86-64) = 1.5.2-5.fc38 ocaml(Gappatac) = ef63300960a211767b092853a8770877 ocaml(NGappa_Gappa_common) = 4bfca4a6bd6ee8d3d208d88863bb2b30 ocaml(NGappa_Gappa_decimal) = 9deed98b3f36953cde4bae905d98fa8b ocaml(NGappa_Gappa_definitions) = fdd64b578bb87a43902170e029c5c957 ocaml(NGappa_Gappa_dyadic) = 9482d6427d4f60013106255cc4c9d8c6 ocaml(NGappa_Gappa_fixed) = 2a0037f5fa324cda4f440bcba576494a ocaml(NGappa_Gappa_float) = d33826930b76e58cdd53ac1c3ce538e0 ocaml(NGappa_Gappa_library) = fc59aec40877d261e067a2bbd6f14ae3 ocaml(NGappa_Gappa_obfuscate) = a813c5ba6be1bfdb891a0bc080de213d ocaml(NGappa_Gappa_pred_abs) = 66a20b9a68c1ea4fa2fc7375d02e0890 ocaml(NGappa_Gappa_pred_bnd) = 92172be3fae603ca097f4605f05c7a94 ocaml(NGappa_Gappa_pred_fixflt) = 75f9d1801feadfa48d16e42d0ec45c1d ocaml(NGappa_Gappa_pred_nzr) = b86e4f6c35ea2ccf3c69a4f7ee5e4c4f ocaml(NGappa_Gappa_pred_rel) = 8a2d65ddfa05333c2bd9cc786727f060 ocaml(NGappa_Gappa_real) = 39273e418fa5dd934523d9f9b6782460 ocaml(NGappa_Gappa_rewriting) = 552eb03f2b8963fc2a15a18d038eae8f ocaml(NGappa_Gappa_round) = bad108b76a6afa725c600231367515e8 ocaml(NGappa_Gappa_round_aux) = e0d33032627290a7a8c2c477ca269b1f ocaml(NGappa_Gappa_round_def) = e486e380f58b0efdff6de031e4378ca3 ocaml(NGappa_Gappa_tactic) = 8df92fdac24353ba6a387a523a67d9b9 ocaml(NGappa_Gappa_tactic_loader) = 7e14e114a59eb387462dbfbcf763a449 ocaml(NGappa_Gappa_tree) = a7322d39af53db523ae2fbdef0771c35 ocaml(NGappa_Gappa_user) = 046d042aec2c3fe0547fb2c4d0890f7b ocamlx(NGappa_Gappa_common) = ba8ab40f1a46fcc1c746661b67bda274 ocamlx(NGappa_Gappa_decimal) = d784a7c6a20c12cb8d4be9c3d50a1055 ocamlx(NGappa_Gappa_definitions) = a2bc35a88d9d0baf558aca0102251a36 ocamlx(NGappa_Gappa_dyadic) = c27ab07c7c28c1a858fc3c16dfa8f333 ocamlx(NGappa_Gappa_fixed) = a6683c95987ba8938b938c6893e4e55b ocamlx(NGappa_Gappa_float) = 9345e2a7faabbbfeaebd13e48b643051 ocamlx(NGappa_Gappa_library) = 02e8d21f322d0c77852f5e2096856af3 ocamlx(NGappa_Gappa_obfuscate) = 29d1a7e49ebe24c53779f3da05a6f376 ocamlx(NGappa_Gappa_pred_abs) = 18f1ca371ecf5940188847c1c71b4817 ocamlx(NGappa_Gappa_pred_bnd) = 5d32d998eba168304479a599dfa7a07c ocamlx(NGappa_Gappa_pred_fixflt) = 453e94a2d86b64ae69fcfae6e4e2435d ocamlx(NGappa_Gappa_pred_nzr) = 7f3b45202b14a52c8d2421336925c823 ocamlx(NGappa_Gappa_pred_rel) = 3403266dd85348266f1bed2c6bbfb2e9 ocamlx(NGappa_Gappa_real) = 1fdf79cb988a43000bd3e999b96fc064 ocamlx(NGappa_Gappa_rewriting) = 0b47fb56a1133586e16eed5163d74013 ocamlx(NGappa_Gappa_round) = 4488bad30c28f10965d710c03b813324 ocamlx(NGappa_Gappa_round_aux) = e6f514a757d96453b6f2a502a31d2c88 ocamlx(NGappa_Gappa_round_def) = a32601b1068449aeb8b24605497e5e83 ocamlx(NGappa_Gappa_tactic) = 99fb2d5bc7a815beb87746b5872caf17 ocamlx(NGappa_Gappa_tactic_loader) = 23c36fc1e87595691804173d7f0a139b ocamlx(NGappa_Gappa_tree) = 333d413d4ad81678156029ef14bfe6bc ocamlx(NGappa_Gappa_user) = 56290453cfeef5d1b9d043d1d65ee4a5 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AcyclicGraph) = 00edc3e526b6239e9ad4c9319eaaabd5 ocaml(Attributes) = 9c8311d65744ff7d706db174690b46c8 ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 ocaml(CArray) = 3bf67d1381824155797389de8a32d728 ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a ocaml(CClosure) = f4378b7e6756e2d51e034a1fb622833a ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3 ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CErrors) = f3bfdbcb718358cbbdf7269ef0ccc70a ocaml(CList) = a742212da585b925999bb1e9c57f8886 ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739 ocaml(CPrimitives) = 98ddda2b8661651d0ac1c4d2f3adc78a ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608 ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743 ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(Coercionops) = 130ca2c374c3c95f2be07233a9fcfe6e ocaml(Constr) = 9ca352bce78df900bce25f5e83b3e3ec ocaml(Constrexpr) = 0a1d3ceef956f29cc7dc137ca11d7f87 ocaml(Constrintern) = 97b95cdbaec7eb2886396200fc429e6d ocaml(Context) = 233f361cbf25095b743d2afa636ee001 ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783 ocaml(Cooking) = c511194cd3d1c75d0ec51fe57d5c4b93 ocaml(Coqlib) = 2c95a5e907cb1568e1a7c1a9d070b1aa ocaml(DAst) = dad4dc5e90d3a1f173b8fa9529571329 ocaml(Declarations) = af077788df86ae3c100cb12d0e433100 ocaml(Declare) = 50515d5655d9fdf56b819fa36790df68 ocaml(Declaremods) = feae46dd7f816faac5d3a1d9b6695f56 ocaml(Decls) = 703781821a9f6fa92a858580f939bd9e ocaml(Deprecation) = cdadd928d3039e3d0b75f34481e7c04c ocaml(Dumpglob) = 20e9106c0a8efd454cf20e46cba32b6c ocaml(Dyn) = fa3daa324553247018623840358472b5 ocaml(EConstr) = aec1ab28ede64377d193d2fc15de5e09 ocaml(Entries) = 72a73ac1bcf2406fcb0568e0723e2452 ocaml(Environ) = 81958cbbb97b08eb74f21205ecbe734b ocaml(Equality) = 7a649f9b216dad739e837c87f77a3af8 ocaml(Esubst) = 746f3c41caf469b8602bbc0673a9de61 ocaml(Evar) = 156cdf64bb05c4ab0c4051f998dfab52 ocaml(Evar_kinds) = eb698fadadd600269e0ee8549be9900b ocaml(Evardefine) = fe8ca9cf716175388b4409c03e17658c ocaml(Evarsolve) = 3428df78067bc43360db82565604d135 ocaml(Evarutil) = e498f9d920d45be1f78891569f3d02e5 ocaml(Evd) = 7801c47db8f2d9004d9cee2602a72d51 ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922 ocaml(Extend) = 8f3d3aee03298d6f7ff2c8b208ad0498 ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e ocaml(Ftactic) = 235bc69fea943bef8593f9b00b9d5d50 ocaml(Future) = 4b0363951dc2308b41080b1959cbd2f8 ocaml(Genarg) = 780092994952b6af4488c174bbc204bc ocaml(Genintern) = f9c42c5b2c5681eaf7e0e49808e93ddd ocaml(Geninterp) = 3425ad20575082d95c850c333be60921 ocaml(Genprint) = 092559a8daae9547da5b338d63d62f84 ocaml(Genredexpr) = 626bb52775c1748e2c3bffbc6b812083 ocaml(GlobEnv) = d745ee6d77006ea2b750c1b41da66134 ocaml(Glob_term) = 4533a1278fddf471cfcbda9e5b5232db ocaml(Global) = 42f2e82accd666c47e4f9963a75f6ea7 ocaml(Globnames) = 0cde525ff2938a030d830223839482ec ocaml(Goal) = 6c36abc34e3c0219300bf334533445bf ocaml(Goal_select) = 5303e7040d3cbac08b6a3602be100ecd ocaml(Goptions) = 532e5d7e6f0744645df21a2de260a413 ocaml(Gramlib) = c4cb68462c40a1ed4d57b1221c3328b8 ocaml(Gramlib__Gramext) = cceadee5ba8287671304df971ae88da1 ocaml(Gramlib__Grammar) = 5f1a768cb2e6988d339c385f733c0143 ocaml(Gramlib__Plexing) = b8133aac91b79d4ad41ed01ab52880da ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542 ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hints) = 3a9a0ec6a732148db08f2b90c9dbe88e ocaml(Hook) = afc10af2a433f78a0df71272ef5bb0eb ocaml(Impargs) = df2b410f42f3aba42107bfd927a4c601 ocaml(Ind_tables) = 4c7455db4b1d8ad88f5f4c8bf6402af2 ocaml(Int) = c638a3a3a3350b9a3cd3aecfc1548b44 ocaml(Inv) = 87df5e4766260236b23c453288e9777d ocaml(LStream) = f9950e89686bd059defd6cda6a25c5d3 ocaml(Lib) = 64a196b7833437ec6921775c5de57961 ocaml(Libnames) = 7e72e6b9f7e5a2d16c610b7149eb377c ocaml(Libobject) = 33613ae7ae8a9f294163246e5c7d4133 ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc ocaml(Locality) = b91e1cdf8560a02599ec3b484a0faa53 ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec ocaml(Logic) = 13c4bebf9827283a2773b474406ee42b ocaml(Logic_monad) = ad1c2d56a37c94474486c95b0b560584 ocaml(Ltac_plugin) = bb15dbe4f28c600db9de476703ea1b94 ocaml(Ltac_plugin__Pptactic) = 107f9608b253eb0c2c03dd51a5c31ebd ocaml(Ltac_plugin__Tacentries) = d79565bb0bdf241fe57ffff29b9f05b5 ocaml(Ltac_plugin__Tacexpr) = db03a7b8c07c50868303ed8334ed82e0 ocaml(Ltac_pretype) = 1a5459876be0aa010ebe6bdd23c6fd37 ocaml(Metasyntax) = 47a92a3248e359a421627ee6c43007a1 ocaml(Mltop) = 04b802c6f617661d63eb8adfe76b0100 ocaml(Mod_subst) = b56a185b9f7bb6f0f0f519c06bf981db ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c ocaml(NCoq_Arith_PeanoNat) = 3922c4f429b4350bba2dd2dab23b5b5a ocaml(NCoq_Bool_Bool) = 0804aef187ec6ef5a4c6bc88c0a4973b ocaml(NCoq_Bool_Sumbool) = d2613c6f687e37311723c347656b1afa ocaml(NCoq_Classes_Morphisms) = 6b266a73e315469f08ebc542bf8746e8 ocaml(NCoq_Classes_Morphisms_Prop) = c52138961674f9ee5fab86bc21830c4a ocaml(NCoq_Classes_RelationClasses) = 03470792223f41943cca775a8537bcad ocaml(NCoq_Floats_FloatClass) = 9a5e5f319332f1aab08117fc52822560 ocaml(NCoq_Floats_SpecFloat) = 18edf3f67606ec5d149da16e9c2c1dcc ocaml(NCoq_Init_Datatypes) = 7dff06490587ae72d8c480e28d0792c8 ocaml(NCoq_Init_Decimal) = 0091886e0df87b48c1b71a630733d322 ocaml(NCoq_Init_Hexadecimal) = 48f69a780f3ab731bfd5fd9892b611dc ocaml(NCoq_Init_Logic) = 8d49d9267163e6178eb2130b0afa5363 ocaml(NCoq_Init_Nat) = ba503b0fd72b1b323ac75b26585630aa ocaml(NCoq_Init_Number) = cd525699ffce1c8a6f907027bb87d10f ocaml(NCoq_Init_Peano) = 67f231ba5cf8725357b5682f1d4ed41b ocaml(NCoq_Init_Specif) = 6ee28c2862fc7fd46a5168a9f874140a ocaml(NCoq_Init_Wf) = 5bca515f37535f096c090facf9f2ee7b ocaml(NCoq_Lists_List) = f0f59ccc11cabe932e06f5bc97cf054c ocaml(NCoq_NArith_BinNat) = d014d8a7617cce07faeac7a778ef66c6 ocaml(NCoq_Numbers_BinNums) = f68e6acf6ffb202993bf722adf5f5260 ocaml(NCoq_PArith_BinPos) = 567a8354cd285d3669d47d582c454eca ocaml(NCoq_Program_Basics) = 819299f98ae3fdc97e4a9a2c9609ffae ocaml(NCoq_QArith_QArith_base) = e89b31eaa6e00a18da0fbd5d08938402 ocaml(NCoq_QArith_Qabs) = 4a3dc52bf2666912d7d251574a7b8367 ocaml(NCoq_QArith_Qreduction) = 648dbc98464b2098597c04a9e931ceff ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 3bc9cae9c5f4257f9935585d0566e119 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = d0cfbe899abd4907c1c20c02ebd67b98 ocaml(NCoq_Reals_Cauchy_QExtra) = 416b35c7119a55b95616d5ab474212b9 ocaml(NCoq_Reals_RIneq) = e17d1e4cd82578c36d0c8b465e5d0fcc ocaml(NCoq_Reals_R_sqrt) = 0ef21d135ce5620dcdffd8943721e056 ocaml(NCoq_Reals_Raxioms) = 8717e5ba29c58e18675aa9d4441687b9 ocaml(NCoq_Reals_Rbasic_fun) = d7937acd1fa489b5786486500a1c33c7 ocaml(NCoq_Reals_Rdefinitions) = f36e6fdcfa9a0e339578e20a9f5db7d3 ocaml(NCoq_Reals_Rfunctions) = bee964dae118e2f605da619804d4e408 ocaml(NCoq_Reals_Rpow_def) = 08d14df826ae8289b86b0107fb9c36d6 ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Relations_Relation_Definitions) = 50d48e86dd918045ba6710f690346c4e ocaml(NCoq_Setoids_Setoid) = ff4a727e569d978538a179c8c6991898 ocaml(NCoq_Structures_OrdersTac) = e653cee5a401486b918c1d13e4ee646c ocaml(NCoq_ZArith_BinInt) = 75a2ff407fbbc12c0021cf14b6cb0f4a ocaml(NCoq_ZArith_ZArith_dec) = 127ab251d986c70c3d6131d06396afd8 ocaml(NCoq_ZArith_Zbool) = 3c79cf9f91dd9622e786c53f032964e0 ocaml(NCoq_ZArith_Zeven) = 62d38b4a4e33dc0f927bb81a7f738a3e ocaml(NCoq_ZArith_Znat) = e6a528fc72a76ccc4ceb24d48ae0dfd1 ocaml(NCoq_ZArith_Zpower) = 2404fff785da3403be59e3b5070915a7 ocaml(NCoq_setoid_ring_BinList) = 2af322c2b741c327817e63b894d38e93 ocaml(NCoq_setoid_ring_Field_theory) = 6e1e033f24ffed24e144125234ebd9d3 ocaml(NCoq_setoid_ring_Ring_polynom) = f82809523aade7f5fc49d026b5a3fc39 ocaml(NCoq_setoid_ring_Ring_theory) = 6b85b253533d9c96b7b96cbbf6e15a26 ocaml(NFlocq_Calc_Bracket) = e0214f692ecd93d4c63ec81c9a68b962 ocaml(NFlocq_Core_Defs) = 08cd9b47bf7c432525e394f63175cafe ocaml(NFlocq_Core_Digits) = 3e3ce226aa583a7f62c6933c79a9587d ocaml(NFlocq_Core_FIX) = 67d75cf34e0a21bb4933d4ede0c59ebd ocaml(NFlocq_Core_FLT) = 8cdb39a38fe4b22eb6dfd1f6cc35ec2e ocaml(NFlocq_Core_FLX) = 9c1a23b9ba23e210b16128375943f9d5 ocaml(NFlocq_Core_Generic_fmt) = 2410b3af617d927dd58d0b601b84c8bc ocaml(NFlocq_Core_Raux) = 34b3cbbefcc8082bfc2aa9bd75cb8316 ocaml(NFlocq_Core_Zaux) = 1331b523bdf9decaac86604d1dd39bbf ocaml(NGappa_Gappa_decimal) = 9deed98b3f36953cde4bae905d98fa8b ocaml(NGappa_Gappa_definitions) = fdd64b578bb87a43902170e029c5c957 ocaml(NGappa_Gappa_dyadic) = 9482d6427d4f60013106255cc4c9d8c6 ocaml(NGappa_Gappa_pred_bnd) = 92172be3fae603ca097f4605f05c7a94 ocaml(NGappa_Gappa_round) = bad108b76a6afa725c600231367515e8 ocaml(NGappa_Gappa_round_aux) = e0d33032627290a7a8c2c477ca269b1f ocaml(NGappa_Gappa_round_def) = e486e380f58b0efdff6de031e4378ca3 ocaml(NGappa_Gappa_tree) = a7322d39af53db523ae2fbdef0771c35 ocaml(Namegen) = 0a8addd4f715e43f63deeddff67666bc ocaml(Names) = 0b6c349e44c595f40356f60ca49fa766 ocaml(Nametab) = 939eb1b5d6f3dab8fc7aa53d76f8cd46 ocaml(Nativecode) = 02dbeca2f7bfac8ee80f221d7d1bcb8a ocaml(Nativeconv) = 60d8b9f9f4561c30226973b77f29c919 ocaml(Nativelambda) = 219578857e7b319faa4d145a4fa5ff68 ocaml(Nativelib) = 7b23ee7251439aa612f59354c020ea67 ocaml(Nativevalues) = 151356e5f71c48ba131e257d7b5d6b0e ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3 ocaml(Notation) = 6687290488ca913493273e35ec9140c4 ocaml(Notation_term) = ba7e10bd6c980ba842674b92c4fd32b8 ocaml(NumTok) = 919d150c66ab68cf4c64598cc40be9c3 ocaml(Opaqueproof) = b1745fe14cd37c212d34eea094f1b8df ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866 ocaml(Pattern) = bf0feb2b99812624585018290a94c3e7 ocaml(Pcoq) = 30a4ee789831680c39f99302f3402899 ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Pretype_errors) = 4f0e6bee2956221e0d19c7a4d6232f5b ocaml(Pretyping) = a6903cb3010cce9b1b538151878854dc ocaml(Primred) = 97ca1d481f50c1c9701babd2fd24fa01 ocaml(Printer) = 1508d255db0d0f15754cef32e692257a ocaml(Proof) = e0acf16fbe54fc07c8509cc29dd691af ocaml(Proof_bullet) = 63ceb96c0edba9cad504d0db9cf381d8 ocaml(Proof_using) = 0e6b867bb35f79d409de49d232158d61 ocaml(Proofview) = 3d6152dfc2a51be0829e6bb46552105f ocaml(Proofview_monad) = 7f12467494a6d7b1e7a1ad7c434aea2d ocaml(Range) = 346d147227354e938de6b932d04d6b3d ocaml(Redexpr) = 358ce56fbaf02036c310a0dc80dceee1 ocaml(Reduction) = 3523f631320a31383fd961d753a8e437 ocaml(Reductionops) = 589f659dcd35d95083d18864277f803b ocaml(RetrieveObl) = 25482df7bf0c95ee7a7420fdc7b077ff ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644 ocaml(Safe_typing) = 2cfd62ffab10a60ce3b0d9eae3e38881 ocaml(Section) = 68f3c3d655a9890cf3b21f6b34e3160c ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2 ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505 ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Store) = 918c3a10b0813c8232cd62d2f408caad ocaml(Summary) = c563d6bd180e6b78f0f0ca461607f4bd ocaml(Tacmach) = f589b85b22b5f00627cf4d9f6681e407 ocaml(Tacred) = 1bcf5d6b2d87bb2d7696492a83cd30ea ocaml(Tacticals) = 87cde9a3ed05f21524a5e0190cfd0bb7 ocaml(Tactics) = 34eb6eacaec827fb614cac476b2bafa9 ocaml(Tactypes) = b9e19e5a5f9b5b90dd92fc062230a5cb ocaml(Term) = c1500a859572f47c5adeb740fbcebf6b ocaml(Tok) = d7f575ffa78825bb266417e4b337bcdb ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06 ocaml(Type_errors) = 0c0828c2a9ff92cc716465e0013a0769 ocaml(Typeclasses) = c82cf14a959ab2a132030ef8b5b5bb4c ocaml(UGraph) = bd28bddd5c33ca5c1a5f9f43f907e5da ocaml(UState) = 3ec987d0c982616ff943f71f05e2c111 ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b ocaml(Unification) = bb08182b91ec85ec72551ce13bfed01f ocaml(Univ) = 6feb5ec642e4daf30a0944e888214cea ocaml(UnivGen) = c08393c720001d4601ab69c764edae38 ocaml(UnivNames) = 9f0af4e2cd7c9a6a04f181684ebd75df ocaml(UnivProblem) = 0bf19edcf4c9ada1dd5cdb51d579b1fc ocaml(UnivSubst) = 2c793a58009dea74a325c5082597d844 ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea ocaml(Vars) = 73a674179608a349a8f3d001ee037f1d ocaml(Vernacexpr) = 31bf27dcb0e938a20d1797f40b7144ae ocaml(Vernacextend) = b507ea2d1a0f49d7fb3939c2f335eebe ocaml(Vmbytecodes) = 88733f1084158f9273bb318495213675 ocaml(Vmemitcodes) = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 ocaml(Vmvalues) = 6cfd8f0d13168b127ebed3d4375b15c3 ocaml(Z) = a71ac4a535434978287848841376388e ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b ocamlx(NCoq_Floats_SpecFloat) = fd37b8215ffafeee4443a1d3161e8643 ocamlx(NCoq_Init_Datatypes) = cdbab4b0bd137a1bc00d54561f3dd061 ocamlx(NCoq_Init_Logic) = 41d65a6a2b1c55d6e2f10cf6ded4b229 ocamlx(NCoq_Init_Specif) = deb5ee0a23525d72a763da2cf5baa68d ocamlx(NCoq_Lists_List) = 8907851d368bbc622072348a2536b0a3 ocamlx(NCoq_NArith_BinNat) = 8030f1e067c21d77c7fc3b4522cf5f47 ocamlx(NCoq_Numbers_BinNums) = e0612228d82543c6ffaaa7a7352608e9 ocamlx(NCoq_PArith_BinPos) = 29ff38614d02d547af2edc8d670f7ac6 ocamlx(NCoq_Reals_R_sqrt) = 8645e3c7e95ee4f2171a8e92402e59ac ocamlx(NCoq_Reals_Raxioms) = 80568ed9e9a149082c650a7cf8ad34f2 ocamlx(NCoq_Reals_Rbasic_fun) = f3c63708716b1be443577d544b2fdd63 ocamlx(NCoq_Reals_Rdefinitions) = 84bd14c8e9395f487c90a05f13b6e658 ocamlx(NCoq_Reals_Rfunctions) = 18722884c56dce32f5a6bff4d0bf700a ocamlx(NCoq_ZArith_BinInt) = c4a9b46f1cfaa7b4241dfdf95e572d2b ocamlx(NCoq_ZArith_Zbool) = fa2c610108e4b1dc6ecc995c02a6e91a ocamlx(NCoq_ZArith_Zpower) = 1712cf7e6612ab942b61af05f5688f64 ocamlx(NCoq_setoid_ring_Field_theory) = faa19e5f94e40c85bc05b19716b0bee9 ocamlx(NFlocq_Calc_Bracket) = 28bdbf3eadf047c27342c8116d97cd96 ocamlx(NFlocq_Core_Defs) = 8816459eeeff70fa37618a5b68210e3e ocamlx(NFlocq_Core_Digits) = 0ffb9de28626bae648fe5316b6691b02 ocamlx(NFlocq_Core_FIX) = cfb55fc7786dd0c856498538f45b5d8f ocamlx(NFlocq_Core_FLT) = 21bb42ea99934f7ad5d97b72194b70eb ocamlx(NFlocq_Core_FLX) = f40971f930ea43b328887fb284cdaada ocamlx(NFlocq_Core_Generic_fmt) = 53a049723305970fa0e4f5514a0ca8e1 ocamlx(NFlocq_Core_Raux) = a4cf63b7f4b8a2e75dabd7cead746acf ocamlx(NFlocq_Core_Zaux) = caf896d87c14c672bea15b3586cfd60b ocamlx(NGappa_Gappa_decimal) = d784a7c6a20c12cb8d4be9c3d50a1055 ocamlx(NGappa_Gappa_definitions) = a2bc35a88d9d0baf558aca0102251a36 ocamlx(NGappa_Gappa_dyadic) = c27ab07c7c28c1a858fc3c16dfa8f333 ocamlx(NGappa_Gappa_pred_bnd) = 5d32d998eba168304479a599dfa7a07c ocamlx(NGappa_Gappa_round) = 4488bad30c28f10965d710c03b813324 ocamlx(NGappa_Gappa_round_aux) = e6f514a757d96453b6f2a502a31d2c88 ocamlx(NGappa_Gappa_round_def) = a32601b1068449aeb8b24605497e5e83 ocamlx(NGappa_Gappa_tree) = 333d413d4ad81678156029ef14bfe6bc ocamlx(Nativecode) = 25dd46105be7e78ba71f11e778374924 ocamlx(Nativevalues) = c6cb05a1550531a6790b95fa67b03342 rtld(GNU_HASH) Processing files: gappalib-coq-source-1.5.2-5.fc38.x86_64 Provides: gappalib-coq-source = 1.5.2-5.fc38 gappalib-coq-source(x86-64) = 1.5.2-5.fc38 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.5.2-5.fc38.x86_64 Provides: gappalib-coq-debugsource = 1.5.2-5.fc38 gappalib-coq-debugsource(x86-64) = 1.5.2-5.fc38 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.5.2-5.fc38.x86_64 Provides: debuginfo(build-id) = 17ff17a26ba9aace1f25e912a895c43f46bf7486 debuginfo(build-id) = 1b74db06740a6b228152b733cdafe2d6967e08c9 debuginfo(build-id) = 23282f3898e7f3e43b81850a0661cd3afa537200 debuginfo(build-id) = 2aebe6a4788557aa52d6245539cdb9a0faa2d8d9 debuginfo(build-id) = 31750b0cd8c6cd50fd31a8d62e950e251d5903b7 debuginfo(build-id) = 3583aa7e9010c35b01646eddce86c99aff967100 debuginfo(build-id) = 3a29e2f6e05ac02d2c73a7a5ba0e8db975198f50 debuginfo(build-id) = 413965e133b6b9f6ec30aac1f1df2f26444333b4 debuginfo(build-id) = 4e1909d3df37876785cd88ea554cd26e9baf285a debuginfo(build-id) = 530e81ba321d87dc69ce60c869af8242ba08dd41 debuginfo(build-id) = 567d9e551e17b8fe93be1a66a706c5732748bc26 debuginfo(build-id) = 6cdb23cc35f61b0f4365e06fd80ff1fcdf8d34c5 debuginfo(build-id) = 741106c5e6e783fa08fa1a4aebff32c554774d36 debuginfo(build-id) = 7aac8fc165b661eba503499f8db294dd5c91508c debuginfo(build-id) = 94ffba06c0bfbaef80916cc3d2c10f9eb7bd747a debuginfo(build-id) = a773d8b4982bfe9389b39b4627a6123ae41a94b4 debuginfo(build-id) = c0bd749483a52421927c19bdbab4212cc93a0582 debuginfo(build-id) = c39e41147fd17da3d0b3002ea8dec6789535be2f debuginfo(build-id) = d17cc106076f0cb075be16c826ce16a7f6d5b9a1 debuginfo(build-id) = deba4a6c5b3b13f2af5fdaabc8a21d68d50afbea debuginfo(build-id) = e1c9e606b8ae15502c8b9a4f02d4a20e1070f724 debuginfo(build-id) = f8852f339b052b77f8ee22a85a58757cea1e84c2 debuginfo(build-id) = fab68f26a6730f81b48c4766d11942a71ba53c43 gappalib-coq-debuginfo = 1.5.2-5.fc38 gappalib-coq-debuginfo(x86-64) = 1.5.2-5.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: gappalib-coq-debugsource(x86-64) = 1.5.2-5.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.2-5.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.2-5.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.2-5.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.2-5.fc38.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.0jVYYy + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.2-5.fc38.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.31Zg93 + umask 022 + cd /builddir/build/BUILD + rm -rf coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild gappalib-coq-1.5.2-5.fc38.src.rpm Finish: build phase for gappalib-coq-1.5.2-5.fc38.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1672242847.185558/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.2-5.fc38.src.rpm) Config(child) 0 minutes 50 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