2025-01-29 19:55:50,270 - Mock Version: 6.0 2025-01-29 19:55:50,280 - Start: chroot init 2025-01-29 19:55:50,387 - Start: Waiting for yumcache lock 2025-01-29 19:56:28,519 - Finish: Waiting for yumcache lock 2025-01-29 19:56:28,519 - Start: cleaning package manager metadata 2025-01-29 19:56:28,522 - Finish: cleaning package manager metadata 2025-01-29 19:56:28,932 - Start: installing minimal buildroot with dnf5 2025-01-29 19:57:08,693 - Finish: installing minimal buildroot with dnf5 2025-01-29 19:57:09,142 - Start: creating root cache 2025-01-29 19:57:12,457 - Finish: creating root cache 2025-01-29 19:57:12,458 - Finish: chroot init 2025-01-29 19:57:12,528 - Start: build phase for coq-8.20.0-2.fc42.src.rpm 2025-01-29 19:57:12,530 - Start: build setup for coq-8.20.0-2.fc42.src.rpm 2025-01-29 19:57:13,181 - Start: Waiting for yumcache lock 2025-01-29 19:57:53,843 - Finish: Waiting for yumcache lock 2025-01-29 19:57:54,201 - Finish: build setup for coq-8.20.0-2.fc42.src.rpm 2025-01-29 19:57:54,202 - Start: rpmbuild coq-8.20.0-2.fc42.src.rpm 2025-01-29 19:57:54,205 - Start: Outputting list of installed packages 2025-01-29 19:57:54,280 - Finish: Outputting list of installed packages 2025-01-29 20:08:15,436 - Finish: rpmbuild coq-8.20.0-2.fc42.src.rpm 2025-01-29 20:08:15,621 - Finish: build phase for coq-8.20.0-2.fc42.src.rpm 2025-01-29 20:08:15,627 - Finish: run