2024-07-25 07:23:29,670 - Mock Version: 3.5
2024-07-25 07:23:32,939 - Start: dnf install
2024-07-25 07:28:05,929 - Finish: dnf install
2024-07-25 07:28:08,048 - Finish: chroot init
2024-07-25 07:28:08,648 - Finish: run
2024-07-25 07:28:21,439 - Mock Version: 3.5
2024-07-25 07:28:24,907 - Finish: chroot init
2024-07-25 07:28:24,955 - Start: chroot ['uname -r']
2024-07-25 07:28:25,101 - Finish: chroot ['uname -r']
2024-07-25 07:28:37,833 - Mock Version: 3.5
2024-07-25 07:28:45,075 - Finish: chroot init
2024-07-25 07:28:45,131 - Start: build phase for coq-8.18.0-10.fc41.src.rpm
2024-07-25 07:28:45,223 - Start: build setup for coq-8.18.0-10.fc41.src.rpm
2024-07-25 07:33:28,365 - Finish: build setup for coq-8.18.0-10.fc41.src.rpm
2024-07-25 07:33:28,380 - Start: rpmbuild coq-8.18.0-10.fc41.src.rpm
2024-07-25 11:04:16,281 - Finish: rpmbuild coq-8.18.0-10.fc41.src.rpm
2024-07-25 11:04:20,675 - Finish: build phase for coq-8.18.0-10.fc41.src.rpm
2024-07-25 11:04:20,764 - Finish: run