2025-01-12 09:54:35,529 - Mock Version: 5.9
2025-01-12 09:54:35,660 - Start: chroot init
2025-01-12 09:54:41,549 - Start: installing minimal buildroot with dnf
2025-01-12 09:57:28,416 - Finish: installing minimal buildroot with dnf
2025-01-12 09:57:31,812 - Finish: chroot init
2025-01-12 09:57:32,606 - Finish: run
2025-01-12 09:57:42,881 - Mock Version: 5.9
2025-01-12 09:57:43,018 - Start: chroot init
2025-01-12 09:57:50,467 - Finish: chroot init
2025-01-12 09:57:50,515 - Start: chroot ['uname -r']
2025-01-12 09:57:51,391 - Finish: chroot ['uname -r']
2025-01-12 09:57:51,406 - Finish: run
2025-01-12 09:58:05,327 - Mock Version: 5.9
2025-01-12 09:58:05,501 - Start: chroot init
2025-01-12 09:58:17,150 - Finish: chroot init
2025-01-12 09:58:17,199 - Start: build phase for coq-8.20.0-1.fc42.src.rpm
2025-01-12 09:58:17,234 - Start: build setup for coq-8.20.0-1.fc42.src.rpm
2025-01-12 09:58:38,075 - Finish: build setup for coq-8.20.0-1.fc42.src.rpm
2025-01-12 09:58:38,077 - Finish: build phase for coq-8.20.0-1.fc42.src.rpm