2020-12-31 05:16:18,824 - Mock Version: 1.4.21
2020-12-31 05:16:28,140 - Start: dnf install
2020-12-31 05:27:04,896 - Finish: dnf install
2020-12-31 05:27:13,015 - Finish: chroot init
2020-12-31 05:27:15,049 - Finish: run
2020-12-31 05:27:47,893 - Mock Version: 1.4.21
2020-12-31 05:28:08,739 - Finish: chroot init
2020-12-31 05:28:08,873 - Start: build phase for coq-8.12.1-1.fc33.src.rpm
2020-12-31 05:28:09,074 - Start: build setup for coq-8.12.1-1.fc33.src.rpm
2020-12-31 05:28:49,180 - Finish: build setup for coq-8.12.1-1.fc33.src.rpm
2020-12-31 05:28:49,185 - Finish: build phase for coq-8.12.1-1.fc33.src.rpm