2020-08-13 06:29:26,385 - Mock Version: 1.4.21
2020-08-13 06:29:34,937 - Start: dnf install
2020-08-13 06:41:13,782 - Finish: dnf install
2020-08-13 06:41:23,025 - Finish: chroot init
2020-08-13 06:41:24,602 - Finish: run
2020-08-13 06:41:51,753 - Mock Version: 1.4.21
2020-08-13 06:42:12,557 - Finish: chroot init
2020-08-13 06:42:12,682 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-13 06:42:12,885 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-13 06:42:42,289 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-13 06:42:42,293 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm