2020-06-07 13:06:00,500 - Mock Version: 1.4.21
2020-06-07 13:06:06,903 - Start: dnf install
2020-06-07 13:15:34,479 - Finish: dnf install
2020-06-07 13:15:41,767 - Finish: chroot init
2020-06-07 13:15:43,864 - Finish: run
2020-06-07 13:16:20,885 - Mock Version: 1.4.21
2020-06-07 13:16:43,037 - Finish: chroot init
2020-06-07 13:16:43,159 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-07 13:16:43,341 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-07 13:17:24,500 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-07 13:17:24,505 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm