2020-12-30 01:10:23,985 - Mock Version: 1.4.21
2020-12-30 01:10:30,397 - Start: dnf install
2020-12-30 01:18:04,088 - Finish: dnf install
2020-12-30 01:18:10,606 - Finish: chroot init
2020-12-30 01:18:12,349 - Finish: run
2020-12-30 01:18:39,570 - Mock Version: 1.4.21
2020-12-30 01:18:56,329 - Finish: chroot init
2020-12-30 01:18:56,428 - Start: build phase for coq-8.12.1-1.fc33.src.rpm
2020-12-30 01:18:56,587 - Start: build setup for coq-8.12.1-1.fc33.src.rpm
2020-12-30 01:19:29,298 - Finish: build setup for coq-8.12.1-1.fc33.src.rpm
2020-12-30 01:19:29,302 - Finish: build phase for coq-8.12.1-1.fc33.src.rpm