Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c10f' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/7412627-fedora-rawhide-x86_64 --chroot fedora-rawhide-x86_64 Version: 0.72 PID: 6781 Logging PID: 6782 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 7412627, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': '58238b3dafef07fe45016eeb5b428ce876648171', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml5.2/alt-ergo', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'alt-ergo', 'package_version': '2.3.3-18', 'project_dirname': 'OCaml5.2', 'project_name': 'OCaml5.2', 'project_owner': 'jjames', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/jjames/OCaml5.2/fedora-rawhide-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': 'jjames/OCaml5.2--jjames', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'submitter': 'jjames', 'tags': [], 'task_id': '7412627-fedora-rawhide-x86_64', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml5.2/alt-ergo /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml5.2/alt-ergo', '/var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo'... Running: git checkout 58238b3dafef07fe45016eeb5b428ce876648171 -- cmd: ['git', 'checkout', '58238b3dafef07fe45016eeb5b428ce876648171', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo rc: 0 stdout: stderr: Note: switching to '58238b3dafef07fe45016eeb5b428ce876648171'. 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 58238b3 automatic import of alt-ergo Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo 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 alt-ergo-free-2.3.0.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o alt-ergo-free-2.3.0.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/jjames/OCaml5.2/alt-ergo/alt-ergo-free-2.3.0.tar.gz/md5/4215e71e2d74a14570239fe424250c14/alt-ergo-free-2.3.0.tar.gz Dload Upload Total Spent Left Speed 100 2398k 100 2398k 0 0 23.9M 0 --:--:-- --:--:-- --:--:-- 24.1M INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.0.tar.gz INFO: Downloading alt-ergo-free-2.3.3.tar.gz INFO: Calling: curl -H Pragma: -o alt-ergo-free-2.3.3.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/jjames/OCaml5.2/alt-ergo/alt-ergo-free-2.3.3.tar.gz/md5/adaea0b3bc67b24df5d6eec800d249f7/alt-ergo-free-2.3.3.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 388k 100 388k 0 0 5223k 0 --:--:-- --:--:-- --:--:-- 5247k INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.3.tar.gz INFO: Downloading alt-ergo-icons.tar.xz INFO: Calling: curl -H Pragma: -o alt-ergo-icons.tar.xz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/jjames/OCaml5.2/alt-ergo/alt-ergo-icons.tar.xz/md5/7f0a09b222de3abe03563126e0830856/alt-ergo-icons.tar.xz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 62276 100 62276 0 0 1239k 0 --:--:-- --:--:-- --:--:-- 1267k INFO: Reading stdout from command: md5sum alt-ergo-icons.tar.xz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1714931132.076475 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.5 starting (python version = 3.12.1, NVR = mock-5.5-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1714931132.076475 -r /var/lib/copr-rpmbuild/results/configs/child.cfg Start(bootstrap): init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish(bootstrap): init plugins Start: init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo/alt-ergo.spec) Config(fedora-rawhide-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 5.5 INFO: Mock Version: 5.5 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1714931132.076475/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using bootstrap image: registry.fedoraproject.org/fedora:rawhide INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide INFO: Copy content of container registry.fedoraproject.org/fedora:rawhide to /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1714931132.076475/root INFO: Checking that registry.fedoraproject.org/fedora:rawhide image matches host's architecture INFO: mounting registry.fedoraproject.org/fedora:rawhide with podman image mount INFO: image registry.fedoraproject.org/fedora:rawhide as /var/lib/containers/storage/overlay/d64969878a12b0d4c457ca1b269bd2baf9e59dde188594320b934ad3be459135/merged INFO: umounting image registry.fedoraproject.org/fedora:rawhide (/var/lib/containers/storage/overlay/d64969878a12b0d4c457ca1b269bd2baf9e59dde188594320b934ad3be459135/merged) with podman image umount INFO: Using 'dnf' instead of 'dnf5' for bootstrap chroot INFO: Package manager dnf detected and used (fallback) INFO: Bootstrap image not marked ready Start(bootstrap): installing dnf5 tooling No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 1.5 MB/s | 275 kB 00:00 fedora 4.6 MB/s | 20 MB 00:04 Dependencies resolved. ================================================================================ Package Architecture Version Repository Size ================================================================================ Installing: dnf5 x86_64 5.1.17-1.fc41 fedora 700 k dnf5-plugins x86_64 5.1.17-1.fc41 fedora 358 k Installing dependencies: fmt x86_64 10.2.1-4.fc41 fedora 125 k libdnf5 x86_64 5.1.17-1.fc41 fedora 997 k libdnf5-cli x86_64 5.1.17-1.fc41 fedora 231 k sdbus-cpp x86_64 1.5.0-2.fc41 fedora 113 k Transaction Summary ================================================================================ Install 6 Packages Total download size: 2.5 M Installed size: 6.8 M Downloading Packages: (1/6): fmt-10.2.1-4.fc41.x86_64.rpm 385 kB/s | 125 kB 00:00 (2/6): dnf5-plugins-5.1.17-1.fc41.x86_64.rpm 903 kB/s | 358 kB 00:00 (3/6): dnf5-5.1.17-1.fc41.x86_64.rpm 1.6 MB/s | 700 kB 00:00 (4/6): libdnf5-cli-5.1.17-1.fc41.x86_64.rpm 3.3 MB/s | 231 kB 00:00 (5/6): sdbus-cpp-1.5.0-2.fc41.x86_64.rpm 2.1 MB/s | 113 kB 00:00 (6/6): libdnf5-5.1.17-1.fc41.x86_64.rpm 4.7 MB/s | 997 kB 00:00 -------------------------------------------------------------------------------- Total 4.4 MB/s | 2.5 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : fmt-10.2.1-4.fc41.x86_64 1/6 Installing : libdnf5-5.1.17-1.fc41.x86_64 2/6 Installing : libdnf5-cli-5.1.17-1.fc41.x86_64 3/6 Installing : sdbus-cpp-1.5.0-2.fc41.x86_64 4/6 Installing : dnf5-5.1.17-1.fc41.x86_64 5/6 Installing : dnf5-plugins-5.1.17-1.fc41.x86_64 6/6 Running scriptlet: dnf5-plugins-5.1.17-1.fc41.x86_64 6/6 Installed: dnf5-5.1.17-1.fc41.x86_64 dnf5-plugins-5.1.17-1.fc41.x86_64 fmt-10.2.1-4.fc41.x86_64 libdnf5-5.1.17-1.fc41.x86_64 libdnf5-cli-5.1.17-1.fc41.x86_64 sdbus-cpp-1.5.0-2.fc41.x86_64 Complete! INFO: Switching package manager from dnf to the dnf5 (direct choice) Finish(bootstrap): installing dnf5 tooling 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-1714931132.076475/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf5 detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.19.1.1-1.fc40.x86_64 rpm-sequoia-1.6.0-2.fc40.x86_64 python3-dnf-4.19.2-1.fc41.noarch yum-4.19.2-1.fc41.noarch dnf5-5.1.17-1.fc41.x86_64 dnf5-plugins-5.1.17-1.fc41.x86_64 Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 11.4 MiB/s | 20.9 MiB | 00m02s Copr repository 100% | 2.6 MiB/s | 277.0 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash x86_64 5.2.26-3.fc40 fedora 8.1 MiB bzip2 x86_64 1.0.8-18.fc40 fedora 91.7 KiB coreutils x86_64 9.5-1.fc41 fedora 5.5 MiB cpio x86_64 2.15-1.fc40 fedora 1.1 MiB diffutils x86_64 3.10-5.fc40 fedora 1.6 MiB fedora-release-common noarch 41-0.9 fedora 19.2 KiB findutils x86_64 1:4.9.0-8.fc40 fedora 1.5 MiB gawk x86_64 5.3.0-3.fc40 fedora 1.7 MiB glibc-minimal-langpack x86_64 2.39.9000-17.fc41 fedora 0.0 B grep x86_64 3.11-8.fc41 fedora 1.0 MiB gzip x86_64 1.13-1.fc40 fedora 385.0 KiB info x86_64 7.1-2.fc40 fedora 357.8 KiB patch x86_64 2.7.6-24.fc40 fedora 262.8 KiB redhat-rpm-config noarch 288-1.fc41 fedora 183.3 KiB rpm-build x86_64 4.19.1.1-1.fc40 fedora 173.7 KiB sed x86_64 4.9-1.fc40 fedora 861.5 KiB shadow-utils x86_64 2:4.15.1-2.fc41 fedora 4.1 MiB tar x86_64 2:1.35-3.fc40 fedora 2.9 MiB unzip x86_64 6.0-63.fc40 fedora 382.8 KiB util-linux x86_64 2.40-13.fc41 fedora 3.7 MiB which x86_64 2.21-41.fc40 fedora 80.2 KiB xz x86_64 1:5.4.6-3.fc41 fedora 2.0 MiB Installing dependencies: alternatives x86_64 1.26-3.fc40 fedora 62.3 KiB ansible-srpm-macros noarch 1-15.fc41 fedora 35.7 KiB audit-libs x86_64 4.0.1-1.fc41 fedora 327.3 KiB authselect x86_64 1.5.0-5.fc41 fedora 153.6 KiB authselect-libs x86_64 1.5.0-5.fc41 fedora 818.2 KiB basesystem noarch 11-20.fc40 fedora 0.0 B binutils x86_64 2.42.50-6.fc41 fedora 27.2 MiB binutils-gold x86_64 2.42.50-6.fc41 fedora 2.0 MiB bzip2-libs x86_64 1.0.8-18.fc40 fedora 80.7 KiB ca-certificates noarch 2023.2.62_v7.0.401-6.fc40 fedora 2.3 MiB coreutils-common x86_64 9.5-1.fc41 fedora 11.2 MiB cracklib x86_64 2.9.11-5.fc40 fedora 238.9 KiB crypto-policies noarch 20240320-1.git58e3d95.fc41 fedora 119.2 KiB curl x86_64 8.7.1-1.fc41 fedora 758.1 KiB cyrus-sasl-lib x86_64 2.1.28-19.fc40 fedora 2.3 MiB debugedit x86_64 5.0-15.fc41 fedora 199.0 KiB dwz x86_64 0.15-6.fc40 fedora 290.9 KiB ed x86_64 1.20.2-1.fc41 fedora 146.8 KiB efi-srpm-macros noarch 5-11.fc40 fedora 40.1 KiB elfutils x86_64 0.191-7.fc41 fedora 2.5 MiB elfutils-debuginfod-client x86_64 0.191-7.fc41 fedora 64.9 KiB elfutils-default-yama-scope noarch 0.191-7.fc41 fedora 1.8 KiB elfutils-libelf x86_64 0.191-7.fc41 fedora 1.2 MiB elfutils-libs x86_64 0.191-7.fc41 fedora 646.1 KiB fedora-gpg-keys noarch 41-0.1 fedora 125.0 KiB fedora-release noarch 41-0.9 fedora 0.0 B fedora-release-identity-basic noarch 41-0.9 fedora 694.0 B fedora-repos noarch 41-0.1 fedora 4.9 KiB fedora-repos-rawhide noarch 41-0.1 fedora 2.2 KiB file x86_64 5.45-5.fc41 fedora 103.5 KiB file-libs x86_64 5.45-5.fc41 fedora 9.9 MiB filesystem x86_64 3.18-9.fc41 fedora 106.0 B fonts-srpm-macros noarch 1:2.0.5-14.fc40 fedora 55.3 KiB forge-srpm-macros noarch 0.3.1-1.fc41 fedora 39.0 KiB fpc-srpm-macros noarch 1.3-12.fc40 fedora 144.0 B gdb-minimal x86_64 14.2-6.fc41 fedora 12.7 MiB gdbm x86_64 1:1.23-6.fc40 fedora 460.9 KiB gdbm-libs x86_64 1:1.23-6.fc40 fedora 121.9 KiB ghc-srpm-macros noarch 1.9.1-1.fc41 fedora 747.0 B glibc x86_64 2.39.9000-17.fc41 fedora 6.7 MiB glibc-common x86_64 2.39.9000-17.fc41 fedora 1.0 MiB glibc-gconv-extra x86_64 2.39.9000-17.fc41 fedora 7.8 MiB gmp x86_64 1:6.3.0-1.fc41 fedora 803.4 KiB gnat-srpm-macros noarch 6-5.fc40 fedora 1.0 KiB go-srpm-macros noarch 3.6.0-1.fc41 fedora 60.8 KiB jansson x86_64 2.13.1-9.fc40 fedora 88.3 KiB kernel-srpm-macros noarch 1.0-23.fc41 fedora 1.9 KiB keyutils-libs x86_64 1.6.3-3.fc40 fedora 54.4 KiB krb5-libs x86_64 1.21.2-5.fc40 fedora 2.3 MiB libacl x86_64 2.3.2-1.fc40 fedora 40.0 KiB libarchive x86_64 3.7.4-1.fc41 fedora 914.6 KiB libattr x86_64 2.5.2-3.fc40 fedora 28.5 KiB libblkid x86_64 2.40-13.fc41 fedora 262.5 KiB libbrotli x86_64 1.1.0-3.fc40 fedora 829.5 KiB libcap x86_64 2.69-8.fc41 fedora 219.7 KiB libcap-ng x86_64 0.8.5-1.fc41 fedora 69.1 KiB libcom_err x86_64 1.47.0-5.fc40 fedora 67.2 KiB libcurl x86_64 8.7.1-1.fc41 fedora 793.5 KiB libeconf x86_64 0.6.2-1.fc41 fedora 58.0 KiB libevent x86_64 2.1.12-12.fc40 fedora 895.6 KiB libfdisk x86_64 2.40-13.fc41 fedora 362.9 KiB libffi x86_64 3.4.6-1.fc41 fedora 82.4 KiB libgcc x86_64 14.0.1-0.16.fc41 fedora 270.6 KiB libgomp x86_64 14.0.1-0.16.fc41 fedora 519.3 KiB libidn2 x86_64 2.3.7-1.fc40 fedora 329.1 KiB libmount x86_64 2.40-13.fc41 fedora 351.8 KiB libnghttp2 x86_64 1.61.0-1.fc41 fedora 166.1 KiB libnsl2 x86_64 2.0.1-1.fc40 fedora 57.9 KiB libpkgconf x86_64 2.1.0-1.fc40 fedora 74.2 KiB libpsl x86_64 0.21.5-3.fc40 fedora 80.5 KiB libpwquality x86_64 1.4.5-9.fc40 fedora 417.8 KiB libselinux x86_64 3.6-4.fc40 fedora 173.0 KiB libsemanage x86_64 3.6-3.fc40 fedora 293.5 KiB libsepol x86_64 3.6-3.fc40 fedora 802.0 KiB libsmartcols x86_64 2.40-13.fc41 fedora 180.4 KiB libssh x86_64 0.10.6-6.fc41 fedora 513.3 KiB libssh-config noarch 0.10.6-6.fc41 fedora 277.0 B libstdc++ x86_64 14.0.1-0.16.fc41 fedora 2.8 MiB libtasn1 x86_64 4.19.0-6.fc40 fedora 175.7 KiB libtirpc x86_64 1.3.4-1.rc3.fc41 fedora 202.8 KiB libtool-ltdl x86_64 2.4.7-10.fc40 fedora 66.2 KiB libunistring x86_64 1.1-7.fc41 fedora 1.7 MiB libutempter x86_64 1.2.1-13.fc40 fedora 57.7 KiB libuuid x86_64 2.40-13.fc41 fedora 37.4 KiB libverto x86_64 0.3.2-8.fc40 fedora 29.5 KiB libxcrypt x86_64 4.4.36-5.fc40 fedora 262.8 KiB libxml2 x86_64 2.12.6-1.fc41 fedora 1.7 MiB libzstd x86_64 1.5.6-1.fc41 fedora 787.9 KiB lua-libs x86_64 5.4.6-5.fc40 fedora 281.1 KiB lua-srpm-macros noarch 1-13.fc40 fedora 1.3 KiB lz4-libs x86_64 1.9.4-6.fc40 fedora 129.4 KiB mpfr x86_64 4.2.1-3.fc40 fedora 832.0 KiB ncurses-base noarch 6.4-12.20240127.fc40 fedora 326.2 KiB ncurses-libs x86_64 6.4-12.20240127.fc40 fedora 963.2 KiB ocaml-srpm-macros noarch 10-1.fc41 copr_base 1.9 KiB openblas-srpm-macros noarch 2-17.fc41 fedora 112.0 B openldap x86_64 2.6.7-1.fc40 fedora 635.1 KiB openssl-libs x86_64 1:3.2.1-6.fc41 fedora 7.8 MiB p11-kit x86_64 0.25.3-4.fc40 fedora 2.2 MiB p11-kit-trust x86_64 0.25.3-4.fc40 fedora 391.4 KiB package-notes-srpm-macros noarch 0.5-11.fc40 fedora 1.6 KiB pam x86_64 1.6.1-1.fc41 fedora 1.8 MiB pam-libs x86_64 1.6.1-1.fc41 fedora 135.0 KiB pcre2 x86_64 10.43-2.fc41 fedora 653.5 KiB pcre2-syntax noarch 10.43-2.fc41 fedora 249.0 KiB perl-srpm-macros noarch 1-53.fc40 fedora 861.0 B pkgconf x86_64 2.1.0-1.fc40 fedora 82.4 KiB pkgconf-m4 noarch 2.1.0-1.fc40 fedora 13.9 KiB pkgconf-pkg-config x86_64 2.1.0-1.fc40 fedora 989.0 B popt x86_64 1.19-6.fc40 fedora 136.9 KiB publicsuffix-list-dafsa noarch 20240107-3.fc40 fedora 67.5 KiB pyproject-srpm-macros noarch 1.12.0-1.fc40 fedora 1.5 KiB python-srpm-macros noarch 3.12-9.fc41 fedora 50.5 KiB qt5-srpm-macros noarch 5.15.13-1.fc41 fedora 492.0 B qt6-srpm-macros noarch 6.7.0-1.fc41 fedora 456.0 B readline x86_64 8.2-8.fc40 fedora 489.2 KiB rpm x86_64 4.19.1.1-1.fc40 fedora 3.0 MiB rpm-build-libs x86_64 4.19.1.1-1.fc40 fedora 198.4 KiB rpm-libs x86_64 4.19.1.1-1.fc40 fedora 709.9 KiB rpm-sequoia x86_64 1.6.0-2.fc40 fedora 2.2 MiB rust-srpm-macros noarch 26.2-1.fc41 fedora 4.8 KiB setup noarch 2.14.5-2.fc40 fedora 720.4 KiB sqlite-libs x86_64 3.45.3-1.fc41 fedora 1.4 MiB systemd-libs x86_64 255.5-1.fc41 fedora 1.9 MiB util-linux-core x86_64 2.40-13.fc41 fedora 1.5 MiB xxhash-libs x86_64 0.8.2-2.fc40 fedora 88.5 KiB xz-libs x86_64 1:5.4.6-3.fc41 fedora 209.8 KiB zig-srpm-macros noarch 1-2.fc40 fedora 1.1 KiB zip x86_64 3.0-40.fc40 fedora 703.2 KiB zlib-ng-compat x86_64 2.1.6-2.fc40 fedora 134.0 KiB zstd x86_64 1.5.6-1.fc41 fedora 1.7 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 153 packages Total size of inbound packages is 53 MiB. Need to download 53 MiB. After this operation 179 MiB will be used (install 179 MiB, remove 0 B). [ 1/153] bzip2-0:1.0.8-18.fc40.x86_64 100% | 1.0 MiB/s | 52.4 KiB | 00m00s [ 2/153] cpio-0:2.15-1.fc40.x86_64 100% | 8.4 MiB/s | 292.2 KiB | 00m00s [ 3/153] coreutils-0:9.5-1.fc41.x86_64 100% | 12.2 MiB/s | 1.1 MiB | 00m00s [ 4/153] bash-0:5.2.26-3.fc40.x86_64 100% | 18.6 MiB/s | 1.8 MiB | 00m00s [ 5/153] fedora-release-common-0:41-0. 100% | 2.3 MiB/s | 21.5 KiB | 00m00s [ 6/153] diffutils-0:3.10-5.fc40.x86_6 100% | 20.8 MiB/s | 405.5 KiB | 00m00s [ 7/153] glibc-minimal-langpack-0:2.39 100% | 9.9 MiB/s | 111.0 KiB | 00m00s [ 8/153] findutils-1:4.9.0-8.fc40.x86_ 100% | 30.0 MiB/s | 491.9 KiB | 00m00s [ 9/153] grep-0:3.11-8.fc41.x86_64 100% | 24.4 MiB/s | 299.3 KiB | 00m00s [ 10/153] gzip-0:1.13-1.fc40.x86_64 100% | 13.9 MiB/s | 170.6 KiB | 00m00s [ 11/153] info-0:7.1-2.fc40.x86_64 100% | 14.8 MiB/s | 182.3 KiB | 00m00s [ 12/153] patch-0:2.7.6-24.fc40.x86_64 100% | 11.6 MiB/s | 130.7 KiB | 00m00s [ 13/153] redhat-rpm-config-0:288-1.fc4 100% | 8.0 MiB/s | 82.3 KiB | 00m00s [ 14/153] rpm-build-0:4.19.1.1-1.fc40.x 100% | 7.6 MiB/s | 78.2 KiB | 00m00s [ 15/153] sed-0:4.9-1.fc40.x86_64 100% | 23.9 MiB/s | 318.2 KiB | 00m00s [ 16/153] shadow-utils-2:4.15.1-2.fc41. 100% | 42.7 MiB/s | 1.3 MiB | 00m00s [ 17/153] unzip-0:6.0-63.fc40.x86_64 100% | 7.8 MiB/s | 184.5 KiB | 00m00s [ 18/153] tar-2:1.35-3.fc40.x86_64 100% | 26.1 MiB/s | 856.6 KiB | 00m00s [ 19/153] which-0:2.21-41.fc40.x86_64 100% | 4.0 MiB/s | 41.4 KiB | 00m00s [ 20/153] xz-1:5.4.6-3.fc41.x86_64 100% | 34.0 MiB/s | 557.5 KiB | 00m00s [ 21/153] gawk-0:5.3.0-3.fc40.x86_64 100% | 28.2 MiB/s | 1.1 MiB | 00m00s [ 22/153] util-linux-0:2.40-13.fc41.x86 100% | 31.6 MiB/s | 1.2 MiB | 00m00s [ 23/153] filesystem-0:3.18-9.fc41.x86_ 100% | 32.9 MiB/s | 1.1 MiB | 00m00s [ 24/153] bzip2-libs-0:1.0.8-18.fc40.x8 100% | 4.0 MiB/s | 40.9 KiB | 00m00s [ 25/153] ncurses-libs-0:6.4-12.2024012 100% | 18.0 MiB/s | 332.5 KiB | 00m00s [ 26/153] glibc-0:2.39.9000-17.fc41.x86 100% | 56.1 MiB/s | 2.2 MiB | 00m00s [ 27/153] libacl-0:2.3.2-1.fc40.x86_64 100% | 1.8 MiB/s | 24.4 KiB | 00m00s [ 28/153] libattr-0:2.5.2-3.fc40.x86_64 100% | 1.8 MiB/s | 18.0 KiB | 00m00s [ 29/153] libcap-0:2.69-8.fc41.x86_64 100% | 7.6 MiB/s | 85.5 KiB | 00m00s [ 30/153] coreutils-common-0:9.5-1.fc41 100% | 57.3 MiB/s | 2.1 MiB | 00m00s [ 31/153] libselinux-0:3.6-4.fc40.x86_6 100% | 8.5 MiB/s | 87.5 KiB | 00m00s [ 32/153] fedora-repos-0:41-0.1.noarch 100% | 849.4 KiB/s | 9.3 KiB | 00m00s [ 33/153] glibc-common-0:2.39.9000-17.f 100% | 21.6 MiB/s | 398.4 KiB | 00m00s [ 34/153] pcre2-0:10.43-2.fc41.x86_64 100% | 18.2 MiB/s | 242.0 KiB | 00m00s [ 35/153] ed-0:1.20.2-1.fc41.x86_64 100% | 7.3 MiB/s | 81.9 KiB | 00m00s [ 36/153] openssl-libs-1:3.2.1-6.fc41.x 100% | 54.9 MiB/s | 2.3 MiB | 00m00s [ 37/153] ansible-srpm-macros-0:1-15.fc 100% | 2.0 MiB/s | 20.9 KiB | 00m00s [ 38/153] dwz-0:0.15-6.fc40.x86_64 100% | 12.2 MiB/s | 137.8 KiB | 00m00s [ 39/153] efi-srpm-macros-0:5-11.fc40.n 100% | 2.7 MiB/s | 22.3 KiB | 00m00s [ 40/153] file-0:5.45-5.fc41.x86_64 100% | 5.3 MiB/s | 49.1 KiB | 00m00s [ 41/153] fonts-srpm-macros-1:2.0.5-14. 100% | 2.9 MiB/s | 26.5 KiB | 00m00s [ 42/153] forge-srpm-macros-0:0.3.1-1.f 100% | 2.1 MiB/s | 19.4 KiB | 00m00s [ 43/153] fpc-srpm-macros-0:1.3-12.fc40 100% | 979.1 KiB/s | 7.8 KiB | 00m00s [ 44/153] ghc-srpm-macros-0:1.9.1-1.fc4 100% | 996.5 KiB/s | 9.0 KiB | 00m00s [ 45/153] gnat-srpm-macros-0:6-5.fc40.n 100% | 882.3 KiB/s | 8.8 KiB | 00m00s [ 46/153] go-srpm-macros-0:3.6.0-1.fc41 100% | 2.7 MiB/s | 27.9 KiB | 00m00s [ 47/153] kernel-srpm-macros-0:1.0-23.f 100% | 1.1 MiB/s | 9.8 KiB | 00m00s [ 48/153] lua-srpm-macros-0:1-13.fc40.n 100% | 970.1 KiB/s | 8.7 KiB | 00m00s [ 49/153] openblas-srpm-macros-0:2-17.f 100% | 957.5 KiB/s | 7.7 KiB | 00m00s [ 50/153] package-notes-srpm-macros-0:0 100% | 1.2 MiB/s | 9.9 KiB | 00m00s [ 51/153] perl-srpm-macros-0:1-53.fc40. 100% | 931.3 KiB/s | 8.4 KiB | 00m00s [ 52/153] pyproject-srpm-macros-0:1.12. 100% | 1.5 MiB/s | 13.6 KiB | 00m00s [ 53/153] python-srpm-macros-0:3.12-9.f 100% | 2.3 MiB/s | 24.0 KiB | 00m00s [ 54/153] qt5-srpm-macros-0:5.15.13-1.f 100% | 847.8 KiB/s | 8.5 KiB | 00m00s [ 55/153] qt6-srpm-macros-0:6.7.0-1.fc4 100% | 897.2 KiB/s | 9.0 KiB | 00m00s [ 56/153] zig-srpm-macros-0:1-2.fc40.no 100% | 803.9 KiB/s | 8.0 KiB | 00m00s [ 57/153] rust-srpm-macros-0:26.2-1.fc4 100% | 1.0 MiB/s | 12.6 KiB | 00m00s [ 58/153] rpm-0:4.19.1.1-1.fc40.x86_64 100% | 33.0 MiB/s | 540.1 KiB | 00m00s [ 59/153] debugedit-0:5.0-15.fc41.x86_6 100% | 8.5 MiB/s | 78.8 KiB | 00m00s [ 60/153] zip-0:3.0-40.fc40.x86_64 100% | 19.9 MiB/s | 264.8 KiB | 00m00s [ 61/153] elfutils-0:0.191-7.fc41.x86_6 100% | 32.4 MiB/s | 530.0 KiB | 00m00s [ 62/153] elfutils-libelf-0:0.191-7.fc4 100% | 17.0 MiB/s | 208.5 KiB | 00m00s [ 63/153] popt-0:1.19-6.fc40.x86_64 100% | 5.9 MiB/s | 66.7 KiB | 00m00s [ 64/153] readline-0:8.2-8.fc40.x86_64 100% | 9.1 MiB/s | 213.3 KiB | 00m00s [ 65/153] rpm-build-libs-0:4.19.1.1-1.f 100% | 5.2 MiB/s | 95.0 KiB | 00m00s [ 66/153] rpm-libs-0:4.19.1.1-1.fc40.x8 100% | 15.9 MiB/s | 308.9 KiB | 00m00s [ 67/153] libeconf-0:0.6.2-1.fc41.x86_6 100% | 2.4 MiB/s | 31.9 KiB | 00m00s [ 68/153] audit-libs-0:4.0.1-1.fc41.x86 100% | 8.2 MiB/s | 125.6 KiB | 00m00s [ 69/153] zstd-0:1.5.6-1.fc41.x86_64 100% | 27.5 MiB/s | 479.3 KiB | 00m00s [ 70/153] libsemanage-0:3.6-3.fc40.x86_ 100% | 10.3 MiB/s | 116.4 KiB | 00m00s [ 71/153] libxcrypt-0:4.4.36-5.fc40.x86 100% | 10.5 MiB/s | 118.1 KiB | 00m00s [ 72/153] pam-libs-0:1.6.1-1.fc41.x86_6 100% | 5.1 MiB/s | 56.9 KiB | 00m00s [ 73/153] xz-libs-1:5.4.6-3.fc41.x86_64 100% | 9.8 MiB/s | 110.2 KiB | 00m00s [ 74/153] setup-0:2.14.5-2.fc40.noarch 100% | 12.6 MiB/s | 154.7 KiB | 00m00s [ 75/153] mpfr-0:4.2.1-3.fc40.x86_64 100% | 24.3 MiB/s | 349.0 KiB | 00m00s [ 76/153] libcap-ng-0:0.8.5-1.fc41.x86_ 100% | 3.2 MiB/s | 32.3 KiB | 00m00s [ 77/153] libblkid-0:2.40-13.fc41.x86_6 100% | 11.0 MiB/s | 124.3 KiB | 00m00s [ 78/153] libfdisk-0:2.40-13.fc41.x86_6 100% | 14.1 MiB/s | 159.3 KiB | 00m00s [ 79/153] libsmartcols-0:2.40-13.fc41.x 100% | 8.1 MiB/s | 83.3 KiB | 00m00s [ 80/153] libmount-0:2.40-13.fc41.x86_6 100% | 11.6 MiB/s | 154.7 KiB | 00m00s [ 81/153] libutempter-0:1.2.1-13.fc40.x 100% | 2.9 MiB/s | 26.4 KiB | 00m00s [ 82/153] libuuid-0:2.40-13.fc41.x86_64 100% | 3.5 MiB/s | 28.4 KiB | 00m00s [ 83/153] zlib-ng-compat-0:2.1.6-2.fc40 100% | 6.8 MiB/s | 77.1 KiB | 00m00s [ 84/153] systemd-libs-0:255.5-1.fc41.x 100% | 31.3 MiB/s | 706.1 KiB | 00m00s [ 85/153] util-linux-core-0:2.40-13.fc4 100% | 22.8 MiB/s | 536.0 KiB | 00m00s [ 86/153] basesystem-0:11-20.fc40.noarc 100% | 599.0 KiB/s | 7.2 KiB | 00m00s [ 87/153] libgcc-0:14.0.1-0.16.fc41.x86 100% | 10.3 MiB/s | 127.1 KiB | 00m00s [ 88/153] ncurses-base-0:6.4-12.2024012 100% | 7.9 MiB/s | 88.9 KiB | 00m00s [ 89/153] glibc-gconv-extra-0:2.39.9000 100% | 54.0 MiB/s | 1.7 MiB | 00m00s [ 90/153] libsepol-0:3.6-3.fc40.x86_64 100% | 17.5 MiB/s | 340.1 KiB | 00m00s [ 91/153] crypto-policies-0:20240320-1. 100% | 6.8 MiB/s | 90.8 KiB | 00m00s [ 92/153] ca-certificates-0:2023.2.62_v 100% | 40.1 MiB/s | 862.1 KiB | 00m00s [ 93/153] fedora-gpg-keys-0:41-0.1.noar 100% | 9.9 MiB/s | 131.8 KiB | 00m00s [ 94/153] fedora-repos-rawhide-0:41-0.1 100% | 1.1 MiB/s | 8.9 KiB | 00m00s [ 95/153] pcre2-syntax-0:10.43-2.fc41.n 100% | 14.5 MiB/s | 148.9 KiB | 00m00s [ 96/153] curl-0:8.7.1-1.fc41.x86_64 100% | 19.9 MiB/s | 305.9 KiB | 00m00s [ 97/153] libarchive-0:3.7.4-1.fc41.x86 100% | 24.9 MiB/s | 407.6 KiB | 00m00s [ 98/153] file-libs-0:5.45-5.fc41.x86_6 100% | 27.6 MiB/s | 763.0 KiB | 00m00s [ 99/153] elfutils-libs-0:0.191-7.fc41. 100% | 21.0 MiB/s | 258.1 KiB | 00m00s [100/153] elfutils-debuginfod-client-0: 100% | 4.1 MiB/s | 38.2 KiB | 00m00s [101/153] libzstd-0:1.5.6-1.fc41.x86_64 100% | 17.7 MiB/s | 308.9 KiB | 00m00s [102/153] libgomp-0:14.0.1-0.16.fc41.x8 100% | 20.0 MiB/s | 347.6 KiB | 00m00s [103/153] libstdc++-0:14.0.1-0.16.fc41. 100% | 30.8 MiB/s | 882.3 KiB | 00m00s [104/153] lua-libs-0:5.4.6-5.fc40.x86_6 100% | 12.9 MiB/s | 131.9 KiB | 00m00s [105/153] lz4-libs-0:1.9.4-6.fc40.x86_6 100% | 6.0 MiB/s | 67.2 KiB | 00m00s [106/153] rpm-sequoia-0:1.6.0-2.fc40.x8 100% | 33.1 MiB/s | 847.5 KiB | 00m00s [107/153] sqlite-libs-0:3.45.3-1.fc41.x 100% | 28.7 MiB/s | 705.4 KiB | 00m00s [108/153] elfutils-default-yama-scope-0 100% | 1.4 MiB/s | 13.3 KiB | 00m00s [109/153] libxml2-0:2.12.6-1.fc41.x86_6 100% | 37.2 MiB/s | 686.3 KiB | 00m00s [110/153] authselect-libs-0:1.5.0-5.fc4 100% | 17.8 MiB/s | 218.6 KiB | 00m00s [111/153] gdbm-libs-1:1.23-6.fc40.x86_6 100% | 5.0 MiB/s | 56.2 KiB | 00m00s [112/153] authselect-0:1.5.0-5.fc41.x86 100% | 9.5 MiB/s | 146.2 KiB | 00m00s [113/153] pam-0:1.6.1-1.fc41.x86_64 100% | 31.8 MiB/s | 553.5 KiB | 00m00s [114/153] libnsl2-0:2.0.1-1.fc40.x86_64 100% | 3.2 MiB/s | 29.6 KiB | 00m00s [115/153] libtirpc-0:1.3.4-1.rc3.fc41.x 100% | 10.0 MiB/s | 92.5 KiB | 00m00s [116/153] libpwquality-0:1.4.5-9.fc40.x 100% | 10.6 MiB/s | 119.7 KiB | 00m00s [117/153] cracklib-0:2.9.11-5.fc40.x86_ 100% | 9.0 MiB/s | 92.5 KiB | 00m00s [118/153] libcom_err-0:1.47.0-5.fc40.x8 100% | 3.1 MiB/s | 25.4 KiB | 00m00s [119/153] krb5-libs-0:1.21.2-5.fc40.x86 100% | 41.0 MiB/s | 756.1 KiB | 00m00s [120/153] keyutils-libs-0:1.6.3-3.fc40. 100% | 2.8 MiB/s | 31.5 KiB | 00m00s [121/153] libverto-0:0.3.2-8.fc40.x86_6 100% | 2.0 MiB/s | 20.5 KiB | 00m00s [122/153] alternatives-0:1.26-3.fc40.x8 100% | 1.9 MiB/s | 39.9 KiB | 00m00s [123/153] binutils-gold-0:2.42.50-6.fc4 100% | 30.6 MiB/s | 783.2 KiB | 00m00s [124/153] jansson-0:2.13.1-9.fc40.x86_6 100% | 3.6 MiB/s | 44.2 KiB | 00m00s [125/153] pkgconf-pkg-config-0:2.1.0-1. 100% | 1.1 MiB/s | 9.7 KiB | 00m00s [126/153] pkgconf-0:2.1.0-1.fc40.x86_64 100% | 4.7 MiB/s | 43.5 KiB | 00m00s [127/153] pkgconf-m4-0:2.1.0-1.fc40.noa 100% | 1.7 MiB/s | 13.9 KiB | 00m00s [128/153] libpkgconf-0:2.1.0-1.fc40.x86 100% | 1.8 MiB/s | 37.8 KiB | 00m00s [129/153] gdbm-1:1.23-6.fc40.x86_64 100% | 12.4 MiB/s | 152.5 KiB | 00m00s [130/153] binutils-0:2.42.50-6.fc41.x86 100% | 71.3 MiB/s | 6.3 MiB | 00m00s [131/153] ocaml-srpm-macros-0:10-1.fc41 100% | 216.7 KiB/s | 9.5 KiB | 00m00s [132/153] p11-kit-0:0.25.3-4.fc40.x86_6 100% | 34.2 MiB/s | 489.8 KiB | 00m00s [133/153] libffi-0:3.4.6-1.fc41.x86_64 100% | 4.3 MiB/s | 40.0 KiB | 00m00s [134/153] libtasn1-0:4.19.0-6.fc40.x86_ 100% | 8.0 MiB/s | 73.7 KiB | 00m00s [135/153] p11-kit-trust-0:0.25.3-4.fc40 100% | 12.8 MiB/s | 131.5 KiB | 00m00s [136/153] fedora-release-0:41-0.9.noarc 100% | 1.3 MiB/s | 11.0 KiB | 00m00s [137/153] xxhash-libs-0:0.8.2-2.fc40.x8 100% | 2.8 MiB/s | 36.9 KiB | 00m00s [138/153] gmp-1:6.3.0-1.fc41.x86_64 100% | 17.2 MiB/s | 316.8 KiB | 00m00s [139/153] fedora-release-identity-basic 100% | 1.2 MiB/s | 11.8 KiB | 00m00s [140/153] libcurl-0:8.7.1-1.fc41.x86_64 100% | 20.2 MiB/s | 352.2 KiB | 00m00s [141/153] libbrotli-0:1.1.0-3.fc40.x86_ 100% | 17.4 MiB/s | 338.4 KiB | 00m00s [142/153] libidn2-0:2.3.7-1.fc40.x86_64 100% | 10.5 MiB/s | 118.7 KiB | 00m00s [143/153] libnghttp2-0:1.61.0-1.fc41.x8 100% | 6.8 MiB/s | 76.3 KiB | 00m00s [144/153] libpsl-0:0.21.5-3.fc40.x86_64 100% | 6.2 MiB/s | 63.9 KiB | 00m00s [145/153] libssh-0:0.10.6-6.fc41.x86_64 100% | 15.9 MiB/s | 211.5 KiB | 00m00s [146/153] gdb-minimal-0:14.2-6.fc41.x86 100% | 54.9 MiB/s | 4.3 MiB | 00m00s [147/153] openldap-0:2.6.7-1.fc40.x86_6 100% | 19.1 MiB/s | 254.3 KiB | 00m00s [148/153] libunistring-0:1.1-7.fc41.x86 100% | 33.3 MiB/s | 545.4 KiB | 00m00s [149/153] publicsuffix-list-dafsa-0:202 100% | 5.2 MiB/s | 58.1 KiB | 00m00s [150/153] libssh-config-0:0.10.6-6.fc41 100% | 913.7 KiB/s | 9.1 KiB | 00m00s [151/153] libtool-ltdl-0:2.4.7-10.fc40. 100% | 3.9 MiB/s | 36.2 KiB | 00m00s [152/153] cyrus-sasl-lib-0:2.1.28-19.fc 100% | 36.7 MiB/s | 789.3 KiB | 00m00s [153/153] libevent-0:2.1.12-12.fc40.x86 100% | 11.4 MiB/s | 257.2 KiB | 00m00s -------------------------------------------------------------------------------- [153/153] Total 100% | 56.0 MiB/s | 52.8 MiB | 00m01s Running transaction Importing PGP key 0xE99D6AD1: Userid : "Fedora (41) " Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary The key was successfully imported. Importing PGP key 0xE99D6AD1: Userid : "Fedora (41) " Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary The key was successfully imported. Importing PGP key 0xA15B79CC: Userid : "Fedora (40) " Fingerprint: 115DF9AEF857853EE8445D0A0727707EA15B79CC From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-40-primary The key was successfully imported. [ 1/155] Verify package files 100% | 588.0 B/s | 153.0 B | 00m00s >>> Running pre-transaction scriptlet: filesystem-0:3.18-9.fc41.x86_64 >>> Stop pre-transaction scriptlet: filesystem-0:3.18-9.fc41.x86_64 [ 2/155] Prepare transaction 100% | 1.9 KiB/s | 153.0 B | 00m00s [ 3/155] Installing libgcc-0:14.0.1-0. 100% | 133.0 MiB/s | 272.3 KiB | 00m00s >>> Running post-install scriptlet: libgcc-0:14.0.1-0.16.fc41.x86_64 >>> Stop post-install scriptlet: libgcc-0:14.0.1-0.16.fc41.x86_64 [ 4/155] Installing crypto-policies-0: 100% | 14.3 MiB/s | 146.2 KiB | 00m00s >>> Running post-install scriptlet: crypto-policies-0:20240320-1.git58e3d95.fc41 >>> Stop post-install scriptlet: crypto-policies-0:20240320-1.git58e3d95.fc41.no [ 5/155] Installing fedora-release-ide 100% | 0.0 B/s | 952.0 B | 00m00s [ 6/155] Installing fedora-repos-rawhi 100% | 2.4 MiB/s | 2.4 KiB | 00m00s [ 7/155] Installing fedora-gpg-keys-0: 100% | 20.8 MiB/s | 170.1 KiB | 00m00s [ 8/155] Installing fedora-repos-0:41- 100% | 5.6 MiB/s | 5.7 KiB | 00m00s [ 9/155] Installing fedora-release-com 100% | 11.4 MiB/s | 23.3 KiB | 00m00s [ 10/155] Installing fedora-release-0:4 100% | 0.0 B/s | 124.0 B | 00m00s [ 11/155] Installing setup-0:2.14.5-2.f 100% | 47.3 MiB/s | 725.8 KiB | 00m00s >>> Running post-install scriptlet: setup-0:2.14.5-2.fc40.noarch >>> Stop post-install scriptlet: setup-0:2.14.5-2.fc40.noarch [ 12/155] Installing filesystem-0:3.18- 100% | 1.6 MiB/s | 212.5 KiB | 00m00s [ 13/155] Installing basesystem-0:11-20 100% | 0.0 B/s | 124.0 B | 00m00s [ 14/155] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 15/155] Installing publicsuffix-list- 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 16/155] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.2 KiB | 00m00s [ 17/155] Installing pkgconf-m4-0:2.1.0 100% | 0.0 B/s | 14.3 KiB | 00m00s [ 18/155] Installing pcre2-syntax-0:10. 100% | 122.8 MiB/s | 251.5 KiB | 00m00s [ 19/155] Installing ncurses-base-0:6.4 100% | 34.3 MiB/s | 351.6 KiB | 00m00s [ 20/155] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 21/155] Installing ncurses-libs-0:6.4 100% | 135.3 MiB/s | 969.7 KiB | 00m00s >>> Running pre-install scriptlet: glibc-0:2.39.9000-17.fc41.x86_64 >>> Stop pre-install scriptlet: glibc-0:2.39.9000-17.fc41.x86_64 [ 22/155] Installing glibc-0:2.39.9000- 100% | 124.4 MiB/s | 6.7 MiB | 00m00s >>> Running post-install scriptlet: glibc-0:2.39.9000-17.fc41.x86_64 >>> Stop post-install scriptlet: glibc-0:2.39.9000-17.fc41.x86_64 [ 23/155] Installing bash-0:5.2.26-3.fc 100% | 247.3 MiB/s | 8.2 MiB | 00m00s >>> Running post-install scriptlet: bash-0:5.2.26-3.fc40.x86_64 >>> Stop post-install scriptlet: bash-0:5.2.26-3.fc40.x86_64 [ 24/155] Installing glibc-common-0:2.3 100% | 114.2 MiB/s | 1.0 MiB | 00m00s [ 25/155] Installing glibc-gconv-extra- 100% | 119.2 MiB/s | 7.9 MiB | 00m00s >>> Running post-install scriptlet: glibc-gconv-extra-0:2.39.9000-17.fc41.x86_64 >>> Stop post-install scriptlet: glibc-gconv-extra-0:2.39.9000-17.fc41.x86_64 [ 26/155] Installing zlib-ng-compat-0:2 100% | 131.7 MiB/s | 134.8 KiB | 00m00s [ 27/155] Installing xz-libs-1:5.4.6-3. 100% | 206.0 MiB/s | 210.9 KiB | 00m00s [ 28/155] Installing bzip2-libs-0:1.0.8 100% | 79.9 MiB/s | 81.8 KiB | 00m00s [ 29/155] Installing popt-0:1.19-6.fc40 100% | 35.0 MiB/s | 143.5 KiB | 00m00s [ 30/155] Installing readline-0:8.2-8.f 100% | 160.0 MiB/s | 491.4 KiB | 00m00s [ 31/155] Installing libuuid-0:2.40-13. 100% | 37.6 MiB/s | 38.5 KiB | 00m00s [ 32/155] Installing libstdc++-0:14.0.1 100% | 251.1 MiB/s | 2.8 MiB | 00m00s [ 33/155] Installing libzstd-0:1.5.6-1. 100% | 256.9 MiB/s | 789.2 KiB | 00m00s [ 34/155] Installing elfutils-libelf-0: 100% | 292.3 MiB/s | 1.2 MiB | 00m00s [ 35/155] Installing libblkid-0:2.40-13 100% | 128.7 MiB/s | 263.7 KiB | 00m00s [ 36/155] Installing libattr-0:2.5.2-3. 100% | 28.8 MiB/s | 29.5 KiB | 00m00s [ 37/155] Installing libacl-0:2.3.2-1.f 100% | 39.9 MiB/s | 40.8 KiB | 00m00s [ 38/155] Installing libxcrypt-0:4.4.36 100% | 129.7 MiB/s | 265.5 KiB | 00m00s [ 39/155] Installing gmp-1:6.3.0-1.fc41 100% | 196.7 MiB/s | 805.6 KiB | 00m00s [ 40/155] Installing libeconf-0:0.6.2-1 100% | 58.3 MiB/s | 59.6 KiB | 00m00s [ 41/155] Installing lz4-libs-0:1.9.4-6 100% | 127.4 MiB/s | 130.5 KiB | 00m00s [ 42/155] Installing gdbm-libs-1:1.23-6 100% | 120.7 MiB/s | 123.6 KiB | 00m00s [ 43/155] Installing mpfr-0:4.2.1-3.fc4 100% | 203.5 MiB/s | 833.5 KiB | 00m00s [ 44/155] Installing gawk-0:5.3.0-3.fc4 100% | 157.1 MiB/s | 1.7 MiB | 00m00s [ 45/155] Installing dwz-0:0.15-6.fc40. 100% | 142.7 MiB/s | 292.3 KiB | 00m00s [ 46/155] Installing unzip-0:6.0-63.fc4 100% | 125.8 MiB/s | 386.3 KiB | 00m00s [ 47/155] Installing file-libs-0:5.45-5 100% | 431.7 MiB/s | 9.9 MiB | 00m00s [ 48/155] Installing file-0:5.45-5.fc41 100% | 102.6 MiB/s | 105.0 KiB | 00m00s [ 49/155] Installing pcre2-0:10.43-2.fc 100% | 213.2 MiB/s | 654.9 KiB | 00m00s [ 50/155] Installing grep-0:3.11-8.fc41 100% | 111.0 MiB/s | 1.0 MiB | 00m00s [ 51/155] Installing xz-1:5.4.6-3.fc41. 100% | 133.5 MiB/s | 2.0 MiB | 00m00s [ 52/155] Installing libcap-ng-0:0.8.5- 100% | 69.3 MiB/s | 71.0 KiB | 00m00s [ 53/155] Installing audit-libs-0:4.0.1 100% | 160.9 MiB/s | 329.5 KiB | 00m00s [ 54/155] Installing pam-libs-0:1.6.1-1 100% | 67.1 MiB/s | 137.4 KiB | 00m00s [ 55/155] Installing libcap-0:2.69-8.fc 100% | 73.1 MiB/s | 224.7 KiB | 00m00s [ 56/155] Installing systemd-libs-0:255 100% | 240.8 MiB/s | 1.9 MiB | 00m00s [ 57/155] Installing libsmartcols-0:2.4 100% | 177.3 MiB/s | 181.5 KiB | 00m00s [ 58/155] Installing libsepol-0:3.6-3.f 100% | 261.4 MiB/s | 803.0 KiB | 00m00s [ 59/155] Installing libselinux-0:3.6-4 100% | 85.1 MiB/s | 174.3 KiB | 00m00s [ 60/155] Installing sed-0:4.9-1.fc40.x 100% | 106.2 MiB/s | 869.7 KiB | 00m00s [ 61/155] Installing findutils-1:4.9.0- 100% | 162.9 MiB/s | 1.5 MiB | 00m00s [ 62/155] Installing libmount-0:2.40-13 100% | 172.3 MiB/s | 352.9 KiB | 00m00s [ 63/155] Installing lua-libs-0:5.4.6-5 100% | 137.8 MiB/s | 282.3 KiB | 00m00s [ 64/155] Installing libcom_err-0:1.47. 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 65/155] Installing alternatives-0:1.2 100% | 31.2 MiB/s | 64.0 KiB | 00m00s [ 66/155] Installing jansson-0:2.13.1-9 100% | 87.6 MiB/s | 89.7 KiB | 00m00s [ 67/155] Installing libtasn1-0:4.19.0- 100% | 173.3 MiB/s | 177.5 KiB | 00m00s [ 68/155] Installing libunistring-0:1.1 100% | 247.2 MiB/s | 1.7 MiB | 00m00s [ 69/155] Installing libidn2-0:2.3.7-1. 100% | 81.8 MiB/s | 335.0 KiB | 00m00s [ 70/155] Installing libpsl-0:0.21.5-3. 100% | 79.7 MiB/s | 81.6 KiB | 00m00s [ 71/155] Installing util-linux-core-0: 100% | 134.9 MiB/s | 1.5 MiB | 00m00s [ 72/155] Installing tar-2:1.35-3.fc40. 100% | 210.8 MiB/s | 3.0 MiB | 00m00s [ 73/155] Installing libsemanage-0:3.6- 100% | 96.1 MiB/s | 295.3 KiB | 00m00s [ 74/155] Installing shadow-utils-2:4.1 100% | 71.9 MiB/s | 4.2 MiB | 00m00s >>> Running pre-install scriptlet: libutempter-0:1.2.1-13.fc40.x86_64 >>> Stop pre-install scriptlet: libutempter-0:1.2.1-13.fc40.x86_64 [ 75/155] Installing libutempter-0:1.2. 100% | 29.2 MiB/s | 59.7 KiB | 00m00s [ 76/155] Installing zip-0:3.0-40.fc40. 100% | 138.1 MiB/s | 707.1 KiB | 00m00s [ 77/155] Installing gdbm-1:1.23-6.fc40 100% | 113.7 MiB/s | 465.8 KiB | 00m00s [ 78/155] Installing cyrus-sasl-lib-0:2 100% | 228.3 MiB/s | 2.3 MiB | 00m00s [ 79/155] Installing zstd-0:1.5.6-1.fc4 100% | 279.3 MiB/s | 1.7 MiB | 00m00s [ 80/155] Installing libfdisk-0:2.40-13 100% | 177.7 MiB/s | 363.9 KiB | 00m00s [ 81/155] Installing bzip2-0:1.0.8-18.f 100% | 47.0 MiB/s | 96.2 KiB | 00m00s [ 82/155] Installing libxml2-0:2.12.6-1 100% | 242.9 MiB/s | 1.7 MiB | 00m00s [ 83/155] Installing sqlite-libs-0:3.45 100% | 234.2 MiB/s | 1.4 MiB | 00m00s [ 84/155] Installing ed-0:1.20.2-1.fc41 100% | 72.8 MiB/s | 149.2 KiB | 00m00s [ 85/155] Installing patch-0:2.7.6-24.f 100% | 129.0 MiB/s | 264.3 KiB | 00m00s [ 86/155] Installing elfutils-default-y 100% | 157.2 KiB/s | 2.0 KiB | 00m00s >>> Running post-install scriptlet: elfutils-default-yama-scope-0:0.191-7.fc41.n >>> Stop post-install scriptlet: elfutils-default-yama-scope-0:0.191-7.fc41.noar [ 87/155] Installing cpio-0:2.15-1.fc40 100% | 137.5 MiB/s | 1.1 MiB | 00m00s [ 88/155] Installing diffutils-0:3.10-5 100% | 158.6 MiB/s | 1.6 MiB | 00m00s [ 89/155] Installing libgomp-0:14.0.1-0 100% | 169.5 MiB/s | 520.7 KiB | 00m00s [ 90/155] Installing keyutils-libs-0:1. 100% | 54.5 MiB/s | 55.8 KiB | 00m00s [ 91/155] Installing libverto-0:0.3.2-8 100% | 30.5 MiB/s | 31.3 KiB | 00m00s [ 92/155] Installing libpkgconf-0:2.1.0 100% | 73.6 MiB/s | 75.3 KiB | 00m00s [ 93/155] Installing pkgconf-0:2.1.0-1. 100% | 41.5 MiB/s | 84.9 KiB | 00m00s [ 94/155] Installing pkgconf-pkg-config 100% | 1.7 MiB/s | 1.8 KiB | 00m00s [ 95/155] Installing libffi-0:3.4.6-1.f 100% | 81.8 MiB/s | 83.8 KiB | 00m00s [ 96/155] Installing p11-kit-0:0.25.3-4 100% | 146.3 MiB/s | 2.2 MiB | 00m00s [ 97/155] Installing p11-kit-trust-0:0. 100% | 22.6 MiB/s | 393.1 KiB | 00m00s >>> Running post-install scriptlet: p11-kit-trust-0:0.25.3-4.fc40.x86_64 >>> Stop post-install scriptlet: p11-kit-trust-0:0.25.3-4.fc40.x86_64 [ 98/155] Installing xxhash-libs-0:0.8. 100% | 43.9 MiB/s | 89.9 KiB | 00m00s [ 99/155] Installing libbrotli-0:1.1.0- 100% | 203.1 MiB/s | 831.8 KiB | 00m00s [100/155] Installing libnghttp2-0:1.61. 100% | 163.3 MiB/s | 167.2 KiB | 00m00s [101/155] Installing libtool-ltdl-0:2.4 100% | 65.7 MiB/s | 67.3 KiB | 00m00s [102/155] Installing rust-srpm-macros-0 100% | 5.4 MiB/s | 5.6 KiB | 00m00s [103/155] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 732.0 B | 00m00s [104/155] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 768.0 B | 00m00s [105/155] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [106/155] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [107/155] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [108/155] Installing kernel-srpm-macros 100% | 2.3 MiB/s | 2.3 KiB | 00m00s [109/155] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [110/155] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [111/155] Installing fpc-srpm-macros-0: 100% | 0.0 B/s | 420.0 B | 00m00s [112/155] Installing ansible-srpm-macro 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [113/155] Installing coreutils-common-0 100% | 238.1 MiB/s | 11.2 MiB | 00m00s [114/155] Installing openssl-libs-1:3.2 100% | 299.8 MiB/s | 7.8 MiB | 00m00s [115/155] Installing coreutils-0:9.5-1. 100% | 139.7 MiB/s | 5.6 MiB | 00m00s >>> Running pre-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40.n >>> Stop pre-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40.noar [116/155] Installing ca-certificates-0: 100% | 2.5 MiB/s | 2.3 MiB | 00m01s >>> Running post-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40. >>> Stop post-install scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40.noa [117/155] Installing krb5-libs-0:1.21.2 100% | 176.5 MiB/s | 2.3 MiB | 00m00s [118/155] Installing libtirpc-0:1.3.4-1 100% | 99.9 MiB/s | 204.6 KiB | 00m00s [119/155] Installing gzip-0:1.13-1.fc40 100% | 95.4 MiB/s | 390.6 KiB | 00m00s [120/155] Installing authselect-libs-0: 100% | 90.4 MiB/s | 833.2 KiB | 00m00s [121/155] Installing libarchive-0:3.7.4 100% | 179.0 MiB/s | 916.6 KiB | 00m00s [122/155] Installing authselect-0:1.5.0 100% | 51.4 MiB/s | 157.9 KiB | 00m00s [123/155] Installing cracklib-0:2.9.11- 100% | 34.9 MiB/s | 250.3 KiB | 00m00s [124/155] Installing libpwquality-0:1.4 100% | 52.5 MiB/s | 430.1 KiB | 00m00s [125/155] Installing libnsl2-0:2.0.1-1. 100% | 28.8 MiB/s | 59.0 KiB | 00m00s [126/155] Installing pam-0:1.6.1-1.fc41 100% | 75.6 MiB/s | 1.8 MiB | 00m00s [127/155] Installing libssh-0:0.10.6-6. 100% | 167.8 MiB/s | 515.4 KiB | 00m00s [128/155] Installing rpm-sequoia-0:1.6. 100% | 247.7 MiB/s | 2.2 MiB | 00m00s [129/155] Installing rpm-libs-0:4.19.1. 100% | 173.7 MiB/s | 711.4 KiB | 00m00s [130/155] Installing libevent-0:2.1.12- 100% | 175.7 MiB/s | 899.4 KiB | 00m00s [131/155] Installing openldap-0:2.6.7-1 100% | 156.0 MiB/s | 638.9 KiB | 00m00s [132/155] Installing libcurl-0:8.7.1-1. 100% | 194.0 MiB/s | 794.6 KiB | 00m00s [133/155] Installing elfutils-libs-0:0. 100% | 158.2 MiB/s | 648.0 KiB | 00m00s [134/155] Installing elfutils-debuginfo 100% | 32.7 MiB/s | 66.9 KiB | 00m00s [135/155] Installing binutils-gold-0:2. 100% | 88.3 MiB/s | 2.0 MiB | 00m00s >>> Running post-install scriptlet: binutils-gold-0:2.42.50-6.fc41.x86_64 >>> Stop post-install scriptlet: binutils-gold-0:2.42.50-6.fc41.x86_64 [136/155] Installing binutils-0:2.42.50 100% | 250.0 MiB/s | 27.2 MiB | 00m00s >>> Running post-install scriptlet: binutils-0:2.42.50-6.fc41.x86_64 >>> Stop post-install scriptlet: binutils-0:2.42.50-6.fc41.x86_64 [137/155] Installing elfutils-0:0.191-7 100% | 212.7 MiB/s | 2.6 MiB | 00m00s [138/155] Installing gdb-minimal-0:14.2 100% | 287.7 MiB/s | 12.7 MiB | 00m00s [139/155] Installing debugedit-0:5.0-15 100% | 65.7 MiB/s | 201.7 KiB | 00m00s [140/155] Installing rpm-build-libs-0:4 100% | 97.3 MiB/s | 199.2 KiB | 00m00s [141/155] Installing curl-0:8.7.1-1.fc4 100% | 32.3 MiB/s | 760.6 KiB | 00m00s >>> Running pre-install scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 >>> Stop pre-install scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 [142/155] Installing rpm-0:4.19.1.1-1.f 100% | 82.6 MiB/s | 2.4 MiB | 00m00s [143/155] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.2 KiB | 00m00s [144/155] Installing lua-srpm-macros-0: 100% | 1.9 MiB/s | 1.9 KiB | 00m00s [145/155] Installing zig-srpm-macros-0: 100% | 0.0 B/s | 1.7 KiB | 00m00s [146/155] Installing fonts-srpm-macros- 100% | 55.1 MiB/s | 56.5 KiB | 00m00s [147/155] Installing forge-srpm-macros- 100% | 39.4 MiB/s | 40.3 KiB | 00m00s [148/155] Installing go-srpm-macros-0:3 100% | 60.5 MiB/s | 62.0 KiB | 00m00s [149/155] Installing python-srpm-macros 100% | 50.5 MiB/s | 51.7 KiB | 00m00s [150/155] Installing redhat-rpm-config- 100% | 61.8 MiB/s | 189.7 KiB | 00m00s [151/155] Installing rpm-build-0:4.19.1 100% | 44.4 MiB/s | 182.0 KiB | 00m00s [152/155] Installing pyproject-srpm-mac 100% | 1.0 MiB/s | 2.1 KiB | 00m00s [153/155] Installing util-linux-0:2.40- 100% | 81.3 MiB/s | 3.7 MiB | 00m00s >>> Running post-install scriptlet: util-linux-0:2.40-13.fc41.x86_64 >>> Stop post-install scriptlet: util-linux-0:2.40-13.fc41.x86_64 [154/155] Installing which-0:2.21-41.fc 100% | 40.3 MiB/s | 82.4 KiB | 00m00s [155/155] Installing info-0:7.1-2.fc40. 100% | 269.1 KiB/s | 358.2 KiB | 00m01s >>> Running post-transaction scriptlet: filesystem-0:3.18-9.fc41.x86_64 >>> Stop post-transaction scriptlet: filesystem-0:3.18-9.fc41.x86_64 >>> Running post-transaction scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.f >>> Stop post-transaction scriptlet: ca-certificates-0:2023.2.62_v7.0.401-6.fc40 >>> Running post-transaction scriptlet: authselect-libs-0:1.5.0-5.fc41.x86_64 >>> Stop post-transaction scriptlet: authselect-libs-0:1.5.0-5.fc41.x86_64 >>> Running post-transaction scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 >>> Stop post-transaction scriptlet: rpm-0:4.19.1.1-1.fc40.x86_64 >>> Running trigger-install scriptlet: glibc-common-0:2.39.9000-17.fc41.x86_64 >>> Stop trigger-install scriptlet: glibc-common-0:2.39.9000-17.fc41.x86_64 >>> Running trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 >>> Stop trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 Warning: skipped PGP checks for 1 package(s). Finish: installing minimal buildroot with dnf5 Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: alternatives-1.26-3.fc40.x86_64 ansible-srpm-macros-1-15.fc41.noarch audit-libs-4.0.1-1.fc41.x86_64 authselect-1.5.0-5.fc41.x86_64 authselect-libs-1.5.0-5.fc41.x86_64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.x86_64 binutils-2.42.50-6.fc41.x86_64 binutils-gold-2.42.50-6.fc41.x86_64 bzip2-1.0.8-18.fc40.x86_64 bzip2-libs-1.0.8-18.fc40.x86_64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.5-1.fc41.x86_64 coreutils-common-9.5-1.fc41.x86_64 cpio-2.15-1.fc40.x86_64 cracklib-2.9.11-5.fc40.x86_64 crypto-policies-20240320-1.git58e3d95.fc41.noarch curl-8.7.1-1.fc41.x86_64 cyrus-sasl-lib-2.1.28-19.fc40.x86_64 debugedit-5.0-15.fc41.x86_64 diffutils-3.10-5.fc40.x86_64 dwz-0.15-6.fc40.x86_64 ed-1.20.2-1.fc41.x86_64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.191-7.fc41.x86_64 elfutils-debuginfod-client-0.191-7.fc41.x86_64 elfutils-default-yama-scope-0.191-7.fc41.noarch elfutils-libelf-0.191-7.fc41.x86_64 elfutils-libs-0.191-7.fc41.x86_64 fedora-gpg-keys-41-0.1.noarch fedora-release-41-0.9.noarch fedora-release-common-41-0.9.noarch fedora-release-identity-basic-41-0.9.noarch fedora-repos-41-0.1.noarch fedora-repos-rawhide-41-0.1.noarch file-5.45-5.fc41.x86_64 file-libs-5.45-5.fc41.x86_64 filesystem-3.18-9.fc41.x86_64 findutils-4.9.0-8.fc40.x86_64 fonts-srpm-macros-2.0.5-14.fc40.noarch forge-srpm-macros-0.3.1-1.fc41.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.x86_64 gdb-minimal-14.2-6.fc41.x86_64 gdbm-1.23-6.fc40.x86_64 gdbm-libs-1.23-6.fc40.x86_64 ghc-srpm-macros-1.9.1-1.fc41.noarch glibc-2.39.9000-17.fc41.x86_64 glibc-common-2.39.9000-17.fc41.x86_64 glibc-gconv-extra-2.39.9000-17.fc41.x86_64 glibc-minimal-langpack-2.39.9000-17.fc41.x86_64 gmp-6.3.0-1.fc41.x86_64 gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.6.0-1.fc41.noarch gpg-pubkey-a15b79cc-63d04c2c gpg-pubkey-e99d6ad1-64d2612c grep-3.11-8.fc41.x86_64 gzip-1.13-1.fc40.x86_64 info-7.1-2.fc40.x86_64 jansson-2.13.1-9.fc40.x86_64 kernel-srpm-macros-1.0-23.fc41.noarch keyutils-libs-1.6.3-3.fc40.x86_64 krb5-libs-1.21.2-5.fc40.x86_64 libacl-2.3.2-1.fc40.x86_64 libarchive-3.7.4-1.fc41.x86_64 libattr-2.5.2-3.fc40.x86_64 libblkid-2.40-13.fc41.x86_64 libbrotli-1.1.0-3.fc40.x86_64 libcap-2.69-8.fc41.x86_64 libcap-ng-0.8.5-1.fc41.x86_64 libcom_err-1.47.0-5.fc40.x86_64 libcurl-8.7.1-1.fc41.x86_64 libeconf-0.6.2-1.fc41.x86_64 libevent-2.1.12-12.fc40.x86_64 libfdisk-2.40-13.fc41.x86_64 libffi-3.4.6-1.fc41.x86_64 libgcc-14.0.1-0.16.fc41.x86_64 libgomp-14.0.1-0.16.fc41.x86_64 libidn2-2.3.7-1.fc40.x86_64 libmount-2.40-13.fc41.x86_64 libnghttp2-1.61.0-1.fc41.x86_64 libnsl2-2.0.1-1.fc40.x86_64 libpkgconf-2.1.0-1.fc40.x86_64 libpsl-0.21.5-3.fc40.x86_64 libpwquality-1.4.5-9.fc40.x86_64 libselinux-3.6-4.fc40.x86_64 libsemanage-3.6-3.fc40.x86_64 libsepol-3.6-3.fc40.x86_64 libsmartcols-2.40-13.fc41.x86_64 libssh-0.10.6-6.fc41.x86_64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.0.1-0.16.fc41.x86_64 libtasn1-4.19.0-6.fc40.x86_64 libtirpc-1.3.4-1.rc3.fc41.x86_64 libtool-ltdl-2.4.7-10.fc40.x86_64 libunistring-1.1-7.fc41.x86_64 libutempter-1.2.1-13.fc40.x86_64 libuuid-2.40-13.fc41.x86_64 libverto-0.3.2-8.fc40.x86_64 libxcrypt-4.4.36-5.fc40.x86_64 libxml2-2.12.6-1.fc41.x86_64 libzstd-1.5.6-1.fc41.x86_64 lua-libs-5.4.6-5.fc40.x86_64 lua-srpm-macros-1-13.fc40.noarch lz4-libs-1.9.4-6.fc40.x86_64 mpfr-4.2.1-3.fc40.x86_64 ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.x86_64 ocaml-srpm-macros-10-1.fc41.noarch openblas-srpm-macros-2-17.fc41.noarch openldap-2.6.7-1.fc40.x86_64 openssl-libs-3.2.1-6.fc41.x86_64 p11-kit-0.25.3-4.fc40.x86_64 p11-kit-trust-0.25.3-4.fc40.x86_64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-1.fc41.x86_64 pam-libs-1.6.1-1.fc41.x86_64 patch-2.7.6-24.fc40.x86_64 pcre2-10.43-2.fc41.x86_64 pcre2-syntax-10.43-2.fc41.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.0-1.fc40.x86_64 pkgconf-m4-2.1.0-1.fc40.noarch pkgconf-pkg-config-2.1.0-1.fc40.x86_64 popt-1.19-6.fc40.x86_64 publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.12.0-1.fc40.noarch python-srpm-macros-3.12-9.fc41.noarch qt5-srpm-macros-5.15.13-1.fc41.noarch qt6-srpm-macros-6.7.0-1.fc41.noarch readline-8.2-8.fc40.x86_64 redhat-rpm-config-288-1.fc41.noarch rpm-4.19.1.1-1.fc40.x86_64 rpm-build-4.19.1.1-1.fc40.x86_64 rpm-build-libs-4.19.1.1-1.fc40.x86_64 rpm-libs-4.19.1.1-1.fc40.x86_64 rpm-sequoia-1.6.0-2.fc40.x86_64 rust-srpm-macros-26.2-1.fc41.noarch sed-4.9-1.fc40.x86_64 setup-2.14.5-2.fc40.noarch shadow-utils-4.15.1-2.fc41.x86_64 sqlite-libs-3.45.3-1.fc41.x86_64 systemd-libs-255.5-1.fc41.x86_64 tar-1.35-3.fc40.x86_64 unzip-6.0-63.fc40.x86_64 util-linux-2.40-13.fc41.x86_64 util-linux-core-2.40-13.fc41.x86_64 which-2.21-41.fc40.x86_64 xxhash-libs-0.8.2-2.fc40.x86_64 xz-5.4.6-3.fc41.x86_64 xz-libs-5.4.6-3.fc41.x86_64 zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.x86_64 zlib-ng-compat-2.1.6-2.fc40.x86_64 zstd-1.5.6-1.fc41.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1714867200 Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-18.fc41.src.rpm Finish: rpmbuild -bs cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/fedora-rawhide-x86_64-1714931132.076475/root/var/log’: No such file or directory INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1714931132.076475/root/var/log/dnf5.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-p20bmwo5/alt-ergo/alt-ergo.spec) Config(child) 0 minutes 43 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/alt-ergo-2.3.3-18.fc41.src.rpm) Config(fedora-rawhide-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1714931132.076475/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap-1714931132.076475/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-1714931132.076475/root. INFO: calling preinit hooks INFO: enabled root cache Start: unpacking root cache Finish: unpacking root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.19.1.1-1.fc40.x86_64 rpm-sequoia-1.6.0-2.fc40.x86_64 python3-dnf-4.19.2-1.fc41.noarch yum-4.19.2-1.fc41.noarch dnf5-5.1.17-1.fc41.x86_64 dnf5-plugins-5.1.17-1.fc41.x86_64 Finish: chroot init Start: build phase for alt-ergo-2.3.3-18.fc41.src.rpm Start: build setup for alt-ergo-2.3.3-18.fc41.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1714867200 Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-18.fc41.src.rpm Updating and loading repositories: fedora 100% | 644.8 KiB/s | 19.3 KiB | 00m00s Copr repository 100% | 43.7 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: desktop-file-utils x86_64 0.26-12.fc40 fedora 226.0 KiB gtksourceview2-devel x86_64 2.11.2-42.fc40 fedora 1.4 MiB libappstream-glib x86_64 0.8.2-6.fc40 fedora 1.4 MiB make x86_64 1:4.4.1-6.fc40 fedora 1.8 MiB ocaml x86_64 5.2.0-0.1.fc41 copr_base 135.8 MiB ocaml-dune x86_64 3.15.2-2.fc41 copr_base 22.7 MiB ocaml-lablgtk-devel x86_64 2.18.13-12.fc41 copr_base 15.1 MiB ocaml-menhir x86_64 20231231-4.fc41 copr_base 7.3 MiB ocaml-num-devel x86_64 1.5-7.fc41 copr_base 948.8 KiB ocaml-ocplib-simplex-devel x86_64 1:0.4.1-7.fc41 copr_base 1.5 MiB ocaml-psmt2-frontend-devel x86_64 0.4.0-17.fc41 copr_base 5.0 MiB ocaml-zarith-devel x86_64 1.13-7.fc41 copr_base 881.4 KiB ocaml-zip-devel x86_64 1.11-16.fc41 copr_base 565.3 KiB Installing dependencies: abattis-cantarell-vf-fonts noarch 0.301-12.fc40 fedora 192.7 KiB annobin-docs noarch 12.52-1.fc41 fedora 96.2 KiB annobin-plugin-gcc x86_64 12.52-1.fc41 fedora 971.6 KiB at-spi2-core x86_64 2.52.0-1.fc41 fedora 1.5 MiB atk x86_64 2.52.0-1.fc41 fedora 252.7 KiB atk-devel x86_64 2.52.0-1.fc41 fedora 5.9 MiB avahi-libs x86_64 0.8-26.fc40 fedora 166.3 KiB brotli x86_64 1.1.0-3.fc40 fedora 31.8 KiB brotli-devel x86_64 1.1.0-3.fc40 fedora 65.6 KiB bzip2-devel x86_64 1.0.8-18.fc40 fedora 309.8 KiB cairo x86_64 1.18.0-3.fc40 fedora 1.7 MiB cairo-devel x86_64 1.18.0-3.fc40 fedora 2.3 MiB cairo-gobject x86_64 1.18.0-3.fc40 fedora 35.2 KiB cmake-filesystem x86_64 3.28.3-4.fc41 fedora 0.0 B cpp x86_64 14.0.1-0.16.fc41 fedora 34.9 MiB cups-libs x86_64 1:2.4.7-13.fc41 fedora 618.8 KiB dbus x86_64 1:1.14.10-3.fc40 fedora 0.0 B dbus-broker x86_64 36-2.fc41 fedora 378.8 KiB dbus-common noarch 1:1.14.10-3.fc40 fedora 11.2 KiB dbus-libs x86_64 1:1.14.10-3.fc40 fedora 368.9 KiB default-fonts-core-sans noarch 4.0-13.fc41 fedora 11.9 KiB emacs-filesystem noarch 1:30.0-2.fc41 fedora 0.0 B enchant x86_64 1:1.6.0-33.fc39 fedora 152.1 KiB expat x86_64 2.6.2-1.fc41 fedora 280.8 KiB fontconfig x86_64 2.15.0-4.fc40 fedora 767.3 KiB fontconfig-devel x86_64 2.15.0-4.fc40 fedora 117.2 KiB fonts-filesystem noarch 1:2.0.5-14.fc40 fedora 0.0 B freetype x86_64 2.13.2-5.fc40 fedora 842.6 KiB freetype-devel x86_64 2.13.2-5.fc40 fedora 7.8 MiB fribidi x86_64 1.0.13-4.fc40 fedora 365.3 KiB fribidi-devel x86_64 1.0.13-4.fc40 fedora 78.0 KiB gc x86_64 8.2.2-6.fc40 fedora 258.7 KiB gcc x86_64 14.0.1-0.16.fc41 fedora 104.0 MiB gcc-plugin-annobin x86_64 14.0.1-0.16.fc41 fedora 57.1 KiB gdk-pixbuf2 x86_64 2.42.11-1.fc41 fedora 2.5 MiB gdk-pixbuf2-devel x86_64 2.42.11-1.fc41 fedora 2.3 MiB gdk-pixbuf2-modules x86_64 2.42.11-1.fc41 fedora 55.6 KiB gettext x86_64 0.22.5-2.fc41 fedora 5.2 MiB gettext-envsubst x86_64 0.22.5-2.fc41 fedora 74.9 KiB gettext-libs x86_64 0.22.5-2.fc41 fedora 1.7 MiB gettext-runtime x86_64 0.22.5-2.fc41 fedora 481.3 KiB glib2 x86_64 2.80.0-1.fc41 fedora 14.4 MiB glib2-devel x86_64 2.80.0-1.fc41 fedora 15.4 MiB glibc-devel x86_64 2.39.9000-17.fc41 fedora 37.7 KiB glibc-headers-x86 noarch 2.39.9000-17.fc41 fedora 2.2 MiB gmp-c++ x86_64 1:6.3.0-1.fc41 fedora 31.8 KiB gmp-devel x86_64 1:6.3.0-1.fc41 fedora 352.3 KiB gnutls x86_64 3.8.5-1.fc41 fedora 3.2 MiB google-noto-fonts-common noarch 20240401-1.fc41 fedora 17.5 KiB google-noto-sans-vf-fonts noarch 20240401-1.fc41 fedora 1.2 MiB graphite2 x86_64 1.3.14-15.fc40 fedora 192.0 KiB graphite2-devel x86_64 1.3.14-15.fc40 fedora 49.1 KiB gtk-update-icon-cache x86_64 3.24.41-1.fc40 fedora 66.3 KiB gtk2 x86_64 2.24.33-18.fc40 fedora 12.8 MiB gtk2-devel x86_64 2.24.33-18.fc40 fedora 23.8 MiB gtksourceview2 x86_64 2.11.2-42.fc40 fedora 3.4 MiB gtkspell x86_64 2.0.16-30.fc40 fedora 83.0 KiB guile30 x86_64 3.0.7-12.fc40 fedora 51.5 MiB harfbuzz x86_64 8.4.0-1.fc41 fedora 2.6 MiB harfbuzz-devel x86_64 8.4.0-1.fc41 fedora 5.1 MiB harfbuzz-icu x86_64 8.4.0-1.fc41 fedora 15.5 KiB hicolor-icon-theme noarch 0.17-18.fc40 fedora 72.2 KiB hunspell x86_64 1.7.2-7.fc40 fedora 1.3 MiB hunspell-en-US noarch 0.20201207-9.fc40 fedora 557.4 KiB hunspell-filesystem x86_64 1.7.2-7.fc40 fedora 0.0 B jbigkit-libs x86_64 2.1-29.fc40 fedora 117.6 KiB json-glib x86_64 1.8.0-3.fc40 fedora 561.4 KiB kernel-headers x86_64 6.9.0-0.rc6.51.fc41 fedora 6.3 MiB libX11 x86_64 1.8.9-1.fc41 fedora 1.3 MiB libX11-common noarch 1.8.9-1.fc41 fedora 1.1 MiB libX11-devel x86_64 1.8.9-1.fc41 fedora 1.0 MiB libX11-xcb x86_64 1.8.9-1.fc41 fedora 15.0 KiB libXau x86_64 1.0.11-6.fc40 fedora 66.9 KiB libXau-devel x86_64 1.0.11-6.fc40 fedora 6.4 KiB libXcomposite x86_64 0.4.6-3.fc40 fedora 44.5 KiB libXcomposite-devel x86_64 0.4.6-3.fc40 fedora 8.0 KiB libXcursor x86_64 1.2.2-1.fc41 fedora 49.5 KiB libXcursor-devel x86_64 1.2.2-1.fc41 fedora 22.5 KiB libXdamage x86_64 1.1.6-3.fc40 fedora 43.7 KiB libXext x86_64 1.3.6-1.fc40 fedora 90.1 KiB libXext-devel x86_64 1.3.6-1.fc40 fedora 98.9 KiB libXfixes x86_64 6.0.1-3.fc40 fedora 30.3 KiB libXfixes-devel x86_64 6.0.1-3.fc40 fedora 9.2 KiB libXft x86_64 2.3.8-6.fc40 fedora 164.5 KiB libXft-devel x86_64 2.3.8-6.fc40 fedora 31.7 KiB libXi x86_64 1.8.1-5.fc40 fedora 80.7 KiB libXi-devel x86_64 1.8.1-5.fc40 fedora 132.6 KiB libXinerama x86_64 1.1.5-6.fc40 fedora 19.0 KiB libXinerama-devel x86_64 1.1.5-6.fc40 fedora 7.0 KiB libXrandr x86_64 1.5.4-3.fc40 fedora 51.9 KiB libXrandr-devel x86_64 1.5.4-3.fc40 fedora 21.8 KiB libXrender x86_64 0.9.11-6.fc40 fedora 50.1 KiB libXrender-devel x86_64 0.9.11-6.fc40 fedora 50.1 KiB libXtst x86_64 1.2.4-6.fc40 fedora 33.6 KiB libart_lgpl x86_64 2.3.21-32.fc40 fedora 135.1 KiB libb2 x86_64 0.98.1-11.fc40 fedora 42.2 KiB libblkid-devel x86_64 2.40-13.fc41 fedora 44.9 KiB libdatrie x86_64 0.2.13-9.fc40 fedora 57.9 KiB libdatrie-devel x86_64 0.2.13-9.fc40 fedora 569.9 KiB libffi-devel x86_64 3.4.6-1.fc41 fedora 33.1 KiB libglade2 x86_64 2.6.4-32.fc40 fedora 156.3 KiB libgnomecanvas x86_64 2.30.3-28.fc40 fedora 969.4 KiB libicu x86_64 74.2-1.fc40 fedora 34.9 MiB libicu-devel x86_64 74.2-1.fc40 fedora 5.6 MiB libjpeg-turbo x86_64 3.0.2-2.fc41 fedora 772.9 KiB libjpeg-turbo-devel x86_64 3.0.2-2.fc41 fedora 352.9 KiB liblerc x86_64 4.0.0-6.fc40 fedora 603.5 KiB libmount-devel x86_64 2.40-13.fc41 fedora 63.5 KiB libmpc x86_64 1.3.1-5.fc40 fedora 164.7 KiB libpng x86_64 2:1.6.40-3.fc40 fedora 241.8 KiB libpng-devel x86_64 2:1.6.40-3.fc40 fedora 881.5 KiB librsvg2 x86_64 2.57.1-5.fc41 fedora 4.1 MiB libselinux-devel x86_64 3.6-4.fc40 fedora 126.1 KiB libsepol-devel x86_64 3.6-3.fc40 fedora 120.2 KiB libstemmer x86_64 2.2.0-10.fc40 fedora 599.9 KiB libtextstyle x86_64 0.22.5-2.fc41 fedora 195.6 KiB libthai x86_64 0.1.29-8.fc40 fedora 783.5 KiB libthai-devel x86_64 0.1.29-8.fc40 fedora 660.7 KiB libtiff x86_64 4.6.0-2.fc40 fedora 1.1 MiB libtiff-devel x86_64 4.6.0-2.fc40 fedora 708.9 KiB libwebp x86_64 1.4.0-1.fc41 fedora 802.7 KiB libwebp-devel x86_64 1.4.0-1.fc41 fedora 120.3 KiB libxcb x86_64 1.17.0-1.fc41 fedora 1.1 MiB libxcb-devel x86_64 1.17.0-1.fc41 fedora 2.7 MiB libxcrypt-devel x86_64 4.4.36-5.fc40 fedora 30.3 KiB libxml2-devel x86_64 2.12.6-1.fc41 fedora 3.4 MiB libzstd-devel x86_64 1.5.6-1.fc41 fedora 202.4 KiB mpdecimal x86_64 2.5.1-9.fc40 fedora 200.9 KiB nettle x86_64 3.9.1-6.fc40 fedora 790.1 KiB ocaml-compiler-libs x86_64 5.2.0-0.1.fc41 copr_base 100.2 MiB ocaml-lablgtk x86_64 2.18.13-12.fc41 copr_base 14.1 MiB ocaml-menhirlib x86_64 20231231-4.fc41 copr_base 349.3 KiB ocaml-menhirlib-devel x86_64 20231231-4.fc41 copr_base 1.0 MiB ocaml-num x86_64 1.5-7.fc41 copr_base 505.3 KiB ocaml-ocplib-simplex x86_64 1:0.4.1-7.fc41 copr_base 590.6 KiB ocaml-psmt2-frontend x86_64 0.4.0-17.fc41 copr_base 4.0 MiB ocaml-rpm-macros noarch 5.2.0-0.1.fc41 copr_base 19.8 KiB ocaml-runtime x86_64 5.2.0-0.1.fc41 copr_base 8.8 MiB ocaml-zarith x86_64 1.13-7.fc41 copr_base 366.1 KiB ocaml-zip x86_64 1.11-16.fc41 copr_base 233.6 KiB pango x86_64 1.52.2-1.fc41 fedora 995.8 KiB pango-devel x86_64 1.52.2-1.fc41 fedora 1.5 MiB pcre2-devel x86_64 10.43-2.fc41 fedora 2.0 MiB pcre2-utf16 x86_64 10.43-2.fc41 fedora 590.0 KiB pcre2-utf32 x86_64 10.43-2.fc41 fedora 557.9 KiB pixman x86_64 0.43.4-1.fc41 fedora 710.1 KiB pixman-devel x86_64 0.43.4-1.fc41 fedora 49.4 KiB python-pip-wheel noarch 24.0-2.fc41 fedora 1.5 MiB python3 x86_64 3.12.3-2.fc41 fedora 31.5 KiB python3-libs x86_64 3.12.3-2.fc41 fedora 40.9 MiB python3-packaging noarch 24.0-1.fc41 fedora 424.8 KiB rsvg-pixbuf-loader x86_64 2.57.1-5.fc41 fedora 15.5 KiB shared-mime-info x86_64 2.3-4.fc41 fedora 5.2 MiB sysprof-capture-devel x86_64 46.0-1.fc41 fedora 252.8 KiB tzdata noarch 2024a-5.fc41 fedora 1.6 MiB xml-common noarch 0.6.3-63.fc40 fedora 78.4 KiB xorg-x11-proto-devel noarch 2024.1-1.fc41 fedora 1.7 MiB xprop x86_64 1.2.7-1.fc40 fedora 54.8 KiB xz-devel x86_64 1:5.4.6-3.fc41 fedora 255.8 KiB zlib-ng-compat-devel x86_64 2.1.6-2.fc40 fedora 103.4 KiB Transaction Summary: Installing: 173 packages Total size of inbound packages is 232 MiB. Need to download 232 MiB. After this operation 773 MiB will be used (install 773 MiB, remove 0 B). [ 1/173] desktop-file-utils-0:0.26-12. 100% | 174.5 KiB/s | 68.2 KiB | 00m00s [ 2/173] gtksourceview2-devel-0:2.11.2 100% | 280.2 KiB/s | 116.3 KiB | 00m00s [ 3/173] make-1:4.4.1-6.fc40.x86_64 100% | 802.8 KiB/s | 587.6 KiB | 00m01s [ 4/173] libappstream-glib-0:0.8.2-6.f 100% | 982.0 KiB/s | 408.5 KiB | 00m00s [ 5/173] ocaml-0:5.2.0-0.1.fc41.x86_64 100% | 63.0 MiB/s | 32.0 MiB | 00m01s [ 6/173] ocaml-dune-0:3.15.2-2.fc41.x8 100% | 27.5 MiB/s | 6.0 MiB | 00m00s [ 7/173] ocaml-lablgtk-devel-0:2.18.13 100% | 16.7 MiB/s | 2.7 MiB | 00m00s [ 8/173] ocaml-menhir-0:20231231-4.fc4 100% | 36.6 MiB/s | 2.5 MiB | 00m00s [ 9/173] ocaml-num-devel-0:1.5-7.fc41. 100% | 6.6 MiB/s | 351.8 KiB | 00m00s [ 10/173] ocaml-ocplib-simplex-devel-1: 100% | 14.9 MiB/s | 625.7 KiB | 00m00s [ 11/173] ocaml-zarith-devel-0:1.13-7.f 100% | 7.7 MiB/s | 386.7 KiB | 00m00s [ 12/173] ocaml-zip-devel-0:1.11-16.fc4 100% | 6.8 MiB/s | 297.7 KiB | 00m00s [ 13/173] ocaml-psmt2-frontend-devel-0: 100% | 27.1 MiB/s | 2.2 MiB | 00m00s [ 14/173] emacs-filesystem-1:30.0-2.fc4 100% | 71.7 KiB/s | 7.1 KiB | 00m00s [ 15/173] gtksourceview2-0:2.11.2-42.fc 100% | 3.0 MiB/s | 700.5 KiB | 00m00s [ 16/173] glib2-0:2.80.0-1.fc41.x86_64 100% | 7.6 MiB/s | 3.0 MiB | 00m00s [ 17/173] gdk-pixbuf2-0:2.42.11-1.fc41. 100% | 3.5 MiB/s | 490.8 KiB | 00m00s [ 18/173] json-glib-0:1.8.0-3.fc40.x86_ 100% | 1.6 MiB/s | 166.7 KiB | 00m00s [ 19/173] libstemmer-0:2.2.0-10.fc40.x8 100% | 1.1 MiB/s | 138.8 KiB | 00m00s [ 20/173] libzstd-devel-0:1.5.6-1.fc41. 100% | 523.2 KiB/s | 51.8 KiB | 00m00s [ 21/173] guile30-0:3.0.7-12.fc40.x86_6 100% | 11.4 MiB/s | 8.1 MiB | 00m01s [ 22/173] ocaml-runtime-0:5.2.0-0.1.fc4 100% | 67.5 MiB/s | 5.3 MiB | 00m00s [ 23/173] ocaml-lablgtk-0:2.18.13-12.fc 100% | 46.9 MiB/s | 5.3 MiB | 00m00s [ 24/173] ocaml-menhirlib-devel-0:20231 100% | 23.3 MiB/s | 572.3 KiB | 00m00s [ 25/173] ocaml-num-0:1.5-7.fc41.x86_64 100% | 11.7 MiB/s | 239.9 KiB | 00m00s [ 26/173] ocaml-ocplib-simplex-1:0.4.1- 100% | 16.6 MiB/s | 357.6 KiB | 00m00s [ 27/173] ocaml-psmt2-frontend-0:0.4.0- 100% | 31.1 MiB/s | 1.2 MiB | 00m00s [ 28/173] gmp-devel-1:6.3.0-1.fc41.x86_ 100% | 2.0 MiB/s | 174.3 KiB | 00m00s [ 29/173] gtk2-devel-0:2.24.33-18.fc40. 100% | 7.9 MiB/s | 2.8 MiB | 00m00s [ 30/173] ocaml-zarith-0:1.13-7.fc41.x8 100% | 6.6 MiB/s | 156.2 KiB | 00m00s [ 31/173] ocaml-zip-0:1.11-16.fc41.x86_ 100% | 3.3 MiB/s | 115.9 KiB | 00m00s [ 32/173] gnutls-0:3.8.5-1.fc41.x86_64 100% | 10.8 MiB/s | 1.1 MiB | 00m00s [ 33/173] gc-0:8.2.2-6.fc40.x86_64 100% | 1.1 MiB/s | 110.2 KiB | 00m00s [ 34/173] atk-0:2.52.0-1.fc41.x86_64 100% | 871.0 KiB/s | 80.1 KiB | 00m00s [ 35/173] cairo-0:1.18.0-3.fc40.x86_64 100% | 6.8 MiB/s | 708.9 KiB | 00m00s [ 36/173] fontconfig-0:2.15.0-4.fc40.x8 100% | 3.1 MiB/s | 269.5 KiB | 00m00s [ 37/173] freetype-0:2.13.2-5.fc40.x86_ 100% | 4.9 MiB/s | 409.7 KiB | 00m00s [ 38/173] harfbuzz-0:8.4.0-1.fc41.x86_6 100% | 2.9 MiB/s | 1.0 MiB | 00m00s [ 39/173] gtk2-0:2.24.33-18.fc40.x86_64 100% | 8.7 MiB/s | 3.3 MiB | 00m00s [ 40/173] pango-0:1.52.2-1.fc41.x86_64 100% | 3.9 MiB/s | 347.0 KiB | 00m00s [ 41/173] libjpeg-turbo-0:3.0.2-2.fc41. 100% | 2.3 MiB/s | 226.4 KiB | 00m00s [ 42/173] libpng-2:1.6.40-3.fc40.x86_64 100% | 1.5 MiB/s | 119.9 KiB | 00m00s [ 43/173] shared-mime-info-0:2.3-4.fc41 100% | 4.5 MiB/s | 390.7 KiB | 00m00s [ 44/173] gcc-0:14.0.1-0.16.fc41.x86_64 100% | 24.5 MiB/s | 37.0 MiB | 00m02s [ 45/173] libmpc-0:1.3.1-5.fc40.x86_64 100% | 741.0 KiB/s | 71.1 KiB | 00m00s [ 46/173] gtkspell-0:2.0.16-30.fc40.x86 100% | 520.3 KiB/s | 51.0 KiB | 00m00s [ 47/173] libglade2-0:2.6.4-32.fc40.x86 100% | 616.7 KiB/s | 61.1 KiB | 00m00s [ 48/173] libgnomecanvas-0:2.30.3-28.fc 100% | 2.5 MiB/s | 242.1 KiB | 00m00s [ 49/173] ocaml-menhirlib-0:20231231-4. 100% | 9.0 MiB/s | 183.5 KiB | 00m00s [ 50/173] librsvg2-0:2.57.1-5.fc41.x86_ 100% | 10.8 MiB/s | 1.5 MiB | 00m00s [ 51/173] cpp-0:14.0.1-0.16.fc41.x86_64 100% | 31.4 MiB/s | 11.9 MiB | 00m00s [ 52/173] gmp-c++-1:6.3.0-1.fc41.x86_64 100% | 198.0 KiB/s | 18.6 KiB | 00m00s [ 53/173] at-spi2-core-0:2.52.0-1.fc41. 100% | 3.0 MiB/s | 372.9 KiB | 00m00s [ 54/173] nettle-0:3.9.1-6.fc40.x86_64 100% | 3.1 MiB/s | 424.9 KiB | 00m00s [ 55/173] libXext-0:1.3.6-1.fc40.x86_64 100% | 367.0 KiB/s | 38.9 KiB | 00m00s [ 56/173] libX11-0:1.8.9-1.fc41.x86_64 100% | 4.8 MiB/s | 647.8 KiB | 00m00s [ 57/173] libXrender-0:0.9.11-6.fc40.x8 100% | 346.2 KiB/s | 27.4 KiB | 00m00s [ 58/173] libxcb-0:1.17.0-1.fc41.x86_64 100% | 2.5 MiB/s | 239.1 KiB | 00m00s [ 59/173] pixman-0:0.43.4-1.fc41.x86_64 100% | 3.0 MiB/s | 293.3 KiB | 00m00s [ 60/173] default-fonts-core-sans-0:4.0 100% | 331.5 KiB/s | 31.5 KiB | 00m00s [ 61/173] fonts-filesystem-1:2.0.5-14.f 100% | 95.9 KiB/s | 8.2 KiB | 00m00s [ 62/173] ocaml-compiler-libs-0:5.2.0-0 100% | 83.0 MiB/s | 51.0 MiB | 00m01s [ 63/173] xml-common-0:0.6.3-63.fc40.no 100% | 224.5 KiB/s | 31.0 KiB | 00m00s [ 64/173] cups-libs-1:2.4.7-13.fc41.x86 100% | 2.7 MiB/s | 258.5 KiB | 00m00s [ 65/173] gdk-pixbuf2-modules-0:2.42.11 100% | 310.4 KiB/s | 28.2 KiB | 00m00s [ 66/173] gtk-update-icon-cache-0:3.24. 100% | 354.3 KiB/s | 33.7 KiB | 00m00s [ 67/173] hicolor-icon-theme-0:0.17-18. 100% | 644.6 KiB/s | 65.8 KiB | 00m00s [ 68/173] libXcomposite-0:0.4.6-3.fc40. 100% | 263.1 KiB/s | 24.2 KiB | 00m00s [ 69/173] libXcursor-0:1.2.2-1.fc41.x86 100% | 330.9 KiB/s | 29.5 KiB | 00m00s [ 70/173] libXdamage-0:1.1.6-3.fc40.x86 100% | 287.3 KiB/s | 23.3 KiB | 00m00s [ 71/173] libXi-0:1.8.1-5.fc40.x86_64 100% | 558.8 KiB/s | 39.7 KiB | 00m00s [ 72/173] libXinerama-0:1.1.5-6.fc40.x8 100% | 201.0 KiB/s | 14.3 KiB | 00m00s [ 73/173] libXfixes-0:6.0.1-3.fc40.x86_ 100% | 243.4 KiB/s | 19.0 KiB | 00m00s [ 74/173] libXrandr-0:1.5.4-3.fc40.x86_ 100% | 377.3 KiB/s | 27.5 KiB | 00m00s [ 75/173] graphite2-0:1.3.14-15.fc40.x8 100% | 1.1 MiB/s | 94.8 KiB | 00m00s [ 76/173] fribidi-0:1.0.13-4.fc40.x86_6 100% | 885.8 KiB/s | 91.2 KiB | 00m00s [ 77/173] ocaml-rpm-macros-0:5.2.0-0.1. 100% | 1.9 MiB/s | 15.3 KiB | 00m00s [ 78/173] libXft-0:2.3.8-6.fc40.x86_64 100% | 987.9 KiB/s | 72.1 KiB | 00m00s [ 79/173] libthai-0:0.1.29-8.fc40.x86_6 100% | 2.5 MiB/s | 213.8 KiB | 00m00s [ 80/173] enchant-1:1.6.0-33.fc39.x86_6 100% | 661.0 KiB/s | 60.2 KiB | 00m00s [ 81/173] libart_lgpl-0:2.3.21-32.fc40. 100% | 879.0 KiB/s | 72.1 KiB | 00m00s [ 82/173] cairo-gobject-0:1.18.0-3.fc40 100% | 223.9 KiB/s | 17.5 KiB | 00m00s [ 83/173] dbus-1:1.14.10-3.fc40.x86_64 100% | 93.0 KiB/s | 8.0 KiB | 00m00s [ 84/173] dbus-libs-1:1.14.10-3.fc40.x8 100% | 1.7 MiB/s | 156.3 KiB | 00m00s [ 85/173] libXtst-0:1.2.4-6.fc40.x86_64 100% | 287.8 KiB/s | 20.4 KiB | 00m00s [ 86/173] xprop-0:1.2.7-1.fc40.x86_64 100% | 374.5 KiB/s | 34.8 KiB | 00m00s [ 87/173] libX11-common-0:1.8.9-1.fc41. 100% | 1.9 MiB/s | 176.1 KiB | 00m00s [ 88/173] libXau-0:1.0.11-6.fc40.x86_64 100% | 352.2 KiB/s | 31.7 KiB | 00m00s [ 89/173] abattis-cantarell-vf-fonts-0: 100% | 1.3 MiB/s | 120.3 KiB | 00m00s [ 90/173] google-noto-sans-vf-fonts-0:2 100% | 6.0 MiB/s | 593.5 KiB | 00m00s [ 91/173] avahi-libs-0:0.8-26.fc40.x86_ 100% | 588.8 KiB/s | 66.5 KiB | 00m00s [ 92/173] libtiff-0:4.6.0-2.fc40.x86_64 100% | 3.3 MiB/s | 332.4 KiB | 00m00s [ 93/173] libdatrie-0:0.2.13-9.fc40.x86 100% | 404.7 KiB/s | 32.0 KiB | 00m00s [ 94/173] hunspell-0:1.7.2-7.fc40.x86_6 100% | 5.1 MiB/s | 476.6 KiB | 00m00s [ 95/173] dbus-broker-0:36-2.fc41.x86_6 100% | 1.7 MiB/s | 170.7 KiB | 00m00s [ 96/173] google-noto-fonts-common-0:20 100% | 176.7 KiB/s | 17.5 KiB | 00m00s [ 97/173] jbigkit-libs-0:2.1-29.fc40.x8 100% | 583.9 KiB/s | 53.1 KiB | 00m00s [ 98/173] libwebp-0:1.4.0-1.fc41.x86_64 100% | 3.2 MiB/s | 290.9 KiB | 00m00s [ 99/173] liblerc-0:4.0.0-6.fc40.x86_64 100% | 2.1 MiB/s | 210.1 KiB | 00m00s [100/173] hunspell-en-US-0:0.20201207-9 100% | 1.9 MiB/s | 180.8 KiB | 00m00s [101/173] hunspell-filesystem-0:1.7.2-7 100% | 115.0 KiB/s | 9.0 KiB | 00m00s [102/173] dbus-common-1:1.14.10-3.fc40. 100% | 176.0 KiB/s | 14.8 KiB | 00m00s [103/173] expat-0:2.6.2-1.fc41.x86_64 100% | 1.3 MiB/s | 113.2 KiB | 00m00s [104/173] gcc-plugin-annobin-0:14.0.1-0 100% | 509.7 KiB/s | 49.4 KiB | 00m00s [105/173] annobin-docs-0:12.52-1.fc41.n 100% | 865.0 KiB/s | 90.0 KiB | 00m00s [106/173] annobin-plugin-gcc-0:12.52-1. 100% | 6.5 MiB/s | 961.9 KiB | 00m00s [107/173] python3-0:3.12.3-2.fc41.x86_6 100% | 313.2 KiB/s | 27.2 KiB | 00m00s [108/173] libb2-0:0.98.1-11.fc40.x86_64 100% | 247.3 KiB/s | 25.5 KiB | 00m00s [109/173] mpdecimal-0:2.5.1-9.fc40.x86_ 100% | 777.1 KiB/s | 88.6 KiB | 00m00s [110/173] tzdata-0:2024a-5.fc41.noarch 100% | 5.6 MiB/s | 716.0 KiB | 00m00s [111/173] python-pip-wheel-0:24.0-2.fc4 100% | 7.8 MiB/s | 1.5 MiB | 00m00s [112/173] python3-libs-0:3.12.3-2.fc41. 100% | 26.6 MiB/s | 9.1 MiB | 00m00s [113/173] rsvg-pixbuf-loader-0:2.57.1-5 100% | 119.6 KiB/s | 16.0 KiB | 00m00s [114/173] cmake-filesystem-0:3.28.3-4.f 100% | 158.1 KiB/s | 17.9 KiB | 00m00s [115/173] libxml2-devel-0:2.12.6-1.fc41 100% | 3.1 MiB/s | 524.7 KiB | 00m00s [116/173] xz-devel-1:5.4.6-3.fc41.x86_6 100% | 809.1 KiB/s | 67.2 KiB | 00m00s [117/173] zlib-ng-compat-devel-0:2.1.6- 100% | 405.8 KiB/s | 36.1 KiB | 00m00s [118/173] atk-devel-0:2.52.0-1.fc41.x86 100% | 4.2 MiB/s | 444.9 KiB | 00m00s [119/173] cairo-devel-0:1.18.0-3.fc40.x 100% | 2.3 MiB/s | 192.7 KiB | 00m00s [120/173] gdk-pixbuf2-devel-0:2.42.11-1 100% | 4.1 MiB/s | 368.6 KiB | 00m00s [121/173] python3-packaging-0:24.0-1.fc 100% | 1.5 MiB/s | 126.2 KiB | 00m00s [122/173] glib2-devel-0:2.80.0-1.fc41.x 100% | 11.8 MiB/s | 1.5 MiB | 00m00s [123/173] libX11-devel-0:1.8.9-1.fc41.x 100% | 10.0 MiB/s | 1.0 MiB | 00m00s [124/173] libX11-xcb-0:1.8.9-1.fc41.x86 100% | 147.2 KiB/s | 11.8 KiB | 00m00s [125/173] xorg-x11-proto-devel-0:2024.1 100% | 2.5 MiB/s | 300.5 KiB | 00m00s [126/173] libXcomposite-devel-0:0.4.6-3 100% | 181.6 KiB/s | 15.8 KiB | 00m00s [127/173] libXcursor-devel-0:1.2.2-1.fc 100% | 384.3 KiB/s | 39.2 KiB | 00m00s [128/173] libXfixes-devel-0:6.0.1-3.fc4 100% | 173.9 KiB/s | 12.5 KiB | 00m00s [129/173] libXext-devel-0:1.3.6-1.fc40. 100% | 912.3 KiB/s | 85.8 KiB | 00m00s [130/173] libXi-devel-0:1.8.1-5.fc40.x8 100% | 1.6 MiB/s | 116.3 KiB | 00m00s [131/173] libXinerama-devel-0:1.1.5-6.f 100% | 184.2 KiB/s | 13.1 KiB | 00m00s [132/173] libXrandr-devel-0:1.5.4-3.fc4 100% | 246.1 KiB/s | 19.2 KiB | 00m00s [133/173] pango-devel-0:1.52.2-1.fc41.x 100% | 1.5 MiB/s | 160.6 KiB | 00m00s [134/173] fontconfig-devel-0:2.15.0-4.f 100% | 1.9 MiB/s | 165.0 KiB | 00m00s [135/173] freetype-devel-0:2.13.2-5.fc4 100% | 8.4 MiB/s | 951.2 KiB | 00m00s [136/173] gettext-0:0.22.5-2.fc41.x86_6 100% | 10.1 MiB/s | 1.1 MiB | 00m00s [137/173] gettext-libs-0:0.22.5-2.fc41. 100% | 6.1 MiB/s | 665.3 KiB | 00m00s [138/173] gettext-runtime-0:0.22.5-2.fc 100% | 1.4 MiB/s | 122.6 KiB | 00m00s [139/173] libtextstyle-0:0.22.5-2.fc41. 100% | 1.0 MiB/s | 88.7 KiB | 00m00s [140/173] gettext-envsubst-0:0.22.5-2.f 100% | 417.6 KiB/s | 38.0 KiB | 00m00s [141/173] libffi-devel-0:3.4.6-1.fc41.x 100% | 298.6 KiB/s | 28.7 KiB | 00m00s [142/173] libmount-devel-0:2.40-13.fc41 100% | 333.9 KiB/s | 27.0 KiB | 00m00s [143/173] libselinux-devel-0:3.6-4.fc40 100% | 1.8 MiB/s | 150.9 KiB | 00m00s [144/173] libsepol-devel-0:3.6-3.fc40.x 100% | 587.4 KiB/s | 48.8 KiB | 00m00s [145/173] pcre2-devel-0:10.43-2.fc41.x8 100% | 5.5 MiB/s | 519.2 KiB | 00m00s [146/173] pcre2-utf16-0:10.43-2.fc41.x8 100% | 2.7 MiB/s | 221.9 KiB | 00m00s [147/173] pcre2-utf32-0:10.43-2.fc41.x8 100% | 2.2 MiB/s | 209.4 KiB | 00m00s [148/173] sysprof-capture-devel-0:46.0- 100% | 609.2 KiB/s | 53.6 KiB | 00m00s [149/173] libjpeg-turbo-devel-0:3.0.2-2 100% | 1.0 MiB/s | 97.3 KiB | 00m00s [150/173] libpng-devel-2:1.6.40-3.fc40. 100% | 3.2 MiB/s | 290.6 KiB | 00m00s [151/173] libtiff-devel-0:4.6.0-2.fc40. 100% | 3.0 MiB/s | 258.6 KiB | 00m00s [152/173] glibc-devel-0:2.39.9000-17.fc 100% | 1.4 MiB/s | 125.7 KiB | 00m00s [153/173] glibc-headers-x86-0:2.39.9000 100% | 6.0 MiB/s | 616.9 KiB | 00m00s [154/173] libxcrypt-devel-0:4.4.36-5.fc 100% | 321.7 KiB/s | 28.6 KiB | 00m00s [155/173] brotli-devel-0:1.1.0-3.fc40.x 100% | 417.8 KiB/s | 33.8 KiB | 00m00s [156/173] brotli-0:1.1.0-3.fc40.x86_64 100% | 240.3 KiB/s | 19.9 KiB | 00m00s [157/173] bzip2-devel-0:1.0.8-18.fc40.x 100% | 2.5 MiB/s | 213.5 KiB | 00m00s [158/173] harfbuzz-devel-0:8.4.0-1.fc41 100% | 4.7 MiB/s | 451.0 KiB | 00m00s [159/173] harfbuzz-icu-0:8.4.0-1.fc41.x 100% | 198.3 KiB/s | 16.1 KiB | 00m00s [160/173] libXrender-devel-0:0.9.11-6.f 100% | 184.0 KiB/s | 19.0 KiB | 00m00s [161/173] libxcb-devel-0:1.17.0-1.fc41. 100% | 11.7 MiB/s | 1.4 MiB | 00m00s [162/173] pixman-devel-0:0.43.4-1.fc41. 100% | 172.4 KiB/s | 17.2 KiB | 00m00s [163/173] libicu-0:74.2-1.fc40.x86_64 100% | 37.4 MiB/s | 10.4 MiB | 00m00s [164/173] fribidi-devel-0:1.0.13-4.fc40 100% | 301.6 KiB/s | 29.9 KiB | 00m00s [165/173] libXft-devel-0:2.3.8-6.fc40.x 100% | 597.2 KiB/s | 50.2 KiB | 00m00s [166/173] libXau-devel-0:1.0.11-6.fc40. 100% | 187.1 KiB/s | 13.7 KiB | 00m00s [167/173] libthai-devel-0:0.1.29-8.fc40 100% | 1.6 MiB/s | 144.1 KiB | 00m00s [168/173] libwebp-devel-0:1.4.0-1.fc41. 100% | 526.3 KiB/s | 39.5 KiB | 00m00s [169/173] libdatrie-devel-0:0.2.13-9.fc 100% | 1.8 MiB/s | 153.1 KiB | 00m00s [170/173] libblkid-devel-0:2.40-13.fc41 100% | 296.8 KiB/s | 26.1 KiB | 00m00s [171/173] graphite2-devel-0:1.3.14-15.f 100% | 248.5 KiB/s | 20.6 KiB | 00m00s [172/173] libicu-devel-0:74.2-1.fc40.x8 100% | 9.8 MiB/s | 929.9 KiB | 00m00s [173/173] kernel-headers-0:6.9.0-0.rc6. 100% | 12.3 MiB/s | 1.6 MiB | 00m00s -------------------------------------------------------------------------------- [173/173] Total 100% | 30.6 MiB/s | 232.3 MiB | 00m08s Running transaction [ 1/175] Verify package files 100% | 187.0 B/s | 173.0 B | 00m01s [ 2/175] Prepare transaction 100% | 920.0 B/s | 173.0 B | 00m00s [ 3/175] Installing xorg-x11-proto-dev 100% | 118.8 MiB/s | 1.8 MiB | 00m00s [ 4/175] Installing zlib-ng-compat-dev 100% | 102.0 MiB/s | 104.5 KiB | 00m00s [ 5/175] Installing libpng-2:1.6.40-3. 100% | 118.7 MiB/s | 243.1 KiB | 00m00s [ 6/175] Installing libpng-devel-2:1.6 100% | 216.2 MiB/s | 885.4 KiB | 00m00s [ 7/175] Installing cmake-filesystem-0 100% | 2.3 MiB/s | 7.1 KiB | 00m00s [ 8/175] Installing fonts-filesystem-1 100% | 769.5 KiB/s | 788.0 B | 00m00s [ 9/175] Installing libjpeg-turbo-0:3. 100% | 189.1 MiB/s | 774.6 KiB | 00m00s [ 10/175] Installing ocaml-runtime-0:5. 100% | 275.7 MiB/s | 8.8 MiB | 00m00s [ 11/175] Installing libjpeg-turbo-deve 100% | 173.6 MiB/s | 355.5 KiB | 00m00s [ 12/175] Installing libicu-0:74.2-1.fc 100% | 264.7 MiB/s | 34.9 MiB | 00m00s [ 13/175] Installing libtextstyle-0:0.2 100% | 191.8 MiB/s | 196.4 KiB | 00m00s [ 14/175] Installing gettext-libs-0:0.2 100% | 238.4 MiB/s | 1.7 MiB | 00m00s [ 15/175] Installing expat-0:2.6.2-1.fc 100% | 69.1 MiB/s | 282.9 KiB | 00m00s [ 16/175] Installing hunspell-filesyste 100% | 0.0 B/s | 388.0 B | 00m00s [ 17/175] Installing hunspell-en-US-0:0 100% | 136.3 MiB/s | 558.1 KiB | 00m00s [ 18/175] Installing hunspell-0:1.7.2-7 100% | 103.9 MiB/s | 1.4 MiB | 00m00s [ 19/175] Installing libwebp-0:1.4.0-1. 100% | 157.6 MiB/s | 806.8 KiB | 00m00s [ 20/175] Installing libdatrie-0:0.2.13 100% | 57.7 MiB/s | 59.0 KiB | 00m00s [ 21/175] Installing libthai-0:0.1.29-8 100% | 191.7 MiB/s | 785.3 KiB | 00m00s [ 22/175] Installing libXau-0:1.0.11-6. 100% | 66.8 MiB/s | 68.4 KiB | 00m00s [ 23/175] Installing libxcb-0:1.17.0-1. 100% | 124.0 MiB/s | 1.1 MiB | 00m00s [ 24/175] Installing dbus-libs-1:1.14.1 100% | 180.7 MiB/s | 370.1 KiB | 00m00s [ 25/175] Installing fribidi-0:1.0.13-4 100% | 179.6 MiB/s | 367.8 KiB | 00m00s [ 26/175] Installing graphite2-0:1.3.14 100% | 13.5 MiB/s | 194.2 KiB | 00m00s >>> Running pre-install scriptlet: xml-common-0:0.6.3-63.fc40.noarch >>> Stop pre-install scriptlet: xml-common-0:0.6.3-63.fc40.noarch [ 27/175] Installing xml-common-0:0.6.3 100% | 39.6 MiB/s | 81.1 KiB | 00m00s [ 28/175] Installing pixman-0:0.43.4-1. 100% | 231.5 MiB/s | 711.2 KiB | 00m00s [ 29/175] Installing libmpc-0:1.3.1-5.f 100% | 81.2 MiB/s | 166.2 KiB | 00m00s [ 30/175] Installing libzstd-devel-0:1. 100% | 198.5 MiB/s | 203.2 KiB | 00m00s [ 31/175] Installing cpp-0:14.0.1-0.16. 100% | 260.8 MiB/s | 35.0 MiB | 00m00s [ 32/175] Installing pixman-devel-0:0.4 100% | 49.0 MiB/s | 50.2 KiB | 00m00s [ 33/175] Installing graphite2-devel-0: 100% | 49.4 MiB/s | 50.6 KiB | 00m00s [ 34/175] Installing fribidi-devel-0:1. 100% | 40.0 MiB/s | 81.9 KiB | 00m00s [ 35/175] Installing avahi-libs-0:0.8-2 100% | 82.5 MiB/s | 168.9 KiB | 00m00s [ 36/175] Installing libXau-devel-0:1.0 100% | 1.1 MiB/s | 8.2 KiB | 00m00s [ 37/175] Installing libxcb-devel-0:1.1 100% | 31.6 MiB/s | 3.1 MiB | 00m00s [ 38/175] Installing libdatrie-devel-0: 100% | 94.7 MiB/s | 581.7 KiB | 00m00s [ 39/175] Installing libthai-devel-0:0. 100% | 110.3 MiB/s | 677.4 KiB | 00m00s [ 40/175] Installing libwebp-devel-0:1. 100% | 30.3 MiB/s | 124.0 KiB | 00m00s [ 41/175] Installing libicu-devel-0:74. 100% | 148.5 MiB/s | 5.6 MiB | 00m00s [ 42/175] Installing abattis-cantarell- 100% | 47.5 MiB/s | 194.4 KiB | 00m00s [ 43/175] Installing kernel-headers-0:6 100% | 108.4 MiB/s | 6.4 MiB | 00m00s [ 44/175] Installing libblkid-devel-0:2 100% | 44.9 MiB/s | 46.0 KiB | 00m00s [ 45/175] Installing bzip2-devel-0:1.0. 100% | 303.5 MiB/s | 310.7 KiB | 00m00s [ 46/175] Installing brotli-0:1.1.0-3.f 100% | 31.7 MiB/s | 32.5 KiB | 00m00s [ 47/175] Installing brotli-devel-0:1.1 100% | 22.1 MiB/s | 68.0 KiB | 00m00s [ 48/175] Installing glibc-headers-x86- 100% | 91.3 MiB/s | 2.3 MiB | 00m00s [ 49/175] Installing libxcrypt-devel-0: 100% | 15.9 MiB/s | 32.6 KiB | 00m00s [ 50/175] Installing glibc-devel-0:2.39 100% | 20.2 MiB/s | 41.4 KiB | 00m00s [ 51/175] Installing sysprof-capture-de 100% | 124.8 MiB/s | 255.7 KiB | 00m00s [ 52/175] Installing pcre2-utf32-0:10.4 100% | 181.9 MiB/s | 558.8 KiB | 00m00s [ 53/175] Installing pcre2-utf16-0:10.4 100% | 192.3 MiB/s | 590.9 KiB | 00m00s [ 54/175] Installing pcre2-devel-0:10.4 100% | 153.0 MiB/s | 2.0 MiB | 00m00s [ 55/175] Installing libsepol-devel-0:3 100% | 41.6 MiB/s | 127.7 KiB | 00m00s [ 56/175] Installing libselinux-devel-0 100% | 17.4 MiB/s | 160.6 KiB | 00m00s [ 57/175] Installing libmount-devel-0:2 100% | 63.0 MiB/s | 64.5 KiB | 00m00s [ 58/175] Installing libffi-devel-0:3.4 100% | 34.0 MiB/s | 34.8 KiB | 00m00s [ 59/175] Installing gettext-envsubst-0 100% | 37.3 MiB/s | 76.3 KiB | 00m00s [ 60/175] Installing gettext-runtime-0: 100% | 59.9 MiB/s | 490.7 KiB | 00m00s [ 61/175] Installing gettext-0:0.22.5-2 100% | 218.1 MiB/s | 5.2 MiB | 00m00s [ 62/175] Installing libX11-xcb-0:1.8.9 100% | 15.5 MiB/s | 15.9 KiB | 00m00s [ 63/175] Installing xz-devel-1:5.4.6-3 100% | 84.6 MiB/s | 259.9 KiB | 00m00s [ 64/175] Installing libxml2-devel-0:2. 100% | 162.7 MiB/s | 3.4 MiB | 00m00s [ 65/175] Installing tzdata-0:2024a-5.f 100% | 26.4 MiB/s | 1.9 MiB | 00m00s [ 66/175] Installing python-pip-wheel-0 100% | 382.0 MiB/s | 1.5 MiB | 00m00s [ 67/175] Installing mpdecimal-0:2.5.1- 100% | 197.3 MiB/s | 202.0 KiB | 00m00s [ 68/175] Installing libb2-0:0.98.1-11. 100% | 42.3 MiB/s | 43.3 KiB | 00m00s [ 69/175] Installing python3-0:3.12.3-2 100% | 4.6 MiB/s | 33.2 KiB | 00m00s [ 70/175] Installing python3-libs-0:3.1 100% | 192.3 MiB/s | 41.3 MiB | 00m00s [ 71/175] Installing python3-packaging- 100% | 106.4 MiB/s | 435.6 KiB | 00m00s [ 72/175] Installing annobin-docs-0:12. 100% | 94.9 MiB/s | 97.2 KiB | 00m00s [ 73/175] Installing dbus-common-1:1.14 100% | 308.0 KiB/s | 13.6 KiB | 00m00s >>> Running post-install scriptlet: dbus-common-1:1.14.10-3.fc40.noarch >>> Stop post-install scriptlet: dbus-common-1:1.14.10-3.fc40.noarch >>> Running pre-install scriptlet: dbus-broker-0:36-2.fc41.x86_64 >>> Stop pre-install scriptlet: dbus-broker-0:36-2.fc41.x86_64 [ 74/175] Installing dbus-broker-0:36-2 100% | 26.6 MiB/s | 381.3 KiB | 00m00s >>> Running post-install scriptlet: dbus-broker-0:36-2.fc41.x86_64 >>> Stop post-install scriptlet: dbus-broker-0:36-2.fc41.x86_64 [ 75/175] Installing dbus-1:1.14.10-3.f 100% | 0.0 B/s | 124.0 B | 00m00s [ 76/175] Installing liblerc-0:4.0.0-6. 100% | 147.7 MiB/s | 605.0 KiB | 00m00s [ 77/175] Installing jbigkit-libs-0:2.1 100% | 58.4 MiB/s | 119.6 KiB | 00m00s [ 78/175] Installing libtiff-0:4.6.0-2. 100% | 186.6 MiB/s | 1.1 MiB | 00m00s [ 79/175] Installing libtiff-devel-0:4. 100% | 140.5 MiB/s | 719.6 KiB | 00m00s [ 80/175] Installing google-noto-fonts- 100% | 17.8 MiB/s | 18.3 KiB | 00m00s [ 81/175] Installing google-noto-sans-v 100% | 208.2 MiB/s | 1.2 MiB | 00m00s [ 82/175] Installing default-fonts-core 100% | 5.9 MiB/s | 18.2 KiB | 00m00s [ 83/175] Installing libX11-common-0:1. 100% | 65.9 MiB/s | 1.2 MiB | 00m00s [ 84/175] Installing libX11-0:1.8.9-1.f 100% | 159.2 MiB/s | 1.3 MiB | 00m00s [ 85/175] Installing libX11-devel-0:1.8 100% | 35.0 MiB/s | 1.1 MiB | 00m00s [ 86/175] Installing libXext-0:1.3.6-1. 100% | 89.2 MiB/s | 91.3 KiB | 00m00s [ 87/175] Installing libXrender-0:0.9.1 100% | 50.2 MiB/s | 51.4 KiB | 00m00s [ 88/175] Installing libXrender-devel-0 100% | 49.8 MiB/s | 51.0 KiB | 00m00s [ 89/175] Installing libXext-devel-0:1. 100% | 27.1 MiB/s | 110.9 KiB | 00m00s [ 90/175] Installing libXi-0:1.8.1-5.fc 100% | 79.9 MiB/s | 81.8 KiB | 00m00s [ 91/175] Installing libXfixes-0:6.0.1- 100% | 30.9 MiB/s | 31.6 KiB | 00m00s [ 92/175] Installing libXfixes-devel-0: 100% | 9.7 MiB/s | 9.9 KiB | 00m00s [ 93/175] Installing libXcursor-0:1.2.2 100% | 50.0 MiB/s | 51.2 KiB | 00m00s [ 94/175] Installing libXrandr-0:1.5.4- 100% | 51.9 MiB/s | 53.1 KiB | 00m00s [ 95/175] Installing libXinerama-0:1.1. 100% | 19.7 MiB/s | 20.2 KiB | 00m00s [ 96/175] Installing libXcomposite-0:0. 100% | 45.0 MiB/s | 46.1 KiB | 00m00s [ 97/175] Installing libXcomposite-deve 100% | 10.3 MiB/s | 10.5 KiB | 00m00s [ 98/175] Installing libXinerama-devel- 100% | 8.3 MiB/s | 8.5 KiB | 00m00s [ 99/175] Installing libXrandr-devel-0: 100% | 24.1 MiB/s | 24.7 KiB | 00m00s [100/175] Installing libXcursor-devel-0 100% | 10.6 MiB/s | 32.6 KiB | 00m00s [101/175] Installing libXi-devel-0:1.8. 100% | 47.1 MiB/s | 144.6 KiB | 00m00s [102/175] Installing libXdamage-0:1.1.6 100% | 44.2 MiB/s | 45.3 KiB | 00m00s [103/175] Installing libXtst-0:1.2.4-6. 100% | 33.8 MiB/s | 34.7 KiB | 00m00s [104/175] Installing xprop-0:1.2.7-1.fc 100% | 27.4 MiB/s | 56.2 KiB | 00m00s [105/175] Installing libart_lgpl-0:2.3. 100% | 66.8 MiB/s | 136.8 KiB | 00m00s [106/175] Installing hicolor-icon-theme 100% | 8.3 MiB/s | 179.5 KiB | 00m00s [107/175] Installing nettle-0:3.9.1-6.f 100% | 154.9 MiB/s | 793.3 KiB | 00m00s [108/175] Installing gnutls-0:3.8.5-1.f 100% | 213.3 MiB/s | 3.2 MiB | 00m00s [109/175] Installing glib2-0:2.80.0-1.f 100% | 245.3 MiB/s | 14.5 MiB | 00m00s [110/175] Installing cairo-0:1.18.0-3.f 100% | 216.5 MiB/s | 1.7 MiB | 00m00s [111/175] Installing harfbuzz-0:8.4.0-1 100% | 239.4 MiB/s | 2.6 MiB | 00m00s [112/175] Installing freetype-0:2.13.2- 100% | 164.9 MiB/s | 844.3 KiB | 00m00s [113/175] Installing fontconfig-0:2.15. 100% | 753.6 KiB/s | 786.0 KiB | 00m01s >>> Running post-install scriptlet: fontconfig-0:2.15.0-4.fc40.x86_64 >>> Stop post-install scriptlet: fontconfig-0:2.15.0-4.fc40.x86_64 [114/175] Installing glib2-devel-0:2.80 100% | 271.8 MiB/s | 15.5 MiB | 00m00s [115/175] Installing libXft-0:2.3.8-6.f 100% | 81.1 MiB/s | 166.0 KiB | 00m00s [116/175] Installing pango-0:1.52.2-1.f 100% | 163.0 MiB/s | 1.0 MiB | 00m00s [117/175] Installing cairo-gobject-0:1. 100% | 17.6 MiB/s | 36.1 KiB | 00m00s [118/175] Installing shared-mime-info-0 100% | 102.2 MiB/s | 2.6 MiB | 00m00s >>> Running post-install scriptlet: shared-mime-info-0:2.3-4.fc41.x86_64 >>> Stop post-install scriptlet: shared-mime-info-0:2.3-4.fc41.x86_64 [119/175] Installing gdk-pixbuf2-0:2.42 100% | 114.8 MiB/s | 2.5 MiB | 00m00s [120/175] Installing librsvg2-0:2.57.1- 100% | 241.9 MiB/s | 4.1 MiB | 00m00s [121/175] Installing rsvg-pixbuf-loader 100% | 16.2 MiB/s | 16.5 KiB | 00m00s [122/175] Installing gdk-pixbuf2-module 100% | 55.5 MiB/s | 56.8 KiB | 00m00s [123/175] Installing gtk-update-icon-ca 100% | 33.0 MiB/s | 67.5 KiB | 00m00s [124/175] Installing gdk-pixbuf2-devel- 100% | 153.1 MiB/s | 2.3 MiB | 00m00s [125/175] Installing harfbuzz-icu-0:8.4 100% | 15.9 MiB/s | 16.3 KiB | 00m00s [126/175] Installing cairo-devel-0:1.18 100% | 229.1 MiB/s | 2.3 MiB | 00m00s [127/175] Installing fontconfig-devel-0 100% | 14.8 MiB/s | 151.9 KiB | 00m00s [128/175] Installing freetype-devel-0:2 100% | 238.1 MiB/s | 7.9 MiB | 00m00s [129/175] Installing harfbuzz-devel-0:8 100% | 223.5 MiB/s | 5.1 MiB | 00m00s [130/175] Installing libXft-devel-0:2.3 100% | 10.8 MiB/s | 44.3 KiB | 00m00s [131/175] Installing pango-devel-0:1.52 100% | 250.3 MiB/s | 1.5 MiB | 00m00s [132/175] Installing json-glib-0:1.8.0- 100% | 62.2 MiB/s | 572.8 KiB | 00m00s [133/175] Installing at-spi2-core-0:2.5 100% | 88.5 MiB/s | 1.5 MiB | 00m00s [134/175] Installing atk-0:2.52.0-1.fc4 100% | 82.7 MiB/s | 254.1 KiB | 00m00s [135/175] Installing atk-devel-0:2.52.0 100% | 162.4 MiB/s | 6.0 MiB | 00m00s [136/175] Installing enchant-1:1.6.0-33 100% | 50.6 MiB/s | 155.3 KiB | 00m00s [137/175] Installing cups-libs-1:2.4.7- 100% | 151.4 MiB/s | 620.3 KiB | 00m00s [138/175] Installing gtk2-0:2.24.33-18. 100% | 220.9 MiB/s | 12.8 MiB | 00m00s [139/175] Installing gtksourceview2-0:2 100% | 97.8 MiB/s | 3.4 MiB | 00m00s [140/175] Installing gtk2-devel-0:2.24. 100% | 283.8 MiB/s | 23.8 MiB | 00m00s [141/175] Installing libglade2-0:2.6.4- 100% | 77.4 MiB/s | 158.5 KiB | 00m00s [142/175] Installing libgnomecanvas-0:2 100% | 74.1 MiB/s | 986.4 KiB | 00m00s [143/175] Installing gtkspell-0:2.0.16- 100% | 14.9 MiB/s | 91.3 KiB | 00m00s [144/175] Installing gmp-c++-1:6.3.0-1. 100% | 31.8 MiB/s | 32.6 KiB | 00m00s [145/175] Installing gmp-devel-1:6.3.0- 100% | 172.9 MiB/s | 354.1 KiB | 00m00s [146/175] Installing gc-0:8.2.2-6.fc40. 100% | 51.0 MiB/s | 261.2 KiB | 00m00s [147/175] Installing guile30-0:3.0.7-12 100% | 285.0 MiB/s | 51.6 MiB | 00m00s [148/175] Installing make-1:4.4.1-6.fc4 100% | 163.7 MiB/s | 1.8 MiB | 00m00s [149/175] Installing gcc-0:14.0.1-0.16. 100% | 300.7 MiB/s | 104.0 MiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:288-1.fc41.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:288-1.fc41.noarch [150/175] Installing ocaml-0:5.2.0-0.1. 100% | 334.6 MiB/s | 135.9 MiB | 00m00s [151/175] Installing ocaml-compiler-lib 100% | 319.7 MiB/s | 100.4 MiB | 00m00s [152/175] Installing ocaml-zarith-0:1.1 100% | 120.2 MiB/s | 369.3 KiB | 00m00s [153/175] Installing ocaml-lablgtk-0:2. 100% | 329.1 MiB/s | 14.2 MiB | 00m00s [154/175] Installing ocaml-num-0:1.5-7. 100% | 165.7 MiB/s | 509.0 KiB | 00m00s [155/175] Installing ocaml-ocplib-simpl 100% | 192.9 MiB/s | 592.6 KiB | 00m00s [156/175] Installing ocaml-psmt2-fronte 100% | 304.8 MiB/s | 4.0 MiB | 00m00s [157/175] Installing ocaml-zip-0:1.11-1 100% | 115.4 MiB/s | 236.3 KiB | 00m00s [158/175] Installing ocaml-menhirlib-0: 100% | 171.3 MiB/s | 350.8 KiB | 00m00s [159/175] Installing ocaml-menhirlib-de 100% | 332.9 MiB/s | 1.0 MiB | 00m00s [160/175] Installing ocaml-rpm-macros-0 100% | 19.8 MiB/s | 20.3 KiB | 00m00s [161/175] Installing libstemmer-0:2.2.0 100% | 195.7 MiB/s | 601.3 KiB | 00m00s [162/175] Installing emacs-filesystem-1 100% | 0.0 B/s | 544.0 B | 00m00s [163/175] Installing desktop-file-utils 100% | 74.8 MiB/s | 229.8 KiB | 00m00s [164/175] Installing libappstream-glib- 100% | 141.2 MiB/s | 1.4 MiB | 00m00s [165/175] Installing ocaml-dune-0:3.15. 100% | 344.0 MiB/s | 22.7 MiB | 00m00s [166/175] Installing ocaml-menhir-0:202 100% | 293.8 MiB/s | 7.3 MiB | 00m00s [167/175] Installing ocaml-zip-devel-0: 100% | 185.9 MiB/s | 571.0 KiB | 00m00s [168/175] Installing ocaml-psmt2-fronte 100% | 312.8 MiB/s | 5.0 MiB | 00m00s [169/175] Installing ocaml-ocplib-simpl 100% | 306.4 MiB/s | 1.5 MiB | 00m00s [170/175] Installing ocaml-num-devel-0: 100% | 185.9 MiB/s | 952.0 KiB | 00m00s [171/175] Installing ocaml-lablgtk-deve 100% | 296.7 MiB/s | 15.1 MiB | 00m00s [172/175] Installing ocaml-zarith-devel 100% | 173.5 MiB/s | 888.5 KiB | 00m00s [173/175] Installing annobin-plugin-gcc 100% | 38.0 MiB/s | 973.0 KiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:288-1.fc41.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:288-1.fc41.noarch [174/175] Installing gcc-plugin-annobin 100% | 2.2 MiB/s | 58.7 KiB | 00m00s >>> Running trigger-install scriptlet: redhat-rpm-config-0:288-1.fc41.noarch >>> Stop trigger-install scriptlet: redhat-rpm-config-0:288-1.fc41.noarch [175/175] Installing gtksourceview2-dev 100% | 1.8 MiB/s | 1.4 MiB | 00m01s >>> Running post-transaction scriptlet: fontconfig-0:2.15.0-4.fc40.x86_64 >>> Stop post-transaction scriptlet: fontconfig-0:2.15.0-4.fc40.x86_64 >>> Running trigger-install scriptlet: glibc-common-0:2.39.9000-17.fc41.x86_64 >>> Stop trigger-install scriptlet: glibc-common-0:2.39.9000-17.fc41.x86_64 >>> Running trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 >>> Stop trigger-install scriptlet: info-0:7.1-2.fc40.x86_64 >>> Running trigger-install scriptlet: hicolor-icon-theme-0:0.17-18.fc40.noarch >>> Stop trigger-install scriptlet: hicolor-icon-theme-0:0.17-18.fc40.noarch >>> Running trigger-install scriptlet: glib2-0:2.80.0-1.fc41.x86_64 >>> Stop trigger-install scriptlet: glib2-0:2.80.0-1.fc41.x86_64 >>> Running trigger-install scriptlet: glib2-0:2.80.0-1.fc41.x86_64 >>> Stop trigger-install scriptlet: glib2-0:2.80.0-1.fc41.x86_64 >>> Running trigger-install scriptlet: fontconfig-0:2.15.0-4.fc40.x86_64 >>> Stop trigger-install scriptlet: fontconfig-0:2.15.0-4.fc40.x86_64 >>> Running trigger-install scriptlet: shared-mime-info-0:2.3-4.fc41.x86_64 >>> Stop trigger-install scriptlet: shared-mime-info-0:2.3-4.fc41.x86_64 >>> Running trigger-install scriptlet: gdk-pixbuf2-0:2.42.11-1.fc41.x86_64 >>> Stop trigger-install scriptlet: gdk-pixbuf2-0:2.42.11-1.fc41.x86_64 >>> Running trigger-install scriptlet: desktop-file-utils-0:0.26-12.fc40.x86_64 >>> Stop trigger-install scriptlet: desktop-file-utils-0:0.26-12.fc40.x86_64 Warning: skipped PGP checks for 20 package(s). Finish: build setup for alt-ergo-2.3.3-18.fc41.src.rpm Start: rpmbuild alt-ergo-2.3.3-18.fc41.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1714867200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.8BsewN + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf alt-ergo-2.3.0-free + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-free-2.3.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd alt-ergo-2.3.0-free + rm -rf /builddir/build/BUILD/alt-ergo-2.3.0-free-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.0-free-SPECPARTS + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-icons.tar.xz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + rm -rf sources + tar xf /builddir/build/SOURCES/alt-ergo-free-2.3.3.tar.gz + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-psmt2-frontend.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-menhir.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-forward-compat.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-dune3.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-inline-error.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + cd sources + cp -p /builddir/build/SOURCES/alt-ergo.desktop com.ocamlpro.alt-ergo.desktop + cd examples/AB-Why3-plugin + unzip p4_34.why.zip Archive: p4_34.why.zip inflating: p4_34.why + rm p4_34.why.zip + cd - /builddir/build/BUILD/alt-ergo-2.3.0-free/sources + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.vcHQoK + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd alt-ergo-2.3.0-free + cd sources + ./configure --prefix=/usr --libdir=/usr/lib64/ocaml --sharedir=/usr/lib64/ocaml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). Using provided value for 'prefix' : /usr Using provided value for 'libdir' : /usr/lib64/ocaml Using provided value for 'sharedir' : /usr/lib64/ocaml Using default value for 'mandir' : /usr/man Using default value for 'pluginsdir' : /usr/lib64/ocaml/alt-ergo/plugins Using default value for 'preludesdir' : /usr/lib64/ocaml/alt-ergo/preludes Generating file lib/util/config.ml...done. Generating file Makefile.config...done. Found dune in path. Good to go ! + /usr/bin/make -O -j2 V=1 VERBOSE=1 dune build @install ln -sf _build/install/default/bin/alt-ergo alt-ergo ln -sf _build/install/default/bin/altgr-ergo altgr-ergo File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.2CvgcJ + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 ++ dirname /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd alt-ergo-2.3.0-free + cd sources + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 'INSTALL=/usr/bin/install -p' dune build @install ln -sf _build/install/default/bin/alt-ergo alt-ergo ln -sf _build/install/default/bin/altgr-ergo altgr-ergo dune install \ --prefix /usr \ --libdir /usr/lib64/ocaml \ --mandir /usr/man + find /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/lib64/ocaml -name '*.ml' -delete + rm -fr /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/doc + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/man/man1 + cp -p doc/alt-ergo.1 /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/man/man1 + mv /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/alt-ergo/plugins /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/alt-ergo/preludes /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/lib64/ocaml/alt-ergo + rmdir /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/alt-ergo + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/gtksourceview-2.0/language-specs + cp -p doc/gtk-lang/alt-ergo.lang /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/gtksourceview-2.0/language-specs + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/applications + desktop-file-install --dir /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/applications com.ocamlpro.alt-ergo.desktop + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/metainfo + install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml + appstream-util validate-relax --nonet /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml: OK + cd - /builddir/build/BUILD/alt-ergo-2.3.0-free + mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/icons + cp -a icons /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/icons/hicolor + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 2.3.3-18.fc41 --unique-debug-suffix -2.3.3-18.fc41.x86_64 --unique-debug-src-base alt-ergo-2.3.3-18.fc41.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.3.0-free find-debuginfo: starting Extracting debug info from 4 files DWARF-compressing 4 files sepdebugcrcfix: Updated 4 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/alt-ergo-2.3.3-18.fc41.x86_64 cpio: sources/_build/default/arg.ml: Cannot stat: No such file or directory cpio: sources/_build/default/array.ml: Cannot stat: No such file or directory cpio: sources/_build/default/atomic.ml: Cannot stat: No such file or directory cpio: sources/_build/default/big_int.ml: Cannot stat: No such file or directory cpio: sources/_build/default/buffer.ml: Cannot stat: No such file or directory cpio: sources/_build/default/bytes.ml: Cannot stat: No such file or directory cpio: sources/_build/default/camlinternalFormat.ml: Cannot stat: No such file or directory cpio: sources/_build/default/camlinternalLazy.ml: Cannot stat: No such file or directory cpio: sources/_build/default/camlinternalMod.ml: Cannot stat: No such file or directory cpio: sources/_build/default/char.ml: Cannot stat: No such file or directory cpio: sources/_build/default/condition.ml: Cannot stat: No such file or directory cpio: sources/_build/default/domain.ml: Cannot stat: No such file or directory cpio: sources/_build/default/filename.ml: Cannot stat: No such file or directory cpio: sources/_build/default/format.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gBin.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gButton.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gContainer.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gEdit.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gMenu.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gMisc.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gObj.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gPack.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gRange.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gSourceView2.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gText.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gToolbox.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gTree.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gWindow.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gaux.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gdk.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gdkEvent.ml: Cannot stat: No such file or directory cpio: sources/_build/default/glib.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gobject.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkBase.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkButton.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkMain.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkMenu.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkObject.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkPack.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkPackProps.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkSignal.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkStock.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkThread.ml: Cannot stat: No such file or directory cpio: sources/_build/default/hashtbl.ml: Cannot stat: No such file or directory cpio: sources/_build/default/int64.ml: Cannot stat: No such file or directory cpio: sources/_build/default/int_misc.ml: Cannot stat: No such file or directory cpio: sources/_build/default/lexing.ml: Cannot stat: No such file or directory cpio: sources/_build/default/list.ml: Cannot stat: No such file or directory cpio: sources/_build/default/map.ml: Cannot stat: No such file or directory cpio: sources/_build/default/mutex.ml: Cannot stat: No such file or directory cpio: sources/_build/default/nat.ml: Cannot stat: No such file or directory cpio: sources/_build/default/num.ml: Cannot stat: No such file or directory cpio: sources/_build/default/printexc.ml: Cannot stat: No such file or directory cpio: sources/_build/default/printf.ml: Cannot stat: No such file or directory cpio: sources/_build/default/q.ml: Cannot stat: No such file or directory cpio: sources/_build/default/queue.ml: Cannot stat: No such file or directory cpio: sources/_build/default/random.ml: Cannot stat: No such file or directory cpio: sources/_build/default/ratio.ml: Cannot stat: No such file or directory cpio: sources/_build/default/scanf.ml: Cannot stat: No such file or directory cpio: sources/_build/default/seq.ml: Cannot stat: No such file or directory cpio: sources/_build/default/set.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/assertBounds.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/basic.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/lib/options.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/lib/smtlib_parser.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/lib/smtlib_ty.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/result.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/solveBounds.ml: Cannot stat: No such file or directory cpio: sources/_build/default/stack.ml: Cannot stat: No such file or directory cpio: sources/_build/default/stdlib.ml: Cannot stat: No such file or directory cpio: sources/_build/default/str.ml: Cannot stat: No such file or directory cpio: sources/_build/default/string.ml: Cannot stat: No such file or directory cpio: sources/_build/default/sys.ml.in: Cannot stat: No such file or directory cpio: sources/_build/default/thread.ml: Cannot stat: No such file or directory cpio: sources/_build/default/unix.ml: Cannot stat: No such file or directory cpio: sources/_build/default/z.ml: Cannot stat: No such file or directory 3732 blocks find-debuginfo: done + /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 + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.4H6klZ + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd alt-ergo-2.3.0-free + cd sources + dune runtest --verbose --release -j2 Shared cache: disabled Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/BUILD/alt-ergo-2.3.0-free/sources Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; instrument_with = [] } + RPM_EC=0 ++ jobs -p + exit 0 Processing files: alt-ergo-2.3.3-18.fc41.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ruwpii + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.3.0-free + DOCDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/README.md /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/sources/CHANGES /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/sources/examples /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Provides: alt-ergo = 2.3.3-18.fc41 alt-ergo(x86-64) = 2.3.3-18.fc41 ocaml(ABWhy3Plugin) = 0a4fe49be48b448806bfa8a12c5d64de ocaml(ABWhy3Plugin__Why3_lexer) = 7c5f01bacf500f864f76e4540839b187 ocaml(ABWhy3Plugin__Why3_loc) = 42766e199fdac2473b2686561b734155 ocaml(ABWhy3Plugin__Why3_parser) = c9d60c2b6164ca2f53c4838cd0106797 ocaml(ABWhy3Plugin__Why3_ptree) = 4fdb46e3301f5374a991c0f8faff9506 ocaml(FmSimplexPlugin) = ab7b14dacd8a3f7fe034d3635e4b2f3b ocaml(FmSimplexPlugin__FmSimplexIneqs) = 1dd9e8240b537694eadb9a63433cb6f6 ocaml(FmSimplexPlugin__Simplex) = bcfa16488c7a50677cb59b3d83107548 ocaml(FmSimplexPlugin__Simplex_cache) = 8df189bc0a4dcfe02d353441d8d59ec9 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libz.so.1()(64bit) ocaml(ABWhy3Plugin) = 0a4fe49be48b448806bfa8a12c5d64de ocaml(ABWhy3Plugin__Why3_loc) = 42766e199fdac2473b2686561b734155 ocaml(ABWhy3Plugin__Why3_parser) = c9d60c2b6164ca2f53c4838cd0106797 ocaml(ABWhy3Plugin__Why3_ptree) = 4fdb46e3301f5374a991c0f8faff9506 ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(FmSimplexPlugin) = ab7b14dacd8a3f7fe034d3635e4b2f3b ocaml(FmSimplexPlugin__Simplex) = bcfa16488c7a50677cb59b3d83107548 ocaml(FmSimplexPlugin__Simplex_cache) = 8df189bc0a4dcfe02d353441d8d59ec9 ocaml(MenhirLib) = 49db20f5c1f9f55544f043eecdf995e3 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 rtld(GNU_HASH) Processing files: alt-ergo-gui-2.3.3-18.fc41.x86_64 Provides: alt-ergo-gui = 2.3.3-18.fc41 alt-ergo-gui(x86-64) = 2.3.3-18.fc41 application() application(com.ocamlpro.alt-ergo.desktop) metainfo() metainfo(com.ocamlpro.alt-ergo.metainfo.xml) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgmp.so.10()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libgtksourceview-2.0.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libpango-1.0.so.0()(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: ocaml-alt-ergo-parsers-2.3.3-18.fc41.x86_64 Provides: ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 16ca9bde43900ed62c9365046feac17d ocaml(AltErgoParsers__Why_lexer) = 56e7bd33f2701266221c46246edf5fc9 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml-alt-ergo-parsers = 2.3.3-18.fc41 ocaml-alt-ergo-parsers(x86-64) = 2.3.3-18.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Zip) = 34d16dc610aa7fba44469757e25b4cdb rtld(GNU_HASH) Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-18.fc41.x86_64 Provides: ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 16ca9bde43900ed62c9365046feac17d ocaml(AltErgoParsers__Why_lexer) = 56e7bd33f2701266221c46246edf5fc9 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml-alt-ergo-parsers-devel = 2.3.3-18.fc41 ocaml-alt-ergo-parsers-devel(x86-64) = 2.3.3-18.fc41 ocamlx(AltErgoParsers) = 2ad0e352e84dd9b492a37991c5a8d730 ocamlx(AltErgoParsers__MyZip) = 09e9c18023f29c84023c5d47938b73d5 ocamlx(AltErgoParsers__Parsers) = e7d9521d834c8fd4b184b595adb981dd ocamlx(AltErgoParsers__Parsers_loader) = b51f3b44c2100bd4ae7abde7d1cf83b4 ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = 7c6aaff88ccac89ebc4c3c8c25f8d349 ocamlx(AltErgoParsers__Why_lexer) = 7da38b46dc9e3ae0b271304aba65fbec ocamlx(AltErgoParsers__Why_parser) = 25f39a250b8eb02e2bfd31cd62f847e5 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoParsers) = 0e95bbedb607b96428fddbfd78d3b4f0 ocaml(AltErgoParsers__MyZip) = d31d8e55ffcc9e75903fd2e03ccc8074 ocaml(AltErgoParsers__Parsers) = 42f19bf032331dbd86113b35108866d7 ocaml(AltErgoParsers__Parsers_loader) = f8aa4ea66d0fcdca266bf60babcc0578 ocaml(AltErgoParsers__Why_parser) = 06e507912f27cd14d5467dd6d83bf87c ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Zip) = 34d16dc610aa7fba44469757e25b4cdb ocamlx(Arith_flags) = 76481081a8eeb858b092116d07192ac7 ocamlx(Big_int) = 1e5db076bdcabaa6fb280812b8b95e16 ocamlx(CamlinternalFormat) = 953ef69503d0e6e404051575a3e14294 ocamlx(Int_misc) = 2055fcef01357f6a1507fc011bb00d7f ocamlx(Nat) = f57ac24fecdfc7501410594287a9bfed ocamlx(Num) = 4dd4dde062e21ac51aa913b2266658a6 ocamlx(Psmt2Frontend__Options) = f0a666ba2a6ca8e53b6a9319194fbce3 ocamlx(Psmt2Frontend__Smtlib_error) = 31c5c60c796a22ecf5ed06b50ef5a5c2 ocamlx(Psmt2Frontend__Smtlib_lexer) = b3052712df2557deb97d9896582591f1 ocamlx(Psmt2Frontend__Smtlib_parser) = a0f5a1679cf5c9e201aa85eab3975b9f ocamlx(Psmt2Frontend__Smtlib_ty) = 1c4d568eccc1d867e589c0485c68d380 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 89cff5539de7be6155e7e566e577880e ocamlx(Psmt2Frontend__Smtlib_typing) = 15298336cfca0ec1dca100198e33946c ocamlx(Ratio) = a00cb4d4530ce74758bf77d3671aa2df ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Arg) = 0419bf8472805e8108c231ad79bf2702 ocamlx(Stdlib__Array) = 275387a6b4e731847e1e95c62fe750cf ocamlx(Stdlib__Bigarray) = 914edf15a3b4dd6723773a02a17a7140 ocamlx(Stdlib__Buffer) = 844c915e36b99939af70689a0611371b ocamlx(Stdlib__Bytes) = 5e8fcc42c352277f24b74bb60f7eafd3 ocamlx(Stdlib__Domain) = 4dabf6e11f6fcf9e329992ee4975e49d ocamlx(Stdlib__Filename) = cdbd396a072e3af1f3a53dcef7781ea8 ocamlx(Stdlib__Format) = 9a864e997f9c87430731d5885b00c69d ocamlx(Stdlib__Hashtbl) = 295ff1f216dd4e2664b2b85e8dd827a7 ocamlx(Stdlib__Lexing) = 54a0758da0f6654034d3a6188ef44d04 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Parsing) = 9ca72b447cbeff6a518d70ad898ba55f ocamlx(Stdlib__Printf) = f6468526b3a3be9cc36f73132635c13c ocamlx(Stdlib__Random) = 10c2ee9c4689b289b31b5797fb117257 ocamlx(Stdlib__String) = 31003821caffdbf6aec644cd3e02825c ocamlx(Stdlib__Sys) = 25f91267f50938415bee3e1291a4af8e ocamlx(Zip) = f5c8dea17d0445f5368f0ef627b2fde8 Processing files: ocaml-alt-ergo-lib-2.3.3-18.fc41.x86_64 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.G7Rcvi + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.3.0-free + LICENSEDIR=/builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/licenses/ocaml-alt-ergo-lib + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/LGPL-License.txt /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/LICENSE.md /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /builddir/build/BUILD/alt-ergo-2.3.0-free/License.OCamlPro /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64/usr/share/licenses/ocaml-alt-ergo-lib + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Frontend) = 0aafde0a523592ba57e983fd01d68f42 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Gc_debug) = d26ce4b33dd4752e2f64ae75728b2ed2 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Input) = eaecafa036c9b01fc73fa653b4c886f4 ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__NumsNumbers) = 9171831bc53da3d57f4904d8b5bd179d ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver) = 1b14f20db2359001f2583c93fa260b93 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typechecker) = ef32ffb357349ca4afca667cdb9d9a75 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 8068a65e831b3141795c38116dc2a54c ocaml-alt-ergo-lib = 2.3.3-18.fc41 ocaml-alt-ergo-lib(x86-64) = 2.3.3-18.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 8068a65e831b3141795c38116dc2a54c ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml(Q) = e6b39910b85843ddfca1575a8629f993 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228 ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827 ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca ocaml(Str) = dae36249353ed938af10fa5eb52188c6 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Z) = 64149d73e756a179b86a90e5c822d5ce rtld(GNU_HASH) Processing files: ocaml-alt-ergo-lib-devel-2.3.3-18.fc41.x86_64 Provides: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Frontend) = 0aafde0a523592ba57e983fd01d68f42 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Gc_debug) = d26ce4b33dd4752e2f64ae75728b2ed2 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Input) = eaecafa036c9b01fc73fa653b4c886f4 ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumsNumbers) = 9171831bc53da3d57f4904d8b5bd179d ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Parsed_interface) = 90cf7e04aaa7b7126ad88ecdee988f1b ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver) = 1b14f20db2359001f2583c93fa260b93 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typechecker) = ef32ffb357349ca4afca667cdb9d9a75 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 8068a65e831b3141795c38116dc2a54c ocaml-alt-ergo-lib-devel = 2.3.3-18.fc41 ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-18.fc41 ocamlx(AltErgoLib) = 8ae4bab4bfd2944618a53ec6c54651fb ocamlx(AltErgoLib__Ac) = 06096cf96b5d1c3b855f7928c100d6e7 ocamlx(AltErgoLib__Adt) = 08eaefcd28d61c5696b48080c48cf54b ocamlx(AltErgoLib__Adt_rel) = a7d5f8e683aa205bbbb0fd4440a06eef ocamlx(AltErgoLib__Arith) = a86f3a02fa7c4f3fd73001fd1b9d4b1c ocamlx(AltErgoLib__Arrays) = 456c60e5bda9b7da1625537c81854267 ocamlx(AltErgoLib__Arrays_rel) = 646f17e136636876c5a7963c72ecdc61 ocamlx(AltErgoLib__Bitv) = c185f2e7fa96ade7cfd6d398c81b9eca ocamlx(AltErgoLib__Bitv_rel) = 1130cb1f5883ba3a1626978c331711eb ocamlx(AltErgoLib__Ccx) = e0f575b801b9df2bd09f909ab6851eb5 ocamlx(AltErgoLib__Cnf) = a9e89a65d70094f3ea5c7bde7d7abc1f ocamlx(AltErgoLib__Commands) = 0b80be1991b6f6b3a3f7debfd164aaa6 ocamlx(AltErgoLib__Config) = 1363d3450271c3084b125e898e146344 ocamlx(AltErgoLib__Emap) = 667fd303ea7b2e008e23eeb4e1b52bc1 ocamlx(AltErgoLib__Enum) = 5a9e84adbb713e8338fc9c71068ded10 ocamlx(AltErgoLib__Enum_rel) = 0341da26e59d9e0ffdf3f2bc6a6b9cd8 ocamlx(AltErgoLib__Errors) = 816f4bb18e00e6ac59228aa0b0d90d6b ocamlx(AltErgoLib__Explanation) = 792c44ba65a648b39545fe0f1c19274e ocamlx(AltErgoLib__Expr) = 915360430b8d57c74f18bbb67f7a24a5 ocamlx(AltErgoLib__Fpa_rounding) = afd240b21ccb441c3ed99fc3342f920f ocamlx(AltErgoLib__Frontend) = 750f62b7476cbdca7dd22a31fd6b0575 ocamlx(AltErgoLib__Fun_sat) = 093f42109dd26993585fe6adc85a5190 ocamlx(AltErgoLib__Gc_debug) = 7c6447beed15f8f81ef1f82833cd01fc ocamlx(AltErgoLib__Hconsing) = 7f71cbf4c0a62ba8c5e0391846ee68fe ocamlx(AltErgoLib__Hstring) = 0608e90f6946f848f1d2a2caa859a03f ocamlx(AltErgoLib__Iheap) = fbe1d175e62716693ee210c8eac66b8f ocamlx(AltErgoLib__Inequalities) = f8f48757ea318a38d097a228118d3347 ocamlx(AltErgoLib__Input) = 082c0d76092ea2d2cd23fcc63d52e684 ocamlx(AltErgoLib__Instances) = e0dd852b8fdb241b1fa7bf382f7ee69f ocamlx(AltErgoLib__IntervalCalculus) = 1c96aa865816ef086aa012194d5cf940 ocamlx(AltErgoLib__Intervals) = b5d8485e5d6541cfc36706b08dd893aa ocamlx(AltErgoLib__Ite) = 7a90deb52d1e76ee83362d1dfe5ab09a ocamlx(AltErgoLib__Ite_rel) = 4afdd12ada2455cc2b4fc28cacbc3dba ocamlx(AltErgoLib__Lists) = 9f1ea5d6dcb2d8e1bf9d575985bfd166 ocamlx(AltErgoLib__Loc) = ab89d0380acb38f9a98b308a839db485 ocamlx(AltErgoLib__Matching) = 09f236d0577bcab3fab19e45289708f3 ocamlx(AltErgoLib__MyDynlink) = 3359524d7fed93b2b0cbf1d4eaa3d090 ocamlx(AltErgoLib__MyUnix) = b43ea287624981876053a94e95a2d038 ocamlx(AltErgoLib__Numbers) = 92bce35dd9e71a48b984c6018876f0c5 ocamlx(AltErgoLib__NumsNumbers) = 6a625d8698d6e8d38cebdbfca823dac1 ocamlx(AltErgoLib__Options) = 98dbcf072d61eb2997bd8444a947db7a ocamlx(AltErgoLib__Parsed) = c9eff168edd4116281f7b71e0733cff3 ocamlx(AltErgoLib__Parsed_interface) = 5add09f42856847f56f51290f5ac4b7a ocamlx(AltErgoLib__Polynome) = c6bad83c1f4897ad88684ef00dfe0c49 ocamlx(AltErgoLib__Profiling) = 5c73b3abaf3449eb70ee6329eef2a2c2 ocamlx(AltErgoLib__Records) = a157fcf6c5aa4470d8a51cce93568263 ocamlx(AltErgoLib__Records_rel) = 8e9ffff372d83ab1c0286b83ce8269d3 ocamlx(AltErgoLib__Relation) = e101c87af0a7a5754307d96320e64b58 ocamlx(AltErgoLib__Sat_solver) = 9f59c0c04ee158b84754563ff17a07c7 ocamlx(AltErgoLib__Sat_solver_sig) = 9b112998df916fcbac23dcc24d8c8189 ocamlx(AltErgoLib__Satml) = d3d169686b42c002e0b0607bd8cb7fdf ocamlx(AltErgoLib__Satml_frontend) = ff8c87ea5d8b6ac5a431021314fe7c24 ocamlx(AltErgoLib__Satml_frontend_hybrid) = e7395a331c00f2c3df6eeeb4fc841adc ocamlx(AltErgoLib__Satml_types) = e24dfe303e067a0c30a9b4f83fcf43ad ocamlx(AltErgoLib__Shostak) = e0fc24e7dd77daed1b0b3d93c549e94c ocamlx(AltErgoLib__Symbols) = d929262c93fe2f95629ab0022361f699 ocamlx(AltErgoLib__Th_util) = fa85b14e7757c7ef423ff0e21df9123a ocamlx(AltErgoLib__Theory) = 734e1d2749e4391adfe7d6f0c62b23a1 ocamlx(AltErgoLib__Timers) = f509fb6516ae2e2a70756411f138d4a9 ocamlx(AltErgoLib__Ty) = d22a5841abcf1feeb9a2294c75e87353 ocamlx(AltErgoLib__Typechecker) = 20ba7abad8dde887350596c8d862ad26 ocamlx(AltErgoLib__Typed) = 67f285d45571275d7ebe7fe4c7914103 ocamlx(AltErgoLib__Uf) = 524b47aa1306c9254665cf7e2606d7a5 ocamlx(AltErgoLib__Use) = 6af2f0824d7787c480f9904cf5805b2f ocamlx(AltErgoLib__Util) = 564591612473c451b47f1c46940b6895 ocamlx(AltErgoLib__Var) = f890de58f087c353e95dc25df8d15408 ocamlx(AltErgoLib__Vec) = 96171e585a6ce928663be90250496e8c ocamlx(AltErgoLib__Version) = 8ed7bb029defc881629f33c127edd508 ocamlx(AltErgoLib__Xliteral) = 0e164ef4cbeb245425640ab25cf399d4 ocamlx(AltErgoLib__ZarithNumbers) = 6cf5dee283ce614ef685ad4bd7b4d6b8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666 ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206 ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6 ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10 ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65 ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64 ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371 ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31 ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649 ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623 ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182 ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4 ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347 ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0 ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4 ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286 ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30 ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3 ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04 ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49 ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354 ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295 ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45 ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964 ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291 ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685 ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717 ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180 ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520 ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00 ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151 ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811 ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098 ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545 ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8 ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7 ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095 ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271 ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2 ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4 ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d ocaml(AltErgoLib__ZarithNumbers) = 8068a65e831b3141795c38116dc2a54c ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94 ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597 ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df ocaml(Q) = e6b39910b85843ddfca1575a8629f993 ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092 ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228 ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26 ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827 ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca ocaml(Str) = dae36249353ed938af10fa5eb52188c6 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Z) = 64149d73e756a179b86a90e5c822d5ce ocamlx(Arith_flags) = 76481081a8eeb858b092116d07192ac7 ocamlx(Big_int) = 1e5db076bdcabaa6fb280812b8b95e16 ocamlx(CamlinternalFormat) = 953ef69503d0e6e404051575a3e14294 ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b ocamlx(CamlinternalLazy) = db5b5401ca41d4c0e0ab44dbf275ef6c ocamlx(CamlinternalMod) = 6b98ee7f0309fcc79003f50d5c272fc8 ocamlx(CamlinternalOO) = 7533b9c3827e5d31b9ebef8b49cf9fdf ocamlx(Dynlink) = 6ef2e1c78d20d88e4a4128a3346cb906 ocamlx(Dynlink_types) = 4c1ea720b6249033452bc8794c6a6cb3 ocamlx(Nat) = f57ac24fecdfc7501410594287a9bfed ocamlx(Num) = 4dd4dde062e21ac51aa913b2266658a6 ocamlx(OcplibSimplex) = 94995af714291a04a7c638e417f49ebf ocamlx(Q) = e6a0f70fe56da5e30b9c087064b888bb ocamlx(Ratio) = a00cb4d4530ce74758bf77d3671aa2df ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Arg) = 0419bf8472805e8108c231ad79bf2702 ocamlx(Stdlib__Array) = 275387a6b4e731847e1e95c62fe750cf ocamlx(Stdlib__Bigarray) = 914edf15a3b4dd6723773a02a17a7140 ocamlx(Stdlib__Buffer) = 844c915e36b99939af70689a0611371b ocamlx(Stdlib__Bytes) = 5e8fcc42c352277f24b74bb60f7eafd3 ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757 ocamlx(Stdlib__Domain) = 4dabf6e11f6fcf9e329992ee4975e49d ocamlx(Stdlib__Filename) = cdbd396a072e3af1f3a53dcef7781ea8 ocamlx(Stdlib__Format) = 9a864e997f9c87430731d5885b00c69d ocamlx(Stdlib__Gc) = 649a8f6eba44c75372caaa291e1ca593 ocamlx(Stdlib__Hashtbl) = 295ff1f216dd4e2664b2b85e8dd827a7 ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90 ocamlx(Stdlib__Lexing) = 54a0758da0f6654034d3a6188ef44d04 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Map) = 1c98c4fc6cb10c2b898b54f2b616a402 ocamlx(Stdlib__Obj) = b8d71ae3179123723ac5a9f40c144012 ocamlx(Stdlib__Parsing) = 9ca72b447cbeff6a518d70ad898ba55f ocamlx(Stdlib__Printexc) = be329704396ea9ab0f2472fc985dde6d ocamlx(Stdlib__Printf) = f6468526b3a3be9cc36f73132635c13c ocamlx(Stdlib__Queue) = 8777f6a975e7c26c135708f9fed2bfa5 ocamlx(Stdlib__Random) = 10c2ee9c4689b289b31b5797fb117257 ocamlx(Stdlib__Scanf) = 0f24bfe8faab4ba401544a798fbb3f12 ocamlx(Stdlib__Set) = 124e5566eb97493494f3f4f94164c40b ocamlx(Stdlib__Stack) = 65c6fae8d12a39a9dbbd7b2e7f267ed3 ocamlx(Stdlib__String) = 31003821caffdbf6aec644cd3e02825c ocamlx(Stdlib__Sys) = 25f91267f50938415bee3e1291a4af8e ocamlx(Stdlib__Weak) = 67a88cd928b97318e9bf030eafc0b450 ocamlx(Str) = cab3d4a749f0ff5c57ba2ca3ce6895e5 ocamlx(Unix) = 137a39770c63bee5c2efed66f9b591a4 ocamlx(Z) = 0928520ccbfc9878b6cd3ea5db639ed6 Processing files: alt-ergo-debugsource-2.3.3-18.fc41.x86_64 Provides: alt-ergo-debugsource = 2.3.3-18.fc41 alt-ergo-debugsource(x86-64) = 2.3.3-18.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: alt-ergo-debuginfo-2.3.3-18.fc41.x86_64 Provides: alt-ergo-debuginfo = 2.3.3-18.fc41 alt-ergo-debuginfo(x86-64) = 2.3.3-18.fc41 debuginfo(build-id) = 4f312213cc633c9986c64ddc63e5f38d472f8236 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-18.fc41 Processing files: alt-ergo-gui-debuginfo-2.3.3-18.fc41.x86_64 Provides: alt-ergo-gui-debuginfo = 2.3.3-18.fc41 alt-ergo-gui-debuginfo(x86-64) = 2.3.3-18.fc41 debuginfo(build-id) = d1f2e7b05b8644704306aab5ea33b63a16667972 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-18.fc41 Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-18.fc41.x86_64 Provides: debuginfo(build-id) = c86d30678ba17ea10504de480f12c9907d6b0811 ocaml-alt-ergo-parsers-debuginfo = 2.3.3-18.fc41 ocaml-alt-ergo-parsers-debuginfo(x86-64) = 2.3.3-18.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-18.fc41 Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-18.fc41.x86_64 Provides: debuginfo(build-id) = 668789c646f9aa7dc483d69cb0ccac01742182a8 ocaml-alt-ergo-lib-debuginfo = 2.3.3-18.fc41 ocaml-alt-ergo-lib-debuginfo(x86-64) = 2.3.3-18.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(x86-64) = 2.3.3-18.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-18.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-18.fc41.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.RU8PIg + umask 022 + cd /builddir/build/BUILD + cd alt-ergo-2.3.0-free + /usr/bin/rm -rf /builddir/build/BUILDROOT/alt-ergo-2.3.3-18.fc41.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.8ylnIq + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/alt-ergo-2.3.0-free-SPECPARTS + rm -rf alt-ergo-2.3.0-free alt-ergo-2.3.0-free.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild alt-ergo-2.3.3-18.fc41.src.rpm Finish: build phase for alt-ergo-2.3.3-18.fc41.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-x86_64-1714931132.076475/root/var/log/dnf5.log INFO: Done(/var/lib/copr-rpmbuild/results/alt-ergo-2.3.3-18.fc41.src.rpm) Config(child) 1 minutes 20 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running RPMResults tool Package info: { "packages": [ { "name": "alt-ergo", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "src" }, { "name": "ocaml-alt-ergo-lib-devel", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "ocaml-alt-ergo-parsers-devel", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "alt-ergo-gui", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "ocaml-alt-ergo-parsers", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "alt-ergo-debuginfo", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "ocaml-alt-ergo-lib-debuginfo", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "alt-ergo-gui-debuginfo", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "ocaml-alt-ergo-lib", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "ocaml-alt-ergo-parsers-debuginfo", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "alt-ergo", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" }, { "name": "alt-ergo-debugsource", "epoch": null, "version": "2.3.3", "release": "18.fc41", "arch": "x86_64" } ] } RPMResults finished