2020-09-05 07:54:26,052 - Mock Version: 1.4.21
2020-09-05 07:54:36,562 - Start: dnf install
2020-09-05 08:09:15,016 - Finish: dnf install
2020-09-05 08:09:22,880 - Finish: chroot init
2020-09-05 08:09:24,441 - Finish: run
2020-09-05 08:09:51,838 - Mock Version: 1.4.21
2020-09-05 08:10:16,970 - Finish: chroot init
2020-09-05 08:10:17,080 - Start: build phase for coq-8.11.2-4.fc33.src.rpm
2020-09-05 08:10:17,249 - Start: build setup for coq-8.11.2-4.fc33.src.rpm
2020-09-05 08:11:01,221 - Finish: build setup for coq-8.11.2-4.fc33.src.rpm
2020-09-05 08:11:01,227 - Finish: build phase for coq-8.11.2-4.fc33.src.rpm