2020-05-09 05:24:47,828 - Mock Version: 1.4.21
2020-05-09 05:24:55,511 - Start: dnf install
2020-05-09 05:34:13,738 - Finish: dnf install
2020-05-09 05:34:21,708 - Finish: chroot init
2020-05-09 05:34:23,877 - Finish: run
2020-05-09 05:34:58,834 - Mock Version: 1.4.21
2020-05-09 05:35:19,707 - Finish: chroot init
2020-05-09 05:35:19,820 - Start: build phase for coq-8.11.0-5.fc33.src.rpm
2020-05-09 05:35:20,010 - Start: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-09 05:35:58,001 - Finish: build setup for coq-8.11.0-5.fc33.src.rpm
2020-05-09 05:35:58,006 - Finish: build phase for coq-8.11.0-5.fc33.src.rpm