2023-11-13 07:25:53,254 - Mock Version: 3.5
2023-11-13 07:25:56,531 - Start: dnf install
2023-11-13 07:31:34,968 - Finish: dnf install
2023-11-13 07:31:37,068 - Finish: chroot init
2023-11-13 07:31:37,669 - Finish: run
2023-11-13 07:31:49,238 - Mock Version: 3.5
2023-11-13 07:31:52,746 - Finish: chroot init
2023-11-13 07:31:52,795 - Start: chroot ['uname -r']
2023-11-13 07:31:52,942 - Finish: chroot ['uname -r']
2023-11-13 07:32:05,782 - Mock Version: 3.5
2023-11-13 07:32:13,073 - Finish: chroot init
2023-11-13 07:32:13,130 - Start: build phase for coq-8.17.1-6.fc40.src.rpm
2023-11-13 07:32:13,222 - Start: build setup for coq-8.17.1-6.fc40.src.rpm
2023-11-13 07:36:29,108 - Finish: build setup for coq-8.17.1-6.fc40.src.rpm
2023-11-13 07:36:29,123 - Start: rpmbuild coq-8.17.1-6.fc40.src.rpm
2023-11-13 11:03:24,777 - Finish: rpmbuild coq-8.17.1-6.fc40.src.rpm
2023-11-13 11:03:28,963 - Finish: build phase for coq-8.17.1-6.fc40.src.rpm
2023-11-13 11:03:29,054 - Finish: run