2020-08-16 13:07:32,280 - Mock Version: 1.4.21
2020-08-16 13:07:44,496 - Start: dnf install
2020-08-16 13:19:28,704 - Finish: dnf install
2020-08-16 13:19:38,445 - Finish: chroot init
2020-08-16 13:19:40,907 - Finish: run
2020-08-16 13:20:19,793 - Mock Version: 1.4.21
2020-08-16 13:20:41,489 - Finish: chroot init
2020-08-16 13:20:41,609 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-08-16 13:20:41,835 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-16 13:21:24,780 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-08-16 13:21:24,785 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm