Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c10b' (ED25519) to the list of known hosts. Running: /usr/bin/copr-rpmbuild --verbose --drop-resultdir --build-id 4718477 --chroot fedora-rawhide-x86_64 --detached Version: 0.61 PID: 48341 Logging PID: 48342 Task: {'appstream': False, 'background': True, 'build_id': 4718477, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-x86_64', 'enable_net': True, 'fedora_review': False, 'git_hash': '6a9d0d5c8b86a1b30d23d8f12eb7200d5fa585e1', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/mpb.7/gappalib-coq', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'gappalib-coq', 'package_version': '1.5.2-2', 'project_dirname': 'mpb.7', 'project_name': 'mpb.7', 'project_owner': 'thrnciar', 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/thrnciar/mpb.7/fedora-rawhide-x86_64/', 'id': 'copr_base', 'name': 'Copr repository'}], 'sandbox': 'thrnciar/mpb.7--thrnciar', 'source_json': {}, 'source_type': None, 'submitter': 'thrnciar', 'tags': [], 'task_id': '4718477-fedora-rawhide-x86_64', 'timeout': 108000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/thrnciar/mpb.7/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/thrnciar/mpb.7/gappalib-coq', '/var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq'... Running: git checkout 6a9d0d5c8b86a1b30d23d8f12eb7200d5fa585e1 cmd: ['git', 'checkout', '6a9d0d5c8b86a1b30d23d8f12eb7200d5fa585e1'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq rc: 0 stdout: stderr: Note: switching to '6a9d0d5c8b86a1b30d23d8f12eb7200d5fa585e1'. 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 6a9d0d5 automatic import of gappalib-coq Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/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/thrnciar/mpb.7/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 100 81979 100 81979 0 0 1248k 0 --:--:-- --:--:-- --:--:-- 1250k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.2.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=108000): unbuffer mock --buildsrpm --spec /var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1660142096.958365 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 3.1 starting (python version = 3.10.4, NVR = mock-3.1-1.fc35)... 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-wa2wm666/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-1660142096.958365/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.1 INFO: Mock Version: 3.1 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 12 MB/s | 2.2 MB 00:00 fedora 12 MB/s | 65 MB 00:05 Last metadata expiration check: 0:00:01 ago on Wed Aug 10 14:35:02 2022. Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing: dnf noarch 4.13.0-3.fc37 fedora 464 k dnf-plugins-core noarch 4.2.1-3.fc37 fedora 34 k Installing dependencies: alternatives x86_64 1.19-3.fc37 fedora 36 k audit-libs x86_64 3.0.8-3.fc37 fedora 116 k basesystem noarch 11-14.fc37 fedora 7.0 k bash x86_64 5.1.16-3.fc37 copr_base 1.7 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-6.fc37 copr_base 1.1 M coreutils-common x86_64 9.1-6.fc37 copr_base 2.0 M crypto-policies noarch 20220802-1.gita99dfd2.fc37 fedora 86 k curl x86_64 7.84.0-2.fc37 fedora 313 k cyrus-sasl-lib x86_64 2.1.28-7.fc37 copr_base 793 k dbus-libs x86_64 1:1.14.0-3.fc37 fedora 155 k dnf-data noarch 4.13.0-3.fc37 fedora 42 k elfutils-default-yama-scope noarch 0.187-7.fc37 copr_base 17 k elfutils-libelf x86_64 0.187-7.fc37 copr_base 198 k elfutils-libs x86_64 0.187-7.fc37 copr_base 257 k expat x86_64 2.4.8-2.fc37 copr_base 110 k fedora-gpg-keys noarch 37-0.3 fedora 114 k fedora-release noarch 37-0.9 fedora 11 k fedora-release-common noarch 37-0.9 fedora 22 k fedora-release-identity-basic noarch 37-0.9 fedora 12 k fedora-repos noarch 37-0.3 fedora 10 k fedora-repos-rawhide noarch 37-0.3 fedora 9.8 k file-libs x86_64 5.42-4.fc37 fedora 676 k filesystem x86_64 3.18-1.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.73.2-7.fc37 fedora 2.7 M glibc x86_64 2.36-1.fc37 fedora 2.1 M glibc-common x86_64 2.36-1.fc37 fedora 359 k glibc-minimal-langpack x86_64 2.36-1.fc37 fedora 81 k gmp x86_64 1:6.2.1-3.fc37 fedora 315 k gnupg2 x86_64 2.3.7-3.fc37 fedora 2.5 M gnutls x86_64 3.7.7-1.fc37 fedora 1.1 M gpgme x86_64 1.17.0-4.fc37 fedora 210 k grep x86_64 3.7-4.fc37 copr_base 263 k ima-evm-utils x86_64 1.4-6.fc37 fedora 63 k json-c x86_64 0.16-2.fc37 fedora 41 k keyutils-libs x86_64 1.6.1-5.fc37 fedora 31 k krb5-libs x86_64 1.19.2-11.fc37.1 fedora 727 k libacl x86_64 2.3.1-4.fc37 fedora 23 k libarchive x86_64 3.6.1-2.fc37 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-1.fc37 fedora 107 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-3.fc37 fedora 33 k libcom_err x86_64 1.46.5-3.fc37 fedora 25 k libcomps x86_64 0.1.18-4.fc37 fedora 76 k libcurl x86_64 7.84.0-2.fc37 fedora 306 k libdnf x86_64 0.67.0-4.fc37 fedora 672 k libevent x86_64 2.1.12-7.fc37 fedora 261 k libffi x86_64 3.4.2-9.fc37 fedora 37 k libfsverity x86_64 1.4-8.fc37 fedora 19 k libgcc x86_64 12.1.1-3.fc37.1 fedora 105 k libgcrypt x86_64 1.10.1-4.fc37 fedora 512 k libgomp x86_64 12.1.1-3.fc37.1 fedora 292 k libgpg-error x86_64 1.45-2.fc37 fedora 227 k libidn2 x86_64 2.3.3-2.fc37 fedora 113 k libksba x86_64 1.6.0-4.fc37 fedora 157 k libmodulemd x86_64 2.14.0-4.fc37 fedora 234 k libmount x86_64 2.38.1-1.fc37 fedora 135 k libnghttp2 x86_64 1.48.0-2.fc37 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.14.3-3.fc37 fedora 94 k libreport-filesystem noarch 2.17.1-3.fc37 fedora 14 k libselinux x86_64 3.4-5.fc37 fedora 86 k libsemanage x86_64 3.4-5.fc37 fedora 120 k libsepol x86_64 3.4-3.fc37 fedora 322 k libsigsegv x86_64 2.14-3.fc37 fedora 27 k libsmartcols x86_64 2.38.1-1.fc37 fedora 64 k libsolv x86_64 0.7.22-3.fc37 fedora 405 k libssh x86_64 0.9.6-5.fc37 fedora 203 k libssh-config noarch 0.9.6-5.fc37 fedora 7.8 k libstdc++ x86_64 12.1.1-3.fc37.1 fedora 797 k libtasn1 x86_64 4.18.0-3.fc37 fedora 75 k libtirpc x86_64 1.3.2-1.rc5.fc37 fedora 93 k libunistring x86_64 1.0-2.fc37 fedora 549 k libuuid x86_64 2.38.1-1.fc37 fedora 28 k libverto x86_64 0.3.2-4.fc37 fedora 21 k libxcrypt x86_64 4.4.28-2.fc37 fedora 118 k libxml2 x86_64 2.9.14-3.fc37 fedora 752 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-4.fc37 fedora 217 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.0-10.fc37 fedora 331 k ncurses-base noarch 6.3-3.20220501.fc37 fedora 86 k ncurses-libs x86_64 6.3-3.20220501.fc37 fedora 329 k nettle x86_64 3.8-2.fc37 fedora 414 k npth x86_64 1.6-9.fc37 fedora 24 k openldap x86_64 2.6.2-4.fc37 fedora 254 k openssl-libs x86_64 1:3.0.5-2.fc37 fedora 2.1 M p11-kit x86_64 0.24.1-3.fc37 fedora 376 k p11-kit-trust x86_64 0.24.1-3.fc37 fedora 138 k pcre x86_64 8.45-1.fc37.2 fedora 202 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~rc1-3.fc37 fedora 65 k publicsuffix-list-dafsa noarch 20210518-5.fc37 fedora 58 k python-pip-wheel noarch 22.2-1.fc37 fedora 1.4 M python-setuptools-wheel noarch 62.6.0-2.fc37 fedora 712 k python3 x86_64 3.11.0~b5-1.fc37 fedora 27 k python3-dateutil noarch 1:2.8.2-4.fc37 fedora 361 k python3-dbus x86_64 1.2.18-5.fc37 fedora 156 k python3-distro noarch 1.7.0-3.fc37 fedora 48 k python3-dnf noarch 4.13.0-3.fc37 fedora 605 k python3-dnf-plugins-core noarch 4.2.1-3.fc37 fedora 268 k python3-gpg x86_64 1.17.0-4.fc37 fedora 298 k python3-hawkey x86_64 0.67.0-4.fc37 fedora 108 k python3-libcomps x86_64 0.1.18-4.fc37 fedora 48 k python3-libdnf x86_64 0.67.0-4.fc37 fedora 818 k python3-libs x86_64 3.11.0~b5-1.fc37 fedora 9.6 M python3-rpm x86_64 4.18.0-0.beta1.4.fc37 fedora 93 k python3-six noarch 1.16.0-8.fc37 fedora 42 k readline x86_64 8.1-7.fc37 fedora 211 k rpm x86_64 4.18.0-0.beta1.4.fc37 fedora 570 k rpm-build-libs x86_64 4.18.0-0.beta1.4.fc37 fedora 93 k rpm-libs x86_64 4.18.0-0.beta1.4.fc37 fedora 319 k rpm-sign-libs x86_64 4.18.0-0.beta1.4.fc37 fedora 26 k sed x86_64 4.8-11.fc37 copr_base 297 k setup noarch 2.14.1-2.fc37 fedora 149 k shadow-utils x86_64 2:4.11.1-4.fc37 fedora 1.1 M sqlite-libs x86_64 3.39.2-2.fc37 copr_base 657 k systemd-libs x86_64 251.3-2.fc37 fedora 620 k tpm2-tss x86_64 3.2.0-3.fc37 fedora 600 k tzdata noarch 2022a-4.fc37 fedora 719 k xz-libs x86_64 5.2.5-10.fc37 fedora 92 k zchunk-libs x86_64 1.2.2-2.fc37 fedora 51 k zlib x86_64 1.2.12-4.fc37 fedora 94 k Transaction Summary ================================================================================ Install 137 Packages Total download size: 56 M Installed size: 195 M Downloading Packages: (1/137): coreutils-9.1-6.fc37.x86_64.rpm 12 MB/s | 1.1 MB 00:00 (2/137): bash-5.1.16-3.fc37.x86_64.rpm 18 MB/s | 1.7 MB 00:00 (3/137): cyrus-sasl-lib-2.1.28-7.fc37.x86_64.rp 38 MB/s | 793 kB 00:00 (4/137): elfutils-default-yama-scope-0.187-7.fc 1.0 MB/s | 17 kB 00:00 (5/137): coreutils-common-9.1-6.fc37.x86_64.rpm 16 MB/s | 2.0 MB 00:00 (6/137): elfutils-libelf-0.187-7.fc37.x86_64.rp 14 MB/s | 198 kB 00:00 (7/137): elfutils-libs-0.187-7.fc37.x86_64.rpm 18 MB/s | 257 kB 00:00 (8/137): grep-3.7-4.fc37.x86_64.rpm 23 MB/s | 263 kB 00:00 (9/137): sed-4.8-11.fc37.x86_64.rpm 22 MB/s | 297 kB 00:00 (10/137): expat-2.4.8-2.fc37.x86_64.rpm 6.8 MB/s | 110 kB 00:00 (11/137): sqlite-libs-3.39.2-2.fc37.x86_64.rpm 42 MB/s | 657 kB 00:00 (12/137): basesystem-11-14.fc37.noarch.rpm 202 kB/s | 7.0 kB 00:00 (13/137): alternatives-1.19-3.fc37.x86_64.rpm 525 kB/s | 36 kB 00:00 (14/137): bzip2-libs-1.0.8-12.fc37.x86_64.rpm 1.0 MB/s | 41 kB 00:00 (15/137): audit-libs-3.0.8-3.fc37.x86_64.rpm 1.2 MB/s | 116 kB 00:00 (16/137): crypto-policies-20220802-1.gita99dfd2 2.3 MB/s | 86 kB 00:00 (17/137): curl-7.84.0-2.fc37.x86_64.rpm 7.1 MB/s | 313 kB 00:00 (18/137): ca-certificates-2022.2.54-5.fc37.noar 9.5 MB/s | 829 kB 00:00 (19/137): dbus-libs-1.14.0-3.fc37.x86_64.rpm 4.4 MB/s | 155 kB 00:00 (20/137): dnf-data-4.13.0-3.fc37.noarch.rpm 2.3 MB/s | 42 kB 00:00 (21/137): dnf-4.13.0-3.fc37.noarch.rpm 13 MB/s | 464 kB 00:00 (22/137): dnf-plugins-core-4.2.1-3.fc37.noarch. 1.9 MB/s | 34 kB 00:00 (23/137): fedora-gpg-keys-37-0.3.noarch.rpm 5.8 MB/s | 114 kB 00:00 (24/137): fedora-release-37-0.9.noarch.rpm 637 kB/s | 11 kB 00:00 (25/137): fedora-release-common-37-0.9.noarch.r 1.1 MB/s | 22 kB 00:00 (26/137): fedora-release-identity-basic-37-0.9. 696 kB/s | 12 kB 00:00 (27/137): fedora-repos-37-0.3.noarch.rpm 579 kB/s | 10 kB 00:00 (28/137): fedora-repos-rawhide-37-0.3.noarch.rp 560 kB/s | 9.8 kB 00:00 (29/137): findutils-4.9.0-2.fc37.x86_64.rpm 10 MB/s | 492 kB 00:00 (30/137): filesystem-3.18-1.fc37.x86_64.rpm 20 MB/s | 1.1 MB 00:00 (31/137): gdbm-libs-1.23-2.fc37.x86_64.rpm 3.1 MB/s | 56 kB 00:00 (32/137): file-libs-5.42-4.fc37.x86_64.rpm 4.8 MB/s | 676 kB 00:00 (33/137): glib2-2.73.2-7.fc37.x86_64.rpm 34 MB/s | 2.7 MB 00:00 (34/137): gawk-5.1.1-4.fc37.x86_64.rpm 9.7 MB/s | 1.0 MB 00:00 (35/137): glibc-common-2.36-1.fc37.x86_64.rpm 15 MB/s | 359 kB 00:00 (36/137): glibc-minimal-langpack-2.36-1.fc37.x8 3.6 MB/s | 81 kB 00:00 (37/137): gmp-6.2.1-3.fc37.x86_64.rpm 13 MB/s | 315 kB 00:00 (38/137): glibc-2.36-1.fc37.x86_64.rpm 29 MB/s | 2.1 MB 00:00 (39/137): gpgme-1.17.0-4.fc37.x86_64.rpm 9.4 MB/s | 210 kB 00:00 (40/137): gnutls-3.7.7-1.fc37.x86_64.rpm 27 MB/s | 1.1 MB 00:00 (41/137): ima-evm-utils-1.4-6.fc37.x86_64.rpm 3.4 MB/s | 63 kB 00:00 (42/137): json-c-0.16-2.fc37.x86_64.rpm 2.2 MB/s | 41 kB 00:00 (43/137): keyutils-libs-1.6.1-5.fc37.x86_64.rpm 1.7 MB/s | 31 kB 00:00 (44/137): libacl-2.3.1-4.fc37.x86_64.rpm 1.3 MB/s | 23 kB 00:00 (45/137): krb5-libs-1.19.2-11.fc37.1.x86_64.rpm 24 MB/s | 727 kB 00:00 (46/137): libassuan-2.5.5-5.fc37.x86_64.rpm 3.6 MB/s | 67 kB 00:00 (47/137): libarchive-3.6.1-2.fc37.x86_64.rpm 15 MB/s | 397 kB 00:00 (48/137): libattr-2.5.1-5.fc37.x86_64.rpm 1.0 MB/s | 18 kB 00:00 (49/137): libb2-0.98.1-7.fc37.x86_64.rpm 1.3 MB/s | 25 kB 00:00 (50/137): libblkid-2.38.1-1.fc37.x86_64.rpm 5.6 MB/s | 107 kB 00:00 (51/137): libbrotli-1.0.9-9.fc37.x86_64.rpm 13 MB/s | 315 kB 00:00 (52/137): libcap-2.48-5.fc37.x86_64.rpm 3.6 MB/s | 67 kB 00:00 (53/137): libcap-ng-0.8.3-3.fc37.x86_64.rpm 1.8 MB/s | 33 kB 00:00 (54/137): libcom_err-1.46.5-3.fc37.x86_64.rpm 1.4 MB/s | 25 kB 00:00 (55/137): libcomps-0.1.18-4.fc37.x86_64.rpm 4.0 MB/s | 76 kB 00:00 (56/137): gnupg2-2.3.7-3.fc37.x86_64.rpm 11 MB/s | 2.5 MB 00:00 (57/137): libcurl-7.84.0-2.fc37.x86_64.rpm 13 MB/s | 306 kB 00:00 (58/137): libffi-3.4.2-9.fc37.x86_64.rpm 2.1 MB/s | 37 kB 00:00 (59/137): libdnf-0.67.0-4.fc37.x86_64.rpm 19 MB/s | 672 kB 00:00 (60/137): libevent-2.1.12-7.fc37.x86_64.rpm 7.2 MB/s | 261 kB 00:00 (61/137): libfsverity-1.4-8.fc37.x86_64.rpm 1.1 MB/s | 19 kB 00:00 (62/137): libgcc-12.1.1-3.fc37.1.x86_64.rpm 5.4 MB/s | 105 kB 00:00 (63/137): libgomp-12.1.1-3.fc37.1.x86_64.rpm 13 MB/s | 292 kB 00:00 (64/137): libgpg-error-1.45-2.fc37.x86_64.rpm 10 MB/s | 227 kB 00:00 (65/137): libidn2-2.3.3-2.fc37.x86_64.rpm 5.9 MB/s | 113 kB 00:00 (66/137): libksba-1.6.0-4.fc37.x86_64.rpm 7.7 MB/s | 157 kB 00:00 (67/137): libgcrypt-1.10.1-4.fc37.x86_64.rpm 9.2 MB/s | 512 kB 00:00 (68/137): libmodulemd-2.14.0-4.fc37.x86_64.rpm 11 MB/s | 234 kB 00:00 (69/137): libmount-2.38.1-1.fc37.x86_64.rpm 6.7 MB/s | 135 kB 00:00 (70/137): libnghttp2-1.48.0-2.fc37.x86_64.rpm 3.4 MB/s | 75 kB 00:00 (71/137): libnsl2-2.0.0-4.fc37.x86_64.rpm 1.7 MB/s | 30 kB 00:00 (72/137): libpsl-0.21.1-6.fc37.x86_64.rpm 3.4 MB/s | 63 kB 00:00 (73/137): librepo-1.14.3-3.fc37.x86_64.rpm 4.1 MB/s | 94 kB 00:00 (74/137): libreport-filesystem-2.17.1-3.fc37.no 770 kB/s | 14 kB 00:00 (75/137): libselinux-3.4-5.fc37.x86_64.rpm 4.5 MB/s | 86 kB 00:00 (76/137): libsemanage-3.4-5.fc37.x86_64.rpm 4.9 MB/s | 120 kB 00:00 (77/137): libsepol-3.4-3.fc37.x86_64.rpm 14 MB/s | 322 kB 00:00 (78/137): libsigsegv-2.14-3.fc37.x86_64.rpm 1.4 MB/s | 27 kB 00:00 (79/137): libsmartcols-2.38.1-1.fc37.x86_64.rpm 3.1 MB/s | 64 kB 00:00 (80/137): libssh-0.9.6-5.fc37.x86_64.rpm 9.1 MB/s | 203 kB 00:00 (81/137): libsolv-0.7.22-3.fc37.x86_64.rpm 17 MB/s | 405 kB 00:00 (82/137): libssh-config-0.9.6-5.fc37.noarch.rpm 445 kB/s | 7.8 kB 00:00 (83/137): libtasn1-4.18.0-3.fc37.x86_64.rpm 3.9 MB/s | 75 kB 00:00 (84/137): libtirpc-1.3.2-1.rc5.fc37.x86_64.rpm 4.1 MB/s | 93 kB 00:00 (85/137): libstdc++-12.1.1-3.fc37.1.x86_64.rpm 21 MB/s | 797 kB 00:00 (86/137): libunistring-1.0-2.fc37.x86_64.rpm 20 MB/s | 549 kB 00:00 (87/137): libuuid-2.38.1-1.fc37.x86_64.rpm 1.5 MB/s | 28 kB 00:00 (88/137): libverto-0.3.2-4.fc37.x86_64.rpm 1.2 MB/s | 21 kB 00:00 (89/137): libxcrypt-4.4.28-2.fc37.x86_64.rpm 6.1 MB/s | 118 kB 00:00 (90/137): libyaml-0.2.5-8.fc37.x86_64.rpm 3.2 MB/s | 60 kB 00:00 (91/137): libzstd-1.5.2-3.fc37.x86_64.rpm 13 MB/s | 294 kB 00:00 (92/137): lua-libs-5.4.4-4.fc37.x86_64.rpm 10 MB/s | 217 kB 00:00 (93/137): lz4-libs-1.9.3-5.fc37.x86_64.rpm 3.7 MB/s | 70 kB 00:00 (94/137): mpdecimal-2.5.1-4.fc37.x86_64.rpm 5.3 MB/s | 102 kB 00:00 (95/137): libxml2-2.9.14-3.fc37.x86_64.rpm 10 MB/s | 752 kB 00:00 (96/137): mpfr-4.1.0-10.fc37.x86_64.rpm 15 MB/s | 331 kB 00:00 (97/137): ncurses-base-6.3-3.20220501.fc37.noar 4.6 MB/s | 86 kB 00:00 (98/137): npth-1.6-9.fc37.x86_64.rpm 1.3 MB/s | 24 kB 00:00 (99/137): nettle-3.8-2.fc37.x86_64.rpm 17 MB/s | 414 kB 00:00 (100/137): ncurses-libs-6.3-3.20220501.fc37.x86 8.2 MB/s | 329 kB 00:00 (101/137): openldap-2.6.2-4.fc37.x86_64.rpm 11 MB/s | 254 kB 00:00 (102/137): p11-kit-trust-0.24.1-3.fc37.x86_64.r 6.6 MB/s | 138 kB 00:00 (103/137): p11-kit-0.24.1-3.fc37.x86_64.rpm 8.7 MB/s | 376 kB 00:00 (104/137): openssl-libs-3.0.5-2.fc37.x86_64.rpm 34 MB/s | 2.1 MB 00:00 (105/137): pcre-8.45-1.fc37.2.x86_64.rpm 9.6 MB/s | 202 kB 00:00 (106/137): pcre2-syntax-10.40-1.fc37.1.noarch.r 7.2 MB/s | 142 kB 00:00 (107/137): popt-1.19~rc1-3.fc37.x86_64.rpm 3.3 MB/s | 65 kB 00:00 (108/137): pcre2-10.40-1.fc37.1.x86_64.rpm 6.7 MB/s | 236 kB 00:00 (109/137): publicsuffix-list-dafsa-20210518-5.f 3.1 MB/s | 58 kB 00:00 (110/137): python3-3.11.0~b5-1.fc37.x86_64.rpm 1.5 MB/s | 27 kB 00:00 (111/137): python-pip-wheel-22.2-1.fc37.noarch. 26 MB/s | 1.4 MB 00:00 (112/137): python3-dateutil-2.8.2-4.fc37.noarch 15 MB/s | 361 kB 00:00 (113/137): python-setuptools-wheel-62.6.0-2.fc3 10 MB/s | 712 kB 00:00 (114/137): python3-dbus-1.2.18-5.fc37.x86_64.rp 7.7 MB/s | 156 kB 00:00 (115/137): python3-distro-1.7.0-3.fc37.noarch.r 2.7 MB/s | 48 kB 00:00 (116/137): python3-dnf-plugins-core-4.2.1-3.fc3 11 MB/s | 268 kB 00:00 (117/137): python3-gpg-1.17.0-4.fc37.x86_64.rpm 13 MB/s | 298 kB 00:00 (118/137): python3-libcomps-0.1.18-4.fc37.x86_6 2.6 MB/s | 48 kB 00:00 (119/137): python3-hawkey-0.67.0-4.fc37.x86_64. 5.2 MB/s | 108 kB 00:00 (120/137): python3-dnf-4.13.0-3.fc37.noarch.rpm 10 MB/s | 605 kB 00:00 (121/137): python3-rpm-4.18.0-0.beta1.4.fc37.x8 4.2 MB/s | 93 kB 00:00 (122/137): python3-libdnf-0.67.0-4.fc37.x86_64. 21 MB/s | 818 kB 00:00 (123/137): python3-six-1.16.0-8.fc37.noarch.rpm 2.2 MB/s | 42 kB 00:00 (124/137): readline-8.1-7.fc37.x86_64.rpm 9.6 MB/s | 211 kB 00:00 (125/137): rpm-build-libs-4.18.0-0.beta1.4.fc37 4.7 MB/s | 93 kB 00:00 (126/137): rpm-libs-4.18.0-0.beta1.4.fc37.x86_6 13 MB/s | 319 kB 00:00 (127/137): rpm-4.18.0-0.beta1.4.fc37.x86_64.rpm 10 MB/s | 570 kB 00:00 (128/137): rpm-sign-libs-4.18.0-0.beta1.4.fc37. 1.5 MB/s | 26 kB 00:00 (129/137): setup-2.14.1-2.fc37.noarch.rpm 5.8 MB/s | 149 kB 00:00 (130/137): shadow-utils-4.11.1-4.fc37.x86_64.rp 23 MB/s | 1.1 MB 00:00 (131/137): systemd-libs-251.3-2.fc37.x86_64.rpm 9.7 MB/s | 620 kB 00:00 (132/137): tpm2-tss-3.2.0-3.fc37.x86_64.rpm 20 MB/s | 600 kB 00:00 (133/137): python3-libs-3.11.0~b5-1.fc37.x86_64 43 MB/s | 9.6 MB 00:00 (134/137): xz-libs-5.2.5-10.fc37.x86_64.rpm 4.0 MB/s | 92 kB 00:00 (135/137): zchunk-libs-1.2.2-2.fc37.x86_64.rpm 2.7 MB/s | 51 kB 00:00 (136/137): zlib-1.2.12-4.fc37.x86_64.rpm 4.8 MB/s | 94 kB 00:00 (137/137): tzdata-2022a-4.fc37.noarch.rpm 9.6 MB/s | 719 kB 00:00 -------------------------------------------------------------------------------- Total 34 MB/s | 56 MB 00:01 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 fedora 1.6 MB/s | 1.6 kB 00:00 GPG key at file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-37-primary (0x5323552A) is already installed fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x38AB71F4: Userid : "Fedora (36) " Fingerprint: 53DE D2CB 922D 8B8D 9E63 FD18 999F 7CBF 38AB 71F4 From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-36-primary Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-1.fc37.x86_64 1/1 Preparing : 1/1 Installing : libgcc-12.1.1-3.fc37.1.x86_64 1/137 Running scriptlet: libgcc-12.1.1-3.fc37.1.x86_64 1/137 Installing : crypto-policies-20220802-1.gita99dfd2.fc37.noarc 2/137 Running scriptlet: crypto-policies-20220802-1.gita99dfd2.fc37.noarc 2/137 Installing : tzdata-2022a-4.fc37.noarch 3/137 Installing : fedora-release-identity-basic-37-0.9.noarch 4/137 Installing : python-setuptools-wheel-62.6.0-2.fc37.noarch 5/137 Installing : publicsuffix-list-dafsa-20210518-5.fc37.noarch 6/137 Installing : pcre2-syntax-10.40-1.fc37.1.noarch 7/137 Installing : ncurses-base-6.3-3.20220501.fc37.noarch 8/137 Installing : libssh-config-0.9.6-5.fc37.noarch 9/137 Installing : libreport-filesystem-2.17.1-3.fc37.noarch 10/137 Installing : dnf-data-4.13.0-3.fc37.noarch 11/137 warning: /etc/dnf/dnf.conf created as /etc/dnf/dnf.conf.rpmnew Installing : fedora-gpg-keys-37-0.3.noarch 12/137 Installing : fedora-release-37-0.9.noarch 13/137 Installing : fedora-release-common-37-0.9.noarch 14/137 Installing : fedora-repos-rawhide-37-0.3.noarch 15/137 Installing : fedora-repos-37-0.3.noarch 16/137 Installing : setup-2.14.1-2.fc37.noarch 17/137 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.1-2.fc37.noarch 17/137 Installing : filesystem-3.18-1.fc37.x86_64 18/137 Installing : basesystem-11-14.fc37.noarch 19/137 Installing : ncurses-libs-6.3-3.20220501.fc37.x86_64 20/137 Running scriptlet: glibc-2.36-1.fc37.x86_64 21/137 Installing : glibc-2.36-1.fc37.x86_64 21/137 Running scriptlet: glibc-2.36-1.fc37.x86_64 21/137 Installing : bash-5.1.16-3.fc37.x86_64 22/137 Running scriptlet: bash-5.1.16-3.fc37.x86_64 22/137 Installing : glibc-common-2.36-1.fc37.x86_64 23/137 Installing : glibc-minimal-langpack-2.36-1.fc37.x86_64 24/137 Installing : zlib-1.2.12-4.fc37.x86_64 25/137 Installing : bzip2-libs-1.0.8-12.fc37.x86_64 26/137 Installing : xz-libs-5.2.5-10.fc37.x86_64 27/137 Installing : libzstd-1.5.2-3.fc37.x86_64 28/137 Installing : sqlite-libs-3.39.2-2.fc37.x86_64 29/137 Installing : libcap-2.48-5.fc37.x86_64 30/137 Installing : gmp-1:6.2.1-3.fc37.x86_64 31/137 Installing : libgpg-error-1.45-2.fc37.x86_64 32/137 Installing : popt-1.19~rc1-3.fc37.x86_64 33/137 Installing : libxml2-2.9.14-3.fc37.x86_64 34/137 Installing : libstdc++-12.1.1-3.fc37.1.x86_64 35/137 Installing : lua-libs-5.4.4-4.fc37.x86_64 36/137 Installing : elfutils-libelf-0.187-7.fc37.x86_64 37/137 Installing : file-libs-5.42-4.fc37.x86_64 38/137 Installing : libattr-2.5.1-5.fc37.x86_64 39/137 Installing : libacl-2.3.1-4.fc37.x86_64 40/137 Installing : libffi-3.4.2-9.fc37.x86_64 41/137 Installing : p11-kit-0.24.1-3.fc37.x86_64 42/137 Installing : libunistring-1.0-2.fc37.x86_64 43/137 Installing : libidn2-2.3.3-2.fc37.x86_64 44/137 Installing : libuuid-2.38.1-1.fc37.x86_64 45/137 Installing : libxcrypt-4.4.28-2.fc37.x86_64 46/137 Installing : readline-8.1-7.fc37.x86_64 47/137 Installing : libassuan-2.5.5-5.fc37.x86_64 48/137 Installing : expat-2.4.8-2.fc37.x86_64 49/137 Installing : gdbm-libs-1:1.23-2.fc37.x86_64 50/137 Installing : json-c-0.16-2.fc37.x86_64 51/137 Installing : keyutils-libs-1.6.1-5.fc37.x86_64 52/137 Installing : libcom_err-1.46.5-3.fc37.x86_64 53/137 Installing : libgomp-12.1.1-3.fc37.1.x86_64 54/137 Installing : libsepol-3.4-3.fc37.x86_64 55/137 Installing : libsmartcols-2.38.1-1.fc37.x86_64 56/137 Installing : libtasn1-4.18.0-3.fc37.x86_64 57/137 Installing : lz4-libs-1.9.3-5.fc37.x86_64 58/137 Installing : pcre2-10.40-1.fc37.1.x86_64 59/137 Installing : libselinux-3.4-5.fc37.x86_64 60/137 Installing : sed-4.8-11.fc37.x86_64 61/137 Installing : findutils-1:4.9.0-2.fc37.x86_64 62/137 Installing : systemd-libs-251.3-2.fc37.x86_64 63/137 Installing : dbus-libs-1:1.14.0-3.fc37.x86_64 64/137 Installing : libb2-0.98.1-7.fc37.x86_64 65/137 Installing : cyrus-sasl-lib-2.1.28-7.fc37.x86_64 66/137 Installing : libcomps-0.1.18-4.fc37.x86_64 67/137 Installing : libblkid-2.38.1-1.fc37.x86_64 68/137 Installing : libmount-2.38.1-1.fc37.x86_64 69/137 Installing : libpsl-0.21.1-6.fc37.x86_64 70/137 Installing : mpdecimal-2.5.1-4.fc37.x86_64 71/137 Installing : libgcrypt-1.10.1-4.fc37.x86_64 72/137 Installing : libksba-1.6.0-4.fc37.x86_64 73/137 Installing : mpfr-4.1.0-10.fc37.x86_64 74/137 Installing : nettle-3.8-2.fc37.x86_64 75/137 Installing : elfutils-default-yama-scope-0.187-7.fc37.noarch 76/137 Running scriptlet: elfutils-default-yama-scope-0.187-7.fc37.noarch 76/137 Installing : elfutils-libs-0.187-7.fc37.x86_64 77/137 Installing : alternatives-1.19-3.fc37.x86_64 78/137 Installing : p11-kit-trust-0.24.1-3.fc37.x86_64 79/137 Running scriptlet: p11-kit-trust-0.24.1-3.fc37.x86_64 79/137 Installing : gnutls-3.7.7-1.fc37.x86_64 80/137 Installing : glib2-2.73.2-7.fc37.x86_64 81/137 Installing : libbrotli-1.0.9-9.fc37.x86_64 82/137 Installing : libcap-ng-0.8.3-3.fc37.x86_64 83/137 Installing : audit-libs-3.0.8-3.fc37.x86_64 84/137 Installing : libsemanage-3.4-5.fc37.x86_64 85/137 Installing : shadow-utils-2:4.11.1-4.fc37.x86_64 86/137 Installing : libnghttp2-1.48.0-2.fc37.x86_64 87/137 Installing : libsigsegv-2.14-3.fc37.x86_64 88/137 Installing : gawk-5.1.1-4.fc37.x86_64 89/137 Installing : libverto-0.3.2-4.fc37.x86_64 90/137 Installing : libyaml-0.2.5-8.fc37.x86_64 91/137 Installing : npth-1.6-9.fc37.x86_64 92/137 Installing : pcre-8.45-1.fc37.2.x86_64 93/137 Installing : grep-3.7-4.fc37.x86_64 94/137 Installing : coreutils-common-9.1-6.fc37.x86_64 95/137 Installing : openssl-libs-1:3.0.5-2.fc37.x86_64 96/137 Installing : coreutils-9.1-6.fc37.x86_64 97/137 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 98/137 Installing : ca-certificates-2022.2.54-5.fc37.noarch 98/137 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 98/137 Installing : krb5-libs-1.19.2-11.fc37.1.x86_64 99/137 Installing : libtirpc-1.3.2-1.rc5.fc37.x86_64 100/137 Installing : libfsverity-1.4-8.fc37.x86_64 101/137 Installing : zchunk-libs-1.2.2-2.fc37.x86_64 102/137 Installing : libnsl2-2.0.0-4.fc37.x86_64 103/137 Installing : libssh-0.9.6-5.fc37.x86_64 104/137 Installing : python-pip-wheel-22.2-1.fc37.noarch 105/137 Installing : python3-3.11.0~b5-1.fc37.x86_64 106/137 Installing : python3-libs-3.11.0~b5-1.fc37.x86_64 107/137 Installing : python3-dbus-1.2.18-5.fc37.x86_64 108/137 Installing : python3-libcomps-0.1.18-4.fc37.x86_64 109/137 Installing : python3-distro-1.7.0-3.fc37.noarch 110/137 Installing : python3-six-1.16.0-8.fc37.noarch 111/137 Installing : python3-dateutil-1:2.8.2-4.fc37.noarch 112/137 Installing : libarchive-3.6.1-2.fc37.x86_64 113/137 Installing : libevent-2.1.12-7.fc37.x86_64 114/137 Installing : openldap-2.6.2-4.fc37.x86_64 115/137 Installing : libcurl-7.84.0-2.fc37.x86_64 116/137 Installing : gnupg2-2.3.7-3.fc37.x86_64 117/137 Installing : gpgme-1.17.0-4.fc37.x86_64 118/137 Installing : librepo-1.14.3-3.fc37.x86_64 119/137 Installing : python3-gpg-1.17.0-4.fc37.x86_64 120/137 Installing : curl-7.84.0-2.fc37.x86_64 121/137 Installing : rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 122/137 Running scriptlet: rpm-4.18.0-0.beta1.4.fc37.x86_64 123/137 Installing : rpm-4.18.0-0.beta1.4.fc37.x86_64 123/137 Installing : libmodulemd-2.14.0-4.fc37.x86_64 124/137 Installing : libsolv-0.7.22-3.fc37.x86_64 125/137 Installing : libdnf-0.67.0-4.fc37.x86_64 126/137 Installing : python3-libdnf-0.67.0-4.fc37.x86_64 127/137 Installing : python3-hawkey-0.67.0-4.fc37.x86_64 128/137 Installing : rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 129/137 Running scriptlet: tpm2-tss-3.2.0-3.fc37.x86_64 130/137 Installing : tpm2-tss-3.2.0-3.fc37.x86_64 130/137 Installing : ima-evm-utils-1.4-6.fc37.x86_64 131/137 Installing : rpm-sign-libs-4.18.0-0.beta1.4.fc37.x86_64 132/137 Installing : python3-rpm-4.18.0-0.beta1.4.fc37.x86_64 133/137 Installing : python3-dnf-4.13.0-3.fc37.noarch 134/137 Installing : python3-dnf-plugins-core-4.2.1-3.fc37.noarch 135/137 Installing : dnf-plugins-core-4.2.1-3.fc37.noarch 136/137 Installing : dnf-4.13.0-3.fc37.noarch 137/137 Running scriptlet: dnf-4.13.0-3.fc37.noarch 137/137 Running scriptlet: filesystem-3.18-1.fc37.x86_64 137/137 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 137/137 Running scriptlet: rpm-4.18.0-0.beta1.4.fc37.x86_64 137/137 Running scriptlet: dnf-4.13.0-3.fc37.noarch 137/137 Verifying : bash-5.1.16-3.fc37.x86_64 1/137 Verifying : coreutils-9.1-6.fc37.x86_64 2/137 Verifying : coreutils-common-9.1-6.fc37.x86_64 3/137 Verifying : cyrus-sasl-lib-2.1.28-7.fc37.x86_64 4/137 Verifying : elfutils-default-yama-scope-0.187-7.fc37.noarch 5/137 Verifying : elfutils-libelf-0.187-7.fc37.x86_64 6/137 Verifying : elfutils-libs-0.187-7.fc37.x86_64 7/137 Verifying : expat-2.4.8-2.fc37.x86_64 8/137 Verifying : grep-3.7-4.fc37.x86_64 9/137 Verifying : sed-4.8-11.fc37.x86_64 10/137 Verifying : sqlite-libs-3.39.2-2.fc37.x86_64 11/137 Verifying : alternatives-1.19-3.fc37.x86_64 12/137 Verifying : audit-libs-3.0.8-3.fc37.x86_64 13/137 Verifying : basesystem-11-14.fc37.noarch 14/137 Verifying : bzip2-libs-1.0.8-12.fc37.x86_64 15/137 Verifying : ca-certificates-2022.2.54-5.fc37.noarch 16/137 Verifying : crypto-policies-20220802-1.gita99dfd2.fc37.noarc 17/137 Verifying : curl-7.84.0-2.fc37.x86_64 18/137 Verifying : dbus-libs-1:1.14.0-3.fc37.x86_64 19/137 Verifying : dnf-4.13.0-3.fc37.noarch 20/137 Verifying : dnf-data-4.13.0-3.fc37.noarch 21/137 Verifying : dnf-plugins-core-4.2.1-3.fc37.noarch 22/137 Verifying : fedora-gpg-keys-37-0.3.noarch 23/137 Verifying : fedora-release-37-0.9.noarch 24/137 Verifying : fedora-release-common-37-0.9.noarch 25/137 Verifying : fedora-release-identity-basic-37-0.9.noarch 26/137 Verifying : fedora-repos-37-0.3.noarch 27/137 Verifying : fedora-repos-rawhide-37-0.3.noarch 28/137 Verifying : file-libs-5.42-4.fc37.x86_64 29/137 Verifying : filesystem-3.18-1.fc37.x86_64 30/137 Verifying : findutils-1:4.9.0-2.fc37.x86_64 31/137 Verifying : gawk-5.1.1-4.fc37.x86_64 32/137 Verifying : gdbm-libs-1:1.23-2.fc37.x86_64 33/137 Verifying : glib2-2.73.2-7.fc37.x86_64 34/137 Verifying : glibc-2.36-1.fc37.x86_64 35/137 Verifying : glibc-common-2.36-1.fc37.x86_64 36/137 Verifying : glibc-minimal-langpack-2.36-1.fc37.x86_64 37/137 Verifying : gmp-1:6.2.1-3.fc37.x86_64 38/137 Verifying : gnupg2-2.3.7-3.fc37.x86_64 39/137 Verifying : gnutls-3.7.7-1.fc37.x86_64 40/137 Verifying : gpgme-1.17.0-4.fc37.x86_64 41/137 Verifying : ima-evm-utils-1.4-6.fc37.x86_64 42/137 Verifying : json-c-0.16-2.fc37.x86_64 43/137 Verifying : keyutils-libs-1.6.1-5.fc37.x86_64 44/137 Verifying : krb5-libs-1.19.2-11.fc37.1.x86_64 45/137 Verifying : libacl-2.3.1-4.fc37.x86_64 46/137 Verifying : libarchive-3.6.1-2.fc37.x86_64 47/137 Verifying : libassuan-2.5.5-5.fc37.x86_64 48/137 Verifying : libattr-2.5.1-5.fc37.x86_64 49/137 Verifying : libb2-0.98.1-7.fc37.x86_64 50/137 Verifying : libblkid-2.38.1-1.fc37.x86_64 51/137 Verifying : libbrotli-1.0.9-9.fc37.x86_64 52/137 Verifying : libcap-2.48-5.fc37.x86_64 53/137 Verifying : libcap-ng-0.8.3-3.fc37.x86_64 54/137 Verifying : libcom_err-1.46.5-3.fc37.x86_64 55/137 Verifying : libcomps-0.1.18-4.fc37.x86_64 56/137 Verifying : libcurl-7.84.0-2.fc37.x86_64 57/137 Verifying : libdnf-0.67.0-4.fc37.x86_64 58/137 Verifying : libevent-2.1.12-7.fc37.x86_64 59/137 Verifying : libffi-3.4.2-9.fc37.x86_64 60/137 Verifying : libfsverity-1.4-8.fc37.x86_64 61/137 Verifying : libgcc-12.1.1-3.fc37.1.x86_64 62/137 Verifying : libgcrypt-1.10.1-4.fc37.x86_64 63/137 Verifying : libgomp-12.1.1-3.fc37.1.x86_64 64/137 Verifying : libgpg-error-1.45-2.fc37.x86_64 65/137 Verifying : libidn2-2.3.3-2.fc37.x86_64 66/137 Verifying : libksba-1.6.0-4.fc37.x86_64 67/137 Verifying : libmodulemd-2.14.0-4.fc37.x86_64 68/137 Verifying : libmount-2.38.1-1.fc37.x86_64 69/137 Verifying : libnghttp2-1.48.0-2.fc37.x86_64 70/137 Verifying : libnsl2-2.0.0-4.fc37.x86_64 71/137 Verifying : libpsl-0.21.1-6.fc37.x86_64 72/137 Verifying : librepo-1.14.3-3.fc37.x86_64 73/137 Verifying : libreport-filesystem-2.17.1-3.fc37.noarch 74/137 Verifying : libselinux-3.4-5.fc37.x86_64 75/137 Verifying : libsemanage-3.4-5.fc37.x86_64 76/137 Verifying : libsepol-3.4-3.fc37.x86_64 77/137 Verifying : libsigsegv-2.14-3.fc37.x86_64 78/137 Verifying : libsmartcols-2.38.1-1.fc37.x86_64 79/137 Verifying : libsolv-0.7.22-3.fc37.x86_64 80/137 Verifying : libssh-0.9.6-5.fc37.x86_64 81/137 Verifying : libssh-config-0.9.6-5.fc37.noarch 82/137 Verifying : libstdc++-12.1.1-3.fc37.1.x86_64 83/137 Verifying : libtasn1-4.18.0-3.fc37.x86_64 84/137 Verifying : libtirpc-1.3.2-1.rc5.fc37.x86_64 85/137 Verifying : libunistring-1.0-2.fc37.x86_64 86/137 Verifying : libuuid-2.38.1-1.fc37.x86_64 87/137 Verifying : libverto-0.3.2-4.fc37.x86_64 88/137 Verifying : libxcrypt-4.4.28-2.fc37.x86_64 89/137 Verifying : libxml2-2.9.14-3.fc37.x86_64 90/137 Verifying : libyaml-0.2.5-8.fc37.x86_64 91/137 Verifying : libzstd-1.5.2-3.fc37.x86_64 92/137 Verifying : lua-libs-5.4.4-4.fc37.x86_64 93/137 Verifying : lz4-libs-1.9.3-5.fc37.x86_64 94/137 Verifying : mpdecimal-2.5.1-4.fc37.x86_64 95/137 Verifying : mpfr-4.1.0-10.fc37.x86_64 96/137 Verifying : ncurses-base-6.3-3.20220501.fc37.noarch 97/137 Verifying : ncurses-libs-6.3-3.20220501.fc37.x86_64 98/137 Verifying : nettle-3.8-2.fc37.x86_64 99/137 Verifying : npth-1.6-9.fc37.x86_64 100/137 Verifying : openldap-2.6.2-4.fc37.x86_64 101/137 Verifying : openssl-libs-1:3.0.5-2.fc37.x86_64 102/137 Verifying : p11-kit-0.24.1-3.fc37.x86_64 103/137 Verifying : p11-kit-trust-0.24.1-3.fc37.x86_64 104/137 Verifying : pcre-8.45-1.fc37.2.x86_64 105/137 Verifying : pcre2-10.40-1.fc37.1.x86_64 106/137 Verifying : pcre2-syntax-10.40-1.fc37.1.noarch 107/137 Verifying : popt-1.19~rc1-3.fc37.x86_64 108/137 Verifying : publicsuffix-list-dafsa-20210518-5.fc37.noarch 109/137 Verifying : python-pip-wheel-22.2-1.fc37.noarch 110/137 Verifying : python-setuptools-wheel-62.6.0-2.fc37.noarch 111/137 Verifying : python3-3.11.0~b5-1.fc37.x86_64 112/137 Verifying : python3-dateutil-1:2.8.2-4.fc37.noarch 113/137 Verifying : python3-dbus-1.2.18-5.fc37.x86_64 114/137 Verifying : python3-distro-1.7.0-3.fc37.noarch 115/137 Verifying : python3-dnf-4.13.0-3.fc37.noarch 116/137 Verifying : python3-dnf-plugins-core-4.2.1-3.fc37.noarch 117/137 Verifying : python3-gpg-1.17.0-4.fc37.x86_64 118/137 Verifying : python3-hawkey-0.67.0-4.fc37.x86_64 119/137 Verifying : python3-libcomps-0.1.18-4.fc37.x86_64 120/137 Verifying : python3-libdnf-0.67.0-4.fc37.x86_64 121/137 Verifying : python3-libs-3.11.0~b5-1.fc37.x86_64 122/137 Verifying : python3-rpm-4.18.0-0.beta1.4.fc37.x86_64 123/137 Verifying : python3-six-1.16.0-8.fc37.noarch 124/137 Verifying : readline-8.1-7.fc37.x86_64 125/137 Verifying : rpm-4.18.0-0.beta1.4.fc37.x86_64 126/137 Verifying : rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 127/137 Verifying : rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 128/137 Verifying : rpm-sign-libs-4.18.0-0.beta1.4.fc37.x86_64 129/137 Verifying : setup-2.14.1-2.fc37.noarch 130/137 Verifying : shadow-utils-2:4.11.1-4.fc37.x86_64 131/137 Verifying : systemd-libs-251.3-2.fc37.x86_64 132/137 Verifying : tpm2-tss-3.2.0-3.fc37.x86_64 133/137 Verifying : tzdata-2022a-4.fc37.noarch 134/137 Verifying : xz-libs-5.2.5-10.fc37.x86_64 135/137 Verifying : zchunk-libs-1.2.2-2.fc37.x86_64 136/137 Verifying : zlib-1.2.12-4.fc37.x86_64 137/137 Installed products updated. Installed: alternatives-1.19-3.fc37.x86_64 audit-libs-3.0.8-3.fc37.x86_64 basesystem-11-14.fc37.noarch bash-5.1.16-3.fc37.x86_64 bzip2-libs-1.0.8-12.fc37.x86_64 ca-certificates-2022.2.54-5.fc37.noarch coreutils-9.1-6.fc37.x86_64 coreutils-common-9.1-6.fc37.x86_64 crypto-policies-20220802-1.gita99dfd2.fc37.noarch curl-7.84.0-2.fc37.x86_64 cyrus-sasl-lib-2.1.28-7.fc37.x86_64 dbus-libs-1:1.14.0-3.fc37.x86_64 dnf-4.13.0-3.fc37.noarch dnf-data-4.13.0-3.fc37.noarch dnf-plugins-core-4.2.1-3.fc37.noarch elfutils-default-yama-scope-0.187-7.fc37.noarch elfutils-libelf-0.187-7.fc37.x86_64 elfutils-libs-0.187-7.fc37.x86_64 expat-2.4.8-2.fc37.x86_64 fedora-gpg-keys-37-0.3.noarch fedora-release-37-0.9.noarch fedora-release-common-37-0.9.noarch fedora-release-identity-basic-37-0.9.noarch fedora-repos-37-0.3.noarch fedora-repos-rawhide-37-0.3.noarch file-libs-5.42-4.fc37.x86_64 filesystem-3.18-1.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.73.2-7.fc37.x86_64 glibc-2.36-1.fc37.x86_64 glibc-common-2.36-1.fc37.x86_64 glibc-minimal-langpack-2.36-1.fc37.x86_64 gmp-1:6.2.1-3.fc37.x86_64 gnupg2-2.3.7-3.fc37.x86_64 gnutls-3.7.7-1.fc37.x86_64 gpgme-1.17.0-4.fc37.x86_64 grep-3.7-4.fc37.x86_64 ima-evm-utils-1.4-6.fc37.x86_64 json-c-0.16-2.fc37.x86_64 keyutils-libs-1.6.1-5.fc37.x86_64 krb5-libs-1.19.2-11.fc37.1.x86_64 libacl-2.3.1-4.fc37.x86_64 libarchive-3.6.1-2.fc37.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-1.fc37.x86_64 libbrotli-1.0.9-9.fc37.x86_64 libcap-2.48-5.fc37.x86_64 libcap-ng-0.8.3-3.fc37.x86_64 libcom_err-1.46.5-3.fc37.x86_64 libcomps-0.1.18-4.fc37.x86_64 libcurl-7.84.0-2.fc37.x86_64 libdnf-0.67.0-4.fc37.x86_64 libevent-2.1.12-7.fc37.x86_64 libffi-3.4.2-9.fc37.x86_64 libfsverity-1.4-8.fc37.x86_64 libgcc-12.1.1-3.fc37.1.x86_64 libgcrypt-1.10.1-4.fc37.x86_64 libgomp-12.1.1-3.fc37.1.x86_64 libgpg-error-1.45-2.fc37.x86_64 libidn2-2.3.3-2.fc37.x86_64 libksba-1.6.0-4.fc37.x86_64 libmodulemd-2.14.0-4.fc37.x86_64 libmount-2.38.1-1.fc37.x86_64 libnghttp2-1.48.0-2.fc37.x86_64 libnsl2-2.0.0-4.fc37.x86_64 libpsl-0.21.1-6.fc37.x86_64 librepo-1.14.3-3.fc37.x86_64 libreport-filesystem-2.17.1-3.fc37.noarch libselinux-3.4-5.fc37.x86_64 libsemanage-3.4-5.fc37.x86_64 libsepol-3.4-3.fc37.x86_64 libsigsegv-2.14-3.fc37.x86_64 libsmartcols-2.38.1-1.fc37.x86_64 libsolv-0.7.22-3.fc37.x86_64 libssh-0.9.6-5.fc37.x86_64 libssh-config-0.9.6-5.fc37.noarch libstdc++-12.1.1-3.fc37.1.x86_64 libtasn1-4.18.0-3.fc37.x86_64 libtirpc-1.3.2-1.rc5.fc37.x86_64 libunistring-1.0-2.fc37.x86_64 libuuid-2.38.1-1.fc37.x86_64 libverto-0.3.2-4.fc37.x86_64 libxcrypt-4.4.28-2.fc37.x86_64 libxml2-2.9.14-3.fc37.x86_64 libyaml-0.2.5-8.fc37.x86_64 libzstd-1.5.2-3.fc37.x86_64 lua-libs-5.4.4-4.fc37.x86_64 lz4-libs-1.9.3-5.fc37.x86_64 mpdecimal-2.5.1-4.fc37.x86_64 mpfr-4.1.0-10.fc37.x86_64 ncurses-base-6.3-3.20220501.fc37.noarch ncurses-libs-6.3-3.20220501.fc37.x86_64 nettle-3.8-2.fc37.x86_64 npth-1.6-9.fc37.x86_64 openldap-2.6.2-4.fc37.x86_64 openssl-libs-1:3.0.5-2.fc37.x86_64 p11-kit-0.24.1-3.fc37.x86_64 p11-kit-trust-0.24.1-3.fc37.x86_64 pcre-8.45-1.fc37.2.x86_64 pcre2-10.40-1.fc37.1.x86_64 pcre2-syntax-10.40-1.fc37.1.noarch popt-1.19~rc1-3.fc37.x86_64 publicsuffix-list-dafsa-20210518-5.fc37.noarch python-pip-wheel-22.2-1.fc37.noarch python-setuptools-wheel-62.6.0-2.fc37.noarch python3-3.11.0~b5-1.fc37.x86_64 python3-dateutil-1:2.8.2-4.fc37.noarch python3-dbus-1.2.18-5.fc37.x86_64 python3-distro-1.7.0-3.fc37.noarch python3-dnf-4.13.0-3.fc37.noarch python3-dnf-plugins-core-4.2.1-3.fc37.noarch python3-gpg-1.17.0-4.fc37.x86_64 python3-hawkey-0.67.0-4.fc37.x86_64 python3-libcomps-0.1.18-4.fc37.x86_64 python3-libdnf-0.67.0-4.fc37.x86_64 python3-libs-3.11.0~b5-1.fc37.x86_64 python3-rpm-4.18.0-0.beta1.4.fc37.x86_64 python3-six-1.16.0-8.fc37.noarch readline-8.1-7.fc37.x86_64 rpm-4.18.0-0.beta1.4.fc37.x86_64 rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 rpm-sign-libs-4.18.0-0.beta1.4.fc37.x86_64 sed-4.8-11.fc37.x86_64 setup-2.14.1-2.fc37.noarch shadow-utils-2:4.11.1-4.fc37.x86_64 sqlite-libs-3.39.2-2.fc37.x86_64 systemd-libs-251.3-2.fc37.x86_64 tpm2-tss-3.2.0-3.fc37.x86_64 tzdata-2022a-4.fc37.noarch xz-libs-5.2.5-10.fc37.x86_64 zchunk-libs-1.2.2-2.fc37.x86_64 zlib-1.2.12-4.fc37.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-1660142096.958365/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.1 INFO: Mock Version: 3.1 Start: dnf install No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 38 kB/s | 3.0 kB 00:00 Copr repository 9.4 MB/s | 2.2 MB 00:00 fedora 354 kB/s | 17 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing group/module packages: bash x86_64 5.1.16-3.fc37 copr_base 1.7 M bzip2 x86_64 1.0.8-12.fc37 fedora 52 k coreutils x86_64 9.1-6.fc37 copr_base 1.1 M cpio x86_64 2.13-13.fc37 copr_base 270 k diffutils x86_64 3.8-3.fc37 copr_base 370 k fedora-release-common noarch 37-0.9 fedora 22 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-1.fc37 fedora 81 k grep x86_64 3.7-4.fc37 copr_base 263 k gzip x86_64 1.12-2.fc37 copr_base 159 k info x86_64 6.8-4.fc37 fedora 225 k patch x86_64 2.7.6-17.fc37 copr_base 124 k redhat-rpm-config noarch 226-1.fc37 fedora 74 k rpm-build x86_64 4.18.0-0.beta1.4.fc37 fedora 76 k sed x86_64 4.8-11.fc37 copr_base 297 k shadow-utils x86_64 2:4.11.1-4.fc37 fedora 1.1 M tar x86_64 2:1.34-4.fc37 copr_base 877 k unzip x86_64 6.0-58.fc37 fedora 182 k util-linux x86_64 2.38.1-1.fc37 fedora 2.3 M which x86_64 2.21-35.fc37 fedora 41 k xz x86_64 5.2.5-10.fc37 fedora 223 k Installing dependencies: alternatives x86_64 1.19-3.fc37 fedora 36 k ansible-srpm-macros noarch 1-6.fc37 fedora 7.5 k audit-libs x86_64 3.0.8-3.fc37 fedora 116 k authselect x86_64 1.4.0-3.fc37 copr_base 140 k authselect-libs x86_64 1.4.0-3.fc37 copr_base 235 k basesystem noarch 11-14.fc37 fedora 7.0 k binutils x86_64 2.38-23.fc37 fedora 5.4 M binutils-gold x86_64 2.38-23.fc37 fedora 776 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-6.fc37 copr_base 2.0 M cracklib x86_64 2.9.6-28.fc36 fedora 81 k crypto-policies noarch 20220802-1.gita99dfd2.fc37 fedora 86 k curl x86_64 7.84.0-2.fc37 fedora 313 k cyrus-sasl-lib x86_64 2.1.28-7.fc37 copr_base 793 k debugedit x86_64 5.0-5.fc37 copr_base 77 k dwz x86_64 0.14-7.fc37 fedora 129 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.187-7.fc37 copr_base 523 k elfutils-debuginfod-client x86_64 0.187-7.fc37 copr_base 39 k elfutils-default-yama-scope noarch 0.187-7.fc37 copr_base 17 k elfutils-libelf x86_64 0.187-7.fc37 copr_base 198 k elfutils-libs x86_64 0.187-7.fc37 copr_base 257 k fedora-gpg-keys noarch 37-0.3 fedora 114 k fedora-release noarch 37-0.9 fedora 11 k fedora-release-identity-basic noarch 37-0.9 fedora 12 k fedora-repos noarch 37-0.3 fedora 10 k fedora-repos-rawhide noarch 37-0.3 fedora 9.8 k file x86_64 5.42-4.fc37 copr_base 49 k file-libs x86_64 5.42-4.fc37 copr_base 676 k filesystem x86_64 3.18-1.fc37 fedora 1.1 M fonts-srpm-macros noarch 1:2.0.5-8.fc37 fedora 26 k fpc-srpm-macros noarch 1.3-6.fc37 fedora 7.7 k gdb-minimal x86_64 12.1-4.fc37 fedora 3.9 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-1.fc37 fedora 2.1 M glibc-common x86_64 2.36-1.fc37 fedora 359 k glibc-gconv-extra x86_64 2.36-1.fc37 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.0.15-3.fc37 fedora 26 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.19.2-11.fc37.1 fedora 727 k libacl x86_64 2.3.1-4.fc37 fedora 23 k libarchive x86_64 3.6.1-2.fc37 fedora 397 k libattr x86_64 2.5.1-5.fc37 fedora 18 k libblkid x86_64 2.38.1-1.fc37 fedora 107 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-3.fc37 fedora 33 k libcom_err x86_64 1.46.5-3.fc37 fedora 25 k libcurl x86_64 7.84.0-2.fc37 fedora 306 k libdb x86_64 5.3.28-53.fc37 fedora 760 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-1.fc37 fedora 160 k libffi x86_64 3.4.2-9.fc37 fedora 37 k libgcc x86_64 12.1.1-3.fc37.1 fedora 105 k libgomp x86_64 12.1.1-3.fc37.1 fedora 292 k libidn2 x86_64 2.3.3-2.fc37 fedora 113 k libmount x86_64 2.38.1-1.fc37 fedora 135 k libnghttp2 x86_64 1.48.0-2.fc37 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.4-11.fc37 fedora 116 k libselinux x86_64 3.4-5.fc37 fedora 86 k libsemanage x86_64 3.4-5.fc37 fedora 120 k libsepol x86_64 3.4-3.fc37 fedora 322 k libsigsegv x86_64 2.14-3.fc37 fedora 27 k libsmartcols x86_64 2.38.1-1.fc37 fedora 64 k libssh x86_64 0.9.6-5.fc37 fedora 203 k libssh-config noarch 0.9.6-5.fc37 fedora 7.8 k libstdc++ x86_64 12.1.1-3.fc37.1 fedora 797 k libtasn1 x86_64 4.18.0-3.fc37 fedora 75 k libtirpc x86_64 1.3.2-1.rc5.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-1.fc37 fedora 28 k libverto x86_64 0.3.2-4.fc37 fedora 21 k libxcrypt x86_64 4.4.28-2.fc37 fedora 118 k libxml2 x86_64 2.9.14-3.fc37 fedora 752 k libzstd x86_64 1.5.2-3.fc37 fedora 294 k lua-libs x86_64 5.4.4-4.fc37 fedora 217 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.0-10.fc37 fedora 331 k ncurses-base noarch 6.3-3.20220501.fc37 fedora 86 k ncurses-libs x86_64 6.3-3.20220501.fc37 fedora 329 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.2-4.fc37 fedora 254 k openssl-libs x86_64 1:3.0.5-2.fc37 fedora 2.1 M p11-kit x86_64 0.24.1-3.fc37 fedora 376 k p11-kit-trust x86_64 0.24.1-3.fc37 fedora 138 k package-notes-srpm-macros noarch 0.4-16.fc37 fedora 11 k pam x86_64 1.5.2-14.fc37 fedora 560 k pam-libs x86_64 1.5.2-14.fc37 fedora 58 k pcre x86_64 8.45-1.fc37.2 fedora 202 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-46.fc37 fedora 8.3 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~rc1-3.fc37 fedora 65 k publicsuffix-list-dafsa noarch 20210518-5.fc37 fedora 58 k python-srpm-macros noarch 3.11-4.fc37 fedora 25 k qt5-srpm-macros noarch 5.15.5-2.fc37 fedora 8.1 k readline x86_64 8.1-7.fc37 fedora 211 k rpm x86_64 4.18.0-0.beta1.4.fc37 fedora 570 k rpm-build-libs x86_64 4.18.0-0.beta1.4.fc37 fedora 93 k rpm-libs x86_64 4.18.0-0.beta1.4.fc37 fedora 319 k rpmautospec-rpm-macros noarch 0.3.0-1.fc37 fedora 8.8 k rust-srpm-macros noarch 22-1.fc37 fedora 9.5 k setup noarch 2.14.1-2.fc37 fedora 149 k sqlite-libs x86_64 3.39.2-2.fc37 copr_base 657 k systemd-libs x86_64 251.3-2.fc37 fedora 620 k tzdata noarch 2022a-4.fc37 fedora 719 k util-linux-core x86_64 2.38.1-1.fc37 fedora 470 k xxhash-libs x86_64 0.8.1-3.fc37 fedora 41 k xz-libs x86_64 5.2.5-10.fc37 fedora 92 k zip x86_64 3.0-33.fc37 fedora 259 k zlib x86_64 1.2.12-4.fc37 fedora 94 k zstd x86_64 1.5.2-3.fc37 fedora 447 k Installing Groups: Buildsystem building group Transaction Summary ================================================================================ Install 151 Packages Total size: 51 M Total download size: 725 k Installed size: 177 M Downloading Packages: [SKIPPED] authselect-1.4.0-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] authselect-libs-1.4.0-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] bash-5.1.16-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] coreutils-9.1-6.fc37.x86_64.rpm: Already downloaded [SKIPPED] coreutils-common-9.1-6.fc37.x86_64.rpm: Already downloaded [SKIPPED] cpio-2.13-13.fc37.x86_64.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-7.fc37.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] elfutils-0.187-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.187-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.187-7.fc37.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.187-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] elfutils-libs-0.187-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] grep-3.7-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] gzip-1.12-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] patch-2.7.6-17.fc37.x86_64.rpm: Already downloaded [SKIPPED] sed-4.8-11.fc37.x86_64.rpm: Already downloaded [SKIPPED] sqlite-libs-3.39.2-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] tar-1.34-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] alternatives-1.19-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-6.fc37.noarch.rpm: Already downloaded [SKIPPED] audit-libs-3.0.8-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] basesystem-11-14.fc37.noarch.rpm: Already downloaded [SKIPPED] binutils-2.38-23.fc37.x86_64.rpm: Already downloaded [SKIPPED] binutils-gold-2.38-23.fc37.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] cracklib-2.9.6-28.fc36.x86_64.rpm: Already downloaded [SKIPPED] crypto-policies-20220802-1.gita99dfd2.fc37.noarch.rpm: Already downloaded [SKIPPED] curl-7.84.0-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] dwz-0.14-7.fc37.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] fedora-gpg-keys-37-0.3.noarch.rpm: Already downloaded [SKIPPED] fedora-release-37-0.9.noarch.rpm: Already downloaded [SKIPPED] fedora-release-common-37-0.9.noarch.rpm: Already downloaded [SKIPPED] fedora-release-identity-basic-37-0.9.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-37-0.3.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-rawhide-37-0.3.noarch.rpm: Already downloaded [SKIPPED] filesystem-3.18-1.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-8.fc37.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-4.fc37.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-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] glibc-common-2.36-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.36-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.36-1.fc37.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.0.15-3.fc37.noarch.rpm: Already downloaded [SKIPPED] info-6.8-4.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.19.2-11.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] libacl-2.3.1-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] libarchive-3.6.1-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] libattr-2.5.1-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libblkid-2.38.1-1.fc37.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-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libcom_err-1.46.5-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libcurl-7.84.0-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] libdb-5.3.28-53.fc37.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-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] libffi-3.4.2-9.fc37.x86_64.rpm: Already downloaded [SKIPPED] libgcc-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] libgomp-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] libidn2-2.3.3-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] libmount-2.38.1-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] libnghttp2-1.48.0-2.fc37.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.4-11.fc37.x86_64.rpm: Already downloaded [SKIPPED] libselinux-3.4-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libsemanage-3.4-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libsepol-3.4-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libsigsegv-2.14-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libsmartcols-2.38.1-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] libssh-0.9.6-5.fc37.x86_64.rpm: Already downloaded [SKIPPED] libssh-config-0.9.6-5.fc37.noarch.rpm: Already downloaded [SKIPPED] libstdc++-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] libtasn1-4.18.0-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libtirpc-1.3.2-1.rc5.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-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] libverto-0.3.2-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.28-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] libxml2-2.9.14-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] libzstd-1.5.2-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] lua-libs-5.4.4-4.fc37.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.0-10.fc37.x86_64.rpm: Already downloaded [SKIPPED] ncurses-base-6.3-3.20220501.fc37.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.3-3.20220501.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.2-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] openssl-libs-3.0.5-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-0.24.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.24.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.4-16.fc37.noarch.rpm: Already downloaded [SKIPPED] pam-1.5.2-14.fc37.x86_64.rpm: Already downloaded [SKIPPED] pam-libs-1.5.2-14.fc37.x86_64.rpm: Already downloaded [SKIPPED] pcre-8.45-1.fc37.2.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-46.fc37.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~rc1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] publicsuffix-list-dafsa-20210518-5.fc37.noarch.rpm: Already downloaded [SKIPPED] python-srpm-macros-3.11-4.fc37.noarch.rpm: Already downloaded [SKIPPED] qt5-srpm-macros-5.15.5-2.fc37.noarch.rpm: Already downloaded [SKIPPED] readline-8.1-7.fc37.x86_64.rpm: Already downloaded [SKIPPED] redhat-rpm-config-226-1.fc37.noarch.rpm: Already downloaded [SKIPPED] rpm-4.18.0-0.beta1.4.fc37.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-4.18.0-0.beta1.4.fc37.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64.rpm: Already downloaded [SKIPPED] rpm-libs-4.18.0-0.beta1.4.fc37.x86_64.rpm: Already downloaded [SKIPPED] rpmautospec-rpm-macros-0.3.0-1.fc37.noarch.rpm: Already downloaded [SKIPPED] rust-srpm-macros-22-1.fc37.noarch.rpm: Already downloaded [SKIPPED] setup-2.14.1-2.fc37.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.11.1-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] systemd-libs-251.3-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] tzdata-2022a-4.fc37.noarch.rpm: Already downloaded [SKIPPED] unzip-6.0-58.fc37.x86_64.rpm: Already downloaded [SKIPPED] util-linux-2.38.1-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] util-linux-core-2.38.1-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] which-2.21-35.fc37.x86_64.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.1-3.fc37.x86_64.rpm: Already downloaded [SKIPPED] xz-5.2.5-10.fc37.x86_64.rpm: Already downloaded [SKIPPED] xz-libs-5.2.5-10.fc37.x86_64.rpm: Already downloaded [SKIPPED] zip-3.0-33.fc37.x86_64.rpm: Already downloaded [SKIPPED] zlib-1.2.12-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] zstd-1.5.2-3.fc37.x86_64.rpm: Already downloaded (150/151): file-5.42-4.fc37.x86_64.rpm 646 kB/s | 49 kB 00:00 (151/151): file-libs-5.42-4.fc37.x86_64.rpm 5.7 MB/s | 676 kB 00:00 -------------------------------------------------------------------------------- Total 4.0 MB/s | 725 kB 00:00 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 fedora 1.6 MB/s | 1.6 kB 00:00 GPG key at file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-37-primary (0x5323552A) is already installed fedora 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x38AB71F4: Userid : "Fedora (36) " Fingerprint: 53DE D2CB 922D 8B8D 9E63 FD18 999F 7CBF 38AB 71F4 From : /usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-36-primary Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-1.fc37.x86_64 1/1 Preparing : 1/1 Installing : libgcc-12.1.1-3.fc37.1.x86_64 1/151 Running scriptlet: libgcc-12.1.1-3.fc37.1.x86_64 1/151 Installing : crypto-policies-20220802-1.gita99dfd2.fc37.noarc 2/151 Running scriptlet: crypto-policies-20220802-1.gita99dfd2.fc37.noarc 2/151 Installing : fedora-release-identity-basic-37-0.9.noarch 3/151 Installing : tzdata-2022a-4.fc37.noarch 4/151 Installing : rust-srpm-macros-22-1.fc37.noarch 5/151 Installing : qt5-srpm-macros-5.15.5-2.fc37.noarch 6/151 Installing : publicsuffix-list-dafsa-20210518-5.fc37.noarch 7/151 Installing : pkgconf-m4-1.8.0-3.fc37.noarch 8/151 Installing : perl-srpm-macros-1-46.fc37.noarch 9/151 Installing : pcre2-syntax-10.40-1.fc37.1.noarch 10/151 Installing : openblas-srpm-macros-2-12.fc37.noarch 11/151 Installing : ocaml-srpm-macros-7-2.fc37.noarch 12/151 Installing : nim-srpm-macros-3-7.fc37.noarch 13/151 Installing : ncurses-base-6.3-3.20220501.fc37.noarch 14/151 Installing : libssh-config-0.9.6-5.fc37.noarch 15/151 Installing : kernel-srpm-macros-1.0-15.fc37.noarch 16/151 Installing : gnat-srpm-macros-4-16.fc37.noarch 17/151 Installing : ghc-srpm-macros-1.5.0-7.fc37.noarch 18/151 Installing : fpc-srpm-macros-1.3-6.fc37.noarch 19/151 Installing : fedora-gpg-keys-37-0.3.noarch 20/151 Installing : fedora-release-37-0.9.noarch 21/151 Installing : fedora-release-common-37-0.9.noarch 22/151 Installing : fedora-repos-rawhide-37-0.3.noarch 23/151 Installing : fedora-repos-37-0.3.noarch 24/151 Installing : setup-2.14.1-2.fc37.noarch 25/151 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.1-2.fc37.noarch 25/151 Installing : filesystem-3.18-1.fc37.x86_64 26/151 Installing : basesystem-11-14.fc37.noarch 27/151 Installing : glibc-gconv-extra-2.36-1.fc37.x86_64 28/151 Running scriptlet: glibc-gconv-extra-2.36-1.fc37.x86_64 28/151 Installing : ncurses-libs-6.3-3.20220501.fc37.x86_64 29/151 Running scriptlet: glibc-2.36-1.fc37.x86_64 30/151 Installing : glibc-2.36-1.fc37.x86_64 30/151 Running scriptlet: glibc-2.36-1.fc37.x86_64 30/151 Installing : bash-5.1.16-3.fc37.x86_64 31/151 Running scriptlet: bash-5.1.16-3.fc37.x86_64 31/151 Installing : glibc-common-2.36-1.fc37.x86_64 32/151 Installing : glibc-minimal-langpack-2.36-1.fc37.x86_64 33/151 Installing : zlib-1.2.12-4.fc37.x86_64 34/151 Installing : xz-libs-5.2.5-10.fc37.x86_64 35/151 Installing : bzip2-libs-1.0.8-12.fc37.x86_64 36/151 Installing : elfutils-libelf-0.187-7.fc37.x86_64 37/151 Installing : libstdc++-12.1.1-3.fc37.1.x86_64 38/151 Installing : libuuid-2.38.1-1.fc37.x86_64 39/151 Installing : libzstd-1.5.2-3.fc37.x86_64 40/151 Installing : popt-1.19~rc1-3.fc37.x86_64 41/151 Installing : libblkid-2.38.1-1.fc37.x86_64 42/151 Installing : gmp-1:6.2.1-3.fc37.x86_64 43/151 Installing : libattr-2.5.1-5.fc37.x86_64 44/151 Installing : libacl-2.3.1-4.fc37.x86_64 45/151 Installing : libcap-2.48-5.fc37.x86_64 46/151 Installing : libxcrypt-4.4.28-2.fc37.x86_64 47/151 Installing : readline-8.1-7.fc37.x86_64 48/151 Installing : lz4-libs-1.9.3-5.fc37.x86_64 49/151 Installing : systemd-libs-251.3-2.fc37.x86_64 50/151 Installing : mpfr-4.1.0-10.fc37.x86_64 51/151 Installing : dwz-0.14-7.fc37.x86_64 52/151 Installing : unzip-6.0-58.fc37.x86_64 53/151 Installing : file-libs-5.42-4.fc37.x86_64 54/151 Installing : file-5.42-4.fc37.x86_64 55/151 Installing : sqlite-libs-3.39.2-2.fc37.x86_64 56/151 Installing : alternatives-1.19-3.fc37.x86_64 57/151 Installing : libcap-ng-0.8.3-3.fc37.x86_64 58/151 Installing : audit-libs-3.0.8-3.fc37.x86_64 59/151 Installing : libcom_err-1.46.5-3.fc37.x86_64 60/151 Installing : libeconf-0.4.0-4.fc37.x86_64 61/151 Installing : pam-libs-1.5.2-14.fc37.x86_64 62/151 Installing : libsepol-3.4-3.fc37.x86_64 63/151 Installing : libsmartcols-2.38.1-1.fc37.x86_64 64/151 Installing : libunistring-1.0-2.fc37.x86_64 65/151 Installing : libidn2-2.3.3-2.fc37.x86_64 66/151 Installing : lua-libs-5.4.4-4.fc37.x86_64 67/151 Installing : libpsl-0.21.1-6.fc37.x86_64 68/151 Installing : zip-3.0-33.fc37.x86_64 69/151 Installing : zstd-1.5.2-3.fc37.x86_64 70/151 Installing : libfdisk-2.38.1-1.fc37.x86_64 71/151 Installing : bzip2-1.0.8-12.fc37.x86_64 72/151 Installing : libxml2-2.9.14-3.fc37.x86_64 73/151 Installing : elfutils-default-yama-scope-0.187-7.fc37.noarch 74/151 Running scriptlet: elfutils-default-yama-scope-0.187-7.fc37.noarch 74/151 Installing : ed-1.18-2.fc37.x86_64 75/151 Installing : package-notes-srpm-macros-0.4-16.fc37.noarch 76/151 Installing : cpio-2.13-13.fc37.x86_64 77/151 Installing : diffutils-3.8-3.fc37.x86_64 78/151 Installing : gdbm-libs-1:1.23-2.fc37.x86_64 79/151 Installing : cyrus-sasl-lib-2.1.28-7.fc37.x86_64 80/151 Installing : keyutils-libs-1.6.1-5.fc37.x86_64 81/151 Installing : libbrotli-1.0.9-9.fc37.x86_64 82/151 Installing : libdb-5.3.28-53.fc37.x86_64 83/151 Installing : libffi-3.4.2-9.fc37.x86_64 84/151 Installing : p11-kit-0.24.1-3.fc37.x86_64 85/151 Installing : libgomp-12.1.1-3.fc37.1.x86_64 86/151 Installing : libnghttp2-1.48.0-2.fc37.x86_64 87/151 Installing : libpkgconf-1.8.0-3.fc37.x86_64 88/151 Installing : pkgconf-1.8.0-3.fc37.x86_64 89/151 Installing : pkgconf-pkg-config-1.8.0-3.fc37.x86_64 90/151 Installing : libsigsegv-2.14-3.fc37.x86_64 91/151 Installing : gawk-5.1.1-4.fc37.x86_64 92/151 Installing : libtasn1-4.18.0-3.fc37.x86_64 93/151 Installing : p11-kit-trust-0.24.1-3.fc37.x86_64 94/151 Running scriptlet: p11-kit-trust-0.24.1-3.fc37.x86_64 94/151 Installing : libverto-0.3.2-4.fc37.x86_64 95/151 Installing : pcre-8.45-1.fc37.2.x86_64 96/151 Installing : grep-3.7-4.fc37.x86_64 97/151 Installing : xz-5.2.5-10.fc37.x86_64 98/151 Installing : pcre2-10.40-1.fc37.1.x86_64 99/151 Installing : libselinux-3.4-5.fc37.x86_64 100/151 Installing : sed-4.8-11.fc37.x86_64 101/151 Installing : findutils-1:4.9.0-2.fc37.x86_64 102/151 Installing : libmount-2.38.1-1.fc37.x86_64 103/151 Installing : util-linux-core-2.38.1-1.fc37.x86_64 104/151 Installing : patch-2.7.6-17.fc37.x86_64 105/151 Installing : tar-2:1.34-4.fc37.x86_64 106/151 Installing : libsemanage-3.4-5.fc37.x86_64 107/151 Installing : shadow-utils-2:4.11.1-4.fc37.x86_64 108/151 Running scriptlet: libutempter-1.2.1-7.fc37.x86_64 109/151 Installing : libutempter-1.2.1-7.fc37.x86_64 109/151 Installing : xxhash-libs-0.8.1-3.fc37.x86_64 110/151 Installing : ansible-srpm-macros-1-6.fc37.noarch 111/151 Installing : coreutils-common-9.1-6.fc37.x86_64 112/151 Installing : openssl-libs-1:3.0.5-2.fc37.x86_64 113/151 Installing : coreutils-9.1-6.fc37.x86_64 114/151 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 115/151 Installing : ca-certificates-2022.2.54-5.fc37.noarch 115/151 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 115/151 Installing : krb5-libs-1.19.2-11.fc37.1.x86_64 116/151 Installing : libtirpc-1.3.2-1.rc5.fc37.x86_64 117/151 Running scriptlet: authselect-libs-1.4.0-3.fc37.x86_64 118/151 Installing : authselect-libs-1.4.0-3.fc37.x86_64 118/151 Installing : gzip-1.12-2.fc37.x86_64 119/151 Installing : cracklib-2.9.6-28.fc36.x86_64 120/151 Installing : libpwquality-1.4.4-11.fc37.x86_64 121/151 Installing : authselect-1.4.0-3.fc37.x86_64 122/151 Installing : libnsl2-2.0.0-4.fc37.x86_64 123/151 Installing : pam-1.5.2-14.fc37.x86_64 124/151 Installing : libssh-0.9.6-5.fc37.x86_64 125/151 Installing : libarchive-3.6.1-2.fc37.x86_64 126/151 Installing : libevent-2.1.12-7.fc37.x86_64 127/151 Installing : openldap-2.6.2-4.fc37.x86_64 128/151 Installing : libcurl-7.84.0-2.fc37.x86_64 129/151 Installing : elfutils-libs-0.187-7.fc37.x86_64 130/151 Installing : elfutils-debuginfod-client-0.187-7.fc37.x86_64 131/151 Installing : binutils-gold-2.38-23.fc37.x86_64 132/151 Installing : binutils-2.38-23.fc37.x86_64 133/151 Running scriptlet: binutils-2.38-23.fc37.x86_64 133/151 Installing : elfutils-0.187-7.fc37.x86_64 134/151 Installing : gdb-minimal-12.1-4.fc37.x86_64 135/151 Installing : debugedit-5.0-5.fc37.x86_64 136/151 Installing : curl-7.84.0-2.fc37.x86_64 137/151 Installing : rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 138/151 Running scriptlet: rpm-4.18.0-0.beta1.4.fc37.x86_64 139/151 Installing : rpm-4.18.0-0.beta1.4.fc37.x86_64 139/151 Installing : efi-srpm-macros-5-6.fc37.noarch 140/151 Installing : lua-srpm-macros-1-7.fc37.noarch 141/151 Installing : rpmautospec-rpm-macros-0.3.0-1.fc37.noarch 142/151 Installing : fonts-srpm-macros-1:2.0.5-8.fc37.noarch 143/151 Installing : go-srpm-macros-3.0.15-3.fc37.noarch 144/151 Installing : python-srpm-macros-3.11-4.fc37.noarch 145/151 Installing : redhat-rpm-config-226-1.fc37.noarch 146/151 Installing : rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 147/151 Installing : rpm-build-4.18.0-0.beta1.4.fc37.x86_64 148/151 Installing : util-linux-2.38.1-1.fc37.x86_64 149/151 Installing : which-2.21-35.fc37.x86_64 150/151 Installing : info-6.8-4.fc37.x86_64 151/151 Running scriptlet: filesystem-3.18-1.fc37.x86_64 151/151 Running scriptlet: ca-certificates-2022.2.54-5.fc37.noarch 151/151 Running scriptlet: authselect-libs-1.4.0-3.fc37.x86_64 151/151 Running scriptlet: rpm-4.18.0-0.beta1.4.fc37.x86_64 151/151 Running scriptlet: info-6.8-4.fc37.x86_64 151/151 Verifying : authselect-1.4.0-3.fc37.x86_64 1/151 Verifying : authselect-libs-1.4.0-3.fc37.x86_64 2/151 Verifying : bash-5.1.16-3.fc37.x86_64 3/151 Verifying : coreutils-9.1-6.fc37.x86_64 4/151 Verifying : coreutils-common-9.1-6.fc37.x86_64 5/151 Verifying : cpio-2.13-13.fc37.x86_64 6/151 Verifying : cyrus-sasl-lib-2.1.28-7.fc37.x86_64 7/151 Verifying : debugedit-5.0-5.fc37.x86_64 8/151 Verifying : diffutils-3.8-3.fc37.x86_64 9/151 Verifying : elfutils-0.187-7.fc37.x86_64 10/151 Verifying : elfutils-debuginfod-client-0.187-7.fc37.x86_64 11/151 Verifying : elfutils-default-yama-scope-0.187-7.fc37.noarch 12/151 Verifying : elfutils-libelf-0.187-7.fc37.x86_64 13/151 Verifying : elfutils-libs-0.187-7.fc37.x86_64 14/151 Verifying : file-5.42-4.fc37.x86_64 15/151 Verifying : file-libs-5.42-4.fc37.x86_64 16/151 Verifying : grep-3.7-4.fc37.x86_64 17/151 Verifying : gzip-1.12-2.fc37.x86_64 18/151 Verifying : patch-2.7.6-17.fc37.x86_64 19/151 Verifying : sed-4.8-11.fc37.x86_64 20/151 Verifying : sqlite-libs-3.39.2-2.fc37.x86_64 21/151 Verifying : tar-2:1.34-4.fc37.x86_64 22/151 Verifying : alternatives-1.19-3.fc37.x86_64 23/151 Verifying : ansible-srpm-macros-1-6.fc37.noarch 24/151 Verifying : audit-libs-3.0.8-3.fc37.x86_64 25/151 Verifying : basesystem-11-14.fc37.noarch 26/151 Verifying : binutils-2.38-23.fc37.x86_64 27/151 Verifying : binutils-gold-2.38-23.fc37.x86_64 28/151 Verifying : bzip2-1.0.8-12.fc37.x86_64 29/151 Verifying : bzip2-libs-1.0.8-12.fc37.x86_64 30/151 Verifying : ca-certificates-2022.2.54-5.fc37.noarch 31/151 Verifying : cracklib-2.9.6-28.fc36.x86_64 32/151 Verifying : crypto-policies-20220802-1.gita99dfd2.fc37.noarc 33/151 Verifying : curl-7.84.0-2.fc37.x86_64 34/151 Verifying : dwz-0.14-7.fc37.x86_64 35/151 Verifying : ed-1.18-2.fc37.x86_64 36/151 Verifying : efi-srpm-macros-5-6.fc37.noarch 37/151 Verifying : fedora-gpg-keys-37-0.3.noarch 38/151 Verifying : fedora-release-37-0.9.noarch 39/151 Verifying : fedora-release-common-37-0.9.noarch 40/151 Verifying : fedora-release-identity-basic-37-0.9.noarch 41/151 Verifying : fedora-repos-37-0.3.noarch 42/151 Verifying : fedora-repos-rawhide-37-0.3.noarch 43/151 Verifying : filesystem-3.18-1.fc37.x86_64 44/151 Verifying : findutils-1:4.9.0-2.fc37.x86_64 45/151 Verifying : fonts-srpm-macros-1:2.0.5-8.fc37.noarch 46/151 Verifying : fpc-srpm-macros-1.3-6.fc37.noarch 47/151 Verifying : gawk-5.1.1-4.fc37.x86_64 48/151 Verifying : gdb-minimal-12.1-4.fc37.x86_64 49/151 Verifying : gdbm-libs-1:1.23-2.fc37.x86_64 50/151 Verifying : ghc-srpm-macros-1.5.0-7.fc37.noarch 51/151 Verifying : glibc-2.36-1.fc37.x86_64 52/151 Verifying : glibc-common-2.36-1.fc37.x86_64 53/151 Verifying : glibc-gconv-extra-2.36-1.fc37.x86_64 54/151 Verifying : glibc-minimal-langpack-2.36-1.fc37.x86_64 55/151 Verifying : gmp-1:6.2.1-3.fc37.x86_64 56/151 Verifying : gnat-srpm-macros-4-16.fc37.noarch 57/151 Verifying : go-srpm-macros-3.0.15-3.fc37.noarch 58/151 Verifying : info-6.8-4.fc37.x86_64 59/151 Verifying : kernel-srpm-macros-1.0-15.fc37.noarch 60/151 Verifying : keyutils-libs-1.6.1-5.fc37.x86_64 61/151 Verifying : krb5-libs-1.19.2-11.fc37.1.x86_64 62/151 Verifying : libacl-2.3.1-4.fc37.x86_64 63/151 Verifying : libarchive-3.6.1-2.fc37.x86_64 64/151 Verifying : libattr-2.5.1-5.fc37.x86_64 65/151 Verifying : libblkid-2.38.1-1.fc37.x86_64 66/151 Verifying : libbrotli-1.0.9-9.fc37.x86_64 67/151 Verifying : libcap-2.48-5.fc37.x86_64 68/151 Verifying : libcap-ng-0.8.3-3.fc37.x86_64 69/151 Verifying : libcom_err-1.46.5-3.fc37.x86_64 70/151 Verifying : libcurl-7.84.0-2.fc37.x86_64 71/151 Verifying : libdb-5.3.28-53.fc37.x86_64 72/151 Verifying : libeconf-0.4.0-4.fc37.x86_64 73/151 Verifying : libevent-2.1.12-7.fc37.x86_64 74/151 Verifying : libfdisk-2.38.1-1.fc37.x86_64 75/151 Verifying : libffi-3.4.2-9.fc37.x86_64 76/151 Verifying : libgcc-12.1.1-3.fc37.1.x86_64 77/151 Verifying : libgomp-12.1.1-3.fc37.1.x86_64 78/151 Verifying : libidn2-2.3.3-2.fc37.x86_64 79/151 Verifying : libmount-2.38.1-1.fc37.x86_64 80/151 Verifying : libnghttp2-1.48.0-2.fc37.x86_64 81/151 Verifying : libnsl2-2.0.0-4.fc37.x86_64 82/151 Verifying : libpkgconf-1.8.0-3.fc37.x86_64 83/151 Verifying : libpsl-0.21.1-6.fc37.x86_64 84/151 Verifying : libpwquality-1.4.4-11.fc37.x86_64 85/151 Verifying : libselinux-3.4-5.fc37.x86_64 86/151 Verifying : libsemanage-3.4-5.fc37.x86_64 87/151 Verifying : libsepol-3.4-3.fc37.x86_64 88/151 Verifying : libsigsegv-2.14-3.fc37.x86_64 89/151 Verifying : libsmartcols-2.38.1-1.fc37.x86_64 90/151 Verifying : libssh-0.9.6-5.fc37.x86_64 91/151 Verifying : libssh-config-0.9.6-5.fc37.noarch 92/151 Verifying : libstdc++-12.1.1-3.fc37.1.x86_64 93/151 Verifying : libtasn1-4.18.0-3.fc37.x86_64 94/151 Verifying : libtirpc-1.3.2-1.rc5.fc37.x86_64 95/151 Verifying : libunistring-1.0-2.fc37.x86_64 96/151 Verifying : libutempter-1.2.1-7.fc37.x86_64 97/151 Verifying : libuuid-2.38.1-1.fc37.x86_64 98/151 Verifying : libverto-0.3.2-4.fc37.x86_64 99/151 Verifying : libxcrypt-4.4.28-2.fc37.x86_64 100/151 Verifying : libxml2-2.9.14-3.fc37.x86_64 101/151 Verifying : libzstd-1.5.2-3.fc37.x86_64 102/151 Verifying : lua-libs-5.4.4-4.fc37.x86_64 103/151 Verifying : lua-srpm-macros-1-7.fc37.noarch 104/151 Verifying : lz4-libs-1.9.3-5.fc37.x86_64 105/151 Verifying : mpfr-4.1.0-10.fc37.x86_64 106/151 Verifying : ncurses-base-6.3-3.20220501.fc37.noarch 107/151 Verifying : ncurses-libs-6.3-3.20220501.fc37.x86_64 108/151 Verifying : nim-srpm-macros-3-7.fc37.noarch 109/151 Verifying : ocaml-srpm-macros-7-2.fc37.noarch 110/151 Verifying : openblas-srpm-macros-2-12.fc37.noarch 111/151 Verifying : openldap-2.6.2-4.fc37.x86_64 112/151 Verifying : openssl-libs-1:3.0.5-2.fc37.x86_64 113/151 Verifying : p11-kit-0.24.1-3.fc37.x86_64 114/151 Verifying : p11-kit-trust-0.24.1-3.fc37.x86_64 115/151 Verifying : package-notes-srpm-macros-0.4-16.fc37.noarch 116/151 Verifying : pam-1.5.2-14.fc37.x86_64 117/151 Verifying : pam-libs-1.5.2-14.fc37.x86_64 118/151 Verifying : pcre-8.45-1.fc37.2.x86_64 119/151 Verifying : pcre2-10.40-1.fc37.1.x86_64 120/151 Verifying : pcre2-syntax-10.40-1.fc37.1.noarch 121/151 Verifying : perl-srpm-macros-1-46.fc37.noarch 122/151 Verifying : pkgconf-1.8.0-3.fc37.x86_64 123/151 Verifying : pkgconf-m4-1.8.0-3.fc37.noarch 124/151 Verifying : pkgconf-pkg-config-1.8.0-3.fc37.x86_64 125/151 Verifying : popt-1.19~rc1-3.fc37.x86_64 126/151 Verifying : publicsuffix-list-dafsa-20210518-5.fc37.noarch 127/151 Verifying : python-srpm-macros-3.11-4.fc37.noarch 128/151 Verifying : qt5-srpm-macros-5.15.5-2.fc37.noarch 129/151 Verifying : readline-8.1-7.fc37.x86_64 130/151 Verifying : redhat-rpm-config-226-1.fc37.noarch 131/151 Verifying : rpm-4.18.0-0.beta1.4.fc37.x86_64 132/151 Verifying : rpm-build-4.18.0-0.beta1.4.fc37.x86_64 133/151 Verifying : rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 134/151 Verifying : rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 135/151 Verifying : rpmautospec-rpm-macros-0.3.0-1.fc37.noarch 136/151 Verifying : rust-srpm-macros-22-1.fc37.noarch 137/151 Verifying : setup-2.14.1-2.fc37.noarch 138/151 Verifying : shadow-utils-2:4.11.1-4.fc37.x86_64 139/151 Verifying : systemd-libs-251.3-2.fc37.x86_64 140/151 Verifying : tzdata-2022a-4.fc37.noarch 141/151 Verifying : unzip-6.0-58.fc37.x86_64 142/151 Verifying : util-linux-2.38.1-1.fc37.x86_64 143/151 Verifying : util-linux-core-2.38.1-1.fc37.x86_64 144/151 Verifying : which-2.21-35.fc37.x86_64 145/151 Verifying : xxhash-libs-0.8.1-3.fc37.x86_64 146/151 Verifying : xz-5.2.5-10.fc37.x86_64 147/151 Verifying : xz-libs-5.2.5-10.fc37.x86_64 148/151 Verifying : zip-3.0-33.fc37.x86_64 149/151 Verifying : zlib-1.2.12-4.fc37.x86_64 150/151 Verifying : zstd-1.5.2-3.fc37.x86_64 151/151 Installed: alternatives-1.19-3.fc37.x86_64 ansible-srpm-macros-1-6.fc37.noarch audit-libs-3.0.8-3.fc37.x86_64 authselect-1.4.0-3.fc37.x86_64 authselect-libs-1.4.0-3.fc37.x86_64 basesystem-11-14.fc37.noarch bash-5.1.16-3.fc37.x86_64 binutils-2.38-23.fc37.x86_64 binutils-gold-2.38-23.fc37.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-6.fc37.x86_64 coreutils-common-9.1-6.fc37.x86_64 cpio-2.13-13.fc37.x86_64 cracklib-2.9.6-28.fc36.x86_64 crypto-policies-20220802-1.gita99dfd2.fc37.noarch curl-7.84.0-2.fc37.x86_64 cyrus-sasl-lib-2.1.28-7.fc37.x86_64 debugedit-5.0-5.fc37.x86_64 diffutils-3.8-3.fc37.x86_64 dwz-0.14-7.fc37.x86_64 ed-1.18-2.fc37.x86_64 efi-srpm-macros-5-6.fc37.noarch elfutils-0.187-7.fc37.x86_64 elfutils-debuginfod-client-0.187-7.fc37.x86_64 elfutils-default-yama-scope-0.187-7.fc37.noarch elfutils-libelf-0.187-7.fc37.x86_64 elfutils-libs-0.187-7.fc37.x86_64 fedora-gpg-keys-37-0.3.noarch fedora-release-37-0.9.noarch fedora-release-common-37-0.9.noarch fedora-release-identity-basic-37-0.9.noarch fedora-repos-37-0.3.noarch fedora-repos-rawhide-37-0.3.noarch file-5.42-4.fc37.x86_64 file-libs-5.42-4.fc37.x86_64 filesystem-3.18-1.fc37.x86_64 findutils-1:4.9.0-2.fc37.x86_64 fonts-srpm-macros-1:2.0.5-8.fc37.noarch fpc-srpm-macros-1.3-6.fc37.noarch gawk-5.1.1-4.fc37.x86_64 gdb-minimal-12.1-4.fc37.x86_64 gdbm-libs-1:1.23-2.fc37.x86_64 ghc-srpm-macros-1.5.0-7.fc37.noarch glibc-2.36-1.fc37.x86_64 glibc-common-2.36-1.fc37.x86_64 glibc-gconv-extra-2.36-1.fc37.x86_64 glibc-minimal-langpack-2.36-1.fc37.x86_64 gmp-1:6.2.1-3.fc37.x86_64 gnat-srpm-macros-4-16.fc37.noarch go-srpm-macros-3.0.15-3.fc37.noarch grep-3.7-4.fc37.x86_64 gzip-1.12-2.fc37.x86_64 info-6.8-4.fc37.x86_64 kernel-srpm-macros-1.0-15.fc37.noarch keyutils-libs-1.6.1-5.fc37.x86_64 krb5-libs-1.19.2-11.fc37.1.x86_64 libacl-2.3.1-4.fc37.x86_64 libarchive-3.6.1-2.fc37.x86_64 libattr-2.5.1-5.fc37.x86_64 libblkid-2.38.1-1.fc37.x86_64 libbrotli-1.0.9-9.fc37.x86_64 libcap-2.48-5.fc37.x86_64 libcap-ng-0.8.3-3.fc37.x86_64 libcom_err-1.46.5-3.fc37.x86_64 libcurl-7.84.0-2.fc37.x86_64 libdb-5.3.28-53.fc37.x86_64 libeconf-0.4.0-4.fc37.x86_64 libevent-2.1.12-7.fc37.x86_64 libfdisk-2.38.1-1.fc37.x86_64 libffi-3.4.2-9.fc37.x86_64 libgcc-12.1.1-3.fc37.1.x86_64 libgomp-12.1.1-3.fc37.1.x86_64 libidn2-2.3.3-2.fc37.x86_64 libmount-2.38.1-1.fc37.x86_64 libnghttp2-1.48.0-2.fc37.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.4-11.fc37.x86_64 libselinux-3.4-5.fc37.x86_64 libsemanage-3.4-5.fc37.x86_64 libsepol-3.4-3.fc37.x86_64 libsigsegv-2.14-3.fc37.x86_64 libsmartcols-2.38.1-1.fc37.x86_64 libssh-0.9.6-5.fc37.x86_64 libssh-config-0.9.6-5.fc37.noarch libstdc++-12.1.1-3.fc37.1.x86_64 libtasn1-4.18.0-3.fc37.x86_64 libtirpc-1.3.2-1.rc5.fc37.x86_64 libunistring-1.0-2.fc37.x86_64 libutempter-1.2.1-7.fc37.x86_64 libuuid-2.38.1-1.fc37.x86_64 libverto-0.3.2-4.fc37.x86_64 libxcrypt-4.4.28-2.fc37.x86_64 libxml2-2.9.14-3.fc37.x86_64 libzstd-1.5.2-3.fc37.x86_64 lua-libs-5.4.4-4.fc37.x86_64 lua-srpm-macros-1-7.fc37.noarch lz4-libs-1.9.3-5.fc37.x86_64 mpfr-4.1.0-10.fc37.x86_64 ncurses-base-6.3-3.20220501.fc37.noarch ncurses-libs-6.3-3.20220501.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.2-4.fc37.x86_64 openssl-libs-1:3.0.5-2.fc37.x86_64 p11-kit-0.24.1-3.fc37.x86_64 p11-kit-trust-0.24.1-3.fc37.x86_64 package-notes-srpm-macros-0.4-16.fc37.noarch pam-1.5.2-14.fc37.x86_64 pam-libs-1.5.2-14.fc37.x86_64 patch-2.7.6-17.fc37.x86_64 pcre-8.45-1.fc37.2.x86_64 pcre2-10.40-1.fc37.1.x86_64 pcre2-syntax-10.40-1.fc37.1.noarch perl-srpm-macros-1-46.fc37.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~rc1-3.fc37.x86_64 publicsuffix-list-dafsa-20210518-5.fc37.noarch python-srpm-macros-3.11-4.fc37.noarch qt5-srpm-macros-5.15.5-2.fc37.noarch readline-8.1-7.fc37.x86_64 redhat-rpm-config-226-1.fc37.noarch rpm-4.18.0-0.beta1.4.fc37.x86_64 rpm-build-4.18.0-0.beta1.4.fc37.x86_64 rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 rpmautospec-rpm-macros-0.3.0-1.fc37.noarch rust-srpm-macros-22-1.fc37.noarch sed-4.8-11.fc37.x86_64 setup-2.14.1-2.fc37.noarch shadow-utils-2:4.11.1-4.fc37.x86_64 sqlite-libs-3.39.2-2.fc37.x86_64 systemd-libs-251.3-2.fc37.x86_64 tar-2:1.34-4.fc37.x86_64 tzdata-2022a-4.fc37.noarch unzip-6.0-58.fc37.x86_64 util-linux-2.38.1-1.fc37.x86_64 util-linux-core-2.38.1-1.fc37.x86_64 which-2.21-35.fc37.x86_64 xxhash-libs-0.8.1-3.fc37.x86_64 xz-5.2.5-10.fc37.x86_64 xz-libs-5.2.5-10.fc37.x86_64 zip-3.0-33.fc37.x86_64 zlib-1.2.12-4.fc37.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: openssl-libs-3.0.5-2.fc37.x86_64 fedora-repos-37-0.3.noarch libarchive-3.6.1-2.fc37.x86_64 tzdata-2022a-4.fc37.noarch fedora-release-37-0.9.noarch gawk-5.1.1-4.fc37.x86_64 lua-srpm-macros-1-7.fc37.noarch util-linux-2.38.1-1.fc37.x86_64 cyrus-sasl-lib-2.1.28-7.fc37.x86_64 libevent-2.1.12-7.fc37.x86_64 sed-4.8-11.fc37.x86_64 crypto-policies-20220802-1.gita99dfd2.fc37.noarch setup-2.14.1-2.fc37.noarch libcom_err-1.46.5-3.fc37.x86_64 openblas-srpm-macros-2-12.fc37.noarch nim-srpm-macros-3-7.fc37.noarch dwz-0.14-7.fc37.x86_64 filesystem-3.18-1.fc37.x86_64 libattr-2.5.1-5.fc37.x86_64 libzstd-1.5.2-3.fc37.x86_64 rpm-libs-4.18.0-0.beta1.4.fc37.x86_64 rust-srpm-macros-22-1.fc37.noarch fedora-release-identity-basic-37-0.9.noarch ansible-srpm-macros-1-6.fc37.noarch krb5-libs-1.19.2-11.fc37.1.x86_64 diffutils-3.8-3.fc37.x86_64 glibc-2.36-1.fc37.x86_64 publicsuffix-list-dafsa-20210518-5.fc37.noarch libeconf-0.4.0-4.fc37.x86_64 libunistring-1.0-2.fc37.x86_64 redhat-rpm-config-226-1.fc37.noarch which-2.21-35.fc37.x86_64 libcurl-7.84.0-2.fc37.x86_64 xxhash-libs-0.8.1-3.fc37.x86_64 pkgconf-m4-1.8.0-3.fc37.noarch util-linux-core-2.38.1-1.fc37.x86_64 libtirpc-1.3.2-1.rc5.fc37.x86_64 alternatives-1.19-3.fc37.x86_64 elfutils-default-yama-scope-0.187-7.fc37.noarch libsepol-3.4-3.fc37.x86_64 glibc-gconv-extra-2.36-1.fc37.x86_64 debugedit-5.0-5.fc37.x86_64 libuuid-2.38.1-1.fc37.x86_64 gdbm-libs-1.23-2.fc37.x86_64 lz4-libs-1.9.3-5.fc37.x86_64 libsemanage-3.4-5.fc37.x86_64 audit-libs-3.0.8-3.fc37.x86_64 gdb-minimal-12.1-4.fc37.x86_64 rpm-build-libs-4.18.0-0.beta1.4.fc37.x86_64 lua-libs-5.4.4-4.fc37.x86_64 ghc-srpm-macros-1.5.0-7.fc37.noarch libpsl-0.21.1-6.fc37.x86_64 tar-1.34-4.fc37.x86_64 rpmautospec-rpm-macros-0.3.0-1.fc37.noarch efi-srpm-macros-5-6.fc37.noarch systemd-libs-251.3-2.fc37.x86_64 libverto-0.3.2-4.fc37.x86_64 package-notes-srpm-macros-0.4-16.fc37.noarch ncurses-base-6.3-3.20220501.fc37.noarch glibc-common-2.36-1.fc37.x86_64 libidn2-2.3.3-2.fc37.x86_64 libbrotli-1.0.9-9.fc37.x86_64 fpc-srpm-macros-1.3-6.fc37.noarch grep-3.7-4.fc37.x86_64 authselect-1.4.0-3.fc37.x86_64 fedora-release-common-37-0.9.noarch authselect-libs-1.4.0-3.fc37.x86_64 fedora-repos-rawhide-37-0.3.noarch pcre2-10.40-1.fc37.1.x86_64 fonts-srpm-macros-2.0.5-8.fc37.noarch libblkid-2.38.1-1.fc37.x86_64 gpg-pubkey-38ab71f4-60242b08 qt5-srpm-macros-5.15.5-2.fc37.noarch keyutils-libs-1.6.1-5.fc37.x86_64 xz-5.2.5-10.fc37.x86_64 readline-8.1-7.fc37.x86_64 pam-libs-1.5.2-14.fc37.x86_64 libsigsegv-2.14-3.fc37.x86_64 cracklib-2.9.6-28.fc36.x86_64 openldap-2.6.2-4.fc37.x86_64 file-5.42-4.fc37.x86_64 libxml2-2.9.14-3.fc37.x86_64 libmount-2.38.1-1.fc37.x86_64 elfutils-libs-0.187-7.fc37.x86_64 libtasn1-4.18.0-3.fc37.x86_64 libssh-config-0.9.6-5.fc37.noarch gpg-pubkey-5323552a-6112bcdc p11-kit-trust-0.24.1-3.fc37.x86_64 gzip-1.12-2.fc37.x86_64 elfutils-0.187-7.fc37.x86_64 ed-1.18-2.fc37.x86_64 bzip2-libs-1.0.8-12.fc37.x86_64 kernel-srpm-macros-1.0-15.fc37.noarch pam-1.5.2-14.fc37.x86_64 libpkgconf-1.8.0-3.fc37.x86_64 libxcrypt-4.4.28-2.fc37.x86_64 libsmartcols-2.38.1-1.fc37.x86_64 rpm-build-4.18.0-0.beta1.4.fc37.x86_64 pcre-8.45-1.fc37.2.x86_64 cpio-2.13-13.fc37.x86_64 libffi-3.4.2-9.fc37.x86_64 ocaml-srpm-macros-7-2.fc37.noarch libpwquality-1.4.4-11.fc37.x86_64 gnat-srpm-macros-4-16.fc37.noarch bash-5.1.16-3.fc37.x86_64 zstd-1.5.2-3.fc37.x86_64 zip-3.0-33.fc37.x86_64 file-libs-5.42-4.fc37.x86_64 findutils-4.9.0-2.fc37.x86_64 libnghttp2-1.48.0-2.fc37.x86_64 libfdisk-2.38.1-1.fc37.x86_64 libcap-2.48-5.fc37.x86_64 libssh-0.9.6-5.fc37.x86_64 bzip2-1.0.8-12.fc37.x86_64 coreutils-common-9.1-6.fc37.x86_64 libnsl2-2.0.0-4.fc37.x86_64 mpfr-4.1.0-10.fc37.x86_64 libstdc++-12.1.1-3.fc37.1.x86_64 sqlite-libs-3.39.2-2.fc37.x86_64 patch-2.7.6-17.fc37.x86_64 binutils-2.38-23.fc37.x86_64 pcre2-syntax-10.40-1.fc37.1.noarch ca-certificates-2022.2.54-5.fc37.noarch libselinux-3.4-5.fc37.x86_64 libdb-5.3.28-53.fc37.x86_64 p11-kit-0.24.1-3.fc37.x86_64 python-srpm-macros-3.11-4.fc37.noarch ncurses-libs-6.3-3.20220501.fc37.x86_64 perl-srpm-macros-1-46.fc37.noarch pkgconf-1.8.0-3.fc37.x86_64 libutempter-1.2.1-7.fc37.x86_64 info-6.8-4.fc37.x86_64 libgcc-12.1.1-3.fc37.1.x86_64 go-srpm-macros-3.0.15-3.fc37.noarch libcap-ng-0.8.3-3.fc37.x86_64 zlib-1.2.12-4.fc37.x86_64 curl-7.84.0-2.fc37.x86_64 fedora-gpg-keys-37-0.3.noarch elfutils-libelf-0.187-7.fc37.x86_64 coreutils-9.1-6.fc37.x86_64 gmp-6.2.1-3.fc37.x86_64 shadow-utils-4.11.1-4.fc37.x86_64 rpm-4.18.0-0.beta1.4.fc37.x86_64 xz-libs-5.2.5-10.fc37.x86_64 binutils-gold-2.38-23.fc37.x86_64 basesystem-11-14.fc37.noarch popt-1.19~rc1-3.fc37.x86_64 elfutils-debuginfod-client-0.187-7.fc37.x86_64 pkgconf-pkg-config-1.8.0-3.fc37.x86_64 libacl-2.3.1-4.fc37.x86_64 glibc-minimal-langpack-2.36-1.fc37.x86_64 libgomp-12.1.1-3.fc37.1.x86_64 unzip-6.0-58.fc37.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658361600 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.2-2.fc37.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-wa2wm666/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 53 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=108000): unbuffer mock --rebuild /var/lib/copr-rpmbuild/results/gappalib-coq-1.5.2-2.fc37.src.rpm --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1660142096.958365 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 3.1 starting (python version = 3.10.4, NVR = mock-3.1-1.fc35)... 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-2.fc37.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-1660142096.958365/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1660142096.958365/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.1 INFO: Mock Version: 3.1 Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/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.1 INFO: Mock Version: 3.1 Start: dnf update No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 55 kB/s | 3.0 kB 00:00 Copr repository 11 MB/s | 2.2 MB 00:00 fedora 257 kB/s | 17 kB 00:00 Dependencies resolved. Nothing to do. Complete! Finish: dnf update Finish: chroot init Start: build phase for gappalib-coq-1.5.2-2.fc37.src.rpm Start: build setup for gappalib-coq-1.5.2-2.fc37.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658361600 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.2-2.fc37.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 52 kB/s | 3.0 kB 00:00 fedora 265 kB/s | 17 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repository Size ================================================================================ Installing: autoconf noarch 2.71-3.fc37 fedora 733 k coq x86_64 8.15.2-3.fc37 fedora 39 M flocq x86_64 3.4.3-4.fc37 copr_base 4.8 M gappa x86_64 1.4.0-3.fc37 fedora 606 k gcc-c++ x86_64 12.1.1-3.fc37.1 fedora 13 M ocaml x86_64 4.14.0-2.fc37 copr_base 77 M ocaml-camlp5-devel x86_64 8.00.03-2.fc37 fedora 4.6 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.79-1.fc37 fedora 92 k annobin-plugin-gcc x86_64 10.79-1.fc37 fedora 883 k coq-core x86_64 8.15.2-3.fc37 fedora 138 M cpp x86_64 12.1.1-3.fc37.1 fedora 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 copr_base 10 k expat x86_64 2.4.8-2.fc37 copr_base 110 k flexiblas x86_64 3.2.1-2.fc37 fedora 33 k flexiblas-netlib x86_64 3.2.1-2.fc37 fedora 3.1 M flexiblas-openblas-openmp x86_64 3.2.1-2.fc37 fedora 17 k gc x86_64 8.0.6-4.fc37 fedora 103 k gcc x86_64 12.1.1-3.fc37.1 fedora 33 M gcc-plugin-annobin x86_64 12.1.1-3.fc37.1 fedora 50 k glibc-devel x86_64 2.36-1.fc37 fedora 96 k glibc-headers-x86 noarch 2.36-1.fc37 fedora 574 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 5.19.0-1.fc37 fedora 1.5 M libb2 x86_64 0.98.1-7.fc37 fedora 25 k libgfortran x86_64 12.1.1-3.fc37.1 fedora 897 k libmpc x86_64 1.2.1-5.fc37 fedora 61 k libquadmath x86_64 12.1.1-3.fc37.1 fedora 198 k libstdc++-devel x86_64 12.1.1-3.fc37.1 fedora 2.5 M libtool-ltdl x86_64 2.4.7-2.fc37 copr_base 37 k libxcrypt-devel x86_64 4.4.28-2.fc37 fedora 28 k m4 x86_64 1.4.19-4.fc37 copr_base 296 k make x86_64 1:4.3-11.fc37 copr_base 535 k mpdecimal x86_64 2.5.1-4.fc37 fedora 102 k ncurses x86_64 6.3-3.20220501.fc37 fedora 409 k ocaml-camlp5 x86_64 8.00.03-2.fc37 fedora 9.2 M ocaml-compiler-libs x86_64 4.14.0-2.fc37 copr_base 14 M ocaml-runtime x86_64 4.14.0-2.fc37 copr_base 3.3 M ocaml-zarith x86_64 1.12-7.fc37 fedora 146 k openblas x86_64 0.3.20-2.fc37 fedora 34 k openblas-openmp x86_64 0.3.20-2.fc37 fedora 5.1 M perl-B x86_64 1.83-491.fc37 fedora 186 k perl-Carp noarch 1.52-489.fc37 fedora 29 k perl-Class-Struct noarch 0.66-491.fc37 fedora 26 k perl-Data-Dumper x86_64 2.184-490.fc37 fedora 56 k perl-DynaLoader x86_64 1.52-491.fc37 fedora 30 k perl-Encode x86_64 4:3.19-491.fc37 fedora 1.7 M perl-Errno x86_64 1.36-491.fc37 fedora 19 k perl-Exporter noarch 5.77-489.fc37 fedora 31 k perl-Fcntl x86_64 1.15-491.fc37 fedora 25 k perl-File-Basename noarch 2.85-491.fc37 fedora 22 k perl-File-Compare noarch 1.100.700-491.fc37 fedora 18 k perl-File-Copy noarch 2.39-491.fc37 fedora 24 k perl-File-Find noarch 1.40-491.fc37 fedora 30 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-491.fc37 fedora 22 k perl-Getopt-Long noarch 1:2.52-489.fc37 fedora 60 k perl-Getopt-Std noarch 1.13-491.fc37 fedora 20 k perl-HTTP-Tiny noarch 0.082-1.fc37 fedora 55 k perl-IO x86_64 1.50-491.fc37 fedora 96 k perl-IPC-Open3 noarch 1.22-491.fc37 fedora 27 k perl-MIME-Base64 x86_64 3.16-489.fc37 fedora 30 k perl-POSIX x86_64 2.03-491.fc37 fedora 102 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.62-489.fc37 fedora 72 k perl-SelectSaver noarch 1.02-491.fc37 fedora 16 k perl-Socket x86_64 4:2.035-2.fc37 fedora 55 k perl-Storable x86_64 1:3.26-489.fc37 fedora 97 k perl-Symbol noarch 1.09-491.fc37 fedora 19 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-491.fc37 fedora 18 k perl-interpreter x86_64 4:5.36.0-491.fc37 fedora 76 k perl-libs x86_64 4:5.36.0-491.fc37 fedora 2.2 M perl-mro x86_64 1.26-491.fc37 fedora 33 k perl-overload noarch 1.35-491.fc37 fedora 50 k perl-overloading noarch 0.02-491.fc37 fedora 17 k perl-parent noarch 1:0.238-489.fc37 fedora 14 k perl-podlators noarch 1:4.14-489.fc37 fedora 116 k perl-subs noarch 1.04-491.fc37 fedora 16 k perl-vars noarch 1.05-491.fc37 fedora 17 k python-pip-wheel noarch 22.2-1.fc37 fedora 1.4 M python-setuptools-wheel noarch 62.6.0-2.fc37 fedora 712 k python3 x86_64 3.11.0~b5-1.fc37 fedora 27 k python3-libs x86_64 3.11.0~b5-1.fc37 fedora 9.6 M texlive-base x86_64 9:20210325-49.fc37 fedora 2.3 M Transaction Summary ================================================================================ Install 102 Packages Total size: 394 M Total download size: 304 M Installed size: 1.4 G Downloading Packages: [SKIPPED] emacs-filesystem-28.1-3.fc37.noarch.rpm: Already downloaded [SKIPPED] libtool-ltdl-2.4.7-2.fc37.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] annobin-docs-10.79-1.fc37.noarch.rpm: Already downloaded [SKIPPED] annobin-plugin-gcc-10.79-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] autoconf-2.71-3.fc37.noarch.rpm: Already downloaded [SKIPPED] cpp-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] gc-8.0.6-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] gcc-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] gcc-c++-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] gcc-plugin-annobin-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] glibc-devel-2.36-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] glibc-headers-x86-2.36-1.fc37.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-5.19.0-1.fc37.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] libstdc++-devel-12.1.1-3.fc37.1.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-devel-4.4.28-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] mpdecimal-2.5.1-4.fc37.x86_64.rpm: Already downloaded [SKIPPED] ncurses-6.3-3.20220501.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-B-1.83-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Carp-1.52-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Class-Struct-0.66-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Data-Dumper-2.184-490.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-DynaLoader-1.52-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Encode-3.19-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Errno-1.36-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Exporter-5.77-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Fcntl-1.15-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-File-Basename-2.85-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-File-Compare-1.100.700-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-File-Copy-2.39-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-File-Find-1.40-491.fc37.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-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Long-2.52-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Std-1.13-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-HTTP-Tiny-0.082-1.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-IO-1.50-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-IPC-Open3-1.22-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-MIME-Base64-3.16-489.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-POSIX-2.03-491.fc37.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.62-489.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-SelectSaver-1.02-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-Socket-2.035-2.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Storable-3.26-489.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-Symbol-1.09-491.fc37.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-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-interpreter-5.36.0-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-libs-5.36.0-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-mro-1.26-491.fc37.x86_64.rpm: Already downloaded [SKIPPED] perl-overload-1.35-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-overloading-0.02-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-parent-0.238-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-podlators-4.14-489.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-subs-1.04-491.fc37.noarch.rpm: Already downloaded [SKIPPED] perl-vars-1.05-491.fc37.noarch.rpm: Already downloaded [SKIPPED] python-pip-wheel-22.2-1.fc37.noarch.rpm: Already downloaded [SKIPPED] python-setuptools-wheel-62.6.0-2.fc37.noarch.rpm: Already downloaded [SKIPPED] python3-3.11.0~b5-1.fc37.x86_64.rpm: Already downloaded [SKIPPED] python3-libs-3.11.0~b5-1.fc37.x86_64.rpm: Already downloaded (79/102): expat-2.4.8-2.fc37.x86_64.rpm 963 kB/s | 110 kB 00:00 (80/102): ocaml-compiler-libs-4.14.0-2.fc37.x86 45 MB/s | 14 MB 00:00 (81/102): ocaml-runtime-4.14.0-2.fc37.x86_64.rp 31 MB/s | 3.3 MB 00:00 (82/102): flocq-3.4.3-4.fc37.x86_64.rpm 6.5 MB/s | 4.8 MB 00:00 (83/102): ocaml-4.14.0-2.fc37.x86_64.rpm 42 MB/s | 77 MB 00:01 (84/102): csdp-6.2.0-14.fc37.x86_64.rpm 958 kB/s | 301 kB 00:00 (85/102): csdp-tools-6.2.0-14.fc37.x86_64.rpm 376 kB/s | 28 kB 00:00 (86/102): flexiblas-3.2.1-2.fc37.x86_64.rpm 855 kB/s | 33 kB 00:00 (87/102): flexiblas-netlib-3.2.1-2.fc37.x86_64. 5.6 MB/s | 3.1 MB 00:00 (88/102): flexiblas-openblas-openmp-3.2.1-2.fc3 367 kB/s | 17 kB 00:00 (89/102): gappa-1.4.0-3.fc37.x86_64.rpm 4.4 MB/s | 606 kB 00:00 (90/102): libgfortran-12.1.1-3.fc37.1.x86_64.rp 5.0 MB/s | 897 kB 00:00 (91/102): libquadmath-12.1.1-3.fc37.1.x86_64.rp 4.5 MB/s | 198 kB 00:00 (92/102): ocaml-camlp5-8.00.03-2.fc37.x86_64.rp 3.0 MB/s | 9.2 MB 00:03 (93/102): ocaml-camlp5-devel-8.00.03-2.fc37.x86 1.1 MB/s | 4.6 MB 00:04 (94/102): ocaml-findlib-1.9.5-2.fc37.x86_64.rpm 1.2 MB/s | 767 kB 00:00 (95/102): ocaml-zarith-1.12-7.fc37.x86_64.rpm 1.1 MB/s | 146 kB 00:00 (96/102): ocaml-zarith-devel-1.12-7.fc37.x86_64 1.1 MB/s | 136 kB 00:00 (97/102): openblas-0.3.20-2.fc37.x86_64.rpm 786 kB/s | 34 kB 00:00 (98/102): openblas-openmp-0.3.20-2.fc37.x86_64. 680 kB/s | 5.1 MB 00:07 (99/102): remake-0.14-6.fc37.x86_64.rpm 566 kB/s | 65 kB 00:00 (100/102): texlive-base-20210325-49.fc37.x86_64 711 kB/s | 2.3 MB 00:03 (101/102): coq-8.15.2-3.fc37.x86_64.rpm 799 kB/s | 39 MB 00:50 (102/102): coq-core-8.15.2-3.fc37.x86_64.rpm 497 kB/s | 138 MB 04:43 -------------------------------------------------------------------------------- Total 1.1 MB/s | 304 MB 04:44 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: texlive-base-9:20210325-49.fc37.x86_64 1/1 Preparing : 1/1 Installing : libmpc-1.2.1-5.fc37.x86_64 1/102 Installing : libquadmath-12.1.1-3.fc37.1.x86_64 2/102 Installing : libgfortran-12.1.1-3.fc37.1.x86_64 3/102 Installing : flexiblas-3.2.1-2.fc37.x86_64 4/102 Installing : cpp-12.1.1-3.fc37.1.x86_64 5/102 Running scriptlet: texlive-base-9:20210325-49.fc37.x86_64 6/102 Installing : texlive-base-9:20210325-49.fc37.x86_64 6/102 Installing : python-setuptools-wheel-62.6.0-2.fc37.noarch 7/102 Installing : python-pip-wheel-22.2-1.fc37.noarch 8/102 Installing : openblas-0.3.20-2.fc37.x86_64 9/102 Installing : openblas-openmp-0.3.20-2.fc37.x86_64 10/102 Installing : flexiblas-netlib-3.2.1-2.fc37.x86_64 11/102 Installing : flexiblas-openblas-openmp-3.2.1-2.fc37.x86_64 12/102 Installing : csdp-6.2.0-14.fc37.x86_64 13/102 Installing : csdp-tools-6.2.0-14.fc37.x86_64 14/102 Installing : ncurses-6.3-3.20220501.fc37.x86_64 15/102 Installing : mpdecimal-2.5.1-4.fc37.x86_64 16/102 Installing : libstdc++-devel-12.1.1-3.fc37.1.x86_64 17/102 Installing : libb2-0.98.1-7.fc37.x86_64 18/102 Installing : kernel-headers-5.19.0-1.fc37.x86_64 19/102 Running scriptlet: groff-base-1.22.4-10.fc37.x86_64 20/102 Installing : groff-base-1.22.4-10.fc37.x86_64 20/102 Running scriptlet: groff-base-1.22.4-10.fc37.x86_64 20/102 Installing : perl-Text-Tabs+Wrap-2021.0814-489.fc37.noarch 21/102 Installing : perl-if-0.61.000-491.fc37.noarch 22/102 Installing : perl-Time-Local-2:1.300-489.fc37.noarch 23/102 Installing : perl-File-Path-2.18-489.fc37.noarch 24/102 Installing : perl-Pod-Escapes-1:1.07-489.fc37.noarch 25/102 Installing : perl-Class-Struct-0.66-491.fc37.noarch 26/102 Installing : perl-POSIX-2.03-491.fc37.x86_64 27/102 Installing : perl-Term-ANSIColor-5.01-490.fc37.noarch 28/102 Installing : perl-IPC-Open3-1.22-491.fc37.noarch 29/102 Installing : perl-HTTP-Tiny-0.082-1.fc37.noarch 30/102 Installing : perl-subs-1.04-491.fc37.noarch 31/102 Installing : perl-File-Temp-1:0.231.100-489.fc37.noarch 32/102 Installing : perl-Term-Cap-1.17-489.fc37.noarch 33/102 Installing : perl-Pod-Simple-1:3.43-490.fc37.noarch 34/102 Installing : perl-Socket-4:2.035-2.fc37.x86_64 35/102 Installing : perl-SelectSaver-1.02-491.fc37.noarch 36/102 Installing : perl-Symbol-1.09-491.fc37.noarch 37/102 Installing : perl-File-stat-1.12-491.fc37.noarch 38/102 Installing : perl-podlators-1:4.14-489.fc37.noarch 39/102 Installing : perl-Pod-Perldoc-3.28.01-490.fc37.noarch 40/102 Installing : perl-Fcntl-1.15-491.fc37.x86_64 41/102 Installing : perl-Text-ParseWords-3.31-489.fc37.noarch 42/102 Installing : perl-mro-1.26-491.fc37.x86_64 43/102 Installing : perl-IO-1.50-491.fc37.x86_64 44/102 Installing : perl-overloading-0.02-491.fc37.noarch 45/102 Installing : perl-Pod-Usage-4:2.03-3.fc37.noarch 46/102 Installing : perl-Errno-1.36-491.fc37.x86_64 47/102 Installing : perl-File-Basename-2.85-491.fc37.noarch 48/102 Installing : perl-Getopt-Std-1.13-491.fc37.noarch 49/102 Installing : perl-MIME-Base64-3.16-489.fc37.x86_64 50/102 Installing : perl-Scalar-List-Utils-5:1.62-489.fc37.x86_64 51/102 Installing : perl-constant-1.33-490.fc37.noarch 52/102 Installing : perl-Storable-1:3.26-489.fc37.x86_64 53/102 Installing : perl-overload-1.35-491.fc37.noarch 54/102 Installing : perl-parent-1:0.238-489.fc37.noarch 55/102 Installing : perl-vars-1.05-491.fc37.noarch 56/102 Installing : perl-Getopt-Long-1:2.52-489.fc37.noarch 57/102 Installing : perl-Carp-1.52-489.fc37.noarch 58/102 Installing : perl-Exporter-5.77-489.fc37.noarch 59/102 Installing : perl-PathTools-3.84-489.fc37.x86_64 60/102 Installing : perl-DynaLoader-1.52-491.fc37.x86_64 61/102 Installing : perl-Encode-4:3.19-491.fc37.x86_64 62/102 Installing : perl-libs-4:5.36.0-491.fc37.x86_64 63/102 Installing : perl-interpreter-4:5.36.0-491.fc37.x86_64 64/102 Installing : perl-Data-Dumper-2.184-490.fc37.x86_64 65/102 Installing : perl-B-1.83-491.fc37.x86_64 66/102 Installing : perl-File-Compare-1.100.700-491.fc37.noarch 67/102 Installing : perl-File-Copy-2.39-491.fc37.noarch 68/102 Installing : perl-File-Find-1.40-491.fc37.noarch 69/102 Installing : gmp-c++-1:6.2.1-3.fc37.x86_64 70/102 Installing : gmp-devel-1:6.2.1-3.fc37.x86_64 71/102 Installing : glibc-headers-x86-2.36-1.fc37.noarch 72/102 Installing : libxcrypt-devel-4.4.28-2.fc37.x86_64 73/102 Installing : glibc-devel-2.36-1.fc37.x86_64 74/102 Installing : gc-8.0.6-4.fc37.x86_64 75/102 Installing : annobin-docs-10.79-1.fc37.noarch 76/102 Installing : m4-1.4.19-4.fc37.x86_64 77/102 Installing : libtool-ltdl-2.4.7-2.fc37.x86_64 78/102 Installing : guile22-2.2.7-6.fc37.x86_64 79/102 Installing : make-1:4.3-11.fc37.x86_64 80/102 Installing : gcc-12.1.1-3.fc37.1.x86_64 81/102 Running scriptlet: gcc-12.1.1-3.fc37.1.x86_64 81/102 Installing : ocaml-runtime-4.14.0-2.fc37.x86_64 82/102 Installing : ocaml-4.14.0-2.fc37.x86_64 83/102 Installing : ocaml-compiler-libs-4.14.0-2.fc37.x86_64 84/102 Installing : ocaml-zarith-1.12-7.fc37.x86_64 85/102 Installing : ocaml-zarith-devel-1.12-7.fc37.x86_64 86/102 Installing : ocaml-camlp5-8.00.03-2.fc37.x86_64 87/102 Installing : ocaml-camlp5-devel-8.00.03-2.fc37.x86_64 88/102 Installing : ocaml-findlib-1.9.5-2.fc37.x86_64 89/102 Installing : expat-2.4.8-2.fc37.x86_64 90/102 Installing : python3-3.11.0~b5-1.fc37.x86_64 91/102 Installing : python3-libs-3.11.0~b5-1.fc37.x86_64 92/102 Installing : coq-8.15.2-3.fc37.x86_64 93/102 Installing : coq-core-8.15.2-3.fc37.x86_64 94/102 Installing : emacs-filesystem-1:28.1-3.fc37.noarch 95/102 Installing : autoconf-2.71-3.fc37.noarch 96/102 Installing : flocq-3.4.3-4.fc37.x86_64 97/102 Installing : annobin-plugin-gcc-10.79-1.fc37.x86_64 98/102 Running scriptlet: annobin-plugin-gcc-10.79-1.fc37.x86_64 98/102 Installing : gcc-c++-12.1.1-3.fc37.1.x86_64 99/102 Installing : gcc-plugin-annobin-12.1.1-3.fc37.1.x86_64 100/102 Installing : remake-0.14-6.fc37.x86_64 101/102 Installing : gappa-1.4.0-3.fc37.x86_64 102/102 Running scriptlet: texlive-base-9:20210325-49.fc37.x86_64 102/102 Running scriptlet: gappa-1.4.0-3.fc37.x86_64 102/102 Verifying : emacs-filesystem-1:28.1-3.fc37.noarch 1/102 Verifying : expat-2.4.8-2.fc37.x86_64 2/102 Verifying : flocq-3.4.3-4.fc37.x86_64 3/102 Verifying : libtool-ltdl-2.4.7-2.fc37.x86_64 4/102 Verifying : m4-1.4.19-4.fc37.x86_64 5/102 Verifying : make-1:4.3-11.fc37.x86_64 6/102 Verifying : ocaml-4.14.0-2.fc37.x86_64 7/102 Verifying : ocaml-compiler-libs-4.14.0-2.fc37.x86_64 8/102 Verifying : ocaml-runtime-4.14.0-2.fc37.x86_64 9/102 Verifying : annobin-docs-10.79-1.fc37.noarch 10/102 Verifying : annobin-plugin-gcc-10.79-1.fc37.x86_64 11/102 Verifying : autoconf-2.71-3.fc37.noarch 12/102 Verifying : coq-8.15.2-3.fc37.x86_64 13/102 Verifying : coq-core-8.15.2-3.fc37.x86_64 14/102 Verifying : cpp-12.1.1-3.fc37.1.x86_64 15/102 Verifying : csdp-6.2.0-14.fc37.x86_64 16/102 Verifying : csdp-tools-6.2.0-14.fc37.x86_64 17/102 Verifying : flexiblas-3.2.1-2.fc37.x86_64 18/102 Verifying : flexiblas-netlib-3.2.1-2.fc37.x86_64 19/102 Verifying : flexiblas-openblas-openmp-3.2.1-2.fc37.x86_64 20/102 Verifying : gappa-1.4.0-3.fc37.x86_64 21/102 Verifying : gc-8.0.6-4.fc37.x86_64 22/102 Verifying : gcc-12.1.1-3.fc37.1.x86_64 23/102 Verifying : gcc-c++-12.1.1-3.fc37.1.x86_64 24/102 Verifying : gcc-plugin-annobin-12.1.1-3.fc37.1.x86_64 25/102 Verifying : glibc-devel-2.36-1.fc37.x86_64 26/102 Verifying : glibc-headers-x86-2.36-1.fc37.noarch 27/102 Verifying : gmp-c++-1:6.2.1-3.fc37.x86_64 28/102 Verifying : gmp-devel-1:6.2.1-3.fc37.x86_64 29/102 Verifying : groff-base-1.22.4-10.fc37.x86_64 30/102 Verifying : guile22-2.2.7-6.fc37.x86_64 31/102 Verifying : kernel-headers-5.19.0-1.fc37.x86_64 32/102 Verifying : libb2-0.98.1-7.fc37.x86_64 33/102 Verifying : libgfortran-12.1.1-3.fc37.1.x86_64 34/102 Verifying : libmpc-1.2.1-5.fc37.x86_64 35/102 Verifying : libquadmath-12.1.1-3.fc37.1.x86_64 36/102 Verifying : libstdc++-devel-12.1.1-3.fc37.1.x86_64 37/102 Verifying : libxcrypt-devel-4.4.28-2.fc37.x86_64 38/102 Verifying : mpdecimal-2.5.1-4.fc37.x86_64 39/102 Verifying : ncurses-6.3-3.20220501.fc37.x86_64 40/102 Verifying : ocaml-camlp5-8.00.03-2.fc37.x86_64 41/102 Verifying : ocaml-camlp5-devel-8.00.03-2.fc37.x86_64 42/102 Verifying : ocaml-findlib-1.9.5-2.fc37.x86_64 43/102 Verifying : ocaml-zarith-1.12-7.fc37.x86_64 44/102 Verifying : ocaml-zarith-devel-1.12-7.fc37.x86_64 45/102 Verifying : openblas-0.3.20-2.fc37.x86_64 46/102 Verifying : openblas-openmp-0.3.20-2.fc37.x86_64 47/102 Verifying : perl-B-1.83-491.fc37.x86_64 48/102 Verifying : perl-Carp-1.52-489.fc37.noarch 49/102 Verifying : perl-Class-Struct-0.66-491.fc37.noarch 50/102 Verifying : perl-Data-Dumper-2.184-490.fc37.x86_64 51/102 Verifying : perl-DynaLoader-1.52-491.fc37.x86_64 52/102 Verifying : perl-Encode-4:3.19-491.fc37.x86_64 53/102 Verifying : perl-Errno-1.36-491.fc37.x86_64 54/102 Verifying : perl-Exporter-5.77-489.fc37.noarch 55/102 Verifying : perl-Fcntl-1.15-491.fc37.x86_64 56/102 Verifying : perl-File-Basename-2.85-491.fc37.noarch 57/102 Verifying : perl-File-Compare-1.100.700-491.fc37.noarch 58/102 Verifying : perl-File-Copy-2.39-491.fc37.noarch 59/102 Verifying : perl-File-Find-1.40-491.fc37.noarch 60/102 Verifying : perl-File-Path-2.18-489.fc37.noarch 61/102 Verifying : perl-File-Temp-1:0.231.100-489.fc37.noarch 62/102 Verifying : perl-File-stat-1.12-491.fc37.noarch 63/102 Verifying : perl-Getopt-Long-1:2.52-489.fc37.noarch 64/102 Verifying : perl-Getopt-Std-1.13-491.fc37.noarch 65/102 Verifying : perl-HTTP-Tiny-0.082-1.fc37.noarch 66/102 Verifying : perl-IO-1.50-491.fc37.x86_64 67/102 Verifying : perl-IPC-Open3-1.22-491.fc37.noarch 68/102 Verifying : perl-MIME-Base64-3.16-489.fc37.x86_64 69/102 Verifying : perl-POSIX-2.03-491.fc37.x86_64 70/102 Verifying : perl-PathTools-3.84-489.fc37.x86_64 71/102 Verifying : perl-Pod-Escapes-1:1.07-489.fc37.noarch 72/102 Verifying : perl-Pod-Perldoc-3.28.01-490.fc37.noarch 73/102 Verifying : perl-Pod-Simple-1:3.43-490.fc37.noarch 74/102 Verifying : perl-Pod-Usage-4:2.03-3.fc37.noarch 75/102 Verifying : perl-Scalar-List-Utils-5:1.62-489.fc37.x86_64 76/102 Verifying : perl-SelectSaver-1.02-491.fc37.noarch 77/102 Verifying : perl-Socket-4:2.035-2.fc37.x86_64 78/102 Verifying : perl-Storable-1:3.26-489.fc37.x86_64 79/102 Verifying : perl-Symbol-1.09-491.fc37.noarch 80/102 Verifying : perl-Term-ANSIColor-5.01-490.fc37.noarch 81/102 Verifying : perl-Term-Cap-1.17-489.fc37.noarch 82/102 Verifying : perl-Text-ParseWords-3.31-489.fc37.noarch 83/102 Verifying : perl-Text-Tabs+Wrap-2021.0814-489.fc37.noarch 84/102 Verifying : perl-Time-Local-2:1.300-489.fc37.noarch 85/102 Verifying : perl-constant-1.33-490.fc37.noarch 86/102 Verifying : perl-if-0.61.000-491.fc37.noarch 87/102 Verifying : perl-interpreter-4:5.36.0-491.fc37.x86_64 88/102 Verifying : perl-libs-4:5.36.0-491.fc37.x86_64 89/102 Verifying : perl-mro-1.26-491.fc37.x86_64 90/102 Verifying : perl-overload-1.35-491.fc37.noarch 91/102 Verifying : perl-overloading-0.02-491.fc37.noarch 92/102 Verifying : perl-parent-1:0.238-489.fc37.noarch 93/102 Verifying : perl-podlators-1:4.14-489.fc37.noarch 94/102 Verifying : perl-subs-1.04-491.fc37.noarch 95/102 Verifying : perl-vars-1.05-491.fc37.noarch 96/102 Verifying : python-pip-wheel-22.2-1.fc37.noarch 97/102 Verifying : python-setuptools-wheel-62.6.0-2.fc37.noarch 98/102 Verifying : python3-3.11.0~b5-1.fc37.x86_64 99/102 Verifying : python3-libs-3.11.0~b5-1.fc37.x86_64 100/102 Verifying : remake-0.14-6.fc37.x86_64 101/102 Verifying : texlive-base-9:20210325-49.fc37.x86_64 102/102 Installed: annobin-docs-10.79-1.fc37.noarch annobin-plugin-gcc-10.79-1.fc37.x86_64 autoconf-2.71-3.fc37.noarch coq-8.15.2-3.fc37.x86_64 coq-core-8.15.2-3.fc37.x86_64 cpp-12.1.1-3.fc37.1.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.4.8-2.fc37.x86_64 flexiblas-3.2.1-2.fc37.x86_64 flexiblas-netlib-3.2.1-2.fc37.x86_64 flexiblas-openblas-openmp-3.2.1-2.fc37.x86_64 flocq-3.4.3-4.fc37.x86_64 gappa-1.4.0-3.fc37.x86_64 gc-8.0.6-4.fc37.x86_64 gcc-12.1.1-3.fc37.1.x86_64 gcc-c++-12.1.1-3.fc37.1.x86_64 gcc-plugin-annobin-12.1.1-3.fc37.1.x86_64 glibc-devel-2.36-1.fc37.x86_64 glibc-headers-x86-2.36-1.fc37.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-5.19.0-1.fc37.x86_64 libb2-0.98.1-7.fc37.x86_64 libgfortran-12.1.1-3.fc37.1.x86_64 libmpc-1.2.1-5.fc37.x86_64 libquadmath-12.1.1-3.fc37.1.x86_64 libstdc++-devel-12.1.1-3.fc37.1.x86_64 libtool-ltdl-2.4.7-2.fc37.x86_64 libxcrypt-devel-4.4.28-2.fc37.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-3.20220501.fc37.x86_64 ocaml-4.14.0-2.fc37.x86_64 ocaml-camlp5-8.00.03-2.fc37.x86_64 ocaml-camlp5-devel-8.00.03-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.20-2.fc37.x86_64 openblas-openmp-0.3.20-2.fc37.x86_64 perl-B-1.83-491.fc37.x86_64 perl-Carp-1.52-489.fc37.noarch perl-Class-Struct-0.66-491.fc37.noarch perl-Data-Dumper-2.184-490.fc37.x86_64 perl-DynaLoader-1.52-491.fc37.x86_64 perl-Encode-4:3.19-491.fc37.x86_64 perl-Errno-1.36-491.fc37.x86_64 perl-Exporter-5.77-489.fc37.noarch perl-Fcntl-1.15-491.fc37.x86_64 perl-File-Basename-2.85-491.fc37.noarch perl-File-Compare-1.100.700-491.fc37.noarch perl-File-Copy-2.39-491.fc37.noarch perl-File-Find-1.40-491.fc37.noarch perl-File-Path-2.18-489.fc37.noarch perl-File-Temp-1:0.231.100-489.fc37.noarch perl-File-stat-1.12-491.fc37.noarch perl-Getopt-Long-1:2.52-489.fc37.noarch perl-Getopt-Std-1.13-491.fc37.noarch perl-HTTP-Tiny-0.082-1.fc37.noarch perl-IO-1.50-491.fc37.x86_64 perl-IPC-Open3-1.22-491.fc37.noarch perl-MIME-Base64-3.16-489.fc37.x86_64 perl-POSIX-2.03-491.fc37.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.62-489.fc37.x86_64 perl-SelectSaver-1.02-491.fc37.noarch perl-Socket-4:2.035-2.fc37.x86_64 perl-Storable-1:3.26-489.fc37.x86_64 perl-Symbol-1.09-491.fc37.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-491.fc37.noarch perl-interpreter-4:5.36.0-491.fc37.x86_64 perl-libs-4:5.36.0-491.fc37.x86_64 perl-mro-1.26-491.fc37.x86_64 perl-overload-1.35-491.fc37.noarch perl-overloading-0.02-491.fc37.noarch perl-parent-1:0.238-489.fc37.noarch perl-podlators-1:4.14-489.fc37.noarch perl-subs-1.04-491.fc37.noarch perl-vars-1.05-491.fc37.noarch python-pip-wheel-22.2-1.fc37.noarch python-setuptools-wheel-62.6.0-2.fc37.noarch python3-3.11.0~b5-1.fc37.x86_64 python3-libs-3.11.0~b5-1.fc37.x86_64 remake-0.14-6.fc37.x86_64 texlive-base-9:20210325-49.fc37.x86_64 Complete! Finish: build setup for gappalib-coq-1.5.2-2.fc37.src.rpm Start: rpmbuild gappalib-coq-1.5.2-2.fc37.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1658361600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WXkm5V + 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.alJXF6 + 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 + 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 + '[' -f /usr/lib/rpm/generate-rpm-note.sh ']' + /usr/lib/rpm/generate-rpm-note.sh gappalib-coq 1.5.2-2.fc37 x86_64 + 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/cc52m0cF.o: in function `main': remake.cpp:(.text.startup+0xb13): 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/user-contrib/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 -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo Building src/Gappa_definitions.vo Building src/Gappa_dyadic.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo Building src/Gappa_real.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_definitions.v /usr/bin/coqdep -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 Finished src/Gappa_definitions.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_dyadic.v Finished src/Gappa_real.vo Building src/Gappa_fixed.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo Building src/Gappa_pred_bnd.vo /usr/bin/coqdep -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 -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_round_aux.vo /usr/bin/coqdep -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 -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_round.vo Building src/Gappa_float.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo Finished src/Gappa_decimal.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_pred_bnd.v Building src/Gappa_library.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo Building src/Gappa_pred_abs.vo /usr/bin/coqdep -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 -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 -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 Finished src/Gappa_pred_abs.vo Building src/Gappa_pred_rel.vo /usr/bin/coqdep -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 -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 -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 -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 -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo Finished src/Gappa_tree.vo /usr/bin/coqc -R src Gappa -I src src/Gappa_library.v /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=81502 -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 Building src/gappatac.ml gcc -E -DCOQVERSION=81502 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 -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo Finished src/Gappa_library.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 /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.awvdut + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64 ++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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 + 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-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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-2.fc37 --unique-debug-suffix -1.5.2-2.fc37.x86_64 --unique-debug-src-base gappalib-coq-1.5.2-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.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-2.fc37.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-2.fc37.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?] gdb-add-index: No index was created for /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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?] extracting debug info from /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/lib64/ocaml/coq/user-contrib/Gappa/gappatac.cmxs dwz: Too few files for multifile optimization original debug info size: 924kB, size after compression: 924kB /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.uHbLeE + 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 + 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 + '[' -f /usr/lib/rpm/generate-rpm-note.sh ']' + /usr/lib/rpm/generate-rpm-note.sh gappalib-coq 1.5.2-2.fc37 x86_64 + 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-2.fc37.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.r3I2kL + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.x86_64/usr/share/doc/gappalib-coq + cp -pr AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/doc/gappalib-coq + cp -pr NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/doc/gappalib-coq + cp -pr README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.SIumTb + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.2-a21720330ab26166150d88a95689f755bb135480 + LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.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-2.fc37.x86_64/usr/share/licenses/gappalib-coq + cp -pr COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.2-2.fc37 gappalib-coq(x86-64) = 1.5.2-2.fc37 ocaml(Gappatac) = b1832e23c5c223650ddf0b1b55b7e706 ocaml(NGappa_Gappa_common) = dd7050c16984bc0260af89fa94f63e86 ocaml(NGappa_Gappa_decimal) = 1156123e0c92a8690f3ce4ff55ecb354 ocaml(NGappa_Gappa_definitions) = 060c0d891cddb52364e5735ec259e36b ocaml(NGappa_Gappa_dyadic) = 952327cc79edf9d259442eb11bc1c0bf ocaml(NGappa_Gappa_fixed) = d9225de0e4fb3e531553aac269a422b3 ocaml(NGappa_Gappa_float) = 937982d132b9b68186d06db4f723da63 ocaml(NGappa_Gappa_library) = ca49807e7ac7fec6b3e1eb3650e7c688 ocaml(NGappa_Gappa_obfuscate) = af3bd65a33a7cd25013abfd28926a579 ocaml(NGappa_Gappa_pred_abs) = b1004523b9d686185071b250665d5e77 ocaml(NGappa_Gappa_pred_bnd) = 2669529e1d01c06ac6ccd9eabac3f2d7 ocaml(NGappa_Gappa_pred_fixflt) = 3fd5024c0784b35df4b1f67695b7db58 ocaml(NGappa_Gappa_pred_nzr) = cb12523157f1e41355f1b63020c7e591 ocaml(NGappa_Gappa_pred_rel) = 922bbecbf6dcb02d68ed8fc0d278c6b9 ocaml(NGappa_Gappa_real) = b602b6a6445dc5938230e3a4bda51802 ocaml(NGappa_Gappa_rewriting) = fec91380eddc56f4a15a204ff37baf5b ocaml(NGappa_Gappa_round) = 59ddf1f9e0ff4f3648aee16e322d5f06 ocaml(NGappa_Gappa_round_aux) = 8b0d7287e1ffce4e9236a02eeaba3c54 ocaml(NGappa_Gappa_round_def) = daad9cad4dd847445deeda5fa97c76fe ocaml(NGappa_Gappa_tactic) = 2613444a4808b4eefc0ee4d348e22944 ocaml(NGappa_Gappa_tactic_loader) = a56379bf1af44c313465f7f76a278999 ocaml(NGappa_Gappa_tree) = b90f3dc683576a9573190113dae91304 ocaml(NGappa_Gappa_user) = 2ae4971de7f77fd39bf33c9d017552a6 ocamlx(NGappa_Gappa_common) = bbf1c75fc64101c7ad1d0dd68c60ad12 ocamlx(NGappa_Gappa_decimal) = 4859459d9ef1723e1cf8d3a010264c77 ocamlx(NGappa_Gappa_definitions) = b8f956f3de8fbc593e9a834e0dcab2cd ocamlx(NGappa_Gappa_dyadic) = 875f5883fd071b3d8c098d219f651944 ocamlx(NGappa_Gappa_fixed) = c8202990b51f1c995fbb56559c3420fa ocamlx(NGappa_Gappa_float) = f22b5c8dfcef92eb30969e17ca56ddf0 ocamlx(NGappa_Gappa_library) = 6d28782f23a607b50f9a49a8d81dc915 ocamlx(NGappa_Gappa_obfuscate) = 3a105a5e255502c34313e5f10eba3211 ocamlx(NGappa_Gappa_pred_abs) = 908ef130a4aed86838c50397b88dab48 ocamlx(NGappa_Gappa_pred_bnd) = 3e6480cc92339ba837449b2580302dde ocamlx(NGappa_Gappa_pred_fixflt) = 6bdd72a5b860c34c01a37d42e6df04e2 ocamlx(NGappa_Gappa_pred_nzr) = 4d48c6821ab97cfd84e98b2b2bbf6fcc ocamlx(NGappa_Gappa_pred_rel) = e10bcc3ff835ae752115b1e89009d8b4 ocamlx(NGappa_Gappa_real) = 44f56632e722e1e7ab9a470c811b30bc ocamlx(NGappa_Gappa_rewriting) = 79a150ab55fb7cfebec7a44f7fefe256 ocamlx(NGappa_Gappa_round) = 811e09ca8ff1aa78a5b4149ae4b073ea ocamlx(NGappa_Gappa_round_aux) = 87dd6fe95e3737551044d994a70b347b ocamlx(NGappa_Gappa_round_def) = c98315ad87ccf8322d1aaafa8551d7ce ocamlx(NGappa_Gappa_tactic) = 8546123ffb384d401d69fc2718340cd1 ocamlx(NGappa_Gappa_tactic_loader) = 9f92f2f95f7b8f2c87140a11dbb0fe8b ocamlx(NGappa_Gappa_tree) = 03965dc2b358f64280f22b281fdf62e4 ocamlx(NGappa_Gappa_user) = f2e611067509775fdc1f00929f3d22d0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AcyclicGraph) = c1314cd3ea1de8c8746914e0f4691e74 ocaml(Attributes) = 81f7efd8771fa0cd2aea83d4d93243f9 ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1 ocaml(CArray) = 3bf67d1381824155797389de8a32d728 ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a ocaml(CClosure) = 433e7fe779b59a46a7a712db89eea96f ocaml(CDebug) = b72b83085f3c46f567d002d123bb619b ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CErrors) = c453175b39b824fa4f81c67fe5f59833 ocaml(CList) = bab846d6f53060efa37176a0d3d76d37 ocaml(CMap) = 7a44aa76b26892234e732d0289be15e9 ocaml(CPrimitives) = 88e0b886ab990706df61aef4c5b4ef5a ocaml(CSet) = 4187a1c51e56b2682f8656ef02963c85 ocaml(CSig) = c104547a207c980e9be6e81718e23a75 ocaml(CString) = 399425b1f5494799bff859f71eea4fd4 ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(Clenv) = e76e58567caa3aa94bb47ba4eeea33e3 ocaml(Coercionops) = 170e28b8de29e211133621385f7d9084 ocaml(Constr) = c688d9ddf0504f85644e6b3deb1d21ec ocaml(Constrexpr) = 5ec41c078e3b5716f45cbf8f67fc1a0d ocaml(Constrintern) = 4bfd129d28372a290b8894be9d49ff13 ocaml(Context) = 350928460a591457321e4daa98829e49 ocaml(Conv_oracle) = 71a115a3bec9d54c9b545041d005b72c ocaml(Coqlib) = f56ffc3be672853a7388afce1c632478 ocaml(DAst) = dad4dc5e90d3a1f173b8fa9529571329 ocaml(Declarations) = 4db4b3531ecaea33d5ca2a9f73d77457 ocaml(Declare) = a3f4b22d37ecb794fae64e784a1e25ee ocaml(Declaremods) = 3101d344de44f662a1684da9fb09df72 ocaml(Decls) = 703781821a9f6fa92a858580f939bd9e ocaml(Deprecation) = c6967934d2ead064d6a8c17955da0dc2 ocaml(Dumpglob) = a9291aec02b9643dbbe1af65b301b7ee ocaml(Dyn) = fa3daa324553247018623840358472b5 ocaml(EConstr) = c426e5118bcf1e9a325896413b6aed22 ocaml(Entries) = adcb9a72a121998021864c819b2af850 ocaml(Environ) = 8c271c035c1c44fb1646bb8cb264a21c ocaml(Equality) = b412f1ef1280265e507cd8094e5d386e ocaml(Esubst) = d8e277a28061142de10c031df5913209 ocaml(Evar) = 0854859348f50f18a5a90815797fe7c5 ocaml(Evar_kinds) = 5b59082e7f2fb4826bee62db4904b408 ocaml(Evardefine) = e29b7bf46867c894f5cdafcfe67dfc86 ocaml(Evarsolve) = 74b68cf4175177229100102662e0f2c1 ocaml(Evarutil) = 2221c632a387fe7233abb9cd5fd46b13 ocaml(Evd) = dae8fc07c6f8ddd8468a91ded6402011 ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922 ocaml(Extend) = 7a7174a0435f5b98d087acca21a22798 ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e ocaml(Ftactic) = 167eafcab4b48c39f42de19e72dc4d92 ocaml(Future) = 420dffe94fb6737e7d522742a6387ba0 ocaml(Genarg) = 29ca5a3f517a700370c984e8b3894e5b ocaml(Genintern) = cc87f5727a2d7a14a990df0fbd2a79d1 ocaml(Geninterp) = f68cf5bacd63b43311adada3261b1269 ocaml(Genprint) = c15861343a5dea4b6d5e0acd0edd26c9 ocaml(Genredexpr) = 39d47e16b7e2aa69979d98655474139a ocaml(GlobEnv) = 7fc7971509565946f2d95a882219bbf8 ocaml(Glob_term) = 07dabaf241f0f418f01681984ebc0d3d ocaml(Global) = 0f3e0e156306572464a3da3198129405 ocaml(Globnames) = de40f6df0ea9928f9dd25d6b856adf96 ocaml(Goal) = ed4d4a9b630e743eec00df26d366ed31 ocaml(Goal_select) = 220a11dbd58cded779d8869603108504 ocaml(Goptions) = aa94cc092ad3caea9eb54af9a2f159b9 ocaml(Gramlib) = 49f2ec40e5ddfef8a1c60e6a72123dd8 ocaml(Gramlib__Gramext) = 3bf75b72e76ac11f6b1ea2cd3566b97e ocaml(Gramlib__Grammar) = 5189241db3e63a504b6b3599d39412d9 ocaml(Gramlib__Plexing) = b8133aac91b79d4ad41ed01ab52880da ocaml(Hashcons) = 5e43ec3f95876889b17c4ceb7e4d070f ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hints) = db0db96c4fd351d317dc56c4d332a2cc ocaml(Hook) = afc10af2a433f78a0df71272ef5bb0eb ocaml(Impargs) = 0c9cad45610c1e48fcdea03f0cbc4bd8 ocaml(Ind_tables) = 9d2439b7888617713778cbd6db1a9e2a ocaml(Int) = 08fe1547e4ba09512f85aaa242454fbe ocaml(Inv) = c7e42479cc897d36b3a934f45a09d549 ocaml(LStream) = f9950e89686bd059defd6cda6a25c5d3 ocaml(Libnames) = ca3e8ef2a232c1a3c54519ed3929f117 ocaml(Libobject) = ed21cb96eb631dea45f66eab034814ad ocaml(Loc) = 80ce75a90b78cbc722513727102cad47 ocaml(Locality) = cd4b501130ec389ccd5eca1b3bbcc96b ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec ocaml(Logic) = aee572d15f9249a86441db60b24068a6 ocaml(Logic_monad) = 61a1c789d80441f3f4abe6f3eceffe6f ocaml(Ltac_plugin) = bb66d61a67bdb4de7def23b8c5e749aa ocaml(Ltac_plugin__Pptactic) = 606449b5b6165a8000a03ffd2b87ef7e ocaml(Ltac_plugin__Tacentries) = 4b644720ef598b2838daf4c2085429dc ocaml(Ltac_plugin__Tacexpr) = 5567e535d5110f2c0141c3b8ec1622c9 ocaml(Ltac_pretype) = 072337d7e73f75b0589ccf47cb134e5c ocaml(Metasyntax) = ab92bce411ddc7d13f03aac187346735 ocaml(Mltop) = 92fa3596b6a26cf3cf62ac17f33bca06 ocaml(Mod_subst) = 4a1ce368a85fe2efce8b58b0074e49ca ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c ocaml(NCoq_Arith_PeanoNat) = fa55a8eeb7f34b8492216c51c4695291 ocaml(NCoq_Bool_Bool) = 9ce8371ddab3c0bbca74a3e4089e3a31 ocaml(NCoq_Bool_Sumbool) = 5b258dfba79f0d94cbb566638cf6c99e ocaml(NCoq_Classes_Morphisms) = 3d50172f8dbc27ae1d72c48404d25d71 ocaml(NCoq_Classes_Morphisms_Prop) = 9c8efcebfbaa6ddce702919fadacce32 ocaml(NCoq_Classes_RelationClasses) = 5ce7e6392abd9f623d1f4f3a620fb66e ocaml(NCoq_Floats_FloatClass) = 2e2f1fda174a9625d26e3772df6d1cc4 ocaml(NCoq_Floats_SpecFloat) = 22a1758be520a88039c1b94603527110 ocaml(NCoq_Init_Datatypes) = 52fdc3d3a6a13c19e8d681e2ae340d4f ocaml(NCoq_Init_Decimal) = 26f1c864f0e31a805faeceb8010149bd ocaml(NCoq_Init_Hexadecimal) = 39138a2b8ab8440e054c47e10b6d816e ocaml(NCoq_Init_Logic) = 98d9af341c1773cfb38cf944dfc046b5 ocaml(NCoq_Init_Nat) = e1a317f92aa20cbf5781011d44a67fdc ocaml(NCoq_Init_Number) = 5e95e40491568baa64dacd7edfe5b2a5 ocaml(NCoq_Init_Peano) = 9772c55b64df4447d271fe833eccf1b0 ocaml(NCoq_Init_Specif) = 837610a43c8b2cec21eacbe764aeeb57 ocaml(NCoq_Init_Wf) = dddffd42c324c8079ddf951cc9986abd ocaml(NCoq_Lists_List) = 103387090353765d88c5b5548c050c62 ocaml(NCoq_NArith_BinNat) = e888b538aa866bbcfb27623d8842765f ocaml(NCoq_Numbers_BinNums) = 286ea9be5215f57f24c06e68d0132dbd ocaml(NCoq_PArith_BinPos) = a42572a8932d2e9b5132974cb4a91c6a ocaml(NCoq_Program_Basics) = 092d69e6c55070af211d44af13fe9888 ocaml(NCoq_QArith_QArith_base) = a8f233895dafa2aa095e642d4772ee72 ocaml(NCoq_QArith_Qabs) = 30ba0e9138c01004fef9a68ca2193d82 ocaml(NCoq_QArith_Qreduction) = 326ac5ae7aee104835d51de8fd6912b3 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 350b1687ba46909b8720ebaeb6aca493 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 21f0544e14c83c5bbf691fc17b7af7c6 ocaml(NCoq_Reals_Cauchy_QExtra) = bedb704b72c8b1373c3845e2a1cae5b9 ocaml(NCoq_Reals_RIneq) = 59af754605d0c6a6da05ae43365d16ce ocaml(NCoq_Reals_R_sqrt) = bd2222d86617060347cb6b23cd49c9cc ocaml(NCoq_Reals_Raxioms) = b7e8340a30526fe55df3fcee33e77dfe ocaml(NCoq_Reals_Rbasic_fun) = 6a508787e9ac6d17c97ba53480d8a29f ocaml(NCoq_Reals_Rdefinitions) = a0c5bf85c7b087547f31237e1c756152 ocaml(NCoq_Reals_Rfunctions) = 77e1e8c6f5097449b9eda57555d3bc06 ocaml(NCoq_Reals_Rpow_def) = 295d92df0ec7961b26f449e19b148421 ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Relations_Relation_Definitions) = aeca52255d896d6791c60128493ab865 ocaml(NCoq_Setoids_Setoid) = ac7a8d871deb88a44b01adb3c4263cf5 ocaml(NCoq_Structures_OrdersTac) = 99f7d1b8bd85183d22d5cf545b874ff6 ocaml(NCoq_ZArith_BinInt) = fbfe5cbc88d4dd5ac715871e6984c377 ocaml(NCoq_ZArith_ZArith_dec) = ef847520523b1a6d098ad9333e422c53 ocaml(NCoq_ZArith_Zbool) = 979222638a225c30d979a7d268a0b03f ocaml(NCoq_ZArith_Zeven) = 2df517ab801ca36badbfd63535a7a55c ocaml(NCoq_ZArith_Znat) = 17c90192d5eadcf63505dc09864633ec ocaml(NCoq_ZArith_Zpower) = 686a6098328f924c559252b642ba516c ocaml(NCoq_setoid_ring_BinList) = 15c56ac43d2fb4d04ed277143ef4f8e5 ocaml(NCoq_setoid_ring_Field_theory) = 7a15a93de68e71bcbfa9982f1b77ef77 ocaml(NCoq_setoid_ring_Ring_polynom) = b77f97bb5fe297148d27f85646d4b547 ocaml(NCoq_setoid_ring_Ring_theory) = 310a96873536648d99a4c555a00c1ed1 ocaml(NFlocq_Calc_Bracket) = 0209642fb488692946d4d4674f4e3363 ocaml(NFlocq_Core_Defs) = f29782a4084bf3cf925b30d745073397 ocaml(NFlocq_Core_Digits) = a3d142b5d6782aa79c877d45563799f1 ocaml(NFlocq_Core_FIX) = 79671a651221d5dac416577938bde0ce ocaml(NFlocq_Core_FLT) = 2e8767d0eb6e3dcdd411db84b10844c4 ocaml(NFlocq_Core_FLX) = 997ce65b4046a8f492553bc7d5005a2c ocaml(NFlocq_Core_Generic_fmt) = 31073667f7776017c35597ed290bae3e ocaml(NFlocq_Core_Raux) = 647a08bfc3a6dbb02b5b998b5f761429 ocaml(NFlocq_Core_Zaux) = 860ab8acef93c43625f79b905976571c ocaml(NGappa_Gappa_decimal) = 1156123e0c92a8690f3ce4ff55ecb354 ocaml(NGappa_Gappa_definitions) = 060c0d891cddb52364e5735ec259e36b ocaml(NGappa_Gappa_dyadic) = 952327cc79edf9d259442eb11bc1c0bf ocaml(NGappa_Gappa_pred_bnd) = 2669529e1d01c06ac6ccd9eabac3f2d7 ocaml(NGappa_Gappa_round) = 59ddf1f9e0ff4f3648aee16e322d5f06 ocaml(NGappa_Gappa_round_aux) = 8b0d7287e1ffce4e9236a02eeaba3c54 ocaml(NGappa_Gappa_round_def) = daad9cad4dd847445deeda5fa97c76fe ocaml(NGappa_Gappa_tree) = b90f3dc683576a9573190113dae91304 ocaml(Namegen) = b2e5373cd659968f506da1380a48f6f4 ocaml(Names) = 1c7420578b073c10e0de87a37b5bb38f ocaml(Nativecode) = b53e67c8ba22ba649e4c07445e85fe51 ocaml(Nativeconv) = c1341a56bb8189d27c080c0a97436162 ocaml(Nativelambda) = cebd8c668cc6a0bec742a0b68f0ce3fe ocaml(Nativelib) = 83cd77f64a52e51266bd8337ed4cf3b5 ocaml(Nativevalues) = 3be2dcd304360a5ee837dc45d4f0b4c1 ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3 ocaml(Notation) = 72e7b63f02139f645d0eb57c57f4d3d6 ocaml(Notation_term) = efdea42f90a78bec7292e641c25e6051 ocaml(NumTok) = bcdd5eae94ba9fb26ac5860c1cb027a3 ocaml(Opaqueproof) = 24dcfc8eddd0dff8dbeb7b981730995d ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866 ocaml(Pattern) = 0e6e26ffec91f0d4ba4658e1f79afadd ocaml(Pcoq) = 2475383cba14f91e4f0e49096778adaf ocaml(Pp) = 33d83b905146c607db694dbc982483c2 ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Pretype_errors) = e9c0a9ce98418f68f8dfb39f294591d0 ocaml(Pretyping) = caa113d581ba9611c2e94a6eea80fedd ocaml(Primred) = e2965186fb06362716c7901914729ad6 ocaml(Printer) = 3d7ec5c36c762705f510fae39f8e4ac9 ocaml(Proof) = 54b9f337332f74189e3ab1e7dc99f6c9 ocaml(Proof_bullet) = 91142ebe906401896651cbc8817567ba ocaml(Proof_using) = 391b2688fe10f48c073c92e3ed4c0239 ocaml(Proofview) = fff9ae0ca1d2a3df0c6289b9bf34c11d ocaml(Proofview_monad) = f8180cddb914a8dcab0fc5f8f31d0253 ocaml(Range) = 346d147227354e938de6b932d04d6b3d ocaml(Redexpr) = a4ff8e407b599bae2c130da6e47b4cad ocaml(Reduction) = dd86cad629ddb122b17c986624f89e25 ocaml(Reductionops) = a86d752303e64573b974edd483a8b391 ocaml(RetrieveObl) = f50aa17dea15ba9be0dcdc5604aa33c7 ocaml(Retroknowledge) = 5553b66e3bdd517f2d4a516ca493e82c ocaml(Rtree) = 41a6536b9cf92db56fd9795c590e4643 ocaml(Safe_typing) = 36994e6307127dffa9f75454f03b9ded ocaml(Section) = 4ef735dbdc47b5a8bca6b990764690ad ocaml(Sorts) = ea29f10a2bedf5820b324d398a1984c0 ocaml(Stateid) = 0654cacdb4c3a9f88f7424c3d78b0e47 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) = 7bb509c8a05094619676c0950387d077 ocaml(Tacmach) = 7e423af01500591b616db4f39917f179 ocaml(Tacred) = 33da416fcff9f95e3c7c474c52f78ccc ocaml(Tacticals) = 7da103dee1a2675cb4c391969bc776f7 ocaml(Tactics) = 53f9b8daf64a15423607d27980b71691 ocaml(Tactypes) = 6f90785c7688c12da69973fb79227cdb ocaml(Term) = 09508b642011df5433d671b341114991 ocaml(Tok) = d7f575ffa78825bb266417e4b337bcdb ocaml(TransparentState) = e46b8b496b56c15d8ec5ae5c2e27ac23 ocaml(Type_errors) = 9ba48f487c23271216077ec9419c83bd ocaml(Typeclasses) = d40d9393ca9e0477603d399c870485c0 ocaml(UGraph) = 2555eb21cdd8c21622e6dd8819fbe14c ocaml(UState) = 37f092bdd0068a7290b880290da12cf1 ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b ocaml(Unification) = 8772194bf3f841cc974a6d74268147f9 ocaml(Univ) = 0b0cb5dc65f40e529b323974d58b44e8 ocaml(UnivGen) = 419307c68f74fb7d916bc798f25d8fc9 ocaml(UnivNames) = ce24345f973d5545d5cbe7de2ae14803 ocaml(UnivProblem) = d6767aef41ccc4cdb9d476e77a17f104 ocaml(UnivSubst) = 4996d51cf7196ed7397713ff73857a92 ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Util) = 5e3e907aa9cc4cfba2f3c9d37a430249 ocaml(Vars) = 079a5e9166973f8aeda1abd0195b8cc5 ocaml(Vernacexpr) = f96861690714e0d3c85c303c0ae2b7e6 ocaml(Vernacextend) = 857178ed7f5ac6265f165ab2e66d1853 ocaml(Vmbytecodes) = cb5ed1f2eba02b22b56f18d197f0a080 ocaml(Vmemitcodes) = 9efb765a0fd4640ac72813e0e425f516 ocaml(Vmvalues) = b2cc3bbf98d6f30c53faae186293e500 ocaml(Z) = a71ac4a535434978287848841376388e ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b ocamlx(NCoq_Floats_SpecFloat) = 8375f967bb34ff0161b9b7e952397de2 ocamlx(NCoq_Init_Datatypes) = fb8866e5cb13e20e984f54dab3f04986 ocamlx(NCoq_Init_Logic) = f5fbf31bda90b5005a192bb6bc7cf5ae ocamlx(NCoq_Init_Specif) = ccd9c66c5e62b8fadd294ae3b87424af ocamlx(NCoq_Lists_List) = 322d7bebb6d193eb53e4878d203ac2cf ocamlx(NCoq_NArith_BinNat) = 6912952e734d037f92d2ea699dc42a28 ocamlx(NCoq_Numbers_BinNums) = acc75a85065bfab05cbd25329f5ec188 ocamlx(NCoq_PArith_BinPos) = 260786e2c20499f59072cd8ce9770d63 ocamlx(NCoq_Reals_R_sqrt) = b2b8bc4e4f23a8b71fa99ca95063ee66 ocamlx(NCoq_Reals_Raxioms) = b59ea2c33170372c493257bb4ea6d376 ocamlx(NCoq_Reals_Rbasic_fun) = a83c13bdb8731153c71e5d853d750811 ocamlx(NCoq_Reals_Rdefinitions) = d44726fd1f6d8c088c9f38b44f2ca246 ocamlx(NCoq_Reals_Rfunctions) = 2b8d44bc2b550c84ad33badb73fbd7c0 ocamlx(NCoq_ZArith_BinInt) = 3f48475309da921bc686a8deba09a8f3 ocamlx(NCoq_ZArith_Zbool) = a1c9cef87a63d8b6e92ee1a24c34fc7c ocamlx(NCoq_ZArith_Zpower) = 51da356c8bfc64329fe14340a75e2edb ocamlx(NCoq_setoid_ring_Field_theory) = 435cac36686b53129892f6e6fe229ac7 ocamlx(NFlocq_Calc_Bracket) = b46a427b3b709879295fe9a10c203046 ocamlx(NFlocq_Core_Defs) = 038e47e9083cb96184e1b946fe34fc32 ocamlx(NFlocq_Core_Digits) = 2aa5aba6283ddf1b352405ef3730fdc1 ocamlx(NFlocq_Core_FIX) = 7f9ec823dd6c80f6749cf1d6c7f173d2 ocamlx(NFlocq_Core_FLT) = f2e75d99c84308cc24354ea01127e8e0 ocamlx(NFlocq_Core_FLX) = fd7bd5ee8e31ed139bdf916c8a504266 ocamlx(NFlocq_Core_Generic_fmt) = 286b616df9eb517bf0a7a706373412fb ocamlx(NFlocq_Core_Raux) = cb4b4be1a908c7caa141e94e191dcf2b ocamlx(NFlocq_Core_Zaux) = 951959ce8a9a122fb829968a737b8b5c ocamlx(NGappa_Gappa_decimal) = 4859459d9ef1723e1cf8d3a010264c77 ocamlx(NGappa_Gappa_definitions) = b8f956f3de8fbc593e9a834e0dcab2cd ocamlx(NGappa_Gappa_dyadic) = 875f5883fd071b3d8c098d219f651944 ocamlx(NGappa_Gappa_pred_bnd) = 3e6480cc92339ba837449b2580302dde ocamlx(NGappa_Gappa_round) = 811e09ca8ff1aa78a5b4149ae4b073ea ocamlx(NGappa_Gappa_round_aux) = 87dd6fe95e3737551044d994a70b347b ocamlx(NGappa_Gappa_round_def) = c98315ad87ccf8322d1aaafa8551d7ce ocamlx(NGappa_Gappa_tree) = 03965dc2b358f64280f22b281fdf62e4 ocamlx(Nativecode) = 7a08d78c6dae1286c2efe733f5eef932 ocamlx(Nativevalues) = 7c7e8d35c66493685e51ba94e8c5177e rtld(GNU_HASH) Processing files: gappalib-coq-source-1.5.2-2.fc37.x86_64 Provides: gappalib-coq-source = 1.5.2-2.fc37 gappalib-coq-source(x86-64) = 1.5.2-2.fc37 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-2.fc37.x86_64 Provides: gappalib-coq-debugsource = 1.5.2-2.fc37 gappalib-coq-debugsource(x86-64) = 1.5.2-2.fc37 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-2.fc37.x86_64 Provides: debuginfo(build-id) = 0ccfab4d10e26afad9137f0f5d114cb33d6108ef debuginfo(build-id) = 0e707e0d04049a629fa3204bc3fab8de2a8451c7 debuginfo(build-id) = 158eec2c04f2f6a870e1f6aff60b55a202cb01e2 debuginfo(build-id) = 20964a012ffd577e7ecc37e75525756249930b1f debuginfo(build-id) = 290e741ca0e7bc28ebe5cc912dd942a75c71522f debuginfo(build-id) = 2d364bb5262b178ad0f8db839fd8131366766040 debuginfo(build-id) = 39c6e7e286fc0ecba4aa18fd8162150987a6a5da debuginfo(build-id) = 4c41bc9cb40b4ad2580066191d604896a01cd7d4 debuginfo(build-id) = 4d33b52d6ee4fc5ca8de43be26688aa15f9140ac debuginfo(build-id) = 56ad0ec79b66d59ff227b3d68308c4ed5456cf29 debuginfo(build-id) = 5cf196b171ddd86d0dfc81183737d4e820fcb994 debuginfo(build-id) = 642a233ca623003fe5457df0d97a8970dabfc8b9 debuginfo(build-id) = 72b173b17f36b233696d6724f4ff974b6c5dacbd debuginfo(build-id) = 758c6d68e923a64ab51d96b1a3cc4bcc21de449b debuginfo(build-id) = 77ee8b09250e6087196ddc7f9dfd6dad0dcbd225 debuginfo(build-id) = 7ce3efa436a6957027eda9c668faedeb82573ec1 debuginfo(build-id) = 96202b5b219b3a796ad8fd192f4e0ab7a96cc4a8 debuginfo(build-id) = 996bf68018ce729ba2f5c6733838b5f40683be7c debuginfo(build-id) = b442bcbee47403429c335c7e5fe1b89d5bc3d282 debuginfo(build-id) = e2f5422a9591073f512b3df754df66df816a4925 debuginfo(build-id) = e54a02f7a7883476d60820e490c188b921955aeb debuginfo(build-id) = eaf789fd3403aa9110ae6a7b49cff0ac861f0b67 debuginfo(build-id) = eca263655e05edccbb34c220e629738366f6c89d gappalib-coq-debuginfo = 1.5.2-2.fc37 gappalib-coq-debuginfo(x86-64) = 1.5.2-2.fc37 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-2.fc37 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.2-2.fc37.x86_64 Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.2-2.fc37.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.2-2.fc37.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.2-2.fc37.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.2-2.fc37.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.JqeAod + 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-2.fc37.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.itasdP + 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-2.fc37.src.rpm Finish: build phase for gappalib-coq-1.5.2-2.fc37.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root/var/log/dnf.rpm.log /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root/var/log/dnf.librepo.log /var/lib/mock/fedora-rawhide-x86_64-1660142096.958365/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.2-2.fc37.src.rpm) Config(child) 5 minutes 40 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