2020-05-10 07:08:13,949 - Mock Version: 1.4.21
2020-05-10 07:08:22,866 - Start: dnf install
2020-05-10 07:18:32,759 - Finish: dnf install
2020-05-10 07:18:39,978 - Finish: chroot init
2020-05-10 07:18:42,158 - Finish: run
2020-05-10 07:19:16,415 - Mock Version: 1.4.21
2020-05-10 07:19:35,848 - Finish: chroot init
2020-05-10 07:19:36,036 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-10 07:19:36,330 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-10 07:20:16,539 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-10 07:20:16,546 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm