2020-06-05 08:48:16,130 - Mock Version: 1.4.21
2020-06-05 08:48:23,013 - Start: dnf install
2020-06-05 08:56:16,674 - Finish: dnf install
2020-06-05 08:56:23,322 - Finish: chroot init
2020-06-05 08:56:25,104 - Finish: run
2020-06-05 08:56:59,479 - Mock Version: 1.4.21
2020-06-05 08:57:18,526 - Finish: chroot init
2020-06-05 08:57:18,648 - Start: build phase for coq-8.11.1-1.fc33.src.rpm
2020-06-05 08:57:18,838 - Start: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-05 08:57:55,271 - Finish: build setup for coq-8.11.1-1.fc33.src.rpm
2020-06-05 08:57:55,278 - Finish: build phase for coq-8.11.1-1.fc33.src.rpm