2020-06-15 20:39:48,363 - Mock Version: 2.3
2020-06-15 20:39:49,977 - Start: dnf update
2020-06-15 20:39:53,022 - Finish: dnf update
2020-06-15 20:39:53,037 - Finish: chroot init
2020-06-15 20:39:53,040 - Start: build phase for coq-8.11.2-1.fc33.src.rpm
2020-06-15 20:39:53,041 - Start: build setup for coq-8.11.2-1.fc33.src.rpm
2020-06-15 20:40:22,112 - Finish: build setup for coq-8.11.2-1.fc33.src.rpm
2020-06-15 20:40:22,112 - Finish: build phase for coq-8.11.2-1.fc33.src.rpm