11-23 10:07 root DEBUG fedora-review 0.10.0 e79b66b 2023-07-24 17:28:48 -0500 started 11-23 10:07 root DEBUG Command line: /bin/fedora-review --no-colors --prebuilt --rpm-spec --name lean4 --mock-config /var/lib/copr-rpmbuild/results/configs/child.cfg 11-23 10:07 root INFO Processing local files: lean4 11-23 10:07 root DEBUG Active settings after processing options 11-23 10:07 root DEBUG bz_url: https://bugzilla.redhat.com 11-23 10:07 root DEBUG _con_handler: (INFO)> 11-23 10:07 root DEBUG _log_config_done: True 11-23 10:07 root DEBUG cache: False 11-23 10:07 root DEBUG resultdir: None 11-23 10:07 root DEBUG init_done: True 11-23 10:07 root DEBUG uniqueext: None 11-23 10:07 root DEBUG configdir: None 11-23 10:07 root DEBUG log_level: 20 11-23 10:07 root DEBUG prebuilt: True 11-23 10:07 root DEBUG verbose: False 11-23 10:07 root DEBUG name: lean4 11-23 10:07 root DEBUG use_colors: False 11-23 10:07 root DEBUG session_log: /var/lib/copr-rpmbuild/results/cache/fedora-review.log 11-23 10:07 root DEBUG bug: None 11-23 10:07 root DEBUG url: None 11-23 10:07 root DEBUG copr_build_descriptor: None 11-23 10:07 root DEBUG list_checks: False 11-23 10:07 root DEBUG list_flags: False 11-23 10:07 root DEBUG list_plugins: False 11-23 10:07 root DEBUG version: False 11-23 10:07 root DEBUG flags: [] 11-23 10:07 root DEBUG repo: None 11-23 10:07 root DEBUG mock_config: /var/lib/copr-rpmbuild/results/configs/child.cfg 11-23 10:07 root DEBUG no_report: False 11-23 10:07 root DEBUG nobuild: False 11-23 10:07 root DEBUG mock_options: --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True 11-23 10:07 root DEBUG other_bz: None 11-23 10:07 root DEBUG plugins_arg: None 11-23 10:07 root DEBUG single: None 11-23 10:07 root DEBUG rpm_spec: True 11-23 10:07 root DEBUG exclude: None 11-23 10:07 root DEBUG checksum: sha256 11-23 10:07 root DEBUG plugins: {} 11-23 10:07 root INFO Getting .spec and .srpm Urls from : Local files in /var/lib/copr-rpmbuild/results 11-23 10:07 root INFO --> SRPM url: file:///var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.src.rpm 11-23 10:07 root INFO Using review directory: /var/lib/copr-rpmbuild/results/lean4 11-23 10:07 root DEBUG find_urls completed: 0.296 11-23 10:07 root DEBUG Avoiding init of working mock root 11-23 10:07 root DEBUG Url download completed: 18.204 11-23 10:07 root INFO No upstream for (Source1): cmake-pkg-gmp-uv.patch.in 11-23 10:07 root DEBUG --> /var/lib/copr-rpmbuild/results/lean4/upstream : https://github.com/leanprover/lean4/archive/refs/tags/v4.13.0.tar.gz#/lean4-4.13.0.tar.gz 11-23 10:07 root INFO Downloading (Source0): https://github.com/leanprover/lean4/archive/refs/tags/v4.13.0.tar.gz#/lean4-4.13.0.tar.gz 11-23 10:07 root INFO Running checks and generating report 11-23 10:07 root DEBUG Running check: CheckResultdir 11-23 10:07 root DEBUG CheckResultdir completed: 0.000 seconds 11-23 10:07 root DEBUG Running check: CheckBuild 11-23 10:07 root DEBUG Running: rpm -ql --dump --nosignature -p /var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.x86_64.rpm 11-23 10:07 root DEBUG CheckBuild completed: 0.031 seconds 11-23 10:07 root DEBUG Running check: CheckRpmlint 11-23 10:07 root DEBUG Run command: rpmlint --ignore-unused-rpmlintrc --rpmlintrc /tmp/tmpe5tgpze7 /var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.x86_64.rpm /var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.src.rpm 11-23 10:08 root DEBUG CheckRpmlint completed: 14.645 seconds 11-23 10:08 root DEBUG Running check: CheckPackageInstalls 11-23 10:08 root DEBUG Init command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --init 11-23 10:08 root DEBUG Init output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --init 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 Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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: Package manager dnf5 detected and used (direct choice) Finish: chroot init Finish: run None NoneType: None 11-23 10:08 root INFO Installing built package(s) 11-23 10:08 root DEBUG --init command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, --init 11-23 10:08 root DEBUG --init output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --init 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init Finish: run None NoneType: None 11-23 10:08 root DEBUG CheckPackageInstalls completed: 5.287 seconds 11-23 10:08 root DEBUG Running check: CheckRpmlintInstalled 11-23 10:08 root DEBUG --init command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, --init 11-23 10:08 root DEBUG --init output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --init 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init Finish: run None NoneType: None 11-23 10:08 root DEBUG is_installed: Tested rpmlint, result: 1 11-23 10:08 root DEBUG command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, --shell, 'rm -f /var/lib/rpm/__db*' 11-23 10:08 root DEBUG output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --shell ''"'"'rm -f /var/lib/rpm/__db*'"'"'' 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 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init Start: shell /bin/sh: line 1: rm -f /var/lib/rpm/__db*: No such file or directory Finish: shell Finish: run None NoneType: None 11-23 10:08 root DEBUG Install command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, install, rpmlint 11-23 10:08 root DEBUG Install output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results install rpmlint 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init INFO: installing package(s): rpmlint INFO: Finish: run None NoneType: None 11-23 10:08 root DEBUG Script output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock --enable-network -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --chroot 'echo '"'"'rpmlint:'"'"'; rpmlint --installed lean4; echo '"'"'rpmlint-done:'"'"'' 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init INFO: Running in chroot: ["echo 'rpmlint:'; rpmlint --installed lean4; echo 'rpmlint-done:'"] Start: chroot ["echo 'rpmlint:'; rpmlint --installed lean4; echo 'rpmlint-done:'"] rpmlint: (none): E: there is no installed rpm "lean4". There are no files to process nor additional arguments. ============================ rpmlint session starts ============================ rpmlint: 2.5.0 configuration: /usr/lib/python3.13/site-packages/rpmlint/configdefaults.toml /etc/xdg/rpmlint/fedora-spdx-licenses.toml /etc/xdg/rpmlint/fedora.toml /etc/xdg/rpmlint/scoring.toml /etc/xdg/rpmlint/users-groups.toml /etc/xdg/rpmlint/warn-on-functions.toml checks: 32, packages: 1 0 packages and 0 specfiles checked; 0 errors, 0 warnings, 0 filtered, 0 badness; has taken 0.0 s Nothing to do, aborting. rpmlint-done: Finish: chroot ["echo 'rpmlint:'; rpmlint --installed lean4; echo 'rpmlint-done:'"] Finish: run 11-23 10:08 root DEBUG CheckRpmlintInstalled completed: 18.239 seconds 11-23 10:08 root DEBUG Running check: CheckRpmlintDebuginfo 11-23 10:08 root DEBUG CheckRpmlintDebuginfo completed: 0.000 seconds 11-23 10:08 root DEBUG Running check: CheckInitDeps 11-23 10:08 root DEBUG CheckInitDeps completed: 25.583 seconds 11-23 10:08 root DEBUG Running check: CheckBuildCompleted 11-23 10:08 root DEBUG Mock command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, --chroot, --, rm -rf $(rpm --eval %_builddir)/* 11-23 10:08 root DEBUG Mock output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --chroot -- 'rm -rf $(rpm --eval %_builddir)/*' 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init INFO: Running in chroot: ['rm -rf $(rpm --eval %_builddir)/*'] Start: chroot ['rm -rf $(rpm --eval %_builddir)/*'] Finish: chroot ['rm -rf $(rpm --eval %_builddir)/*'] Finish: run None NoneType: None 11-23 10:08 root DEBUG Mock command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, --copyin, /var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.src.rpm, lean4-4.13.0-4.fc42.src.rpm 11-23 10:09 root DEBUG Mock output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --copyin /var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.src.rpm lean4-4.13.0-4.fc42.src.rpm 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init INFO: copying /var/lib/copr-rpmbuild/results/lean4-4.13.0-4.fc42.src.rpm to /var/lib/mock/fedora-rawhide-x86_64/root/lean4-4.13.0-4.fc42.src.rpm Finish: run None NoneType: None 11-23 10:09 root DEBUG Mock command: mock, -r, /var/lib/copr-rpmbuild/results/configs/child.cfg, --no-cleanup-after, --no-clean, --plugin-option=tmpfs:keep_mounted=True, --resultdir=/var/lib/copr-rpmbuild/results/lean4/results, --chroot, --, rpm -i lean4-4.13.0-4.fc42.src.rpm; rpmbuild --nodeps -bp $(rpm --eval %_specdir)/lean4.spec;chmod -R go+r $(rpm --eval %_builddir)/* || : 11-23 10:09 root DEBUG Mock output: INFO: mock.py version 5.9 starting (python version = 3.13.0, NVR = mock-5.9-1.fc41), args: /usr/libexec/mock/mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True --resultdir=/var/lib/copr-rpmbuild/results/lean4/results --chroot -- 'rpm -i lean4-4.13.0-4.fc42.src.rpm; rpmbuild --nodeps -bp $(rpm --eval %_specdir)/lean4.spec;chmod -R go+r $(rpm --eval %_builddir)/* || :' 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 Mock Version: 5.9 INFO: Mock Version: 5.9 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64-bootstrap/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: Package manager dnf5 detected and used (fallback) Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-x86_64/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-x86_64/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) Finish: chroot init INFO: Running in chroot: ['rpm -i lean4-4.13.0-4.fc42.src.rpm; rpmbuild --nodeps -bp $(rpm --eval %_specdir)/lean4.spec;chmod -R go+r $(rpm --eval %_builddir)/* || :'] Start: chroot ['rpm -i lean4-4.13.0-4.fc42.src.rpm; rpmbuild --nodeps -bp $(rpm --eval %_specdir)/lean4.spec;chmod -R go+r $(rpm --eval %_builddir)/* || :'] setting SOURCE_DATE_EPOCH=1732320000 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.xqvxT8 + umask 022 + cd /builddir/build/BUILD/lean4-4.13.0-build + test -d /builddir/build/BUILD/lean4-4.13.0-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/lean4-4.13.0-build + /usr/bin/rm -rf /builddir/build/BUILD/lean4-4.13.0-build + /usr/bin/mkdir -p /builddir/build/BUILD/lean4-4.13.0-build + /usr/bin/mkdir -p /builddir/build/BUILD/lean4-4.13.0-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.RiCBmk + umask 022 + cd /builddir/build/BUILD/lean4-4.13.0-build + cd /builddir/build/BUILD/lean4-4.13.0-build + rm -rf lean4-4.13.0 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/lean4-4.13.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd lean4-4.13.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/lean4-COPY_CADICAL.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + patch -p1 -b ++ pkgconf --libs gmp Package gmp was not found in the pkg-config search path. Perhaps you should add the directory containing `gmp.pc' to the PKG_CONFIG_PATH environment variable Package 'gmp' not found ++ pkgconf --libs libuv Package libuv was not found in the pkg-config search path. Perhaps you should add the directory containing `libuv.pc' to the PKG_CONFIG_PATH environment variable Package 'libuv' not found + sed -e s/@GMP_LIBRARIES@// -e s/@LIBUV_LIBRARIES@// /builddir/build/SOURCES/cmake-pkg-gmp-uv.patch.in patching file src/CMakeLists.txt Hunk #1 succeeded at 241 (offset 6 lines). Hunk #2 succeeded at 251 (offset 10 lines). patching file stage0/src/CMakeLists.txt Hunk #1 succeeded at 240 (offset 5 lines). Hunk #2 succeeded at 250 (offset 9 lines). + RPM_EC=0 ++ jobs -p + exit 0 Finish: chroot ['rpm -i lean4-4.13.0-4.fc42.src.rpm; rpmbuild --nodeps -bp $(rpm --eval %_specdir)/lean4.spec;chmod -R go+r $(rpm --eval %_builddir)/* || :'] Finish: run None NoneType: None 11-23 10:09 root DEBUG _topdir: /builddir/build 11-23 10:09 root INFO Reading configuration from /etc/mock/site-defaults.cfg 11-23 10:09 root INFO Reading configuration from /etc/mock/chroot-aliases.cfg 11-23 10:09 root INFO Reading configuration from /var/lib/copr-rpmbuild/results/configs/child.cfg 11-23 10:09 root INFO Active plugins: Shell-api, C/C++, Generic 11-23 10:09 root DEBUG CheckBuildCompleted completed: 10.850 seconds 11-23 10:09 root DEBUG Skipping CheckExcludeArch in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic.py, deprecated by generic-excludearch in /usr/share/fedora-review/scripts/generic-excludearch.sh 11-23 10:09 root DEBUG Skipping CheckLargeDocs in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic.py, deprecated by generic-large-docs in /usr/share/fedora-review/scripts/generic-large-docs.sh 11-23 10:09 root DEBUG Skipping CheckDesktopFile in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic.py, deprecated by fonts-disable in /usr/share/fedora-review/scripts/fonts-disable.sh 11-23 10:09 root DEBUG Skipping CheckStaticLibs in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic.py, deprecated by OcamlCheckStaticLibs in /usr/lib/python3.13/site-packages/FedoraReview/plugins/ocaml.py 11-23 10:09 root DEBUG Skipping CheckSystemdScripts in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic.py, deprecated by fonts-disable in /usr/share/fedora-review/scripts/fonts-disable.sh 11-23 10:09 root DEBUG Skipping CheckClean in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic_should.py, deprecated by fonts-disable in /usr/share/fedora-review/scripts/fonts-disable.sh 11-23 10:09 root DEBUG Skipping CheckFullVerReqSub in /usr/lib/python3.13/site-packages/FedoraReview/plugins/generic_should.py, deprecated by fonts-disable in /usr/share/fedora-review/scripts/fonts-disable.sh 11-23 10:09 root DEBUG Running check: OcamlCheckStaticLibs 11-23 10:09 root DEBUG OcamlCheckStaticLibs completed: 0.337 seconds 11-23 10:09 root DEBUG Running check: HaskellCheckStaticLibs 11-23 10:09 root DEBUG HaskellCheckStaticLibs completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CreateEnvCheck 11-23 10:09 root DEBUG CreateEnvCheck completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: RCheckBuildRequires 11-23 10:09 root DEBUG RCheckBuildRequires completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: RCheckCheckMacro 11-23 10:09 root DEBUG RCheckCheckMacro completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: RCheckDoc 11-23 10:09 root DEBUG RCheckDoc completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: RCheckInstallSection 11-23 10:09 root DEBUG RCheckInstallSection completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: RCheckLatestVersionIsPackaged 11-23 10:09 root DEBUG RCheckLatestVersionIsPackaged completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: RCheckRequires 11-23 10:09 root DEBUG RCheckRequires completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckBundledGnulib 11-23 10:09 root DEBUG CheckBundledGnulib completed: 0.026 seconds 11-23 10:09 root DEBUG Running check: CheckGccBuildRequires 11-23 10:09 root DEBUG CheckGccBuildRequires completed: 0.002 seconds 11-23 10:09 root DEBUG Running check: CheckHeaderFiles 11-23 10:09 root DEBUG CheckHeaderFiles completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckLDConfig 11-23 10:09 root DEBUG CheckLDConfig completed: 0.002 seconds 11-23 10:09 root DEBUG Running check: CheckLibToolArchives 11-23 10:09 root DEBUG CheckLibToolArchives completed: 0.005 seconds 11-23 10:09 root DEBUG Running check: CheckNoKernelModules 11-23 10:09 root DEBUG CheckNoKernelModules completed: 0.002 seconds 11-23 10:09 root DEBUG Running check: CheckNoStaticExecutables 11-23 10:09 root DEBUG Run command: env -i bash -c "source ./review-env.sh; unpack_rpms" 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/bin/leanc 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/bin/leanmake 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/bin/lean 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/bin/lake 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/bin/leanc 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/bin/leanmake 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/bin/lean 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/bin/lake 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/lib/lean/libLake_shared.so 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/lib/lean/libInit_shared.so 11-23 10:09 root DEBUG Run command: file ./rpms-unpacked/lean4-4.13.0-4.fc42.x86_64.rpm/usr/lib64/lean4/lib/lean/libleanshared.so 11-23 10:09 root DEBUG CheckNoStaticExecutables completed: 6.674 seconds 11-23 10:09 root DEBUG Running check: CheckRPATH 11-23 10:09 root DEBUG CheckRPATH completed: 0.002 seconds 11-23 10:09 root DEBUG Running check: CheckSoFiles 11-23 10:09 root DEBUG CheckSoFiles completed: 0.004 seconds 11-23 10:09 root DEBUG Running check: CheckJavaPlugin 11-23 10:09 root DEBUG CheckJavaPlugin completed: 0.015 seconds 11-23 10:09 root DEBUG Running check: PerlCheckBuildRequires 11-23 10:09 root DEBUG PerlCheckBuildRequires completed: 0.005 seconds 11-23 10:09 root DEBUG Running check: CheckPythonBuildRequires 11-23 10:09 root DEBUG CheckPythonBuildRequires completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckPythonRequires 11-23 10:09 root DEBUG CheckPythonRequires completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckPythonX_Site 11-23 10:09 root DEBUG CheckPythonX_Site completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckApprovedLicense 11-23 10:09 root DEBUG CheckApprovedLicense completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckBuildrootMacros 11-23 10:09 root DEBUG CheckBuildrootMacros completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckBundledLibs 11-23 10:09 root DEBUG CheckBundledLibs completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckChangelogFormat 11-23 10:09 root DEBUG CheckChangelogFormat completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckCleanBuildroot 11-23 10:09 root DEBUG regex: rm\s+\-[rf][rf]\s+(/rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT|\$RPM_BUILD_ROOT)[^/] 11-23 10:09 root DEBUG install_sec: # cmake_install does not do anything make -C redhat-linux-build/stage1 install mkdir -p /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/lib64 rm -f /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/lean-4.13.0-linux/LICENSE* mv /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/lean-4.13.0-linux /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/lib64/lean4 strip /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/lib64/lean4/bin/{lake,lean,leanc} chmod a+x /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/lib64/lean4/lib/lean/lib*shared.so strip /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/lib64/lean4/lib/lean/lib*shared.so mkdir -p /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/bin ( cd /rpmbuild/BUILD/lean4-4.13.0-build/BUILDROOT/usr/bin ln -s ../lib64/lean4/bin/* . ) 11-23 10:09 root DEBUG CheckCleanBuildroot completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckCodeAndContent 11-23 10:09 root DEBUG CheckCodeAndContent completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckConfigNoReplace 11-23 10:09 root DEBUG CheckConfigNoReplace completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckDefattr 11-23 10:09 root DEBUG CheckDefattr completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckDescMacros 11-23 10:09 root DEBUG CheckDescMacros completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckDesktopFile 11-23 10:09 root DEBUG CheckDesktopFile completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckDesktopFileInstall 11-23 10:09 root DEBUG CheckDesktopFileInstall completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckDevelFilesInDevel 11-23 10:09 root DEBUG CheckDevelFilesInDevel completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckDirectoryRequire 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -C -l 'filesystem' 11-23 10:09 root DEBUG CheckDirectoryRequire completed: 2.644 seconds 11-23 10:09 root DEBUG Running check: CheckDistTag 11-23 10:09 root DEBUG CheckDistTag completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckDocRuntime 11-23 10:09 root DEBUG CheckDocRuntime completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckFileDuplicates 11-23 10:09 root DEBUG CheckFileDuplicates completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckFilePermissions 11-23 10:09 root DEBUG CheckFilePermissions completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckGconfSchemaInstall 11-23 10:09 root DEBUG CheckGconfSchemaInstall completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckGdkPixbufLoaders 11-23 10:09 root DEBUG CheckGdkPixbufLoaders completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckGioQueryModules 11-23 10:09 root DEBUG CheckGioQueryModules completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckGlibCompileSchemas 11-23 10:09 root DEBUG CheckGlibCompileSchemas completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckGtkQueryModules 11-23 10:09 root DEBUG CheckGtkQueryModules completed: 0.003 seconds 11-23 10:09 root DEBUG Running check: CheckGuidelines 11-23 10:09 root DEBUG CheckGuidelines completed: 0.000 seconds 11-23 10:09 root DEBUG Running check: CheckIfDepsDeprecated 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.14)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libgmp.so.10()(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.3)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'gmp-devel' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'cmake' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libgcc_s.so.1()(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.11)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.34)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libm.so.6()(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(CXXABI_1.3.15)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.20)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.18)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libuv-devel' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides '/usr/bin/bash' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.19)(64bit)' 11-23 10:09 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libm.so.6(GLIBC_2.29)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.38)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.33)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6()(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6()(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.14)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libuv.so.1()(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_ABI_DT_RELR)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.30)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'rtld(GNU_HASH)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.17)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(CXXABI_1.3)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libm.so.6(GLIBC_2.2.5)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'gcc-c++' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.9)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.26)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.2.5)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libgcc_s.so.1(GCC_3.0)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.21)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.29)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.9)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'cadical' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(CXXABI_1.3.9)(64bit)' 11-23 10:10 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.32)(64bit)' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'libuv-devel' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'gmp-devel' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'cmake' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'gmp' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'libgcc' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'glibc' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'gcc-c++' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'cadical' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'bash' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'libuv' 11-23 10:11 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --provides 'libstdc++' 11-23 10:11 root DEBUG CheckIfDepsDeprecated completed: 131.146 seconds 11-23 10:11 root DEBUG Running check: CheckLicensInDoc 11-23 10:11 root DEBUG CheckLicensInDoc completed: 0.067 seconds 11-23 10:11 root DEBUG Running check: CheckLicenseField 11-23 10:11 root DEBUG Scanning sources in /var/lib/mock/fedora-rawhide-x86_64/root/builddir/build/BUILD/lean4-4.13.0-build 11-23 10:14 root DEBUG Got license reply, length: 1098916 11-23 10:14 root DEBUG CheckLicenseField completed: 185.337 seconds 11-23 10:14 root DEBUG Running check: CheckLicenseFieldSPDX 11-23 10:14 root DEBUG Run command: ['license-validate', '-v', 'Apache-2.0'] 11-23 10:14 root DEBUG CheckLicenseFieldSPDX completed: 0.592 seconds 11-23 10:14 root DEBUG Running check: CheckLicenseInSubpackages 11-23 10:14 root DEBUG CheckLicenseInSubpackages completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckLocale 11-23 10:14 root DEBUG CheckLocale completed: 0.003 seconds 11-23 10:14 root DEBUG Running check: CheckMacros 11-23 10:14 root DEBUG CheckMacros completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckMakeinstall 11-23 10:14 root DEBUG CheckMakeinstall completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckMultipleLicenses 11-23 10:14 root DEBUG CheckMultipleLicenses completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckNameCharset 11-23 10:14 root DEBUG CheckNameCharset completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckNaming 11-23 10:14 root DEBUG CheckNaming completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckNoConfigInUsr 11-23 10:14 root DEBUG CheckNoConfigInUsr completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckNoConflicts 11-23 10:14 root DEBUG CheckNoConflicts completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckNoNameConflict 11-23 10:14 root DEBUG CheckNoNameConflict completed: 0.311 seconds 11-23 10:14 root DEBUG Running check: CheckObeysFHS 11-23 10:14 root DEBUG CheckObeysFHS completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckObsoletesForRename 11-23 10:14 root DEBUG CheckObsoletesForRename completed: 0.000 seconds 11-23 10:14 root DEBUG Running check: CheckOwnDirs 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.14)(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libgmp.so.10()(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.3)(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libInit_shared.so()(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libgcc_s.so.1()(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.11)(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.34)(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libm.so.6()(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(CXXABI_1.3.15)(64bit)' 11-23 10:14 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.20)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.18)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libleanshared.so()(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libLake_shared.so()(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides '/usr/bin/bash' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.19)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libm.so.6(GLIBC_2.29)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.38)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libleanshared_1.so()(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.33)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6()(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6()(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.14)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libuv.so.1()(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_ABI_DT_RELR)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.30)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'rtld(GNU_HASH)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.17)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(CXXABI_1.3)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libm.so.6(GLIBC_2.2.5)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.9)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.26)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.2.5)(64bit)' 11-23 10:15 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libgcc_s.so.1(GCC_3.0)(64bit)' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.21)(64bit)' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.29)(64bit)' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(GLIBCXX_3.4.9)(64bit)' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libstdc++.so.6(CXXABI_1.3.9)(64bit)' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --whatprovides 'libc.so.6(GLIBC_2.32)(64bit)' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -q -C --requires --providers-of=requires 'lean4' 'gmp' 'libgcc' 'glibc' 'bash' 'libuv' 'libstdc++' 11-23 10:16 root DEBUG Running: mock -r /var/lib/copr-rpmbuild/results/configs/child.cfg --no-cleanup-after --no-clean --plugin-option=tmpfs:keep_mounted=True -qn --enable-network --shell -- dnf repoquery -C -l '(cmake' 'libgcc_s.so' 'libcurl' 'basesystem' 'libmpfr' 'libstdc++.so.6(GLIBCXX_3' 'libarchive' 'ncurses' 'bash' 'libm.so' 'cmake' 'libstdc++ = 14.2' 'libuv(x86' 'lean4' 'glibc' 'libgcc(x86' 'setup' 'librhash' 'gmp(x86' 'libmpc' 'libgmpxx' '/usr/bin/bash' 'libstdc++.so.6(CXXABI_1' 'glibc = 2.40' 'glibc >= 2' 'libz' '/usr/bin/pkg' 'libform' 'make' 'libcadical' '(glibc-gconv' 'libgcc_s.so.1(GCC_3' 'libm.so.6(GLIBC_2' 'libc.so' 'gmp' 'libzstd' 'libncurses' 'ld-linux' 'libgcc' 'pkgconfig(gmp)' 'libjsoncpp' 'ld' 'libz.so.1(ZLIB_1' 'libuv' 'libgmp' 'rtld(GNU_HASH)' 'filesystem' 'libstdc++.so' 'filesystem >= 3' 'libm' 'glibc(x86' 'libgcc_s.so.1(GCC_4' 'gcc = 14.2' 'libgcc_s' 'cadical' 'libz.so.1(ZLIB_1.2' 'libexpat' 'libtinfo' 'libstdc++' 11-23 10:16 root DEBUG CheckOwnDirs completed: 105.363 seconds 11-23 10:16 root DEBUG Running check: CheckOwnOther 11-23 10:16 root DEBUG CheckOwnOther completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckRelocatable 11-23 10:16 root DEBUG CheckRelocatable completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckRequires 11-23 10:16 root DEBUG CheckRequires completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSourceMD5 11-23 10:16 root DEBUG Skipping md5-test for /var/lib/copr-rpmbuild/results/lean4/srpm-unpacked/cmake-pkg-gmp-uv.patch.in 11-23 10:16 root DEBUG Checking sha256 for /var/lib/copr-rpmbuild/results/lean4/srpm-unpacked/lean4-4.13.0.tar.gz 11-23 10:16 root DEBUG Checking source sha256 : /var/lib/copr-rpmbuild/results/lean4/upstream/lean4-4.13.0.tar.gz 11-23 10:16 root DEBUG CheckSourceMD5 completed: 0.053 seconds 11-23 10:16 root DEBUG Running check: CheckSourcedirMacroUse 11-23 10:16 root DEBUG CheckSourcedirMacroUse completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSpecLegibility 11-23 10:16 root DEBUG CheckSpecLegibility completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSpecName 11-23 10:16 root DEBUG CheckSpecName completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckStaticLibs 11-23 10:16 root DEBUG CheckStaticLibs completed: 0.004 seconds 11-23 10:16 root DEBUG Running check: CheckSystemdUnitdirScriplets 11-23 10:16 root DEBUG CheckSystemdUnitdirScriplets completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckSystemdUserunitdirScriplets 11-23 10:16 root DEBUG CheckSystemdUserunitdirScriplets completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckUTF8Filenames 11-23 10:16 root DEBUG CheckUTF8Filenames completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckUpdateIconCache 11-23 10:16 root DEBUG CheckUpdateIconCache completed: 0.002 seconds 11-23 10:16 root DEBUG Running check: CheckUsefulDebuginfo 11-23 10:16 root DEBUG CheckUsefulDebuginfo completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckBuildInMock 11-23 10:16 root DEBUG CheckBuildInMock completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckBuildroot 11-23 10:16 root DEBUG CheckBuildroot completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckBundledFonts 11-23 10:16 root DEBUG CheckBundledFonts completed: 0.013 seconds 11-23 10:16 root DEBUG Running check: CheckClean 11-23 10:16 root DEBUG CheckClean completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckContainsLicenseText 11-23 10:16 root DEBUG CheckContainsLicenseText completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckFileRequires 11-23 10:16 root DEBUG CheckFileRequires completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckFinalRequiresProvides 11-23 10:16 root DEBUG CheckFinalRequiresProvides completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckFullVerReqSub 11-23 10:16 root DEBUG CheckFullVerReqSub completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckFunctionAsDescribed 11-23 10:16 root DEBUG CheckFunctionAsDescribed completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckIllegalSpecTags 11-23 10:16 root DEBUG CheckIllegalSpecTags completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckLatestVersionIsPackaged 11-23 10:16 root DEBUG CheckLatestVersionIsPackaged completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckLicenseUpstream 11-23 10:16 root DEBUG CheckLicenseUpstream completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckManPages 11-23 10:16 root DEBUG CheckManPages completed: 0.002 seconds 11-23 10:16 root DEBUG Running check: CheckParallelMake 11-23 10:16 root DEBUG CheckParallelMake completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckPatchComments 11-23 10:16 root DEBUG CheckPatchComments completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckPkgConfigFiles 11-23 10:16 root DEBUG CheckPkgConfigFiles completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckRubyPlugin 11-23 10:16 root DEBUG CheckRubyPlugin completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckScriptletSanity 11-23 10:16 root DEBUG CheckScriptletSanity completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSourceComment 11-23 10:16 root DEBUG CheckSourceComment completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSourceDownloads 11-23 10:16 root DEBUG CheckSourceDownloads completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSourceUrl 11-23 10:16 root DEBUG CheckSourceUrl completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSourceVerification 11-23 10:16 root DEBUG CheckSourceVerification completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSpecAsInSRPM 11-23 10:16 root DEBUG CheckSpecAsInSRPM completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckSupportAllArchs 11-23 10:16 root DEBUG CheckSupportAllArchs completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckTestSuites 11-23 10:16 root DEBUG CheckTestSuites completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckTimeStamps 11-23 10:16 root DEBUG CheckTimeStamps completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckTmpfiles 11-23 10:16 root DEBUG CheckTmpfiles completed: 0.010 seconds 11-23 10:16 root DEBUG Running check: CheckUpdateMimeDatabase 11-23 10:16 root DEBUG CheckUpdateMimeDatabase completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckUseGlobal 11-23 10:16 root DEBUG CheckUseGlobal completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: SugarActivityCheckBuildRequires 11-23 10:16 root DEBUG SugarActivityCheckBuildRequires completed: 0.002 seconds 11-23 10:16 root DEBUG Running check: SugarActivityCheckNaming 11-23 10:16 root DEBUG SugarActivityCheckNaming completed: 0.002 seconds 11-23 10:16 root DEBUG Running check: SugarActivityCheckRuntimeDeps 11-23 10:16 root DEBUG SugarActivityCheckRuntimeDeps completed: 0.002 seconds 11-23 10:16 root DEBUG Running check: CheckAddMavenDepmap 11-23 10:16 root DEBUG CheckAddMavenDepmap completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckBundledJars 11-23 10:16 root DEBUG CheckBundledJars completed: 0.015 seconds 11-23 10:16 root DEBUG Running check: CheckJPackageRequires 11-23 10:16 root DEBUG CheckJPackageRequires completed: 0.015 seconds 11-23 10:16 root DEBUG Running check: CheckJavadoc 11-23 10:16 root DEBUG CheckJavadoc completed: 0.016 seconds 11-23 10:16 root DEBUG Running check: CheckJavadocJPackageRequires 11-23 10:16 root DEBUG CheckJavadocJPackageRequires completed: 0.016 seconds 11-23 10:16 root DEBUG Running check: CheckJavadocdirName 11-23 10:16 root DEBUG CheckJavadocdirName completed: 0.016 seconds 11-23 10:16 root DEBUG Running check: CheckMvnRpmbuild 11-23 10:16 root DEBUG CheckMvnRpmbuild completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckNewStyleMaven 11-23 10:16 root DEBUG CheckNewStyleMaven completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckNoArch 11-23 10:16 root DEBUG CheckNoArch completed: 0.015 seconds 11-23 10:16 root DEBUG Running check: CheckNoOldMavenDepmap 11-23 10:16 root DEBUG CheckNoOldMavenDepmap completed: 0.015 seconds 11-23 10:16 root DEBUG Running check: CheckNoRequiresPost 11-23 10:16 root DEBUG CheckNoRequiresPost completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckNotJavaApplicable 11-23 10:16 root DEBUG CheckNotJavaApplicable completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckPomInstalled 11-23 10:16 root DEBUG CheckPomInstalled completed: 0.016 seconds 11-23 10:16 root DEBUG Running check: CheckTestSkip 11-23 10:16 root DEBUG CheckTestSkip completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckUpdateDepmap 11-23 10:16 root DEBUG CheckUpdateDepmap completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckUpstremBuildMethod 11-23 10:16 root DEBUG CheckUpstremBuildMethod completed: 0.015 seconds 11-23 10:16 root DEBUG Running check: CheckUseMavenpomdirMacro 11-23 10:16 root DEBUG CheckUseMavenpomdirMacro completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckAutotoolsObsoletedMacros 11-23 10:16 root DEBUG autotools used: 11-23 10:16 root DEBUG CheckAutotoolsObsoletedMacros completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: fonts-disable 11-23 10:16 root DEBUG fonts-disable completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: generic-excludearch 11-23 10:16 root INFO ExclusiveArch dependency checking disabled, enable with EXARCH flag 11-23 10:16 root DEBUG generic-excludearch completed: 0.005 seconds 11-23 10:16 root DEBUG Running check: generic-large-docs 11-23 10:16 root DEBUG generic-large-docs completed: 0.014 seconds 11-23 10:16 root DEBUG Running check: java-check-bundled-jars 11-23 10:16 root DEBUG java-check-bundled-jars completed: 0.016 seconds 11-23 10:16 root DEBUG Running check: fonts-fc-query 11-23 10:16 root DEBUG fonts-fc-query completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: fonts-repo-audit 11-23 10:16 root DEBUG fonts-repo-audit completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: generic-large-data 11-23 10:16 root DEBUG generic-large-data completed: 0.012 seconds 11-23 10:16 root DEBUG Running check: generic-srv-opt 11-23 10:16 root DEBUG generic-srv-opt completed: 0.004 seconds 11-23 10:16 root DEBUG Running check: perl-url-tag 11-23 10:16 root DEBUG perl-url-tag completed: 0.005 seconds 11-23 10:16 root DEBUG Running check: php-compatinfo 11-23 10:16 root DEBUG php-compatinfo completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: python-check-eggs 11-23 10:16 root DEBUG python-check-eggs completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: python-dont-download-deps 11-23 10:16 root DEBUG python-dont-download-deps completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: python-egg-info 11-23 10:16 root DEBUG python-egg-info completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: python-meet-guidelines 11-23 10:16 root DEBUG python-meet-guidelines completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckBuildCompilerFlags 11-23 10:16 root DEBUG CheckBuildCompilerFlags completed: 0.000 seconds 11-23 10:16 root DEBUG Running check: CheckDaemonCompileFlags 11-23 10:16 root DEBUG CheckDaemonCompileFlags completed: 0.017 seconds 11-23 10:16 root DEBUG Running check: CheckUpdateDesktopDatabase 11-23 10:16 root DEBUG CheckUpdateDesktopDatabase completed: 0.003 seconds 11-23 10:16 root DEBUG Running check: CheckSystemdScripts 11-23 10:16 root DEBUG CheckSystemdScripts completed: 0.000 seconds 11-23 10:16 root DEBUG Report completed: 533.538 seconds